Lines Matching defs:VNI
254 void report_context(const VNInfo &VNI) const;
539 void MachineVerifier::report_context(const VNInfo &VNI) const {
540 errs() << "- ValNo: " << VNI.id << " (def " << VNI.def << ")\n";
1894 if (const VNInfo *VNI = LR.getVNInfoAt(DefIdx)) {
1895 assert(VNI && "NULL valno is not allowed");
1896 if (VNI->def != DefIdx) {
1902 report_context(*VNI);
2386 const VNInfo *VNI, unsigned Reg,
2388 if (VNI->isUnused())
2391 const VNInfo *DefVNI = LR.getVNInfoAt(VNI->def);
2396 report_context(*VNI);
2400 if (DefVNI != VNI) {
2403 report_context(*VNI);
2407 const MachineBasicBlock *MBB = LiveInts->getMBBFromIndex(VNI->def);
2411 report_context(*VNI);
2415 if (VNI->isPHIDef()) {
2416 if (VNI->def != LiveInts->getMBBStartIdx(MBB)) {
2419 report_context(*VNI);
2425 const MachineInstr *MI = LiveInts->getInstructionFromIndex(VNI->def);
2429 report_context(*VNI);
2458 report_context(*VNI);
2464 if (!VNI->def.isEarlyClobber()) {
2467 report_context(*VNI);
2469 } else if (!VNI->def.isRegister()) {
2472 report_context(*VNI);
2482 const VNInfo *VNI = S.valno;
2483 assert(VNI && "Live segment has no valno");
2485 if (VNI->id >= LR.getNumValNums() || VNI != LR.getValNumInfo(VNI->id)) {
2489 report_context(*VNI);
2492 if (VNI->isUnused()) {
2506 if (S.start != MBBStartIdx && S.start != VNI->def) {
2526 if (!Register::isVirtualRegister(Reg) && VNI->isPHIDef() &&
2527 S.start == VNI->def && S.end == VNI->def.getDeadSlot())
2626 if (S.start == VNI->def && !VNI->isPHIDef()) {
2650 // Is VNI a PHI-def in the current block?
2651 bool IsPHI = VNI->isPHIDef() &&
2652 VNI->def == LiveInts->getMBBStartIdx(&*MFI);
2654 // Check that VNI is live-out of all predecessors.
2669 report_context(*VNI);
2677 if (!IsPHI && PVNI != VNI) {
2682 << VNI->id << " live into " << printMBBReference(*MFI) << '@'
2694 for (const VNInfo *VNI : LR.valnos)
2695 verifyLiveRangeValue(LR, VNI, Reg, LaneMask);