244 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s3 4declare void @use(i1)5 6define void @test_1_variable_constraint(i8 %x, i8 %y, i8 %z) {7; CHECK-LABEL: @test_1_variable_constraint(8; CHECK-NEXT: entry:9; CHECK-NEXT: [[C_1:%.*]] = icmp uge i8 [[X:%.*]], [[Y:%.*]]10; CHECK-NEXT: br i1 [[C_1]], label [[BB1:%.*]], label [[BB2:%.*]]11; CHECK: bb1:12; CHECK-NEXT: call void @use(i1 true)13; CHECK-NEXT: [[C_2:%.*]] = icmp uge i8 [[X]], 1014; CHECK-NEXT: call void @use(i1 [[C_2]])15; CHECK-NEXT: [[C_3:%.*]] = icmp uge i8 [[Y]], [[X]]16; CHECK-NEXT: call void @use(i1 [[C_3]])17; CHECK-NEXT: [[C_4:%.*]] = icmp uge i8 10, [[X]]18; CHECK-NEXT: call void @use(i1 [[C_4]])19; CHECK-NEXT: ret void20; CHECK: bb2:21; CHECK-NEXT: call void @use(i1 true)22; CHECK-NEXT: call void @use(i1 false)23; CHECK-NEXT: [[C_5:%.*]] = icmp uge i8 [[X]], 1024; CHECK-NEXT: call void @use(i1 [[C_5]])25; CHECK-NEXT: [[C_6:%.*]] = icmp uge i8 10, [[X]]26; CHECK-NEXT: call void @use(i1 [[C_6]])27; CHECK-NEXT: ret void28;29entry:30 %c.1 = icmp uge i8 %x, %y31 br i1 %c.1, label %bb1, label %bb232 33bb1:34 %t.1 = icmp uge i8 %x, %y35 call void @use(i1 %t.1)36 %c.2 = icmp uge i8 %x, 1037 call void @use(i1 %c.2)38 %c.3 = icmp uge i8 %y, %x39 call void @use(i1 %c.3)40 %c.4 = icmp uge i8 10, %x41 call void @use(i1 %c.4)42 ret void43 44bb2:45 %t.2 = icmp uge i8 %y, %x46 call void @use(i1 %t.2)47 %f.1 = icmp uge i8 %x, %y48 call void @use(i1 %f.1)49 %c.5 = icmp uge i8 %x, 1050 call void @use(i1 %c.5)51 %c.6 = icmp uge i8 10, %x52 call void @use(i1 %c.6)53 ret void54}55 56define void @test_1_constant_constraint(i8 %x) {57; CHECK-LABEL: @test_1_constant_constraint(58; CHECK-NEXT: entry:59; CHECK-NEXT: [[C_1:%.*]] = icmp uge i8 [[X:%.*]], 1060; CHECK-NEXT: br i1 [[C_1]], label [[BB1:%.*]], label [[BB2:%.*]]61; CHECK: bb1:62; CHECK-NEXT: call void @use(i1 true)63; CHECK-NEXT: call void @use(i1 true)64; CHECK-NEXT: [[C_2:%.*]] = icmp uge i8 [[X]], 1165; CHECK-NEXT: call void @use(i1 [[C_2]])66; CHECK-NEXT: [[C_4:%.*]] = icmp uge i8 10, [[X]]67; CHECK-NEXT: call void @use(i1 [[C_4]])68; CHECK-NEXT: ret void69; CHECK: bb2:70; CHECK-NEXT: call void @use(i1 true)71; CHECK-NEXT: call void @use(i1 false)72; CHECK-NEXT: call void @use(i1 false)73; CHECK-NEXT: [[C_5:%.*]] = icmp uge i8 [[X]], 974; CHECK-NEXT: call void @use(i1 [[C_5]])75; CHECK-NEXT: [[C_6:%.*]] = icmp uge i8 1, [[X]]76; CHECK-NEXT: call void @use(i1 [[C_6]])77; CHECK-NEXT: ret void78;79entry:80 %c.1 = icmp uge i8 %x, 1081 br i1 %c.1, label %bb1, label %bb282 83bb1:84 %t.1 = icmp uge i8 %x, 1085 call void @use(i1 %t.1)86 %t.2 = icmp uge i8 %x, 987 call void @use(i1 %t.2)88 %c.2 = icmp uge i8 %x, 1189 call void @use(i1 %c.2)90 %c.4 = icmp uge i8 10, %x91 call void @use(i1 %c.4)92 ret void93 94bb2:95 %t.3 = icmp uge i8 11, %x96 call void @use(i1 %t.3)97 %f.1 = icmp uge i8 %x, 1098 call void @use(i1 %f.1)99 100 101 %f.1.1 = icmp uge i8 %x, 10102 call void @use(i1 %f.1.1)103 %c.5 = icmp uge i8 %x, 9104 call void @use(i1 %c.5)105 %c.6 = icmp uge i8 1, %x106 call void @use(i1 %c.6)107 ret void108}109 110define i8 @test1(i8 %x, i8 %y, i8 %z) {111; CHECK-LABEL: @test1(112; CHECK-NEXT: entry:113; CHECK-NEXT: [[C_1:%.*]] = icmp uge i8 [[X:%.*]], [[Y:%.*]]114; CHECK-NEXT: br i1 [[C_1]], label [[BB1:%.*]], label [[EXIT:%.*]]115; CHECK: bb1:116; CHECK-NEXT: [[C_2:%.*]] = icmp uge i8 [[Y]], [[Z:%.*]]117; CHECK-NEXT: br i1 [[C_2]], label [[BB2:%.*]], label [[EXIT]]118; CHECK: bb2:119; CHECK-NEXT: br i1 true, label [[BB3:%.*]], label [[EXIT]]120; CHECK: bb3:121; CHECK-NEXT: ret i8 10122; CHECK: exit:123; CHECK-NEXT: ret i8 20124;125entry:126 %c.1 = icmp uge i8 %x, %y127 br i1 %c.1, label %bb1, label %exit128 129bb1:130 %c.2 = icmp uge i8 %y, %z131 br i1 %c.2, label %bb2, label %exit132 133bb2:134 %c.3 = icmp uge i8 %x, %z135 br i1 %c.3, label %bb3, label %exit136 137bb3:138 ret i8 10139 140exit:141 ret i8 20142}143 144 145define i8 @test2(i8 %x, i8 %y, i8 %z, i8 %a) {146; CHECK-LABEL: @test2(147; CHECK-NEXT: entry:148; CHECK-NEXT: [[C_1:%.*]] = icmp uge i8 [[X:%.*]], [[Y:%.*]]149; CHECK-NEXT: br i1 [[C_1]], label [[BB1:%.*]], label [[EXIT:%.*]]150; CHECK: bb1:151; CHECK-NEXT: [[C_2:%.*]] = icmp uge i8 [[Y]], [[Z:%.*]]152; CHECK-NEXT: br i1 [[C_2]], label [[BB2:%.*]], label [[EXIT]]153; CHECK: bb2:154; CHECK-NEXT: [[C_3:%.*]] = icmp uge i8 [[X]], [[A:%.*]]155; CHECK-NEXT: br i1 [[C_3]], label [[BB3:%.*]], label [[EXIT]]156; CHECK: bb3:157; CHECK-NEXT: ret i8 10158; CHECK: exit:159; CHECK-NEXT: ret i8 20160;161entry:162 %c.1 = icmp uge i8 %x, %y163 br i1 %c.1, label %bb1, label %exit164 165bb1:166 %c.2 = icmp uge i8 %y, %z167 br i1 %c.2, label %bb2, label %exit168 169bb2:170 %c.3 = icmp uge i8 %x, %a171 br i1 %c.3, label %bb3, label %exit172 173bb3:174 ret i8 10175 176exit:177 ret i8 20178}179 180 181define i8 @test3(i8 %x, i8 %y) {182; CHECK-LABEL: @test3(183; CHECK-NEXT: entry:184; CHECK-NEXT: [[C_1:%.*]] = icmp uge i8 [[X:%.*]], 10185; CHECK-NEXT: br i1 [[C_1]], label [[BB1:%.*]], label [[EXIT:%.*]]186; CHECK: bb1:187; CHECK-NEXT: [[C_2:%.*]] = icmp uge i8 [[Y:%.*]], 20188; CHECK-NEXT: br i1 [[C_2]], label [[BB2:%.*]], label [[EXIT]]189; CHECK: bb2:190; CHECK-NEXT: ret i8 10191; CHECK: exit:192; CHECK-NEXT: ret i8 20193;194entry:195 %c.1 = icmp uge i8 %x, 10196 br i1 %c.1, label %bb1, label %exit197 198bb1:199 %c.2 = icmp uge i8 %y, 20200 br i1 %c.2, label %bb2, label %exit201 202bb2:203 ret i8 10204 205exit:206 ret i8 20207}208 209define i8 @test4(i8 %x, i8 %y, i8 %z) {210; CHECK-LABEL: @test4(211; CHECK-NEXT: entry:212; CHECK-NEXT: [[C_1:%.*]] = icmp uge i8 [[X:%.*]], [[Y:%.*]]213; CHECK-NEXT: br i1 [[C_1]], label [[BB1:%.*]], label [[EXIT:%.*]]214; CHECK: bb1:215; CHECK-NEXT: [[C_2:%.*]] = icmp uge i8 [[Y]], [[Z:%.*]]216; CHECK-NEXT: br i1 [[C_2]], label [[BB2:%.*]], label [[EXIT]]217; CHECK: bb2:218; CHECK-NEXT: call void @use(i1 true)219; CHECK-NEXT: [[U_1:%.*]] = icmp eq i8 [[X]], [[Z]]220; CHECK-NEXT: call void @use(i1 [[U_1]])221; CHECK-NEXT: ret i8 10222; CHECK: exit:223; CHECK-NEXT: ret i8 20224;225entry:226 %c.1 = icmp uge i8 %x, %y227 br i1 %c.1, label %bb1, label %exit228 229bb1:230 %c.2 = icmp uge i8 %y, %z231 br i1 %c.2, label %bb2, label %exit232 233bb2:234 %t.1 = icmp uge i8 %x, %z235 call void @use(i1 %t.1)236 %u.1 = icmp eq i8 %x, %z237 call void @use(i1 %u.1)238 ret i8 10239 240 241exit:242 ret i8 20243}244