diff options
| -rw-r--r-- | llvm/test/Transforms/InstCombine/max-of-nots.ll | 69 |
1 files changed, 37 insertions, 32 deletions
diff --git a/llvm/test/Transforms/InstCombine/max-of-nots.ll b/llvm/test/Transforms/InstCombine/max-of-nots.ll index dd9c54b0673..62ea1245e60 100644 --- a/llvm/test/Transforms/InstCombine/max-of-nots.ll +++ b/llvm/test/Transforms/InstCombine/max-of-nots.ll @@ -1,23 +1,28 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; RUN: opt -S -instcombine < %s | FileCheck %s define i32 @compute_min_2(i32 %x, i32 %y) { -; CHECK-LABEL: compute_min_2 - entry: +; CHECK-LABEL: @compute_min_2( +; CHECK-NEXT: [[TMP1:%.*]] = icmp slt i32 %x, %y +; CHECK-NEXT: [[TMP2:%.*]] = select i1 [[TMP1]], i32 %x, i32 %y +; CHECK-NEXT: ret i32 [[TMP2]] +; %not_x = sub i32 -1, %x %not_y = sub i32 -1, %y %cmp = icmp sgt i32 %not_x, %not_y %not_min = select i1 %cmp, i32 %not_x, i32 %not_y %min = sub i32 -1, %not_min ret i32 %min - -; CHECK: %0 = icmp slt i32 %x, %y -; CHECK-NEXT: %1 = select i1 %0, i32 %x, i32 %y -; CHECK-NEXT: ret i32 %1 } define i32 @compute_min_3(i32 %x, i32 %y, i32 %z) { -; CHECK-LABEL: compute_min_3 - entry: +; CHECK-LABEL: @compute_min_3( +; CHECK-NEXT: [[TMP1:%.*]] = icmp slt i32 %x, %y +; CHECK-NEXT: [[TMP2:%.*]] = select i1 [[TMP1]], i32 %x, i32 %y +; CHECK-NEXT: [[TMP3:%.*]] = icmp slt i32 [[TMP2]], %z +; CHECK-NEXT: [[TMP4:%.*]] = select i1 [[TMP3]], i32 [[TMP2]], i32 %z +; CHECK-NEXT: ret i32 [[TMP4]] +; %not_x = sub i32 -1, %x %not_y = sub i32 -1, %y %not_z = sub i32 -1, %z @@ -27,41 +32,39 @@ define i32 @compute_min_3(i32 %x, i32 %y, i32 %z) { %not_min_2 = select i1 %cmp_2, i32 %not_min_1, i32 %not_z %min = sub i32 -1, %not_min_2 ret i32 %min - -; CHECK: %0 = icmp slt i32 %x, %y -; CHECK-NEXT: %1 = select i1 %0, i32 %x, i32 %y -; CHECK-NEXT: %2 = icmp slt i32 %1, %z -; CHECK-NEXT: %3 = select i1 %2, i32 %1, i32 %z -; CHECK-NEXT: ret i32 %3 } define i32 @compute_min_arithmetic(i32 %x, i32 %y) { -; CHECK-LABEL: compute_min_arithmetic - entry: +; CHECK-LABEL: @compute_min_arithmetic( +; CHECK-NEXT: [[TMP1:%.*]] = add i32 %x, -4 +; CHECK-NEXT: [[TMP2:%.*]] = icmp slt i32 [[TMP1]], %y +; CHECK-NEXT: [[TMP3:%.*]] = select i1 [[TMP2]], i32 [[TMP1]], i32 %y +; CHECK-NEXT: [[TMP4:%.*]] = xor i32 [[TMP3]], -1 +; CHECK-NEXT: ret i32 [[TMP4]] +; %not_value = sub i32 3, %x %not_y = sub i32 -1, %y %cmp = icmp sgt i32 %not_value, %not_y %not_min = select i1 %cmp, i32 %not_value, i32 %not_y ret i32 %not_min - -; CHECK: %0 = add i32 %x, -4 -; CHECK-NEXT: %1 = icmp slt i32 %0, %y -; CHECK-NEXT: %2 = select i1 %1, i32 %0, i32 %y -; CHECK-NEXT: %3 = xor i32 %2, -1 -; CHECK-NEXT: ret i32 %3 } declare void @fake_use(i32) define i32 @compute_min_pessimization(i32 %x, i32 %y) { -; CHECK-LABEL: compute_min_pessimization - entry: +; CHECK-LABEL: @compute_min_pessimization( +; CHECK-NEXT: [[NOT_VALUE:%.*]] = sub i32 3, %x +; CHECK-NEXT: call void @fake_use(i32 [[NOT_VALUE]]) +; CHECK-NEXT: [[NOT_Y:%.*]] = xor i32 %y, -1 +; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i32 [[NOT_VALUE]], [[NOT_Y]] +; CHECK-NEXT: [[NOT_MIN:%.*]] = select i1 [[CMP]], i32 [[NOT_VALUE]], i32 [[NOT_Y]] +; CHECK-NEXT: [[MIN:%.*]] = xor i32 [[NOT_MIN]], -1 +; CHECK-NEXT: ret i32 [[MIN]] +; %not_value = sub i32 3, %x call void @fake_use(i32 %not_value) %not_y = sub i32 -1, %y %cmp = icmp sgt i32 %not_value, %not_y -; CHECK: %not_value = sub i32 3, %x -; CHECK: %cmp = icmp sgt i32 %not_value, %not_y %not_min = select i1 %cmp, i32 %not_value, i32 %not_y %min = sub i32 -1, %not_min ret i32 %min @@ -69,12 +72,13 @@ define i32 @compute_min_pessimization(i32 %x, i32 %y) { define i32 @max_of_nots(i32 %x, i32 %y) { ; CHECK-LABEL: @max_of_nots( -; CHECK-NEXT: icmp -; CHECK-NEXT: select -; CHECK-NEXT: icmp -; CHECK-NEXT: select -; CHECK-NEXT: xor -; CHECK-NEXT: ret +; CHECK-NEXT: [[TMP1:%.*]] = icmp sgt i32 %y, 0 +; CHECK-NEXT: [[TMP2:%.*]] = select i1 [[TMP1]], i32 %y, i32 0 +; CHECK-NEXT: [[TMP3:%.*]] = icmp slt i32 [[TMP2]], %x +; CHECK-NEXT: [[TMP4:%.*]] = select i1 [[TMP3]], i32 [[TMP2]], i32 %x +; CHECK-NEXT: [[TMP5:%.*]] = xor i32 [[TMP4]], -1 +; CHECK-NEXT: ret i32 [[TMP5]] +; %c0 = icmp sgt i32 %y, 0 %xor_y = xor i32 %y, -1 %s0 = select i1 %c0, i32 %xor_y, i32 -1 @@ -83,3 +87,4 @@ define i32 @max_of_nots(i32 %x, i32 %y) { %smax96 = select i1 %c1, i32 %xor_x, i32 %s0 ret i32 %smax96 } + |
