1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -passes=instcombine -S | FileCheck %s 3 4define 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: [[TMP12:%.*]] = call i32 @llvm.smin.i32(i32 [[TMP0]], i32 -1) 11; CHECK-NEXT: [[SMAX61:%.*]] = call i32 @llvm.smax.i32(i32 [[SMAX58]], i32 [[TMP12]]) 12; CHECK-NEXT: [[TMP14:%.*]] = xor i32 [[SMAX61]], -1 13; CHECK-NEXT: ret i32 [[TMP14]] 14; 15entry: 16 %smax58 = select i1 %c, i32 %e, i32 %f 17 %smax59 = select i1 %d, i32 %g, i32 %h 18 %tmp10 = sub i32 -2, %smax59 19 %tmp11 = icmp sgt i32 %tmp10, 0 20 %smax60 = select i1 %tmp11, i32 %tmp10, i32 0 21 %tmp12 = xor i32 %smax60, -1 22 %tmp13 = icmp sgt i32 %smax58, %tmp12 23 %smax61 = select i1 %tmp13, i32 %smax58, i32 %tmp12 24 %tmp14 = xor i32 %smax61, -1 25 ret i32 %tmp14 26} 27