[PATCH] D46972: Propagate nonnull and dereferenceable throught launder

[Hal Finkel via Phabricator via llvm-commits]

hfinkel accepted this revision.
hfinkel added a comment.

I also think that this is fine. Regarding hoisting, will we hoist the intrinsic itself or is further work necessary to enable that?


Repository:
  rL LLVM

https://reviews.llvm.org/D46972