test/CodeGen/AArch64/arm64-fast-isel-call.ll

   1 ; RUN: llc -O0 -fast-isel-abort=2 -code-model=small -verify-machineinstrs -mtriple=arm64-apple-darwin   < %s | FileCheck %s
   2 ; RUN: llc -O0 -fast-isel-abort=2 -code-model=large -verify-machineinstrs -mtriple=arm64-apple-darwin   < %s | FileCheck %s --check-prefix=LARGE
   3 ; RUN: llc -O0 -fast-isel-abort=2 -code-model=small -verify-machineinstrs -mtriple=aarch64_be-linux-gnu < %s | FileCheck %s --check-prefix=CHECK-BE
   4
   5 define void @call0() nounwind {
   6 entry:
   7   ret void
   8 }
   9
  10 define void @foo0() nounwind {
  11 entry:
  12 ; CHECK-LABEL: foo0
  13 ; CHECK:       bl _call0
  14 ; LARGE-LABEL: foo0
  15 ; LARGE:       adrp [[REG0:x[0-9]+]], _call0@GOTPAGE
  16 ; LARGE:       ldr  [[REG1:x[0-9]+]], {{\[}}[[REG0]], _call0@GOTPAGEOFF{{\]}}
  17 ; LARGE-NEXT:  blr  [[REG1]]
  18   call void @call0()
  19   ret void
  20 }
  21
  22 define i32 @call1(i32 %a) nounwind {
  23 entry:
  24   %a.addr = alloca i32, align 4
  25   store i32 %a, i32* %a.addr, align 4
  26   %tmp = load i32, i32* %a.addr, align 4
  27   ret i32 %tmp
  28 }
  29
  30 define i32 @foo1(i32 %a) nounwind {
  31 entry:
  32 ; CHECK-LABEL: foo1
  33 ; CHECK:       stur w0, [x29, #-4]
  34 ; CHECK-NEXT:  ldur w0, [x29, #-4]
  35 ; CHECK-NEXT:  bl _call1
  36   %a.addr = alloca i32, align 4
  37   store i32 %a, i32* %a.addr, align 4
  38   %tmp = load i32, i32* %a.addr, align 4
  39   %call = call i32 @call1(i32 %tmp)
  40   ret i32 %call
  41 }
  42
  43 define i32 @sext_(i8 %a, i16 %b) nounwind {
  44 entry:
  45 ; CHECK-LABEL: sext_
  46 ; CHECK:       sxtb w0, w0
  47 ; CHECK:       sxth w1, w1
  48 ; CHECK:       bl _foo_sext_
  49   call void @foo_sext_(i8 signext %a, i16 signext %b)
  50   ret i32 0
  51 }
  52
  53 declare void @foo_sext_(i8 %a, i16 %b)
  54
  55 define i32 @zext_(i8 %a, i16 %b) nounwind {
  56 entry:
  57 ; CHECK-LABEL: zext_
  58 ; CHECK:       uxtb w0, w0
  59 ; CHECK:       uxth w1, w1
  60   call void @foo_zext_(i8 zeroext %a, i16 zeroext %b)
  61   ret i32 0
  62 }
  63
  64 declare void @foo_zext_(i8 %a, i16 %b)
  65
  66 define i32 @t1(i32 %argc, i8** nocapture %argv) {
  67 entry:
  68 ; CHECK-LABEL: @t1
  69 ; The last parameter will be passed on stack via i8.
  70 ; CHECK:       strb w{{[0-9]+}}, [sp]
  71 ; CHECK:       bl _bar
  72   %call = call i32 @bar(i8 zeroext 0, i8 zeroext -8, i8 zeroext -69, i8 zeroext 28, i8 zeroext 40, i8 zeroext -70, i8 zeroext 28, i8 zeroext 39, i8 zeroext -41)
  73   ret i32 0
  74 }
  75
  76 declare i32 @bar(i8 zeroext, i8 zeroext, i8 zeroext, i8 zeroext, i8 zeroext, i8 zeroext, i8 zeroext, i8 zeroext, i8 zeroext)
  77
  78 ; Test materialization of integers.  Target-independent selector handles this.
  79 define i32 @t2() {
  80 entry:
  81 ; CHECK-LABEL: t2
  82 ; CHECK:       mov [[REG1:x[0-9]+]], xzr
  83 ; CHECK:       orr w1, wzr, #0xfffffff8
  84 ; CHECK:       orr [[REG2:w[0-9]+]], wzr, #0x3ff
  85 ; CHECK:       orr [[REG3:w[0-9]+]], wzr, #0x2
  86 ; CHECK:       mov [[REG4:w[0-9]+]], wzr
  87 ; CHECK:       orr [[REG5:w[0-9]+]], wzr, #0x1
  88 ; CHECK:       mov x0, [[REG1]]
  89 ; CHECK:       uxth w2, [[REG2]]
  90 ; CHECK:       sxtb w3, [[REG3]]
  91 ; CHECK:       and w4, [[REG4]], #0x1
  92 ; CHECK:       and w5, [[REG5]], #0x1
  93 ; CHECK:       bl _func2
  94   %call = call i32 @func2(i64 zeroext 0, i32 signext -8, i16 zeroext 1023, i8 signext -254, i1 zeroext 0, i1 zeroext 1)
  95   ret i32 0
  96 }
  97
  98 declare i32 @func2(i64 zeroext, i32 signext, i16 zeroext, i8 signext, i1 zeroext, i1 zeroext)
  99
 100 declare void @callee_b0f(i8 %bp10, i8 %bp11, i8 %bp12, i8 %bp13, i8 %bp14, i8 %bp15, i8 %bp17, i8 %bp18, i8 %bp19)
 101 define void @caller_b1f() {
 102 entry:
 103 ; CHECK-BE-LABEL: caller_b1f
 104 ; CHECK-BE:       strb w{{.*}}, [sp, #7]
 105   call void @callee_b0f(i8 1, i8 2, i8 3, i8 4, i8 5, i8 6, i8 7, i8 8, i8 42)
 106   ret void
 107 }
 108
 109 define zeroext i1 @call_arguments1(i1 %a1, i1 %a2, i1 %a3, i1 %a4, i1 %a5, i1 %a6, i1 %a7, i1 %a8) {
 110 ; CHECK-LABEL: call_arguments1
 111 ; CHECK:       and {{w[0-9]+}}, w0, w1
 112 ; CHECK-NEXT:  and {{w[0-9]+}}, w2, w3
 113 ; CHECK-NEXT:  and {{w[0-9]+}}, w4, w5
 114 ; CHECK-NEXT:  and {{w[0-9]+}}, w6, w7
 115   %1 = and i1 %a1, %a2
 116   %2 = and i1 %a3, %a4
 117   %3 = and i1 %a5, %a6
 118   %4 = and i1 %a7, %a8
 119   %5 = and i1 %1, %2
 120   %6 = and i1 %3, %4
 121   %7 = and i1 %5, %6
 122   ret i1 %7
 123 }
 124
 125 define i32 @call_arguments2(i8 zeroext %a1, i8 zeroext %a2, i8 zeroext %a3, i8 zeroext %a4, i8 signext %a5, i8 signext %a6, i8 signext %a7, i8 signext %a8) {
 126 ; CHECK-LABEL: call_arguments2
 127 ; CHECK:       add {{w[0-9]+}}, w0, w1
 128 ; CHECK-NEXT:  add {{w[0-9]+}}, w2, w3
 129 ; CHECK-NEXT:  add {{w[0-9]+}}, w4, w5
 130 ; CHECK-NEXT:  add {{w[0-9]+}}, w6, w7
 131   %a1z = zext i8 %a1 to i32
 132   %a2z = zext i8 %a2 to i32
 133   %a3z = zext i8 %a3 to i32
 134   %a4z = zext i8 %a4 to i32
 135   %a5s = sext i8 %a5 to i32
 136   %a6s = sext i8 %a6 to i32
 137   %a7s = sext i8 %a7 to i32
 138   %a8s = sext i8 %a8 to i32
 139   %1 = add i32 %a1z, %a2z
 140   %2 = add i32 %a3z, %a4z
 141   %3 = add i32 %a5s, %a6s
 142   %4 = add i32 %a7s, %a8s
 143   %5 = add i32 %1, %2
 144   %6 = add i32 %3, %4
 145   %7 = add i32 %5, %6
 146   ret i32 %7
 147 }
 148
 149 define i32 @call_arguments3(i16 zeroext %a1, i16 zeroext %a2, i16 zeroext %a3, i16 zeroext %a4, i16 signext %a5, i16 signext %a6, i16 signext %a7, i16 signext %a8) {
 150 ; CHECK-LABEL: call_arguments3
 151 ; CHECK:       add {{w[0-9]+}}, w0, w1
 152 ; CHECK-NEXT:  add {{w[0-9]+}}, w2, w3
 153 ; CHECK-NEXT:  add {{w[0-9]+}}, w4, w5
 154 ; CHECK-NEXT:  add {{w[0-9]+}}, w6, w7
 155   %a1z = zext i16 %a1 to i32
 156   %a2z = zext i16 %a2 to i32
 157   %a3z = zext i16 %a3 to i32
 158   %a4z = zext i16 %a4 to i32
 159   %a5s = sext i16 %a5 to i32
 160   %a6s = sext i16 %a6 to i32
 161   %a7s = sext i16 %a7 to i32
 162   %a8s = sext i16 %a8 to i32
 163   %1 = add i32 %a1z, %a2z
 164   %2 = add i32 %a3z, %a4z
 165   %3 = add i32 %a5s, %a6s
 166   %4 = add i32 %a7s, %a8s
 167   %5 = add i32 %1, %2
 168   %6 = add i32 %3, %4
 169   %7 = add i32 %5, %6
 170   ret i32 %7
 171 }
 172
 173 define i32 @call_arguments4(i32 %a1, i32 %a2, i32 %a3, i32 %a4, i32 %a5, i32 %a6, i32 %a7, i32 %a8) {
 174 ; CHECK-LABEL: call_arguments4
 175 ; CHECK:       add {{w[0-9]+}}, w0, w1
 176 ; CHECK-NEXT:  add {{w[0-9]+}}, w2, w3
 177 ; CHECK-NEXT:  add {{w[0-9]+}}, w4, w5
 178 ; CHECK-NEXT:  add {{w[0-9]+}}, w6, w7
 179   %1 = add i32 %a1, %a2
 180   %2 = add i32 %a3, %a4
 181   %3 = add i32 %a5, %a6
 182   %4 = add i32 %a7, %a8
 183   %5 = add i32 %1, %2
 184   %6 = add i32 %3, %4
 185   %7 = add i32 %5, %6
 186   ret i32 %7
 187 }
 188
 189 define i64 @call_arguments5(i64 %a1, i64 %a2, i64 %a3, i64 %a4, i64 %a5, i64 %a6, i64 %a7, i64 %a8) {
 190 ; CHECK-LABEL: call_arguments5
 191 ; CHECK:       add {{x[0-9]+}}, x0, x1
 192 ; CHECK-NEXT:  add {{x[0-9]+}}, x2, x3
 193 ; CHECK-NEXT:  add {{x[0-9]+}}, x4, x5
 194 ; CHECK-NEXT:  add {{x[0-9]+}}, x6, x7
 195   %1 = add i64 %a1, %a2
 196   %2 = add i64 %a3, %a4
 197   %3 = add i64 %a5, %a6
 198   %4 = add i64 %a7, %a8
 199   %5 = add i64 %1, %2
 200   %6 = add i64 %3, %4
 201   %7 = add i64 %5, %6
 202   ret i64 %7
 203 }
 204
 205 define float @call_arguments6(float %a1, float %a2, float %a3, float %a4, float %a5, float %a6, float %a7, float %a8) {
 206 ; CHECK-LABEL: call_arguments6
 207 ; CHECK:       fadd {{s[0-9]+}}, s0, s1
 208 ; CHECK-NEXT:  fadd {{s[0-9]+}}, s2, s3
 209 ; CHECK-NEXT:  fadd {{s[0-9]+}}, s4, s5
 210 ; CHECK-NEXT:  fadd {{s[0-9]+}}, s6, s7
 211   %1 = fadd float %a1, %a2
 212   %2 = fadd float %a3, %a4
 213   %3 = fadd float %a5, %a6
 214   %4 = fadd float %a7, %a8
 215   %5 = fadd float %1, %2
 216   %6 = fadd float %3, %4
 217   %7 = fadd float %5, %6
 218   ret float %7
 219 }
 220
 221 define double @call_arguments7(double %a1, double %a2, double %a3, double %a4, double %a5, double %a6, double %a7, double %a8) {
 222 ; CHECK-LABEL: call_arguments7
 223 ; CHECK:       fadd {{d[0-9]+}}, d0, d1
 224 ; CHECK-NEXT:  fadd {{d[0-9]+}}, d2, d3
 225 ; CHECK-NEXT:  fadd {{d[0-9]+}}, d4, d5
 226 ; CHECK-NEXT:  fadd {{d[0-9]+}}, d6, d7
 227   %1 = fadd double %a1, %a2
 228   %2 = fadd double %a3, %a4
 229   %3 = fadd double %a5, %a6
 230   %4 = fadd double %a7, %a8
 231   %5 = fadd double %1, %2
 232   %6 = fadd double %3, %4
 233   %7 = fadd double %5, %6
 234   ret double %7
 235 }
 236
 237 define i64 @call_arguments8(i32 %a1, i64 %a2, i32 %a3, i64 %a4) {
 238 ; CHECK-LABEL: call_arguments8
 239 ; CHECK:       ubfx  [[REG1:x[0-9]+]], {{x[0-9]+}}, #0, #32
 240 ; CHECK:       ubfx  [[REG2:x[0-9]+]], {{x[0-9]+}}, #0, #32
 241 ; CHECK:       add {{x[0-9]+}}, [[REG1]], x1
 242 ; CHECK-NEXT:  add {{x[0-9]+}}, [[REG2]], x3
 243   %aa1 = zext i32 %a1 to i64
 244   %aa3 = zext i32 %a3 to i64
 245   %1 = add i64 %aa1, %a2
 246   %2 = add i64 %aa3, %a4
 247   %3 = add i64 %1, %2
 248   ret i64 %3
 249 }
 250
 251 define void @call_arguments9(i8 %a1, i16 %a2, i32 %a3, i64 %a4, float %a5, double %a6, i64 %a7, double %a8) {
 252 ; CHECK-LABEL: call_arguments9
 253   ret void
 254 }
 255
 256 ; Test that we use the correct register class for the branch.
 257 define void @call_blr(i64 %Fn, i1 %c) {
 258 ; CHECK-LABEL: call_blr
 259 ; CHECK:       blr
 260   br i1 %c, label %bb1, label %bb2
 261 bb1:
 262   %1 = inttoptr i64 %Fn to void (i64)*
 263   br label %bb2
 264 bb2:
 265   %2 = phi void (i64)* [ %1, %bb1 ], [ undef, %0 ]
 266   call void %2(i64 1)
 267   ret void
 268 }
 269