test/CodeGen/SystemZ/call-04.ll

   1 ; Test conditional sibling calls.
   2 ;
   3 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
   4
   5 declare void @fun_a()
   6 declare void @fun_b()
   7 declare void @fun_c(i32)
   8
   9 @var = global i32 1;
  10
  11 ; Check a conditional sibling call.
  12 define void @f1(i32 %val1, i32 %val2) {
  13 ; CHECK-LABEL: f1:
  14 ; CHECK: cr %r2, %r3
  15 ; CHECK: jgl fun_a@PLT
  16 ; CHECK: br %r14
  17   %cond = icmp slt i32 %val1, %val2;
  18   br i1 %cond, label %a, label %b;
  19
  20 a:
  21   tail call void @fun_a()
  22   ret void
  23
  24 b:
  25   store i32 1, i32 *@var;
  26   ret void
  27 }
  28
  29 ; Check a conditional sibling call when there are two possibilities.
  30 define void @f2(i32 %val1, i32 %val2) {
  31 ; CHECK-LABEL: f2:
  32 ; CHECK: cr %r2, %r3
  33 ; CHECK: jghe fun_b@PLT
  34 ; CHECK: jg fun_a@PLT
  35   %cond = icmp slt i32 %val1, %val2;
  36   br i1 %cond, label %a, label %b;
  37
  38 a:
  39   tail call void @fun_a()
  40   ret void
  41
  42 b:
  43   tail call void @fun_b()
  44   ret void
  45 }
  46
  47 ; Check a conditional sibling call with an argument - not supported.
  48 define void @f3(i32 %val1, i32 %val2) {
  49 ; CHECK-LABEL: f3:
  50 ; CHECK: crjhe %r2, %r3
  51 ; CHECK: jg fun_c@PLT
  52 ; CHECK: br %r14
  53   %cond = icmp slt i32 %val1, %val2;
  54   br i1 %cond, label %a, label %b;
  55
  56 a:
  57   tail call void @fun_c(i32 1)
  58   ret void
  59
  60 b:
  61   store i32 1, i32 *@var;
  62   ret void
  63 }
  64
  65 ; Check a conditional sibling call - unsigned compare.
  66 define void @f4(i32 %val1, i32 %val2) {
  67 ; CHECK-LABEL: f4:
  68 ; CHECK: clr %r2, %r3
  69 ; CHECK: jgl fun_a@PLT
  70 ; CHECK: br %r14
  71   %cond = icmp ult i32 %val1, %val2;
  72   br i1 %cond, label %a, label %b;
  73
  74 a:
  75   tail call void @fun_a()
  76   ret void
  77
  78 b:
  79   store i32 1, i32 *@var;
  80   ret void
  81 }
  82
  83 ; Check a conditional sibling call - 64-bit compare.
  84 define void @f5(i64 %val1, i64 %val2) {
  85 ; CHECK-LABEL: f5:
  86 ; CHECK: cgr %r2, %r3
  87 ; CHECK: jgl fun_a@PLT
  88 ; CHECK: br %r14
  89   %cond = icmp slt i64 %val1, %val2;
  90   br i1 %cond, label %a, label %b;
  91
  92 a:
  93   tail call void @fun_a()
  94   ret void
  95
  96 b:
  97   store i32 1, i32 *@var;
  98   ret void
  99 }
 100
 101 ; Check a conditional sibling call - unsigned 64-bit compare.
 102 define void @f6(i64 %val1, i64 %val2) {
 103 ; CHECK-LABEL: f6:
 104 ; CHECK: clgr %r2, %r3
 105 ; CHECK: jgl fun_a@PLT
 106 ; CHECK: br %r14
 107   %cond = icmp ult i64 %val1, %val2;
 108   br i1 %cond, label %a, label %b;
 109
 110 a:
 111   tail call void @fun_a()
 112   ret void
 113
 114 b:
 115   store i32 1, i32 *@var;
 116   ret void
 117 }
 118
 119 ; Check a conditional sibling call - less-equal compare.
 120 define void @f7(i32 %val1, i32 %val2) {
 121 ; CHECK-LABEL: f7:
 122 ; CHECK: cr %r2, %r3
 123 ; CHECK: jgle fun_a@PLT
 124 ; CHECK: br %r14
 125   %cond = icmp sle i32 %val1, %val2;
 126   br i1 %cond, label %a, label %b;
 127
 128 a:
 129   tail call void @fun_a()
 130   ret void
 131
 132 b:
 133   store i32 1, i32 *@var;
 134   ret void
 135 }
 136
 137 ; Check a conditional sibling call - high compare.
 138 define void @f8(i32 %val1, i32 %val2) {
 139 ; CHECK-LABEL: f8:
 140 ; CHECK: cr %r2, %r3
 141 ; CHECK: jgh fun_a@PLT
 142 ; CHECK: br %r14
 143   %cond = icmp sgt i32 %val1, %val2;
 144   br i1 %cond, label %a, label %b;
 145
 146 a:
 147   tail call void @fun_a()
 148   ret void
 149
 150 b:
 151   store i32 1, i32 *@var;
 152   ret void
 153 }
 154
 155 ; Check a conditional sibling call - high-equal compare.
 156 define void @f9(i32 %val1, i32 %val2) {
 157 ; CHECK-LABEL: f9:
 158 ; CHECK: cr %r2, %r3
 159 ; CHECK: jghe fun_a@PLT
 160 ; CHECK: br %r14
 161   %cond = icmp sge i32 %val1, %val2;
 162   br i1 %cond, label %a, label %b;
 163
 164 a:
 165   tail call void @fun_a()
 166   ret void
 167
 168 b:
 169   store i32 1, i32 *@var;
 170   ret void
 171 }
 172
 173 ; Check a conditional sibling call - equal compare.
 174 define void @f10(i32 %val1, i32 %val2) {
 175 ; CHECK-LABEL: f10:
 176 ; CHECK: cr %r2, %r3
 177 ; CHECK: jge fun_a@PLT
 178 ; CHECK: br %r14
 179   %cond = icmp eq i32 %val1, %val2;
 180   br i1 %cond, label %a, label %b;
 181
 182 a:
 183   tail call void @fun_a()
 184   ret void
 185
 186 b:
 187   store i32 1, i32 *@var;
 188   ret void
 189 }
 190
 191 ; Check a conditional sibling call - unequal compare.
 192 define void @f11(i32 %val1, i32 %val2) {
 193 ; CHECK-LABEL: f11:
 194 ; CHECK: cr %r2, %r3
 195 ; CHECK: jglh fun_a@PLT
 196 ; CHECK: br %r14
 197   %cond = icmp ne i32 %val1, %val2;
 198   br i1 %cond, label %a, label %b;
 199
 200 a:
 201   tail call void @fun_a()
 202   ret void
 203
 204 b:
 205   store i32 1, i32 *@var;
 206   ret void
 207 }
 208
 209 ; Check a conditional sibling call - immediate slt.
 210 define void @f12(i32 %val1) {
 211 ; CHECK-LABEL: f12:
 212 ; CHECK: chi %r2, 4
 213 ; CHECK: jgle fun_a@PLT
 214 ; CHECK: br %r14
 215   %cond = icmp slt i32 %val1, 5;
 216   br i1 %cond, label %a, label %b;
 217
 218 a:
 219   tail call void @fun_a()
 220   ret void
 221
 222 b:
 223   store i32 1, i32 *@var;
 224   ret void
 225 }
 226
 227 ; Check a conditional sibling call - immediate sle.
 228 define void @f13(i32 %val1) {
 229 ; CHECK-LABEL: f13:
 230 ; CHECK: chi %r2, 5
 231 ; CHECK: jgle fun_a@PLT
 232 ; CHECK: br %r14
 233   %cond = icmp sle i32 %val1, 5;
 234   br i1 %cond, label %a, label %b;
 235
 236 a:
 237   tail call void @fun_a()
 238   ret void
 239
 240 b:
 241   store i32 1, i32 *@var;
 242   ret void
 243 }
 244
 245 ; Check a conditional sibling call - immediate sgt.
 246 define void @f14(i32 %val1) {
 247 ; CHECK-LABEL: f14:
 248 ; CHECK: chi %r2, 6
 249 ; CHECK: jghe fun_a@PLT
 250 ; CHECK: br %r14
 251   %cond = icmp sgt i32 %val1, 5;
 252   br i1 %cond, label %a, label %b;
 253
 254 a:
 255   tail call void @fun_a()
 256   ret void
 257
 258 b:
 259   store i32 1, i32 *@var;
 260   ret void
 261 }
 262
 263 ; Check a conditional sibling call - immediate sge.
 264 define void @f15(i32 %val1) {
 265 ; CHECK-LABEL: f15:
 266 ; CHECK: chi %r2, 5
 267 ; CHECK: jghe fun_a@PLT
 268 ; CHECK: br %r14
 269   %cond = icmp sge i32 %val1, 5;
 270   br i1 %cond, label %a, label %b;
 271
 272 a:
 273   tail call void @fun_a()
 274   ret void
 275
 276 b:
 277   store i32 1, i32 *@var;
 278   ret void
 279 }
 280
 281 ; Check a conditional sibling call - immediate eq.
 282 define void @f16(i32 %val1) {
 283 ; CHECK-LABEL: f16:
 284 ; CHECK: chi %r2, 5
 285 ; CHECK: jge fun_a@PLT
 286 ; CHECK: br %r14
 287   %cond = icmp eq i32 %val1, 5;
 288   br i1 %cond, label %a, label %b;
 289
 290 a:
 291   tail call void @fun_a()
 292   ret void
 293
 294 b:
 295   store i32 1, i32 *@var;
 296   ret void
 297 }
 298
 299 ; Check a conditional sibling call - immediate ne.
 300 define void @f17(i32 %val1) {
 301 ; CHECK-LABEL: f17:
 302 ; CHECK: chi %r2, 5
 303 ; CHECK: jglh fun_a@PLT
 304 ; CHECK: br %r14
 305   %cond = icmp ne i32 %val1, 5;
 306   br i1 %cond, label %a, label %b;
 307
 308 a:
 309   tail call void @fun_a()
 310   ret void
 311
 312 b:
 313   store i32 1, i32 *@var;
 314   ret void
 315 }
 316
 317 ; Check a conditional sibling call - immediate ult.
 318 define void @f18(i32 %val1) {
 319 ; CHECK-LABEL: f18:
 320 ; CHECK: clfi %r2, 4
 321 ; CHECK: jgle fun_a@PLT
 322 ; CHECK: br %r14
 323   %cond = icmp ult i32 %val1, 5;
 324   br i1 %cond, label %a, label %b;
 325
 326 a:
 327   tail call void @fun_a()
 328   ret void
 329
 330 b:
 331   store i32 1, i32 *@var;
 332   ret void
 333 }
 334
 335 ; Check a conditional sibling call - immediate 64-bit slt.
 336 define void @f19(i64 %val1) {
 337 ; CHECK-LABEL: f19:
 338 ; CHECK: cghi %r2, 4
 339 ; CHECK: jgle fun_a@PLT
 340 ; CHECK: br %r14
 341   %cond = icmp slt i64 %val1, 5;
 342   br i1 %cond, label %a, label %b;
 343
 344 a:
 345   tail call void @fun_a()
 346   ret void
 347
 348 b:
 349   store i32 1, i32 *@var;
 350   ret void
 351 }
 352
 353 ; Check a conditional sibling call - immediate 64-bit ult.
 354 define void @f20(i64 %val1) {
 355 ; CHECK-LABEL: f20:
 356 ; CHECK: clgfi %r2, 4
 357 ; CHECK: jgle fun_a@PLT
 358 ; CHECK: br %r14
 359   %cond = icmp ult i64 %val1, 5;
 360   br i1 %cond, label %a, label %b;
 361
 362 a:
 363   tail call void @fun_a()
 364   ret void
 365
 366 b:
 367   store i32 1, i32 *@var;
 368   ret void
 369 }