10 3 it also optimizes across procedures by using interprocedural analysis and transformations