123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323 |
- /*
- * Copyright (c) 2020 Raspberry Pi (Trading) Ltd.
- *
- * SPDX-License-Identifier: BSD-3-Clause
- */
- #include <array>
- #include <algorithm>
- #include <sstream>
- #include <iomanip>
- #include <iostream>
- #include "output_format.h"
- #include "pio_disassembler.h"
- struct python_output : public output_format {
- struct factory {
- factory() {
- output_format::add(new python_output());
- }
- };
- python_output() : output_format("python") {}
- std::string get_description() override {
- return "Python file suitable for use with MicroPython";
- }
- void output_symbols(FILE *out, std::string prefix, const std::vector<compiled_source::symbol> &symbols) {
- int count = 0;
- for (const auto &s : symbols) {
- if (!s.is_label) {
- fprintf(out, "%s%s = %d\n", prefix.c_str(), s.name.c_str(), s.value);
- count++;
- }
- }
- if (count) {
- fprintf(out, "\n");
- count = 0;
- }
- for (const auto &s : symbols) {
- if (s.is_label) {
- fprintf(out, "%soffset_%s = %d\n", prefix.c_str(), s.name.c_str(), s.value);
- count++;
- }
- }
- if (count) {
- fprintf(out, "\n");
- }
- }
- void header(FILE *out, std::string msg) {
- std::string dashes = std::string(msg.length(), '-');
- fprintf(out, "# %s #\n", dashes.c_str());
- fprintf(out, "# %s #\n", msg.c_str());
- fprintf(out, "# %s #\n", dashes.c_str());
- fprintf(out, "\n");
- }
- int output(std::string destination, std::vector<std::string> output_options,
- const compiled_source &source) override {
- FILE *out = open_single_output(destination);
- if (!out) return 1;
- header(out, "This file is autogenerated by pioasm; do not edit!");
- fprintf(out, "import rp2\n");
- fprintf(out, "from machine import Pin");
- fprintf(out, "\n");
- output_symbols(out, "", source.global_symbols);
- for (const auto &program : source.programs) {
- header(out, program.name);
- std::string prefix = program.name + "_";
- output_symbols(out, prefix, program.symbols);
- int param_count = 0;
- auto write_opt = [&] (std::string name, std::string value) {
- if (param_count++) {
- fprintf(out, ", ");
- }
- fprintf(out, "%s=%s", name.c_str(), value.c_str());
- };
- fprintf(out, "@rp2.asm_pio(");
- for(const auto &p : program.lang_opts) {
- if (p.first.size() >= name.size() && p.first.compare(0, name.size(), name) == 0) {
- for (const auto &p2 : p.second) {
- write_opt(p2.first, p2.second);
- }
- }
- }
- fprintf(out, ")\n");
- fprintf(out, "def %s():\n", program.name.c_str());
- std::map<uint, std::string> jmp_labels;
- // for now just use numeric labels
- for (int i = 0; i < (int)program.instructions.size(); i++) {
- const auto &inst = program.instructions[i];
- if (!(inst >> 13u)) {
- // a jump
- uint target = inst &0x1fu;
- jmp_labels.insert(std::pair<uint,std::string>(target, std::to_string(target)));
- }
- }
- for (uint i = 0; i < (int)program.instructions.size(); i++) {
- const auto &inst = program.instructions[i];
- if (i == program.wrap_target) {
- fprintf(out, " wrap_target()\n");
- }
- auto it = jmp_labels.find(i);
- if (it != jmp_labels.end()) {
- fprintf(out, " label(\"%s\")\n", it->second.c_str());
- }
- fprintf(out, " %s # %d\n", disassemble(jmp_labels, inst, program.sideset_bits_including_opt.get(), program.sideset_opt).c_str(), i);
- if (i == program.wrap) {
- fprintf(out, " wrap()\n");
- }
- }
- fprintf(out, "\n");
- /*
- fprintf(out, "static inline pio_sm_config %sprogram_default_config(uint offset) {\n", prefix.c_str());
- fprintf(out, " pio_sm_config c = pio_sm_default_config();\n");
- fprintf(out, " sm_config_wrap(&c, offset + %swrap_target, offset + %swrap);\n", prefix.c_str(),
- prefix.c_str());
- if (program.sideset_bits_including_opt.is_specified()) {
- fprintf(out, " sm_config_sideset(&c, %d, %s, %s);\n", program.sideset_bits_including_opt.get(),
- program.sideset_opt ? "true" : "false",
- program.sideset_pindirs ? "true" : "false");
- }
- fprintf(out, " return c;\n");
- fprintf(out, "}\n");
- */
- // todo maybe have some code blocks inside or outside here?
- for(const auto& o : program.code_blocks) {
- fprintf(out, "\n");
- if (o.first == name) {
- for(const auto &contents : o.second) {
- fprintf(out, "%s", contents.c_str());
- fprintf(out, "\n");
- }
- }
- }
- fprintf(out, "\n");
- }
- if (out != stdout) { fclose(out); }
- return 0;
- }
- static std::string disassemble(const std::map<uint, std::string>& jmp_labels, uint16_t inst, uint sideset_bits_including_opt, bool sideset_opt) {
- std::stringstream ss;
- uint major = inst >> 13u;
- uint arg1 = ((uint) inst >> 5u) & 0x7u;
- uint arg2 = inst & 0x1fu;
- std::string op_string;
- auto op = [&](const std::string &s) {
- op_string = s;
- };
- auto op_guts = [&](const std::string &s) {
- ss << std::left << std::setw(24) << (op_string + "(" + s + ")");
- };
- bool invalid = false;
- switch (major) {
- case 0b000: {
- static std::array<std::string, 8> conditions{"", "not_x", "x_dec", "not_y", "y_dec", "x_not_y", "pin",
- "not_osre"};
- op("jmp");
- auto it = jmp_labels.find(arg2);
- std::string label = "?";
- if (it != jmp_labels.end()) {
- label = it->second;
- }
- if (arg1)
- op_guts(conditions[arg1] + ", \"" + label +"\"");
- else
- op_guts("\"" + label + "\"");
- break;
- }
- case 0b001: {
- uint source = arg1 & 3u;
- std::string guts;
- switch (source) {
- case 0b00:
- guts = "gpio, " + std::to_string(arg2);
- break;
- case 0b01:
- guts = "pin, " + std::to_string(arg2);
- break;
- case 0b10:
- if (arg2 & 0x8u) {
- invalid = true;
- } else {
- guts = "irq, " + std::to_string(arg2 & 7u);
- if (arg2 & 0x10u) {
- guts += " rel";
- }
- }
- break;
- }
- if (!invalid) {
- guts = ((arg1 & 4u) ? "1 " : "0 ") + guts;
- op("wait");
- op_guts(guts);
- }
- break;
- }
- case 0b010: {
- static std::array<std::string, 8> sources { "pins", "x", "y", "null", "", "status", "isr", "osr"};
- std::string source = sources[arg1];
- if (source.empty()) {
- invalid = true;
- } else {
- op("in");
- op_guts(source + ", " + std::to_string(arg2 ? arg2 : 32));
- }
- break;
- }
- case 0b011: {
- static std::array<std::string, 8> dests { "pins", "x", "y", "null", "pindirs", "pc", "isr", "exec"};
- op("out");
- op_guts(dests[arg1] + ", " + std::to_string(arg2 ? arg2 : 32));
- break;
- }
- case 0b100: {
- if (arg2) {
- invalid = true;
- } else {
- std::string guts = "";
- if (arg1 & 4u) {
- op("pull");
- if (arg1 & 2u) guts = "ifempty";
- } else {
- op("push");
- if (arg1 & 2u) guts = "iffull";
- }
- guts += ", ";
- guts += ((arg1 & 0x1u) ? "block" : "noblock");
- op_guts(guts);
- }
- break;
- }
- case 0b101: {
- static std::array<std::string, 8> dests { "pins", "x", "y", "", "exec", "pc", "isr", "osr"};
- static std::array<std::string, 8> sources { "pins", "x", "y", "null", "", "status", "isr", "osr"};
- std::string dest = dests[arg1];
- std::string source = sources[arg2 & 7u];
- uint operation = arg2 >> 3u;
- if (source.empty() || dest.empty() || operation == 3) {
- invalid = true;
- }
- if (dest == source && (arg1 == 1 || arg2 == 2)) {
- op("nop");
- op_guts("");
- } else {
- op("mov");
- std::string guts = dest + ", ";
- if (operation == 1) {
- guts += "not ";
- } else if (operation == 2) {
- guts += "reverse ";
- }
- guts += source;
- op_guts(guts);
- }
- break;
- }
- case 0b110: {
- if ((arg1 & 0x4u) || (arg2 & 0x8u)) {
- invalid = true;
- } else {
- op("irq");
- std::string guts;
- if (arg1 & 0x2u) {
- guts += "clear ";
- } else if (arg1 & 0x1u) {
- guts += "wait ";
- } else {
- guts += "nowait ";
- }
- guts += std::to_string(arg2 & 7u);
- if (arg2 & 0x10u) {
- guts += " rel";
- }
- op_guts(guts);
- }
- break;
- }
- case 0b111: {
- static std::array<std::string, 8> dests{"pins", "x", "y", "", "pindirs", "", "", ""};
- std::string dest = dests[arg1];
- if (dest.empty()) {
- invalid = true;
- } else {
- op("set");
- op_guts(dests[arg1] + ", " + std::to_string(arg2));
- }
- break;
- }
- }
- if (invalid) {
- op("word");
- ss << std::hex;
- op_guts(std::to_string(inst));
- }
- uint delay = ((uint) inst >> 8u) & 0x1f;
- ss << std::left << std::setw(9);
- if (sideset_bits_including_opt && (!sideset_opt || (delay & 0x10u))) {
- ss << (".side("+ std::to_string((delay & (sideset_opt ? 0xfu : 0x1fu)) >> (5u - sideset_bits_including_opt))+")");
- } else {
- ss << "";
- }
- delay &= ((1u << (5 - sideset_bits_including_opt)) - 1u);
- ss << std::left << std::setw(4) << (delay ? ("[" + std::to_string(delay) + "]") : "");
- return ss.str();
- }
- };
- static python_output::factory creator;
|