llvm/test/CodeGen/LoongArch/stack-probing-frame-setup.mir

# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
# RUN: llc -mtriple=loongarch64 -x mir -run-pass=prolog-epilog -verify-machineinstrs < %s | FileCheck %s --check-prefix=LA64
# RUN: llc -mtriple=loongarch32 -x mir -run-pass=prolog-epilog -verify-machineinstrs < %s | FileCheck %s --check-prefix=LA32

--- |
  ; Function Attrs: uwtable
  define void @no_reserved_call_frame(i64 %n) #0 {
  entry:
    %v = alloca i32, i64 %n, align 4
    call void @callee_stack_args(ptr %v, [518 x i64] poison)
    ret void
  }

  declare void @callee_stack_args(ptr, [518 x i64])

  attributes #0 = { uwtable "frame-pointer"="none" "probe-stack"="inline-asm" }
...
---
name:            no_reserved_call_frame
alignment:       4
exposesReturnsTwice: false
legalized:       false
regBankSelected: false
selected:        false
failedISel:      false
tracksRegLiveness: true
hasWinCFI:       false
noPhis:          true
isSSA:           false
noVRegs:         true
hasFakeUses:     false
callsEHReturn:   false
callsUnwindInit: false
hasEHContTarget: false
hasEHScopes:     false
hasEHFunclets:   false
isOutlined:      false
debugInstrRef:   false
failsVerification: false
tracksDebugUserValues: true
registers:       []
liveins:
  - { reg: '$r4', virtual-reg: '' }
frameInfo:
  isFrameAddressTaken: false
  isReturnAddressTaken: false
  hasStackMap:     false
  hasPatchPoint:   false
  stackSize:       0
  offsetAdjustment: 0
  maxAlignment:    8
  adjustsStack:    true
  hasCalls:        true
  framePointerPolicy: none
  stackProtector:  ''
  functionContext: ''
  maxCallFrameSize: 4294967295
  cvBytesOfCalleeSavedRegisters: 0
  hasOpaqueSPAdjustment: false
  hasVAStart:      false
  hasMustTailInVarArgFunc: false
  hasTailCall:     false
  isCalleeSavedInfoValid: false
  localFrameSize:  0
fixedStack:      []
stack:
  - { id: 0, name: v, type: variable-sized, offset: 0, alignment: 1, stack-id: default,
      callee-saved-register: '', callee-saved-restored: true, debug-info-variable: '',
      debug-info-expression: '', debug-info-location: '' }
entry_values:    []
callSites:       []
debugValueSubstitutions: []
constants:       []
machineFunctionInfo: {}
body:             |
  ; LA64-LABEL: name: no_reserved_call_frame
  ; LA64: bb.0.entry:
  ; LA64-NEXT:   successors: %bb.1(0x80000000)
  ; LA64-NEXT:   liveins: $r4, $r1
  ; LA64-NEXT: {{  $}}
  ; LA64-NEXT:   $r3 = frame-setup ADDI_D $r3, -16
  ; LA64-NEXT:   frame-setup CFI_INSTRUCTION def_cfa_offset 16
  ; LA64-NEXT:   ST_D killed $r1, $r3, 8 :: (store (s64) into %stack.1)
  ; LA64-NEXT:   ST_D killed $r22, $r3, 0 :: (store (s64) into %stack.2)
  ; LA64-NEXT:   frame-setup CFI_INSTRUCTION offset $r1, -8
  ; LA64-NEXT:   frame-setup CFI_INSTRUCTION offset $r22, -16
  ; LA64-NEXT:   $r22 = frame-setup ADDI_D $r3, 16
  ; LA64-NEXT:   frame-setup CFI_INSTRUCTION def_cfa $r22, 0
  ; LA64-NEXT:   renamable $r4 = SLLI_D killed renamable $r4, 2
  ; LA64-NEXT:   renamable $r4 = nuw ADDI_D killed renamable $r4, 15
  ; LA64-NEXT:   renamable $r4 = BSTRINS_D killed renamable $r4, $r0, 3, 0
  ; LA64-NEXT:   renamable $r4 = SUB_D $r3, killed renamable $r4
  ; LA64-NEXT:   renamable $r5 = LU12I_W 1
  ; LA64-NEXT: {{  $}}
  ; LA64-NEXT: bb.1.entry:
  ; LA64-NEXT:   successors: %bb.2(0x40000000), %bb.1(0x40000000)
  ; LA64-NEXT:   liveins: $r4, $r5
  ; LA64-NEXT: {{  $}}
  ; LA64-NEXT:   $r3 = SUB_D $r3, renamable $r5
  ; LA64-NEXT:   ST_D $r0, $r3, 0
  ; LA64-NEXT:   BLTU renamable $r4, $r3, %bb.1
  ; LA64-NEXT: {{  $}}
  ; LA64-NEXT: bb.2.entry:
  ; LA64-NEXT:   liveins: $r4
  ; LA64-NEXT: {{  $}}
  ; LA64-NEXT:   $r3 = OR renamable $r4, $r0
  ; LA64-NEXT:   $r5 = LU12I_W 1
  ; LA64-NEXT:   $r3 = SUB_D $r3, killed $r5
  ; LA64-NEXT:   PseudoCALL_MEDIUM target-flags(loongarch-call-plt) @callee_stack_args, csr_ilp32d_lp64d, implicit-def dead $r1, implicit-def dead $r20, implicit $r4, implicit undef $r5, implicit undef $r6, implicit undef $r7, implicit undef $r8, implicit undef $r9, implicit undef $r10, implicit undef $r11, implicit-def $r3
  ; LA64-NEXT:   $r4 = LU12I_W 1
  ; LA64-NEXT:   $r3 = ADD_D $r3, killed $r4
  ; LA64-NEXT:   $r3 = frame-destroy ADDI_D $r22, -16
  ; LA64-NEXT:   $r22 = LD_D $r3, 0 :: (load (s64) from %stack.2)
  ; LA64-NEXT:   $r1 = LD_D $r3, 8 :: (load (s64) from %stack.1)
  ; LA64-NEXT:   $r3 = frame-destroy ADDI_D $r3, 16
  ; LA64-NEXT:   PseudoRET
  ;
  ; LA32-LABEL: name: no_reserved_call_frame
  ; LA32: bb.0.entry:
  ; LA32-NEXT:   successors: %bb.1(0x80000000)
  ; LA32-NEXT:   liveins: $r4, $r1
  ; LA32-NEXT: {{  $}}
  ; LA32-NEXT:   $r3 = frame-setup ADDI_W $r3, -16
  ; LA32-NEXT:   frame-setup CFI_INSTRUCTION def_cfa_offset 16
  ; LA32-NEXT:   ST_W killed $r1, $r3, 12 :: (store (s32) into %stack.1)
  ; LA32-NEXT:   ST_W killed $r22, $r3, 8 :: (store (s32) into %stack.2)
  ; LA32-NEXT:   frame-setup CFI_INSTRUCTION offset $r1, -4
  ; LA32-NEXT:   frame-setup CFI_INSTRUCTION offset $r22, -8
  ; LA32-NEXT:   $r22 = frame-setup ADDI_W $r3, 16
  ; LA32-NEXT:   frame-setup CFI_INSTRUCTION def_cfa $r22, 0
  ; LA32-NEXT:   renamable $r4 = SLLI_D killed renamable $r4, 2
  ; LA32-NEXT:   renamable $r4 = nuw ADDI_D killed renamable $r4, 15
  ; LA32-NEXT:   renamable $r4 = BSTRINS_D killed renamable $r4, $r0, 3, 0
  ; LA32-NEXT:   renamable $r4 = SUB_D $r3, killed renamable $r4
  ; LA32-NEXT:   renamable $r5 = LU12I_W 1
  ; LA32-NEXT: {{  $}}
  ; LA32-NEXT: bb.1.entry:
  ; LA32-NEXT:   successors: %bb.2(0x40000000), %bb.1(0x40000000)
  ; LA32-NEXT:   liveins: $r4, $r5
  ; LA32-NEXT: {{  $}}
  ; LA32-NEXT:   $r3 = SUB_D $r3, renamable $r5
  ; LA32-NEXT:   ST_D $r0, $r3, 0
  ; LA32-NEXT:   BLTU renamable $r4, $r3, %bb.1
  ; LA32-NEXT: {{  $}}
  ; LA32-NEXT: bb.2.entry:
  ; LA32-NEXT:   liveins: $r4
  ; LA32-NEXT: {{  $}}
  ; LA32-NEXT:   $r3 = OR renamable $r4, $r0
  ; LA32-NEXT:   $r5 = LU12I_W 1
  ; LA32-NEXT:   $r3 = SUB_W $r3, killed $r5
  ; LA32-NEXT:   PseudoCALL_MEDIUM target-flags(loongarch-call-plt) @callee_stack_args, csr_ilp32d_lp64d, implicit-def dead $r1, implicit-def dead $r20, implicit $r4, implicit undef $r5, implicit undef $r6, implicit undef $r7, implicit undef $r8, implicit undef $r9, implicit undef $r10, implicit undef $r11, implicit-def $r3
  ; LA32-NEXT:   $r4 = LU12I_W 1
  ; LA32-NEXT:   $r3 = ADD_W $r3, killed $r4
  ; LA32-NEXT:   $r3 = frame-destroy ADDI_W $r22, -16
  ; LA32-NEXT:   $r22 = LD_W $r3, 8 :: (load (s32) from %stack.2)
  ; LA32-NEXT:   $r1 = LD_W $r3, 12 :: (load (s32) from %stack.1)
  ; LA32-NEXT:   $r3 = frame-destroy ADDI_W $r3, 16
  ; LA32-NEXT:   PseudoRET
  bb.0.entry:
    successors: %bb.1(0x80000000)
    liveins: $r4

    renamable $r4 = SLLI_D killed renamable $r4, 2
    renamable $r4 = nuw ADDI_D killed renamable $r4, 15
    renamable $r4 = BSTRINS_D killed renamable $r4, $r0, 3, 0
    renamable $r4 = SUB_D $r3, killed renamable $r4
    renamable $r5 = LU12I_W 1

  bb.1.entry:
    successors: %bb.2(0x40000000), %bb.1(0x40000000)
    liveins: $r4, $r5

    $r3 = SUB_D $r3, renamable $r5
    ST_D $r0, $r3, 0
    BLTU renamable $r4, $r3, %bb.1

  bb.2.entry:
    liveins: $r4

    $r3 = OR renamable $r4, $r0
    ADJCALLSTACKDOWN 4088, 0, implicit-def dead $r3, implicit $r3
    PseudoCALL_MEDIUM target-flags(loongarch-call-plt) @callee_stack_args, csr_ilp32d_lp64d, implicit-def dead $r1, implicit-def dead $r20, implicit $r4, implicit undef $r5, implicit undef $r6, implicit undef $r7, implicit undef $r8, implicit undef $r9, implicit undef $r10, implicit undef $r11, implicit-def $r3
    ADJCALLSTACKUP 4088, 0, implicit-def dead $r3, implicit $r3
    PseudoRET
...