1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py 2 ; RUN: llc < %s -mtriple=i686-unknown-unknown | FileCheck %s --check-prefix=X86 --check-prefix=X86-NO-CMOV 3 ; RUN: llc < %s -mtriple=i686-unknown-unknown -mattr=+cmov | FileCheck %s --check-prefix=X86 --check-prefix=X86-CMOV 4 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown | FileCheck %s --check-prefix=X64 5 6 ;; Integer absolute value, should produce something at least as good as: 7 ;; movl %edi, %eax 8 ;; negl %eax 9 ;; cmovll %edi, %eax 10 ;; ret 11 ; rdar://10695237 12 define i8 @test_i8(i8 %a) nounwind { 13 ; X86-LABEL: test_i8: 14 ; X86: # %bb.0: 15 ; X86-NEXT: movb {{[0-9]+}}(%esp), %al 16 ; X86-NEXT: movl %eax, %ecx 17 ; X86-NEXT: sarb $7, %cl 18 ; X86-NEXT: addb %cl, %al 19 ; X86-NEXT: xorb %cl, %al 20 ; X86-NEXT: retl 21 ; 22 ; X64-LABEL: test_i8: 23 ; X64: # %bb.0: 24 ; X64-NEXT: movl %edi, %eax 25 ; X64-NEXT: sarb $7, %al 26 ; X64-NEXT: addb %al, %dil 27 ; X64-NEXT: xorb %al, %dil 28 ; X64-NEXT: movl %edi, %eax 29 ; X64-NEXT: retq 30 %tmp1neg = sub i8 0, %a 31 %b = icmp sgt i8 %a, -1 32 %abs = select i1 %b, i8 %a, i8 %tmp1neg 33 ret i8 %abs 34 } 35 36 define i16 @test_i16(i16 %a) nounwind { 37 ; X86-NO-CMOV-LABEL: test_i16: 38 ; X86-NO-CMOV: # %bb.0: 39 ; X86-NO-CMOV-NEXT: movl {{[0-9]+}}(%esp), %eax 40 ; X86-NO-CMOV-NEXT: movl %eax, %ecx 41 ; X86-NO-CMOV-NEXT: sarw $15, %cx 42 ; X86-NO-CMOV-NEXT: addl %ecx, %eax 43 ; X86-NO-CMOV-NEXT: xorl %ecx, %eax 44 ; X86-NO-CMOV-NEXT: # kill: def $ax killed $ax killed $eax 45 ; X86-NO-CMOV-NEXT: retl 46 ; 47 ; X86-CMOV-LABEL: test_i16: 48 ; X86-CMOV: # %bb.0: 49 ; X86-CMOV-NEXT: movzwl {{[0-9]+}}(%esp), %ecx 50 ; X86-CMOV-NEXT: movl %ecx, %eax 51 ; X86-CMOV-NEXT: negw %ax 52 ; X86-CMOV-NEXT: cmovlw %cx, %ax 53 ; X86-CMOV-NEXT: retl 54 ; 55 ; X64-LABEL: test_i16: 56 ; X64: # %bb.0: 57 ; X64-NEXT: movl %edi, %eax 58 ; X64-NEXT: negw %ax 59 ; X64-NEXT: cmovlw %di, %ax 60 ; X64-NEXT: retq 61 %tmp1neg = sub i16 0, %a 62 %b = icmp sgt i16 %a, -1 63 %abs = select i1 %b, i16 %a, i16 %tmp1neg 64 ret i16 %abs 65 } 66 67 define i32 @test_i32(i32 %a) nounwind { 68 ; X86-NO-CMOV-LABEL: test_i32: 69 ; X86-NO-CMOV: # %bb.0: 70 ; X86-NO-CMOV-NEXT: movl {{[0-9]+}}(%esp), %eax 71 ; X86-NO-CMOV-NEXT: movl %eax, %ecx 72 ; X86-NO-CMOV-NEXT: sarl $31, %ecx 73 ; X86-NO-CMOV-NEXT: addl %ecx, %eax 74 ; X86-NO-CMOV-NEXT: xorl %ecx, %eax 75 ; X86-NO-CMOV-NEXT: retl 76 ; 77 ; X86-CMOV-LABEL: test_i32: 78 ; X86-CMOV: # %bb.0: 79 ; X86-CMOV-NEXT: movl {{[0-9]+}}(%esp), %ecx 80 ; X86-CMOV-NEXT: movl %ecx, %eax 81 ; X86-CMOV-NEXT: negl %eax 82 ; X86-CMOV-NEXT: cmovll %ecx, %eax 83 ; X86-CMOV-NEXT: retl 84 ; 85 ; X64-LABEL: test_i32: 86 ; X64: # %bb.0: 87 ; X64-NEXT: movl %edi, %eax 88 ; X64-NEXT: negl %eax 89 ; X64-NEXT: cmovll %edi, %eax 90 ; X64-NEXT: retq 91 %tmp1neg = sub i32 0, %a 92 %b = icmp sgt i32 %a, -1 93 %abs = select i1 %b, i32 %a, i32 %tmp1neg 94 ret i32 %abs 95 } 96 97 define i64 @test_i64(i64 %a) nounwind { 98 ; X86-LABEL: test_i64: 99 ; X86: # %bb.0: 100 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edx 101 ; X86-NEXT: movl %edx, %ecx 102 ; X86-NEXT: sarl $31, %ecx 103 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax 104 ; X86-NEXT: addl %ecx, %eax 105 ; X86-NEXT: adcl %ecx, %edx 106 ; X86-NEXT: xorl %ecx, %edx 107 ; X86-NEXT: xorl %ecx, %eax 108 ; X86-NEXT: retl 109 ; 110 ; X64-LABEL: test_i64: 111 ; X64: # %bb.0: 112 ; X64-NEXT: movq %rdi, %rax 113 ; X64-NEXT: negq %rax 114 ; X64-NEXT: cmovlq %rdi, %rax 115 ; X64-NEXT: retq 116 %tmp1neg = sub i64 0, %a 117 %b = icmp sgt i64 %a, -1 118 %abs = select i1 %b, i64 %a, i64 %tmp1neg 119 ret i64 %abs 120 } 121 122
