[PATCH] D22793: IR: Introduce inbounds attribute on getelementptr indices.

Mehdi AMINI via llvm-commits llvm-commits at lists.llvm.org
Wed Sep 7 17:06:01 PDT 2016


mehdi_amini added inline comments.

================
Comment at: docs/LangRef.rst:7549
@@ +7548,3 @@
+with the ``inrange`` keyword is undefined. Note that the ``inrange`` keyword
+is currently only allowed in constant ``getelementptr`` expressions.
+
----------------
Isn't it hard to guarantee in face of transformations?

Let say a pass would do outlining, passing the pointer derived from the GEP by argument, in this new function the inrange information would be lost and another transformation allowed to introduce a pointer comparison.


https://reviews.llvm.org/D22793





More information about the llvm-commits mailing list