• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1# RUN: llc -mtriple=aarch64 -run-pass=machine-outliner -verify-machineinstrs %s -o - | FileCheck %s
2
3# The test checks whether the compiler updates the side effect of function @OUTLINED_FUNCTION_0 by adding the use of register x20.
4
5--- |
6  declare void @spam() local_unnamed_addr
7  define void @baz() optsize minsize noredzone { ret void }
8...
9---
10name:            baz
11tracksRegLiveness: true
12body:             |
13  bb.0:
14    liveins: $x0, $x20
15
16    $x0 = COPY renamable $x20
17    BL @spam, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit-def $sp, implicit-def $x0
18    renamable $x21 = COPY $x0
19
20    $x0 = COPY renamable $x20
21    BL @spam, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit-def $sp, implicit-def $x0
22    renamable $x22 = COPY $x0
23
24    $x0 = COPY killed renamable $x20
25    BL @spam, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit-def $sp, implicit-def $x0
26    renamable $x3 = COPY $x0
27
28    RET_ReallyLR
29
30...
31
32# CHECK: BL @OUTLINED_FUNCTION_0, {{.*}}, implicit $x20, {{.*}}
33