Pretty print scalar evolutions

[Gabriel Dos Reis]

Sebastian Pop:
> On Fri, Jul 16, 2004 at 10:18:17PM +0200, Gabriel Dos Reis wrote:
>>
>> Do we have a well-defined grammar for these things?
>
> Not really ;-) the notation is the one used by others for representing
> the chains of recurrences, something like:
>
> chrec := polynomial | chrec_not_known | chrec_known | tree expression
> polynomial := '{' chrec ", +," chrec "}_" integer
>
> the left chrec is the initial value when entering the loop indexed by
> the integer, and the right chrec is the step in this loop.
>
>> I'm currently working in that area and I would like use move away
>> from adding more node externalizations without defined grammar.  The
>> constraint is that it should be something close to C.
>
> The pretty printing of these nodes is mainly intended to debugging.
> Since these nodes are not part of the IR of a program they won't be
> printed during a diagnosis message.  If needed I'm open to suggestions
> for improving the dumping of the chrecs.

The part of tree pretty-printing as we discussed is not about
diagnostics, but about the dumps in form of C codes.

-- Gaby