Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
toolchain
/
llvm-project
/
ceb1dbb41f6d7eaa3b45793d3307fe092f635167
/
llvm
/
lib
/
CodeGen
/
MachineVerifier.cpp
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
· 14 years ago
30b5473
Permit blocks to branch directly to a landing pad.
by Jakob Stoklund Olesen
· 14 years ago
561cea0
Allow kill flags on two-address instructions. They are harmless.
by Jakob Stoklund Olesen
· 14 years ago
9a78835
Mark all uses as <undef> when joining a copy.
by Jakob Stoklund Olesen
· 14 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
260fa28
Verify that live intervals are connected. If there are multiple connected
by Jakob Stoklund Olesen
· 15 years ago
b705023
Teach MachineBasicBlock::print() to annotate instructions and blocks with
by Jakob Stoklund Olesen
· 15 years ago
db59437
Remmeber to print full live interval on verification error.
by Jakob Stoklund Olesen
· 15 years ago
9eabfa3
Don't verify physical registers going into landing pads.
by Jakob Stoklund Olesen
· 15 years ago
8a09620
Verify LiveIntervals against the CFG, ensuring that live-in values are live-out
by Jakob Stoklund Olesen
· 15 years ago
0fb303d
Add more verification of LiveIntervals.
by Jakob Stoklund Olesen
· 15 years ago
7c9d584
Permit landing pad successor blocks when verifying basic blocks that end in an
by Jakob Stoklund Olesen
· 15 years ago
6c18d1a
Get rid of static constructors for pass registration. Instead, every pass exposes an initializeMyPassFunction(), which
by Owen Anderson
· 15 years ago
df7a4f2
Now with fewer extraneous semicolons!
by Owen Anderson
· 15 years ago
1a065e4
Skip unused registers when verifying LiveIntervals.
by Jakob Stoklund Olesen
· 15 years ago
4088cea
Stop using LiveRange in MachineVerifier.
by Jakob Stoklund Olesen
· 15 years ago
d31d82d
Now that PassInfo and Pass::ID have been separated, move the rest of the passes over to the new registration API.
by Owen Anderson
· 15 years ago
Next »