It's a pattern matcher operating on DAG's. Target independent nodes
in, target specific nodes out.
I guess this is general enough. So the restriction lies in the implementation
language and not the pattern matcher itself. I'll spend some (a lot of) time to
understand the backend-specific issues that are of particular interest to me.
Eventually, I'll get back with a patch (hopefully 
and before that with more
questions
Nikolaos Kavvadias