[PATCH] D81678: Introduce frozen attribute at call sites for stricter poison analysis

[Johannes Doerfert via Phabricator via cfe-commits]

jdoerfert added a comment.

> We don't have any optimizations that infer either "speculatable" or "frozen", though, so I'm not sure there's any practical impact here.

`speculatable` is on the shortlist for the Attributor. Will happen eventually. I am sure `frozen` will follow once it is in. We already came across the "need" in the `nonnull` conversation for example.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D81678