diff options
Diffstat (limited to 'llvm/lib/CodeGen/MachineVerifier.cpp')
| -rw-r--r-- | llvm/lib/CodeGen/MachineVerifier.cpp | 22 | 
1 files changed, 11 insertions, 11 deletions
diff --git a/llvm/lib/CodeGen/MachineVerifier.cpp b/llvm/lib/CodeGen/MachineVerifier.cpp index a5ee1d5..7c64fc6 100644 --- a/llvm/lib/CodeGen/MachineVerifier.cpp +++ b/llvm/lib/CodeGen/MachineVerifier.cpp @@ -596,6 +596,17 @@ void MachineVerifier::visitMachineBundleBefore(const MachineInstr *MI) {      }      lastIndex = idx;    } + +  // Ensure non-terminators don't follow terminators. +  // 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) { +    report("Non-terminator instruction after the first terminator", MI); +    *OS << "First terminator was:\t" << *FirstTerminator; +  }  }  void MachineVerifier::visitMachineInstrBefore(const MachineInstr *MI) { @@ -631,17 +642,6 @@ void MachineVerifier::visitMachineInstrBefore(const MachineInstr *MI) {      }    } -  // Ensure non-terminators don't follow terminators. -  // 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) { -    report("Non-terminator instruction after the first terminator", MI); -    *OS << "First terminator was:\t" << *FirstTerminator; -  } -    StringRef ErrorInfo;    if (!TII->verifyInstruction(MI, ErrorInfo))      report(ErrorInfo.data(), MI);  | 
