projects
/
oota-llvm.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Whitespace and 80-col.
[oota-llvm.git]
/
lib
/
CodeGen
/
MachineVerifier.cpp
2013-01-02
Chandler Carruth
Move all of the header files which are involved in...
blob
|
commitdiff
|
raw
2012-12-19
Dmitri Gribenko
Add a missing 'else'. Found by grep '} if'
blob
|
commitdiff
|
raw
|
diff to current
2012-12-18
Jakob Stoklund Olesen
Verify bundle flags for consistency in MachineVerifier.
blob
|
commitdiff
|
raw
|
diff to current
2012-12-03
Chandler Carruth
Use the new script to sort the includes of every file...
blob
|
commitdiff
|
raw
|
diff to current
2012-10-30
Chad Rosier
[inline asm] Implement mayLoad and mayStore for inline...
blob
|
commitdiff
|
raw
|
diff to current
2012-10-16
Jakob Stoklund Olesen
Remove unused BitVectors from getAllocatableSet().
blob
|
commitdiff
|
raw
|
diff to current
2012-10-15
Jakob Stoklund Olesen
Switch most getReservedRegs() clients to the MRI equiva...
blob
|
commitdiff
|
raw
|
diff to current
2012-09-05
Roman Divacky
Stop casting away const qualifier needlessly.
blob
|
commitdiff
|
raw
|
diff to current
2012-09-04
Jakob Stoklund Olesen
Move tie checks into MachineVerifier::visitMachineOperand.
blob
|
commitdiff
|
raw
|
diff to current
2012-08-29
Jakob Stoklund Olesen
Verify the consistency of inline asm operands.
blob
|
commitdiff
|
raw
|
diff to current
2012-08-29
Jakob Stoklund Olesen
Verify the tied operand flags.
blob
|
commitdiff
|
raw
|
diff to current
2012-08-22
Craig Topper
Add a getName function to MachineFunction. Use it in...
blob
|
commitdiff
|
raw
|
diff to current
2012-08-20
Jakob Stoklund Olesen
Don't add CFG edges for redundant conditional branches.
blob
|
commitdiff
|
raw
|
diff to current
2012-08-20
Jakob Stoklund Olesen
Add CFG checks to MachineVerifier.
blob
|
commitdiff
|
raw
|
diff to current
2012-08-15
Richard Smith
Fix undefined behavior: don't perform array indexing...
blob
|
commitdiff
|
raw
|
diff to current
2012-08-02
Jakob Stoklund Olesen
Verify regunit intervals along with virtreg intervals.
blob
|
commitdiff
|
raw
|
diff to current
2012-08-02
Jakob Stoklund Olesen
Add report() functions that take a LiveInterval argument.
blob
|
commitdiff
|
raw
|
diff to current
2012-08-02
Jakob Stoklund Olesen
Extract some methods from verifyLiveIntervals.
blob
|
commitdiff
|
raw
|
diff to current
2012-08-01
Jakob Stoklund Olesen
Also verify RegUnit intervals at uses.
blob
|
commitdiff
|
raw
|
diff to current
2012-07-25
Jakob Stoklund Olesen
Verify two-address constraints more carefully.
blob
|
commitdiff
|
raw
|
diff to current
2012-07-19
Pete Cooper
Fix crash in machine verifier when trying to print...
blob
|
commitdiff
|
raw
|
diff to current
2012-07-19
Bill Wendling
Remove tabs.
blob
|
commitdiff
|
raw
|
diff to current
2012-06-29
Jakob Stoklund Olesen
Check for extra kill flags on live-out virtual registers.
blob
|
commitdiff
|
raw
|
diff to current
2012-06-25
Jakob Stoklund Olesen
Enforce stricter liveness rules for PHIs.
blob
|
commitdiff
|
raw
|
diff to current
2012-06-22
Jakob Stoklund Olesen
Also verify the def index for early clobbers.
blob
|
commitdiff
|
raw
|
diff to current
2012-06-20
Jakob Stoklund Olesen
Fix some more LiveInterval enumerations.
blob
|
commitdiff
|
raw
|
diff to current
2012-06-14
Akira Hatanaka
Make machine verifier check the first instruction of...
blob
|
commitdiff
|
raw
|
diff to current
2012-06-07
Pete Cooper
Move terminator machine verification to check MachineBa...
blob
|
commitdiff
|
raw
|
diff to current
2012-06-06
Jakob Stoklund Olesen
Properly verify liveness with bundled machine instructions.
blob
|
commitdiff
|
raw
|
diff to current
2012-06-01
Jakob Stoklund Olesen
Switch all register list clients to the new MC*Iterator...
blob
|
commitdiff
|
raw
|
diff to current
2012-05-29
Evan Cheng
Optional def can be either a def or a use (of reg0).
blob
|
commitdiff
|
raw
|
diff to current
2012-05-17
Jakob Stoklund Olesen
Fix a verifier bug.
blob
|
commitdiff
|
raw
|
diff to current
2012-05-07
Jakob Stoklund Olesen
Add an MF argument to TRI::getPointerRegClass() and...
blob
|
commitdiff
|
raw
|
diff to current
2012-03-28
Jakob Stoklund Olesen
Enable machine code verification after PreSched2 passes.
blob
|
commitdiff
|
raw
|
diff to current
2012-03-28
Jakob Stoklund Olesen
Skip liveness verification when MRI->tracksLiveness...
blob
|
commitdiff
|
raw
|
diff to current
2012-03-10
Jakob Stoklund Olesen
Report the defining instruction.
blob
|
commitdiff
|
raw
|
diff to current
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
next