| Benjamin Kramer | 7d6fe13 | 2010-12-21 21:41:44 +0000 | [diff] [blame^] | 1 | ; RUN: llc -march=x86 < %s | FileCheck %s |
| 2 | |
| 3 | define i32 @test1(i32 %a, i32 %b) nounwind readnone { |
| 4 | %not.cmp = icmp ne i32 %a, 0 |
| 5 | %inc = zext i1 %not.cmp to i32 |
| 6 | %retval.0 = add i32 %inc, %b |
| 7 | ret i32 %retval.0 |
| 8 | ; CHECK: test1: |
| 9 | ; CHECK: cmpl $1 |
| 10 | ; CHECK: sbbl $-1 |
| 11 | ; CHECK: ret |
| 12 | } |
| 13 | |
| 14 | define i32 @test2(i32 %a, i32 %b) nounwind readnone { |
| 15 | %cmp = icmp eq i32 %a, 0 |
| 16 | %inc = zext i1 %cmp to i32 |
| 17 | %retval.0 = add i32 %inc, %b |
| 18 | ret i32 %retval.0 |
| 19 | ; CHECK: test2: |
| 20 | ; CHECK: cmpl $1 |
| 21 | ; CHECK: adcl $0 |
| 22 | ; CHECK: ret |
| 23 | } |
| 24 | |
| 25 | define i32 @test3(i32 %a, i32 %b) nounwind readnone { |
| 26 | %cmp = icmp eq i32 %a, 0 |
| 27 | %inc = zext i1 %cmp to i32 |
| 28 | %retval.0 = add i32 %inc, %b |
| 29 | ret i32 %retval.0 |
| 30 | ; CHECK: test3: |
| 31 | ; CHECK: cmpl $1 |
| 32 | ; CHECK: adcl $0 |
| 33 | ; CHECK: ret |
| 34 | } |
| 35 | |
| 36 | define i32 @test4(i32 %a, i32 %b) nounwind readnone { |
| 37 | %not.cmp = icmp ne i32 %a, 0 |
| 38 | %inc = zext i1 %not.cmp to i32 |
| 39 | %retval.0 = add i32 %inc, %b |
| 40 | ret i32 %retval.0 |
| 41 | ; CHECK: test4: |
| 42 | ; CHECK: cmpl $1 |
| 43 | ; CHECK: sbbl $-1 |
| 44 | ; CHECK: ret |
| 45 | } |
| 46 | |
| 47 | define i32 @test5(i32 %a, i32 %b) nounwind readnone { |
| 48 | %not.cmp = icmp ne i32 %a, 0 |
| 49 | %inc = zext i1 %not.cmp to i32 |
| 50 | %retval.0 = sub i32 %b, %inc |
| 51 | ret i32 %retval.0 |
| 52 | ; CHECK: test5: |
| 53 | ; CHECK: cmpl $1 |
| 54 | ; CHECK: adcl $-1 |
| 55 | ; CHECK: ret |
| 56 | } |
| 57 | |
| 58 | define i32 @test6(i32 %a, i32 %b) nounwind readnone { |
| 59 | %cmp = icmp eq i32 %a, 0 |
| 60 | %inc = zext i1 %cmp to i32 |
| 61 | %retval.0 = sub i32 %b, %inc |
| 62 | ret i32 %retval.0 |
| 63 | ; CHECK: test6: |
| 64 | ; CHECK: cmpl $1 |
| 65 | ; CHECK: sbbl $0 |
| 66 | ; CHECK: ret |
| 67 | } |
| 68 | |
| 69 | define i32 @test7(i32 %a, i32 %b) nounwind readnone { |
| 70 | %cmp = icmp eq i32 %a, 0 |
| 71 | %inc = zext i1 %cmp to i32 |
| 72 | %retval.0 = sub i32 %b, %inc |
| 73 | ret i32 %retval.0 |
| 74 | ; CHECK: test7: |
| 75 | ; CHECK: cmpl $1 |
| 76 | ; CHECK: sbbl $0 |
| 77 | ; CHECK: ret |
| 78 | } |
| 79 | |
| 80 | define i32 @test8(i32 %a, i32 %b) nounwind readnone { |
| 81 | %not.cmp = icmp ne i32 %a, 0 |
| 82 | %inc = zext i1 %not.cmp to i32 |
| 83 | %retval.0 = sub i32 %b, %inc |
| 84 | ret i32 %retval.0 |
| 85 | ; CHECK: test8: |
| 86 | ; CHECK: cmpl $1 |
| 87 | ; CHECK: adcl $-1 |
| 88 | ; CHECK: ret |
| 89 | } |