| Dan Gohman | 12e0329 | 2009-09-18 19:59:53 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s -march=x86 | FileCheck %s |
| 2 | |
| 3 | ; LLVM should omit the testl and use the flags result from the orl. |
| 4 | |
| 5 | ; CHECK: or: |
| 6 | define void @or(float* %A, i32 %IA, i32 %N) nounwind { |
| 7 | entry: |
| 8 | %0 = ptrtoint float* %A to i32 ; <i32> [#uses=1] |
| 9 | %1 = and i32 %0, 3 ; <i32> [#uses=1] |
| 10 | %2 = xor i32 %IA, 1 ; <i32> [#uses=1] |
| 11 | ; CHECK: orl %ecx, %edx |
| Dan Gohman | 3c5ec3c | 2009-09-18 21:23:12 +0000 | [diff] [blame^] | 12 | ; CHECK-NEXT: je |
| Dan Gohman | 12e0329 | 2009-09-18 19:59:53 +0000 | [diff] [blame] | 13 | %3 = or i32 %2, %1 ; <i32> [#uses=1] |
| 14 | %4 = icmp eq i32 %3, 0 ; <i1> [#uses=1] |
| 15 | br i1 %4, label %return, label %bb |
| 16 | |
| 17 | bb: ; preds = %entry |
| 18 | store float 0.000000e+00, float* %A, align 4 |
| 19 | ret void |
| 20 | |
| 21 | return: ; preds = %entry |
| 22 | ret void |
| 23 | } |
| 24 | ; CHECK: xor: |
| 25 | define void @xor(float* %A, i32 %IA, i32 %N) nounwind { |
| 26 | entry: |
| 27 | %0 = ptrtoint float* %A to i32 ; <i32> [#uses=1] |
| 28 | %1 = and i32 %0, 3 ; <i32> [#uses=1] |
| 29 | ; CHECK: xorl $1, %e |
| Dan Gohman | 3c5ec3c | 2009-09-18 21:23:12 +0000 | [diff] [blame^] | 30 | ; CHECK-NEXT: je |
| Dan Gohman | 12e0329 | 2009-09-18 19:59:53 +0000 | [diff] [blame] | 31 | %2 = xor i32 %IA, 1 ; <i32> [#uses=1] |
| 32 | %3 = xor i32 %2, %1 ; <i32> [#uses=1] |
| 33 | %4 = icmp eq i32 %3, 0 ; <i1> [#uses=1] |
| 34 | br i1 %4, label %return, label %bb |
| 35 | |
| 36 | bb: ; preds = %entry |
| 37 | store float 0.000000e+00, float* %A, align 4 |
| 38 | ret void |
| 39 | |
| 40 | return: ; preds = %entry |
| 41 | ret void |
| 42 | } |
| 43 | ; CHECK: and: |
| 44 | define void @and(float* %A, i32 %IA, i32 %N, i8* %p) nounwind { |
| 45 | entry: |
| 46 | store i8 0, i8* %p |
| 47 | %0 = ptrtoint float* %A to i32 ; <i32> [#uses=1] |
| 48 | %1 = and i32 %0, 3 ; <i32> [#uses=1] |
| 49 | %2 = xor i32 %IA, 1 ; <i32> [#uses=1] |
| 50 | ; CHECK: andl $3, % |
| 51 | ; CHECK-NEXT: movb % |
| Dan Gohman | 3c5ec3c | 2009-09-18 21:23:12 +0000 | [diff] [blame^] | 52 | ; CHECK-NEXT: je |
| Dan Gohman | 12e0329 | 2009-09-18 19:59:53 +0000 | [diff] [blame] | 53 | %3 = and i32 %2, %1 ; <i32> [#uses=1] |
| 54 | %t = trunc i32 %3 to i8 |
| 55 | store i8 %t, i8* %p |
| 56 | %4 = icmp eq i32 %3, 0 ; <i1> [#uses=1] |
| 57 | br i1 %4, label %return, label %bb |
| 58 | |
| 59 | bb: ; preds = %entry |
| 60 | store float 0.000000e+00, float* null, align 4 |
| 61 | ret void |
| 62 | |
| 63 | return: ; preds = %entry |
| 64 | ret void |
| 65 | } |
| 66 | |
| 67 | ; Just like @and, but without the trunc+store. This should use a testl |
| 68 | ; instead of an andl. |
| 69 | ; CHECK: test: |
| 70 | define void @test(float* %A, i32 %IA, i32 %N, i8* %p) nounwind { |
| 71 | entry: |
| 72 | store i8 0, i8* %p |
| 73 | %0 = ptrtoint float* %A to i32 ; <i32> [#uses=1] |
| 74 | %1 = and i32 %0, 3 ; <i32> [#uses=1] |
| 75 | %2 = xor i32 %IA, 1 ; <i32> [#uses=1] |
| 76 | ; CHECK: testb $3, % |
| Dan Gohman | 3c5ec3c | 2009-09-18 21:23:12 +0000 | [diff] [blame^] | 77 | ; CHECK-NEXT: je |
| Dan Gohman | 12e0329 | 2009-09-18 19:59:53 +0000 | [diff] [blame] | 78 | %3 = and i32 %2, %1 ; <i32> [#uses=1] |
| 79 | %4 = icmp eq i32 %3, 0 ; <i1> [#uses=1] |
| 80 | br i1 %4, label %return, label %bb |
| 81 | |
| 82 | bb: ; preds = %entry |
| 83 | store float 0.000000e+00, float* null, align 4 |
| 84 | ret void |
| 85 | |
| 86 | return: ; preds = %entry |
| 87 | ret void |
| 88 | } |