aboutsummaryrefslogtreecommitdiffstats
path: root/lib/CodeGen/MachineVerifier.cpp
Commit message (Expand)AuthorAgeFilesLines
* [inline asm] Implement mayLoad and mayStore for inline assembly. In general,Chad Rosier2012-10-301-2/+3
* Remove unused BitVectors from getAllocatableSet().Jakob Stoklund Olesen2012-10-161-4/+1
* Switch most getReservedRegs() clients to the MRI equivalent.Jakob Stoklund Olesen2012-10-151-1/+1
* Stop casting away const qualifier needlessly.Roman Divacky2012-09-051-1/+1
* Move tie checks into MachineVerifier::visitMachineOperand.Jakob Stoklund Olesen2012-09-041-36/+26
* Verify the consistency of inline asm operands.Jakob Stoklund Olesen2012-08-291-16/+72
* Verify the tied operand flags.Jakob Stoklund Olesen2012-08-291-0/+37
* Add a getName function to MachineFunction. Use it in places that previously d...Craig Topper2012-08-221-2/+2
* Don't add CFG edges for redundant conditional branches.Jakob Stoklund Olesen2012-08-201-2/+18
* Add CFG checks to MachineVerifier.Jakob Stoklund Olesen2012-08-201-0/+40
* Fix undefined behavior: don't perform array indexing through a potentially nullRichard Smith2012-08-151-1/+2
* Verify regunit intervals along with virtreg intervals.Jakob Stoklund Olesen2012-08-021-2/+12
* Add report() functions that take a LiveInterval argument.Jakob Stoklund Olesen2012-08-021-60/+67
* Extract some methods from verifyLiveIntervals.Jakob Stoklund Olesen2012-08-021-245/+259
* Also verify RegUnit intervals at uses.Jakob Stoklund Olesen2012-08-011-15/+36
* Verify two-address constraints more carefully.Jakob Stoklund Olesen2012-07-251-14/+7
* 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