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

Whitney Tsang via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Thu Apr 8 09:08:12 PDT 2021


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



More information about the llvm-commits mailing list