CFG,dataflow analysis,optimizer fixes