[PATCH] D126296: [ValueTracking] Loads with !dereferenceable metadata cannot be undef/poison

[Juneyoung Lee via Phabricator via llvm-commits]

aqjune accepted this revision.
aqjune added a comment.
This revision is now accepted and ready to land.

Per LangRef statements of the definition of `dereferenceable(<n>)` attribute:

> The pointer should be well defined, otherwise it is undefined behavior. This means dereferenceable(<n>) implies noundef.

And the dereferenceable metadata says:

> This is analogous to the ‘’dereferenceable’’ attribute on parameters and return values.

would like to interpret this wording as the metadata being equivalent to the attribute.


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

https://reviews.llvm.org/D126296