1 ; RUN: llc -O0 -fast-isel-abort=1 -verify-machineinstrs -mtriple=arm64-apple-darwin < %s | FileCheck %s 2 3 ;; Test returns. 4 define void @t0() nounwind ssp { 5 entry: 6 ; CHECK: t0 7 ; CHECK: ret 8 ret void 9 } 10 11 define i32 @t1(i32 %a) nounwind ssp { 12 entry: 13 ; CHECK: t1 14 ; CHECK: str w0, [sp, #12] 15 ; CHECK-NEXT: ldr w0, [sp, #12] 16 ; CHECK: ret 17 %a.addr = alloca i32, align 4 18 store i32 %a, i32* %a.addr, align 4 19 %tmp = load i32, i32* %a.addr, align 4 20 ret i32 %tmp 21 } 22 23 define i64 @t2(i64 %a) nounwind ssp { 24 entry: 25 ; CHECK: t2 26 ; CHECK: str x0, [sp, #8] 27 ; CHECK-NEXT: ldr x0, [sp, #8] 28 ; CHECK: ret 29 %a.addr = alloca i64, align 8 30 store i64 %a, i64* %a.addr, align 8 31 %tmp = load i64, i64* %a.addr, align 8 32 ret i64 %tmp 33 } 34 35 define signext i16 @ret_i16(i16 signext %a) nounwind { 36 entry: 37 ; CHECK: @ret_i16 38 ; CHECK: sxth w0, w0 39 %a.addr = alloca i16, align 1 40 store i16 %a, i16* %a.addr, align 1 41 %0 = load i16, i16* %a.addr, align 1 42 ret i16 %0 43 } 44 45 define signext i8 @ret_i8(i8 signext %a) nounwind { 46 entry: 47 ; CHECK: @ret_i8 48 ; CHECK: sxtb w0, w0 49 %a.addr = alloca i8, align 1 50 store i8 %a, i8* %a.addr, align 1 51 %0 = load i8, i8* %a.addr, align 1 52 ret i8 %0 53 } 54 55 define signext i1 @ret_i1(i1 signext %a) nounwind { 56 entry: 57 ; CHECK: @ret_i1 58 ; CHECK: and w0, w0, #0x1 59 %a.addr = alloca i1, align 1 60 store i1 %a, i1* %a.addr, align 1 61 %0 = load i1, i1* %a.addr, align 1 62 ret i1 %0 63 } 64
