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

[Nikita Popov via llvm-commits]

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

Can you please also add a test using dereferenceable_or_null?

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