Lines Matching defs:VNI

268     void report_context(const VNInfo &VNI) const;
609 void MachineVerifier::report_context(const VNInfo &VNI) const {
610 errs() << "- ValNo: " << VNI.id << " (def " << VNI.def << ")\n";
2744 if (const VNInfo *VNI = LR.getVNInfoAt(DefIdx)) {
2753 if (((SubRangeCheck || MO->getSubReg() == 0) && VNI->def != DefIdx) ||
2754 !SlotIndex::isSameInstr(VNI->def, DefIdx) ||
2755 (VNI->def != DefIdx &&
2756 (!VNI->def.isEarlyClobber() || !DefIdx.isRegister()))) {
2762 report_context(*VNI);
3401 const VNInfo *VNI, Register Reg,
3403 if (VNI->isUnused())
3406 const VNInfo *DefVNI = LR.getVNInfoAt(VNI->def);
3411 report_context(*VNI);
3415 if (DefVNI != VNI) {
3418 report_context(*VNI);
3422 const MachineBasicBlock *MBB = LiveInts->getMBBFromIndex(VNI->def);
3426 report_context(*VNI);
3430 if (VNI->isPHIDef()) {
3431 if (VNI->def != LiveInts->getMBBStartIdx(MBB)) {
3434 report_context(*VNI);
3440 const MachineInstr *MI = LiveInts->getInstructionFromIndex(VNI->def);
3444 report_context(*VNI);
3472 report_context(*VNI);
3478 if (!VNI->def.isEarlyClobber()) {
3481 report_context(*VNI);
3483 } else if (!VNI->def.isRegister()) {
3486 report_context(*VNI);
3496 const VNInfo *VNI = S.valno;
3497 assert(VNI && "Live segment has no valno");
3499 if (VNI->id >= LR.getNumValNums() || VNI != LR.getValNumInfo(VNI->id)) {
3503 report_context(*VNI);
3506 if (VNI->isUnused()) {
3520 if (S.start != MBBStartIdx && S.start != VNI->def) {
3538 if (!Reg.isVirtual() && VNI->isPHIDef() && S.start == VNI->def &&
3539 S.end == VNI->def.getDeadSlot())
3645 if (S.start == VNI->def && !VNI->isPHIDef()) {
3669 // Is VNI a PHI-def in the current block?
3670 bool IsPHI = VNI->isPHIDef() &&
3671 VNI->def == LiveInts->getMBBStartIdx(&*MFI);
3673 // Check that VNI is live-out of all predecessors.
3696 report_context(*VNI);
3704 if (!IsPHI && PVNI != VNI) {
3709 << VNI->id << " live into " << printMBBReference(*MFI) << '@'
3721 for (const VNInfo *VNI : LR.valnos)
3722 verifyLiveRangeValue(LR, VNI, Reg, LaneMask);