summaryrefslogtreecommitdiff
path: root/lib/CodeGen/MachineVerifier.cpp
Commit message (Expand)AuthorAge
* Add a missing 'else'. Found by grep '} if'Dmitri Gribenko2012-12-19
* Verify bundle flags for consistency in MachineVerifier.Jakob Stoklund Olesen2012-12-18
* Use the new script to sort the includes of every file under lib.Chandler Carruth2012-12-03
* [inline asm] Implement mayLoad and mayStore for inline assembly. In general,Chad Rosier2012-10-30
* Remove unused BitVectors from getAllocatableSet().Jakob Stoklund Olesen2012-10-16
* Switch most getReservedRegs() clients to the MRI equivalent.Jakob Stoklund Olesen2012-10-15
* Stop casting away const qualifier needlessly.Roman Divacky2012-09-05
* Move tie checks into MachineVerifier::visitMachineOperand.Jakob Stoklund Olesen2012-09-04
* Verify the consistency of inline asm operands.Jakob Stoklund Olesen2012-08-29
* Verify the tied operand flags.Jakob Stoklund Olesen2012-08-29
* Add a getName function to MachineFunction. Use it in places that previously d...Craig Topper2012-08-22
* Don't add CFG edges for redundant conditional branches.Jakob Stoklund Olesen2012-08-20
* Add CFG checks to MachineVerifier.Jakob Stoklund Olesen2012-08-20
* Fix undefined behavior: don't perform array indexing through a potentially nullRichard Smith2012-08-15
* Verify regunit intervals along with virtreg intervals.Jakob Stoklund Olesen2012-08-02
* Add report() functions that take a LiveInterval argument.Jakob Stoklund Olesen2012-08-02
* Extract some methods from verifyLiveIntervals.Jakob Stoklund Olesen2012-08-02
* Also verify RegUnit intervals at uses.Jakob Stoklund Olesen2012-08-01
* Verify two-address constraints more carefully.Jakob Stoklund Olesen2012-07-25
* Fix crash in machine verifier when trying to print the def of a register whic...Pete Cooper2012-07-19
* Remove tabs.Bill Wendling2012-07-19
* Check for extra kill flags on live-out virtual registers.Jakob Stoklund Olesen2012-06-29
* Enforce stricter liveness rules for PHIs.Jakob Stoklund Olesen2012-06-25
* Also verify the def index for early clobbers.Jakob Stoklund Olesen2012-06-22
* Fix some more LiveInterval enumerations.Jakob Stoklund Olesen2012-06-20
* Make machine verifier check the first instruction of the last bundle instead ofAkira Hatanaka2012-06-14
* Move terminator machine verification to check MachineBasicBlock::instr_iterat...Pete Cooper2012-06-07
* Properly verify liveness with bundled machine instructions.Jakob Stoklund Olesen2012-06-06
* Switch all register list clients to the new MC*Iterator interface.Jakob Stoklund Olesen2012-06-01
* Optional def can be either a def or a use (of reg0).Evan Cheng2012-05-29
* Fix a verifier bug.Jakob Stoklund Olesen2012-05-17
* Add an MF argument to TRI::getPointerRegClass() and TII::getRegClass().Jakob Stoklund Olesen2012-05-07
* Enable machine code verification after PreSched2 passes.Jakob Stoklund Olesen2012-03-28
* Skip liveness verification when MRI->tracksLiveness() is false.Jakob Stoklund Olesen2012-03-28
* Report the defining instruction.Jakob Stoklund Olesen2012-03-10
* Add SSA verification to MachineVerifier.Jakob Stoklund Olesen2012-03-10
* Use SmallPtrSet instead of DenseSet.Jakob Stoklund Olesen2012-03-10
* Convert more GenRegisterInfo tables from unsigned to uint16_t to reduce stati...Craig Topper2012-03-05
* Move the operand iterator into MachineInstrBundle.h where it belongs.Jakob Stoklund Olesen2012-02-29
* Handle regmasks in the machine code verifier.Jakob Stoklund Olesen2012-02-28
* Update machine code verifier.Jakob Stoklund Olesen2012-02-27
* Update MachineVerifier to check the new physreg live-in rules.Lang Hames2012-02-14
* - Add MachineInstrBundle.h and MachineInstrBundle.cpp. This includes a functionEvan Cheng2011-12-14
* Add bundle aware API for querying instruction properties and switch the codeEvan Cheng2011-12-07
* Remove all remaining uses of Value::getNameStr().Benjamin Kramer2011-11-15
* Use getVNInfoBefore() when it makes sense.Jakob Stoklund Olesen2011-11-14
* Rename SlotIndexes to match how they are used.Jakob Stoklund Olesen2011-11-13
* Fix sub-register operand verification.Jakob Stoklund Olesen2011-10-05
* Verify that terminators follow non-terminators.Jakob Stoklund Olesen2011-09-23
* Lower ARM adds/subs to add/sub after adding optional CPSR operand.Andrew Trick2011-09-21