1; RUN: llc < %s -O0 -fast-isel-abort -mtriple=arm64-apple-darwin | FileCheck %s 2; RUN: llc < %s -O0 -fast-isel-abort -mtriple=arm64_be-linux-gnu | FileCheck %s --check-prefix=CHECK-BE 3 4define void @call0() nounwind { 5entry: 6 ret void 7} 8 9define void @foo0() nounwind { 10entry: 11; CHECK: foo0 12; CHECK: bl _call0 13 call void @call0() 14 ret void 15} 16 17define i32 @call1(i32 %a) nounwind { 18entry: 19 %a.addr = alloca i32, align 4 20 store i32 %a, i32* %a.addr, align 4 21 %tmp = load i32* %a.addr, align 4 22 ret i32 %tmp 23} 24 25define i32 @foo1(i32 %a) nounwind { 26entry: 27; CHECK: foo1 28; CHECK: stur w0, [x29, #-4] 29; CHECK-NEXT: ldur w0, [x29, #-4] 30; CHECK-NEXT: bl _call1 31 %a.addr = alloca i32, align 4 32 store i32 %a, i32* %a.addr, align 4 33 %tmp = load i32* %a.addr, align 4 34 %call = call i32 @call1(i32 %tmp) 35 ret i32 %call 36} 37 38define i32 @sext_(i8 %a, i16 %b) nounwind { 39entry: 40; CHECK: @sext_ 41; CHECK: sxtb w0, w0 42; CHECK: sxth w1, w1 43; CHECK: bl _foo_sext_ 44 call void @foo_sext_(i8 signext %a, i16 signext %b) 45 ret i32 0 46} 47 48declare void @foo_sext_(i8 %a, i16 %b) 49 50define i32 @zext_(i8 %a, i16 %b) nounwind { 51entry: 52; CHECK: @zext_ 53; CHECK: uxtb w0, w0 54; CHECK: uxth w1, w1 55 call void @foo_zext_(i8 zeroext %a, i16 zeroext %b) 56 ret i32 0 57} 58 59declare void @foo_zext_(i8 %a, i16 %b) 60 61define i32 @t1(i32 %argc, i8** nocapture %argv) { 62entry: 63; CHECK: @t1 64; The last parameter will be passed on stack via i8. 65; CHECK: strb w{{[0-9]+}}, [sp] 66; CHECK-NEXT: bl _bar 67 %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) 68 ret i32 0 69} 70 71declare i32 @bar(i8 zeroext, i8 zeroext, i8 zeroext, i8 zeroext, i8 zeroext, i8 zeroext, i8 zeroext, i8 zeroext, i8 zeroext) 72 73; Test materialization of integers. Target-independent selector handles this. 74define i32 @t2() { 75entry: 76; CHECK: @t2 77; CHECK: movz x0, #0 78; CHECK: orr w1, wzr, #0xfffffff8 79; CHECK: orr w[[REG:[0-9]+]], wzr, #0x3ff 80; CHECK: orr w[[REG2:[0-9]+]], wzr, #0x2 81; CHECK: movz w[[REG3:[0-9]+]], #0 82; CHECK: orr w[[REG4:[0-9]+]], wzr, #0x1 83; CHECK: uxth w2, w[[REG]] 84; CHECK: sxtb w3, w[[REG2]] 85; CHECK: and w4, w[[REG3]], #0x1 86; CHECK: and w5, w[[REG4]], #0x1 87; CHECK: bl _func2 88 %call = call i32 @func2(i64 zeroext 0, i32 signext -8, i16 zeroext 1023, i8 signext -254, i1 zeroext 0, i1 zeroext 1) 89 ret i32 0 90} 91 92declare i32 @func2(i64 zeroext, i32 signext, i16 zeroext, i8 signext, i1 zeroext, i1 zeroext) 93 94declare void @callee_b0f(i8 %bp10, i8 %bp11, i8 %bp12, i8 %bp13, i8 %bp14, i8 %bp15, i8 %bp17, i8 %bp18, i8 %bp19) 95define void @caller_b1f() { 96entry: 97 ; CHECK-BE: strb w{{.*}}, [sp, #7] 98 call void @callee_b0f(i8 1, i8 2, i8 3, i8 4, i8 5, i8 6, i8 7, i8 8, i8 42) 99 ret void 100} 101