summaryrefslogtreecommitdiff
path: root/llvm/lib/CodeGen/MachineVerifier.cpp
AgeCommit message (Expand)Author
2013-10-10Represent RegUnit liveness with LiveRange instanceMatthias Braun
2013-10-10Change MachineVerifier to work on LiveRange + LiveIntervalMatthias Braun
2013-10-10Pass LiveQueryResult by valueMatthias Braun
2013-10-10Rename LiveRange to LiveInterval::SegmentMatthias Braun
2013-10-04Fix indentationMatthias Braun
2013-07-16Add a wrapper for open.Rafael Espindola
2013-07-15Machine Verifier: verify FrameSetup and FrameDestroyManman Ren
2013-05-22Simplify logic now that r182490 is in place. No functional change intended.Chad Rosier
2013-04-19Add an MRI::verifyUseLists() function.Jakob Stoklund Olesen
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