268 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals2; RUN: opt < %s -passes=instcombine -S | FileCheck %s3 4define i1 @a_true_implies_b_true(i8 %z, i1 %X, i1 %Y) {5; CHECK-LABEL: @a_true_implies_b_true(6; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 [[Z:%.*]], 207; CHECK-NEXT: [[RES:%.*]] = select i1 [[A]], i1 [[X:%.*]], i1 false8; CHECK-NEXT: ret i1 [[RES]]9;10 %a = icmp ugt i8 %z, 2011 %b = icmp ugt i8 %z, 1012 %sel = select i1 %b, i1 %X, i1 %Y13 %res = select i1 %a, i1 %sel, i1 false14 ret i1 %res15}16 17define <2 x i1> @a_true_implies_b_true_vec(i8 %z0, <2 x i1> %X, <2 x i1> %Y) {18; CHECK-LABEL: @a_true_implies_b_true_vec(19; CHECK-NEXT: [[A0:%.*]] = insertelement <2 x i8> poison, i8 [[Z0:%.*]], i64 020; CHECK-NEXT: [[Z:%.*]] = shufflevector <2 x i8> [[A0]], <2 x i8> poison, <2 x i32> zeroinitializer21; CHECK-NEXT: [[A:%.*]] = icmp ugt <2 x i8> [[Z]], <i8 20, i8 19>22; CHECK-NEXT: [[B:%.*]] = icmp ugt i8 [[Z0]], 1023; CHECK-NEXT: [[SEL:%.*]] = select i1 [[B]], <2 x i1> [[X:%.*]], <2 x i1> [[Y:%.*]]24; CHECK-NEXT: [[RES:%.*]] = select <2 x i1> [[A]], <2 x i1> [[SEL]], <2 x i1> zeroinitializer25; CHECK-NEXT: ret <2 x i1> [[RES]]26;27 28 %a0 = insertelement <2 x i8> poison, i8 %z0, i8 029 %z = shufflevector <2 x i8> %a0, <2 x i8> poison, <2 x i32> zeroinitializer30 %a = icmp ugt <2 x i8> %z, <i8 20, i8 19>31 %b = icmp ugt i8 %z0, 1032 %sel = select i1 %b, <2 x i1> %X, <2 x i1> %Y33 %res = select <2 x i1> %a, <2 x i1> %sel, <2 x i1> zeroinitializer34 ret <2 x i1> %res35}36 37define i1 @a_true_implies_b_true2(i8 %z, i1 %X, i1 %Y) !prof !0 {38; CHECK-LABEL: @a_true_implies_b_true2(39; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 [[Z:%.*]], 2040; CHECK-NEXT: [[RES:%.*]] = select i1 [[A]], i1 [[X:%.*]], i1 false, !prof [[PROF1:![0-9]+]]41; CHECK-NEXT: ret i1 [[RES]]42;43 %a = icmp ugt i8 %z, 2044 %b = icmp ugt i8 %z, 1045 %sel = select i1 %b, i1 %X, i1 %Y, !prof !146 %res = and i1 %a, %sel47 ret i1 %res48}49 50define i1 @a_true_implies_b_true2_comm(i8 %z, i1 %X, i1 %Y) {51; CHECK-LABEL: @a_true_implies_b_true2_comm(52; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 [[Z:%.*]], 2053; CHECK-NEXT: [[RES:%.*]] = select i1 [[A]], i1 [[X:%.*]], i1 false54; CHECK-NEXT: ret i1 [[RES]]55;56 %a = icmp ugt i8 %z, 2057 %b = icmp ugt i8 %z, 1058 %sel = select i1 %b, i1 %X, i1 %Y59 %res = and i1 %sel, %a60 ret i1 %res61}62 63define i1 @a_true_implies_b_false(i8 %z, i1 %X, i1 %Y) {64; CHECK-LABEL: @a_true_implies_b_false(65; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 [[Z:%.*]], 2066; CHECK-NEXT: [[RES:%.*]] = select i1 [[A]], i1 [[Y:%.*]], i1 false67; CHECK-NEXT: ret i1 [[RES]]68;69 %a = icmp ugt i8 %z, 2070 %b = icmp ult i8 %z, 1071 %sel = select i1 %b, i1 %X, i1 %Y72 %res = select i1 %a, i1 %sel, i1 false73 ret i1 %res74}75 76define i1 @a_true_implies_b_false2(i8 %z, i1 %X, i1 %Y) {77; CHECK-LABEL: @a_true_implies_b_false2(78; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 [[Z:%.*]], 2079; CHECK-NEXT: [[RES:%.*]] = select i1 [[A]], i1 [[Y:%.*]], i1 false80; CHECK-NEXT: ret i1 [[RES]]81;82 %a = icmp ugt i8 %z, 2083 %b = icmp eq i8 %z, 1084 %sel = select i1 %b, i1 %X, i1 %Y85 %res = and i1 %a, %sel86 ret i1 %res87}88 89define i1 @a_true_implies_b_false2_comm(i8 %z, i1 %X, i1 %Y) {90; CHECK-LABEL: @a_true_implies_b_false2_comm(91; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 [[Z:%.*]], 2092; CHECK-NEXT: [[RES:%.*]] = select i1 [[A]], i1 [[Y:%.*]], i1 false93; CHECK-NEXT: ret i1 [[RES]]94;95 %a = icmp ugt i8 %z, 2096 %b = icmp eq i8 %z, 1097 %sel = select i1 %b, i1 %X, i1 %Y98 %res = and i1 %sel, %a99 ret i1 %res100}101 102define i1 @a_false_implies_b_true(i8 %z, i1 %X, i1 %Y) {103; CHECK-LABEL: @a_false_implies_b_true(104; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 [[Z:%.*]], 10105; CHECK-NEXT: [[RES:%.*]] = select i1 [[A]], i1 true, i1 [[X:%.*]]106; CHECK-NEXT: ret i1 [[RES]]107;108 %a = icmp ugt i8 %z, 10109 %b = icmp ult i8 %z, 20110 %sel = select i1 %b, i1 %X, i1 %Y111 %res = select i1 %a, i1 true, i1 %sel112 ret i1 %res113}114 115define i1 @a_false_implies_b_true2(i8 %z, i1 %X, i1 %Y) {116; CHECK-LABEL: @a_false_implies_b_true2(117; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 [[Z:%.*]], 10118; CHECK-NEXT: [[RES:%.*]] = select i1 [[A]], i1 true, i1 [[X:%.*]]119; CHECK-NEXT: ret i1 [[RES]]120;121 %a = icmp ugt i8 %z, 10122 %b = icmp ult i8 %z, 20123 %sel = select i1 %b, i1 %X, i1 %Y124 %res = or i1 %a, %sel125 ret i1 %res126}127 128define i1 @a_false_implies_b_true2_comm(i8 %z, i1 %X, i1 %Y) {129; CHECK-LABEL: @a_false_implies_b_true2_comm(130; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 [[Z:%.*]], 10131; CHECK-NEXT: [[RES:%.*]] = select i1 [[A]], i1 true, i1 [[X:%.*]]132; CHECK-NEXT: ret i1 [[RES]]133;134 %a = icmp ugt i8 %z, 10135 %b = icmp ult i8 %z, 20136 %sel = select i1 %b, i1 %X, i1 %Y137 %res = or i1 %sel, %a138 ret i1 %res139}140 141define i1 @a_false_implies_b_false(i8 %z, i1 %X, i1 %Y) {142; CHECK-LABEL: @a_false_implies_b_false(143; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 [[Z:%.*]], 10144; CHECK-NEXT: [[RES:%.*]] = select i1 [[A]], i1 true, i1 [[Y:%.*]]145; CHECK-NEXT: ret i1 [[RES]]146;147 %a = icmp ugt i8 %z, 10148 %b = icmp ugt i8 %z, 20149 %sel = select i1 %b, i1 %X, i1 %Y150 %res = select i1 %a, i1 true, i1 %sel151 ret i1 %res152}153 154define i1 @a_false_implies_b_false2(i8 %z, i1 %X, i1 %Y) {155; CHECK-LABEL: @a_false_implies_b_false2(156; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 [[Z:%.*]], 10157; CHECK-NEXT: [[RES:%.*]] = select i1 [[A]], i1 true, i1 [[Y:%.*]]158; CHECK-NEXT: ret i1 [[RES]]159;160 %a = icmp ugt i8 %z, 10161 %b = icmp ugt i8 %z, 20162 %sel = select i1 %b, i1 %X, i1 %Y163 %res = or i1 %a, %sel164 ret i1 %res165}166 167define i1 @a_false_implies_b_false2_comm(i8 %z, i1 %X, i1 %Y) {168; CHECK-LABEL: @a_false_implies_b_false2_comm(169; CHECK-NEXT: [[A:%.*]] = icmp ugt i8 [[Z:%.*]], 10170; CHECK-NEXT: [[RES:%.*]] = select i1 [[A]], i1 true, i1 [[Y:%.*]]171; CHECK-NEXT: ret i1 [[RES]]172;173 %a = icmp ugt i8 %z, 10174 %b = icmp ugt i8 %z, 20175 %sel = select i1 %b, i1 %X, i1 %Y176 %res = or i1 %sel, %a177 ret i1 %res178}179 180define i1 @trunc_nuw_implies_icmp_eq(i8 %x, i1 %c) {181; CHECK-LABEL: @trunc_nuw_implies_icmp_eq(182; CHECK-NEXT: [[TRUNC:%.*]] = trunc nuw i8 [[X:%.*]] to i1183; CHECK-NEXT: [[SEL2:%.*]] = select i1 [[TRUNC]], i1 true, i1 [[C:%.*]]184; CHECK-NEXT: ret i1 [[SEL2]]185;186 %trunc = trunc nuw i8 %x to i1187 %cmp = icmp eq i8 %x, 0188 %sel1 = select i1 %cmp, i1 %c, i1 false189 %sel2 = select i1 %trunc, i1 true, i1 %sel1190 ret i1 %sel2191}192 193define i1 @icmp_eq_implies_trunc_nuw(i8 %x, i1 %c) {194; CHECK-LABEL: @icmp_eq_implies_trunc_nuw(195; CHECK-NEXT: [[CMP:%.*]] = icmp eq i8 [[X:%.*]], 0196; CHECK-NEXT: [[SEL2:%.*]] = select i1 [[CMP]], i1 true, i1 [[C:%.*]]197; CHECK-NEXT: ret i1 [[SEL2]]198;199 %trunc = trunc nuw i8 %x to i1200 %cmp = icmp eq i8 %x, 0201 %sel1 = select i1 %trunc, i1 %c, i1 false202 %sel2 = select i1 %cmp, i1 true, i1 %sel1203 ret i1 %sel2204}205 206define <2 x i1> @trunc_nuw_implies_icmp_eq_vec(<2 x i8> %x, <2 x i1> %c) {207; CHECK-LABEL: @trunc_nuw_implies_icmp_eq_vec(208; CHECK-NEXT: [[TRUNC:%.*]] = trunc nuw <2 x i8> [[X:%.*]] to <2 x i1>209; CHECK-NEXT: [[SEL2:%.*]] = select <2 x i1> [[TRUNC]], <2 x i1> splat (i1 true), <2 x i1> [[C:%.*]]210; CHECK-NEXT: ret <2 x i1> [[SEL2]]211;212 %trunc = trunc nuw <2 x i8> %x to <2 x i1>213 %cmp = icmp eq <2 x i8> %x, splat (i8 0)214 %sel1 = select <2 x i1> %cmp, <2 x i1> %c, <2 x i1> splat (i1 false)215 %sel2 = select <2 x i1> %trunc, <2 x i1> splat (i1 true), <2 x i1> %sel1216 ret <2 x i1> %sel2217}218 219define <2 x i1> @icmp_eq_implies_trunc_nuw_vec(<2 x i8> %x, <2 x i1> %c) {220; CHECK-LABEL: @icmp_eq_implies_trunc_nuw_vec(221; CHECK-NEXT: [[CMP:%.*]] = icmp eq <2 x i8> [[X:%.*]], zeroinitializer222; CHECK-NEXT: [[SEL2:%.*]] = select <2 x i1> [[CMP]], <2 x i1> splat (i1 true), <2 x i1> [[C:%.*]]223; CHECK-NEXT: ret <2 x i1> [[SEL2]]224;225 %trunc = trunc nuw <2 x i8> %x to <2 x i1>226 %cmp = icmp eq <2 x i8> %x, splat (i8 0)227 %sel1 = select <2 x i1> %trunc, <2 x i1> %c, <2 x i1> splat (i1 false)228 %sel2 = select <2 x i1> %cmp, <2 x i1> splat (i1 true), <2 x i1> %sel1229 ret <2 x i1> %sel2230}231 232define i1 @neg_trunc_implies_icmp_eq(i8 %x, i1 %c) {233; CHECK-LABEL: @neg_trunc_implies_icmp_eq(234; CHECK-NEXT: [[TRUNC:%.*]] = trunc i8 [[X:%.*]] to i1235; CHECK-NEXT: [[CMP:%.*]] = icmp eq i8 [[X]], 0236; CHECK-NEXT: [[SEL1:%.*]] = select i1 [[CMP]], i1 [[C:%.*]], i1 false237; CHECK-NEXT: [[SEL2:%.*]] = select i1 [[TRUNC]], i1 true, i1 [[SEL1]]238; CHECK-NEXT: ret i1 [[SEL2]]239;240 %trunc = trunc i8 %x to i1241 %cmp = icmp eq i8 %x, 0242 %sel1 = select i1 %cmp, i1 %c, i1 false243 %sel2 = select i1 %trunc, i1 true, i1 %sel1244 ret i1 %sel2245}246 247define i1 @neg_icmp_eq_implies_trunc(i8 %x, i1 %c) {248; CHECK-LABEL: @neg_icmp_eq_implies_trunc(249; CHECK-NEXT: [[TRUNC:%.*]] = trunc i8 [[X:%.*]] to i1250; CHECK-NEXT: [[CMP:%.*]] = icmp eq i8 [[X]], 0251; CHECK-NEXT: [[SEL1:%.*]] = select i1 [[TRUNC]], i1 [[C:%.*]], i1 false252; CHECK-NEXT: [[SEL2:%.*]] = select i1 [[CMP]], i1 true, i1 [[SEL1]]253; CHECK-NEXT: ret i1 [[SEL2]]254;255 %trunc = trunc i8 %x to i1256 %cmp = icmp eq i8 %x, 0257 %sel1 = select i1 %trunc, i1 %c, i1 false258 %sel2 = select i1 %cmp, i1 true, i1 %sel1259 ret i1 %sel2260}261 262!0 = !{!"function_entry_count", i64 1000}263!1 = !{!"branch_weights", i32 2, i32 3}264;.265; CHECK: [[META0:![0-9]+]] = !{!"function_entry_count", i64 1000}266; CHECK: [[PROF1]] = !{!"branch_weights", i32 2, i32 3}267;.268