123 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=instcombine -S | FileCheck %s3 4define i32 @select_of_symmetric_selects(i32 %a, i32 %b, i1 %c1, i1 %c2) {5; CHECK-LABEL: @select_of_symmetric_selects(6; CHECK-NEXT: [[TMP1:%.*]] = xor i1 [[C1:%.*]], [[C2:%.*]]7; CHECK-NEXT: [[RET:%.*]] = select i1 [[TMP1]], i32 [[B:%.*]], i32 [[A:%.*]]8; CHECK-NEXT: ret i32 [[RET]]9;10 %sel1 = select i1 %c1, i32 %a, i32 %b11 %sel2 = select i1 %c1, i32 %b, i32 %a12 %ret = select i1 %c2, i32 %sel1, i32 %sel213 ret i32 %ret14}15 16define i32 @select_of_symmetric_selects_negative1(i32 %a, i32 %b, i1 %c1, i1 %c2) {17; CHECK-LABEL: @select_of_symmetric_selects_negative1(18; CHECK-NEXT: [[SEL1:%.*]] = select i1 [[C1:%.*]], i32 [[A:%.*]], i32 [[B:%.*]]19; CHECK-NEXT: [[RET:%.*]] = select i1 [[C2:%.*]], i32 [[SEL1]], i32 [[A]]20; CHECK-NEXT: ret i32 [[RET]]21;22 %sel1 = select i1 %c1, i32 %a, i32 %b23 %sel2 = select i1 %c2, i32 %b, i32 %a24 %ret = select i1 %c2, i32 %sel1, i32 %sel225 ret i32 %ret26}27 28define i32 @select_of_symmetric_selects_negative2(i32 %a, i32 %b, i32 %c, i1 %c1, i1 %c2) {29; CHECK-LABEL: @select_of_symmetric_selects_negative2(30; CHECK-NEXT: [[SEL1:%.*]] = select i1 [[C1:%.*]], i32 [[A:%.*]], i32 [[B:%.*]]31; CHECK-NEXT: [[SEL2:%.*]] = select i1 [[C1]], i32 [[B]], i32 [[C:%.*]]32; CHECK-NEXT: [[RET:%.*]] = select i1 [[C2:%.*]], i32 [[SEL1]], i32 [[SEL2]]33; CHECK-NEXT: ret i32 [[RET]]34;35 %sel1 = select i1 %c1, i32 %a, i32 %b36 %sel2 = select i1 %c1, i32 %b, i32 %c37 %ret = select i1 %c2, i32 %sel1, i32 %sel238 ret i32 %ret39}40 41declare void @use(i32)42 43define i32 @select_of_symmetric_selects_multi_use1(i32 %a, i32 %b, i1 %c1, i1 %c2) {44; CHECK-LABEL: @select_of_symmetric_selects_multi_use1(45; CHECK-NEXT: [[SEL1:%.*]] = select i1 [[C1:%.*]], i32 [[A:%.*]], i32 [[B:%.*]]46; CHECK-NEXT: [[SEL2:%.*]] = select i1 [[C1]], i32 [[B]], i32 [[A]]47; CHECK-NEXT: call void @use(i32 [[SEL2]])48; CHECK-NEXT: [[RET:%.*]] = select i1 [[C2:%.*]], i32 [[SEL1]], i32 [[SEL2]]49; CHECK-NEXT: ret i32 [[RET]]50;51 %sel1 = select i1 %c1, i32 %a, i32 %b52 %sel2 = select i1 %c1, i32 %b, i32 %a53 call void @use(i32 %sel2)54 %ret = select i1 %c2, i32 %sel1, i32 %sel255 ret i32 %ret56}57 58define i32 @select_of_symmetric_selects_multi_use2(i32 %a, i32 %b, i1 %c1, i1 %c2) {59; CHECK-LABEL: @select_of_symmetric_selects_multi_use2(60; CHECK-NEXT: [[SEL1:%.*]] = select i1 [[C1:%.*]], i32 [[A:%.*]], i32 [[B:%.*]]61; CHECK-NEXT: call void @use(i32 [[SEL1]])62; CHECK-NEXT: [[SEL2:%.*]] = select i1 [[C1]], i32 [[B]], i32 [[A]]63; CHECK-NEXT: call void @use(i32 [[SEL2]])64; CHECK-NEXT: [[RET:%.*]] = select i1 [[C2:%.*]], i32 [[SEL1]], i32 [[SEL2]]65; CHECK-NEXT: ret i32 [[RET]]66;67 %sel1 = select i1 %c1, i32 %a, i32 %b68 call void @use(i32 %sel1)69 %sel2 = select i1 %c1, i32 %b, i32 %a70 call void @use(i32 %sel2)71 %ret = select i1 %c2, i32 %sel1, i32 %sel272 ret i32 %ret73}74 75define i32 @select_of_symmetric_selects_commuted(i32 %a, i32 %b, i1 %c1, i1 %c2) {76; CHECK-LABEL: @select_of_symmetric_selects_commuted(77; CHECK-NEXT: [[TMP1:%.*]] = xor i1 [[C1:%.*]], [[C2:%.*]]78; CHECK-NEXT: [[RET:%.*]] = select i1 [[TMP1]], i32 [[A:%.*]], i32 [[B:%.*]]79; CHECK-NEXT: ret i32 [[RET]]80;81 %sel1 = select i1 %c1, i32 %a, i32 %b82 %sel2 = select i1 %c1, i32 %b, i32 %a83 %ret = select i1 %c2, i32 %sel2, i32 %sel184 ret i32 %ret85}86 87define <4 x i32> @select_of_symmetric_selects_vector1(<4 x i32> %a, <4 x i32> %b, i1 %c1, i1 %c2) {88; CHECK-LABEL: @select_of_symmetric_selects_vector1(89; CHECK-NEXT: [[TMP1:%.*]] = xor i1 [[C1:%.*]], [[C2:%.*]]90; CHECK-NEXT: [[RET:%.*]] = select i1 [[TMP1]], <4 x i32> [[A:%.*]], <4 x i32> [[B:%.*]]91; CHECK-NEXT: ret <4 x i32> [[RET]]92;93 %sel1 = select i1 %c1, <4 x i32> %a, <4 x i32> %b94 %sel2 = select i1 %c1, <4 x i32> %b, <4 x i32> %a95 %ret = select i1 %c2, <4 x i32> %sel2, <4 x i32> %sel196 ret <4 x i32> %ret97}98 99define <4 x i32> @select_of_symmetric_selects_vector2(<4 x i32> %a, <4 x i32> %b, <4 x i1> %c1, <4 x i1> %c2) {100; CHECK-LABEL: @select_of_symmetric_selects_vector2(101; CHECK-NEXT: [[TMP1:%.*]] = xor <4 x i1> [[C1:%.*]], [[C2:%.*]]102; CHECK-NEXT: [[RET:%.*]] = select <4 x i1> [[TMP1]], <4 x i32> [[A:%.*]], <4 x i32> [[B:%.*]]103; CHECK-NEXT: ret <4 x i32> [[RET]]104;105 %sel1 = select <4 x i1> %c1, <4 x i32> %a, <4 x i32> %b106 %sel2 = select <4 x i1> %c1, <4 x i32> %b, <4 x i32> %a107 %ret = select <4 x i1> %c2, <4 x i32> %sel2, <4 x i32> %sel1108 ret <4 x i32> %ret109}110 111define <2 x i32> @select_of_symmetric_selects_vector3(<2 x i32> %a, <2 x i32> %b, <2 x i1> %c1, i1 %c2) {112; CHECK-LABEL: @select_of_symmetric_selects_vector3(113; CHECK-NEXT: [[SEL1:%.*]] = select <2 x i1> [[C1:%.*]], <2 x i32> [[A:%.*]], <2 x i32> [[B:%.*]]114; CHECK-NEXT: [[SEL2:%.*]] = select <2 x i1> [[C1]], <2 x i32> [[B]], <2 x i32> [[A]]115; CHECK-NEXT: [[RET:%.*]] = select i1 [[C2:%.*]], <2 x i32> [[SEL1]], <2 x i32> [[SEL2]]116; CHECK-NEXT: ret <2 x i32> [[RET]]117;118 %sel1 = select <2 x i1> %c1, <2 x i32> %a, <2 x i32> %b119 %sel2 = select <2 x i1> %c1, <2 x i32> %b, <2 x i32> %a120 %ret = select i1 %c2, <2 x i32> %sel1, <2 x i32> %sel2121 ret <2 x i32> %ret122 }123