Second Approach

interprocedural optimizations of the part of the program that is available
make some assumptions about the code at a compile time, pass the information about it to the run-time