aboutsummaryrefslogtreecommitdiff
path: root/lib/CodeGen/MachineVerifier.cpp
AgeCommit message (Expand)Author
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
2011-09-21Lower ARM adds/subs to add/sub after adding optional CPSR operand.Andrew Trick
2011-09-15Stop verifying hasPHIKill() flags.Jakob Stoklund Olesen
2011-07-30Revert "Don't check liveness of unallocatable registers."Jakob Stoklund Olesen
2011-07-29Don't check liveness of unallocatable registers.Jakob Stoklund Olesen
2011-07-29Check for multiple defs in the machine code verifier.Jakob Stoklund Olesen
2011-06-28- Rename TargetInstrDesc, TargetOperandInfo to MCInstrDesc and MCOperandInfo andEvan Cheng
2011-06-27More refactoring. Move getRegClass from TargetOperandInfo to TargetInstrInfo.Evan Cheng
2011-06-02Use TRI::has{Sub,Super}ClassEq() where possible.Jakob Stoklund Olesen
2011-05-19Revert r128961 because it didn't include a test and causes the verifier to failCameron Zwarich
2011-05-04SjLj EH could produce a machine basic block that legitimately has more than oneBill Wendling
2011-04-05Permit blocks to branch directly to a landing pad.Jakob Stoklund Olesen
2011-03-31Allow kill flags on two-address instructions. They are harmless.Jakob Stoklund Olesen
2011-03-31Mark all uses as <undef> when joining a copy.Jakob Stoklund Olesen
2011-02-04Verify kill flags conservatively.Jakob Stoklund Olesen
2011-01-12Verify slot index ordering.Jakob Stoklund Olesen
2011-01-12Verify that machine instruction parent pointers are consistent.Jakob Stoklund Olesen
2011-01-09Replace TargetRegisterInfo::printReg with a PrintReg class that also works wi...Jakob Stoklund Olesen
2011-01-08Fix a MachineVerifier loop that probably didn't mean to skip the last twoJakob Stoklund Olesen
2010-12-28Simplify some code in MachineVerifier that was doing the correct thing, but notCameron Zwarich
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-05-03 02:37:56 +0000