llvm-mirror/test/CodeGen/X86/iabs.ll

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

;; Integer absolute value, should produce something at least as good as:
;;       movl   %edi, %eax
;;       negl   %eax
;;       cmovll %edi, %eax
;;       ret
; rdar://10695237
define i32 @test(i32 %a) nounwind {
; CHECK-LABEL: test:
; CHECK: mov
; CHECK-NEXT: neg
; CHECK-NEXT: cmov
; CHECK-NEXT: ret
        %tmp1neg = sub i32 0, %a
        %b = icmp sgt i32 %a, -1
        %abs = select i1 %b, i32 %a, i32 %tmp1neg
        ret i32 %abs
}
X86: optimize generated code for integer ABS This patch will generate the following for integer ABS: movl %edi, %eax negl %eax cmovll %edi, %eax INSTEAD OF movl %edi, %ecx sarl $31, %ecx leal (%rdi,%rcx), %eax xorl %ecx, %eax There exists a target-independent DAG combine for integer ABS, which converts integer ABS to sar+add+xor. For X86, we match this pattern back to neg+cmov. This is implemented in PerformXorCombine. rdar://10695237 llvm-svn: 158175 2012-06-08 00:39:10 +02:00			`; RUN: llc < %s -march=x86-64 \| FileCheck %s`
new testcases for integer abs function llvm-svn: 35880 2007-04-11 07:02:57 +02:00
			`;; Integer absolute value, should produce something at least as good as:`
X86: optimize generated code for integer ABS This patch will generate the following for integer ABS: movl %edi, %eax negl %eax cmovll %edi, %eax INSTEAD OF movl %edi, %ecx sarl $31, %ecx leal (%rdi,%rcx), %eax xorl %ecx, %eax There exists a target-independent DAG combine for integer ABS, which converts integer ABS to sar+add+xor. For X86, we match this pattern back to neg+cmov. This is implemented in PerformXorCombine. rdar://10695237 llvm-svn: 158175 2012-06-08 00:39:10 +02:00			`;; movl %edi, %eax`
			`;; negl %eax`
			`;; cmovll %edi, %eax`
new testcases for integer abs function llvm-svn: 35880 2007-04-11 07:02:57 +02:00			`;; ret`
X86: optimize generated code for integer ABS This patch will generate the following for integer ABS: movl %edi, %eax negl %eax cmovll %edi, %eax INSTEAD OF movl %edi, %ecx sarl $31, %ecx leal (%rdi,%rcx), %eax xorl %ecx, %eax There exists a target-independent DAG combine for integer ABS, which converts integer ABS to sar+add+xor. For X86, we match this pattern back to neg+cmov. This is implemented in PerformXorCombine. rdar://10695237 llvm-svn: 158175 2012-06-08 00:39:10 +02:00			`; rdar://10695237`
Mark functions in some tests as 'nounwind'. Generating EH info for these functions causes the tests to fail for random reasons (e.g. looking for 'or' or counting lines with asm-printer; labels count as lines.) llvm-svn: 49003 2008-04-01 01:20:09 +02:00			`define i32 @test(i32 %a) nounwind {`
Convert CodeGen//.ll tests to use the new CHECK-LABEL for easier debugging. No functionality change and all tests pass after conversion. This was done with the following sed invocation to catch label lines demarking function boundaries: sed -i '' "s/^;\( \)\([A-Z0-9_]\):\( \)test\([A-Za-z0-9_-]\):\( \)$/;\1\2-LABEL:\3test\4:\5/g" test/CodeGen//*.ll which was written conservatively to avoid false positives rather than false negatives. I scanned through all the changes and everything looks correct. llvm-svn: 186258 2013-07-13 22:38:47 +02:00			`; CHECK-LABEL: test:`
X86: optimize generated code for integer ABS This patch will generate the following for integer ABS: movl %edi, %eax negl %eax cmovll %edi, %eax INSTEAD OF movl %edi, %ecx sarl $31, %ecx leal (%rdi,%rcx), %eax xorl %ecx, %eax There exists a target-independent DAG combine for integer ABS, which converts integer ABS to sar+add+xor. For X86, we match this pattern back to neg+cmov. This is implemented in PerformXorCombine. rdar://10695237 llvm-svn: 158175 2012-06-08 00:39:10 +02:00			`; CHECK: mov`
			`; CHECK-NEXT: neg`
			`; CHECK-NEXT: cmov`
			`; CHECK-NEXT: ret`
new testcases for integer abs function llvm-svn: 35880 2007-04-11 07:02:57 +02:00			`%tmp1neg = sub i32 0, %a`
			`%b = icmp sgt i32 %a, -1`
			`%abs = select i1 %b, i32 %a, i32 %tmp1neg`
			`ret i32 %abs`
			`}`