68 lines · plain
1; RUN: llc -verify-machineinstrs -o - %s -mtriple=aarch64-linux-gnu -mattr=+reserve-x18 | FileCheck %s2; RUN: not --crash llc -verify-machineinstrs -o - %s -mtriple=arm64-apple-darwin 2>&1 | FileCheck %s --check-prefix=DARWIN3 4; DARWIN: ShadowCallStack attribute not supported on Darwin.5 6define void @f1() shadowcallstack {7 ; CHECK: f1:8 ; CHECK-NOT: x189 ; CHECK: ret10 ret void11}12 13declare void @foo()14 15define void @f2() shadowcallstack {16 ; CHECK: f2:17 ; CHECK-NOT: x1818 ; CHECK: b foo19 tail call void @foo()20 ret void21}22 23declare i32 @bar()24 25define i32 @f3() shadowcallstack {26 ; CHECK: f3:27 ; CHECK: str x30, [x18], #828 ; CHECK: .cfi_escape 0x16, 0x12, 0x02, 0x82, 0x7829 ; CHECK: str x30, [sp, #-16]!30 %res = call i32 @bar()31 %res1 = add i32 %res, 132 ; CHECK: ldr x30, [sp], #1633 ; CHECK: ldr x30, [x18, #-8]!34 ; CHECK: ret35 ret i32 %res36}37 38define i32 @f4() shadowcallstack {39 ; CHECK: f4:40 %res1 = call i32 @bar()41 %res2 = call i32 @bar()42 %res3 = call i32 @bar()43 %res4 = call i32 @bar()44 %res12 = add i32 %res1, %res245 %res34 = add i32 %res3, %res446 %res1234 = add i32 %res12, %res3447 ; CHECK: ldp x30,{{.*}}, [sp48 ; CHECK: ldr x30, [x18, #-8]!49 ; CHECK: ret50 ret i32 %res123451}52 53define i32 @f5() shadowcallstack nounwind {54 ; CHECK: f5:55 ; CHECK-NOT: .cfi_escape56 %res = call i32 @bar()57 %res1 = add i32 %res, 158 ret i32 %res59}60 61define i32 @f6() shadowcallstack nounwind uwtable {62 ; CHECK: f6:63 ; CHECK: .cfi_escape 0x16, 0x12, 0x02, 0x82, 0x7864 %res = call i32 @bar()65 %res1 = add i32 %res, 166 ret i32 %res67}68