aboutsummaryrefslogtreecommitdiff
path: root/lib/CodeGen/MachineVerifier.cpp
AgeCommit message (Expand)Author
2011-02-04Verify kill flags conservatively.Jakob Stoklund Olesen
2011-01-12Verify slot index ordering.Jakob Stoklund Olesen
2011-01-12Verify that machine instruction parent pointers are consistent.Jakob Stoklund Olesen
2011-01-09Replace TargetRegisterInfo::printReg with a PrintReg class that also works wi...Jakob Stoklund Olesen
2011-01-08Fix a MachineVerifier loop that probably didn't mean to skip the last twoJakob Stoklund Olesen
2010-12-28Simplify some code in MachineVerifier that was doing the correct thing, but notCameron Zwarich
2010-12-27Add knowledge of phi-def and phi-kill valnos to MachineVerifier's predecessorCameron Zwarich
2010-12-20MachineVerifier should count landing pad successors as basic blocks rather thanCameron Zwarich
2010-12-20Teach MachineVerifier that early clobber defs begin at USE slots and other defsCameron Zwarich
2010-12-20Add a missing check from r122218.Cameron Zwarich
2010-12-20Don't assume that an instruction ending a register's live range always readsCameron Zwarich
2010-12-20Ignore debug values when performing MachineVerifier liveness checks. FixesCameron Zwarich
2010-12-19Early clobber operands are allowed to be defined at use indices. This fixes oneCameron Zwarich
2010-12-19Fix PR8811 by teaching MachineVerifier about optional defs.Cameron Zwarich
2010-12-18Pass a Banner argument to the machine code verifier both fromJakob Stoklund Olesen
2010-12-17Allow missing kill flags on an untied operand of a two-address instruction whenJakob Stoklund Olesen
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