[PATCH] D20116: Add speculatable function attribute

Hal Finkel via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Wed Mar 22 14:54:42 PDT 2017

hfinkel added a comment.

In https://reviews.llvm.org/D20116#707984, @arsenm wrote:

> > 2. It has undefined behavior, due to the incorrect `speculatable` attribute.
> I don't see it as being anything other than this. Marking it as speculatable is saying it has no undefined behavior a condition could possibly be avoiding. If you are lying about this, you get what you get.

I agree.


More information about the llvm-commits mailing list