[all-commits] [llvm/llvm-project] c04d08: [mlir][llvm] Dominance violating debug intrinsic i...

[Christian Ulmann via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: c04d08c24fa06cbf9531ddd5140a4fe9e0d4b678
      https://github.com/llvm/llvm-project/commit/c04d08c24fa06cbf9531ddd5140a4fe9e0d4b678
  Author: Christian Ulmann <christian.ulmann at nextsilicon.com>
  Date:   2023-06-29 (Thu, 29 Jun 2023)

  Changed paths:
    M mlir/include/mlir/Dialect/LLVMIR/LLVMIntrinsicOps.td
    M mlir/test/Target/LLVMIR/Import/debug-info.ll

  Log Message:
  -----------
  [mlir][llvm] Dominance violating debug intrinsic import

Debug intrinsics are allowed to violate SSA dominance and might thus
cause the LLVM import to produce invalid LLVM dialect. This commit
ensures that the debug intrinsics are emitted right after the definition
of their SSA operands.
As the position of debug intrinsics has no meaning, changing it has no
semantic implication.

Reviewed By: gysit

Differential Revision: https://reviews.llvm.org/D153984