llvm/test/CodeGen/AArch64/machine-outliner-side-effect-2.mir

   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
   4 # when implict-def and implict use of $x0 in the same instruction.
   5
   6 --- |
   7   declare void @spam() local_unnamed_addr
   8   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 ---
  13 name:            bax
  14 tracksRegLiveness: true
  15 body:             |
  16   bb.0:
  17     liveins: $x0, $lr
  18
  19     $x1 = ADDXri $sp, 16, 0
  20     BL @spam, csr_darwin_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit killed $x1, implicit-def $sp, implicit-def $x0
  21     renamable $x1 = COPY $x0
  22
  23     RET_ReallyLR
  24
  25 ...
  26 ---
  27 name:            bay
  28 tracksRegLiveness: true
  29 body:             |
  30   bb.0:
  31     liveins: $x0, $lr
  32
  33     $x1 = ADDXri $sp, 16, 0
  34     BL @spam, csr_darwin_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit killed $x1, implicit-def $sp, implicit-def $x0
  35     renamable $x2 = COPY $x0
  36
  37     RET_ReallyLR
  38
  39 ...
  40 ---
  41 name:            baz
  42 tracksRegLiveness: true
  43 body:             |
  44   bb.0:
  45     liveins: $x0, $lr
  46
  47     $x1 = ADDXri $sp, 16, 0
  48     BL @spam, csr_darwin_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit killed $x1, implicit-def $sp, implicit-def $x0
  49     renamable $x3 = COPY $x0
  50
  51     RET_ReallyLR
  52
  53 ...
  54
  55 # CHECK: BL @OUTLINED_FUNCTION_0, {{.*}}, implicit $x0{{.*}}