llvm/test/CodeGen/AArch64/machine-outliner-unsafe-range-at-end.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc %s -mtriple aarch64 -run-pass=machine-outliner -o - | FileCheck %s
   3
   4 ...
   5 ---
   6 name:           unsafe_range_at_end
   7 tracksRegLiveness: true
   8 machineFunctionInfo:
   9   hasRedZone:      false
  10 body:             |
  11   bb.0:
  12     liveins: $x0, $x9
  13     ; Begin safe range of 3 instructions
  14
  15     ; Outline
  16     ; CHECK-LABEL: name: unsafe_range_at_end
  17     ; CHECK: liveins: $x0, $x9
  18     ; CHECK-NEXT: {{  $}}
  19     ; CHECK-NEXT: BL @OUTLINED_FUNCTION_0, implicit-def $lr, implicit $sp, implicit-def $lr, implicit-def $x0, implicit-def $x1, implicit-def $x2, implicit-def $x3, implicit $x0, implicit $sp
  20     ; CHECK-NEXT: $x8 = ADDXri $x3, 3, 0
  21     ; CHECK-NEXT: BL @OUTLINED_FUNCTION_0, implicit-def $lr, implicit $sp, implicit-def $lr, implicit-def $x0, implicit-def $x1, implicit-def $x2, implicit-def $x3, implicit $x0, implicit $sp
  22     ; CHECK-NEXT: $x16 = ADDXri $x0, 16, 0
  23     ; CHECK-NEXT: $x9 = ADDXri $x9, 16, 0
  24     ; CHECK-NEXT: $x9 = ADDXri $x9, 16, 0
  25     ; CHECK-NEXT: $x9 = ADDXri $x9, 16, 0
  26     ; CHECK-NEXT: $x9 = ADDXri $x9, 16, 0
  27     ; CHECK-NEXT: $x9 = ADDXri $x9, 16, 0
  28     ; CHECK-NEXT: $x9 = ADDXri $x9, 16, 0
  29     ; CHECK-NEXT: $x16 = ADDXri killed $x16, 16, 0
  30     ; CHECK-NEXT: RET undef $x9
  31     $x0 = ADDXri $x0, 0, 0
  32     $x1 = ADDXri $x0, 1, 0
  33     $x2 = ADDXri $x0, 2, 0
  34     $x3 = ADDXri $x0, 3, 0
  35
  36     ; Split here
  37     $x8 = ADDXri $x3, 3, 0
  38
  39     ; Outline
  40     $x0 = ADDXri $x0, 0, 0
  41     $x1 = ADDXri $x0, 1, 0
  42     $x2 = ADDXri $x0, 2, 0
  43     $x3 = ADDXri $x0, 3, 0
  44
  45     ; Don't outline any of this
  46     $x16 = ADDXri $x0, 16, 0
  47     $x9 = ADDXri $x9, 16, 0
  48     $x9 = ADDXri $x9, 16, 0
  49     $x9 = ADDXri $x9, 16, 0
  50     $x9 = ADDXri $x9, 16, 0
  51     $x9 = ADDXri $x9, 16, 0
  52     $x9 = ADDXri $x9, 16, 0
  53     $x16 = ADDXri killed $x16, 16, 0
  54     RET undef $x9