[all-commits] [llvm/llvm-project] 8d0418: [ValueTracking] Use assumptions in computeConstant...

[Florian Hahn via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 8d041811983b0b8b9df5fa5f76d8b9d5178d03ea
      https://github.com/llvm/llvm-project/commit/8d041811983b0b8b9df5fa5f76d8b9d5178d03ea
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2020-05-23 (Sat, 23 May 2020)

  Changed paths:
    M llvm/include/llvm/Analysis/ValueTracking.h
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/unittests/Analysis/ValueTrackingTest.cpp

  Log Message:
  -----------
  [ValueTracking] Use assumptions in computeConstantRange.

This patch updates computeConstantRange to optionally take an assumption
cache as argument and use the available assumptions to limit the range
of the result.

Currently this is limited to assumptions that are comparisons.

Reviewers: reames, nikic, spatel, jdoerfert, lebedev.ri

Reviewed By: nikic

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