[all-commits] [llvm/llvm-project] 0dd755: [SCEV] Stop applying contextual flags in applyLoop...

[Philip Reames via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 0dd755f0274245e320cd3eb0882ffe57542af252
      https://github.com/llvm/llvm-project/commit/0dd755f0274245e320cd3eb0882ffe57542af252
  Author: Philip Reames <listmail at philipreames.com>
  Date:   2021-09-14 (Tue, 14 Sep 2021)

  Changed paths:
    M llvm/lib/Analysis/ScalarEvolution.cpp

  Log Message:
  -----------
  [SCEV] Stop applying contextual flags in applyLoopGuards

This fixes a violation of the wrap flag rules introduced in c4048d8f. As noted in the original review, the NUW is legal to infer from the structure of the replacee, but a) there's no test coverage, and b) this should be done generically for all multiplies.

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