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
On-Demand range technology [2/5] - Major Components : How it works
On-Demand range technology [3/5] - The Prototype
On-Demand range technology [4/5] - Performance results
On-Demand range technology [5/5] - Looking to the future.

-Chris