28 …void output_symbols(FILE *out, std::string prefix, const std::vector<compiled_source::symbol> &sym…  in output_symbols()
32                 fprintf(out, "%s%s = %d\n", prefix.c_str(), s.name.c_str(), s.value);  in output_symbols()
37             fprintf(out, "\n");  in output_symbols()
42                 fprintf(out, "%soffset_%s = %d\n", prefix.c_str(), s.name.c_str(), s.value);  in output_symbols()
47             fprintf(out, "\n");  in output_symbols()
51     void header(FILE *out, std::string msg) {  in header()
53         fprintf(out, "# %s #\n", dashes.c_str());  in header()
54         fprintf(out, "# %s #\n", msg.c_str());  in header()
55         fprintf(out, "# %s #\n", dashes.c_str());  in header()
56         fprintf(out, "\n");  in header()
61         FILE *out = open_single_output(destination);  in output()  local
62         if (!out) return 1;  in output()
64         header(out, "This file is autogenerated by pioasm; do not edit!");  in output()
66         fprintf(out, "import rp2\n");  in output()
67         fprintf(out, "from machine import Pin");  in output()
68         fprintf(out, "\n");  in output()
70         output_symbols(out, "", source.global_symbols);  in output()
73             header(out, program.name);  in output()
77             output_symbols(out, prefix, program.symbols);  in output()
82                     fprintf(out, ", ");  in output()
84                 fprintf(out, "%s=%s", name.c_str(), value.c_str());  in output()
86             fprintf(out, "@rp2.asm_pio(");  in output()
94             fprintf(out, ")\n");  in output()
95             fprintf(out, "def %s():\n", program.name.c_str());  in output()
111                     fprintf(out, "    wrap_target()\n");  in output()
115                     fprintf(out, "    label(\"%s\")\n", it->second.c_str());  in output()
117 …fprintf(out, "    %s # %d\n", disassemble(jmp_labels, inst, program.sideset_bits_including_opt.get…  in output()
119                     fprintf(out, "    wrap()\n");  in output()
122             fprintf(out, "\n");  in output()
139                 fprintf(out, "\n");  in output()
142                         fprintf(out, "%s", contents.c_str());  in output()
143                         fprintf(out, "\n");  in output()
148             fprintf(out, "\n");  in output()
150         if (out != stdout) { fclose(out); }  in output()