aboutsummaryrefslogtreecommitdiffstats
path: root/lib/CodeGen/MachineVerifier.cpp
Commit message (Expand)AuthorAgeFilesLines
* - Add MachineInstrBundle.h and MachineInstrBundle.cpp. This includes a functionEvan Cheng2011-12-141-2/+6
* Add bundle aware API for querying instruction properties and switch the codeEvan Cheng2011-12-071-14/+14
* Remove all remaining uses of Value::getNameStr().Benjamin Kramer2011-11-151-1/+1
* Use getVNInfoBefore() when it makes sense.Jakob Stoklund Olesen2011-11-141-3/+3
* Rename SlotIndexes to match how they are used.Jakob Stoklund Olesen2011-11-131-9/+10
* Fix sub-register operand verification.Jakob Stoklund Olesen2011-10-051-12/+25
* Verify that terminators follow non-terminators.Jakob Stoklund Olesen2011-09-231-0/+13
* Lower ARM adds/subs to add/sub after adding optional CPSR operand.Andrew Trick2011-09-211-0/+3
* Stop verifying hasPHIKill() flags.Jakob Stoklund Olesen2011-09-151-11/+1
* Revert "Don't check liveness of unallocatable registers."Jakob Stoklund Olesen2011-07-301-9/+2
* Don't check liveness of unallocatable registers.Jakob Stoklund Olesen2011-07-291-2/+9
* Check for multiple defs in the machine code verifier.Jakob Stoklund Olesen2011-07-291-0/+5
* - 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
generated by cgit v1.1 at 2024-09-14 11:35:10 +0000