aboutsummaryrefslogtreecommitdiff
path: root/lib/CodeGen/MachineVerifier.cpp
AgeCommit message (Expand)Author
2010-08-23Now that PassInfo and Pass::ID have been separated, move the rest of the pass...Owen Anderson
2010-08-19Correct header.Bill Wendling
2010-08-06Reapply r110396, with fixes to appease the Linux buildbot gods.Owen Anderson
2010-08-06Add more verification of LiveIntervals.Jakob Stoklund Olesen
2010-08-06Don't try to verify LiveIntervals for physical registers.Jakob Stoklund Olesen
2010-08-06Revert r110396 to fix buildbots.Owen Anderson
2010-08-05Don't verify LiveVariables if LiveIntervals is available.Jakob Stoklund Olesen
2010-08-05Don't use PassInfo* as a type identifier for passes. Instead, use the addres...Owen Anderson
2010-08-05Add basic verification of LiveIntervals.Jakob Stoklund Olesen
2010-08-05Remove double-def checking from MachineVerifier, so a register does not have toJakob Stoklund Olesen
2010-06-18Allow ARM if-converter to be run after post allocation scheduling.Evan Cheng
2010-05-18Teach the machine code verifier to use getSubRegisterRegClass().Jakob Stoklund Olesen
2010-05-14When verifying two-address instructions, check the following:Jakob Stoklund Olesen
2010-04-15Fix a bunch of namespace polution.Dan Gohman
2010-04-13Eliminate MachineBasicBlock::const_livein_iterator and makeDan Gohman
2010-04-07rename llvm::llvm_report_error -> llvm::report_fatal_errorChris Lattner
2010-02-09move target-independent opcodes out of TargetInstrInfoChris Lattner
2010-01-05Remove livein checks from machine code verifier.Jakob Stoklund Olesen
2009-12-22Remove minimal CFG sanity checks from verifier.Jakob Stoklund Olesen
2009-12-22Allow explicit %reg0 operands beyond what the .td file describes.Jakob Stoklund Olesen
2009-12-05Remove the target hook TargetInstrInfo::BlockHasNoFallThrough in favor ofDan Gohman
2009-11-20Add MachineBasicBlock::getName, and use it in place of getBasicBlock()->getName.Jakob Stoklund Olesen
2009-11-18Allow the machine verifier to be run outside the PassManager.Jakob Stoklund Olesen
2009-11-13Add MachineFunction::verify() to call the machine code verifier directly.Jakob Stoklund Olesen
2009-11-13Fix polarity of a CFG check in machine verifier.Jakob Stoklund Olesen
2009-10-31Make -print-machineinstrs more readable.Dan Gohman
2009-10-25Remove includes of Support/Compiler.h that are no longer needed after theNick Lewycky
2009-10-25Remove VISIBILITY_HIDDEN from class/struct found inside anonymous namespaces.Nick Lewycky
2009-10-07Add a few simple MachineVerifier checks for MachineMemOperands.Dan Gohman
2009-10-04Whitespace and formatting.Jakob Stoklund Olesen
2009-09-23Fix verification of explicit operands.Jakob Stoklund Olesen
2009-09-21Verify that phi instructions refer to MBBs in the CFG.Jakob Stoklund Olesen
2009-08-27Adjust the MachineBasicBlock verifier rules to be moreDan Gohman
2009-08-27Add some checks for MachineCFG consistency. Use AnalyzeBranch andDan Gohman
2009-08-23remove various std::ostream version of printing methods fromChris Lattner
2009-08-23remove std::ostream versions of printing stuff for MBB and MF,Chris Lattner
2009-08-23Change raw_fd_ostream to take flags as an optional bitmask Chris Lattner
2009-08-23remove some dead print method variants.Chris Lattner
2009-08-13Use pristine register info in machine code verifier.Jakob Stoklund Olesen
2009-08-08Clean out per-function data after the machine code verifier is done with it.Jakob Stoklund Olesen
2009-08-08Update the machine code verifier to keep up with the scavenger.Jakob Stoklund Olesen
2009-08-04Enforce stricter rules in machine code verifier.Jakob Stoklund Olesen
2009-08-02Handle <undef> flag in machine code verifier.Jakob Stoklund Olesen
2009-07-31Reapply r77654 with a fix: MachineFunctionPass's getAnalysisUsageDan Gohman
2009-07-31Revert r77654, it appears to be causing llvm-gcc bootstrap failures, and manyDaniel Dunbar
2009-07-31Manage MachineFunctions with an analysis Pass instead of the AnnotableDan Gohman
2009-07-291. Introduce a new TargetOperandInfo::getRegClass() helper methodChris Lattner
2009-07-25More migration to raw_ostream, the water has dried up around the iostream hole.Daniel Dunbar
2009-07-15Verify that there is no kill flag on tied operands on two-address instructions.Jakob Stoklund Olesen
2009-07-11Convert more assert(0)+abort() -> LLVM_UNREACHABLE,Torok Edwin