[PATCH] D76193: [ValueTracking] Use assumptions in computeConstantRange.

[Florian Hahn via Phabricator via llvm-commits]

fhahn created this revision.
fhahn added reviewers: reames, nikic, spatel, jdoerfert, lebedev.ri.
Herald added a subscriber: hiraditya.
Herald added a project: LLVM.

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.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D76193

Files:
  llvm/include/llvm/Analysis/ValueTracking.h
  llvm/lib/Analysis/ValueTracking.cpp
  llvm/unittests/Analysis/ValueTrackingTest.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D76193.250414.patch
Type: text/x-patch
Size: 7045 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200315/a8ece243/attachment.bin>