Lines Matching defs:MachineVerifier
1 //===- MachineVerifier.cpp - Machine Code Verifier ------------------------===//
23 #include "llvm/CodeGen/MachineVerifier.h"
102 struct MachineVerifier {
103 MachineVerifier(MachineFunctionAnalysisManager &MFAM, const char *b,
108 MachineVerifier(Pass *pass, const char *b, raw_ostream *OS,
113 MachineVerifier(const char *b, LiveVariables *LiveVars,
390 MachineVerifier(this, Banner.c_str(), &errs()).verify(MF);
406 MachineVerifier(MFAM, Banner.c_str(), &errs()).verify(MF);
426 MachineVerifier(nullptr, Banner.c_str(), &errs()).verify(MF);
431 return MachineVerifier(p, Banner, OS, AbortOnError).verify(*this);
437 return MachineVerifier(Banner, /*LiveVars=*/nullptr, LiveInts,
442 void MachineVerifier::verifySlotIndexes() const {
455 void MachineVerifier::verifyProperties(const MachineFunction &MF) {
465 bool MachineVerifier::verify(const MachineFunction &MF) {
581 void MachineVerifier::report(const char *msg, const MachineFunction *MF) {
598 void MachineVerifier::report(const char *msg, const MachineBasicBlock *MBB) {
609 void MachineVerifier::report(const char *msg, const MachineInstr *MI) {
618 void MachineVerifier::report(const char *msg, const MachineOperand *MO,
627 void MachineVerifier::report(const Twine &Msg, const MachineInstr *MI) {
631 void MachineVerifier::report_context(SlotIndex Pos) const {
635 void MachineVerifier::report_context(const LiveInterval &LI) const {
639 void MachineVerifier::report_context(const LiveRange &LR,
648 void MachineVerifier::report_context(const LiveRange::Segment &S) const {
652 void MachineVerifier::report_context(const VNInfo &VNI) const {
656 void MachineVerifier::report_context_liverange(const LiveRange &LR) const {
660 void MachineVerifier::report_context(MCPhysReg PReg) const {
664 void MachineVerifier::report_context_vreg(Register VReg) const {
668 void MachineVerifier::report_context_vreg_regunit(
678 void MachineVerifier::report_context_lanemask(LaneBitmask LaneMask) const {
682 void MachineVerifier::markReachable(const MachineBasicBlock *MBB) {
691 void MachineVerifier::visitMachineFunctionBefore() {
724 MachineVerifier::visitMachineBasicBlockBefore(const MachineBasicBlock *MBB) {
925 void MachineVerifier::visitMachineBundleBefore(const MachineInstr *MI) {
951 void MachineVerifier::verifyInlineAsm(const MachineInstr *MI) {
1023 bool MachineVerifier::verifyAllRegOpsScalar(const MachineInstr &MI,
1041 bool MachineVerifier::verifyVectorElementMatch(LLT Ty0, LLT Ty1,
1061 bool MachineVerifier::verifyGIntrinsicSideEffects(const MachineInstr *MI) {
1085 bool MachineVerifier::verifyGIntrinsicConvergence(const MachineInstr *MI) {
1110 void MachineVerifier::verifyPreISelGenericInstruction(const MachineInstr *MI) {
2271 void MachineVerifier::visitMachineInstrBefore(const MachineInstr *MI) {
2398 // sizes. However, once RegisterBankSelection occurs, MachineVerifier should
2508 MachineVerifier::visitMachineOperand(const MachineOperand *MO, unsigned MONum) {
2840 void MachineVerifier::checkLivenessAtUse(const MachineOperand *MO,
2875 void MachineVerifier::checkLivenessAtDef(const MachineOperand *MO,
2940 void MachineVerifier::checkLiveness(const MachineOperand *MO, unsigned MONum) {
3119 void MachineVerifier::visitMachineBundleAfter(const MachineInstr *MI) {
3136 MachineVerifier::visitMachineBasicBlockAfter(const MachineBasicBlock *MBB) {
3257 void MachineVerifier::calcRegsPassed() {
3286 void MachineVerifier::calcRegsRequired() {
3333 void MachineVerifier::checkPHIOps(const MachineBasicBlock &MBB) {
3417 void MachineVerifier::visitMachineFunctionAfter() {
3500 void MachineVerifier::verifyLiveVariables() {
3526 void MachineVerifier::verifyLiveIntervals() {
3552 void MachineVerifier::verifyLiveRangeValue(const LiveRange &LR,
3643 void MachineVerifier::verifyLiveRangeSegment(const LiveRange &LR,
3871 void MachineVerifier::verifyLiveRange(const LiveRange &LR,
3881 void MachineVerifier::verifyLiveInterval(const LiveInterval &LI) {
3951 void MachineVerifier::verifyStackFrame() {
4061 void MachineVerifier::verifyStackProtector() {