[all-commits] [llvm/llvm-project] 9fb46a: [SCCP] Compute ranges for supported intrinsics

[Nikita Popov via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 9fb46a452d4e5666828c95610ceac8dcd9e4ce16
      https://github.com/llvm/llvm-project/commit/9fb46a452d4e5666828c95610ceac8dcd9e4ce16
  Author: Nikita Popov <nikita.ppv at gmail.com>
  Date:   2020-09-07 (Mon, 07 Sep 2020)

  Changed paths:
    M llvm/lib/Transforms/Scalar/SCCP.cpp
    M llvm/test/Transforms/SCCP/intrinsics.ll

  Log Message:
  -----------
  [SCCP] Compute ranges for supported intrinsics

For intrinsics supported by ConstantRange, compute the result range
based on the argument ranges. We do this independently of whether
some or all of the input ranges are full, as we can often still
constrain the result in some way.

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