| Craig Topper | 2b3f5df | 2018-09-22 05:53:27 +0000 | [diff] [blame] | 1 | ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| 2 | ; RUN: opt %s -instcombine -S | FileCheck %s |
| 3 | |
| 4 | define i32 @sharpening(i32 %b340, i1 %c, i1 %d, i32 %e, i32 %f, i32 %g, i32 %h) { |
| 5 | ; CHECK-LABEL: @sharpening( |
| 6 | ; CHECK-NEXT: entry: |
| 7 | ; CHECK-NEXT: [[SMAX58:%.*]] = select i1 [[C:%.*]], i32 [[E:%.*]], i32 [[F:%.*]] |
| 8 | ; CHECK-NEXT: [[SMAX59:%.*]] = select i1 [[D:%.*]], i32 [[G:%.*]], i32 [[H:%.*]] |
| 9 | ; CHECK-NEXT: [[TMP0:%.*]] = add i32 [[SMAX59]], 1 |
| 10 | ; CHECK-NEXT: [[TMP1:%.*]] = icmp slt i32 [[TMP0]], -1 |
| 11 | ; CHECK-NEXT: [[TMP12:%.*]] = select i1 [[TMP1]], i32 [[TMP0]], i32 -1 |
| 12 | ; CHECK-NEXT: [[TMP13:%.*]] = icmp sgt i32 [[SMAX58]], [[TMP12]] |
| 13 | ; CHECK-NEXT: [[SMAX61:%.*]] = select i1 [[TMP13]], i32 [[SMAX58]], i32 [[TMP12]] |
| 14 | ; CHECK-NEXT: [[TMP14:%.*]] = xor i32 [[SMAX61]], -1 |
| 15 | ; CHECK-NEXT: ret i32 [[TMP14]] |
| 16 | ; |
| 17 | entry: |
| 18 | %smax58 = select i1 %c, i32 %e, i32 %f |
| 19 | %smax59 = select i1 %d, i32 %g, i32 %h |
| 20 | %tmp10 = sub i32 -2, %smax59 |
| 21 | %tmp11 = icmp sgt i32 %tmp10, 0 |
| 22 | %smax60 = select i1 %tmp11, i32 %tmp10, i32 0 |
| 23 | %tmp12 = xor i32 %smax60, -1 |
| 24 | %tmp13 = icmp sgt i32 %smax58, %tmp12 |
| 25 | %smax61 = select i1 %tmp13, i32 %smax58, i32 %tmp12 |
| 26 | %tmp14 = xor i32 %smax61, -1 |
| 27 | ret i32 %tmp14 |
| 28 | } |