[PATCH] D153414: [LLVM] Do not speculate convergent calls

[Matt Arsenault via Phabricator via llvm-commits]

arsenm added a comment.

In D153414#4437694 <https://reviews.llvm.org/D153414#4437694>, @nikic wrote:

> Shouldn't this be covered by the speculatable attribute? A convergent function shouldn't be marked speculatable.

It depends. In the future we could contextually speculate convergent instructions (e.g. if the conditions reaching the point are uniform)


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D153414