[PATCH] D49144: [FunctionAttrs] Infer the speculatable attribute

[Hal Finkel via Phabricator via llvm-commits]

hfinkel added a comment.

In https://reviews.llvm.org/D49144#1158138, @efriedma wrote:

> I think marking a function speculatable requires stripping metadata from any loads in that function, to avoid UB.  Does that sound reasonable?


That seems unfortunate. We could also not mark the function as speculatable, or, we could say that violating the load metadata produces a poison result, or some combination of both. Is there something about poison that won't work?


Repository:
  rL LLVM

https://reviews.llvm.org/D49144