29 lines · plain
1# RUN: llc -mtriple=aarch64-none-linux-gnu -run-pass=aarch64-expand-pseudo -o - %s | FileCheck %s2 3# When expanding a BLR_BTI, we should copy all the operands to the branch in the4# bundle. Otherwise we could end up using a register after the BL which was5# clobbered by the function that was called, or overwriting an argument to that6# function before we take the branch.7#8# The arguments to the call must become implicit arguments, because the branch9# only expects to get 1 explicit operand which is the branch target.10 11# CHECK: BUNDLE implicit-def dead $lr, implicit-def $sp, implicit $sp, implicit $x0, implicit $w1 {12# CHECK: BL @_setjmp, csr_aarch64_aapcs, implicit-def $lr, implicit $sp, implicit $x0, implicit $w1, implicit-def dead $lr, implicit $sp, implicit-def $sp13# CHECK: HINT 3614# CHECK: }15 16--- |17 define void @a() {18 ret void19 }20 21 declare void @_setjmp(...)22...23---24name: a25body: |26 bb.0:27 BLR_BTI @_setjmp, $x0, $w1, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit-def $sp28...29