aboutsummaryrefslogtreecommitdiffstats
path: root/lib/CodeGen/MachineVerifier.cpp
Commit message (Expand)AuthorAgeFilesLines
* Only avoid the check if we're the last operand before the variableEric Christopher2010-11-171-3/+3
* Make the verifier a little quieter on instructions that it's probablyEric Christopher2010-11-161-1/+3
* Be more precise about verifying missing kill flags.Jakob Stoklund Olesen2010-11-011-2/+4
* Add kill flag verification.Jakob Stoklund Olesen2010-11-011-2/+13
* Add basic LiveStacks verification.Jakob Stoklund Olesen2010-11-011-0/+20
* Disable more of physical register live intervals verification.Jakob Stoklund Olesen2010-10-301-2/+3
* Print out the connected components in the verifier after complaining about theirJakob Stoklund Olesen2010-10-291-0/+8
* One day, physical register live ranges will be sensible.Jakob Stoklund Olesen2010-10-281-0/+5
* Physical registers trivially have multiple connected components all the time.Jakob Stoklund Olesen2010-10-271-5/+7
* Verify that live intervals are connected. If there are multiple connectedJakob Stoklund Olesen2010-10-261-1/+9
* Teach MachineBasicBlock::print() to annotate instructions and blocks withJakob Stoklund Olesen2010-10-261-2/+11
* Remmeber to print full live interval on verification error.Jakob Stoklund Olesen2010-10-261-4/+7
* Don't verify physical registers going into landing pads.Jakob Stoklund Olesen2010-10-261-0/+8
* Verify LiveIntervals against the CFG, ensuring that live-in values are live-outJakob Stoklund Olesen2010-10-231-1/+77
* Add more verification of LiveIntervals.Jakob Stoklund Olesen2010-10-221-0/+29
* Permit landing pad successor blocks when verifying basic blocks that end in anJakob Stoklund Olesen2010-10-211-5/+13
* Get rid of static constructors for pass registration. Instead, every pass ex...Owen Anderson2010-10-191-1/+3
* Now with fewer extraneous semicolons!Owen Anderson2010-10-071-1/+1
* Skip unused registers when verifying LiveIntervals.Jakob Stoklund Olesen2010-10-061-0/+5
* Stop using LiveRange in MachineVerifier.Jakob Stoklund Olesen2010-10-021-16/+15
* Now that PassInfo and Pass::ID have been separated, move the rest of the pass...Owen Anderson2010-08-231-3/+2
* Correct header.Bill Wendling2010-08-191-1/+1
* Reapply r110396, with fixes to appease the Linux buildbot gods.Owen Anderson2010-08-061-1/+1
* Add more verification of LiveIntervals.Jakob Stoklund Olesen2010-08-061-4/+58
* Don't try to verify LiveIntervals for physical registers.Jakob Stoklund Olesen2010-08-061-8/+4
* Revert r110396 to fix buildbots.Owen Anderson2010-08-061-1/+1
* Don't verify LiveVariables if LiveIntervals is available.Jakob Stoklund Olesen2010-08-051-12/+13
* Don't use PassInfo* as a type identifier for passes. Instead, use the addres...Owen Anderson2010-08-051-1/+1
* Add basic verification of LiveIntervals.Jakob Stoklund Olesen2010-08-051-0/+59
* Remove double-def checking from MachineVerifier, so a register does not have toJakob Stoklund Olesen2010-08-051-76/+11
* Allow ARM if-converter to be run after post allocation scheduling.Evan Cheng2010-06-181-1/+2
* Teach the machine code verifier to use getSubRegisterRegClass().Jakob Stoklund Olesen2010-05-181-2/+5
* When verifying two-address instructions, check the following:Jakob Stoklund Olesen2010-05-141-12/+16
* Fix a bunch of namespace polution.Dan Gohman2010-04-151-2/+2
* Eliminate MachineBasicBlock::const_livein_iterator and makeDan Gohman2010-04-131-1/+1
* rename llvm::llvm_report_error -> llvm::report_fatal_errorChris Lattner2010-04-071-1/+1
* move target-independent opcodes out of TargetInstrInfoChris Lattner2010-02-091-6/+4
* Remove livein checks from machine code verifier.Jakob Stoklund Olesen2010-01-051-99/+13
* Remove minimal CFG sanity checks from verifier.Jakob Stoklund Olesen2009-12-221-18/+0
* Allow explicit %reg0 operands beyond what the .td file describes.Jakob Stoklund Olesen2009-12-221-1/+2
* Remove the target hook TargetInstrInfo::BlockHasNoFallThrough in favor ofDan Gohman2009-12-051-9/+0
* Add MachineBasicBlock::getName, and use it in place of getBasicBlock()->getName.Jakob Stoklund Olesen2009-11-201-1/+1
* Allow the machine verifier to be run outside the PassManager.Jakob Stoklund Olesen2009-11-181-17/+160
* Add MachineFunction::verify() to call the machine code verifier directly.Jakob Stoklund Olesen2009-11-131-0/+4
* Fix polarity of a CFG check in machine verifier.Jakob Stoklund Olesen2009-11-131-5/+14
* Make -print-machineinstrs more readable.Dan Gohman2009-10-311-3/+3
* Remove includes of Support/Compiler.h that are no longer needed after theNick Lewycky2009-10-251-1/+0
* Remove VISIBILITY_HIDDEN from class/struct found inside anonymous namespaces.Nick Lewycky2009-10-251-1/+1
* Add a few simple MachineVerifier checks for MachineMemOperands.Dan Gohman2009-10-071-0/+10
* Whitespace and formatting.Jakob Stoklund Olesen2009-10-041-42/+16