aboutsummaryrefslogtreecommitdiff
path: root/llvm/lib/CodeGen/MachineVerifier.cpp
AgeCommit message (Expand)AuthorFilesLines
2010-12-28Simplify some code in MachineVerifier that was doing the correct thing, but notCameron Zwarich1-10/+11
2010-12-27Add knowledge of phi-def and phi-kill valnos to MachineVerifier's predecessorCameron Zwarich1-1/+17
2010-12-20MachineVerifier should count landing pad successors as basic blocks rather thanCameron Zwarich1-7/+9
2010-12-20Teach MachineVerifier that early clobber defs begin at USE slots and other defsCameron Zwarich1-5/+26
2010-12-20Add a missing check from r122218.Cameron Zwarich1-1/+1
2010-12-20Don't assume that an instruction ending a register's live range always readsCameron Zwarich1-4/+18
2010-12-20Ignore debug values when performing MachineVerifier liveness checks. FixesCameron Zwarich1-1/+3
2010-12-19Early clobber operands are allowed to be defined at use indices. This fixes oneCameron Zwarich1-1/+1
2010-12-19Fix PR8811 by teaching MachineVerifier about optional defs.Cameron Zwarich1-3/+3
2010-12-18Pass a Banner argument to the machine code verifier both fromJakob Stoklund Olesen1-9/+16
2010-12-17Allow missing kill flags on an untied operand of a two-address instruction whenJakob Stoklund Olesen1-1/+6
2010-11-17Only avoid the check if we're the last operand before the variableEric Christopher1-3/+3
2010-11-16Make the verifier a little quieter on instructions that it's probablyEric Christopher1-1/+3
2010-11-01Be more precise about verifying missing kill flags.Jakob Stoklund Olesen1-2/+4
2010-11-01Add kill flag verification.Jakob Stoklund Olesen1-2/+13
2010-11-01Add basic LiveStacks verification.Jakob Stoklund Olesen1-0/+20
2010-10-30Disable more of physical register live intervals verification.Jakob Stoklund Olesen1-2/+3
2010-10-29Print out the connected components in the verifier after complaining about theirJakob Stoklund Olesen1-0/+8
2010-10-28One day, physical register live ranges will be sensible.Jakob Stoklund Olesen1-0/+5
2010-10-27Physical registers trivially have multiple connected components all the time.Jakob Stoklund Olesen1-5/+7
2010-10-26Verify that live intervals are connected. If there are multiple connectedJakob Stoklund Olesen1-1/+9
2010-10-26Teach MachineBasicBlock::print() to annotate instructions and blocks withJakob Stoklund Olesen1-2/+11
2010-10-26Remmeber to print full live interval on verification error.Jakob Stoklund Olesen1-4/+7
2010-10-26Don't verify physical registers going into landing pads.Jakob Stoklund Olesen1-0/+8
2010-10-23Verify LiveIntervals against the CFG, ensuring that live-in values are live-outJakob Stoklund Olesen1-1/+77
2010-10-22Add more verification of LiveIntervals.Jakob Stoklund Olesen1-0/+29
2010-10-21Permit landing pad successor blocks when verifying basic blocks that end in anJakob Stoklund Olesen1-5/+13
2010-10-19Get rid of static constructors for pass registration. Instead, every pass ex...Owen Anderson1-1/+3
2010-10-07Now with fewer extraneous semicolons!Owen Anderson1-1/+1
2010-10-06Skip unused registers when verifying LiveIntervals.Jakob Stoklund Olesen1-0/+5
2010-10-02Stop using LiveRange in MachineVerifier.Jakob Stoklund Olesen1-16/+15
2010-08-23Now that PassInfo and Pass::ID have been separated, move the rest of the pass...Owen Anderson1-3/+2
2010-08-19Correct header.Bill Wendling1-1/+1
2010-08-06Reapply r110396, with fixes to appease the Linux buildbot gods.Owen Anderson1-1/+1
2010-08-06Add more verification of LiveIntervals.Jakob Stoklund Olesen1-4/+58
2010-08-06Don't try to verify LiveIntervals for physical registers.Jakob Stoklund Olesen1-8/+4
2010-08-06Revert r110396 to fix buildbots.Owen Anderson1-1/+1
2010-08-05Don't verify LiveVariables if LiveIntervals is available.Jakob Stoklund Olesen1-12/+13
2010-08-05Don't use PassInfo* as a type identifier for passes. Instead, use the addres...Owen Anderson1-1/+1
2010-08-05Add basic verification of LiveIntervals.Jakob Stoklund Olesen1-0/+59
2010-08-05Remove double-def checking from MachineVerifier, so a register does not have toJakob Stoklund Olesen1-76/+11
2010-06-18Allow ARM if-converter to be run after post allocation scheduling.Evan Cheng1-1/+2
2010-05-18Teach the machine code verifier to use getSubRegisterRegClass().Jakob Stoklund Olesen1-2/+5
2010-05-14When verifying two-address instructions, check the following:Jakob Stoklund Olesen1-12/+16
2010-04-15Fix a bunch of namespace polution.Dan Gohman1-2/+2
2010-04-13Eliminate MachineBasicBlock::const_livein_iterator and makeDan Gohman1-1/+1
2010-04-07rename llvm::llvm_report_error -> llvm::report_fatal_errorChris Lattner1-1/+1
2010-02-09move target-independent opcodes out of TargetInstrInfoChris Lattner1-6/+4
2010-01-05Remove livein checks from machine code verifier.Jakob Stoklund Olesen1-99/+13
2009-12-22Remove minimal CFG sanity checks from verifier.Jakob Stoklund Olesen1-18/+0
generated by cgit v1.1 at 2025-10-09 18:42:28 +0000