axiomdl/llvm
0
0
Fork 0
mirror of https://github.com/AxioDL/llvm.git synced 2026-03-30 11:42:29 -07:00
Code Issues Packages Projects Releases Wiki Activity
70,236 Commits 3 Branches 0 Tags
c70f687dce99ea48ca779e6767006f6663781132
Commit Graph

91 Commits

Author SHA1 Message Date
Jakob Stoklund Olesen a7b586ba74 Verify kill flags conservatively. 
Allow a live range to end with a kill flag, but don't allow a kill flag that
doesn't end the live range.

This makes the machine code verifier more useful during register allocation when
kill flag computation is deferred.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@124838 91177308-0d34-0410-b5e6-96231b3b80d8
 2011-02-04 00:39:18 +00:00
Jakob Stoklund Olesen fc69c370e1 Verify slot index ordering. 
The slot indexes must be monotonically increasing through the function.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@123324 91177308-0d34-0410-b5e6-96231b3b80d8
 2011-01-12 21:27:48 +00:00
Jakob Stoklund Olesen 7bd46dae9c Verify that machine instruction parent pointers are consistent. 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@123322 91177308-0d34-0410-b5e6-96231b3b80d8
 2011-01-12 21:27:41 +00:00
Jakob Stoklund Olesen 4314268128 Replace TargetRegisterInfo::printReg with a PrintReg class that also works without a TRI instance. 
Print virtual registers numbered from 0 instead of the arbitrary
FirstVirtualRegister. The first virtual register is printed as %vreg0.
TRI::NoRegister is printed as %noreg.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@123107 91177308-0d34-0410-b5e6-96231b3b80d8
 2011-01-09 03:05:53 +00:00
Jakob Stoklund Olesen 98c5476070 Fix a MachineVerifier loop that probably didn't mean to skip the last two 
virtual registers.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@123100 91177308-0d34-0410-b5e6-96231b3b80d8
 2011-01-08 23:11:02 +00:00
Cameron Zwarich cb584d08c0 Simplify some code in MachineVerifier that was doing the correct thing, but not 
in the most obvious way.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@122610 91177308-0d34-0410-b5e6-96231b3b80d8
 2010-12-28 23:45:38 +00:00
Cameron Zwarich 4eee42cb28 Add knowledge of phi-def and phi-kill valnos to MachineVerifier's predecessor 
valno verification. The "Different value live out of predecessor" check is
incorrect in the case of phi-def valnos, so just skip that check for phi-def
valnos and instead check that all of the valnos for predecessors have phi-kill.
Fixes PR8863.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@122581 91177308-0d34-0410-b5e6-96231b3b80d8
 2010-12-27 05:17:23 +00:00
Cameron Zwarich 2100d21f39 MachineVerifier should count landing pad successors as basic blocks rather than 
out-edges. Fixes PR8824.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@122228 91177308-0d34-0410-b5e6-96231b3b80d8
 2010-12-20 04:19:48 +00:00
Cameron Zwarich 0b13d7db28 Teach MachineVerifier that early clobber defs begin at USE slots and other defs 
begin at DEF slots. Fixes the second half of PR8813.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@122225 91177308-0d34-0410-b5e6-96231b3b80d8
 2010-12-20 03:15:20 +00:00
Cameron Zwarich 5e61f9916e Add a missing check from r122218. 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@122224 91177308-0d34-0410-b5e6-96231b3b80d8
 2010-12-20 02:59:51 +00:00
Cameron Zwarich 636f15ff04 Don't assume that an instruction ending a register's live range always reads 
the register; it may be a dead def instead. Fixes PR8820.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@122218 91177308-0d34-0410-b5e6-96231b3b80d8
 2010-12-20 01:22:37 +00:00
Cameron Zwarich 8ec88ba588 Ignore debug values when performing MachineVerifier liveness checks. Fixes 
PR8822.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@122207 91177308-0d34-0410-b5e6-96231b3b80d8
 2010-12-20 00:08:10 +00:00
Cameron Zwarich 1b031ddede Early clobber operands are allowed to be defined at use indices. This fixes one 
half of PR8813.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@122205 91177308-0d34-0410-b5e6-96231b3b80d8
 2010-12-19 23:50:53 +00:00
Cameron Zwarich 22d67cf6ac Fix PR8811 by teaching MachineVerifier about optional defs. 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@122199 91177308-0d34-0410-b5e6-96231b3b80d8
 2010-12-19 21:37:23 +00:00
Jakob Stoklund Olesen 89cab93fe9 Pass a Banner argument to the machine code verifier both from 
createMachineVerifierPass and MachineFunction::verify.

The banner is printed before the machine code dump, just like the printer pass.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@122113 91177308-0d34-0410-b5e6-96231b3b80d8
 2010-12-18 00:06:56 +00:00
Jakob Stoklund Olesen 2f3a4aa550 Allow missing kill flags on an untied operand of a two-address instruction when 
the operand uses the same register as a tied operand:

  %r1 = add %r1, %r1

If add were a three-address instruction, kill flags would be required on at
least one of the uses. Since it is a two-address instruction, the tied use
operand must not have a kill flag.

This change makes the kill flag on the untied use operand optional.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@122082 91177308-0d34-0410-b5e6-96231b3b80d8
 2010-12-17 19:18:41 +00:00
Eric Christopher 113a06cff4 Only avoid the check if we're the last operand before the variable 
operands in a variadic instruction.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@119446 91177308-0d34-0410-b5e6-96231b3b80d8
 2010-11-17 00:55:36 +00:00
Eric Christopher 800e57313e Make the verifier a little quieter on instructions that it's probably 
(and likely) wrong about anyhow.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@119320 91177308-0d34-0410-b5e6-96231b3b80d8
 2010-11-16 01:58:21 +00:00
Jakob Stoklund Olesen 962c71089d Be more precise about verifying missing kill flags. 
It is legal for an instruction to have two operands using the same register,
only one a kill. This is interpreted as a kill.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@117981 91177308-0d34-0410-b5e6-96231b3b80d8
 2010-11-01 23:59:53 +00:00
Jakob Stoklund Olesen 1c163d2a06 Add kill flag verification. 
At least X86FloatingPoint requires correct kill flags after register allocation,
and targets using register scavenging benefit. Conservative kill flags are not
enough.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@117960 91177308-0d34-0410-b5e6-96231b3b80d8
 2010-11-01 21:51:31 +00:00
Jakob Stoklund Olesen e8f0823a68 Add basic LiveStacks verification. 
When an instruction refers to a spill slot with a LiveStacks entry, check that
the spill slot is live at the instruction.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@117944 91177308-0d34-0410-b5e6-96231b3b80d8
 2010-11-01 19:49:52 +00:00
Jakob Stoklund Olesen ab56647e6b Disable more of physical register live intervals verification. 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@117762 91177308-0d34-0410-b5e6-96231b3b80d8
 2010-10-30 01:26:11 +00:00
Jakob Stoklund Olesen cb367778c0 Print out the connected components in the verifier after complaining about their 
multiplicity.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@117630 91177308-0d34-0410-b5e6-96231b3b80d8
 2010-10-29 00:40:57 +00:00
Jakob Stoklund Olesen 8c4564287d One day, physical register live ranges will be sensible. 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@117602 91177308-0d34-0410-b5e6-96231b3b80d8
 2010-10-28 20:44:22 +00:00
Jakob Stoklund Olesen 8c593f9173 Physical registers trivially have multiple connected components all the time. 
Only virtuals should be requires to be connected.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@117422 91177308-0d34-0410-b5e6-96231b3b80d8
 2010-10-27 00:39:01 +00:00