aboutsummaryrefslogtreecommitdiffstats
path: root/lib/CodeGen/MachineVerifier.cpp
Commit message (Expand)AuthorAgeFilesLines
* 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
* Fix verification of explicit operands.Jakob Stoklund Olesen2009-09-231-8/+11
* Verify that phi instructions refer to MBBs in the CFG.Jakob Stoklund Olesen2009-09-211-7/+8
* Adjust the MachineBasicBlock verifier rules to be moreDan Gohman2009-08-271-11/+14
* Add some checks for MachineCFG consistency. Use AnalyzeBranch andDan Gohman2009-08-271-0/+133
* remove various std::ostream version of printing methods fromChris Lattner2009-08-231-1/+1
* remove std::ostream versions of printing stuff for MBB and MF,Chris Lattner2009-08-231-3/+3
* Change raw_fd_ostream to take flags as an optional bitmask Chris Lattner2009-08-231-22/+19
* remove some dead print method variants.Chris Lattner2009-08-231-4/+2
* Use pristine register info in machine code verifier.Jakob Stoklund Olesen2009-08-131-0/+11
* Clean out per-function data after the machine code verifier is done with it.Jakob Stoklund Olesen2009-08-081-0/+8
* Update the machine code verifier to keep up with the scavenger.Jakob Stoklund Olesen2009-08-081-12/+22
* Enforce stricter rules in machine code verifier.Jakob Stoklund Olesen2009-08-041-20/+15
* Handle <undef> flag in machine code verifier.Jakob Stoklund Olesen2009-08-021-1/+2
* Reapply r77654 with a fix: MachineFunctionPass's getAnalysisUsageDan Gohman2009-07-311-0/+1
* Revert r77654, it appears to be causing llvm-gcc bootstrap failures, and manyDaniel Dunbar2009-07-311-1/+0
* Manage MachineFunctions with an analysis Pass instead of the AnnotableDan Gohman2009-07-311-0/+1
* 1. Introduce a new TargetOperandInfo::getRegClass() helper methodChris Lattner2009-07-291-4/+2
* More migration to raw_ostream, the water has dried up around the iostream hole.Daniel Dunbar2009-07-251-2/+2
* Verify that there is no kill flag on tied operands on two-address instructions.Jakob Stoklund Olesen2009-07-151-4/+7
* Convert more assert(0)+abort() -> LLVM_UNREACHABLE,Torok Edwin2009-07-111-2/+6
* Rename MachineVerifier pass to avoid command line collision.Jakob Stoklund Olesen2009-05-171-1/+1
* Verify that explicit definitions in the TargetInstrDesc are matched byJakob Stoklund Olesen2009-05-161-1/+12
* Allow redefinition of reserved registers.Jakob Stoklund Olesen2009-05-161-2/+3
* Pacify gcc-4.3, which suggests explicit braces hereDuncan Sands2009-05-161-1/+2
* Pass to verify generated machine code.Jakob Stoklund Olesen2009-05-161-0/+677