[PATCH] D97828: [LoopInterchange] Disallow interchange when memory accesses are guarded by control flow (PR48057)

[Whitney Tsang via Phabricator via llvm-commits]

Whitney added inline comments.


================
Comment at: llvm/lib/Transforms/Scalar/LoopInterchange.cpp:989
+
+  while (!Worklist.empty()) {
+    BasicBlock *BB = Worklist.pop_back_val();
----------------
```
  br cond, BB1, BB2
BB1:
  br BB3
BB2
  br BB3
```

BB3 should not guarded by a loop variant block, but this function would return BB1, BB2, and BB3.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D97828