1 ; RUN: llc -O0 -fast-isel-abort=2 -code-model=small -verify-machineinstrs -disable-fp-elim -mtriple=arm64-apple-darwin < %s | FileCheck %s 2 ; RUN: llc -O0 -fast-isel-abort=2 -code-model=large -verify-machineinstrs -disable-fp-elim -mtriple=arm64-apple-darwin < %s | FileCheck %s --check-prefix=LARGE 3 ; RUN: llc -O0 -fast-isel-abort=2 -code-model=small -verify-machineinstrs -disable-fp-elim -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 270
