Figures ,
,
, and
illustrate what the
intermediate format actually looks like when pretty-printed.
Figure: countdown.c, to be fed to SUIF.
Figure: Output of printsuif countdown.spd for abs() function.
Figure: Output of printsuif countdown.spd for main() function.
Figure: Partial output of s2c countdown.spd.