These are specific optimizations that look for key behaviors. Can include: Dead Code Elimination Dead Store Elimination Types Middle-End Pass