291 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S -passes=instcombine < %s | FileCheck %s3 4define i32 @smax_of_smax_smin_commute0(i32 %x, i32 %y) {5; CHECK-LABEL: @smax_of_smax_smin_commute0(6; CHECK-NEXT: [[MAX:%.*]] = call i32 @llvm.smax.i32(i32 [[Y:%.*]], i32 [[X:%.*]])7; CHECK-NEXT: ret i32 [[MAX]]8;9 %cmp1 = icmp slt i32 %x, %y10 %min = select i1 %cmp1, i32 %x, i32 %y11 %cmp2 = icmp slt i32 %y, %x12 %max = select i1 %cmp2, i32 %x, i32 %y13 %cmp3 = icmp sgt i32 %max, %min14 %r = select i1 %cmp3, i32 %max, i32 %min15 ret i32 %r16}17 18define i32 @smax_of_smax_smin_commute1(i32 %x, i32 %y) {19; CHECK-LABEL: @smax_of_smax_smin_commute1(20; CHECK-NEXT: [[MAX:%.*]] = call i32 @llvm.smax.i32(i32 [[X:%.*]], i32 [[Y:%.*]])21; CHECK-NEXT: ret i32 [[MAX]]22;23 %cmp1 = icmp sgt i32 %x, %y24 %min = select i1 %cmp1, i32 %y, i32 %x25 %cmp2 = icmp sgt i32 %x, %y26 %max = select i1 %cmp2, i32 %x, i32 %y27 %cmp3 = icmp sgt i32 %max, %min28 %r = select i1 %cmp3, i32 %max, i32 %min29 ret i32 %r30}31 32define i32 @smax_of_smax_smin_commute2(i32 %x, i32 %y) {33; CHECK-LABEL: @smax_of_smax_smin_commute2(34; CHECK-NEXT: [[MAX:%.*]] = call i32 @llvm.smax.i32(i32 [[Y:%.*]], i32 [[X:%.*]])35; CHECK-NEXT: ret i32 [[MAX]]36;37 %cmp1 = icmp slt i32 %x, %y38 %min = select i1 %cmp1, i32 %x, i32 %y39 %cmp2 = icmp slt i32 %y, %x40 %max = select i1 %cmp2, i32 %x, i32 %y41 %cmp3 = icmp slt i32 %min, %max42 %r = select i1 %cmp3, i32 %max, i32 %min43 ret i32 %r44}45 46define <2 x i32> @smax_of_smax_smin_commute3(<2 x i32> %x, <2 x i32> %y) {47; CHECK-LABEL: @smax_of_smax_smin_commute3(48; CHECK-NEXT: [[MAX:%.*]] = call <2 x i32> @llvm.smax.v2i32(<2 x i32> [[X:%.*]], <2 x i32> [[Y:%.*]])49; CHECK-NEXT: ret <2 x i32> [[MAX]]50;51 %cmp1 = icmp sgt <2 x i32> %x, %y52 %min = select <2 x i1> %cmp1, <2 x i32> %y, <2 x i32> %x53 %cmp2 = icmp sgt <2 x i32> %x, %y54 %max = select <2 x i1> %cmp2, <2 x i32> %x, <2 x i32> %y55 %cmp3 = icmp slt <2 x i32> %min, %max56 %r = select <2 x i1> %cmp3, <2 x i32> %max, <2 x i32> %min57 ret <2 x i32> %r58}59 60define i32 @smin_of_smin_smax_commute0(i32 %x, i32 %y) {61; CHECK-LABEL: @smin_of_smin_smax_commute0(62; CHECK-NEXT: [[MIN:%.*]] = call i32 @llvm.smin.i32(i32 [[Y:%.*]], i32 [[X:%.*]])63; CHECK-NEXT: ret i32 [[MIN]]64;65 %cmp1 = icmp sgt i32 %x, %y66 %max = select i1 %cmp1, i32 %x, i32 %y67 %cmp2 = icmp sgt i32 %y, %x68 %min = select i1 %cmp2, i32 %x, i32 %y69 %cmp3 = icmp sgt i32 %max, %min70 %r = select i1 %cmp3, i32 %min, i32 %max71 ret i32 %r72}73 74define i32 @smin_of_smin_smax_commute1(i32 %x, i32 %y) {75; CHECK-LABEL: @smin_of_smin_smax_commute1(76; CHECK-NEXT: [[MIN:%.*]] = call i32 @llvm.smin.i32(i32 [[X:%.*]], i32 [[Y:%.*]])77; CHECK-NEXT: ret i32 [[MIN]]78;79 %cmp1 = icmp slt i32 %x, %y80 %max = select i1 %cmp1, i32 %y, i32 %x81 %cmp2 = icmp slt i32 %x, %y82 %min = select i1 %cmp2, i32 %x, i32 %y83 %cmp3 = icmp sgt i32 %max, %min84 %r = select i1 %cmp3, i32 %min, i32 %max85 ret i32 %r86}87 88define <2 x i32> @smin_of_smin_smax_commute2(<2 x i32> %x, <2 x i32> %y) {89; CHECK-LABEL: @smin_of_smin_smax_commute2(90; CHECK-NEXT: [[MIN:%.*]] = call <2 x i32> @llvm.smin.v2i32(<2 x i32> [[X:%.*]], <2 x i32> [[Y:%.*]])91; CHECK-NEXT: ret <2 x i32> [[MIN]]92;93 %cmp1 = icmp sgt <2 x i32> %x, %y94 %max = select <2 x i1> %cmp1, <2 x i32> %x, <2 x i32> %y95 %cmp2 = icmp slt <2 x i32> %x, %y96 %min = select <2 x i1> %cmp2, <2 x i32> %x, <2 x i32> %y97 %cmp3 = icmp slt <2 x i32> %min, %max98 %r = select <2 x i1> %cmp3, <2 x i32> %min, <2 x i32> %max99 ret <2 x i32> %r100}101 102define i32 @smin_of_smin_smax_commute3(i32 %x, i32 %y) {103; CHECK-LABEL: @smin_of_smin_smax_commute3(104; CHECK-NEXT: [[MIN:%.*]] = call i32 @llvm.smin.i32(i32 [[Y:%.*]], i32 [[X:%.*]])105; CHECK-NEXT: ret i32 [[MIN]]106;107 %cmp1 = icmp slt i32 %x, %y108 %max = select i1 %cmp1, i32 %y, i32 %x109 %cmp2 = icmp sgt i32 %y, %x110 %min = select i1 %cmp2, i32 %x, i32 %y111 %cmp3 = icmp slt i32 %min, %max112 %r = select i1 %cmp3, i32 %min, i32 %max113 ret i32 %r114}115 116define i32 @umax_of_umax_umin_commute0(i32 %x, i32 %y) {117; CHECK-LABEL: @umax_of_umax_umin_commute0(118; CHECK-NEXT: [[MAX:%.*]] = call i32 @llvm.umax.i32(i32 [[Y:%.*]], i32 [[X:%.*]])119; CHECK-NEXT: ret i32 [[MAX]]120;121 %cmp1 = icmp ult i32 %x, %y122 %min = select i1 %cmp1, i32 %x, i32 %y123 %cmp2 = icmp ult i32 %y, %x124 %max = select i1 %cmp2, i32 %x, i32 %y125 %cmp3 = icmp ugt i32 %max, %min126 %r = select i1 %cmp3, i32 %max, i32 %min127 ret i32 %r128}129 130define i32 @umax_of_umax_umin_commute1(i32 %x, i32 %y) {131; CHECK-LABEL: @umax_of_umax_umin_commute1(132; CHECK-NEXT: [[MAX:%.*]] = call i32 @llvm.umax.i32(i32 [[X:%.*]], i32 [[Y:%.*]])133; CHECK-NEXT: ret i32 [[MAX]]134;135 %cmp1 = icmp ugt i32 %x, %y136 %min = select i1 %cmp1, i32 %y, i32 %x137 %cmp2 = icmp ugt i32 %x, %y138 %max = select i1 %cmp2, i32 %x, i32 %y139 %cmp3 = icmp ugt i32 %max, %min140 %r = select i1 %cmp3, i32 %max, i32 %min141 ret i32 %r142}143 144define i32 @umax_of_umax_umin_commute2(i32 %x, i32 %y) {145; CHECK-LABEL: @umax_of_umax_umin_commute2(146; CHECK-NEXT: [[MAX:%.*]] = call i32 @llvm.umax.i32(i32 [[Y:%.*]], i32 [[X:%.*]])147; CHECK-NEXT: ret i32 [[MAX]]148;149 %cmp1 = icmp ult i32 %x, %y150 %min = select i1 %cmp1, i32 %x, i32 %y151 %cmp2 = icmp ult i32 %y, %x152 %max = select i1 %cmp2, i32 %x, i32 %y153 %cmp3 = icmp ult i32 %min, %max154 %r = select i1 %cmp3, i32 %max, i32 %min155 ret i32 %r156}157 158define <2 x i32> @umax_of_umax_umin_commute3(<2 x i32> %x, <2 x i32> %y) {159; CHECK-LABEL: @umax_of_umax_umin_commute3(160; CHECK-NEXT: [[MAX:%.*]] = call <2 x i32> @llvm.umax.v2i32(<2 x i32> [[X:%.*]], <2 x i32> [[Y:%.*]])161; CHECK-NEXT: ret <2 x i32> [[MAX]]162;163 %cmp1 = icmp ugt <2 x i32> %x, %y164 %min = select <2 x i1> %cmp1, <2 x i32> %y, <2 x i32> %x165 %cmp2 = icmp ugt <2 x i32> %x, %y166 %max = select <2 x i1> %cmp2, <2 x i32> %x, <2 x i32> %y167 %cmp3 = icmp ult <2 x i32> %min, %max168 %r = select <2 x i1> %cmp3, <2 x i32> %max, <2 x i32> %min169 ret <2 x i32> %r170}171 172define i32 @umin_of_umin_umax_commute0(i32 %x, i32 %y) {173; CHECK-LABEL: @umin_of_umin_umax_commute0(174; CHECK-NEXT: [[MIN:%.*]] = call i32 @llvm.umin.i32(i32 [[Y:%.*]], i32 [[X:%.*]])175; CHECK-NEXT: ret i32 [[MIN]]176;177 %cmp1 = icmp ugt i32 %x, %y178 %max = select i1 %cmp1, i32 %x, i32 %y179 %cmp2 = icmp ugt i32 %y, %x180 %min = select i1 %cmp2, i32 %x, i32 %y181 %cmp3 = icmp ugt i32 %max, %min182 %r = select i1 %cmp3, i32 %min, i32 %max183 ret i32 %r184}185 186define i32 @umin_of_umin_umax_commute1(i32 %x, i32 %y) {187; CHECK-LABEL: @umin_of_umin_umax_commute1(188; CHECK-NEXT: [[MIN:%.*]] = call i32 @llvm.umin.i32(i32 [[X:%.*]], i32 [[Y:%.*]])189; CHECK-NEXT: ret i32 [[MIN]]190;191 %cmp1 = icmp ult i32 %x, %y192 %max = select i1 %cmp1, i32 %y, i32 %x193 %cmp2 = icmp ult i32 %x, %y194 %min = select i1 %cmp2, i32 %x, i32 %y195 %cmp3 = icmp ugt i32 %max, %min196 %r = select i1 %cmp3, i32 %min, i32 %max197 ret i32 %r198}199 200define <2 x i32> @umin_of_umin_umax_commute2(<2 x i32> %x, <2 x i32> %y) {201; CHECK-LABEL: @umin_of_umin_umax_commute2(202; CHECK-NEXT: [[MIN:%.*]] = call <2 x i32> @llvm.umin.v2i32(<2 x i32> [[X:%.*]], <2 x i32> [[Y:%.*]])203; CHECK-NEXT: ret <2 x i32> [[MIN]]204;205 %cmp1 = icmp ugt <2 x i32> %x, %y206 %max = select <2 x i1> %cmp1, <2 x i32> %x, <2 x i32> %y207 %cmp2 = icmp ult <2 x i32> %x, %y208 %min = select <2 x i1> %cmp2, <2 x i32> %x, <2 x i32> %y209 %cmp3 = icmp ult <2 x i32> %min, %max210 %r = select <2 x i1> %cmp3, <2 x i32> %min, <2 x i32> %max211 ret <2 x i32> %r212}213 214define i32 @umin_of_umin_umax_commute3(i32 %x, i32 %y) {215; CHECK-LABEL: @umin_of_umin_umax_commute3(216; CHECK-NEXT: [[MIN:%.*]] = call i32 @llvm.umin.i32(i32 [[Y:%.*]], i32 [[X:%.*]])217; CHECK-NEXT: ret i32 [[MIN]]218;219 %cmp1 = icmp ult i32 %x, %y220 %max = select i1 %cmp1, i32 %y, i32 %x221 %cmp2 = icmp ugt i32 %y, %x222 %min = select i1 %cmp2, i32 %x, i32 %y223 %cmp3 = icmp ult i32 %min, %max224 %r = select i1 %cmp3, i32 %min, i32 %max225 ret i32 %r226}227 228; Negative test - mismatch of min/max flavor229 230define i32 @umin_of_smin_umax_wrong_pattern(i32 %x, i32 %y) {231; CHECK-LABEL: @umin_of_smin_umax_wrong_pattern(232; CHECK-NEXT: [[MIN:%.*]] = call i32 @llvm.smin.i32(i32 [[Y:%.*]], i32 [[X:%.*]])233; CHECK-NEXT: ret i32 [[MIN]]234;235 %cmp1 = icmp ugt i32 %x, %y236 %max = select i1 %cmp1, i32 %x, i32 %y237 %cmp2 = icmp sgt i32 %y, %x238 %min = select i1 %cmp2, i32 %x, i32 %y239 %cmp3 = icmp ugt i32 %max, %min240 %r = select i1 %cmp3, i32 %min, i32 %max241 ret i32 %r242}243 244; Negative test - mismatch of min/max flavor245 246define i32 @smin_of_umin_umax_wrong_pattern2(i32 %x, i32 %y) {247; CHECK-LABEL: @smin_of_umin_umax_wrong_pattern2(248; CHECK-NEXT: [[R:%.*]] = call i32 @llvm.smin.i32(i32 [[X:%.*]], i32 [[Y:%.*]])249; CHECK-NEXT: ret i32 [[R]]250;251 %cmp1 = icmp ult i32 %x, %y252 %max = select i1 %cmp1, i32 %y, i32 %x253 %cmp2 = icmp ult i32 %x, %y254 %min = select i1 %cmp2, i32 %x, i32 %y255 %cmp3 = icmp sgt i32 %max, %min256 %r = select i1 %cmp3, i32 %min, i32 %max257 ret i32 %r258}259 260; Negative test - operands must match261 262define <2 x i32> @umin_of_umin_umax_wrong_operand(<2 x i32> %x, <2 x i32> %y, <2 x i32> %z) {263; CHECK-LABEL: @umin_of_umin_umax_wrong_operand(264; CHECK-NEXT: [[MIN:%.*]] = call <2 x i32> @llvm.umin.v2i32(<2 x i32> [[X:%.*]], <2 x i32> [[Z:%.*]])265; CHECK-NEXT: ret <2 x i32> [[MIN]]266;267 %cmp1 = icmp ugt <2 x i32> %x, %y268 %max = select <2 x i1> %cmp1, <2 x i32> %x, <2 x i32> %y269 %cmp2 = icmp ult <2 x i32> %x, %z270 %min = select <2 x i1> %cmp2, <2 x i32> %x, <2 x i32> %z271 %cmp3 = icmp ult <2 x i32> %min, %max272 %r = select <2 x i1> %cmp3, <2 x i32> %min, <2 x i32> %max273 ret <2 x i32> %r274}275 276; Negative test - operands must match277 278define i32 @umin_of_umin_umax_wrong_operand2(i32 %x, i32 %y, i32 %z) {279; CHECK-LABEL: @umin_of_umin_umax_wrong_operand2(280; CHECK-NEXT: [[MIN:%.*]] = call i32 @llvm.umin.i32(i32 [[Y:%.*]], i32 [[X:%.*]])281; CHECK-NEXT: ret i32 [[MIN]]282;283 %cmp1 = icmp ult i32 %x, %z284 %max = select i1 %cmp1, i32 %z, i32 %x285 %cmp2 = icmp ugt i32 %y, %x286 %min = select i1 %cmp2, i32 %x, i32 %y287 %cmp3 = icmp ult i32 %min, %max288 %r = select i1 %cmp3, i32 %min, i32 %max289 ret i32 %r290}291