448 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s3 4define i1 @test_add_nuw(i8 %start, i8 %low, i8 %high) {5; CHECK-LABEL: @test_add_nuw(6; CHECK-NEXT: entry:7; CHECK-NEXT: [[ADD_PTR_I:%.*]] = add nuw i8 [[START:%.*]], 38; CHECK-NEXT: [[C_1:%.*]] = icmp uge i8 [[ADD_PTR_I]], [[HIGH:%.*]]9; CHECK-NEXT: br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_ELSE:%.*]]10; CHECK: if.then:11; CHECK-NEXT: [[UC_3:%.*]] = icmp ugt i8 [[START]], [[HIGH]]12; CHECK-NEXT: [[START_1_1:%.*]] = add nuw i8 [[START]], 113; CHECK-NEXT: [[UC_4:%.*]] = icmp uge i8 [[START_1_1]], [[HIGH]]14; CHECK-NEXT: [[RES_11:%.*]] = xor i1 [[UC_3]], [[UC_4]]15; CHECK-NEXT: [[START_3_1:%.*]] = add nuw i8 [[START]], 316; CHECK-NEXT: [[RES_12:%.*]] = xor i1 [[RES_11]], true17; CHECK-NEXT: [[UC_5:%.*]] = icmp ugt i8 [[START_3_1]], [[HIGH]]18; CHECK-NEXT: [[RES_13:%.*]] = xor i1 [[RES_12]], [[UC_5]]19; CHECK-NEXT: [[SC_8:%.*]] = icmp sge i8 [[START_1_1]], [[HIGH]]20; CHECK-NEXT: [[RES_14:%.*]] = xor i1 [[RES_13]], [[SC_8]]21; CHECK-NEXT: [[SC_9:%.*]] = icmp sge i8 [[START_3_1]], [[HIGH]]22; CHECK-NEXT: [[RES_15:%.*]] = xor i1 [[RES_14]], [[SC_9]]23; CHECK-NEXT: ret i1 [[RES_15]]24; CHECK: if.else:25; CHECK-NEXT: [[START_1:%.*]] = add nuw i8 [[START]], 126; CHECK-NEXT: [[RES_0:%.*]] = xor i1 false, false27; CHECK-NEXT: [[SC_1:%.*]] = icmp sgt i8 [[START]], [[HIGH]]28; CHECK-NEXT: [[RES_1:%.*]] = xor i1 [[RES_0]], [[SC_1]]29; CHECK-NEXT: [[SC_2:%.*]] = icmp sge i8 [[START_1]], [[HIGH]]30; CHECK-NEXT: [[RES_2:%.*]] = xor i1 [[RES_1]], [[SC_2]]31; CHECK-NEXT: [[START_2:%.*]] = add nuw i8 [[START]], 232; CHECK-NEXT: [[RES_3:%.*]] = xor i1 [[RES_2]], false33; CHECK-NEXT: [[SC_3:%.*]] = icmp sge i8 [[START_2]], [[HIGH]]34; CHECK-NEXT: [[RES_4:%.*]] = xor i1 [[RES_3]], [[SC_3]]35; CHECK-NEXT: [[SC_4:%.*]] = icmp sle i8 [[START_2]], [[START_1]]36; CHECK-NEXT: [[RES_5:%.*]] = xor i1 [[RES_4]], [[SC_4]]37; CHECK-NEXT: [[START_3:%.*]] = add nuw i8 [[START]], 338; CHECK-NEXT: [[RES_6:%.*]] = xor i1 [[RES_5]], false39; CHECK-NEXT: [[SC_5:%.*]] = icmp sge i8 [[START_3]], [[START_1]]40; CHECK-NEXT: [[RES_7:%.*]] = xor i1 [[RES_6]], [[SC_5]]41; CHECK-NEXT: [[START_4:%.*]] = add nuw i8 [[START]], 442; CHECK-NEXT: [[UC_2:%.*]] = icmp uge i8 [[START_4]], [[HIGH]]43; CHECK-NEXT: [[RES_8:%.*]] = xor i1 [[RES_7]], [[UC_2]]44; CHECK-NEXT: [[SC_6:%.*]] = icmp sge i8 [[START_4]], [[START_1]]45; CHECK-NEXT: [[RES_9:%.*]] = xor i1 [[RES_8]], [[SC_6]]46; CHECK-NEXT: [[SC_7:%.*]] = icmp sge i8 [[START_4]], [[HIGH]]47; CHECK-NEXT: [[RES_10:%.*]] = xor i1 [[RES_9]], [[SC_7]]48; CHECK-NEXT: ret i1 [[RES_10]]49;50entry:51 %add.ptr.i = add nuw i8 %start, 352 %c.1 = icmp uge i8 %add.ptr.i, %high53 br i1 %c.1, label %if.then, label %if.else54 55 56if.then:57 %uc.3 = icmp ugt i8 %start, %high58 %start.1.1 = add nuw i8 %start, 159 %uc.4 = icmp uge i8 %start.1.1, %high60 %res.11 = xor i1 %uc.3, %uc.461 62 %start.3.1 = add nuw i8 %start, 363 %t.0 = icmp uge i8 %start.3.1, %high64 %res.12 = xor i1 %res.11, %t.065 66 %uc.5 = icmp ugt i8 %start.3.1, %high67 %res.13 = xor i1 %res.12, %uc.568 69 %sc.8 = icmp sge i8 %start.1.1, %high70 %res.14 = xor i1 %res.13, %sc.871 72 %sc.9 = icmp sge i8 %start.3.1, %high73 %res.15 = xor i1 %res.14, %sc.974 75 ret i1 %res.1576 77if.else:78 %f.0 = icmp ugt i8 %start, %high79 %start.1 = add nuw i8 %start, 180 %f.1 = icmp uge i8 %start.1, %high81 %res.0 = xor i1 %f.0, %f.182 83 %sc.1 = icmp sgt i8 %start, %high84 %res.1 = xor i1 %res.0, %sc.185 86 %sc.2 = icmp sge i8 %start.1, %high87 %res.2 = xor i1 %res.1, %sc.288 89 %start.2 = add nuw i8 %start, 290 %f.2 = icmp uge i8 %start.2, %high91 %res.3 = xor i1 %res.2, %f.292 93 %sc.3 = icmp sge i8 %start.2, %high94 %res.4 = xor i1 %res.3, %sc.395 96 %sc.4 = icmp sle i8 %start.2, %start.197 %res.5 = xor i1 %res.4, %sc.498 99 %start.3 = add nuw i8 %start, 3100 %f.3 = icmp uge i8 %start.3, %high101 %res.6 = xor i1 %res.5, %f.3102 103 %sc.5 = icmp sge i8 %start.3, %start.1104 %res.7 = xor i1 %res.6, %sc.5105 106 %start.4 = add nuw i8 %start, 4107 %uc.2 = icmp uge i8 %start.4, %high108 %res.8 = xor i1 %res.7, %uc.2109 110 %sc.6 = icmp sge i8 %start.4, %start.1111 %res.9 = xor i1 %res.8, %sc.6112 113 %sc.7 = icmp sge i8 %start.4, %high114 %res.10 = xor i1 %res.9, %sc.7115 116 ret i1 %res.10117}118 119define i1 @test_add_nsw(i8 %start, i8 %low, i8 %high) {120; CHECK-LABEL: @test_add_nsw(121; CHECK-NEXT: entry:122; CHECK-NEXT: [[ADD_PTR_I:%.*]] = add nsw i8 [[START:%.*]], 3123; CHECK-NEXT: [[C_1:%.*]] = icmp sge i8 [[ADD_PTR_I]], [[HIGH:%.*]]124; CHECK-NEXT: br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_ELSE:%.*]]125; CHECK: if.then:126; CHECK-NEXT: [[UC_3:%.*]] = icmp ugt i8 [[START]], [[HIGH]]127; CHECK-NEXT: [[START_1_1:%.*]] = add nuw i8 [[START]], 1128; CHECK-NEXT: [[UC_4:%.*]] = icmp uge i8 [[START_1_1]], [[HIGH]]129; CHECK-NEXT: [[RES_11:%.*]] = xor i1 [[UC_3]], [[UC_4]]130; CHECK-NEXT: [[START_3_1:%.*]] = add nuw i8 [[START]], 3131; CHECK-NEXT: [[T_0:%.*]] = icmp uge i8 [[START_3_1]], [[HIGH]]132; CHECK-NEXT: [[RES_12:%.*]] = xor i1 [[RES_11]], [[T_0]]133; CHECK-NEXT: [[UC_5:%.*]] = icmp ugt i8 [[START_3_1]], [[HIGH]]134; CHECK-NEXT: [[RES_13:%.*]] = xor i1 [[RES_12]], [[UC_5]]135; CHECK-NEXT: [[SC_8:%.*]] = icmp sge i8 [[START_1_1]], [[HIGH]]136; CHECK-NEXT: [[RES_14:%.*]] = xor i1 [[RES_13]], [[SC_8]]137; CHECK-NEXT: [[SC_9:%.*]] = icmp sge i8 [[START_3_1]], [[HIGH]]138; CHECK-NEXT: [[RES_15:%.*]] = xor i1 [[RES_14]], [[SC_9]]139; CHECK-NEXT: ret i1 [[RES_15]]140; CHECK: if.else:141; CHECK-NEXT: [[F_0:%.*]] = icmp ugt i8 [[START]], [[HIGH]]142; CHECK-NEXT: [[START_1:%.*]] = add nuw i8 [[START]], 1143; CHECK-NEXT: [[F_1:%.*]] = icmp uge i8 [[START_1]], [[HIGH]]144; CHECK-NEXT: [[RES_0:%.*]] = xor i1 [[F_0]], [[F_1]]145; CHECK-NEXT: [[RES_1:%.*]] = xor i1 [[RES_0]], false146; CHECK-NEXT: [[SC_2:%.*]] = icmp sge i8 [[START_1]], [[HIGH]]147; CHECK-NEXT: [[RES_2:%.*]] = xor i1 [[RES_1]], [[SC_2]]148; CHECK-NEXT: [[START_2:%.*]] = add nuw i8 [[START]], 2149; CHECK-NEXT: [[F_2:%.*]] = icmp uge i8 [[START_2]], [[HIGH]]150; CHECK-NEXT: [[RES_3:%.*]] = xor i1 [[RES_2]], [[F_2]]151; CHECK-NEXT: [[SC_3:%.*]] = icmp sge i8 [[START_2]], [[HIGH]]152; CHECK-NEXT: [[RES_4:%.*]] = xor i1 [[RES_3]], [[SC_3]]153; CHECK-NEXT: [[SC_4:%.*]] = icmp sle i8 [[START_2]], [[START_1]]154; CHECK-NEXT: [[RES_5:%.*]] = xor i1 [[RES_4]], [[SC_4]]155; CHECK-NEXT: [[START_3:%.*]] = add nuw i8 [[START]], 3156; CHECK-NEXT: [[F_3:%.*]] = icmp uge i8 [[START_3]], [[HIGH]]157; CHECK-NEXT: [[RES_6:%.*]] = xor i1 [[RES_5]], [[F_3]]158; CHECK-NEXT: [[SC_5:%.*]] = icmp sge i8 [[START_3]], [[START_1]]159; CHECK-NEXT: [[RES_7:%.*]] = xor i1 [[RES_6]], [[SC_5]]160; CHECK-NEXT: [[START_4:%.*]] = add nuw i8 [[START]], 4161; CHECK-NEXT: [[UC_2:%.*]] = icmp uge i8 [[START_4]], [[HIGH]]162; CHECK-NEXT: [[RES_8:%.*]] = xor i1 [[RES_7]], [[UC_2]]163; CHECK-NEXT: [[SC_6:%.*]] = icmp sge i8 [[START_4]], [[START_1]]164; CHECK-NEXT: [[RES_9:%.*]] = xor i1 [[RES_8]], [[SC_6]]165; CHECK-NEXT: [[SC_7:%.*]] = icmp sge i8 [[START_4]], [[HIGH]]166; CHECK-NEXT: [[RES_10:%.*]] = xor i1 [[RES_9]], [[SC_7]]167; CHECK-NEXT: ret i1 [[RES_10]]168;169entry:170 %add.ptr.i = add nsw i8 %start, 3171 %c.1 = icmp sge i8 %add.ptr.i, %high172 br i1 %c.1, label %if.then, label %if.else173 174if.then:175 %uc.3 = icmp ugt i8 %start, %high176 %start.1.1 = add nuw i8 %start, 1177 %uc.4 = icmp uge i8 %start.1.1, %high178 %res.11 = xor i1 %uc.3, %uc.4179 180 %start.3.1 = add nuw i8 %start, 3181 %t.0 = icmp uge i8 %start.3.1, %high182 %res.12 = xor i1 %res.11, %t.0183 184 %uc.5 = icmp ugt i8 %start.3.1, %high185 %res.13 = xor i1 %res.12, %uc.5186 187 %sc.8 = icmp sge i8 %start.1.1, %high188 %res.14 = xor i1 %res.13, %sc.8189 190 %sc.9 = icmp sge i8 %start.3.1, %high191 %res.15 = xor i1 %res.14, %sc.9192 193 ret i1 %res.15194 195if.else:196 %f.0 = icmp ugt i8 %start, %high197 %start.1 = add nuw i8 %start, 1198 %f.1 = icmp uge i8 %start.1, %high199 %res.0 = xor i1 %f.0, %f.1200 201 %sc.1 = icmp sgt i8 %start, %high202 %res.1 = xor i1 %res.0, %sc.1203 204 %sc.2 = icmp sge i8 %start.1, %high205 %res.2 = xor i1 %res.1, %sc.2206 207 %start.2 = add nuw i8 %start, 2208 %f.2 = icmp uge i8 %start.2, %high209 %res.3 = xor i1 %res.2, %f.2210 211 %sc.3 = icmp sge i8 %start.2, %high212 %res.4 = xor i1 %res.3, %sc.3213 214 %sc.4 = icmp sle i8 %start.2, %start.1215 %res.5 = xor i1 %res.4, %sc.4216 217 %start.3 = add nuw i8 %start, 3218 %f.3 = icmp uge i8 %start.3, %high219 %res.6 = xor i1 %res.5, %f.3220 221 %sc.5 = icmp sge i8 %start.3, %start.1222 %res.7 = xor i1 %res.6, %sc.5223 224 %start.4 = add nuw i8 %start, 4225 %uc.2 = icmp uge i8 %start.4, %high226 %res.8 = xor i1 %res.7, %uc.2227 228 %sc.6 = icmp sge i8 %start.4, %start.1229 %res.9 = xor i1 %res.8, %sc.6230 231 %sc.7 = icmp sge i8 %start.4, %high232 %res.10 = xor i1 %res.9, %sc.7233 234 ret i1 %res.10235}236 237 238define i1 @test_sub_nuw(i8 %start, i8 %low, i8 %high) {239; CHECK-LABEL: @test_sub_nuw(240; CHECK-NEXT: entry:241; CHECK-NEXT: [[ADD_PTR_I:%.*]] = sub nuw i8 [[START:%.*]], 3242; CHECK-NEXT: [[C_1:%.*]] = icmp uge i8 [[ADD_PTR_I]], [[HIGH:%.*]]243; CHECK-NEXT: br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_ELSE:%.*]]244; CHECK: if.then:245; CHECK-NEXT: [[START_1_1:%.*]] = sub nuw i8 [[START]], 1246; CHECK-NEXT: [[RES_11:%.*]] = xor i1 true, true247; CHECK-NEXT: [[START_3_1:%.*]] = add nuw i8 [[START]], 3248; CHECK-NEXT: [[RES_12:%.*]] = xor i1 [[RES_11]], true249; CHECK-NEXT: [[RES_13:%.*]] = xor i1 [[RES_12]], true250; CHECK-NEXT: [[SC_8:%.*]] = icmp sge i8 [[START_1_1]], [[HIGH]]251; CHECK-NEXT: [[RES_14:%.*]] = xor i1 [[RES_13]], [[SC_8]]252; CHECK-NEXT: [[SC_9:%.*]] = icmp sge i8 [[START_3_1]], [[HIGH]]253; CHECK-NEXT: [[RES_15:%.*]] = xor i1 [[RES_14]], [[SC_9]]254; CHECK-NEXT: ret i1 [[RES_15]]255; CHECK: if.else:256; CHECK-NEXT: [[F_0:%.*]] = icmp ugt i8 [[START]], [[HIGH]]257; CHECK-NEXT: [[START_1:%.*]] = sub nuw i8 [[START]], 1258; CHECK-NEXT: [[F_1:%.*]] = icmp uge i8 [[START_1]], [[HIGH]]259; CHECK-NEXT: [[RES_0:%.*]] = xor i1 [[F_0]], [[F_1]]260; CHECK-NEXT: [[SC_1:%.*]] = icmp sgt i8 [[START]], [[HIGH]]261; CHECK-NEXT: [[RES_1:%.*]] = xor i1 [[RES_0]], [[SC_1]]262; CHECK-NEXT: [[SC_2:%.*]] = icmp sge i8 [[START_1]], [[HIGH]]263; CHECK-NEXT: [[RES_2:%.*]] = xor i1 [[RES_1]], [[SC_2]]264; CHECK-NEXT: [[START_2:%.*]] = sub nuw i8 [[START]], 2265; CHECK-NEXT: [[F_2:%.*]] = icmp uge i8 [[START_2]], [[HIGH]]266; CHECK-NEXT: [[RES_3:%.*]] = xor i1 [[RES_2]], [[F_2]]267; CHECK-NEXT: [[SC_3:%.*]] = icmp sge i8 [[START_2]], [[HIGH]]268; CHECK-NEXT: [[RES_4:%.*]] = xor i1 [[RES_3]], [[SC_3]]269; CHECK-NEXT: [[SC_4:%.*]] = icmp sle i8 [[START_2]], [[START_1]]270; CHECK-NEXT: [[RES_5:%.*]] = xor i1 [[RES_4]], [[SC_4]]271; CHECK-NEXT: [[START_3:%.*]] = sub nuw i8 [[START]], 3272; CHECK-NEXT: [[RES_6:%.*]] = xor i1 [[RES_5]], false273; CHECK-NEXT: [[SC_5:%.*]] = icmp sge i8 [[START_3]], [[START_1]]274; CHECK-NEXT: [[RES_7:%.*]] = xor i1 [[RES_6]], [[SC_5]]275; CHECK-NEXT: [[START_4:%.*]] = sub nuw i8 [[START]], 4276; CHECK-NEXT: [[RES_8:%.*]] = xor i1 [[RES_7]], false277; CHECK-NEXT: [[SC_6:%.*]] = icmp sge i8 [[START_4]], [[START_1]]278; CHECK-NEXT: [[RES_9:%.*]] = xor i1 [[RES_8]], [[SC_6]]279; CHECK-NEXT: [[SC_7:%.*]] = icmp sge i8 [[START_4]], [[HIGH]]280; CHECK-NEXT: [[RES_10:%.*]] = xor i1 [[RES_9]], [[SC_7]]281; CHECK-NEXT: ret i1 [[RES_10]]282;283entry:284 %add.ptr.i = sub nuw i8 %start, 3285 %c.1 = icmp uge i8 %add.ptr.i, %high286 br i1 %c.1, label %if.then, label %if.else287 288 289if.then:290 %uc.3 = icmp ugt i8 %start, %high291 %start.1.1 = sub nuw i8 %start, 1292 %uc.4 = icmp uge i8 %start.1.1, %high293 %res.11 = xor i1 %uc.3, %uc.4294 295 %start.3.1 = add nuw i8 %start, 3296 %t.0 = icmp uge i8 %start.3.1, %high297 %res.12 = xor i1 %res.11, %t.0298 299 %uc.5 = icmp ugt i8 %start.3.1, %high300 %res.13 = xor i1 %res.12, %uc.5301 302 %sc.8 = icmp sge i8 %start.1.1, %high303 %res.14 = xor i1 %res.13, %sc.8304 305 %sc.9 = icmp sge i8 %start.3.1, %high306 %res.15 = xor i1 %res.14, %sc.9307 308 ret i1 %res.15309 310if.else:311 %f.0 = icmp ugt i8 %start, %high312 %start.1 = sub nuw i8 %start, 1313 %f.1 = icmp uge i8 %start.1, %high314 %res.0 = xor i1 %f.0, %f.1315 316 %sc.1 = icmp sgt i8 %start, %high317 %res.1 = xor i1 %res.0, %sc.1318 319 %sc.2 = icmp sge i8 %start.1, %high320 %res.2 = xor i1 %res.1, %sc.2321 322 %start.2 = sub nuw i8 %start, 2323 %f.2 = icmp uge i8 %start.2, %high324 %res.3 = xor i1 %res.2, %f.2325 326 %sc.3 = icmp sge i8 %start.2, %high327 %res.4 = xor i1 %res.3, %sc.3328 329 %sc.4 = icmp sle i8 %start.2, %start.1330 %res.5 = xor i1 %res.4, %sc.4331 332 %start.3 = sub nuw i8 %start, 3333 %f.3 = icmp uge i8 %start.3, %high334 %res.6 = xor i1 %res.5, %f.3335 336 %sc.5 = icmp sge i8 %start.3, %start.1337 %res.7 = xor i1 %res.6, %sc.5338 339 %start.4 = sub nuw i8 %start, 4340 %uc.2 = icmp uge i8 %start.4, %high341 %res.8 = xor i1 %res.7, %uc.2342 343 %sc.6 = icmp sge i8 %start.4, %start.1344 %res.9 = xor i1 %res.8, %sc.6345 346 %sc.7 = icmp sge i8 %start.4, %high347 %res.10 = xor i1 %res.9, %sc.7348 349 ret i1 %res.10350}351 352define i1 @test_and_ule_sge(i32 %x, i32 %y, i32 %z, i32 %a) {353; CHECK-LABEL: @test_and_ule_sge(354; CHECK-NEXT: entry:355; CHECK-NEXT: [[C_1:%.*]] = icmp ule i32 [[X:%.*]], [[Y:%.*]]356; CHECK-NEXT: [[C_2:%.*]] = icmp sle i32 [[Y]], [[Z:%.*]]357; CHECK-NEXT: [[AND:%.*]] = and i1 [[C_1]], [[C_2]]358; CHECK-NEXT: br i1 [[AND]], label [[THEN:%.*]], label [[ELSE:%.*]]359; CHECK: then:360; CHECK-NEXT: [[UC_1:%.*]] = icmp ule i32 [[X]], [[Z]]361; CHECK-NEXT: [[RES_1:%.*]] = xor i1 [[UC_1]], true362; CHECK-NEXT: [[UC_3:%.*]] = icmp ule i32 [[Y]], [[Z]]363; CHECK-NEXT: [[RES_2:%.*]] = xor i1 [[RES_1]], [[UC_3]]364; CHECK-NEXT: [[UC_4:%.*]] = icmp ule i32 [[X]], [[A:%.*]]365; CHECK-NEXT: [[RES_4:%.*]] = xor i1 [[RES_2]], [[UC_4]]366; CHECK-NEXT: [[SC_1:%.*]] = icmp sle i32 [[X]], [[Z]]367; CHECK-NEXT: [[RES_5:%.*]] = xor i1 [[RES_4]], [[SC_1]]368; CHECK-NEXT: [[SC_2:%.*]] = icmp sle i32 [[X]], [[Y]]369; CHECK-NEXT: [[RES_6:%.*]] = xor i1 [[RES_5]], [[SC_2]]370; CHECK-NEXT: [[RES_7:%.*]] = xor i1 [[RES_6]], true371; CHECK-NEXT: [[SC_4:%.*]] = icmp sle i32 [[X]], [[A]]372; CHECK-NEXT: [[RES_8:%.*]] = xor i1 [[RES_7]], [[SC_4]]373; CHECK-NEXT: ret i1 [[RES_8]]374; CHECK: else:375; CHECK-NEXT: [[UC_5:%.*]] = icmp ule i32 [[X]], [[Z]]376; CHECK-NEXT: [[UC_6:%.*]] = icmp ule i32 [[X]], [[A]]377; CHECK-NEXT: [[RES_9:%.*]] = xor i1 [[UC_5]], [[UC_6]]378; CHECK-NEXT: [[UC_7:%.*]] = icmp ule i32 [[X]], [[Y]]379; CHECK-NEXT: [[RES_10:%.*]] = xor i1 [[RES_9]], [[UC_7]]380; CHECK-NEXT: [[UC_8:%.*]] = icmp ule i32 [[Y]], [[Z]]381; CHECK-NEXT: [[RES_11:%.*]] = xor i1 [[RES_10]], [[UC_8]]382; CHECK-NEXT: [[SC_5:%.*]] = icmp sle i32 [[X]], [[Z]]383; CHECK-NEXT: [[RES_12:%.*]] = xor i1 [[RES_11]], [[SC_5]]384; CHECK-NEXT: [[SC_6:%.*]] = icmp sle i32 [[X]], [[A]]385; CHECK-NEXT: [[RES_13:%.*]] = xor i1 [[RES_12]], [[SC_6]]386; CHECK-NEXT: [[SC_7:%.*]] = icmp sle i32 [[X]], [[Y]]387; CHECK-NEXT: [[RES_14:%.*]] = xor i1 [[RES_13]], [[SC_7]]388; CHECK-NEXT: [[SC_8:%.*]] = icmp sle i32 [[Y]], [[Z]]389; CHECK-NEXT: [[RES_15:%.*]] = xor i1 [[RES_14]], [[SC_8]]390; CHECK-NEXT: ret i1 [[RES_15]]391;392entry:393 %c.1 = icmp ule i32 %x, %y394 %c.2 = icmp sle i32 %y, %z395 %and = and i1 %c.1, %c.2396 br i1 %and, label %then, label %else397 398then:399 %uc.1 = icmp ule i32 %x, %z400 %uc.2 = icmp ule i32 %x, %y401 %res.1 = xor i1 %uc.1, %uc.2402 403 %uc.3 = icmp ule i32 %y, %z404 %res.2 = xor i1 %res.1, %uc.3405 406 %uc.4 = icmp ule i32 %x, %a407 %res.4 = xor i1 %res.2, %uc.4408 409 %sc.1 = icmp sle i32 %x, %z410 %res.5 = xor i1 %res.4, %sc.1411 412 %sc.2 = icmp sle i32 %x, %y413 %res.6 = xor i1 %res.5, %sc.2414 415 %sc.3 = icmp sle i32 %y, %z416 %res.7 = xor i1 %res.6, %sc.3417 418 %sc.4 = icmp sle i32 %x, %a419 %res.8 = xor i1 %res.7, %sc.4420 421 ret i1 %res.8422 423else:424 %uc.5 = icmp ule i32 %x, %z425 %uc.6 = icmp ule i32 %x, %a426 %res.9 = xor i1 %uc.5, %uc.6427 428 %uc.7 = icmp ule i32 %x, %y429 %res.10 = xor i1 %res.9, %uc.7430 431 %uc.8 = icmp ule i32 %y, %z432 %res.11 = xor i1 %res.10, %uc.8433 434 %sc.5 = icmp sle i32 %x, %z435 %res.12 = xor i1 %res.11, %sc.5436 437 %sc.6 = icmp sle i32 %x, %a438 %res.13 = xor i1 %res.12, %sc.6439 440 %sc.7 = icmp sle i32 %x, %y441 %res.14 = xor i1 %res.13, %sc.7442 443 %sc.8 = icmp sle i32 %y, %z444 %res.15 = xor i1 %res.14, %sc.8445 446 ret i1 %res.15447}448