[PATCH] D155049: [ScalarEvolution] Infer loop max trip count from memory accesses

[Vitaly Buka via Phabricator via llvm-commits]

vitalybuka added a comment.

> SCEV (and other helpers) already refine UB, don't they? That said, you can disable the feature, right now via a command line flag. That said, we probably want a "catch all" try not to exploit UB flag.

We should check function attr.



================
Comment at: llvm/lib/Analysis/ScalarEvolution.cpp:8138
+    for (Instruction &Inst : *BB) {
+      if (isa<LoadInst>(&Inst) || isa<StoreInst>(&Inst))
+        MemInsts.push_back(&Inst);
----------------
```
&& !(F.hasFnAttribute(Attribute::SanitizeAddress) ||
         F.hasFnAttribute(Attribute::SanitizeThread) ||
         F.hasFnAttribute(Attribute::SanitizeMemory) ||
         F.hasFnAttribute(Attribute::SanitizeHWAddress) ||
         F.hasFnAttribute(Attribute::SanitizeMemTag))
```


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

https://reviews.llvm.org/D155049