[all-commits] [llvm/llvm-project] 9bdb19: [SCEV] (udiv X, Y) * Y is always NUW

[Philip Reames via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 9bdb19cca292f7a8335148e5c1b85f7e9120a1a5
      https://github.com/llvm/llvm-project/commit/9bdb19cca292f7a8335148e5c1b85f7e9120a1a5
  Author: Philip Reames <listmail at philipreames.com>
  Date:   2021-09-15 (Wed, 15 Sep 2021)

  Changed paths:
    M llvm/lib/Analysis/ScalarEvolution.cpp
    M llvm/test/Analysis/ScalarEvolution/extract-highbits-variablemask.ll
    M llvm/test/Analysis/ScalarEvolution/max-be-count-not-constant.ll
    M llvm/test/Analysis/ScalarEvolution/mul.ll

  Log Message:
  -----------
  [SCEV] (udiv X, Y) * Y is always NUW

Motivated by the removal done in D109782. This implements the correct flag part generically.

Differential Revision: https://reviews.llvm.org/D109786