summaryrefslogtreecommitdiff
path: root/lib/CodeGen/MachineVerifier.cpp
Commit message (Expand)AuthorAge
* Verify that terminators follow non-terminators.Jakob Stoklund Olesen2011-09-23
* Lower ARM adds/subs to add/sub after adding optional CPSR operand.Andrew Trick2011-09-21
* Stop verifying hasPHIKill() flags.Jakob Stoklund Olesen2011-09-15
* Revert "Don't check liveness of unallocatable registers."Jakob Stoklund Olesen2011-07-30
* Don't check liveness of unallocatable registers.Jakob Stoklund Olesen2011-07-29
* Check for multiple defs in the machine code verifier.Jakob Stoklund Olesen2011-07-29
* - Rename TargetInstrDesc, TargetOperandInfo to MCInstrDesc and MCOperandInfo andEvan Cheng2011-06-28
* More refactoring. Move getRegClass from TargetOperandInfo to TargetInstrInfo.Evan Cheng2011-06-27
* Use TRI::has{Sub,Super}ClassEq() where possible.Jakob Stoklund Olesen2011-06-02
* Revert r128961 because it didn't include a test and causes the verifier to failCameron Zwarich2011-05-19
* SjLj EH could produce a machine basic block that legitimately has more than oneBill Wendling2011-05-04
* Permit blocks to branch directly to a landing pad.Jakob Stoklund Olesen2011-04-05
* Allow kill flags on two-address instructions. They are harmless.Jakob Stoklund Olesen2011-03-31
* Mark all uses as <undef> when joining a copy.Jakob Stoklund Olesen2011-03-31
* Verify kill flags conservatively.Jakob Stoklund Olesen2011-02-04
* Verify slot index ordering.Jakob Stoklund Olesen2011-01-12
* Verify that machine instruction parent pointers are consistent.Jakob Stoklund Olesen2011-01-12
* Replace TargetRegisterInfo::printReg with a PrintReg class that also works wi...Jakob Stoklund Olesen2011-01-09
* Fix a MachineVerifier loop that probably didn't mean to skip the last twoJakob Stoklund Olesen2011-01-08
* Simplify some code in MachineVerifier that was doing the correct thing, but notCameron Zwarich2010-12-28
* Add knowledge of phi-def and phi-kill valnos to MachineVerifier's predecessorCameron Zwarich2010-12-27
* MachineVerifier should count landing pad successors as basic blocks rather thanCameron Zwarich2010-12-20
* Teach MachineVerifier that early clobber defs begin at USE slots and other defsCameron Zwarich2010-12-20
* Add a missing check from r122218.Cameron Zwarich2010-12-20
* Don't assume that an instruction ending a register's live range always readsCameron Zwarich2010-12-20
* Ignore debug values when performing MachineVerifier liveness checks. FixesCameron Zwarich2010-12-20
* Early clobber operands are allowed to be defined at use indices. This fixes oneCameron Zwarich2010-12-19
* Fix PR8811 by teaching MachineVerifier about optional defs.Cameron Zwarich2010-12-19
* Pass a Banner argument to the machine code verifier both fromJakob Stoklund Olesen2010-12-18
* Allow missing kill flags on an untied operand of a two-address instruction whenJakob Stoklund Olesen2010-12-17
* Only avoid the check if we're the last operand before the variableEric Christopher2010-11-17
* Make the verifier a little quieter on instructions that it's probablyEric Christopher2010-11-16
* Be more precise about verifying missing kill flags.Jakob Stoklund Olesen2010-11-01
* Add kill flag verification.Jakob Stoklund Olesen2010-11-01
* Add basic LiveStacks verification.Jakob Stoklund Olesen2010-11-01
* Disable more of physical register live intervals verification.Jakob Stoklund Olesen2010-10-30
* Print out the connected components in the verifier after complaining about theirJakob Stoklund Olesen2010-10-29
* One day, physical register live ranges will be sensible.Jakob Stoklund Olesen2010-10-28
* Physical registers trivially have multiple connected components all the time.Jakob Stoklund Olesen2010-10-27
* Verify that live intervals are connected. If there are multiple connectedJakob Stoklund Olesen2010-10-26
* Teach MachineBasicBlock::print() to annotate instructions and blocks withJakob Stoklund Olesen2010-10-26
* Remmeber to print full live interval on verification error.Jakob Stoklund Olesen2010-10-26
* Don't verify physical registers going into landing pads.Jakob Stoklund Olesen2010-10-26
* Verify LiveIntervals against the CFG, ensuring that live-in values are live-outJakob Stoklund Olesen2010-10-23
* Add more verification of LiveIntervals.Jakob Stoklund Olesen2010-10-22
* Permit landing pad successor blocks when verifying basic blocks that end in anJakob Stoklund Olesen2010-10-21
* Get rid of static constructors for pass registration. Instead, every pass ex...Owen Anderson2010-10-19
* Now with fewer extraneous semicolons!Owen Anderson2010-10-07
* Skip unused registers when verifying LiveIntervals.Jakob Stoklund Olesen2010-10-06
* Stop using LiveRange in MachineVerifier.Jakob Stoklund Olesen2010-10-02
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-08 20:18:29 +0000