| Craig Topper | dfa176e | 2018-08-23 17:45:53 +0000 | [diff] [blame^] | 1 | ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| 2 | ;RUN: opt -instcombine -S %s | FileCheck %s |
| 3 | |
| 4 | @A = extern_weak global i32, align 4 |
| 5 | @B = extern_weak global i32, align 4 |
| 6 | |
| 7 | define i32 @foo(i1 %which) { |
| 8 | ; CHECK-LABEL: @foo( |
| 9 | ; CHECK-NEXT: entry: |
| 10 | ; CHECK-NEXT: br i1 true, label [[FINAL:%.*]], label [[DELAY:%.*]] |
| 11 | ; CHECK: delay: |
| 12 | ; CHECK-NEXT: br label [[FINAL]] |
| 13 | ; CHECK: final: |
| 14 | ; CHECK-NEXT: [[USE2:%.*]] = phi i32 [ 1, [[ENTRY:%.*]] ], [ select (i1 icmp eq (i32* @A, i32* @B), i32 2, i32 1), [[DELAY]] ] |
| 15 | ; CHECK-NEXT: [[B7:%.*]] = mul i32 [[USE2]], 2147483647 |
| 16 | ; CHECK-NEXT: [[C3:%.*]] = icmp eq i32 [[B7]], 0 |
| 17 | ; CHECK-NEXT: store i1 [[C3]], i1* undef, align 1 |
| 18 | ; CHECK-NEXT: ret i32 [[USE2]] |
| 19 | ; |
| 20 | entry: |
| 21 | br i1 true, label %final, label %delay |
| 22 | |
| 23 | delay: ; preds = %entry |
| 24 | br label %final |
| 25 | |
| 26 | final: ; preds = %delay, %entry |
| 27 | %use2 = phi i1 [ false, %entry ], [ icmp eq (i32* @A, i32* @B), %delay ] |
| 28 | %value = select i1 %use2, i32 2, i32 1 |
| 29 | %B7 = mul i32 %value, 2147483647 |
| 30 | %C3 = icmp ule i32 %B7, 0 |
| 31 | store i1 %C3, i1* undef |
| 32 | ret i32 %value |
| 33 | } |