177 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 22; RUN: opt < %s -passes=instcombine -S | FileCheck %s3 4declare void @use(i32,...)5 6define i1 @both_sides_fold_slt(i32 %param, i1 %cond) {7; CHECK-LABEL: define i1 @both_sides_fold_slt8; CHECK-SAME: (i32 [[PARAM:%.*]], i1 [[COND:%.*]]) {9; CHECK-NEXT: entry:10; CHECK-NEXT: ret i1 false11;12entry:13 %cond1 = select i1 %cond, i32 1, i32 %param14 %cond6 = select i1 %cond, i32 9, i32 %param15 %cmp = icmp slt i32 %cond6, %cond116 ret i1 %cmp17}18 19define i1 @both_sides_fold_eq(i32 %param, i1 %cond) {20; CHECK-LABEL: define i1 @both_sides_fold_eq21; CHECK-SAME: (i32 [[PARAM:%.*]], i1 [[COND:%.*]]) {22; CHECK-NEXT: entry:23; CHECK-NEXT: [[NOT_COND:%.*]] = xor i1 [[COND]], true24; CHECK-NEXT: ret i1 [[NOT_COND]]25;26entry:27 %cond1 = select i1 %cond, i32 1, i32 %param28 %cond6 = select i1 %cond, i32 9, i32 %param29 %cmp = icmp eq i32 %cond6, %cond130 ret i1 %cmp31}32 33define i1 @one_side_fold_slt(i32 %val1, i32 %val2, i32 %param, i1 %cond) {34; CHECK-LABEL: define i1 @one_side_fold_slt35; CHECK-SAME: (i32 [[VAL1:%.*]], i32 [[VAL2:%.*]], i32 [[PARAM:%.*]], i1 [[COND:%.*]]) {36; CHECK-NEXT: entry:37; CHECK-NEXT: [[TMP0:%.*]] = icmp slt i32 [[VAL2]], [[VAL1]]38; CHECK-NEXT: [[CMP:%.*]] = select i1 [[COND]], i1 [[TMP0]], i1 false39; CHECK-NEXT: ret i1 [[CMP]]40;41entry:42 %cond1 = select i1 %cond, i32 %val1, i32 %param43 %cond6 = select i1 %cond, i32 %val2, i32 %param44 %cmp = icmp slt i32 %cond6, %cond145 ret i1 %cmp46}47 48define i1 @one_side_fold_sgt(i32 %val1, i32 %val2, i32 %param, i1 %cond) {49; CHECK-LABEL: define i1 @one_side_fold_sgt50; CHECK-SAME: (i32 [[VAL1:%.*]], i32 [[VAL2:%.*]], i32 [[PARAM:%.*]], i1 [[COND:%.*]]) {51; CHECK-NEXT: entry:52; CHECK-NEXT: [[TMP0:%.*]] = icmp sgt i32 [[VAL2]], [[VAL1]]53; CHECK-NEXT: [[NOT_COND:%.*]] = xor i1 [[COND]], true54; CHECK-NEXT: [[CMP:%.*]] = select i1 [[NOT_COND]], i1 [[TMP0]], i1 false55; CHECK-NEXT: ret i1 [[CMP]]56;57entry:58 %cond1 = select i1 %cond, i32 %param, i32 %val159 %cond6 = select i1 %cond, i32 %param, i32 %val260 %cmp = icmp sgt i32 %cond6, %cond161 ret i1 %cmp62}63 64define i1 @one_side_fold_eq(i32 %val1, i32 %val2, i32 %param, i1 %cond) {65; CHECK-LABEL: define i1 @one_side_fold_eq66; CHECK-SAME: (i32 [[VAL1:%.*]], i32 [[VAL2:%.*]], i32 [[PARAM:%.*]], i1 [[COND:%.*]]) {67; CHECK-NEXT: entry:68; CHECK-NEXT: [[TMP0:%.*]] = icmp eq i32 [[VAL2]], [[VAL1]]69; CHECK-NEXT: [[NOT_COND:%.*]] = xor i1 [[COND]], true70; CHECK-NEXT: [[CMP:%.*]] = select i1 [[NOT_COND]], i1 true, i1 [[TMP0]]71; CHECK-NEXT: ret i1 [[CMP]]72;73entry:74 %cond1 = select i1 %cond, i32 %val1, i32 %param75 %cond6 = select i1 %cond, i32 %val2, i32 %param76 %cmp = icmp eq i32 %cond6, %cond177 ret i1 %cmp78}79 80define i1 @no_side_fold_cond(i32 %val1, i32 %val2, i32 %param, i1 %cond1, i1 %cond2) {81; CHECK-LABEL: define i1 @no_side_fold_cond82; CHECK-SAME: (i32 [[VAL1:%.*]], i32 [[VAL2:%.*]], i32 [[PARAM:%.*]], i1 [[COND1:%.*]], i1 [[COND2:%.*]]) {83; CHECK-NEXT: entry:84; CHECK-NEXT: [[COND3:%.*]] = select i1 [[COND1]], i32 [[VAL1]], i32 [[PARAM]]85; CHECK-NEXT: [[COND6:%.*]] = select i1 [[COND2]], i32 [[VAL2]], i32 [[PARAM]]86; CHECK-NEXT: [[CMP:%.*]] = icmp sle i32 [[COND6]], [[COND3]]87; CHECK-NEXT: ret i1 [[CMP]]88;89entry:90 %cond3 = select i1 %cond1, i32 %val1, i32 %param91 %cond6 = select i1 %cond2, i32 %val2, i32 %param92 %cmp = icmp sle i32 %cond6, %cond393 ret i1 %cmp94}95 96define i1 @no_side_fold_op(i32 %val1, i32 %val2, i32 %val3, i1 %cond) {97; CHECK-LABEL: define i1 @no_side_fold_op98; CHECK-SAME: (i32 [[VAL1:%.*]], i32 [[VAL2:%.*]], i32 [[VAL3:%.*]], i1 [[COND:%.*]]) {99; CHECK-NEXT: entry:100; CHECK-NEXT: [[COND1:%.*]] = select i1 [[COND]], i32 [[VAL1]], i32 [[VAL2]]101; CHECK-NEXT: [[COND6:%.*]] = select i1 [[COND]], i32 [[VAL2]], i32 [[VAL3]]102; CHECK-NEXT: [[CMP:%.*]] = icmp sge i32 [[COND6]], [[COND1]]103; CHECK-NEXT: ret i1 [[CMP]]104;105entry:106 %cond1 = select i1 %cond, i32 %val1, i32 %val2107 %cond6 = select i1 %cond, i32 %val2, i32 %val3108 %cmp = icmp sge i32 %cond6, %cond1109 ret i1 %cmp110}111 112define i1 @one_select_mult_use(i32 %val1, i32 %val2, i32 %param, i1 %cond) {113; CHECK-LABEL: define i1 @one_select_mult_use114; CHECK-SAME: (i32 [[VAL1:%.*]], i32 [[VAL2:%.*]], i32 [[PARAM:%.*]], i1 [[COND:%.*]]) {115; CHECK-NEXT: entry:116; CHECK-NEXT: [[COND1:%.*]] = select i1 [[COND]], i32 [[VAL1]], i32 [[PARAM]]117; CHECK-NEXT: call void @use(i32 [[COND1]])118; CHECK-NEXT: [[TMP0:%.*]] = icmp slt i32 [[VAL2]], [[VAL1]]119; CHECK-NEXT: [[CMP:%.*]] = select i1 [[COND]], i1 [[TMP0]], i1 false120; CHECK-NEXT: ret i1 [[CMP]]121;122entry:123 %cond1 = select i1 %cond, i32 %val1, i32 %param124 %cond6 = select i1 %cond, i32 %val2, i32 %param125 call void @use(i32 %cond1)126 %cmp = icmp slt i32 %cond6, %cond1127 ret i1 %cmp128}129 130define i1 @both_select_mult_use(i32 %val1, i32 %val2, i32 %param, i1 %cond) {131; CHECK-LABEL: define i1 @both_select_mult_use132; CHECK-SAME: (i32 [[VAL1:%.*]], i32 [[VAL2:%.*]], i32 [[PARAM:%.*]], i1 [[COND:%.*]]) {133; CHECK-NEXT: entry:134; CHECK-NEXT: [[COND1:%.*]] = select i1 [[COND]], i32 [[VAL1]], i32 [[PARAM]]135; CHECK-NEXT: [[COND6:%.*]] = select i1 [[COND]], i32 [[VAL2]], i32 [[PARAM]]136; CHECK-NEXT: call void @use(i32 [[COND1]], i32 [[COND6]])137; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[COND6]], [[COND1]]138; CHECK-NEXT: ret i1 [[CMP]]139;140entry:141 %cond1 = select i1 %cond, i32 %val1, i32 %param142 %cond6 = select i1 %cond, i32 %val2, i32 %param143 call void @use(i32 %cond1, i32 %cond6)144 %cmp = icmp slt i32 %cond6, %cond1145 ret i1 %cmp146}147 148define <4 x i1> @fold_vector_ops(<4 x i32> %val1, <4 x i32> %val2, <4 x i32> %param, i1 %cond) {149; CHECK-LABEL: define <4 x i1> @fold_vector_ops150; CHECK-SAME: (<4 x i32> [[VAL1:%.*]], <4 x i32> [[VAL2:%.*]], <4 x i32> [[PARAM:%.*]], i1 [[COND:%.*]]) {151; CHECK-NEXT: entry:152; CHECK-NEXT: [[TMP0:%.*]] = icmp eq <4 x i32> [[VAL2]], [[VAL1]]153; CHECK-NEXT: [[CMP:%.*]] = select i1 [[COND]], <4 x i1> [[TMP0]], <4 x i1> splat (i1 true)154; CHECK-NEXT: ret <4 x i1> [[CMP]]155;156entry:157 %cond1 = select i1 %cond, <4 x i32> %val1, <4 x i32> %param158 %cond6 = select i1 %cond, <4 x i32> %val2, <4 x i32> %param159 %cmp = icmp eq <4 x i32> %cond6, %cond1160 ret <4 x i1> %cmp161}162 163define <8 x i1> @fold_vector_cond_ops(<8 x i32> %val1, <8 x i32> %val2, <8 x i32> %param, <8 x i1> %cond) {164; CHECK-LABEL: define <8 x i1> @fold_vector_cond_ops165; CHECK-SAME: (<8 x i32> [[VAL1:%.*]], <8 x i32> [[VAL2:%.*]], <8 x i32> [[PARAM:%.*]], <8 x i1> [[COND:%.*]]) {166; CHECK-NEXT: entry:167; CHECK-NEXT: [[TMP0:%.*]] = icmp sgt <8 x i32> [[VAL2]], [[VAL1]]168; CHECK-NEXT: [[CMP:%.*]] = select <8 x i1> [[COND]], <8 x i1> [[TMP0]], <8 x i1> zeroinitializer169; CHECK-NEXT: ret <8 x i1> [[CMP]]170;171entry:172 %cond1 = select <8 x i1> %cond, <8 x i32> %val1, <8 x i32> %param173 %cond6 = select <8 x i1> %cond, <8 x i32> %val2, <8 x i32> %param174 %cmp = icmp sgt <8 x i32> %cond6, %cond1175 ret <8 x i1> %cmp176}177