llvm-6502/test/CodeGen/X86/neg_cmp.ll

; RUN: llc < %s -march=x86-64 | FileCheck %s

; rdar://11245199
; PR12545
define void @f(i32 %x, i32 %y) nounwind uwtable ssp {
entry:
; CHECK-LABEL: f:
; CHECK-NOT: neg
; CHECK: add
  %sub = sub i32 0, %y
  %cmp = icmp eq i32 %x, %sub
  br i1 %cmp, label %if.then, label %if.end

if.then:                                          ; preds = %entry
  tail call void @g() nounwind
  br label %if.end

if.end:                                           ; preds = %if.then, %entry
  ret void
}

declare void @g()
Add x86-specific DAG combine to simplify: x == -y --> x+y == 0 x != -y --> x+y != 0 On x86, the generated code goes from negl %esi cmpl %esi, %edi je .LBB0_2 to addl %esi, %edi je .L4 This case is correctly handled for ARM with "cmn". Patch by Manman Ren. rdar://11245199 PR12545 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@155739 91177308-0d34-0410-b5e6-96231b3b80d8 2012-04-27 22:33:25 +00:00			`; RUN: llc < %s -march=x86-64 \| FileCheck %s`

			`; rdar://11245199`
			`; PR12545`
			`define void @f(i32 %x, i32 %y) nounwind uwtable ssp {`
			`entry:`
Mass update to CodeGen tests to use CHECK-LABEL for labels corresponding to function definitions for more informative error messages. No functionality change and all updated tests passed locally. This update was done with the following bash script: find test/CodeGen -name ".ll" \| \ while read NAME; do echo "$NAME" if ! grep -q "^; RUN: llc.debug" $NAME; then TEMP=`mktemp -t temp` cp $NAME $TEMP sed -n "s/^define [^@]@\([A-Za-z0-9_]\)(.$/\1/p" < $NAME \| \ while read FUNC; do sed -i '' "s/;\(.\)\([A-Za-z0-9_-]\):\( \)$FUNC: \$/;\1\2-LABEL:\3$FUNC:/g" $TEMP done sed -i '' "s/;\(.\)-LABEL-LABEL:/;\1-LABEL:/" $TEMP sed -i '' "s/;\(.\)-NEXT-LABEL:/;\1-NEXT:/" $TEMP sed -i '' "s/;\(.\)-NOT-LABEL:/;\1-NOT:/" $TEMP sed -i '' "s/;\(.*\)-DAG-LABEL:/;\1-DAG:/" $TEMP mv $TEMP $NAME fi done git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@186280 91177308-0d34-0410-b5e6-96231b3b80d8 2013-07-14 06:24:09 +00:00			`; CHECK-LABEL: f:`
Add x86-specific DAG combine to simplify: x == -y --> x+y == 0 x != -y --> x+y != 0 On x86, the generated code goes from negl %esi cmpl %esi, %edi je .LBB0_2 to addl %esi, %edi je .L4 This case is correctly handled for ARM with "cmn". Patch by Manman Ren. rdar://11245199 PR12545 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@155739 91177308-0d34-0410-b5e6-96231b3b80d8 2012-04-27 22:33:25 +00:00			`; CHECK-NOT: neg`
			`; CHECK: add`
			`%sub = sub i32 0, %y`
			`%cmp = icmp eq i32 %x, %sub`
			`br i1 %cmp, label %if.then, label %if.end`

			`if.then: ; preds = %entry`
			`tail call void @g() nounwind`
			`br label %if.end`

			`if.end: ; preds = %if.then, %entry`
			`ret void`
			`}`

			`declare void @g()`