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