[llvm-dev] GCC Value Range Analysis framework

[Chris Lattner via llvm-dev]

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>