[PATCH] D118102: [LoopInterchange] Prevent interchange with unsafe control-flow divergence inside inner loops (PR48057)

[Bardia Mahjour via Phabricator via llvm-commits]

bmahjour added a comment.

Couldn't the same problem happen in theory without control flow divergence? For example consider a loop like this:

  for (c = 0; c <= 7; c++) {
    for (d = 4; d; d--)
      e = ((b[d+2][c]) ? b[d][0] : e);

where the ternary operator turns into a `select` instruction in LLVM IR.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D118102