270 lines · plain
1; RUN: llc -O0 -fast-isel -fast-isel-abort=2 -code-model=small -verify-machineinstrs -frame-pointer=all -mtriple=arm64-apple-darwin < %s | FileCheck %s2; RUN: llc -O0 -fast-isel -fast-isel-abort=2 -code-model=large -verify-machineinstrs -frame-pointer=all -mtriple=arm64-apple-darwin < %s | FileCheck %s --check-prefix=LARGE3; RUN: llc -O0 -fast-isel -fast-isel-abort=2 -code-model=small -verify-machineinstrs -frame-pointer=all -mtriple=aarch64_be-linux-gnu < %s | FileCheck %s --check-prefix=CHECK-BE4 5define void @call0() nounwind {6entry:7 ret void8}9 10define void @foo0() nounwind {11entry:12; CHECK-LABEL: foo013; CHECK: bl _call014; LARGE-LABEL: foo015; LARGE: adrp [[REG0:x[0-9]+]], _call0@GOTPAGE16; LARGE: ldr [[REG1:x[0-9]+]], [[[REG0]], _call0@GOTPAGEOFF]17; LARGE-NEXT: blr [[REG1]]18 call void @call0()19 ret void20}21 22define i32 @call1(i32 %a) nounwind {23entry:24 %a.addr = alloca i32, align 425 store i32 %a, ptr %a.addr, align 426 %tmp = load i32, ptr %a.addr, align 427 ret i32 %tmp28}29 30define i32 @foo1(i32 %a) nounwind {31entry:32; CHECK-LABEL: foo133; CHECK: stur w0, [x29, #-4]34; CHECK-NEXT: ldur w0, [x29, #-4]35; CHECK-NEXT: bl _call136 %a.addr = alloca i32, align 437 store i32 %a, ptr %a.addr, align 438 %tmp = load i32, ptr %a.addr, align 439 %call = call i32 @call1(i32 %tmp)40 ret i32 %call41}42 43define i32 @sext_(i8 %a, i16 %b) nounwind {44entry:45; CHECK-LABEL: sext_46; CHECK: sxtb w0, w047; CHECK: sxth w1, w148; CHECK: bl _foo_sext_49 call void @foo_sext_(i8 signext %a, i16 signext %b)50 ret i32 051}52 53declare void @foo_sext_(i8 %a, i16 %b)54 55define i32 @zext_(i8 %a, i16 %b) nounwind {56entry:57; CHECK-LABEL: zext_58; CHECK: uxtb w0, w059; CHECK: uxth w1, w160 call void @foo_zext_(i8 zeroext %a, i16 zeroext %b)61 ret i32 062}63 64declare void @foo_zext_(i8 %a, i16 %b)65 66define i32 @t1(i32 %argc, ptr nocapture %argv) {67entry:68; CHECK-LABEL: @t169; The last parameter will be passed on stack via i8.70; CHECK: strb w{{[0-9]+}}, [sp]71; CHECK: bl _bar72 %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 074}75 76declare 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.79define i32 @t2() {80entry:81; CHECK-LABEL: t2:82; CHECK: mov x0, xzr83; CHECK: mov w1, #-884; CHECK: mov [[REG2:w[0-9]+]], #102385; CHECK: mov [[REG3:w[0-9]+]], #286; CHECK: mov [[REG4:w[0-9]+]], wzr87; CHECK: mov [[REG5:w[0-9]+]], #188; CHECK: uxth w2, [[REG2]]89; CHECK: sxtb w3, [[REG3]]90; CHECK: and w4, [[REG4]], #0x191; CHECK: and w5, [[REG5]], #0x192; CHECK: bl _func293 %call = call i32 @func2(i64 zeroext 0, i32 signext -8, i16 zeroext 1023, i8 signext -254, i1 zeroext 0, i1 zeroext 1)94 ret i32 095}96 97declare i32 @func2(i64 zeroext, i32 signext, i16 zeroext, i8 signext, i1 zeroext, i1 zeroext)98 99declare void @callee_b0f(i8 %bp10, i8 %bp11, i8 %bp12, i8 %bp13, i8 %bp14, i8 %bp15, i8 %bp17, i8 %bp18, i8 %bp19)100define void @caller_b1f() {101entry:102; CHECK-LABEL: caller_b1f103; CHECK-BE-LABEL: caller_b1f104; 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 void107}108 109define zeroext i1 @call_arguments1(i1 %a1, i1 %a2, i1 %a3, i1 %a4, i1 %a5, i1 %a6, i1 %a7, i1 %a8) {110; CHECK-LABEL: call_arguments1111; CHECK: and {{w[0-9]+}}, w0, w1112; CHECK-NEXT: and {{w[0-9]+}}, w2, w3113; CHECK-NEXT: and {{w[0-9]+}}, w4, w5114; CHECK-NEXT: and {{w[0-9]+}}, w6, w7115 %1 = and i1 %a1, %a2116 %2 = and i1 %a3, %a4117 %3 = and i1 %a5, %a6118 %4 = and i1 %a7, %a8119 %5 = and i1 %1, %2120 %6 = and i1 %3, %4121 %7 = and i1 %5, %6122 ret i1 %7123}124 125define 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_arguments2127; CHECK: add {{w[0-9]+}}, w0, w1128; CHECK-NEXT: add {{w[0-9]+}}, w2, w3129; CHECK-NEXT: add {{w[0-9]+}}, w4, w5130; CHECK-NEXT: add {{w[0-9]+}}, w6, w7131 %a1z = zext i8 %a1 to i32132 %a2z = zext i8 %a2 to i32133 %a3z = zext i8 %a3 to i32134 %a4z = zext i8 %a4 to i32135 %a5s = sext i8 %a5 to i32136 %a6s = sext i8 %a6 to i32137 %a7s = sext i8 %a7 to i32138 %a8s = sext i8 %a8 to i32139 %1 = add i32 %a1z, %a2z140 %2 = add i32 %a3z, %a4z141 %3 = add i32 %a5s, %a6s142 %4 = add i32 %a7s, %a8s143 %5 = add i32 %1, %2144 %6 = add i32 %3, %4145 %7 = add i32 %5, %6146 ret i32 %7147}148 149define 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_arguments3151; CHECK: add {{w[0-9]+}}, w0, w1152; CHECK-NEXT: add {{w[0-9]+}}, w2, w3153; CHECK-NEXT: add {{w[0-9]+}}, w4, w5154; CHECK-NEXT: add {{w[0-9]+}}, w6, w7155 %a1z = zext i16 %a1 to i32156 %a2z = zext i16 %a2 to i32157 %a3z = zext i16 %a3 to i32158 %a4z = zext i16 %a4 to i32159 %a5s = sext i16 %a5 to i32160 %a6s = sext i16 %a6 to i32161 %a7s = sext i16 %a7 to i32162 %a8s = sext i16 %a8 to i32163 %1 = add i32 %a1z, %a2z164 %2 = add i32 %a3z, %a4z165 %3 = add i32 %a5s, %a6s166 %4 = add i32 %a7s, %a8s167 %5 = add i32 %1, %2168 %6 = add i32 %3, %4169 %7 = add i32 %5, %6170 ret i32 %7171}172 173define i32 @call_arguments4(i32 %a1, i32 %a2, i32 %a3, i32 %a4, i32 %a5, i32 %a6, i32 %a7, i32 %a8) {174; CHECK-LABEL: call_arguments4175; CHECK: add {{w[0-9]+}}, w0, w1176; CHECK-NEXT: add {{w[0-9]+}}, w2, w3177; CHECK-NEXT: add {{w[0-9]+}}, w4, w5178; CHECK-NEXT: add {{w[0-9]+}}, w6, w7179 %1 = add i32 %a1, %a2180 %2 = add i32 %a3, %a4181 %3 = add i32 %a5, %a6182 %4 = add i32 %a7, %a8183 %5 = add i32 %1, %2184 %6 = add i32 %3, %4185 %7 = add i32 %5, %6186 ret i32 %7187}188 189define i64 @call_arguments5(i64 %a1, i64 %a2, i64 %a3, i64 %a4, i64 %a5, i64 %a6, i64 %a7, i64 %a8) {190; CHECK-LABEL: call_arguments5191; CHECK: add {{x[0-9]+}}, x0, x1192; CHECK-NEXT: add {{x[0-9]+}}, x2, x3193; CHECK-NEXT: add {{x[0-9]+}}, x4, x5194; CHECK-NEXT: add {{x[0-9]+}}, x6, x7195 %1 = add i64 %a1, %a2196 %2 = add i64 %a3, %a4197 %3 = add i64 %a5, %a6198 %4 = add i64 %a7, %a8199 %5 = add i64 %1, %2200 %6 = add i64 %3, %4201 %7 = add i64 %5, %6202 ret i64 %7203}204 205define float @call_arguments6(float %a1, float %a2, float %a3, float %a4, float %a5, float %a6, float %a7, float %a8) {206; CHECK-LABEL: call_arguments6207; CHECK: fadd {{s[0-9]+}}, s0, s1208; CHECK-NEXT: fadd {{s[0-9]+}}, s2, s3209; CHECK-NEXT: fadd {{s[0-9]+}}, s4, s5210; CHECK-NEXT: fadd {{s[0-9]+}}, s6, s7211 %1 = fadd float %a1, %a2212 %2 = fadd float %a3, %a4213 %3 = fadd float %a5, %a6214 %4 = fadd float %a7, %a8215 %5 = fadd float %1, %2216 %6 = fadd float %3, %4217 %7 = fadd float %5, %6218 ret float %7219}220 221define double @call_arguments7(double %a1, double %a2, double %a3, double %a4, double %a5, double %a6, double %a7, double %a8) {222; CHECK-LABEL: call_arguments7223; CHECK: fadd {{d[0-9]+}}, d0, d1224; CHECK-NEXT: fadd {{d[0-9]+}}, d2, d3225; CHECK-NEXT: fadd {{d[0-9]+}}, d4, d5226; CHECK-NEXT: fadd {{d[0-9]+}}, d6, d7227 %1 = fadd double %a1, %a2228 %2 = fadd double %a3, %a4229 %3 = fadd double %a5, %a6230 %4 = fadd double %a7, %a8231 %5 = fadd double %1, %2232 %6 = fadd double %3, %4233 %7 = fadd double %5, %6234 ret double %7235}236 237define i64 @call_arguments8(i32 %a1, i64 %a2, i32 %a3, i64 %a4) {238; CHECK-LABEL: call_arguments8239; CHECK: ubfx [[REG1:x[0-9]+]], {{x[0-9]+}}, #0, #32240; CHECK: ubfx [[REG2:x[0-9]+]], {{x[0-9]+}}, #0, #32241; CHECK: add {{x[0-9]+}}, [[REG1]], x1242; CHECK-NEXT: add {{x[0-9]+}}, [[REG2]], x3243 %aa1 = zext i32 %a1 to i64244 %aa3 = zext i32 %a3 to i64245 %1 = add i64 %aa1, %a2246 %2 = add i64 %aa3, %a4247 %3 = add i64 %1, %2248 ret i64 %3249}250 251define void @call_arguments9(i8 %a1, i16 %a2, i32 %a3, i64 %a4, float %a5, double %a6, i64 %a7, double %a8) {252; CHECK-LABEL: call_arguments9253 ret void254}255 256; Test that we use the correct register class for the branch.257define void @call_blr(i64 %Fn, i1 %c) {258; CHECK-LABEL: call_blr259; CHECK: blr260 br i1 %c, label %bb1, label %bb2261bb1:262 %1 = inttoptr i64 %Fn to ptr263 br label %bb2264bb2:265 %2 = phi ptr [ %1, %bb1 ], [ undef, %0 ]266 call void %2(i64 1)267 ret void268}269 270