llvm/test/CodeGen/MIR/ARM/thumb2-sub-sp-t3.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 --- |
   3   ; RUN: llc --run-pass=prologepilog -o - %s | FileCheck %s
   4
   5   target datalayout = "e-m:e-p:32:32-Fi8-i64:64-v128:64:128-a:0:32-n32-S64"
   6   target triple = "thumbv7-none-none-eabi"
   7   define void @foo() #0 {
   8   entry:
   9     %v = alloca [4000 x i8], align 1
  10     %s = alloca i8*, align 4
  11     %0 = bitcast [4000 x i8]* %v to i8*
  12     store i8* %0, i8** %s, align 4
  13     %1 = load i8*, i8** %s, align 4
  14     call void @bar(i8* %1)
  15     ret void
  16   }
  17   declare void @bar(i8*) #1
  18   ; Function Attrs: nounwind
  19   declare void @llvm.stackprotector(i8*, i8**) #2
  20
  21   attributes #0 = { noinline nounwind optnone "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "frame-pointer"="all" "less-precise-fpmad"="false" "min-legal-vector-width"="0" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="generic" "target-features"="+armv7-a,+d32,+dsp,+fp64,+fpregs,+neon,+strict-align,+thumb-mode,+vfp2,+vfp2sp,+vfp3,+vfp3d16,+vfp3d16sp,+vfp3sp" "unsafe-fp-math"="false" "use-soft-float"="false" }
  22   attributes #1 = { "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "frame-pointer"="all" "less-precise-fpmad"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="generic" "target-features"="+armv7-a,+d32,+dsp,+fp64,+fpregs,+neon,+strict-align,+thumb-mode,+vfp2,+vfp2sp,+vfp3,+vfp3d16,+vfp3d16sp,+vfp3sp" "unsafe-fp-math"="false" "use-soft-float"="false" }
  23   attributes #2 = { nounwind }
  24
  25   !llvm.module.flags = !{!0, !1}
  26   !llvm.ident = !{!2}
  27
  28   !0 = !{i32 1, !"wchar_size", i32 4}
  29   !1 = !{i32 1, !"min_enum_size", i32 4}
  30   !2 = !{!"clang version 10.0.0 (git@github.com:llvm/llvm-project.git ee219345881bdf2c144d40731f055e7b36bc8bce)"}
  31
  32 ...
  33 ---
  34 name:            foo
  35 alignment:       2
  36 exposesReturnsTwice: false
  37 legalized:       false
  38 regBankSelected: false
  39 selected:        false
  40 failedISel:      false
  41 tracksRegLiveness: true
  42 hasWinCFI:       false
  43 registers:       []
  44 liveins:         []
  45 frameInfo:
  46   isFrameAddressTaken: false
  47   isReturnAddressTaken: false
  48   hasStackMap:     false
  49   hasPatchPoint:   false
  50   stackSize:       0
  51   offsetAdjustment: 0
  52   maxAlignment:    4
  53   adjustsStack:    true
  54   hasCalls:        true
  55   stackProtector:  ''
  56   maxCallFrameSize: 0
  57   cvBytesOfCalleeSavedRegisters: 0
  58   hasOpaqueSPAdjustment: false
  59   hasVAStart:      false
  60   hasMustTailInVarArgFunc: false
  61   localFrameSize:  4004
  62   savePoint:       ''
  63   restorePoint:    ''
  64 fixedStack:      []
  65 stack:
  66   - { id: 0, name: v, type: default, offset: 0, size: 4000, alignment: 1,
  67       stack-id: default, callee-saved-register: '', callee-saved-restored: true,
  68       local-offset: -4000, debug-info-variable: '', debug-info-expression: '',
  69       debug-info-location: '' }
  70   - { id: 1, name: s, type: default, offset: 0, size: 4, alignment: 4,
  71       stack-id: default, callee-saved-register: '', callee-saved-restored: true,
  72       local-offset: -4004, debug-info-variable: '', debug-info-expression: '',
  73       debug-info-location: '' }
  74 callSites:       []
  75 constants:       []
  76 machineFunctionInfo: {}
  77 body:             |
  78   bb.0.entry:
  79     ; CHECK-LABEL: name: foo
  80     ; CHECK: liveins: $lr
  81     ; CHECK: $sp = frame-setup t2STMDB_UPD $sp, 14 /* CC::al */, $noreg, killed $r7, killed $lr
  82     ; CHECK: frame-setup CFI_INSTRUCTION def_cfa_offset 8
  83     ; CHECK: frame-setup CFI_INSTRUCTION offset $lr, -4
  84     ; CHECK: frame-setup CFI_INSTRUCTION offset $r7, -8
  85     ; CHECK: $r7 = frame-setup tMOVr killed $sp, 14 /* CC::al */, $noreg
  86     ; CHECK: frame-setup CFI_INSTRUCTION def_cfa_register $r7
  87     ; CHECK: $sp = frame-setup t2SUBspImm12 killed $sp, 4008, 14 /* CC::al */, $noreg
  88     ; CHECK: renamable $r0 = t2ADDri $sp, 8, 14 /* CC::al */, $noreg, $noreg
  89     ; CHECK: t2STRi12 killed renamable $r0, $sp, 4, 14 /* CC::al */, $noreg :: (store (s32) into %ir.s)
  90     ; CHECK: renamable $r0 = t2LDRi12 $sp, 4, 14 /* CC::al */, $noreg :: (dereferenceable load (s32) from %ir.s)
  91     ; CHECK: tBL 14 /* CC::al */, $noreg, @bar, csr_aapcs, implicit-def dead $lr, implicit $sp, implicit $r0, implicit-def $sp
  92     ; CHECK: $sp = frame-destroy t2ADDspImm12 killed $sp, 4008, 14 /* CC::al */, $noreg
  93     ; CHECK: $sp = frame-destroy t2LDMIA_RET $sp, 14 /* CC::al */, $noreg, def $r7, def $pc
  94     renamable $r0 = t2ADDri %stack.0.v, 0, 14, $noreg, $noreg
  95     t2STRi12 killed renamable $r0, %stack.1.s, 0, 14, $noreg :: (store (s32) into %ir.s)
  96     renamable $r0 = t2LDRi12 %stack.1.s, 0, 14, $noreg :: (dereferenceable load (s32) from %ir.s)
  97     ADJCALLSTACKDOWN 0, 0, 14, $noreg, implicit-def dead $sp, implicit $sp
  98     tBL 14, $noreg, @bar, csr_aapcs, implicit-def dead $lr, implicit $sp, implicit $r0, implicit-def $sp
  99     ADJCALLSTACKUP 0, 0, 14, $noreg, implicit-def dead $sp, implicit $sp
 100     tBX_RET 14, $noreg
 101
 102 ...