xref: /llvm-project/llvm/test/CodeGen/ARM/fpoffset_overflow.mir (revision 537d0391049745ea4b4d71c2aa63129d2ba6f55c) 
1# RUN: llc -o - %s -mtriple=thumbv7-- -run-pass=stack-protector -run-pass=prologepilog | FileCheck %s
2---
3# This should trigger an emergency spill in the register scavenger because the
4# frame offset into the large argument is too large.
5# CHECK-LABEL: name: func0
6# CHECK: t2STRi12 killed [[SPILLED:%r[0-9]+]], %sp, 0, 14, _ :: (store 4 into %stack.0)
7# CHECK: [[SPILLED]] = t2ADDri killed %sp, 4096, 14, _, _
8# CHECK: %sp = t2LDRi12 killed [[SPILLED]], 40, 14, _ :: (load 4)
9# CHECK: [[SPILLED]] = t2LDRi12 %sp, 0, 14, _ :: (load 4 from %stack.0)
10name: func0
11tracksRegLiveness: true
12fixedStack:
13  - { id: 0, offset: 4084, size: 4, alignment: 4, isImmutable: true,
14      isAliased: false }
15  - { id: 1, offset: -12, size: 4096, alignment: 4, isImmutable: false,
16      isAliased: false }
17body: |
18  bb.0:
19    %r0 = IMPLICIT_DEF
20    %r1 = IMPLICIT_DEF
21    %r2 = IMPLICIT_DEF
22    %r3 = IMPLICIT_DEF
23    %r4 = IMPLICIT_DEF
24    %r5 = IMPLICIT_DEF
25    %r6 = IMPLICIT_DEF
26    %r7 = IMPLICIT_DEF
27    %r8 = IMPLICIT_DEF
28    %r9 = IMPLICIT_DEF
29    %r10 = IMPLICIT_DEF
30    %r11 = IMPLICIT_DEF
31    %r12 = IMPLICIT_DEF
32    %lr = IMPLICIT_DEF
33
34    %sp = t2LDRi12 %fixed-stack.0, 0, 14, _ :: (load 4)
35
36    KILL %r0
37    KILL %r1
38    KILL %r2
39    KILL %r3
40    KILL %r4
41    KILL %r5
42    KILL %r6
43    KILL %r7
44    KILL %r8
45    KILL %r9
46    KILL %r10
47    KILL %r11
48    KILL %r12
49    KILL %lr
50...
51---
52# This should not trigger an emergency spill yet.
53# CHECK-LABEL: name: func1
54# CHECK-NOT: t2STRi12
55# CHECK-NOT: t2ADDri
56# CHECK: %r11 = t2LDRi12 %sp, 4092, 14, _ :: (load 4)
57# CHECK-NOT: t2LDRi12
58name: func1
59tracksRegLiveness: true
60fixedStack:
61  - { id: 0, offset: 4044, size: 4, alignment: 4, isImmutable: true,
62      isAliased: false }
63  - { id: 1, offset: -12, size: 4056, alignment: 4, isImmutable: false,
64      isAliased: false }
65body: |
66  bb.0:
67    %r0 = IMPLICIT_DEF
68    %r1 = IMPLICIT_DEF
69    %r2 = IMPLICIT_DEF
70    %r3 = IMPLICIT_DEF
71    %r4 = IMPLICIT_DEF
72    %r5 = IMPLICIT_DEF
73    %r6 = IMPLICIT_DEF
74    %r8 = IMPLICIT_DEF
75    %r9 = IMPLICIT_DEF
76    %r10 = IMPLICIT_DEF
77    %r11 = IMPLICIT_DEF
78    %r12 = IMPLICIT_DEF
79    %lr = IMPLICIT_DEF
80
81    %r11 = t2LDRi12 %fixed-stack.0, 0, 14, _ :: (load 4)
82
83    KILL %r0
84    KILL %r1
85    KILL %r2
86    KILL %r3
87    KILL %r4
88    KILL %r5
89    KILL %r6
90    KILL %r8
91    KILL %r9
92    KILL %r10
93    KILL %r11
94    KILL %r12
95    KILL %lr
96...
97