\u5f53\u5077\u61d2\u7528\u4e86cout\u8f93\u51faIR\u4e4b\u540e\uff0c\u9a6c\u4e0a\u5c31\u5f00\u59cb\u586b\u5751\u4e86\uff0c\u4e0d\u8fc7\u8d34\u5fc3\u7684\u52a9\u6559xgg\u4e3a\u6211\u4eec\u63d0\u4f9b\u4e86\u80fd\u591f\u5904\u7406 Koopa IR \b\u7684\u5e93\uff0c\u6211\u4eec\u76f4\u63a5\u5229\u7528\u4ee3\u7801\u8c03\u5e93\u5373\u53ef\u3002<\/p>\n\n\n\n
\u53c2\u8003\u63d0\u4f9b\u7684\u4ee3\u7801\uff0c\u5927\u81f4\u4e86\u89e3\u5bf9\u5e94\u751f\u6210\u7684\u7ed3\u6784\u6784\u9020\uff0c\u7136\u540e\u6211\u4eec\u5229\u7528\u52a9\u6559\u63d0\u4f9b\u7684\u5bf9\u5e94\u6570\u4e2aVisit\u51fd\u6570\uff0c\u8fdb\u884c\u5b9e\u73b0\uff0c\u5177\u4f53\u7ed3\u6784\u548c\u53d8\u91cf\u5c31\u53c2\u8003\u63d0\u4f9b\u7684koopa.h\u6587\u4ef6\u5373\u53ef\u3002<\/p>\n\n\n\n
\/\/ \u51fd\u6570\u58f0\u660e\n\n\/\/ \u8bbf\u95ee raw slice\nvoid Visit(const koopa_raw_slice_t &slice);\n\/\/ \u8bbf\u95ee\u51fd\u6570\nvoid Visit(const koopa_raw_function_t &func);\n\/\/ \u8bbf\u95ee\u57fa\u672c\u5757\nvoid Visit(const koopa_raw_basic_block_t &bb);\n\/\/ \u8bbf\u95ee\u6307\u4ee4\nvoid Visit(const koopa_raw_value_t &value);\n\/\/ ...\n\n\/\/return \nvoid Visit(const koopa_raw_return_t &ret) {\n printf(\" li a0, \");\n Visit(ret.value);printf(\"\\n\");\n printf(\" ret\\n\");\n}\n\n\/\/integer\nvoid Visit(const koopa_raw_integer_t &ret) {\n std::cout << ret.value;\n}\n\n\/\/ \u8bbf\u95ee raw program\nvoid Visit(const koopa_raw_program_t &program) {\n printf(\" .text\\n\");\n \/\/ \u6267\u884c\u4e00\u4e9b\u5176\u4ed6\u7684\u5fc5\u8981\u64cd\u4f5c\n \/\/ ...\n \/\/ \u8bbf\u95ee\u6240\u6709\u5168\u5c40\u53d8\u91cf\n Visit(program.values);\n \/\/ \u8bbf\u95ee\u6240\u6709\u51fd\u6570\n Visit(program.funcs);\n}\n\n\/\/ \u8bbf\u95ee raw slice\nvoid Visit(const koopa_raw_slice_t &slice) {\n for (size_t i = 0; i < slice.len; ++i) {\n auto ptr = slice.buffer[i];\n \/\/ \u6839\u636e slice \u7684 kind \u51b3\u5b9a\u5c06 ptr \u89c6\u4f5c\u4f55\u79cd\u5143\u7d20\n switch (slice.kind) {\n case KOOPA_RSIK_FUNCTION:\n \/\/ \u8bbf\u95ee\u51fd\u6570\n Visit(reinterpret_cast<koopa_raw_function_t>(ptr));\n break;\n case KOOPA_RSIK_BASIC_BLOCK:\n \/\/ \u8bbf\u95ee\u57fa\u672c\u5757\n Visit(reinterpret_cast<koopa_raw_basic_block_t>(ptr));\n break;\n case KOOPA_RSIK_VALUE:\n \/\/ \u8bbf\u95ee\u6307\u4ee4\n Visit(reinterpret_cast<koopa_raw_value_t>(ptr));\n break;\n default:\n \/\/ \u6211\u4eec\u6682\u65f6\u4e0d\u4f1a\u9047\u5230\u5176\u4ed6\u5185\u5bb9, \u4e8e\u662f\u4e0d\u5bf9\u5176\u505a\u4efb\u4f55\u5904\u7406\n assert(false);\n }\n }\n}\n\n\/\/ \u8bbf\u95ee\u51fd\u6570\nvoid Visit(const koopa_raw_function_t &func) {\n \/\/ \u6267\u884c\u4e00\u4e9b\u5176\u4ed6\u7684\u5fc5\u8981\u64cd\u4f5c\n printf(\" .globl %s\\n\",func->name+1);\n printf(\"%s:\\n\",func->name+1);\n \/\/ \u8bbf\u95ee\u6240\u6709\u57fa\u672c\u5757\n Visit(func->bbs);\n}\n\n\/\/ \u8bbf\u95ee\u57fa\u672c\u5757\nvoid Visit(const koopa_raw_basic_block_t &bb) {\n \/\/ \u6267\u884c\u4e00\u4e9b\u5176\u4ed6\u7684\u5fc5\u8981\u64cd\u4f5c\n \n \/\/ \u8bbf\u95ee\u6240\u6709\u6307\u4ee4\n Visit(bb->insts);\n}\n\n\/\/ \u8bbf\u95ee\u6307\u4ee4\nvoid Visit(const koopa_raw_value_t &value) {\n \/\/ \u6839\u636e\u6307\u4ee4\u7c7b\u578b\u5224\u65ad\u540e\u7eed\u9700\u8981\u5982\u4f55\u8bbf\u95ee\n const auto &kind = value->kind;\n switch (kind.tag) {\n case KOOPA_RVT_RETURN:\n \/\/ \u8bbf\u95ee return \u6307\u4ee4\n Visit(kind.data.ret);\n break;\n case KOOPA_RVT_INTEGER:\n \/\/ \u8bbf\u95ee integer \u6307\u4ee4\n Visit(kind.data.integer);\n break;\n default:\n \/\/ \u5176\u4ed6\u7c7b\u578b\u6682\u65f6\u9047\u4e0d\u5230\n assert(false);\n }\n}\n\n\nvoid generation(const char* str){\n koopa_program_t program;\n koopa_error_code_t ret = koopa_parse_from_string(str, &program);\n assert(ret == KOOPA_EC_SUCCESS); \/\/ \u786e\u4fdd\u89e3\u6790\u65f6\u6ca1\u6709\u51fa\u9519\n \/\/ \u521b\u5efa\u4e00\u4e2a raw program builder, \u7528\u6765\u6784\u5efa raw program\n koopa_raw_program_builder_t builder = koopa_new_raw_program_builder();\n \/\/ \u5c06 Koopa IR \u7a0b\u5e8f\u8f6c\u6362\u4e3a raw program\n koopa_raw_program_t raw = koopa_build_raw_program(builder, program);\n \/\/ \u91ca\u653e Koopa IR \u7a0b\u5e8f\u5360\u7528\u7684\u5185\u5b58\n koopa_delete_program(program);\n\n\n \/\/ \u5904\u7406 raw program\n Visit(raw);\n\n \/\/ \u5904\u7406\u5b8c\u6210, \u91ca\u653e raw program builder \u5360\u7528\u7684\u5185\u5b58\n \/\/ \u6ce8\u610f, raw program \u4e2d\u6240\u6709\u7684\u6307\u9488\u6307\u5411\u7684\u5185\u5b58\u5747\u4e3a raw program builder \u7684\u5185\u5b58\n \/\/ \u6240\u4ee5\u4e0d\u8981\u5728 raw program \u5904\u7406\u5b8c\u6bd5\u4e4b\u524d\u91ca\u653e builder\n koopa_delete_raw_program_builder(builder);\n}\n<\/code><\/pre>\n\n\n\n\u7136\u540e\u6211\u4eec\u7a0d\u5fae\u4fee\u6539\u4e00\u4e0b\u6570\u636e\u8f93\u5165\u8f93\u51fa\uff0c\u6211\u4eec\u5c06\u4e2d\u95f4\u7ed3\u679c\u4fdd\u5b58\u4e00\u4e0b\u518d\u8bfb\u53d6\uff08\u5077\u61d2\u7684\u8865\u9505\u65b9\u5f0fx\uff09<\/p>\n\n\n\n
if(strcmp(mode,\"-koopa\")==0){\n freopen(output,\"w\",stdout);\n ast->Dump();\n fclose(stdout);\n }else if(strcmp(mode,\"-riscv\")==0){\n freopen(\"qaz.tmp\",\"w\",stdout);\n ast->Dump();\n fclose(stdout);\n FILE *fp=fopen(\"qaz.tmp\",\"r\");\n char *buf=(char *)malloc(100000);\n fread(buf, 1, 100000, fp);\n freopen(output,\"w\",stdout);\n generation(buf);\n fclose(stdout);\n }<\/code><\/pre>\n\n\n\n\u8fd9\u65f6\u6211\u4eec\u53d1\u73b0\u597d\u50cf\u6d4b\u8bd5\u62a5\u9519\uff0c\u7a0d\u5fae\u8bfb\u4e86\u4e0b\u5927\u6982\u8bf4@main\u5b9a\u4e49\u9519\u8bef\uff0c\u6211\u4eec\u770b\u4e00\u4e0b\u751f\u6210\u6587\u4ef6\uff0c\u539f\u6765\u90a3\u4e2a\u5904\u7406\u5e93\u5c06\u51fd\u6570\u540d\u524d\u9762\u7684@\u5b57\u7b26\u4fdd\u7559\u4e86\uff0c\u6211\u4eec\u8f93\u51fa\u540d\u5b57\u65f6\u5c06\u5176\u5220\u53bb\u5373\u53ef<\/p>\n","protected":false},"excerpt":{"rendered":"
\u5f53\u5077\u61d2\u7528\u4e86cout\u8f93\u51faIR\u4e4b\u540e\uff0c\u9a6c\u4e0a\u5c31\u5f00\u59cb\u586b\u5751\u4e86\uff0c\u4e0d\u8fc7\u8d34\u5fc3\u7684\u52a9\u6559xgg\u4e3a\u6211\u4eec\u63d0\u4f9b\u4e86\u80fd\u591f\u5904\u7406 Koopa IR […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[90,86,91],"class_list":["post-883","post","type-post","status-publish","format-standard","hentry","category-uncategorized","tag-koopa","tag-lab","tag-91"],"_links":{"self":[{"href":"https:\/\/blog.kylelv.com\/index.php?rest_route=\/wp\/v2\/posts\/883","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blog.kylelv.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blog.kylelv.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blog.kylelv.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/blog.kylelv.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=883"}],"version-history":[{"count":1,"href":"https:\/\/blog.kylelv.com\/index.php?rest_route=\/wp\/v2\/posts\/883\/revisions"}],"predecessor-version":[{"id":884,"href":"https:\/\/blog.kylelv.com\/index.php?rest_route=\/wp\/v2\/posts\/883\/revisions\/884"}],"wp:attachment":[{"href":"https:\/\/blog.kylelv.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=883"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blog.kylelv.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=883"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blog.kylelv.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=883"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}