1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
# RUN: llc -o - %s -mtriple=thumbv8.1m.main-none-none-eabi -run-pass=prologepilog | FileCheck %s
--- |
; Function Attrs: noinline nounwind optnone
define dso_local i64 @f() #0 {
entry:
%a = alloca [10 x i64], align 8
%arrayidx = getelementptr inbounds [10 x i64], [10 x i64]* %a, i32 0, i32 1
store volatile i64 1, i64* %arrayidx, align 8
%arrayidx1 = getelementptr inbounds [10 x i64], [10 x i64]* %a, i32 0, i32 1
%0 = load volatile i64, i64* %arrayidx1, align 8
ret i64 %0
}
...
---
name: f
alignment: 2
tracksRegLiveness: true
frameInfo:
maxAlignment: 8
maxCallFrameSize: 0
localFrameSize: 80
stack:
- { id: 0, name: a, size: 80, alignment: 8, local-offset: -80 }
machineFunctionInfo: {}
body: |
bb.0.entry:
; CHECK-LABEL: name: f
; CHECK: $sp = frame-setup tSUBspi $sp, 20, 14 /* CC::al */, $noreg
; CHECK: frame-setup CFI_INSTRUCTION def_cfa_offset 80
; CHECK: renamable $r0 = t2MOVi 0, 14 /* CC::al */, $noreg, $noreg
; CHECK: renamable $r1 = t2MOVi 1, 14 /* CC::al */, $noreg, $noreg
; CHECK: t2STRDi8 killed $r1, killed $r0, $sp, 8, 14 /* CC::al */, $noreg :: (volatile store 8 into %ir.arrayidx)
; CHECK: $r0, $r1 = t2LDRDi8 $sp, 8, 14 /* CC::al */, $noreg :: (volatile dereferenceable load 8 from %ir.arrayidx1)
; CHECK: $sp = frame-destroy tADDspi $sp, 20, 14 /* CC::al */, $noreg
; CHECK: tBX_RET 14 /* CC::al */, $noreg, implicit $r0, implicit $r1
renamable $r0 = t2MOVi 0, 14 /* CC::al */, $noreg, $noreg
renamable $r1 = t2MOVi 1, 14 /* CC::al */, $noreg, $noreg
t2STRDi8 killed $r1, killed $r0, %stack.0.a, 8, 14 /* CC::al */, $noreg :: (volatile store 8 into %ir.arrayidx)
$r0, $r1 = t2LDRDi8 %stack.0.a, 8, 14 /* CC::al */, $noreg :: (volatile dereferenceable load 8 from %ir.arrayidx1)
tBX_RET 14 /* CC::al */, $noreg, implicit $r0, implicit $r1
...
|
