[all-commits] [llvm/llvm-project] 024115: [SCCP] Support NUW/NSW inference for all overflowi...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 024115ab14822a97c09adcd2545c14e78b843b36
      https://github.com/llvm/llvm-project/commit/024115ab14822a97c09adcd2545c14e78b843b36
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2023-01-28 (Sat, 28 Jan 2023)

  Changed paths:
    M llvm/lib/Transforms/Utils/SCCPSolver.cpp
    M llvm/test/Transforms/PhaseOrdering/min-max-abs-cse.ll
    M llvm/test/Transforms/PhaseOrdering/pr32544.ll
    M llvm/test/Transforms/SCCP/ip-constant-ranges.ll
    M llvm/test/Transforms/SCCP/ip-ranges-binaryops.ll
    M llvm/test/Transforms/SCCP/ub-shift.ll
    M llvm/test/Transforms/SCCP/widening.ll

  Log Message:
  -----------
  [SCCP] Support NUW/NSW inference for all overflowing binary operators.

Extend the NUW/NSW inference logic add in 72121a20cd and cdeaf5f28c3dc
to all overflowing binary operators.

Reviewed By: nikic

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