Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
toolchain
/
llvm-project
/
f6830f47b84a2048a78fafa0051ff823de449c18
/
llvm
/
lib
/
CodeGen
/
MachineVerifier.cpp
23c9274
Fix confusing machine verifier error.
by Matt Arsenault
· 12 years ago
71f87cb
increase the accuracy of register pressure computation in the presence of dead definitions by using live intervals, if available, to identify dead definitions and proceed accordingly.
by Pedro Artigas
· 12 years ago
f6fe6bf
Print register in LiveInterval::print()
by Matthias Braun
· 12 years ago
34e1be9
Represent RegUnit liveness with LiveRange instance
by Matthias Braun
· 12 years ago
364e6e9
Change MachineVerifier to work on LiveRange + LiveInterval
by Matthias Braun
· 12 years ago
88dd0ab
Pass LiveQueryResult by value
by Matthias Braun
· 12 years ago
13ddb7c
Rename LiveRange to LiveInterval::Segment
by Matthias Braun
· 12 years ago
6a57acf
Fix indentation
by Matthias Braun
· 12 years ago
6d35481
Add a wrapper for open.
by Rafael Espindola
· 12 years ago
aa6875b
Machine Verifier: verify FrameSetup and FrameDestroy
by Manman Ren
· 12 years ago
abdb1d6
Simplify logic now that r182490 is in place. No functional change intended.
by Chad Rosier
· 12 years ago
e17c3fd
Add an MRI::verifyUseLists() function.
by Jakob Stoklund Olesen
· 13 years ago
9fb823b
Move all of the header files which are involved in modelling the LLVM IR
by Chandler Carruth
· 13 years ago
349d1a3
Add a missing 'else'. Found by grep '} if'
by Dmitri Gribenko
· 13 years ago
29c2771
Verify bundle flags for consistency in MachineVerifier.
by Jakob Stoklund Olesen
· 13 years ago
ed0881b
Use the new script to sort the includes of every file under lib.
by Chandler Carruth
· 13 years ago
9e1274f
[inline asm] Implement mayLoad and mayStore for inline assembly. In general,
by Chad Rosier
· 13 years ago
244beb4
Remove unused BitVectors from getAllocatableSet().
by Jakob Stoklund Olesen
· 13 years ago
c30a9af
Switch most getReservedRegs() clients to the MRI equivalent.
by Jakob Stoklund Olesen
· 13 years ago
ad06cee
Stop casting away const qualifier needlessly.
by Roman Divacky
· 13 years ago
c7579cd
Move tie checks into MachineVerifier::visitMachineOperand.
by Jakob Stoklund Olesen
· 13 years ago
7a837b9
Verify the consistency of inline asm operands.
by Jakob Stoklund Olesen
· 13 years ago
dbbff78
Verify the tied operand flags.
by Jakob Stoklund Olesen
· 13 years ago
a538d83
Add a getName function to MachineFunction. Use it in places that previously did getFunction()->getName(). Remove includes of Function.h that are no longer needed.
by Craig Topper
· 13 years ago
7d33c57
Don't add CFG edges for redundant conditional branches.
by Jakob Stoklund Olesen
· 13 years ago
de31b52
Add CFG checks to MachineVerifier.
by Jakob Stoklund Olesen
· 13 years ago
8f3447c
Fix undefined behavior: don't perform array indexing through a potentially null
by Richard Smith
· 13 years ago
637c467
Verify regunit intervals along with virtreg intervals.
by Jakob Stoklund Olesen
· 13 years ago
bde5dc5
Add report() functions that take a LiveInterval argument.
by Jakob Stoklund Olesen
· 13 years ago
e736b97
Extract some methods from verifyLiveIntervals.
by Jakob Stoklund Olesen
· 13 years ago
a766b47
Also verify RegUnit intervals at uses.
by Jakob Stoklund Olesen
· 13 years ago
c6fd3de
Verify two-address constraints more carefully.
by Jakob Stoklund Olesen
· 13 years ago
dcf94db
Fix crash in machine verifier when trying to print the def of a register which has no def
by Pete Cooper
· 13 years ago
d163405
Remove tabs.
by Bill Wendling
· 13 years ago
da9ea1d
Check for extra kill flags on live-out virtual registers.
by Jakob Stoklund Olesen
· 13 years ago
a57fc12
Enforce stricter liveness rules for PHIs.
by Jakob Stoklund Olesen
· 13 years ago
b033ded
Also verify the def index for early clobbers.
by Jakob Stoklund Olesen
· 13 years ago
781e0b9
Fix some more LiveInterval enumerations.
by Jakob Stoklund Olesen
· 13 years ago
1b420ac
Make machine verifier check the first instruction of the last bundle instead of
by Akira Hatanaka
· 13 years ago
cd72016
Move terminator machine verification to check MachineBasicBlock::instr_iterator instead of MBB::iterator
by Pete Cooper
· 13 years ago
00e7dff
Properly verify liveness with bundled machine instructions.
by Jakob Stoklund Olesen
· 13 years ago
54038d7
Switch all register list clients to the new MC*Iterator interface.
by Jakob Stoklund Olesen
· 13 years ago
76f6e26
Optional def can be either a def or a use (of reg0).
by Evan Cheng
· 13 years ago
14a8745
Fix a verifier bug.
by Jakob Stoklund Olesen
· 13 years ago
3c52f02
Add an MF argument to TRI::getPointerRegClass() and TII::getRegClass().
by Jakob Stoklund Olesen
· 13 years ago
d1bd8fb
Enable machine code verification after PreSched2 passes.
by Jakob Stoklund Olesen
· 14 years ago
b21df32
Skip liveness verification when MRI->tracksLiveness() is false.
by Jakob Stoklund Olesen
· 14 years ago
99014ff
Report the defining instruction.
by Jakob Stoklund Olesen
· 14 years ago
9f3e574
Add SSA verification to MachineVerifier.
by Jakob Stoklund Olesen
· 14 years ago
6ea6a144
Use SmallPtrSet instead of DenseSet.
by Jakob Stoklund Olesen
· 14 years ago
4b02a29
Convert more GenRegisterInfo tables from unsigned to uint16_t to reduce static data size.
by Craig Topper
· 14 years ago
8017d80
Move the operand iterator into MachineInstrBundle.h where it belongs.
by Jakob Stoklund Olesen
· 14 years ago
16c4a97
Handle regmasks in the machine code verifier.
by Jakob Stoklund Olesen
· 14 years ago
5aafb56
Update machine code verifier.
by Jakob Stoklund Olesen
· 14 years ago
1ce837a
Update MachineVerifier to check the new physreg live-in rules.
by Lang Hames
· 14 years ago
7fae11b
- Add MachineInstrBundle.h and MachineInstrBundle.cpp. This includes a function
by Evan Cheng
· 14 years ago
7f8e563
Add bundle aware API for querying instruction properties and switch the code
by Evan Cheng
· 14 years ago
1f97a5a
Remove all remaining uses of Value::getNameStr().
by Benjamin Kramer
· 14 years ago
d7bcf43
Use getVNInfoBefore() when it makes sense.
by Jakob Stoklund Olesen
· 14 years ago
90b5e56
Rename SlotIndexes to match how they are used.
by Jakob Stoklund Olesen
· 14 years ago
eb38bd8c
Fix sub-register operand verification.
by Jakob Stoklund Olesen
· 14 years ago
3bb99bc
Verify that terminators follow non-terminators.
by Jakob Stoklund Olesen
· 14 years ago
924123a
Lower ARM adds/subs to add/sub after adding optional CPSR operand.
by Andrew Trick
· 14 years ago
4c09955
Stop verifying hasPHIKill() flags.
by Jakob Stoklund Olesen
· 14 years ago
5670f85
Revert "Don't check liveness of unallocatable registers."
by Jakob Stoklund Olesen
· 14 years ago
95cc544
Don't check liveness of unallocatable registers.
by Jakob Stoklund Olesen
· 14 years ago
9dd1841
Check for multiple defs in the machine code verifier.
by Jakob Stoklund Olesen
· 14 years ago
6cc775f
- Rename TargetInstrDesc, TargetOperandInfo to MCInstrDesc and MCOperandInfo and
by Evan Cheng
· 14 years ago
8d71a75
More refactoring. Move getRegClass from TargetOperandInfo to TargetInstrInfo.
by Evan Cheng
· 14 years ago
aff1060
Use TRI::has{Sub,Super}ClassEq() where possible.
by Jakob Stoklund Olesen
· 14 years ago
fe5795a
Revert r128961 because it didn't include a test and causes the verifier to fail
by Cameron Zwarich
· 14 years ago
2a40131
SjLj EH could produce a machine basic block that legitimately has more than one
by Bill Wendling
· 15 years ago
30b5473
Permit blocks to branch directly to a landing pad.
by Jakob Stoklund Olesen
· 15 years ago
561cea0
Allow kill flags on two-address instructions. They are harmless.
by Jakob Stoklund Olesen
· 15 years ago
9a78835
Mark all uses as <undef> when joining a copy.
by Jakob Stoklund Olesen
· 15 years ago
66d0f39
Verify kill flags conservatively.
by Jakob Stoklund Olesen
· 15 years ago
58b6f4d
Verify slot index ordering.
by Jakob Stoklund Olesen
· 15 years ago
b5b4a5d
Verify that machine instruction parent pointers are consistent.
by Jakob Stoklund Olesen
· 15 years ago
1331a15
Replace TargetRegisterInfo::printReg with a PrintReg class that also works without a TRI instance.
by Jakob Stoklund Olesen
· 15 years ago
6ff70ad3
Fix a MachineVerifier loop that probably didn't mean to skip the last two
by Jakob Stoklund Olesen
· 15 years ago
6fe33fd
Simplify some code in MachineVerifier that was doing the correct thing, but not
by Cameron Zwarich
· 15 years ago
b95bfe1
Add knowledge of phi-def and phi-kill valnos to MachineVerifier's predecessor
by Cameron Zwarich
· 15 years ago
4ffda70
MachineVerifier should count landing pad successors as basic blocks rather than
by Cameron Zwarich
· 15 years ago
660bce6
Teach MachineVerifier that early clobber defs begin at USE slots and other defs
by Cameron Zwarich
· 15 years ago
bc2461c
Add a missing check from r122218.
by Cameron Zwarich
· 15 years ago
fc0c6b1
Don't assume that an instruction ending a register's live range always reads
by Cameron Zwarich
· 15 years ago
1b67d6c
Ignore debug values when performing MachineVerifier liveness checks. Fixes
by Cameron Zwarich
· 15 years ago
0b111b1
Early clobber operands are allowed to be defined at use indices. This fixes one
by Cameron Zwarich
· 15 years ago
7e24173
Fix PR8811 by teaching MachineVerifier about optional defs.
by Cameron Zwarich
· 15 years ago
bf4550e
Pass a Banner argument to the machine code verifier both from
by Jakob Stoklund Olesen
· 15 years ago
a043b62
Allow missing kill flags on an untied operand of a two-address instruction when
by Jakob Stoklund Olesen
· 15 years ago
bcc230a7
Only avoid the check if we're the last operand before the variable
by Eric Christopher
· 15 years ago
08c0831
Make the verifier a little quieter on instructions that it's probably
by Eric Christopher
· 15 years ago
2551f13
Be more precise about verifying missing kill flags.
by Jakob Stoklund Olesen
· 15 years ago
d7a8240
Add kill flag verification.
by Jakob Stoklund Olesen
· 15 years ago
31fffb6
Add basic LiveStacks verification.
by Jakob Stoklund Olesen
· 15 years ago
db84d8f
Disable more of physical register live intervals verification.
by Jakob Stoklund Olesen
· 15 years ago
b987554
Print out the connected components in the verifier after complaining about their
by Jakob Stoklund Olesen
· 15 years ago
dc5e706
One day, physical register live ranges will be sensible.
by Jakob Stoklund Olesen
· 15 years ago
0e7a011
Physical registers trivially have multiple connected components all the time.
by Jakob Stoklund Olesen
· 15 years ago
Next »