[all-commits] [llvm/llvm-project] f10119: [SCCP] Add support for with.overflow intrinsics

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f101196d695ef5a11799bb5fbd779f1c3b60fc71
      https://github.com/llvm/llvm-project/commit/f101196d695ef5a11799bb5fbd779f1c3b60fc71
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2022-12-05 (Mon, 05 Dec 2022)

  Changed paths:
    M llvm/lib/Transforms/Utils/SCCPSolver.cpp
    M llvm/test/Transforms/SCCP/with.overflow.ll

  Log Message:
  -----------
  [SCCP] Add support for with.overflow intrinsics

This adds SCCP support for extractvalues of with.overflow.
We compute both the range of the result value and determine when
the overflow value is always false.

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