[all-commits] [llvm/llvm-project] ab07cb: [SCEV] Support sub in and negative constants willN...

[Max Kazantsev via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ab07cbe4377a1c5aca3693fd01c347eea7ac6988
      https://github.com/llvm/llvm-project/commit/ab07cbe4377a1c5aca3693fd01c347eea7ac6988
  Author: Max Kazantsev <mkazantsev at azul.com>
  Date:   2023-04-25 (Tue, 25 Apr 2023)

  Changed paths:
    M llvm/lib/Analysis/ScalarEvolution.cpp
    M llvm/test/Transforms/IndVarSimplify/predicated_ranges.ll

  Log Message:
  -----------
  [SCEV] Support sub in and negative constants willNotOverflow

This lifts two TODOs from this function, allowing us to prove
no-overflow whether it happens through max int (up) or through
min int (down) for both and and sub.

Differential Revision: https://reviews.llvm.org/D148618
Reviewed By: dmakogon