void write_named_trans(char *name, Trans *t) { FILE *file = open_file(name, "wb"); write_trans(file, t); fclose(file); }
void InstructionSave::write_cpp( StreamSepMaker &ss, StreamSepMaker &es, CppEmitter *cpp_emitter ) { ss << ( ! cpp_emitter->interruptible() ? "" : "HPIPE_DATA.__" ) << "save[ " << num_save << " ] = *data;"; write_trans( ss, cpp_emitter ); }