bool parseOperandsOffset(MachineOperand &Op);
bool parseIRValue(Value *&V);
bool parseMemoryOperandFlag(unsigned &Flags);
+ bool parseMemoryPseudoSourceValue(const PseudoSourceValue *&PSV);
+ bool parseMachinePointerInfo(MachinePointerInfo &Dest);
bool parseMachineMemoryOperand(MachineMemOperand *&Dest);
private:
return false;
}
+bool MIParser::parseMemoryPseudoSourceValue(const PseudoSourceValue *&PSV) {
+ switch (Token.kind()) {
+ case MIToken::kw_constant_pool:
+ PSV = MF.getPSVManager().getConstantPool();
+ break;
+ // TODO: Parse the other pseudo source values.
+ default:
+ llvm_unreachable("The current token should be pseudo source value");
+ }
+ lex();
+ return false;
+}
+
+bool MIParser::parseMachinePointerInfo(MachinePointerInfo &Dest) {
+ if (Token.is(MIToken::kw_constant_pool)) {
+ const PseudoSourceValue *PSV = nullptr;
+ if (parseMemoryPseudoSourceValue(PSV))
+ return true;
+ int64_t Offset = 0;
+ if (parseOffset(Offset))
+ return true;
+ Dest = MachinePointerInfo(PSV, Offset);
+ return false;
+ }
+ if (Token.isNot(MIToken::NamedIRValue))
+ return error("expected an IR value reference");
+ Value *V = nullptr;
+ if (parseIRValue(V))
+ return true;
+ if (!V->getType()->isPointerTy())
+ return error("expected a pointer IR value");
+ lex();
+ int64_t Offset = 0;
+ if (parseOffset(Offset))
+ return true;
+ Dest = MachinePointerInfo(V, Offset);
+ return false;
+}
+
bool MIParser::parseMachineMemoryOperand(MachineMemOperand *&Dest) {
if (expectAndConsume(MIToken::lparen))
return true;
return error(Twine("expected '") + Word + "'");
lex();
- // TODO: Parse pseudo source values.
- if (Token.isNot(MIToken::NamedIRValue))
- return error("expected an IR value reference");
- Value *V = nullptr;
- if (parseIRValue(V))
- return true;
- if (!V->getType()->isPointerTy())
- return error("expected a pointer IR value");
- lex();
- int64_t Offset = 0;
- if (parseOffset(Offset))
+ MachinePointerInfo Ptr = MachinePointerInfo();
+ if (parseMachinePointerInfo(Ptr))
return true;
unsigned BaseAlignment = Size;
if (Token.is(MIToken::comma)) {
// TODO: Parse the attached metadata nodes.
if (expectAndConsume(MIToken::rparen))
return true;
-
- Dest = MF.getMachineMemOperand(MachinePointerInfo(V, Offset), Flags, Size,
- BaseAlignment);
+ Dest = MF.getMachineMemOperand(Ptr, Flags, Size, BaseAlignment);
return false;
}
OS << "store ";
}
OS << Op.getSize() << (Op.isLoad() ? " from " : " into ");
- if (const Value *Val = Op.getValue())
+ if (const Value *Val = Op.getValue()) {
printIRValueReference(*Val);
- // TODO: Print PseudoSourceValue.
+ } else {
+ const PseudoSourceValue *PVal = Op.getPseudoValue();
+ assert(PVal && "Expected a pseudo source value");
+ switch (PVal->kind()) {
+ case PseudoSourceValue::ConstantPool:
+ OS << "constant-pool";
+ break;
+ default:
+ // TODO: Print the other pseudo source values.
+ OS << "<unserializable pseudo value>";
+ break;
+ }
+ }
printOffset(Op.getOffset());
if (Op.getBaseAlignment() != Op.getSize())
OS << ", align " << Op.getBaseAlignment();
ret void
}
+ define double @constant_pool_psv(double %a) {
+ entry:
+ %b = fadd double %a, 3.250000e+00
+ ret double %b
+ }
+
...
---
name: test
- 'MOVAPSmr killed %rdi, 1, _, 16, _, killed %xmm1 :: (store 16 into %ir.vec + 16, align 32)'
- RETQ
...
+---
+name: constant_pool_psv
+tracksRegLiveness: true
+liveins:
+ - { reg: '%xmm0' }
+constants:
+ - id: 0
+ value: 'double 3.250000e+00'
+body:
+ - id: 0
+ name: entry
+ liveins: [ '%xmm0' ]
+ instructions:
+# CHECK: name: constant_pool_psv
+# CHECK: %xmm0 = ADDSDrm killed %xmm0, %rip, 1, _, %const.0, _ :: (load 8 from constant-pool)
+# CHECK-NEXT: %xmm0 = ADDSDrm killed %xmm0, %rip, 1, _, %const.0, _ :: (load 8 from constant-pool + 8)
+ - '%xmm0 = ADDSDrm killed %xmm0, %rip, 1, _, %const.0, _ :: (load 8 from constant-pool)'
+ - '%xmm0 = ADDSDrm killed %xmm0, %rip, 1, _, %const.0, _ :: (load 8 from constant-pool + 8)'
+ - 'RETQ %xmm0'
+...