Lines Matching defs:VNI
319 void report_context(const VNInfo &VNI) const;
652 void MachineVerifier::report_context(const VNInfo &VNI) const {
653 OS << "- ValNo: " << VNI.id << " (def " << VNI.def << ")\n";
2890 if (const VNInfo *VNI = LR.getVNInfoAt(DefIdx)) {
2899 if (((SubRangeCheck || MO->getSubReg() == 0) && VNI->def != DefIdx) ||
2900 !SlotIndex::isSameInstr(VNI->def, DefIdx) ||
2901 (VNI->def != DefIdx &&
2902 (!VNI->def.isEarlyClobber() || !DefIdx.isRegister()))) {
2908 report_context(*VNI);
3553 const VNInfo *VNI,
3556 if (VNI->isUnused())
3559 const VNInfo *DefVNI = LR.getVNInfoAt(VNI->def);
3564 report_context(*VNI);
3568 if (DefVNI != VNI) {
3571 report_context(*VNI);
3575 const MachineBasicBlock *MBB = LiveInts->getMBBFromIndex(VNI->def);
3579 report_context(*VNI);
3583 if (VNI->isPHIDef()) {
3584 if (VNI->def != LiveInts->getMBBStartIdx(MBB)) {
3587 report_context(*VNI);
3593 const MachineInstr *MI = LiveInts->getInstructionFromIndex(VNI->def);
3597 report_context(*VNI);
3625 report_context(*VNI);
3631 if (!VNI->def.isEarlyClobber()) {
3634 report_context(*VNI);
3636 } else if (!VNI->def.isRegister()) {
3639 report_context(*VNI);
3648 const VNInfo *VNI = S.valno;
3649 assert(VNI && "Live segment has no valno");
3651 if (VNI->id >= LR.getNumValNums() || VNI != LR.getValNumInfo(VNI->id)) {
3655 report_context(*VNI);
3658 if (VNI->isUnused()) {
3672 if (S.start != MBBStartIdx && S.start != VNI->def) {
3690 if (!VRegOrUnit.isVirtualReg() && VNI->isPHIDef() && S.start == VNI->def &&
3691 S.end == VNI->def.getDeadSlot())
3797 if (S.start == VNI->def && !VNI->isPHIDef()) {
3821 // Is VNI a PHI-def in the current block?
3822 bool IsPHI = VNI->isPHIDef() &&
3823 VNI->def == LiveInts->getMBBStartIdx(&*MFI);
3825 // Check that VNI is live-out of all predecessors.
3848 report_context(*VNI);
3856 if (!IsPHI && PVNI != VNI) {
3860 << printMBBReference(*Pred) << '@' << PEnd << "\nValno #" << VNI->id
3874 for (const VNInfo *VNI : LR.valnos)
3875 verifyLiveRangeValue(LR, VNI, VRegOrUnit, LaneMask);