56 lines · plain
1# RUN: llc -mtriple=aarch64 -run-pass=machine-outliner -verify-machineinstrs %s -o - | FileCheck %s2 3# The test checks whether the compiler updates the side effect of function @OUTLINED_FUNCTION_04# when implict-def and implict use of $x0 in the same instruction.5 6--- |7 declare void @spam() local_unnamed_addr8 define void @bax() optsize minsize noredzone { ret void }9 define void @bay() optsize minsize noredzone { ret void }10 define void @baz() optsize minsize noredzone { ret void }11...12---13name: bax14tracksRegLiveness: true15body: |16 bb.0:17 liveins: $x0, $lr18 19 $x1 = ADDXri $sp, 16, 020 BL @spam, csr_darwin_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit killed $x1, implicit-def $sp, implicit-def $x021 renamable $x1 = COPY $x022 23 RET_ReallyLR24 25...26---27name: bay28tracksRegLiveness: true29body: |30 bb.0:31 liveins: $x0, $lr32 33 $x1 = ADDXri $sp, 16, 034 BL @spam, csr_darwin_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit killed $x1, implicit-def $sp, implicit-def $x035 renamable $x2 = COPY $x036 37 RET_ReallyLR38 39...40---41name: baz42tracksRegLiveness: true43body: |44 bb.0:45 liveins: $x0, $lr46 47 $x1 = ADDXri $sp, 16, 048 BL @spam, csr_darwin_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit killed $x1, implicit-def $sp, implicit-def $x049 renamable $x3 = COPY $x050 51 RET_ReallyLR52 53...54 55# CHECK: BL @OUTLINED_FUNCTION_0, {{.*}}, implicit $x0{{.*}}56