# RUN: llc -march=x86-64 -run-pass none -o - %s | FileCheck %s
# This test ensures that the MIR parser parses fixed stack objects correctly.
--- |
define i32 @test(i32 %a) #0 {
entry:
%b = alloca i32
store i32 %a, ptr %b
%c = load i32, ptr %b
ret i32 %c
}
attributes #0 = { "frame-pointer"="none" }
...
---
name: test
frameInfo:
maxAlignment: 4
# CHECK: fixedStack:
# CHECK-NEXT: - { id: 0, type: spill-slot, offset: 0, size: 4, alignment: 4, stack-id: default,
# CHECK-NEXT: callee-saved-register: '', callee-saved-restored: true, debug-info-variable: '',
# CHECK-NEXT: debug-info-expression: '', debug-info-location: '' }
fixedStack:
- { id: 0, type: spill-slot, offset: 0, size: 4, alignment: 4 }
stack:
- { id: 0, offset: -12, size: 4, alignment: 4 }
body: |
bb.0.entry:
MOV32mr $rsp, 1, _, -4, _, $edi
$eax = COPY $edi
RET64 $eax
...