[all-commits] [llvm/llvm-project] ebeef0: [SCEV] Strenthen nowrap flags after constant foldi...

[Nikita Popov via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: ebeef022aa6d244c3b151b247399e97e31d392ff
      https://github.com/llvm/llvm-project/commit/ebeef022aa6d244c3b151b247399e97e31d392ff
  Author: Nikita Popov <nikita.ppv at gmail.com>
  Date:   2020-10-25 (Sun, 25 Oct 2020)

  Changed paths:
    M llvm/lib/Analysis/ScalarEvolution.cpp
    M llvm/test/Analysis/IVUsers/quadradic-exit-value.ll
    M llvm/test/Analysis/LoopAccessAnalysis/wrapping-pointer-versioning.ll
    M llvm/test/Analysis/ScalarEvolution/zext-divrem.ll
    M llvm/test/Transforms/IndVarSimplify/ARM/code-size.ll
    M llvm/test/Transforms/IndVarSimplify/replace-loop-exit-folds.ll

  Log Message:
  -----------
  [SCEV] Strenthen nowrap flags after constant folding for mul exprs

Same change as 0dda6333175c1749f12be660456ecedade3bcf21, but for
mul expressions. We want to first fold any constant operans and
then strengthen the nowrap flags, as we can compute more precise
flags at that point.