[llvm] [Analysis] Teach ScalarEvolution::getRangeRef about more dereferenceable objects (PR #104778)

Florian Hahn via llvm-commits llvm-commits at lists.llvm.org
Wed Aug 21 03:07:10 PDT 2024


================
@@ -362,3 +362,36 @@ loop:
 exit2:
   ret i1 false
 }
+
+
+define void @dereferenceable_arg(ptr dereferenceable(128) %len_addr, ptr dereferenceable(128) align(8) %len_addr2) {
----------------
fhahn wrote:

might be worth to also add another pointer with a different size

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


More information about the llvm-commits mailing list