[Mlir-commits] [mlir] [MLIR][LLVM] Support inrange in GEP (PR #220424)

[Tobias Gysi]

================
@@ -557,6 +557,22 @@ llvm.func @trivial_get_element_ptr() {
 
 // -----
 
+// inrange is defined relative to the GEP result, so a zero-index GEP is not a
+// no-op. mem2reg must not forward the GEP to the alloca.
----------------
gysit wrote:

nit: let's say change the comment to say that mem2reg should bail out for an inrange gep. I would even say that this is illegal IR in the first place. 

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