[PATCH] D90361: Prevent LICM and machineLICM from hoisting convergent operations

[Jay Foad via Phabricator via llvm-commits]

foad added a reviewer: nhaehnle.
foad added a comment.

> Results of convergent operations are implicitly affected by the enclosing control flows and should not be hoisted out of arbitrary loops.

I thought it was OK to hoist them out of loops, but not to sink them into loops? The langref says they "should not be made control-dependent on additional values".


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D90361