llvm/test/CodeGen/AArch64/machine-outliner-unsafe-range-at-beginning.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_beginning
   7 tracksRegLiveness: true
   8 machineFunctionInfo:
   9   hasRedZone:      false
  10 body:             |
  11   bb.0:
  12     liveins: $x0, $x9
  13     ; Don't outline any of this
  14     ; CHECK-LABEL: name: unsafe_range_at_beginning
  15     ; CHECK: liveins: $x0, $x9
  16     ; CHECK-NEXT: {{  $}}
  17     ; CHECK-NEXT: $x16 = ADDXri $x0, 16, 0
  18     ; CHECK-NEXT: $x9 = ADDXri $x9, 16, 0
  19     ; CHECK-NEXT: $x9 = ADDXri $x9, 16, 0
  20     ; CHECK-NEXT: $x9 = ADDXri $x9, 16, 0
  21     ; CHECK-NEXT: $x9 = ADDXri $x9, 16, 0
  22     ; CHECK-NEXT: $x9 = ADDXri $x9, 16, 0
  23     ; CHECK-NEXT: $x9 = ADDXri $x9, 16, 0
  24     ; CHECK-NEXT: $x16 = ADDXri killed $x16, 16, 0
  25     ; 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
  26     ; CHECK-NEXT: $x8 = ADDXri $x3, 3, 0
  27     ; 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
  28     ; CHECK-NEXT: RET undef $x9
  29     $x16 = ADDXri $x0, 16, 0
  30     $x9 = ADDXri $x9, 16, 0
  31     $x9 = ADDXri $x9, 16, 0
  32     $x9 = ADDXri $x9, 16, 0
  33     $x9 = ADDXri $x9, 16, 0
  34     $x9 = ADDXri $x9, 16, 0
  35     $x9 = ADDXri $x9, 16, 0
  36     $x16 = ADDXri killed $x16, 16, 0
  37
  38     ; Outline
  39     $x0 = ADDXri $x0, 0, 0
  40     $x1 = ADDXri $x0, 1, 0
  41     $x2 = ADDXri $x0, 2, 0
  42     $x3 = ADDXri $x0, 3, 0
  43
  44     ; Split here
  45     $x8 = ADDXri $x3, 3, 0
  46
  47     ; Outline
  48     $x0 = ADDXri $x0, 0, 0
  49     $x1 = ADDXri $x0, 1, 0
  50     $x2 = ADDXri $x0, 2, 0
  51     $x3 = ADDXri $x0, 3, 0
  52     RET undef $x9