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