| ; RUN: llc -verify-machineinstrs -enable-machine-outliner -mtriple \ |
| ; RUN: aarch64 %s -o - | FileCheck %s --check-prefixes CHECK,V8A |
| ; RUN-V83A: llc -verify-machineinstrs -enable-machine-outliner -mtriple \ |
| ; RUN-V83A: aarch64 -mattr=+v8.3a %s -o - > %t |
| ; RUN-V83A: FileCheck --check-prefixes CHECK,V83A < %t %s |
| |
| ; Function a's outlining candidate contains a sp modifying add without a |
| ; corresponsing sub, so we shouldn't outline it. |
| define void @a() "sign-return-address"="all" "sign-return-address-key"="b_key" { |
| ; CHECK-LABEL: a: // @a |
| ; CHECK: // %bb.0: |
| ; CHECK-NEXT: .cfi_b_key_frame |
| ; V8A-NEXT: hint #27 |
| ; V83A-NEXT: pacibsp |
| ; V8A-NEXT, V83A-NEXT: .cfi_negate_ra_state |
| %1 = alloca i32, align 4 |
| %2 = alloca i32, align 4 |
| %3 = alloca i32, align 4 |
| %4 = alloca i32, align 4 |
| %5 = alloca i32, align 4 |
| %6 = alloca i32, align 4 |
| store i32 1, ptr %1, align 4 |
| store i32 2, ptr %2, align 4 |
| store i32 3, ptr %3, align 4 |
| store i32 4, ptr %4, align 4 |
| store i32 5, ptr %5, align 4 |
| store i32 6, ptr %6, align 4 |
| ; CHECK-NOT: bl OUTLINED_FUNCTION_{{[0-9]+}} |
| ; V8A: hint #31 |
| ; V83A: autibsp |
| ; V8A-NEXT, V83A-NEXT: .cfi_negate_ra_state |
| ; V8A-NEXT, V83A-NEXT: ret |
| ret void |
| } |
| |
| define void @b() "sign-return-address"="all" "sign-return-address-key"="b_key" nounwind { |
| ; CHECK-LABEL: b: // @b |
| ; CHECK-NEXT: // %bb.0: |
| ; V8A-NEXT: hint #27 |
| ; V83A-NEXT: pacibsp |
| %1 = alloca i32, align 4 |
| %2 = alloca i32, align 4 |
| %3 = alloca i32, align 4 |
| %4 = alloca i32, align 4 |
| %5 = alloca i32, align 4 |
| %6 = alloca i32, align 4 |
| store i32 1, ptr %1, align 4 |
| store i32 2, ptr %2, align 4 |
| store i32 3, ptr %3, align 4 |
| store i32 4, ptr %4, align 4 |
| store i32 5, ptr %5, align 4 |
| store i32 6, ptr %6, align 4 |
| ; CHECK: bl [[OUTLINED_FUNC:OUTLINED_FUNCTION_[0-9]+]] |
| ; V8A: hint #31 |
| ; V83A: autibsp |
| ; V8A-NEXT, V83A-NEXT: ret |
| ret void |
| } |
| |
| define void @c() "sign-return-address"="all" "sign-return-address-key"="b_key" nounwind { |
| ; CHECK-LABEL: c: // @c |
| ; CHECK-NEXT: // %bb.0: |
| ; V8A-NEXT: hint #27 |
| ; V83A-NEXT: pacibsp |
| %1 = alloca i32, align 4 |
| %2 = alloca i32, align 4 |
| %3 = alloca i32, align 4 |
| %4 = alloca i32, align 4 |
| %5 = alloca i32, align 4 |
| %6 = alloca i32, align 4 |
| store i32 1, ptr %1, align 4 |
| store i32 2, ptr %2, align 4 |
| store i32 3, ptr %3, align 4 |
| store i32 4, ptr %4, align 4 |
| store i32 5, ptr %5, align 4 |
| store i32 6, ptr %6, align 4 |
| ; CHECK: bl [[OUTLINED_FUNC]] |
| ; V8A: hint #31 |
| ; V83A: autibsp |
| ; V8A-NEXT, V83A-NEXT: ret |
| ret void |
| } |
| |
| ; CHECK: [[OUTLINED_FUNC]] |
| ; CHECK: // %bb.0: |
| ; V8A-NEXT: hint #27 |
| ; V83A-NEXT: pacibsp |
| ; V8A: hint #31 |
| ; V83A: autibsp |
| ; V8A-NEXT, V83A-NEXT: ret |