[PATCH] D94088: [SCEV] Assumption context for GetMinTrailingZeros

[Florian Hahn via Phabricator via llvm-commits]

fhahn added inline comments.


================
Comment at: llvm/lib/Analysis/ScalarEvolution.cpp:6893
+               (uint32_t)31,
+               GetMinTrailingZeros(TCExpr, L->getHeader()->getTerminator()));
 
----------------
Why use the header's terminator here?


================
Comment at: llvm/test/Transforms/LoopUnroll/runtime-unroll-assume-no-remainder.ll:7
+
+define dso_local void @assumeDivisibleTC(i8* noalias nocapture %a, i8* noalias nocapture readonly %b, i32 %n, i1 %c) local_unnamed_addr {
+; CHECK-LABEL: @assumeDivisibleTC(
----------------
I think it would be good to combine a few of those related tests in a single file :)


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D94088