Print out IR along with generated C in the IR-based cross compiler