aboutsummaryrefslogtreecommitdiffstats
path: root/lib/CodeGen/MachineVerifier.cpp
Commit message (Expand)AuthorAgeFilesLines
* Fix crash in machine verifier when trying to print the def of a register whic...Pete Cooper2012-07-191-0/+2
* Remove tabs.Bill Wendling2012-07-191-2/+2
* Check for extra kill flags on live-out virtual registers.Jakob Stoklund Olesen2012-06-291-0/+14
* Enforce stricter liveness rules for PHIs.Jakob Stoklund Olesen2012-06-251-6/+11
* Also verify the def index for early clobbers.Jakob Stoklund Olesen2012-06-221-2/+3
* Fix some more LiveInterval enumerations.Jakob Stoklund Olesen2012-06-201-8/+9
* Make machine verifier check the first instruction of the last bundle instead ofAkira Hatanaka2012-06-141-8/+8
* Move terminator machine verification to check MachineBasicBlock::instr_iterat...Pete Cooper2012-06-071-11/+11
* Properly verify liveness with bundled machine instructions.Jakob Stoklund Olesen2012-06-061-13/+34
* Switch all register list clients to the new MC*Iterator interface.Jakob Stoklund Olesen2012-06-011-9/+9
* Optional def can be either a def or a use (of reg0).Evan Cheng2012-05-291-1/+1
* Fix a verifier bug.Jakob Stoklund Olesen2012-05-171-1/+1
* Add an MF argument to TRI::getPointerRegClass() and TII::getRegClass().Jakob Stoklund Olesen2012-05-071-3/+4
* Enable machine code verification after PreSched2 passes.Jakob Stoklund Olesen2012-03-281-1/+3
* Skip liveness verification when MRI->tracksLiveness() is false.Jakob Stoklund Olesen2012-03-281-105/+112
* Report the defining instruction.Jakob Stoklund Olesen2012-03-101-4/+3
* Add SSA verification to MachineVerifier.Jakob Stoklund Olesen2012-03-101-2/+12
* Use SmallPtrSet instead of DenseSet.Jakob Stoklund Olesen2012-03-101-3/+4
* Convert more GenRegisterInfo tables from unsigned to uint16_t to reduce stati...Craig Topper2012-03-051-4/+4
* Move the operand iterator into MachineInstrBundle.h where it belongs.Jakob Stoklund Olesen2012-02-291-4/+5
* Handle regmasks in the machine code verifier.Jakob Stoklund Olesen2012-02-281-0/+15
* Update machine code verifier.Jakob Stoklund Olesen2012-02-271-35/+91
* Update MachineVerifier to check the new physreg live-in rules.Lang Hames2012-02-141-0/+22
* - 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