summaryrefslogtreecommitdiffstats
path: root/llvm/lib/CodeGen
diff options
context:
space:
mode:
Diffstat (limited to 'llvm/lib/CodeGen')
-rw-r--r--llvm/lib/CodeGen/MachineFunction.cpp25
-rw-r--r--llvm/lib/CodeGen/MachineFunctionPass.cpp14
2 files changed, 37 insertions, 2 deletions
diff --git a/llvm/lib/CodeGen/MachineFunction.cpp b/llvm/lib/CodeGen/MachineFunction.cpp
index e93299fccb2..a8475d29827 100644
--- a/llvm/lib/CodeGen/MachineFunction.cpp
+++ b/llvm/lib/CodeGen/MachineFunction.cpp
@@ -54,6 +54,28 @@ static cl::opt<unsigned>
void MachineFunctionInitializer::anchor() {}
+void MachineFunctionProperties::print(raw_ostream &ROS) const {
+ // Leave this function even in NDEBUG as an out-of-line anchor.
+#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
+ if (!Properties.any()) {
+ ROS << "(empty)";
+ return;
+ }
+ for (BitVector::size_type i = 0; i < Properties.size(); ++i) {
+ if (Properties[i]) {
+ switch(static_cast<Property>(i)) {
+ case Property::AllVRegsAllocated:
+ ROS << "AllVRegsAllocated ";
+ break;
+ default:
+ // TODO: Implement IsSSA/TracksLiveness when we make them properties.
+ llvm_unreachable("Unexpected value for property enum");
+ }
+ }
+ }
+#endif
+}
+
//===----------------------------------------------------------------------===//
// MachineFunction implementation
//===----------------------------------------------------------------------===//
@@ -370,6 +392,9 @@ StringRef MachineFunction::getName() const {
void MachineFunction::print(raw_ostream &OS, SlotIndexes *Indexes) const {
OS << "# Machine code for function " << getName() << ": ";
+ OS << "Properties: <";
+ getProperties().print(OS);
+ OS << "> : ";
if (RegInfo) {
OS << (RegInfo->isSSA() ? "SSA" : "Post SSA");
if (!RegInfo->tracksLiveness())
diff --git a/llvm/lib/CodeGen/MachineFunctionPass.cpp b/llvm/lib/CodeGen/MachineFunctionPass.cpp
index bd0b11a8cb5..f6cb36e1a20 100644
--- a/llvm/lib/CodeGen/MachineFunctionPass.cpp
+++ b/llvm/lib/CodeGen/MachineFunctionPass.cpp
@@ -44,8 +44,18 @@ bool MachineFunctionPass::runOnFunction(Function &F) {
MachineFunction &MF = getAnalysis<MachineFunctionAnalysis>().getMF();
MachineFunctionProperties &MFProps = MF.getProperties();
- assert(MFProps.verifyRequiredProperties(RequiredProperties) &&
- "Properties required by the pass are not met by the function");
+#ifndef NDEBUG
+ if (!MFProps.verifyRequiredProperties(RequiredProperties)) {
+ errs() << "MachineFunctionProperties required by " << getPassName()
+ << " pass are not met by function " << F.getName() << ".\n"
+ << "Required properties: ";
+ RequiredProperties.print(errs());
+ errs() << "\nCurrent properties: ";
+ MFProps.print(errs());
+ errs() << "\n";
+ llvm_unreachable("MachineFunctionProperties check failed");
+ }
+#endif
bool RV = runOnMachineFunction(MF);
OpenPOWER on IntegriCloud