[PATCH] D70714: [Attributor] Deduce dereferenceable based on accessed bytes map

[Hideto Ueno via Phabricator via llvm-commits]

uenoku marked an inline comment as done.
uenoku added inline comments.


================
Comment at: llvm/test/Transforms/InferFunctionAttrs/dereferenceable.ll:278
 ; CHECK-LABEL: @more_bytes_and_not_null(i32* dereferenceable_or_null(8) %ptr)
+; ATTRIBUTOR-LABEL: @more_bytes_and_not_null(i32* nocapture nofree nonnull readonly dereferenceable(16) dereferenceable_or_null(8) %ptr)
   %arrayidx3 = getelementptr i32, i32* %ptr, i64 3
----------------
It will be fixed in D70789


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D70714/new/

https://reviews.llvm.org/D70714