debug output incorrect ["UNKNOWN"] when a MachineInstr is generated during the MachineCombiner pass and the relevant debug output is enabled

[sebpop]

Summary

Some of the LLVM debug output is incorrect ["UNKNOWN"] when a MachineInstr is generated during the MachineCombiner pass and the relevant debug output is enabled.

The fix is generic, but the test case [based on machine-reduced Eigen3 C++ code] is AArch64-specific.

Debug output before the fix:

NEW INSTR %vreg15<def> = UNKNOWN %vreg1, %vreg13<kill>, %vreg11<kill>

Debug output after the fix:

NEW INSTR %vreg15<def> = MADDXrrr %vreg1, %vreg13<kill>, %vreg11<kill>

I [Abe] searched hard for a less-kludgy way to accomplish this, but did not find one.

[Gerolf]

llvm/include/llvm/CodeGen/MachineInstr.h

1157

How about "Dumper that prevents ..."

1159

Why not overlay dump(...)? At least use naming convention eg. dumpWithGiven...

llvm/lib/CodeGen/MachineInstr.cpp

1705

This can be simpler: use default initializer third parameter TTI = nullptr

1718

if (!TII) TII = ...

1746

The entire statement can be removed

1999

use TTI rather then TTI_in

[Abe]

Integrated some good suggestions from Gerolf, thereby making the fix less kludgy.

[echristo]

I'd suggest formatting with clang-format as well.

[sebpop]

llvm/test/CodeGen/AArch64/correct_debug_output_when_a_new_MachineInstr_is_generated_in_the_machine_combiner.ll

1

Please replace this testcase with the one that I reduced for the other instr-combiner patch:
llvm/test/CodeGen/AArch64/machine-combiner-madd.ll

Also, please use reasonably shorter file names.

5

Restrict the flags of the run command to a minimum. Please see the RUN command in the above mentioned ll file.

[Abe]

Implemented some recommendations/suggestions from Sebastian.

[Abe]

Incorporated Sebastian`s further reduction of the new test case.

[Abe]

Now using "= nullptr" instead of "= 0" in one spot.

[Gerolf]

llvm/include/llvm/CodeGen/MachineInstr.h

1160

Target... *const vs * const?

llvm/lib/CodeGen/MachineInstr.cpp

1705

Shouldn't it be ...Target... *const vs * const?

When TTI_in is not nullptr *and* TII actually does get defined in the function, how would TTI_in be different from TII?

Also TTI_in is declared differently from TII? Why?

[Abe]

Minor changes in source code formatting, editing according to "clang-format" output [ran with "-style=LLVM"].

[Abe]

Changed the interface for the new "MachineInstr::print(...)" overload as Gerolf requested.

[Abe]

Trivial edit; NFC WRT prev. diff in same patch.

[Gerolf]

llvm/lib/CodeGen/MachineInstr.cpp

1724

I think this confirms that you want to initialize the TII with the nullptr.
Then remove const .. *TII in line 1710.
Finally you can remove if (TTI_).

[Abe]

fixed a bug Gerolf caught

[sebpop]

Taking over this patch: I will update the patch addressing all the comments from Gerolf.

[sebpop]

Fixed the problems that Gerolf has asked to be addressed, and reduced the number of changes.

[Gerolf]

Thanks! LGTM.

[MatzeB]

With this change in place the a typical lldb operation fails now:

lldb > p I->dump()
error: too few arguments to function call, expected 1, have 0

It looks like lldb is not able to put in the default value. However as this can be really annoying for developers and seems unnecessary, can we revert the changes to the dump() function and only keep the extra parameter on the print() function? (MachineCombiner.cpp really should be chaned to the simpler dbgs() << *InstrPtr instead of using the debug helper dump())

[sebpop]

llvm/trunk/include/llvm/CodeGen/MachineInstr.h

1156 ↗

(On Diff #82186)

If you don't pass TII to dump() it should just get nullptr as a default value.

[sebpop]

In D27645#652158, @MatzeB wrote:

With this change in place the a typical lldb operation fails now:

lldb > p I->dump()
error: too few arguments to function call, expected 1, have 0

I suspect this is an error in lldb. Please try with gdb to confirm.

[MatzeB]

In D27645#652223, @sebpop wrote:

In D27645#652158, @MatzeB wrote:

With this change in place the a typical lldb operation fails now:

lldb > p I->dump()
error: too few arguments to function call, expected 1, have 0

I suspect this is an error in lldb. Please try with gdb to confirm.

Getting a working gdb version on macOS is hard (last time I tried, I could not get code signing to work in a way that allowed gdb to actually debug processes). So I cannot really test.
Even though this is clearly a deficiency in lldb, using MI.dump() in a debugger is such a common operation, that I'd rather have the dump() function changed.

llvm/include/llvm/CodeGen/MachineInstr.h

   /// instruction to this instruction.
   void copyImplicitOps(MachineFunction &MF, const MachineInstr &MI);
 
   //
   // Debugging support
   //
   void print(raw_ostream &OS, bool SkipOpers = false) const;
   void print(raw_ostream &OS, ModuleSlotTracker &MST,
-             bool SkipOpers = false) const;
+             bool SkipOpers = false, const TargetInstrInfo * const = 0) const;
   void dump() const;
 
+  // A dumper that prevents UNKNOWN when outputting
+  // an MI that is a result of combining MIs.
+  // Possibly useful for other situations when the TII* cannot be computed.
+  void dump(const TargetInstrInfo * const) const;
+
   //===--------------------------------------------------------------------===//
   // Accessors used to build up machine instructions.
 
   /// Add the specified operand to the instruction.  If it is an implicit
   /// operand, it is added to the end of the operand list.  If it is an
   /// explicit operand it is added at the end of the explicit operand list
   /// (before the first implicit operand).
   ///

llvm/lib/CodeGen/MachineCombiner.cpp

MachineCombiner::getDepth(SmallVectorImpl<MachineInstr *> &InsInstrs,
   assert(TSchedModel.hasInstrSchedModelOrItineraries() &&
          "Missing machine model\n");
 
   // For each instruction in the new sequence compute the depth based on the
   // operands. Use the trace information when possible. For new operands which
   // are tracked in the InstrIdxForVirtReg map depth is looked up in InstrDepth
   for (auto *InstrPtr : InsInstrs) { // for each Use
     unsigned IDepth = 0;
-    DEBUG(dbgs() << "NEW INSTR "; InstrPtr->dump(); dbgs() << "\n";);
+    DEBUG(dbgs() << "NEW INSTR "; InstrPtr->dump(TII); dbgs() << "\n";);
     for (const MachineOperand &MO : InstrPtr->operands()) {
       // Check for virtual register operand.
       if (!(MO.isReg() && TargetRegisterInfo::isVirtualRegister(MO.getReg())))
         continue;
       if (!MO.isUse())
         continue;
       unsigned DepthOp = 0;
       unsigned LatencyOp = 0;

llvm/lib/CodeGen/MachineInstr.cpp

if (const MachineBasicBlock *MBB = getParent())
     if (const MachineFunction *MF = MBB->getParent())
       M = MF->getFunction()->getParent();
 
   ModuleSlotTracker MST(M);
   print(OS, MST, SkipOpers);
 }
 
 void MachineInstr::print(raw_ostream &OS, ModuleSlotTracker &MST,
-                         bool SkipOpers) const {
+                         bool SkipOpers,
+                         const TargetInstrInfo * const TII_in) const {
   // We can be a bit tidier if we know the MachineFunction.
   const MachineFunction *MF = nullptr;
   const TargetRegisterInfo *TRI = nullptr;
   const MachineRegisterInfo *MRI = nullptr;
   const TargetInstrInfo *TII = nullptr;
   const TargetIntrinsicInfo *IntrinsicInfo = nullptr;
 
   if (const MachineBasicBlock *MBB = getParent()) {
     MF = MBB->getParent();
     if (MF) {
       MRI = &MF->getRegInfo();
       TRI = MF->getSubtarget().getRegisterInfo();
       TII = MF->getSubtarget().getInstrInfo();
       IntrinsicInfo = MF->getTarget().getIntrinsicInfo();
     }
   }
 
   // Save a list of virtual registers.
   SmallVector<unsigned, 8> VirtRegs;
 
   // Print explicitly defined operands on the left of an assignment syntax.
   unsigned StartOp = 0, e = getNumOperands();
   for (; StartOp < e && getOperand(StartOp).isReg() &&
          getOperand(StartOp).isDef() &&
          !getOperand(StartOp).isImplicit();
        ++StartOp) {
     if (StartOp != 0) OS << ", ";
     getOperand(StartOp).print(OS, MST, TRI, IntrinsicInfo);
     unsigned Reg = getOperand(StartOp).getReg();
     if (TargetRegisterInfo::isVirtualRegister(Reg)) {
       VirtRegs.push_back(Reg);
       LLT Ty = MRI ? MRI->getType(Reg) : LLT{};
       if (Ty.isValid())
         OS << '(' << Ty << ')';
     }
   }
 
   if (StartOp != 0)
     OS << " = ";
 
+  if (!TII)
+    TII = TII_in;
+
   // Print the opcode name.
   if (TII)
     OS << TII->getName(getOpcode());
   else
     OS << "UNKNOWN";
 
   if (SkipOpers)
     return;
if (!HaveSemi)
       OS << ";";
     OS << " dbg:";
     debugLoc.print(OS);
   }
 
   OS << '\n';
 }
 
+#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
+void MachineInstr::dump(const TargetInstrInfo * const TII_in) const {
+  dbgs() << "  ";
+  const Module *M = nullptr;
+  if (const MachineBasicBlock *MBB = getParent())
+    if (const MachineFunction *MF = MBB->getParent())
+      M = MF->getFunction()->getParent();
+
+  ModuleSlotTracker MST(M);
+  print(dbgs(), MST, false /* SkipOpers */, TII_in);
+}
+#endif
+
 bool MachineInstr::addRegisterKilled(unsigned IncomingReg,
                                      const TargetRegisterInfo *RegInfo,
                                      bool AddIfNotFound) {
   bool isPhysReg = TargetRegisterInfo::isPhysicalRegister(IncomingReg);
   bool hasAliases = isPhysReg &&
     MCRegAliasIterator(IncomingReg, RegInfo, false).isValid();
   bool Found = false;
   SmallVector<unsigned,4> DeadOps;

llvm/test/CodeGen/AArch64/correct_debug_output_when_a_new_MachineInstr_is_generated_in_the_machine_combiner.ll

+; Converted from a machine-reduced C++ test case.
+
+; The fix is actually generic, but this test is AArch64-specific.
+
+; RUN: llc -O=3 -mtriple=aarch64-linux-gnu -mcpu=cortex-a57 -debug-only=machine-combiner -debug -o - %s |& FileCheck %s
+
+; CHECK:     NEW INSTR{{.*}}MADDXrrr
+; CHECK-NOT: NEW INSTR{{.*}}UNKNOWN
+
+target triple = "aarch64-sarc-linux-gnu"
+
+%class.BtlConfig = type { %class.C }
+%class.C = type { %class.B }
+%class.B = type { %class.D* }
+%class.D = type { %class.basic_string.base, [4 x i8] }
+%class.basic_string.base = type <{ i64, i64, i32 }>
+%class.basic_string = type <{ i64, i64, i32, [4 x i8] }>
+@a = global %class.BtlConfig zeroinitializer, align 8
+@.str = private unnamed_addr constant [1 x i8] zeroinitializer, align 1
+declare i64 @_ZN1CI1D1AIS0_EE5m_fn1Ev(%class.C*) local_unnamed_addr
+declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture writeonly, i8* nocapture readonly, i64, i32, i1)
+define internal void @_GLOBAL__sub_I_main_adv.ii() section ".text.startup" {
+entry:
+  %tmp.i.i = alloca %class.D, align 8
+  %agg.tmp.i.i = alloca %class.D, align 8
+  %0 = bitcast %class.D* %tmp.i.i to i8*
+  %1 = bitcast %class.D* %agg.tmp.i.i to i8*
+  %call8.i.i = tail call i64 @_ZN1CI1D1AIS0_EE5m_fn1Ev(%class.C* getelementptr inbounds (%class.BtlConfig, %class.BtlConfig* @a, i64 0, i32 0))
+  %cmp9.i.i = icmp sgt i64 %call8.i.i, 0
+  br i1 %cmp9.i.i, label %for.body.lr.ph.i.i, label %__cxx_global_var_init.exit
+for.body.lr.ph.i.i:
+  %2 = bitcast %class.D* %agg.tmp.i.i to %class.basic_string*
+  br label %for.body.i.i
+for.body.i.i:
+  %conv11.i.i = phi i64 [ 0, %for.body.lr.ph.i.i ], [ %conv.i.i, %for.body.i.i ]
+  %i.010.i.i = phi i32 [ undef, %for.body.lr.ph.i.i ], [ %inc.i.i, %for.body.i.i ]
+  %3 = load %class.D*, %class.D** getelementptr inbounds (%class.BtlConfig, %class.BtlConfig* @a, i64 0, i32 0, i32 0, i32 0), align 8, !tbaa !1, !noalias !6
+  %arrayidx.i.i.i = getelementptr inbounds %class.D, %class.D* %3, i64 %conv11.i.i
+  %4 = bitcast %class.D* %arrayidx.i.i.i to i8*
+  call void @llvm.memcpy.p0i8.p0i8.i64(i8* nonnull %0, i8* %4, i64 24, i32 8, i1 false)
+  %inc.i.i = add i32 %i.010.i.i, 1
+  %conv.i.i = zext i32 %inc.i.i to i64
+  %call.i.i = call i64 @_ZN1CI1D1AIS0_EE5m_fn1Ev(%class.C* getelementptr inbounds (%class.BtlConfig, %class.BtlConfig* @a, i64 0, i32 0))
+  %cmp.i.i = icmp slt i64 %conv.i.i, %call.i.i
+  br i1 %cmp.i.i, label %for.body.i.i, label %__cxx_global_var_init.exit.loopexit
+__cxx_global_var_init.exit.loopexit:
+  br label %__cxx_global_var_init.exit
+__cxx_global_var_init.exit:
+  ret void
+}
+!1 = !{!2, !3, i64 0}
+!2 = !{!"foo", !3, i64 0}
+!3 = !{!"bar", !4, i64 0}
+!4 = !{!"baz", !5, i64 0}
+!5 = !{!"boo"}
+!6 = !{!7}
+!7 = distinct !{!7, !8, !"_ZN1CI1D1AIS0_EEixEl: %agg.result"}
+!8 = distinct !{!8, !"_ZN1CI1D1AIS0_EEixEl"}