case MIToken::kw_constant_pool:
PSV = MF.getPSVManager().getConstantPool();
break;
+ case MIToken::FixedStackObject: {
+ int FI;
+ if (parseFixedStackFrameIndex(FI))
+ return true;
+ PSV = MF.getPSVManager().getFixedStack(FI);
+ // The token was already consumed, so use return here instead of break.
+ return false;
+ }
// TODO: Parse the other pseudo source values.
default:
llvm_unreachable("The current token should be pseudo source value");
bool MIParser::parseMachinePointerInfo(MachinePointerInfo &Dest) {
if (Token.is(MIToken::kw_constant_pool) || Token.is(MIToken::kw_stack) ||
- Token.is(MIToken::kw_got) || Token.is(MIToken::kw_jump_table)) {
+ Token.is(MIToken::kw_got) || Token.is(MIToken::kw_jump_table) ||
+ Token.is(MIToken::FixedStackObject)) {
const PseudoSourceValue *PSV = nullptr;
if (parseMemoryPseudoSourceValue(PSV))
return true;
case PseudoSourceValue::ConstantPool:
OS << "constant-pool";
break;
+ case PseudoSourceValue::FixedStack:
+ printStackObjectReference(
+ cast<FixedStackPseudoSourceValue>(PVal)->getFrameIndex());
+ break;
default:
// TODO: Print the other pseudo source values.
OS << "<unserializable pseudo value>";
--- /dev/null
+# RUN: llc -march=x86 -start-after branch-folder -stop-after branch-folder -o /dev/null %s | FileCheck %s
+# This test ensures that the MIR parser parses fixed stack memory operands
+# correctly.
+
+--- |
+
+ define i32 @test(i32 %a) #0 {
+ entry:
+ %b = alloca i32
+ store i32 %a, i32* %b
+ %c = load i32, i32* %b
+ ret i32 %c
+ }
+
+ attributes #0 = { "no-frame-pointer-elim"="false" }
+
+...
+---
+name: test
+alignment: 4
+tracksRegLiveness: true
+frameInfo:
+ stackSize: 4
+ maxAlignment: 4
+fixedStack:
+ - { id: 0, offset: 0, size: 4, alignment: 16, isImmutable: true }
+stack:
+ - { id: 0, name: b, offset: -8, size: 4, alignment: 4 }
+body:
+ - id: 0
+ name: entry
+ instructions:
+ - 'frame-setup PUSH32r undef %eax, implicit-def %esp, implicit %esp'
+ - CFI_INSTRUCTION .cfi_def_cfa_offset 8
+# CHECK: name: test
+# CHECK: %eax = MOV32rm %esp, 1, _, 8, _ :: (load 4 from %fixed-stack.0, align 16)
+ - '%eax = MOV32rm %esp, 1, _, 8, _ :: (load 4 from %fixed-stack.0, align 16)'
+ - 'MOV32mr %esp, 1, _, 0, _, %eax :: (store 4 into %ir.b)'
+ - '%edx = POP32r implicit-def %esp, implicit %esp'
+ - 'RETL %eax'
+...