500 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S -passes=instcombine < %s | FileCheck %s3 4define <2 x i32> @umin_of_nots(<2 x i32> %x, <2 x i32> %y) {5; CHECK-LABEL: @umin_of_nots(6; CHECK-NEXT: [[TMP1:%.*]] = call <2 x i32> @llvm.umax.v2i32(<2 x i32> [[X:%.*]], <2 x i32> [[Y:%.*]])7; CHECK-NEXT: [[MIN:%.*]] = xor <2 x i32> [[TMP1]], splat (i32 -1)8; CHECK-NEXT: ret <2 x i32> [[MIN]]9;10 %notx = xor <2 x i32> %x, <i32 -1, i32 -1>11 %noty = xor <2 x i32> %y, <i32 -1, i32 -1>12 %cmp = icmp ult <2 x i32> %notx, %noty13 %min = select <2 x i1> %cmp, <2 x i32> %notx, <2 x i32> %noty14 ret <2 x i32> %min15}16 17define <2 x i32> @smin_of_nots(<2 x i32> %x, <2 x i32> %y) {18; CHECK-LABEL: @smin_of_nots(19; CHECK-NEXT: [[TMP1:%.*]] = call <2 x i32> @llvm.smax.v2i32(<2 x i32> [[X:%.*]], <2 x i32> [[Y:%.*]])20; CHECK-NEXT: [[MIN:%.*]] = xor <2 x i32> [[TMP1]], splat (i32 -1)21; CHECK-NEXT: ret <2 x i32> [[MIN]]22;23 %notx = xor <2 x i32> %x, <i32 -1, i32 -1>24 %noty = xor <2 x i32> %y, <i32 -1, i32 -1>25 %cmp = icmp sle <2 x i32> %notx, %noty26 %min = select <2 x i1> %cmp, <2 x i32> %notx, <2 x i32> %noty27 ret <2 x i32> %min28}29 30define i32 @compute_min_2(i32 %x, i32 %y) {31; CHECK-LABEL: @compute_min_2(32; CHECK-NEXT: [[TMP1:%.*]] = call i32 @llvm.smin.i32(i32 [[X:%.*]], i32 [[Y:%.*]])33; CHECK-NEXT: ret i32 [[TMP1]]34;35 %not_x = sub i32 -1, %x36 %not_y = sub i32 -1, %y37 %cmp = icmp sgt i32 %not_x, %not_y38 %not_min = select i1 %cmp, i32 %not_x, i32 %not_y39 %min = sub i32 -1, %not_min40 ret i32 %min41}42 43declare void @extra_use(i8)44define i8 @umin_not_1_extra_use(i8 %x, i8 %y) {45; CHECK-LABEL: @umin_not_1_extra_use(46; CHECK-NEXT: [[NX:%.*]] = xor i8 [[X:%.*]], -147; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.umax.i8(i8 [[Y:%.*]], i8 [[X]])48; CHECK-NEXT: [[MINXY:%.*]] = xor i8 [[TMP1]], -149; CHECK-NEXT: call void @extra_use(i8 [[NX]])50; CHECK-NEXT: ret i8 [[MINXY]]51;52 %nx = xor i8 %x, -153 %ny = xor i8 %y, -154 %cmpxy = icmp ult i8 %nx, %ny55 %minxy = select i1 %cmpxy, i8 %nx, i8 %ny56 call void @extra_use(i8 %nx)57 ret i8 %minxy58}59 60define i8 @umin_not_2_extra_use(i8 %x, i8 %y) {61; CHECK-LABEL: @umin_not_2_extra_use(62; CHECK-NEXT: [[NX:%.*]] = xor i8 [[X:%.*]], -163; CHECK-NEXT: [[NY:%.*]] = xor i8 [[Y:%.*]], -164; CHECK-NEXT: [[MINXY:%.*]] = call i8 @llvm.umin.i8(i8 [[NX]], i8 [[NY]])65; CHECK-NEXT: call void @extra_use(i8 [[NX]])66; CHECK-NEXT: call void @extra_use(i8 [[NY]])67; CHECK-NEXT: ret i8 [[MINXY]]68;69 %nx = xor i8 %x, -170 %ny = xor i8 %y, -171 %cmpxy = icmp ult i8 %nx, %ny72 %minxy = select i1 %cmpxy, i8 %nx, i8 %ny73 call void @extra_use(i8 %nx)74 call void @extra_use(i8 %ny)75 ret i8 %minxy76}77 78; PR35834 - https://bugs.llvm.org/show_bug.cgi?id=3583479 80define i8 @umin3_not(i8 %x, i8 %y, i8 %z) {81; CHECK-LABEL: @umin3_not(82; CHECK-NEXT: [[MINMAXOP:%.*]] = call i8 @llvm.umax.i8(i8 [[Y:%.*]], i8 [[X:%.*]])83; CHECK-NEXT: [[R_V:%.*]] = call i8 @llvm.umax.i8(i8 [[MINMAXOP]], i8 [[Z:%.*]])84; CHECK-NEXT: [[R:%.*]] = xor i8 [[R_V]], -185; CHECK-NEXT: ret i8 [[R]]86;87 %nx = xor i8 %x, -188 %ny = xor i8 %y, -189 %nz = xor i8 %z, -190 %cmpyx = icmp ult i8 %y, %x91 %cmpxz = icmp ult i8 %nx, %nz92 %minxz = select i1 %cmpxz, i8 %nx, i8 %nz93 %cmpyz = icmp ult i8 %ny, %nz94 %minyz = select i1 %cmpyz, i8 %ny, i8 %nz95 %r = select i1 %cmpyx, i8 %minxz, i8 %minyz96 ret i8 %r97}98 99; PR35875 - https://bugs.llvm.org/show_bug.cgi?id=35875100 101define i8 @umin3_not_more_uses(i8 %x, i8 %y, i8 %z) {102; CHECK-LABEL: @umin3_not_more_uses(103; CHECK-NEXT: [[NX:%.*]] = xor i8 [[X:%.*]], -1104; CHECK-NEXT: [[NY:%.*]] = xor i8 [[Y:%.*]], -1105; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.umax.i8(i8 [[X]], i8 [[Y]])106; CHECK-NEXT: [[TMP2:%.*]] = call i8 @llvm.umax.i8(i8 [[Z:%.*]], i8 [[TMP1]])107; CHECK-NEXT: [[R:%.*]] = xor i8 [[TMP2]], -1108; CHECK-NEXT: call void @extra_use(i8 [[NX]])109; CHECK-NEXT: call void @extra_use(i8 [[NY]])110; CHECK-NEXT: ret i8 [[R]]111;112 %nx = xor i8 %x, -1113 %ny = xor i8 %y, -1114 %nz = xor i8 %z, -1115 %cmpxz = icmp ult i8 %nx, %nz116 %minxz = select i1 %cmpxz, i8 %nx, i8 %nz117 %cmpyz = icmp ult i8 %ny, %nz118 %minyz = select i1 %cmpyz, i8 %ny, i8 %nz119 %cmpyx = icmp ult i8 %y, %x120 %r = select i1 %cmpyx, i8 %minxz, i8 %minyz121 call void @extra_use(i8 %nx)122 call void @extra_use(i8 %ny)123 ret i8 %r124}125 126declare void @use8(i8)127 128define i8 @umin3_not_all_ops_extra_uses(i8 %x, i8 %y, i8 %z) {129; CHECK-LABEL: @umin3_not_all_ops_extra_uses(130; CHECK-NEXT: [[XN:%.*]] = xor i8 [[X:%.*]], -1131; CHECK-NEXT: [[YN:%.*]] = xor i8 [[Y:%.*]], -1132; CHECK-NEXT: [[ZN:%.*]] = xor i8 [[Z:%.*]], -1133; CHECK-NEXT: [[MINXZ:%.*]] = call i8 @llvm.umin.i8(i8 [[XN]], i8 [[ZN]])134; CHECK-NEXT: [[MINXYZ:%.*]] = call i8 @llvm.umin.i8(i8 [[MINXZ]], i8 [[YN]])135; CHECK-NEXT: call void @use8(i8 [[XN]])136; CHECK-NEXT: call void @use8(i8 [[YN]])137; CHECK-NEXT: call void @use8(i8 [[ZN]])138; CHECK-NEXT: ret i8 [[MINXYZ]]139;140 %xn = xor i8 %x, -1141 %yn = xor i8 %y, -1142 %zn = xor i8 %z, -1143 %cmpxz = icmp ult i8 %xn, %zn144 %minxz = select i1 %cmpxz, i8 %xn, i8 %zn145 %cmpxyz = icmp ult i8 %minxz, %yn146 %minxyz = select i1 %cmpxyz, i8 %minxz, i8 %yn147 call void @use8(i8 %xn)148 call void @use8(i8 %yn)149 call void @use8(i8 %zn)150 ret i8 %minxyz151}152 153define i32 @compute_min_3(i32 %x, i32 %y, i32 %z) {154; CHECK-LABEL: @compute_min_3(155; CHECK-NEXT: [[TMP1:%.*]] = call i32 @llvm.smin.i32(i32 [[X:%.*]], i32 [[Y:%.*]])156; CHECK-NEXT: [[TMP2:%.*]] = call i32 @llvm.smin.i32(i32 [[TMP1]], i32 [[Z:%.*]])157; CHECK-NEXT: ret i32 [[TMP2]]158;159 %not_x = sub i32 -1, %x160 %not_y = sub i32 -1, %y161 %not_z = sub i32 -1, %z162 %cmp_1 = icmp sgt i32 %not_x, %not_y163 %not_min_1 = select i1 %cmp_1, i32 %not_x, i32 %not_y164 %cmp_2 = icmp sgt i32 %not_min_1, %not_z165 %not_min_2 = select i1 %cmp_2, i32 %not_min_1, i32 %not_z166 %min = sub i32 -1, %not_min_2167 ret i32 %min168}169 170; Don't increase the critical path by moving the 'not' op after the 'select'.171 172define i32 @compute_min_arithmetic(i32 %x, i32 %y) {173; CHECK-LABEL: @compute_min_arithmetic(174; CHECK-NEXT: [[TMP1:%.*]] = add i32 [[X:%.*]], -4175; CHECK-NEXT: [[TMP2:%.*]] = call i32 @llvm.smin.i32(i32 [[Y:%.*]], i32 [[TMP1]])176; CHECK-NEXT: [[NOT_MIN:%.*]] = xor i32 [[TMP2]], -1177; CHECK-NEXT: ret i32 [[NOT_MIN]]178;179 %not_value = sub i32 3, %x180 %not_y = sub i32 -1, %y181 %cmp = icmp sgt i32 %not_value, %not_y182 %not_min = select i1 %cmp, i32 %not_value, i32 %not_y183 ret i32 %not_min184}185 186declare void @fake_use(i32)187 188define i32 @compute_min_pessimization(i32 %x, i32 %y) {189; CHECK-LABEL: @compute_min_pessimization(190; CHECK-NEXT: [[NOT_VALUE:%.*]] = sub i32 3, [[X:%.*]]191; CHECK-NEXT: call void @fake_use(i32 [[NOT_VALUE]])192; CHECK-NEXT: [[TMP1:%.*]] = add i32 [[X]], -4193; CHECK-NEXT: [[MIN:%.*]] = call i32 @llvm.smin.i32(i32 [[Y:%.*]], i32 [[TMP1]])194; CHECK-NEXT: ret i32 [[MIN]]195;196 %not_value = sub i32 3, %x197 call void @fake_use(i32 %not_value)198 %not_y = sub i32 -1, %y199 %cmp = icmp sgt i32 %not_value, %not_y200 %not_min = select i1 %cmp, i32 %not_value, i32 %not_y201 %min = sub i32 -1, %not_min202 ret i32 %min203}204 205define i32 @max_of_nots(i32 %x, i32 %y) {206; CHECK-LABEL: @max_of_nots(207; CHECK-NEXT: [[TMP1:%.*]] = call i32 @llvm.smax.i32(i32 [[Y:%.*]], i32 0)208; CHECK-NEXT: [[TMP2:%.*]] = call i32 @llvm.smin.i32(i32 [[TMP1]], i32 [[X:%.*]])209; CHECK-NEXT: [[SMAX96:%.*]] = xor i32 [[TMP2]], -1210; CHECK-NEXT: ret i32 [[SMAX96]]211;212 %c0 = icmp sgt i32 %y, 0213 %xor_y = xor i32 %y, -1214 %s0 = select i1 %c0, i32 %xor_y, i32 -1215 %xor_x = xor i32 %x, -1216 %c1 = icmp slt i32 %s0, %xor_x217 %smax96 = select i1 %c1, i32 %xor_x, i32 %s0218 ret i32 %smax96219}220 221 ; negative test case (i.e. can not simplify) : ABS(MIN(NOT x,y))222define i32 @abs_of_min_of_not(i32 %x, i32 %y) {223; CHECK-LABEL: @abs_of_min_of_not(224; CHECK-NEXT: [[TMP1:%.*]] = sub i32 -3, [[Y:%.*]]225; CHECK-NEXT: [[TMP2:%.*]] = call i32 @llvm.smax.i32(i32 [[X:%.*]], i32 [[TMP1]])226; CHECK-NEXT: [[MIN:%.*]] = xor i32 [[TMP2]], -1227; CHECK-NEXT: [[ABS:%.*]] = call i32 @llvm.abs.i32(i32 [[MIN]], i1 false)228; CHECK-NEXT: ret i32 [[ABS]]229;230 231 %xord = xor i32 %x, -1232 %yadd = add i32 %y, 2233 %cond.i = icmp sge i32 %yadd, %xord234 %min = select i1 %cond.i, i32 %xord, i32 %yadd235 %cmp2 = icmp sgt i32 %min, -1236 %sub = sub i32 0, %min237 %abs = select i1 %cmp2, i32 %min, i32 %sub238 ret i32 %abs239}240 241define <2 x i32> @max_of_nots_vec(<2 x i32> %x, <2 x i32> %y) {242; CHECK-LABEL: @max_of_nots_vec(243; CHECK-NEXT: [[TMP1:%.*]] = call <2 x i32> @llvm.smax.v2i32(<2 x i32> [[Y:%.*]], <2 x i32> zeroinitializer)244; CHECK-NEXT: [[TMP2:%.*]] = call <2 x i32> @llvm.smin.v2i32(<2 x i32> [[TMP1]], <2 x i32> [[X:%.*]])245; CHECK-NEXT: [[SMAX96:%.*]] = xor <2 x i32> [[TMP2]], splat (i32 -1)246; CHECK-NEXT: ret <2 x i32> [[SMAX96]]247;248 %c0 = icmp sgt <2 x i32> %y, zeroinitializer249 %xor_y = xor <2 x i32> %y, <i32 -1, i32 -1>250 %s0 = select <2 x i1> %c0, <2 x i32> %xor_y, <2 x i32> <i32 -1, i32 -1>251 %xor_x = xor <2 x i32> %x, <i32 -1, i32 -1>252 %c1 = icmp slt <2 x i32> %s0, %xor_x253 %smax96 = select <2 x i1> %c1, <2 x i32> %xor_x, <2 x i32> %s0254 ret <2 x i32> %smax96255}256 257define <2 x i37> @max_of_nots_weird_type_vec(<2 x i37> %x, <2 x i37> %y) {258; CHECK-LABEL: @max_of_nots_weird_type_vec(259; CHECK-NEXT: [[TMP1:%.*]] = call <2 x i37> @llvm.smax.v2i37(<2 x i37> [[Y:%.*]], <2 x i37> zeroinitializer)260; CHECK-NEXT: [[TMP2:%.*]] = call <2 x i37> @llvm.smin.v2i37(<2 x i37> [[TMP1]], <2 x i37> [[X:%.*]])261; CHECK-NEXT: [[SMAX96:%.*]] = xor <2 x i37> [[TMP2]], splat (i37 -1)262; CHECK-NEXT: ret <2 x i37> [[SMAX96]]263;264 %c0 = icmp sgt <2 x i37> %y, zeroinitializer265 %xor_y = xor <2 x i37> %y, <i37 -1, i37 -1>266 %s0 = select <2 x i1> %c0, <2 x i37> %xor_y, <2 x i37> <i37 -1, i37 -1>267 %xor_x = xor <2 x i37> %x, <i37 -1, i37 -1>268 %c1 = icmp slt <2 x i37> %s0, %xor_x269 %smax96 = select <2 x i1> %c1, <2 x i37> %xor_x, <2 x i37> %s0270 ret <2 x i37> %smax96271}272 273; max(min(%a, -1), -1) == -1274define i32 @max_of_min(i32 %a) {275; CHECK-LABEL: @max_of_min(276; CHECK-NEXT: ret i32 -1277;278 %not_a = xor i32 %a, -1279 %c0 = icmp sgt i32 %a, 0280 %s0 = select i1 %c0, i32 %not_a, i32 -1281 %c1 = icmp sgt i32 %s0, -1282 %s1 = select i1 %c1, i32 %s0, i32 -1283 ret i32 %s1284}285 286; max(min(%a, -1), -1) == -1 (swap predicate and select ops)287define i32 @max_of_min_swap(i32 %a) {288; CHECK-LABEL: @max_of_min_swap(289; CHECK-NEXT: ret i32 -1290;291 %not_a = xor i32 %a, -1292 %c0 = icmp slt i32 %a, 0293 %s0 = select i1 %c0, i32 -1, i32 %not_a294 %c1 = icmp sgt i32 %s0, -1295 %s1 = select i1 %c1, i32 %s0, i32 -1296 ret i32 %s1297}298 299; min(max(%a, -1), -1) == -1300define i32 @min_of_max(i32 %a) {301; CHECK-LABEL: @min_of_max(302; CHECK-NEXT: ret i32 -1303;304 %not_a = xor i32 %a, -1305 %c0 = icmp slt i32 %a, 0306 %s0 = select i1 %c0, i32 %not_a, i32 -1307 %c1 = icmp slt i32 %s0, -1308 %s1 = select i1 %c1, i32 %s0, i32 -1309 ret i32 %s1310}311 312; min(max(%a, -1), -1) == -1 (swap predicate and select ops)313define i32 @min_of_max_swap(i32 %a) {314; CHECK-LABEL: @min_of_max_swap(315; CHECK-NEXT: ret i32 -1316;317 %not_a = xor i32 %a, -1318 %c0 = icmp sgt i32 %a, 0319 %s0 = select i1 %c0, i32 -1, i32 %not_a320 %c1 = icmp slt i32 %s0, -1321 %s1 = select i1 %c1, i32 %s0, i32 -1322 ret i32 %s1323}324 325define <2 x i32> @max_of_min_vec(<2 x i32> %a) {326; CHECK-LABEL: @max_of_min_vec(327; CHECK-NEXT: ret <2 x i32> splat (i32 -1)328;329 %not_a = xor <2 x i32> %a, <i32 -1, i32 -1>330 %c0 = icmp sgt <2 x i32> %a, zeroinitializer331 %s0 = select <2 x i1> %c0, <2 x i32> %not_a, <2 x i32> <i32 -1, i32 -1>332 %c1 = icmp sgt <2 x i32> %s0, <i32 -1, i32 -1>333 %s1 = select <2 x i1> %c1, <2 x i32> %s0, <2 x i32> <i32 -1, i32 -1>334 ret <2 x i32> %s1335}336 337declare void @use(i8, i8, i8, i8)338 339define void @cmyk(i8 %r, i8 %g, i8 %b) {340; CHECK-LABEL: @cmyk(341; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.smax.i8(i8 [[R:%.*]], i8 [[G:%.*]])342; CHECK-NEXT: [[TMP2:%.*]] = call i8 @llvm.smax.i8(i8 [[B:%.*]], i8 [[TMP1]])343; CHECK-NEXT: [[K:%.*]] = xor i8 [[TMP2]], -1344; CHECK-NEXT: [[CK:%.*]] = sub i8 [[TMP2]], [[R]]345; CHECK-NEXT: [[MK:%.*]] = sub i8 [[TMP2]], [[G]]346; CHECK-NEXT: [[YK:%.*]] = sub i8 [[TMP2]], [[B]]347; CHECK-NEXT: call void @use(i8 [[CK]], i8 [[MK]], i8 [[YK]], i8 [[K]])348; CHECK-NEXT: ret void349;350 %notr = xor i8 %r, -1351 %notg = xor i8 %g, -1352 %notb = xor i8 %b, -1353 %cmp_gr = icmp slt i8 %g, %r354 %cmp_br = icmp slt i8 %notr, %notb355 %min_br = select i1 %cmp_br, i8 %notr, i8 %notb356 %cmp_gb = icmp slt i8 %notg, %notb357 %min_gb = select i1 %cmp_gb, i8 %notg, i8 %notb358 %k = select i1 %cmp_gr, i8 %min_br, i8 %min_gb359 %ck = sub i8 %notr, %k360 %mk = sub i8 %notg, %k361 %yk = sub i8 %notb, %k362 call void @use(i8 %ck, i8 %mk, i8 %yk, i8 %k)363 ret void364}365 366define void @cmyk2(i8 %r, i8 %g, i8 %b) {367; CHECK-LABEL: @cmyk2(368; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.smax.i8(i8 [[R:%.*]], i8 [[G:%.*]])369; CHECK-NEXT: [[TMP2:%.*]] = call i8 @llvm.smax.i8(i8 [[B:%.*]], i8 [[TMP1]])370; CHECK-NEXT: [[K:%.*]] = xor i8 [[TMP2]], -1371; CHECK-NEXT: [[CK:%.*]] = sub i8 [[TMP2]], [[R]]372; CHECK-NEXT: [[MK:%.*]] = sub i8 [[TMP2]], [[G]]373; CHECK-NEXT: [[YK:%.*]] = sub i8 [[TMP2]], [[B]]374; CHECK-NEXT: call void @use(i8 [[CK]], i8 [[MK]], i8 [[YK]], i8 [[K]])375; CHECK-NEXT: ret void376;377 %notr = xor i8 %r, -1378 %notg = xor i8 %g, -1379 %notb = xor i8 %b, -1380 %cmp_gr = icmp slt i8 %g, %r381 %cmp_br = icmp slt i8 %b, %r382 %min_br = select i1 %cmp_br, i8 %notr, i8 %notb383 %cmp_bg = icmp slt i8 %b, %g384 %min_bg = select i1 %cmp_bg, i8 %notg, i8 %notb385 %k = select i1 %cmp_gr, i8 %min_br, i8 %min_bg386 %ck = sub i8 %notr, %k387 %mk = sub i8 %notg, %k388 %yk = sub i8 %notb, %k389 call void @use(i8 %ck, i8 %mk, i8 %yk, i8 %k)390 ret void391}392 393define void @cmyk3(i8 %r, i8 %g, i8 %b) {394; CHECK-LABEL: @cmyk3(395; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.smax.i8(i8 [[R:%.*]], i8 [[G:%.*]])396; CHECK-NEXT: [[TMP2:%.*]] = call i8 @llvm.smax.i8(i8 [[B:%.*]], i8 [[TMP1]])397; CHECK-NEXT: [[K:%.*]] = xor i8 [[TMP2]], -1398; CHECK-NEXT: [[CK:%.*]] = sub i8 [[TMP2]], [[R]]399; CHECK-NEXT: [[MK:%.*]] = sub i8 [[TMP2]], [[G]]400; CHECK-NEXT: [[YK:%.*]] = sub i8 [[TMP2]], [[B]]401; CHECK-NEXT: call void @use(i8 [[CK]], i8 [[MK]], i8 [[YK]], i8 [[K]])402; CHECK-NEXT: ret void403;404 %notr = xor i8 %r, -1405 %notg = xor i8 %g, -1406 %notb = xor i8 %b, -1407 %cmp_gr = icmp slt i8 %g, %r408 %cmp_br = icmp sgt i8 %r, %b409 %min_br = select i1 %cmp_br, i8 %notr, i8 %notb410 %cmp_bg = icmp slt i8 %b, %g411 %min_bg = select i1 %cmp_bg, i8 %notg, i8 %notb412 %k = select i1 %cmp_gr, i8 %min_br, i8 %min_bg413 %ck = sub i8 %notr, %k414 %mk = sub i8 %notg, %k415 %yk = sub i8 %notb, %k416 call void @use(i8 %ck, i8 %mk, i8 %yk, i8 %k)417 ret void418}419 420define void @cmyk4(i8 %r, i8 %g, i8 %b) {421; CHECK-LABEL: @cmyk4(422; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.smax.i8(i8 [[R:%.*]], i8 [[G:%.*]])423; CHECK-NEXT: [[TMP2:%.*]] = call i8 @llvm.smax.i8(i8 [[B:%.*]], i8 [[TMP1]])424; CHECK-NEXT: [[K:%.*]] = xor i8 [[TMP2]], -1425; CHECK-NEXT: [[CK:%.*]] = sub i8 [[TMP2]], [[R]]426; CHECK-NEXT: [[MK:%.*]] = sub i8 [[TMP2]], [[G]]427; CHECK-NEXT: [[YK:%.*]] = sub i8 [[TMP2]], [[B]]428; CHECK-NEXT: call void @use(i8 [[CK]], i8 [[MK]], i8 [[YK]], i8 [[K]])429; CHECK-NEXT: ret void430;431 %notr = xor i8 %r, -1432 %notg = xor i8 %g, -1433 %notb = xor i8 %b, -1434 %cmp_gr = icmp slt i8 %g, %r435 %cmp_br = icmp sgt i8 %r, %b436 %min_br = select i1 %cmp_br, i8 %notr, i8 %notb437 %cmp_bg = icmp sgt i8 %g, %b438 %min_bg = select i1 %cmp_bg, i8 %notg, i8 %notb439 %k = select i1 %cmp_gr, i8 %min_br, i8 %min_bg440 %ck = sub i8 %notr, %k441 %mk = sub i8 %notg, %k442 %yk = sub i8 %notb, %k443 call void @use(i8 %ck, i8 %mk, i8 %yk, i8 %k)444 ret void445}446 447define void @cmyk5(i8 %r, i8 %g, i8 %b) {448; CHECK-LABEL: @cmyk5(449; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.smax.i8(i8 [[R:%.*]], i8 [[G:%.*]])450; CHECK-NEXT: [[TMP2:%.*]] = call i8 @llvm.smax.i8(i8 [[B:%.*]], i8 [[TMP1]])451; CHECK-NEXT: [[K:%.*]] = xor i8 [[TMP2]], -1452; CHECK-NEXT: [[CK:%.*]] = sub i8 [[TMP2]], [[R]]453; CHECK-NEXT: [[MK:%.*]] = sub i8 [[TMP2]], [[G]]454; CHECK-NEXT: [[YK:%.*]] = sub i8 [[TMP2]], [[B]]455; CHECK-NEXT: call void @use(i8 [[CK]], i8 [[MK]], i8 [[YK]], i8 [[K]])456; CHECK-NEXT: ret void457;458 %notr = xor i8 %r, -1459 %notg = xor i8 %g, -1460 %notb = xor i8 %b, -1461 %cmp_gr = icmp sgt i8 %r, %g462 %cmp_br = icmp sgt i8 %r, %b463 %min_br = select i1 %cmp_br, i8 %notr, i8 %notb464 %cmp_bg = icmp sgt i8 %g, %b465 %min_bg = select i1 %cmp_bg, i8 %notg, i8 %notb466 %k = select i1 %cmp_gr, i8 %min_br, i8 %min_bg467 %ck = sub i8 %notr, %k468 %mk = sub i8 %notg, %k469 %yk = sub i8 %notb, %k470 call void @use(i8 %ck, i8 %mk, i8 %yk, i8 %k)471 ret void472}473 474define void @cmyk6(i8 %r, i8 %g, i8 %b) {475; CHECK-LABEL: @cmyk6(476; CHECK-NEXT: [[TMP1:%.*]] = call i8 @llvm.umax.i8(i8 [[R:%.*]], i8 [[G:%.*]])477; CHECK-NEXT: [[TMP2:%.*]] = call i8 @llvm.umax.i8(i8 [[B:%.*]], i8 [[TMP1]])478; CHECK-NEXT: [[K:%.*]] = xor i8 [[TMP2]], -1479; CHECK-NEXT: [[CK:%.*]] = sub i8 [[TMP2]], [[R]]480; CHECK-NEXT: [[MK:%.*]] = sub i8 [[TMP2]], [[G]]481; CHECK-NEXT: [[YK:%.*]] = sub i8 [[TMP2]], [[B]]482; CHECK-NEXT: tail call void @use(i8 [[CK]], i8 [[MK]], i8 [[YK]], i8 [[K]])483; CHECK-NEXT: ret void484;485 %notr = xor i8 %r, -1486 %notg = xor i8 %g, -1487 %notb = xor i8 %b, -1488 %cmp_gr = icmp ult i8 %g, %r489 %cmp_br = icmp ult i8 %b, %r490 %sel_rb = select i1 %cmp_br, i8 %notr, i8 %notb491 %cmp_bg = icmp ult i8 %b, %g492 %sel_gb = select i1 %cmp_bg, i8 %notg, i8 %notb493 %k = select i1 %cmp_gr, i8 %sel_rb, i8 %sel_gb494 %ck = sub i8 %notr, %k495 %mk = sub i8 %notg, %k496 %yk = sub i8 %notb, %k497 tail call void @use(i8 %ck, i8 %mk, i8 %yk, i8 %k)498 ret void499}500