266 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(i32 %x, i32 %y, i32 %z) {7; CHECK-LABEL: @test_1_variable_constraint(8; CHECK-NEXT: entry:9; CHECK-NEXT: [[C_1:%.*]] = icmp sge i32 [[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 sge i32 [[X]], 1014; CHECK-NEXT: call void @use(i1 [[C_2]])15; CHECK-NEXT: [[C_3:%.*]] = icmp sge i32 [[Y]], [[X]]16; CHECK-NEXT: call void @use(i1 [[C_3]])17; CHECK-NEXT: [[C_4:%.*]] = icmp sge i32 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 sge i32 [[X]], 1024; CHECK-NEXT: call void @use(i1 [[C_5]])25; CHECK-NEXT: [[C_6:%.*]] = icmp sge i32 10, [[X]]26; CHECK-NEXT: call void @use(i1 [[C_6]])27; CHECK-NEXT: ret void28;29entry:30 %c.1 = icmp sge i32 %x, %y31 br i1 %c.1, label %bb1, label %bb232 33bb1:34 %t.1 = icmp sge i32 %x, %y35 call void @use(i1 %t.1)36 %c.2 = icmp sge i32 %x, 1037 call void @use(i1 %c.2)38 %c.3 = icmp sge i32 %y, %x39 call void @use(i1 %c.3)40 %c.4 = icmp sge i32 10, %x41 call void @use(i1 %c.4)42 ret void43 44bb2:45 %t.2 = icmp sge i32 %y, %x46 call void @use(i1 %t.2)47 %f.1 = icmp sge i32 %x, %y48 call void @use(i1 %f.1)49 %c.5 = icmp sge i32 %x, 1050 call void @use(i1 %c.5)51 %c.6 = icmp sge i32 10, %x52 call void @use(i1 %c.6)53 ret void54}55 56define void @test_1_constant_constraint(i32 %x) {57; CHECK-LABEL: @test_1_constant_constraint(58; CHECK-NEXT: entry:59; CHECK-NEXT: [[C_1:%.*]] = icmp sge i32 [[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 sge i32 [[X]], 1165; CHECK-NEXT: call void @use(i1 [[C_2]])66; CHECK-NEXT: [[C_4:%.*]] = icmp sge i32 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 sge i32 [[X]], 974; CHECK-NEXT: call void @use(i1 [[C_5]])75; CHECK-NEXT: [[C_6:%.*]] = icmp sge i32 1, [[X]]76; CHECK-NEXT: call void @use(i1 [[C_6]])77; CHECK-NEXT: ret void78;79entry:80 %c.1 = icmp sge i32 %x, 1081 br i1 %c.1, label %bb1, label %bb282 83bb1:84 %t.1 = icmp sge i32 %x, 1085 call void @use(i1 %t.1)86 %t.2 = icmp sge i32 %x, 987 call void @use(i1 %t.2)88 %c.2 = icmp sge i32 %x, 1189 call void @use(i1 %c.2)90 %c.4 = icmp sge i32 10, %x91 call void @use(i1 %c.4)92 ret void93 94bb2:95 %t.3 = icmp sge i32 11, %x96 call void @use(i1 %t.3)97 %f.1 = icmp sge i32 %x, 1098 call void @use(i1 %f.1)99 100 101 %f.1.1 = icmp sge i32 %x, 10102 call void @use(i1 %f.1.1)103 %c.5 = icmp sge i32 %x, 9104 call void @use(i1 %c.5)105 %c.6 = icmp sge i32 1, %x106 call void @use(i1 %c.6)107 ret void108}109 110define i32 @test1(i32 %x, i32 %y, i32 %z) {111; CHECK-LABEL: @test1(112; CHECK-NEXT: entry:113; CHECK-NEXT: [[C_1:%.*]] = icmp sge i32 [[X:%.*]], [[Y:%.*]]114; CHECK-NEXT: br i1 [[C_1]], label [[BB1:%.*]], label [[EXIT:%.*]]115; CHECK: bb1:116; CHECK-NEXT: [[C_2:%.*]] = icmp sge i32 [[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 i32 10122; CHECK: exit:123; CHECK-NEXT: ret i32 20124;125entry:126 %c.1 = icmp sge i32 %x, %y127 br i1 %c.1, label %bb1, label %exit128 129bb1:130 %c.2 = icmp sge i32 %y, %z131 br i1 %c.2, label %bb2, label %exit132 133bb2:134 %c.3 = icmp sge i32 %x, %z135 br i1 %c.3, label %bb3, label %exit136 137bb3:138 ret i32 10139 140exit:141 ret i32 20142}143 144define i32 @test2(i32 %x, i32 %y, i32 %z, i32 %a) {145; CHECK-LABEL: @test2(146; CHECK-NEXT: entry:147; CHECK-NEXT: [[C_1:%.*]] = icmp sge i32 [[X:%.*]], [[Y:%.*]]148; CHECK-NEXT: br i1 [[C_1]], label [[BB1:%.*]], label [[EXIT:%.*]]149; CHECK: bb1:150; CHECK-NEXT: [[C_2:%.*]] = icmp sge i32 [[Y]], [[Z:%.*]]151; CHECK-NEXT: br i1 [[C_2]], label [[BB2:%.*]], label [[EXIT]]152; CHECK: bb2:153; CHECK-NEXT: [[C_3:%.*]] = icmp sge i32 [[X]], [[A:%.*]]154; CHECK-NEXT: br i1 [[C_3]], label [[BB3:%.*]], label [[EXIT]]155; CHECK: bb3:156; CHECK-NEXT: ret i32 10157; CHECK: exit:158; CHECK-NEXT: ret i32 20159;160entry:161 %c.1 = icmp sge i32 %x, %y162 br i1 %c.1, label %bb1, label %exit163 164bb1:165 %c.2 = icmp sge i32 %y, %z166 br i1 %c.2, label %bb2, label %exit167 168bb2:169 %c.3 = icmp sge i32 %x, %a170 br i1 %c.3, label %bb3, label %exit171 172bb3:173 ret i32 10174 175exit:176 ret i32 20177}178 179 180define i32 @test3(i32 %x, i32 %y) {181; CHECK-LABEL: @test3(182; CHECK-NEXT: entry:183; CHECK-NEXT: [[C_1:%.*]] = icmp sge i32 [[X:%.*]], 10184; CHECK-NEXT: br i1 [[C_1]], label [[BB1:%.*]], label [[EXIT:%.*]]185; CHECK: bb1:186; CHECK-NEXT: [[C_2:%.*]] = icmp sge i32 [[Y:%.*]], 20187; CHECK-NEXT: br i1 [[C_2]], label [[BB2:%.*]], label [[EXIT]]188; CHECK: bb2:189; CHECK-NEXT: ret i32 10190; CHECK: exit:191; CHECK-NEXT: ret i32 20192;193entry:194 %c.1 = icmp sge i32 %x, 10195 br i1 %c.1, label %bb1, label %exit196 197bb1:198 %c.2 = icmp sge i32 %y, 20199 br i1 %c.2, label %bb2, label %exit200 201bb2:202 ret i32 10203 204exit:205 ret i32 20206}207 208define i32 @test4(i32 %x, i32 %y, i32 %z) {209; CHECK-LABEL: @test4(210; CHECK-NEXT: entry:211; CHECK-NEXT: [[C_1:%.*]] = icmp sge i32 [[X:%.*]], [[Y:%.*]]212; CHECK-NEXT: br i1 [[C_1]], label [[BB1:%.*]], label [[EXIT:%.*]]213; CHECK: bb1:214; CHECK-NEXT: [[C_2:%.*]] = icmp sge i32 [[Y]], [[Z:%.*]]215; CHECK-NEXT: br i1 [[C_2]], label [[BB2:%.*]], label [[EXIT]]216; CHECK: bb2:217; CHECK-NEXT: call void @use(i1 true)218; CHECK-NEXT: [[U_1:%.*]] = icmp eq i32 [[X]], [[Z]]219; CHECK-NEXT: call void @use(i1 [[U_1]])220; CHECK-NEXT: ret i32 10221; CHECK: exit:222; CHECK-NEXT: ret i32 20223;224entry:225 %c.1 = icmp sge i32 %x, %y226 br i1 %c.1, label %bb1, label %exit227 228bb1:229 %c.2 = icmp sge i32 %y, %z230 br i1 %c.2, label %bb2, label %exit231 232bb2:233 %t.1 = icmp sge i32 %x, %z234 call void @use(i1 %t.1)235 %u.1 = icmp eq i32 %x, %z236 call void @use(i1 %u.1)237 ret i32 10238 239 240exit:241 ret i32 20242}243 244define i1 @sge_sgt(i32 %x, i32 %y, i32 %z) {245; CHECK-LABEL: @sge_sgt(246; CHECK-NEXT: entry:247; CHECK-NEXT: [[C_1:%.*]] = icmp sgt i32 [[X:%.*]], -1248; CHECK-NEXT: br i1 [[C_1]], label [[THEN:%.*]], label [[ELSE:%.*]]249; CHECK: then:250; CHECK-NEXT: ret i1 true251; CHECK: else:252; CHECK-NEXT: ret i1 false253;254entry:255 %c.1 = icmp sgt i32 %x, -1256 br i1 %c.1, label %then, label %else257 258then:259 %t.1 = icmp sge i32 %x, 0260 ret i1 %t.1261 262else:263 %f.1 = icmp sge i32 %x, 0264 ret i1 %f.1265}266