[PATCH] D108114: [LoopPeel] Peel if it turns invariant loads dereferenceable.

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

Shouldn't there be a check somewhere whether the load is already dereferenceable, in which case we presumably don't want to peel it?



================
Comment at: llvm/lib/Transforms/Utils/LoopPeel.cpp:176
+                                                      ScalarEvolution &SE) {
+  bool ReadTurnsDeref = false;
+  // Skip loops with a single exiting block, because there should be no benefit
----------------
This variable is initialized to false and then never changed?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D108114