A IR used within GCC. Lowers all control structures to a canonical form Lowers all expression into 3AC