test/Transforms/InstCombine/pr38897.ll

   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 }