Codegen with SsaInst