llvm dev - May 2019 - GCC Value Range Analysis framework

Andrew MacLeod has several great posts on the GCC mailing list that describes
his new ‘ranger’ framework.  I haven’t dug in deeply, but it looks like a very
nicely considered approach, and solves several issues in the corresponding LLVM
infra.

It has been years since I’ve thought about this area - I’d be curious to know if
anyone else has thought about this lately, and what you think:

On-Demand range technology [1/5] - Executive Summary
<https://gcc.gnu.org/ml/gcc/2019-05/msg00193.html>
On-Demand range technology [2/5] - Major Components : How it works
<https://gcc.gnu.org/ml/gcc/2019-05/msg00194.html>
On-Demand range technology [3/5] - The Prototype
<https://gcc.gnu.org/ml/gcc/2019-05/msg00195.html>
On-Demand range technology [4/5] - Performance results
<https://gcc.gnu.org/ml/gcc/2019-05/msg00196.html>
On-Demand range technology [5/5] - Looking to the future.
<https://gcc.gnu.org/ml/gcc/2019-05/msg00197.html>

-Chris

-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20190525/e7b831bf/attachment.html>