diff options
| author | Jakob Stoklund Olesen <stoklund@2pi.dk> | 2012-03-28 23:31:15 +0000 |
|---|---|---|
| committer | Jakob Stoklund Olesen <stoklund@2pi.dk> | 2012-03-28 23:31:15 +0000 |
| commit | d1bd8fba13c2f3d0b162d979c85a31cdf1080afa (patch) | |
| tree | c9ff51d911cd0c44de544db1997c8bd17fc7ebc3 /llvm/lib/CodeGen/MachineVerifier.cpp | |
| parent | 1a0877f99dc8130f3b85ab096bc03059e4c3cd0a (diff) | |
| download | llvm-d1bd8fba13c2f3d0b162d979c85a31cdf1080afa.zip llvm-d1bd8fba13c2f3d0b162d979c85a31cdf1080afa.tar.gz llvm-d1bd8fba13c2f3d0b162d979c85a31cdf1080afa.tar.bz2 | |
Enable machine code verification after PreSched2 passes.
The late scheduler depends on accurate liveness information if it is
breaking anti-dependencies, so we should be able to verify it.
Relax the terminator checking in the machine code verifier so it can
handle the basic blocks created by if conversion.
llvm-svn: 153614
Diffstat (limited to 'llvm/lib/CodeGen/MachineVerifier.cpp')
| -rw-r--r-- | llvm/lib/CodeGen/MachineVerifier.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/llvm/lib/CodeGen/MachineVerifier.cpp b/llvm/lib/CodeGen/MachineVerifier.cpp index 0e6120b..74ba94d 100644 --- a/llvm/lib/CodeGen/MachineVerifier.cpp +++ b/llvm/lib/CodeGen/MachineVerifier.cpp @@ -609,7 +609,9 @@ void MachineVerifier::visitMachineInstrBefore(const MachineInstr *MI) { } // Ensure non-terminators don't follow terminators. - if (MI->isTerminator()) { + // Ignore predicated terminators formed by if conversion. + // FIXME: If conversion shouldn't need to violate this rule. + if (MI->isTerminator() && !TII->isPredicated(MI)) { if (!FirstTerminator) FirstTerminator = MI; } else if (FirstTerminator) { |