370 lines · plain
1; Test conditional sibling calls.2;3; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s4 5declare void @fun_a()6declare void @fun_b()7declare void @fun_c(i32)8 9@var = global i32 1;10 11; Check a conditional sibling call.12define void @f1(i32 %val1, i32 %val2) {13; CHECK-LABEL: f1:14; CHECK: cr %r2, %r315; CHECK: jgl fun_a@PLT16; CHECK: br %r1417 %cond = icmp slt i32 %val1, %val2;18 br i1 %cond, label %a, label %b;19 20a:21 tail call void @fun_a()22 ret void23 24b:25 store i32 1, ptr@var;26 ret void27}28 29; Check a conditional sibling call when there are two possibilities.30define void @f2(i32 %val1, i32 %val2) {31; CHECK-LABEL: f2:32; CHECK: cr %r2, %r333; CHECK: jghe fun_b@PLT34; CHECK: jg fun_a@PLT35 %cond = icmp slt i32 %val1, %val2;36 br i1 %cond, label %a, label %b;37 38a:39 tail call void @fun_a()40 ret void41 42b:43 tail call void @fun_b()44 ret void45}46 47; Check a conditional sibling call with an argument - not supported.48define void @f3(i32 %val1, i32 %val2) {49; CHECK-LABEL: f3:50; CHECK: crjhe %r2, %r351; CHECK: jg fun_c@PLT52; CHECK: br %r1453 %cond = icmp slt i32 %val1, %val2;54 br i1 %cond, label %a, label %b;55 56a:57 tail call void @fun_c(i32 1)58 ret void59 60b:61 store i32 1, ptr@var;62 ret void63}64 65; Check a conditional sibling call - unsigned compare.66define void @f4(i32 %val1, i32 %val2) {67; CHECK-LABEL: f4:68; CHECK: clr %r2, %r369; CHECK: jgl fun_a@PLT70; CHECK: br %r1471 %cond = icmp ult i32 %val1, %val2;72 br i1 %cond, label %a, label %b;73 74a:75 tail call void @fun_a()76 ret void77 78b:79 store i32 1, ptr@var;80 ret void81}82 83; Check a conditional sibling call - 64-bit compare.84define void @f5(i64 %val1, i64 %val2) {85; CHECK-LABEL: f5:86; CHECK: cgr %r2, %r387; CHECK: jgl fun_a@PLT88; CHECK: br %r1489 %cond = icmp slt i64 %val1, %val2;90 br i1 %cond, label %a, label %b;91 92a:93 tail call void @fun_a()94 ret void95 96b:97 store i32 1, ptr@var;98 ret void99}100 101; Check a conditional sibling call - unsigned 64-bit compare.102define void @f6(i64 %val1, i64 %val2) {103; CHECK-LABEL: f6:104; CHECK: clgr %r2, %r3105; CHECK: jgl fun_a@PLT106; CHECK: br %r14107 %cond = icmp ult i64 %val1, %val2;108 br i1 %cond, label %a, label %b;109 110a:111 tail call void @fun_a()112 ret void113 114b:115 store i32 1, ptr@var;116 ret void117}118 119; Check a conditional sibling call - less-equal compare.120define void @f7(i32 %val1, i32 %val2) {121; CHECK-LABEL: f7:122; CHECK: cr %r2, %r3123; CHECK: jgle fun_a@PLT124; CHECK: br %r14125 %cond = icmp sle i32 %val1, %val2;126 br i1 %cond, label %a, label %b;127 128a:129 tail call void @fun_a()130 ret void131 132b:133 store i32 1, ptr@var;134 ret void135}136 137; Check a conditional sibling call - high compare.138define void @f8(i32 %val1, i32 %val2) {139; CHECK-LABEL: f8:140; CHECK: cr %r2, %r3141; CHECK: jgh fun_a@PLT142; CHECK: br %r14143 %cond = icmp sgt i32 %val1, %val2;144 br i1 %cond, label %a, label %b;145 146a:147 tail call void @fun_a()148 ret void149 150b:151 store i32 1, ptr@var;152 ret void153}154 155; Check a conditional sibling call - high-equal compare.156define void @f9(i32 %val1, i32 %val2) {157; CHECK-LABEL: f9:158; CHECK: cr %r2, %r3159; CHECK: jghe fun_a@PLT160; CHECK: br %r14161 %cond = icmp sge i32 %val1, %val2;162 br i1 %cond, label %a, label %b;163 164a:165 tail call void @fun_a()166 ret void167 168b:169 store i32 1, ptr@var;170 ret void171}172 173; Check a conditional sibling call - equal compare.174define void @f10(i32 %val1, i32 %val2) {175; CHECK-LABEL: f10:176; CHECK: cr %r2, %r3177; CHECK: jge fun_a@PLT178; CHECK: br %r14179 %cond = icmp eq i32 %val1, %val2;180 br i1 %cond, label %a, label %b;181 182a:183 tail call void @fun_a()184 ret void185 186b:187 store i32 1, ptr@var;188 ret void189}190 191; Check a conditional sibling call - unequal compare.192define void @f11(i32 %val1, i32 %val2) {193; CHECK-LABEL: f11:194; CHECK: cr %r2, %r3195; CHECK: jglh fun_a@PLT196; CHECK: br %r14197 %cond = icmp ne i32 %val1, %val2;198 br i1 %cond, label %a, label %b;199 200a:201 tail call void @fun_a()202 ret void203 204b:205 store i32 1, ptr@var;206 ret void207}208 209; Check a conditional sibling call - immediate slt.210define void @f12(i32 %val1) {211; CHECK-LABEL: f12:212; CHECK: chi %r2, 4213; CHECK: jgle fun_a@PLT214; CHECK: br %r14215 %cond = icmp slt i32 %val1, 5;216 br i1 %cond, label %a, label %b;217 218a:219 tail call void @fun_a()220 ret void221 222b:223 store i32 1, ptr@var;224 ret void225}226 227; Check a conditional sibling call - immediate sle.228define void @f13(i32 %val1) {229; CHECK-LABEL: f13:230; CHECK: chi %r2, 5231; CHECK: jgle fun_a@PLT232; CHECK: br %r14233 %cond = icmp sle i32 %val1, 5;234 br i1 %cond, label %a, label %b;235 236a:237 tail call void @fun_a()238 ret void239 240b:241 store i32 1, ptr@var;242 ret void243}244 245; Check a conditional sibling call - immediate sgt.246define void @f14(i32 %val1) {247; CHECK-LABEL: f14:248; CHECK: chi %r2, 6249; CHECK: jghe fun_a@PLT250; CHECK: br %r14251 %cond = icmp sgt i32 %val1, 5;252 br i1 %cond, label %a, label %b;253 254a:255 tail call void @fun_a()256 ret void257 258b:259 store i32 1, ptr@var;260 ret void261}262 263; Check a conditional sibling call - immediate sge.264define void @f15(i32 %val1) {265; CHECK-LABEL: f15:266; CHECK: chi %r2, 5267; CHECK: jghe fun_a@PLT268; CHECK: br %r14269 %cond = icmp sge i32 %val1, 5;270 br i1 %cond, label %a, label %b;271 272a:273 tail call void @fun_a()274 ret void275 276b:277 store i32 1, ptr@var;278 ret void279}280 281; Check a conditional sibling call - immediate eq.282define void @f16(i32 %val1) {283; CHECK-LABEL: f16:284; CHECK: chi %r2, 5285; CHECK: jge fun_a@PLT286; CHECK: br %r14287 %cond = icmp eq i32 %val1, 5;288 br i1 %cond, label %a, label %b;289 290a:291 tail call void @fun_a()292 ret void293 294b:295 store i32 1, ptr@var;296 ret void297}298 299; Check a conditional sibling call - immediate ne.300define void @f17(i32 %val1) {301; CHECK-LABEL: f17:302; CHECK: chi %r2, 5303; CHECK: jglh fun_a@PLT304; CHECK: br %r14305 %cond = icmp ne i32 %val1, 5;306 br i1 %cond, label %a, label %b;307 308a:309 tail call void @fun_a()310 ret void311 312b:313 store i32 1, ptr@var;314 ret void315}316 317; Check a conditional sibling call - immediate ult.318define void @f18(i32 %val1) {319; CHECK-LABEL: f18:320; CHECK: clfi %r2, 4321; CHECK: jgle fun_a@PLT322; CHECK: br %r14323 %cond = icmp ult i32 %val1, 5;324 br i1 %cond, label %a, label %b;325 326a:327 tail call void @fun_a()328 ret void329 330b:331 store i32 1, ptr@var;332 ret void333}334 335; Check a conditional sibling call - immediate 64-bit slt.336define void @f19(i64 %val1) {337; CHECK-LABEL: f19:338; CHECK: cghi %r2, 4339; CHECK: jgle fun_a@PLT340; CHECK: br %r14341 %cond = icmp slt i64 %val1, 5;342 br i1 %cond, label %a, label %b;343 344a:345 tail call void @fun_a()346 ret void347 348b:349 store i32 1, ptr@var;350 ret void351}352 353; Check a conditional sibling call - immediate 64-bit ult.354define void @f20(i64 %val1) {355; CHECK-LABEL: f20:356; CHECK: clgfi %r2, 4357; CHECK: jgle fun_a@PLT358; CHECK: br %r14359 %cond = icmp ult i64 %val1, 5;360 br i1 %cond, label %a, label %b;361 362a:363 tail call void @fun_a()364 ret void365 366b:367 store i32 1, ptr@var;368 ret void369}370