NOT FOR COMMIT Print debug values in beginFunction()

lib/CodeGen/AsmPrinter/DebugHandlerBase.cpp

void DebugHandlerBase::beginFunction(const MachineFunction *MF) {
 
   // Calculate history for local variables.
   assert(DbgValues.empty() && "DbgValues map wasn't cleaned!");
   assert(DbgLabels.empty() && "DbgLabels map wasn't cleaned!");
   calculateDbgEntityHistory(MF, Asm->MF->getSubtarget().getRegisterInfo(),
                             DbgValues, DbgLabels);
   LLVM_DEBUG(DbgValues.dump());
 
+  auto AnalyzeDbgValue = [&](const MachineInstr &DV) {
+    bool InsidePrologue = false;
+    for (auto &MBB : *DV.getParent()->getParent())
+      for (auto &MI : MBB) {
+        if (!MI.isMetaInstruction() && !MI.getFlag(MachineInstr::FrameSetup) &&
+            MI.getDebugLoc())
+          goto done;
+        InsidePrologue |= (&MI == &DV);
+      }
+done:
+    errs() << "DV: " << DV;
+    if (!InsidePrologue) {
+      if (DV.getOperand(0).isReg()) {
+        if (DV.getOperand(0).getReg())
+          errs() << "  reg value outside prologue\n";
+        else
+          errs() << "  $noreg outside prologue\n";
+      } else
+        errs() << "  other type of value outside prologue\n";
+    } else
+      errs() << "  already inside prologue\n";
+  };
+
   // Request labels for the full history.
   for (const auto &I : DbgValues) {
     const auto &Ranges = I.second;
     if (Ranges.empty())
       continue;
 
     // The first mention of a function argument gets the CurrentFnBegin
     // label, so arguments are visible when breaking at function entry.
     const DILocalVariable *DIVar = Ranges.front().first->getDebugVariable();
     if (DIVar->isParameter() &&
         getDISubprogram(DIVar->getScope())->describes(&MF->getFunction())) {
       LabelsBeforeInsn[Ranges.front().first] = Asm->getFunctionBegin();
+      AnalyzeDbgValue(*Ranges.front().first);
       if (Ranges.front().first->getDebugExpression()->isFragment()) {
         // Mark all non-overlapping initial fragments.
         for (auto I = Ranges.begin(); I != Ranges.end(); ++I) {
           const DIExpression *Fragment = I->first->getDebugExpression();
           if (std::all_of(Ranges.begin(), I,
                           [&](DbgValueHistoryMap::InstrRange Pred) {
                             return !Fragment->fragmentsOverlap(
                                 Pred.first->getDebugExpression());
-                          }))
+                          })) {
             LabelsBeforeInsn[I->first] = Asm->getFunctionBegin();
+            AnalyzeDbgValue(*I->first);
+          }
           else
             break;
         }
       }
     }
 
     for (const auto &Range : Ranges) {
       requestLabelBeforeInsn(Range.first);