[PATCH] D41761: Introduce llvm.nospeculateload intrinsic

[Kristof Beyls via Phabricator via llvm-commits]

kristof.beyls added a comment.

In https://reviews.llvm.org/D41761#978671, @probinson wrote:

> It would be awesome to have static analysis rules to help identify *where* to put these intrinsics.  Is somebody working on that?  Or did I miss it?


Indeed it would be awesome to have static analysis to help identify where these intrinsics should be put. The (non-public) experiments I've seen seem to indicate that it's hard to get a low false positive rate, probably at least in part due to static analyzers not getting information on which variables are influenceable by external input, and which ones not.


https://reviews.llvm.org/D41761