Jonas Jensen 9b12ceae8d C++: SimpleRangeAnalysis: widen recursive *, +, - ...

The number of candidate bounds during the main `SimpleRangeAnalysis`
recursion was in principle always exponential in the size of the
program, but in practice it did not get out of hand when only `+` and
`-` operations were supported. Now that `*` is also supported, the range
analysis started timing out on the SinaMostafanejad/OpenRDM project. The
problematic expressions in that project are of the form

    a*x*x*x + b*x*x + c*x + d

where most of the variables involved are recursive definitions and are
therefore likely to have a large number of candidate bounds.

The fix here is to identify those few binary operations that are most
likely to cause an explosion in the number of bounds and apply widening
to them. Previously, widening was only applied at definitions.

2020-10-12 11:09:01 +02:00

..

RangeSSA

C++: Use StackVariable in SSA libraries

2019-11-19 11:30:59 +01:00

SimpleRangeAnalysis

C++: SimpleRangeAnalysis: widen recursive *, +, -

2020-10-12 11:09:01 +02:00