Changeset View
Changeset View
Standalone View
Standalone View
llvm/test/CodeGen/AArch64/patchable-function-entry-bti.ll
| ; RUN: llc -mtriple=aarch64 %s -o - | FileCheck %s | ; RUN: llc -mtriple=aarch64 %s -o - | FileCheck %s | ||||
| define void @f0() "patchable-function-entry"="0" "branch-target-enforcement" { | define void @f0() "patchable-function-entry"="0" "branch-target-enforcement"="true" { | ||||
| ; CHECK-LABEL: f0: | ; CHECK-LABEL: f0: | ||||
| ; CHECK-NEXT: .Lfunc_begin0: | ; CHECK-NEXT: .Lfunc_begin0: | ||||
| ; CHECK: // %bb.0: | ; CHECK: // %bb.0: | ||||
| ; CHECK-NEXT: hint #34 | ; CHECK-NEXT: hint #34 | ||||
| ; CHECK-NEXT: ret | ; CHECK-NEXT: ret | ||||
| ; CHECK-NOT: .section __patchable_function_entries | ; CHECK-NOT: .section __patchable_function_entries | ||||
| ret void | ret void | ||||
| } | } | ||||
| ;; -fpatchable-function-entry=1 -mbranch-protection=bti | ;; -fpatchable-function-entry=1 -mbranch-protection=bti | ||||
| ;; For M=0, place the label .Lpatch0 after the initial BTI. | ;; For M=0, place the label .Lpatch0 after the initial BTI. | ||||
| define void @f1() "patchable-function-entry"="1" "branch-target-enforcement" { | define void @f1() "patchable-function-entry"="1" "branch-target-enforcement"="true" { | ||||
| ; CHECK-LABEL: f1: | ; CHECK-LABEL: f1: | ||||
| ; CHECK-NEXT: .Lfunc_begin1: | ; CHECK-NEXT: .Lfunc_begin1: | ||||
| ; CHECK-NEXT: .cfi_startproc | ; CHECK-NEXT: .cfi_startproc | ||||
| ; CHECK-NEXT: // %bb.0: | ; CHECK-NEXT: // %bb.0: | ||||
| ; CHECK-NEXT: hint #34 | ; CHECK-NEXT: hint #34 | ||||
| ; CHECK-NEXT: .Lpatch0: | ; CHECK-NEXT: .Lpatch0: | ||||
| ; CHECK-NEXT: nop | ; CHECK-NEXT: nop | ||||
| ; CHECK-NEXT: ret | ; CHECK-NEXT: ret | ||||
| ; CHECK: .section __patchable_function_entries,"awo",@progbits,f1{{$}} | ; CHECK: .section __patchable_function_entries,"awo",@progbits,f1{{$}} | ||||
| ; CHECK-NEXT: .p2align 3 | ; CHECK-NEXT: .p2align 3 | ||||
| ; CHECK-NEXT: .xword .Lpatch0 | ; CHECK-NEXT: .xword .Lpatch0 | ||||
| ret void | ret void | ||||
| } | } | ||||
| ;; -fpatchable-function-entry=2,1 -mbranch-protection=bti | ;; -fpatchable-function-entry=2,1 -mbranch-protection=bti | ||||
| define void @f2_1() "patchable-function-entry"="1" "patchable-function-prefix"="1" "branch-target-enforcement" { | define void @f2_1() "patchable-function-entry"="1" "patchable-function-prefix"="1" "branch-target-enforcement"="true" { | ||||
| ; CHECK-LABEL: .type f2_1,@function | ; CHECK-LABEL: .type f2_1,@function | ||||
| ; CHECK-NEXT: .Ltmp0: | ; CHECK-NEXT: .Ltmp0: | ||||
| ; CHECK-NEXT: nop | ; CHECK-NEXT: nop | ||||
| ; CHECK-NEXT: f2_1: | ; CHECK-NEXT: f2_1: | ||||
| ; CHECK-NEXT: .Lfunc_begin2: | ; CHECK-NEXT: .Lfunc_begin2: | ||||
| ; CHECK-NEXT: .cfi_startproc | ; CHECK-NEXT: .cfi_startproc | ||||
| ; CHECK-NEXT: // %bb.0: | ; CHECK-NEXT: // %bb.0: | ||||
| ; CHECK-NEXT: hint #34 | ; CHECK-NEXT: hint #34 | ||||
| ; CHECK-NEXT: nop | ; CHECK-NEXT: nop | ||||
| ; CHECK-NEXT: ret | ; CHECK-NEXT: ret | ||||
| ; CHECK: .Lfunc_end2: | ; CHECK: .Lfunc_end2: | ||||
| ; CHECK-NEXT: .size f2_1, .Lfunc_end2-f2_1 | ; CHECK-NEXT: .size f2_1, .Lfunc_end2-f2_1 | ||||
| ; CHECK: .section __patchable_function_entries,"awo",@progbits,f2_1{{$}} | ; CHECK: .section __patchable_function_entries,"awo",@progbits,f2_1{{$}} | ||||
| ; CHECK-NEXT: .p2align 3 | ; CHECK-NEXT: .p2align 3 | ||||
| ; CHECK-NEXT: .xword .Ltmp0 | ; CHECK-NEXT: .xword .Ltmp0 | ||||
| ret void | ret void | ||||
| } | } | ||||
| ;; -fpatchable-function-entry=1 -mbranch-protection=bti | ;; -fpatchable-function-entry=1 -mbranch-protection=bti | ||||
| ;; For M=0, don't create .Lpatch0 if the initial instruction is not BTI, | ;; For M=0, don't create .Lpatch0 if the initial instruction is not BTI, | ||||
| ;; even if other basic blocks may have BTI. | ;; even if other basic blocks may have BTI. | ||||
| define internal void @f1i(i64 %v) "patchable-function-entry"="1" "branch-target-enforcement" { | define internal void @f1i(i64 %v) "patchable-function-entry"="1" "branch-target-enforcement"="true" { | ||||
| ; CHECK-LABEL: f1i: | ; CHECK-LABEL: f1i: | ||||
| ; CHECK-NEXT: .Lfunc_begin3: | ; CHECK-NEXT: .Lfunc_begin3: | ||||
| ; CHECK: // %bb.0: | ; CHECK: // %bb.0: | ||||
| ; CHECK-NEXT: nop | ; CHECK-NEXT: nop | ||||
| ;; Other basic blocks have BTI, but they don't affect our decision to not create .Lpatch0 | ;; Other basic blocks have BTI, but they don't affect our decision to not create .Lpatch0 | ||||
| ; CHECK: .LBB{{.+}} // %sw.bb1 | ; CHECK: .LBB{{.+}} // %sw.bb1 | ||||
| ; CHECK-NEXT: hint #36 | ; CHECK-NEXT: hint #36 | ||||
| ; CHECK: .section __patchable_function_entries,"awo",@progbits,f1i{{$}} | ; CHECK: .section __patchable_function_entries,"awo",@progbits,f1i{{$}} | ||||
| Show All 25 Lines | |||||