. Use more than one IR for more than one optimization

. represent subscripts by list of subscripts: suitable for dependence analysis

. make addresses explicit in linearized form:

- suitable for constant folding, strength reduction, loop invariant code motion, other basic optimizations