llvm/test/CodeGen/AArch64/wineh-frame-scavenge.mir

   1 # RUN: llc -o - %s -mtriple=aarch64-windows -start-before=prologepilog \
   2 # RUN:   -stop-after=prologepilog | FileCheck %s
   3 # Check where the stack variable is placed
   4
   5 # CHECK:      - { id: 0, name: '', type: default, offset: -4, size: 4, alignment: 4,
   6 # CHECK-NEXT:     stack-id: default, callee-saved-register: '', callee-saved-restored: true,
   7 # CHECK-NEXT:     local-offset: -4, debug-info-variable: '', debug-info-expression: '',
   8 # CHECK-NEXT:     debug-info-location: '' }
   9 # CHECK-NEXT: - { id: 1, name: '', type: spill-slot, offset: -16, size: 8, alignment: 16,
  10 # CHECK-NEXT:     stack-id: default, callee-saved-register: '$x23', callee-saved-restored: true,
  11 # CHECK-NEXT:     debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
  12 # CHECK-NEXT: - { id: 2, name: '', type: spill-slot, offset: -24, size: 8, alignment: 8,
  13 # CHECK-NEXT:     stack-id: default, callee-saved-register: '$x22', callee-saved-restored: true,
  14 # CHECK-NEXT:     debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
  15 # CHECK-NEXT: - { id: 3, name: '', type: spill-slot, offset: -32, size: 8, alignment: 8,
  16 # CHECK-NEXT:     stack-id: default, callee-saved-register: '$x21', callee-saved-restored: true,
  17 # CHECK-NEXT:     debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
  18 # CHECK-NEXT: - { id: 4, name: '', type: spill-slot, offset: -40, size: 8, alignment: 8,
  19 # CHECK-NEXT:     stack-id: default, callee-saved-register: '$x20', callee-saved-restored: true,
  20 # CHECK-NEXT:     debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
  21 # CHECK-NEXT: - { id: 5, name: '', type: spill-slot, offset: -48, size: 8, alignment: 8,
  22 # CHECK-NEXT:     stack-id: default, callee-saved-register: '$x19', callee-saved-restored: true,
  23 # CHECK-NEXT:     debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
  24
  25 # CHECK:      early-clobber $sp = frame-setup STPXpre killed $x19, killed $x20, $sp, -6 :: (store (s64) into %stack.4), (store (s64) into %stack.5)
  26 # CHECK-NEXT: frame-setup SEH_SaveRegP_X 19, 20, -48
  27 # CHECK-NEXT: frame-setup STPXi killed $x21, killed $x22, $sp, 2 :: (store (s64) into %stack.2), (store (s64) into %stack.3)
  28 # CHECK-NEXT: frame-setup SEH_SaveRegP 21, 22, 16
  29 # CHECK-NEXT: frame-setup STRXui killed $x23, $sp, 4 :: (store (s64) into %stack.1)
  30 # CHECK-NEXT: frame-setup SEH_SaveReg 23, 32
  31 # CHECK-NEXT: frame-setup SEH_PrologEnd
  32
  33
  34 ...
  35 ---
  36 name:            func
  37 alignment:       4
  38 exposesReturnsTwice: false
  39 legalized:       false
  40 regBankSelected: false
  41 selected:        false
  42 failedISel:      false
  43 tracksRegLiveness: true
  44 hasWinCFI:       false
  45 registers:       []
  46 liveins:         []
  47 frameInfo:
  48   isFrameAddressTaken: false
  49   isReturnAddressTaken: false
  50   hasStackMap:     false
  51   hasPatchPoint:   false
  52   stackSize:       0
  53   offsetAdjustment: 0
  54   maxAlignment:    4
  55   adjustsStack:    false
  56   hasCalls:        false
  57   stackProtector:  ''
  58   maxCallFrameSize: 0
  59   cvBytesOfCalleeSavedRegisters: 0
  60   hasOpaqueSPAdjustment: false
  61   hasVAStart:      false
  62   hasMustTailInVarArgFunc: false
  63   localFrameSize:  4
  64   savePoint:       ''
  65   restorePoint:    ''
  66 fixedStack:      []
  67 stack:
  68   - { id: 0, name: '', type: default, offset: 0, size: 4, alignment: 4,
  69       stack-id: default, callee-saved-register: '', callee-saved-restored: true,
  70       local-offset: -4, debug-info-variable: '', debug-info-expression: '',
  71       debug-info-location: '' }
  72 callSites:       []
  73 constants:       []
  74 machineFunctionInfo: {}
  75 body:             |
  76   bb.0.entry:
  77     liveins: $x0, $x23, $x21, $x22, $x19, $x20
  78
  79     renamable $x8 = ADDXri %stack.0, 0, 0
  80     $x19 = ADDXrr $x0, $x8
  81     $x20 = ADDXrr $x19, $x0
  82     $x21 = ADDXrr $x20, killed $x19
  83     $x22 = ADDXrr $x21, killed $x20
  84     $x23 = ADDXrr $x22, killed $x21
  85     $x0 = ADDXrr $x0, killed $x23
  86
  87     RET_ReallyLR
  88
  89 ...