[PATCH] D26382: [BasicAA] Teach BasicAA to handle the inaccessiblememonly and inaccessiblemem_or_argmemonly attributes

[Hal Finkel via llvm-commits]

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

This LGTM.  We should use this for `@llvm.assume`, etc.

>   but I intend to use them very soon with the constrained floating point intrinsics to model access to the FP environment.

This will work, but we might want a separate tracking state for this (because otherwise we won't be able to infer readonly for any functions with FP operations, which is going to be very unfortunate). We might do this as a later enhancement, however.


Repository:
  rL LLVM

https://reviews.llvm.org/D26382