[llvm] Refine the examples in the debug info document (PR #86272)

David Blaikie via llvm-commits llvm-commits at lists.llvm.org
Mon Mar 25 11:43:47 PDT 2024


================
@@ -91,8 +91,12 @@ misattributed to a block containing one of the instructions-to-be-merged.
 
 Examples of transformations that should follow this rule include:
 
-* Merging identical loads/stores which occur on both sides of a CFG diamond
-  (see the ``MergedLoadStoreMotion`` pass).
+* Hoisting identical instructions from successors of a conditional branch or
----------------
dwblaikie wrote:

Is there a way to clarify that this must be from /all/ predecessors or successors (like if you sink something from 2 predecessors into a block that has 3 - you can't use a merged location there, because that makes the location from the first 2 predecessors "reachable" when the 3rd predecessor is taken)

https://github.com/llvm/llvm-project/pull/86272


More information about the llvm-commits mailing list