Programming Languages Research Group: Git - oota-llvm.git/history

[oota-llvm.git] / lib / CodeGen / MachineVerifier.cpp

2012-03-10	Jakob Stoklund Olesen	Add SSA verification to MachineVerifier.	blob \| commitdiff \| raw \| diff to current
2012-03-10	Jakob Stoklund Olesen	Use SmallPtrSet instead of DenseSet.	blob \| commitdiff \| raw \| diff to current
2012-03-05	Craig Topper	Convert more GenRegisterInfo tables from unsigned to...	blob \| commitdiff \| raw \| diff to current
2012-02-29	Jakob Stoklund Olesen	Move the operand iterator into MachineInstrBundle.h...	blob \| commitdiff \| raw \| diff to current
2012-02-28	Jakob Stoklund Olesen	Handle regmasks in the machine code verifier.	blob \| commitdiff \| raw \| diff to current
2012-02-27	Jakob Stoklund Olesen	Update machine code verifier.	blob \| commitdiff \| raw \| diff to current
2012-02-14	Lang Hames	Update MachineVerifier to check the new physreg live...	blob \| commitdiff \| raw \| diff to current
2011-12-14	Evan Cheng	- Add MachineInstrBundle.h and MachineInstrBundle.cpp...	blob \| commitdiff \| raw \| diff to current
2011-12-07	Evan Cheng	Add bundle aware API for querying instruction propertie...	blob \| commitdiff \| raw \| diff to current
2011-11-15	Benjamin Kramer	Remove all remaining uses of Value::getNameStr().	blob \| commitdiff \| raw \| diff to current
2011-11-14	Jakob Stoklund Olesen	Use getVNInfoBefore() when it makes sense.	blob \| commitdiff \| raw \| diff to current
2011-11-13	Jakob Stoklund Olesen	Rename SlotIndexes to match how they are used.	blob \| commitdiff \| raw \| diff to current
2011-10-05	Jakob Stoklund Olesen	Fix sub-register operand verification.	blob \| commitdiff \| raw \| diff to current
2011-09-23	Jakob Stoklund Olesen	Verify that terminators follow non-terminators.	blob \| commitdiff \| raw \| diff to current
2011-09-21	Andrew Trick	Lower ARM adds/subs to add/sub after adding optional...	blob \| commitdiff \| raw \| diff to current
2011-09-15	Jakob Stoklund Olesen	Stop verifying hasPHIKill() flags.	blob \| commitdiff \| raw \| diff to current
2011-07-30	Jakob Stoklund Olesen	Revert "Don't check liveness of unallocatable registers."	blob \| commitdiff \| raw \| diff to current
2011-07-29	Jakob Stoklund Olesen	Don't check liveness of unallocatable registers.	blob \| commitdiff \| raw \| diff to current
2011-07-29	Jakob Stoklund Olesen	Check for multiple defs in the machine code verifier.	blob \| commitdiff \| raw \| diff to current
2011-06-28	Evan Cheng	- Rename TargetInstrDesc, TargetOperandInfo to MCInstrD...	blob \| commitdiff \| raw \| diff to current
2011-06-27	Evan Cheng	More refactoring. Move getRegClass from TargetOperandIn...	blob \| commitdiff \| raw \| diff to current
2011-06-02	Jakob Stoklund Olesen	Use TRI::has{Sub,Super}ClassEq() where possible.	blob \| commitdiff \| raw \| diff to current
2011-05-19	Cameron Zwarich	Revert r128961 because it didn't include a test and...	blob \| commitdiff \| raw \| diff to current
2011-05-04	Bill Wendling	SjLj EH could produce a machine basic block that legiti...	blob \| commitdiff \| raw \| diff to current
2011-04-05	Jakob Stoklund Olesen	Permit blocks to branch directly to a landing pad.	blob \| commitdiff \| raw \| diff to current
2011-03-31	Jakob Stoklund Olesen	Allow kill flags on two-address instructions. They...	blob \| commitdiff \| raw \| diff to current
2011-03-31	Jakob Stoklund Olesen	Mark all uses as <undef> when joining a copy.	blob \| commitdiff \| raw \| diff to current
2011-02-04	Jakob Stoklund Olesen	Verify kill flags conservatively.	blob \| commitdiff \| raw \| diff to current
2011-01-12	Jakob Stoklund Olesen	Verify slot index ordering.	blob \| commitdiff \| raw \| diff to current
2011-01-12	Jakob Stoklund Olesen	Verify that machine instruction parent pointers are...	blob \| commitdiff \| raw \| diff to current
2011-01-09	Jakob Stoklund Olesen	Replace TargetRegisterInfo::printReg with a PrintReg...	blob \| commitdiff \| raw \| diff to current
2011-01-08	Jakob Stoklund Olesen	Fix a MachineVerifier loop that probably didn't mean...	blob \| commitdiff \| raw \| diff to current
2010-12-28	Cameron Zwarich	Simplify some code in MachineVerifier that was doing...	blob \| commitdiff \| raw \| diff to current
2010-12-27	Cameron Zwarich	Add knowledge of phi-def and phi-kill valnos to Machine...	blob \| commitdiff \| raw \| diff to current
2010-12-20	Cameron Zwarich	MachineVerifier should count landing pad successors...	blob \| commitdiff \| raw \| diff to current
2010-12-20	Cameron Zwarich	Teach MachineVerifier that early clobber defs begin...	blob \| commitdiff \| raw \| diff to current
2010-12-20	Cameron Zwarich	Add a missing check from r122218.	blob \| commitdiff \| raw \| diff to current
2010-12-20	Cameron Zwarich	Don't assume that an instruction ending a register...	blob \| commitdiff \| raw \| diff to current
2010-12-20	Cameron Zwarich	Ignore debug values when performing MachineVerifier...	blob \| commitdiff \| raw \| diff to current
2010-12-19	Cameron Zwarich	Early clobber operands are allowed to be defined at...	blob \| commitdiff \| raw \| diff to current
2010-12-19	Cameron Zwarich	Fix PR8811 by teaching MachineVerifier about optional...	blob \| commitdiff \| raw \| diff to current
2010-12-18	Jakob Stoklund Olesen	Pass a Banner argument to the machine code verifier...	blob \| commitdiff \| raw \| diff to current
2010-12-17	Jakob Stoklund Olesen	Allow missing kill flags on an untied operand of a...	blob \| commitdiff \| raw \| diff to current
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
next

C/C++ LLVM-based compilers that forbids OOTA behaviors

RSS Atom