1 ; RUN: llc -verify-machineinstrs -enable-machine-outliner -mtriple aarch64 %s -o - | \
2 ; RUN: FileCheck %s --check-prefixes CHECK,V8A
3 ; RUN: llc -verify-machineinstrs -enable-machine-outliner -mtriple aarch64 -mattr=+v8.3a %s -o - | \
4 ; RUN: FileCheck %s --check-prefixes CHECK,V83A
6 define void @a() "sign-return-address"="all" {
7 ; CHECK-LABEL: a: // @a
10 ; CHECK-NEXT: .cfi_negate_ra_state
11 %1 = alloca i32, align 4
12 %2 = alloca i32, align 4
13 %3 = alloca i32, align 4
14 %4 = alloca i32, align 4
15 %5 = alloca i32, align 4
16 %6 = alloca i32, align 4
17 store i32 1, ptr %1, align 4
18 store i32 2, ptr %2, align 4
19 store i32 3, ptr %3, align 4
20 store i32 4, ptr %4, align 4
21 store i32 5, ptr %5, align 4
22 store i32 6, ptr %6, align 4
29 define void @b() "sign-return-address"="non-leaf" {
30 ; CHECK-LABEL: b: // @b
33 ; CHECK-NOT: .cfi_negate_ra_state
34 %1 = alloca i32, align 4
35 %2 = alloca i32, align 4
36 %3 = alloca i32, align 4
37 %4 = alloca i32, align 4
38 %5 = alloca i32, align 4
39 %6 = alloca i32, align 4
40 store i32 1, ptr %1, align 4
41 store i32 2, ptr %2, align 4
42 store i32 3, ptr %3, align 4
43 store i32 4, ptr %4, align 4
44 store i32 5, ptr %5, align 4
45 store i32 6, ptr %6, align 4
53 define void @c() "sign-return-address"="all" {
54 ; CHECK-LABEL: c: // @c
57 ; CHECK-NEXT .cfi_negate_ra_state
58 %1 = alloca i32, align 4
59 %2 = alloca i32, align 4
60 %3 = alloca i32, align 4
61 %4 = alloca i32, align 4
62 %5 = alloca i32, align 4
63 %6 = alloca i32, align 4
64 store i32 1, ptr %1, align 4
65 store i32 2, ptr %2, align 4
66 store i32 3, ptr %3, align 4
67 store i32 4, ptr %4, align 4
68 store i32 5, ptr %5, align 4
69 store i32 6, ptr %6, align 4
76 ; CHECK-NOT: OUTLINED_FUNCTION_{{[0-9]+}}:
77 ; CHECK-NOT: // -- Begin function