IRs and Compilation