Thu Apr 13 14:36:39 EDT 2017

The Central Question

The main point of the compiler is the two-pass peephole optimization.
How can a compiler be designed for a particular architecture?

How do you pick the intermediate and eager optimizer steps?

I'd like to capture this in a typed language, with some consistency

But on the other hand I don't really want to spend more time on it.
It feels like regression.  Without a really good idea that would
stretch further than this project, I think it makes little sense.

It's nice to have this for PIC18, but that will be dead soon, and it
might be better to focus the effort on LLVM.  The eternal
what-to-do-next question..