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

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

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


Repository:
  rL LLVM

https://reviews.llvm.org/D49144