1 ; RUN: llc < %s -O0 -fast-isel-abort -mtriple=arm64-apple-darwin | FileCheck %s
3 define void @call0() nounwind {
8 define void @foo0() nounwind {
16 define i32 @call1(i32 %a) nounwind {
18 %a.addr = alloca i32, align 4
19 store i32 %a, i32* %a.addr, align 4
20 %tmp = load i32* %a.addr, align 4
24 define i32 @foo1(i32 %a) nounwind {
27 ; CHECK: stur w0, [x29, #-4]
28 ; CHECK-NEXT: ldur w0, [x29, #-4]
29 ; CHECK-NEXT: bl _call1
30 %a.addr = alloca i32, align 4
31 store i32 %a, i32* %a.addr, align 4
32 %tmp = load i32* %a.addr, align 4
33 %call = call i32 @call1(i32 %tmp)
37 define i32 @sext_(i8 %a, i16 %b) nounwind {
42 ; CHECK: bl _foo_sext_
43 call void @foo_sext_(i8 signext %a, i16 signext %b)
47 declare void @foo_sext_(i8 %a, i16 %b)
49 define i32 @zext_(i8 %a, i16 %b) nounwind {
54 call void @foo_zext_(i8 zeroext %a, i16 zeroext %b)
58 declare void @foo_zext_(i8 %a, i16 %b)
60 define i32 @t1(i32 %argc, i8** nocapture %argv) {
63 ; The last parameter will be passed on stack via i8.
64 ; CHECK: strb w{{[0-9]+}}, [sp]
66 %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)
70 declare i32 @bar(i8 zeroext, i8 zeroext, i8 zeroext, i8 zeroext, i8 zeroext, i8 zeroext, i8 zeroext, i8 zeroext, i8 zeroext)
72 ; Test materialization of integers. Target-independent selector handles this.
77 ; CHECK: orr w1, wzr, #0xfffffff8
78 ; CHECK: orr w[[REG:[0-9]+]], wzr, #0x3ff
79 ; CHECK: orr w[[REG2:[0-9]+]], wzr, #0x2
80 ; CHECK: movz w[[REG3:[0-9]+]], #0
81 ; CHECK: orr w[[REG4:[0-9]+]], wzr, #0x1
82 ; CHECK: uxth w2, w[[REG]]
83 ; CHECK: sxtb w3, w[[REG2]]
84 ; CHECK: and w4, w[[REG3]], #0x1
85 ; CHECK: and w5, w[[REG4]], #0x1
87 %call = call i32 @func2(i64 zeroext 0, i32 signext -8, i16 zeroext 1023, i8 signext -254, i1 zeroext 0, i1 zeroext 1)
91 declare i32 @func2(i64 zeroext, i32 signext, i16 zeroext, i8 signext, i1 zeroext, i1 zeroext)