aboutsummaryrefslogtreecommitdiffstats
path: root/lib/CodeGen/MachineVerifier.cpp
Commit message (Expand)AuthorAgeFilesLines
* - Rename TargetInstrDesc, TargetOperandInfo to MCInstrDesc and MCOperandInfo andEvan Cheng2011-06-281-18/+19
* More refactoring. Move getRegClass from TargetOperandInfo to TargetInstrInfo.Evan Cheng2011-06-271-4/+4
* Use TRI::has{Sub,Super}ClassEq() where possible.Jakob Stoklund Olesen2011-06-021-1/+1
* Revert r128961 because it didn't include a test and causes the verifier to failCameron Zwarich2011-05-191-5/+0
* SjLj EH could produce a machine basic block that legitimately has more than oneBill Wendling2011-05-041-1/+9
* Permit blocks to branch directly to a landing pad.Jakob Stoklund Olesen2011-04-051-0/+5
* Allow kill flags on two-address instructions. They are harmless.Jakob Stoklund Olesen2011-03-311-6/+2
* Mark all uses as <undef> when joining a copy.Jakob Stoklund Olesen2011-03-311-5/+2
* Verify kill flags conservatively.Jakob Stoklund Olesen2011-02-041-18/+5
* Verify slot index ordering.Jakob Stoklund Olesen2011-01-121-0/+25
* Verify that machine instruction parent pointers are consistent.Jakob Stoklund Olesen2011-01-121-0/+5
* Replace TargetRegisterInfo::printReg with a PrintReg class that also works wi...Jakob Stoklund Olesen2011-01-091-2/+2
* Fix a MachineVerifier loop that probably didn't mean to skip the last twoJakob Stoklund Olesen2011-01-081-2/+2
* Simplify some code in MachineVerifier that was doing the correct thing, but notCameron Zwarich2010-12-281-10/+11
* Add knowledge of phi-def and phi-kill valnos to MachineVerifier's predecessorCameron Zwarich2010-12-271-1/+17
* MachineVerifier should count landing pad successors as basic blocks rather thanCameron Zwarich2010-12-201-7/+9
* Teach MachineVerifier that early clobber defs begin at USE slots and other defsCameron Zwarich2010-12-201-5/+26
* Add a missing check from r122218.Cameron Zwarich2010-12-201-1/+1
* Don't assume that an instruction ending a register's live range always readsCameron Zwarich2010-12-201-4/+18
* Ignore debug values when performing MachineVerifier liveness checks. FixesCameron Zwarich2010-12-201-1/+3
* Early clobber operands are allowed to be defined at use indices. This fixes oneCameron Zwarich2010-12-191-1/+1
* Fix PR8811 by teaching MachineVerifier about optional defs.Cameron Zwarich2010-12-191-3/+3
* Pass a Banner argument to the machine code verifier both fromJakob Stoklund Olesen2010-12-181-9/+16
* Allow missing kill flags on an untied operand of a two-address instruction whenJakob Stoklund Olesen2010-12-171-1/+6
* Only avoid the check if we're the last operand before the variableEric Christopher2010-11-171-3/+3
* Make the verifier a little quieter on instructions that it's probablyEric Christopher2010-11-161-1/+3
* Be more precise about verifying missing kill flags.Jakob Stoklund Olesen2010-11-011-2/+4
* Add kill flag verification.Jakob Stoklund Olesen2010-11-011-2/+13
* Add basic LiveStacks verification.Jakob Stoklund Olesen2010-11-011-0/+20
* Disable more of physical register live intervals verification.Jakob Stoklund Olesen2010-10-301-2/+3
* Print out the connected components in the verifier after complaining about theirJakob Stoklund Olesen2010-10-291-0/+8
* One day, physical register live ranges will be sensible.Jakob Stoklund Olesen2010-10-281-0/+5
* Physical registers trivially have multiple connected components all the time.Jakob Stoklund Olesen2010-10-271-5/+7
* Verify that live intervals are connected. If there are multiple connectedJakob Stoklund Olesen2010-10-261-1/+9
* Teach MachineBasicBlock::print() to annotate instructions and blocks withJakob Stoklund Olesen2010-10-261-2/+11
* Remmeber to print full live interval on verification error.Jakob Stoklund Olesen2010-10-261-4/+7
* Don't verify physical registers going into landing pads.Jakob Stoklund Olesen2010-10-261-0/+8
* Verify LiveIntervals against the CFG, ensuring that live-in values are live-outJakob Stoklund Olesen2010-10-231-1/+77
* Add more verification of LiveIntervals.Jakob Stoklund Olesen2010-10-221-0/+29
* Permit landing pad successor blocks when verifying basic blocks that end in anJakob Stoklund Olesen2010-10-211-5/+13
* Get rid of static constructors for pass registration. Instead, every pass ex...Owen Anderson2010-10-191-1/+3
* Now with fewer extraneous semicolons!Owen Anderson2010-10-071-1/+1
* Skip unused registers when verifying LiveIntervals.Jakob Stoklund Olesen2010-10-061-0/+5
* Stop using LiveRange in MachineVerifier.Jakob Stoklund Olesen2010-10-021-16/+15
* Now that PassInfo and Pass::ID have been separated, move the rest of the pass...Owen Anderson2010-08-231-3/+2
* Correct header.Bill Wendling2010-08-191-1/+1
* Reapply r110396, with fixes to appease the Linux buildbot gods.Owen Anderson2010-08-061-1/+1
* Add more verification of LiveIntervals.Jakob Stoklund Olesen2010-08-061-4/+58
* Don't try to verify LiveIntervals for physical registers.Jakob Stoklund Olesen2010-08-061-8/+4
* Revert r110396 to fix buildbots.Owen Anderson2010-08-061-1/+1