Deal with alignment/padding/loop-adjustment properly
Track zero-columns and avoid accessing them at run-time
Record assembly expressions properly
Change the way licm optimizations are enabled
Implement loop merging (plus feasibility checking)
Group statements living in same iteration spaces
Make expansion use deep copy, not pointers