aboutsummaryrefslogtreecommitdiff
path: root/lib/CodeGen/MachineVerifier.cpp
AgeCommit message (Expand)Author
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
2010-12-27Add knowledge of phi-def and phi-kill valnos to MachineVerifier's predecessorCameron Zwarich
2010-12-20MachineVerifier should count landing pad successors as basic blocks rather thanCameron Zwarich
2010-12-20Teach MachineVerifier that early clobber defs begin at USE slots and other defsCameron Zwarich
2010-12-20Add a missing check from r122218.Cameron Zwarich
2010-12-20Don't assume that an instruction ending a register's live range always readsCameron Zwarich
2010-12-20Ignore debug values when performing MachineVerifier liveness checks. FixesCameron Zwarich
2010-12-19Early clobber operands are allowed to be defined at use indices. This fixes oneCameron Zwarich
2010-12-19Fix PR8811 by teaching MachineVerifier about optional defs.Cameron Zwarich
2010-12-18Pass a Banner argument to the machine code verifier both fromJakob Stoklund Olesen
2010-12-17Allow missing kill flags on an untied operand of a two-address instruction whenJakob Stoklund Olesen
2010-11-17Only avoid the check if we're the last operand before the variableEric Christopher
2010-11-16Make the verifier a little quieter on instructions that it's probablyEric Christopher
2010-11-01Be more precise about verifying missing kill flags.Jakob Stoklund Olesen
2010-11-01Add kill flag verification.Jakob Stoklund Olesen
2010-11-01Add basic LiveStacks verification.Jakob Stoklund Olesen
2010-10-30Disable more of physical register live intervals verification.Jakob Stoklund Olesen
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-04-29 03:29:16 +0000