For instance: - reduce constant expressions - rewrite `a = a + 1` -> `a += 1` -> `++a` - mark cacheable vs not cacheable as attribute of function (instead of current dynamic based on what is called and what ref there are) - possibly nuke unused vars etc - figure out maybe the registers at that time
For instance:
a = a + 1->a += 1->++a