[llvm] [LangRef] Clarify definition of fragments and debug intrinsics (PR #82019)

Stephen Tozer via llvm-commits llvm-commits at lists.llvm.org
Mon Feb 19 05:30:13 PST 2024


================
@@ -417,8 +448,9 @@ values through compilation, when objects are promoted to SSA values an
 ``llvm.dbg.value`` intrinsic is created for each assignment, recording the
 variable's new location. Compared with the ``llvm.dbg.declare`` intrinsic:
 
-* A dbg.value terminates the effect of any preceding dbg.values for (any
-  overlapping fragments of) the specified variable.
+* A dbg.value terminates the effect of any preceding dbg.values for any
+  spatially overlapping variables or fragments of the specified variable or
----------------
SLTozer wrote:

```suggestion
  spatially overlapping llvm.dbg.values of the specified variable or
```
Perhaps this - I think given the definition of spatial overlaps, it should be clear that it applies to both fragment and non-fragment variable definitions. 

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


More information about the llvm-commits mailing list