1 ; RUN: llc -verify-machineinstrs -enable-machine-outliner -mtriple \
2 ; RUN: aarch64 %s -o - | FileCheck %s --check-prefixes CHECK,V8A
3 ; RUN-V83A: llc -verify-machineinstrs -enable-machine-outliner -mtriple \
4 ; RUN-V83A: aarch64 -mattr=+v8.3a %s -o - > %t
5 ; RUN-V83A: FileCheck --check-prefixes CHECK,V83A < %t %s
7 define void @a() "sign-return-address"="all" {
8 ; CHECK-LABEL: a: // @a
11 ; CHECK-NEXT: .cfi_negate_ra_state
12 %1 = alloca i32, align 4
13 %2 = alloca i32, align 4
14 %3 = alloca i32, align 4
15 %4 = alloca i32, align 4
16 %5 = alloca i32, align 4
17 %6 = alloca i32, align 4
18 store i32 1, ptr %1, align 4
19 store i32 2, ptr %2, align 4
20 store i32 3, ptr %3, align 4
21 store i32 4, ptr %4, align 4
22 store i32 5, ptr %5, align 4
23 store i32 6, ptr %6, align 4
30 define void @b() "sign-return-address"="non-leaf" {
31 ; CHECK-LABE: b: // @b
34 ; CHECK-NOT: .cfi_negate_ra_state
35 %1 = alloca i32, align 4
36 %2 = alloca i32, align 4
37 %3 = alloca i32, align 4
38 %4 = alloca i32, align 4
39 %5 = alloca i32, align 4
40 %6 = alloca i32, align 4
41 store i32 1, ptr %1, align 4
42 store i32 2, ptr %2, align 4
43 store i32 3, ptr %3, align 4
44 store i32 4, ptr %4, align 4
45 store i32 5, ptr %5, align 4
46 store i32 6, ptr %6, align 4
53 define void @c() "sign-return-address"="all" {
54 ; CHECK-LABEL: c: // @c
57 ; V8A-NEXT, V83A-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