aboutsummaryrefslogtreecommitdiff
path: root/lib/CodeGen/MachineVerifier.cpp
AgeCommit message (Expand)Author
2010-11-17Only avoid the check if we're the last operand before the variableEric Christopher
2010-11-16Make the verifier a little quieter on instructions that it's probablyEric Christopher
2010-11-01Be more precise about verifying missing kill flags.Jakob Stoklund Olesen
2010-11-01Add kill flag verification.Jakob Stoklund Olesen
2010-11-01Add basic LiveStacks verification.Jakob Stoklund Olesen
2010-10-30Disable more of physical register live intervals verification.Jakob Stoklund Olesen
2010-10-29Print out the connected components in the verifier after complaining about theirJakob Stoklund Olesen
2010-10-28One day, physical register live ranges will be sensible.Jakob Stoklund Olesen
2010-10-27Physical registers trivially have multiple connected components all the time.Jakob Stoklund Olesen
2010-10-26Verify that live intervals are connected. If there are multiple connectedJakob Stoklund Olesen
2010-10-26Teach MachineBasicBlock::print() to annotate instructions and blocks withJakob Stoklund Olesen
2010-10-26Remmeber to print full live interval on verification error.Jakob Stoklund Olesen
2010-10-26Don't verify physical registers going into landing pads.Jakob Stoklund Olesen
2010-10-23Verify LiveIntervals against the CFG, ensuring that live-in values are live-outJakob Stoklund Olesen
2010-10-22Add more verification of LiveIntervals.Jakob Stoklund Olesen
2010-10-21Permit landing pad successor blocks when verifying basic blocks that end in anJakob Stoklund Olesen
2010-10-19Get rid of static constructors for pass registration. Instead, every pass ex...Owen Anderson
2010-10-07Now with fewer extraneous semicolons!Owen Anderson
2010-10-06Skip unused registers when verifying LiveIntervals.Jakob Stoklund Olesen
2010-10-02Stop using LiveRange in MachineVerifier.Jakob Stoklund Olesen
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