Mon Oct 17 13:47:32 EDT 2011
So, I have a syntactic representation TermFun which has inputs,
outputs and internal bindings (outputs are varrefs into internal
Next step: add load/store. These seem to be the issues:
- Binding is not dereference: make load/store explicit.
- Loop variables are special. They resemble store but are also read
from. This is phi in SSA.
Since I'm generating C it might not be necessary to use SSA until
there are arbitrary control flow paths. For now it's really quite
limited: iterate a function, feed back its state.