[Mlir-commits] [llvm] [mlir] [polly] [IR] Only allow lifetime.start/end on allocas (PR #149310)

[Yingwei Zheng]

================
@@ -26684,24 +26674,16 @@ Arguments:
 
 The first argument is a constant integer representing the size of the
 object, or -1 if it is variable sized. The second argument is a pointer
-to the object.
+to an ``alloca`` instruction.
 
 Semantics:
 """"""""""
 
-If ``ptr`` is a stack-allocated object and it points to the first byte of the
-object, the object is dead.
-``ptr`` is conservatively considered as a non-stack-allocated object if
-the stack coloring algorithm that is used in the optimization pipeline cannot
-conclude that ``ptr`` is a stack-allocated object.
+The stack-allocated object that ``ptr`` points becomes dead after the call to
----------------
dtcxzyw wrote:

```suggestion
The stack-allocated object that ``ptr`` points to becomes dead after the call to
```

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