いくつかのASMコードで関数をラップする

Question

私は宿題としてシンプルなCコンパイラを作っています。私は、次の文法規則を持っている：compound_statementルールは私が直接fprintf()機能命令ではできない、function_definition前と呼ばれるように

declarator: 
    push %ebp 
    mov %esp %ebp 

    // compound_statement (function instructions) 

    pop %ebp 
    ret 

：

function_definition 
: type_name declarator compound_statement 

私の意味規則は、に変換しなければなりませんそのセマンティックルール。しかし、Yacc型ではstreamstringを定義することはできません（my previous question参照）。

したがって、関数の命令を文字列に入れ（メモリ割り当て側で混乱するstrcatを使いません）、以前のASM命令でそれらをラップするにはどうすればよいですか？

Answer 1

あなたはおそらくとしてそのルールを記述することができます。

function_definition: 
    type_name declarator 
     { fprintf(..function prefix code..); } 
    compound_statement 
     { fprintf(..function suffix code..); } 
; 

と直接compound_statement出力コードのルールを持ち続けます。問題は、残りの文法によっては、コンパイルされたアクションがcompound_statementを解析する前に（アクションコードを実行するための）追加のNULL削減を導入するため、シフト/リダクションまたはリダクション/リダクションの競合が発生する可能性があるということです。

Answer 2

2つの方法があります。

• あなたは、その後、function_definitionルールのコードに引数として渡されcompound_statementルール、のコード内の関数本体の表現が含まれているオブジェクトを構築することができますいずれかまたは
• mid-ruleコードにはGNU拡張機能を使用できます。