2010-11-17 |
Eric Christopher | Only avoid the check if we're the last operand before... |
blob | commitdiff | raw | diff to current |
2010-11-16 |
Eric Christopher | Make the verifier a little quieter on instructions... |
blob | commitdiff | raw | diff to current |
2010-11-01 |
Jakob Stoklund Olesen | Be more precise about verifying missing kill flags. |
blob | commitdiff | raw | diff to current |
2010-11-01 |
Jakob Stoklund Olesen | Add kill flag verification. |
blob | commitdiff | raw | diff to current |
2010-11-01 |
Jakob Stoklund Olesen | Add basic LiveStacks verification. |
blob | commitdiff | raw | diff to current |
2010-10-30 |
Jakob Stoklund Olesen | Disable more of physical register live intervals verifi... |
blob | commitdiff | raw | diff to current |
2010-10-29 |
Jakob Stoklund Olesen | Print out the connected components in the verifier... |
blob | commitdiff | raw | diff to current |
2010-10-28 |
Jakob Stoklund Olesen | One day, physical register live ranges will be sensible. |
blob | commitdiff | raw | diff to current |
2010-10-27 |
Jakob Stoklund Olesen | Physical registers trivially have multiple connected... |
blob | commitdiff | raw | diff to current |
2010-10-26 |
Jakob Stoklund Olesen | Verify that live intervals are connected. If there... |
blob | commitdiff | raw | diff to current |
2010-10-26 |
Jakob Stoklund Olesen | Teach MachineBasicBlock::print() to annotate instructio... |
blob | commitdiff | raw | diff to current |
2010-10-26 |
Jakob Stoklund Olesen | Remmeber to print full live interval on verification... |
blob | commitdiff | raw | diff to current |
2010-10-26 |
Jakob Stoklund Olesen | Don't verify physical registers going into landing... |
blob | commitdiff | raw | diff to current |
2010-10-23 |
Jakob Stoklund Olesen | Verify LiveIntervals against the CFG, ensuring that... |
blob | commitdiff | raw | diff to current |
2010-10-22 |
Jakob Stoklund Olesen | Add more verification of LiveIntervals. |
blob | commitdiff | raw | diff to current |
2010-10-21 |
Jakob Stoklund Olesen | Permit landing pad successor blocks when verifying... |
blob | commitdiff | raw | diff to current |
2010-10-19 |
Owen Anderson | Get rid of static constructors for pass registration... |
blob | commitdiff | raw | diff to current |
2010-10-07 |
Owen Anderson | Now with fewer extraneous semicolons! |
blob | commitdiff | raw | diff to current |
2010-10-06 |
Jakob Stoklund Olesen | Skip unused registers when verifying LiveIntervals. |
blob | commitdiff | raw | diff to current |
2010-10-02 |
Jakob Stoklund Olesen | Stop using LiveRange in MachineVerifier. |
blob | commitdiff | raw | diff to current |
2010-08-23 |
Owen Anderson | Now that PassInfo and Pass::ID have been separated... |
blob | commitdiff | raw | diff to current |
2010-08-19 |
Bill Wendling | Correct header. |
blob | commitdiff | raw | diff to current |
2010-08-06 |
Owen Anderson | Reapply r110396, with fixes to appease the Linux buildb... |
blob | commitdiff | raw | diff to current |
2010-08-06 |
Jakob Stoklund Olesen | Add more verification of LiveIntervals. |
blob | commitdiff | raw | diff to current |
2010-08-06 |
Jakob Stoklund Olesen | Don't try to verify LiveIntervals for physical registers. |
blob | commitdiff | raw | diff to current |
2010-08-06 |
Owen Anderson | Revert r110396 to fix buildbots. |
blob | commitdiff | raw | diff to current |
2010-08-05 |
Jakob Stoklund Olesen | Don't verify LiveVariables if LiveIntervals is available. |
blob | commitdiff | raw | diff to current |
2010-08-05 |
Owen Anderson | Don't use PassInfo* as a type identifier for passes... |
blob | commitdiff | raw | diff to current |
2010-08-05 |
Jakob Stoklund Olesen | Add basic verification of LiveIntervals. |
blob | commitdiff | raw | diff to current |
2010-08-05 |
Jakob Stoklund Olesen | Remove double-def checking from MachineVerifier, so... |
blob | commitdiff | raw | diff to current |
2010-06-18 |
Evan Cheng | Allow ARM if-converter to be run after post allocation... |
blob | commitdiff | raw | diff to current |
2010-05-18 |
Jakob Stoklund Olesen | Teach the machine code verifier to use getSubRegisterRe... |
blob | commitdiff | raw | diff to current |
2010-05-14 |
Jakob Stoklund Olesen | When verifying two-address instructions, check the... |
blob | commitdiff | raw | diff to current |
2010-04-15 |
Dan Gohman | Fix a bunch of namespace polution. |
blob | commitdiff | raw | diff to current |
2010-04-13 |
Dan Gohman | Eliminate MachineBasicBlock::const_livein_iterator... |
blob | commitdiff | raw | diff to current |
2010-04-07 |
Chris Lattner | rename llvm::llvm_report_error -> llvm::report_fatal_error |
blob | commitdiff | raw | diff to current |
2010-02-09 |
Chris Lattner | move target-independent opcodes out of TargetInstrInfo |
blob | commitdiff | raw | diff to current |
2010-01-05 |
Jakob Stoklund Olesen | Remove livein checks from machine code verifier. |
blob | commitdiff | raw | diff to current |
2009-12-22 |
Jakob Stoklund Olesen | Remove minimal CFG sanity checks from verifier. |
blob | commitdiff | raw | diff to current |
2009-12-22 |
Jakob Stoklund Olesen | Allow explicit %reg0 operands beyond what the .td file... |
blob | commitdiff | raw | diff to current |
2009-12-05 |
Dan Gohman | Remove the target hook TargetInstrInfo::BlockHasNoFallT... |
blob | commitdiff | raw | diff to current |
2009-11-20 |
Jakob Stoklund Olesen | Add MachineBasicBlock::getName, and use it in place... |
blob | commitdiff | raw | diff to current |
2009-11-18 |
Jakob Stoklund Olesen | Allow the machine verifier to be run outside the PassMa... |
blob | commitdiff | raw | diff to current |
2009-11-13 |
Jakob Stoklund Olesen | Add MachineFunction::verify() to call the machine code... |
blob | commitdiff | raw | diff to current |
2009-11-13 |
Jakob Stoklund Olesen | Fix polarity of a CFG check in machine verifier. |
blob | commitdiff | raw | diff to current |
2009-10-31 |
Dan Gohman | Make -print-machineinstrs more readable. |
blob | commitdiff | raw | diff to current |
2009-10-25 |
Nick Lewycky | Remove includes of Support/Compiler.h that are no longe... |
blob | commitdiff | raw | diff to current |
2009-10-25 |
Nick Lewycky | Remove VISIBILITY_HIDDEN from class/struct found inside... |
blob | commitdiff | raw | diff to current |
2009-10-07 |
Dan Gohman | Add a few simple MachineVerifier checks for MachineMemO... |
blob | commitdiff | raw | diff to current |
2009-10-04 |
Jakob Stoklund Olesen | Whitespace and formatting. |
blob | commitdiff | raw | diff to current |
2009-09-23 |
Jakob Stoklund Olesen | Fix verification of explicit operands. |
blob | commitdiff | raw | diff to current |
2009-09-21 |
Jakob Stoklund Olesen | Verify that phi instructions refer to MBBs in the CFG. |
blob | commitdiff | raw | diff to current |
2009-08-27 |
Dan Gohman | Adjust the MachineBasicBlock verifier rules to be more |
blob | commitdiff | raw | diff to current |
2009-08-27 |
Dan Gohman | Add some checks for MachineCFG consistency. Use Analyze... |
blob | commitdiff | raw | diff to current |
2009-08-23 |
Chris Lattner | remove various std::ostream version of printing methods... |
blob | commitdiff | raw | diff to current |
2009-08-23 |
Chris Lattner | remove std::ostream versions of printing stuff for... |
blob | commitdiff | raw | diff to current |
2009-08-23 |
Chris Lattner | Change raw_fd_ostream to take flags as an optional... |
blob | commitdiff | raw | diff to current |
2009-08-23 |
Chris Lattner | remove some dead print method variants. |
blob | commitdiff | raw | diff to current |
2009-08-13 |
Jakob Stoklund Olesen | Use pristine register info in machine code verifier. |
blob | commitdiff | raw | diff to current |
2009-08-08 |
Jakob Stoklund Olesen | Clean out per-function data after the machine code... |
blob | commitdiff | raw | diff to current |
2009-08-08 |
Jakob Stoklund Olesen | Update the machine code verifier to keep up with the... |
blob | commitdiff | raw | diff to current |
2009-08-04 |
Jakob Stoklund Olesen | Enforce stricter rules in machine code verifier. |
blob | commitdiff | raw | diff to current |
2009-08-02 |
Jakob Stoklund Olesen | Handle <undef> flag in machine code verifier. |
blob | commitdiff | raw | diff to current |
2009-07-31 |
Dan Gohman | Reapply r77654 with a fix: MachineFunctionPass's getAna... |
blob | commitdiff | raw | diff to current |
2009-07-31 |
Daniel Dunbar | Revert r77654, it appears to be causing llvm-gcc bootst... |
blob | commitdiff | raw | diff to current |
2009-07-31 |
Dan Gohman | Manage MachineFunctions with an analysis Pass instead... |
blob | commitdiff | raw | diff to current |
2009-07-29 |
Chris Lattner | 1. Introduce a new TargetOperandInfo::getRegClass(... |
blob | commitdiff | raw | diff to current |
2009-07-25 |
Daniel Dunbar | More migration to raw_ostream, the water has dried... |
blob | commitdiff | raw | diff to current |
2009-07-15 |
Jakob Stoklund Olesen | Verify that there is no kill flag on tied operands... |
blob | commitdiff | raw | diff to current |
2009-07-11 |
Torok Edwin | Convert more assert(0)+abort() -> LLVM_UNREACHABLE, |
blob | commitdiff | raw | diff to current |
2009-05-17 |
Jakob Stoklund Olesen | Rename MachineVerifier pass to avoid command line colli... |
blob | commitdiff | raw | diff to current |
2009-05-16 |
Jakob Stoklund Olesen | Verify that explicit definitions in the TargetInstrDesc... |
blob | commitdiff | raw | diff to current |
2009-05-16 |
Jakob Stoklund Olesen | Allow redefinition of reserved registers. |
blob | commitdiff | raw | diff to current |
2009-05-16 |
Duncan Sands | Pacify gcc-4.3, which suggests explicit braces here |
blob | commitdiff | raw | diff to current |
2009-05-16 |
Jakob Stoklund Olesen | Pass to verify generated machine code. |
blob | commitdiff | raw | diff to current |
|