[all-commits] [llvm/llvm-project] 0b3982: [RemoveDIs] Print non-intrinsic debug info in text...

[Stephen Tozer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 0b398256b3f72204ad1f7c625efe4990204e898a
      https://github.com/llvm/llvm-project/commit/0b398256b3f72204ad1f7c625efe4990204e898a
  Author: Stephen Tozer <stephen.tozer at sony.com>
  Date:   2024-02-26 (Mon, 26 Feb 2024)

  Changed paths:
    M llvm/include/llvm/IR/Module.h
    M llvm/include/llvm/IR/PrintPasses.h
    M llvm/lib/IR/AsmWriter.cpp
    M llvm/lib/IR/BasicBlock.cpp
    M llvm/lib/IR/IRPrintingPasses.cpp
    M llvm/lib/IR/Module.cpp
    M llvm/lib/IRPrinter/IRPrintingPasses.cpp
    M llvm/test/DebugInfo/Generic/inline-alloca-ordering.ll
    M llvm/test/DebugInfo/Generic/inline-dbg-values.ll
    M llvm/test/DebugInfo/dpvalue-print-nocrash.ll
    A llvm/test/DebugInfo/print-non-instruction-debug-info.ll
    M llvm/test/Transforms/Attributor/ArgumentPromotion/pr33641_remove_arg_dbgvalue.ll
    M llvm/test/Transforms/CallSiteSplitting/callsite-split-preserve-debug.ll
    M llvm/test/Transforms/CodeGenPrepare/debug-info-on-skipped-selects.ll
    M llvm/test/Transforms/DeadArgElim/2010-04-30-DbgInfo.ll
    M llvm/test/Transforms/IROutliner/outlining-debug-statements.ll
    M llvm/test/Transforms/LoopRotate/dbgvalue.ll
    M llvm/test/Transforms/LoopRotate/delete-dbg-values.ll
    M llvm/test/Transforms/ObjCARC/ensure-that-exception-unwind-path-is-visited.ll
    M llvm/test/Transforms/SROA/dbg-inline.ll

  Log Message:
  -----------
  [RemoveDIs] Print non-intrinsic debug info in textual IR output (#79281)

This patch adds support for printing the proposed non-instruction debug
info ("RemoveDIs") out to textual IR. This patch does not add any
bitcode support, parsing support, or documentation.

Printing of the new format is controlled by a flag added in this patch,
`--write-experimental-debuginfo`, which defaults to false. The new
format will be printed *iff* this flag is true, so whether we use the IR
format is completely independent of whether we use non-instruction debug
info during LLVM passes (which is controlled by the
`--try-experimental-debuginfo-iterators` flag).

Even with the flag disabled, some existing tests need to be updated, as this
patch causes debug intrinsic declarations to be changed in a round trip,
such that they always appear at the end of a module and have no attributes
(this has no functional change on the module).

The design of this new IR format was proposed previously on
Discourse, and any further discussion about the design can still be
contributed there:

https://discourse.llvm.org/t/rfc-debuginfo-proposed-changes-to-the-textual-ir-representation-for-debug-values/73491



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications