C自作コンパイラ do-while構文規則（C, yacc, lex）

Question

Cの自作コンパイラにおいてdo-while文を実装したいのですが、syntax errorになってしまいます。以下のコードのdo-while文においてどのように修正すればよいか教えていただきたいです。以下に関連ファイルを載せておきます。

%token NUM;
%token IDENT;
%token READ;
%token PRINT;
%token WHILE;
%token IF;
%token DO;
%left '+' '-';
%left '*' '/';
%%

prog : IDENT '{' stlist'}' { dotree($3); return 0; }
;
stlist : { $$ = 0; }
| stlist stat { $$ = node(T_STLIST, $1, $2); }
;
stat :var '=' expr ';' { $$ = node(T_ASSIGN, $1, $3); }
| READ var ';' { $$ = node(T_READ, $2, 0); }
| PRINT expr ';' { $$ = node(T_PRINT, $2, 0); }
| WHILE '(' cond ')' stat { $$ = node(T_WHILE, $3, $5); }
| IF '(' cond ')' stat { $$ = node(T_IF, $3, $5); }
| DO '{' expr '}' stat { $$ = node(T_DO, $3, $5); }　　// do-whileを表現する構文規則
| '{' stlist '}' { $$ = $2; }
;
cond : expr '<' expr { $$ = node(T_LT, $1, $3); }
| expr '>' expr { $$ = node(T_GT, $1, $3); }
;
expr : term { $$ = $1; }
| expr '+' term { $$ = node(T_ADD, $1, $3); }
| expr '-' term { $$ = node(T_SUB, $1, $3); }
;
term: prim{ $$ = $1; }
| term '*' prim { $$ = node(T_MUL, $1, $3); }
| term '/' prim { $$ = node(T_DIV, $1, $3); }
| term '%' prim { $$ = node(T_REM, $1, $3); }
;
prim : NUM { $$ = node(T_NUM, atoi(yytext), 0); }
| var { $$ = node(T_VAR, $1, 0); }
| '(' expr ')' { $$ = $2; }
;
var : IDENT { $$ = lookup(yytext); }
;

main {
  read x;
  i = 0;
  do{                  // ここのdo-whileを実装したいです。
    i = i + x;
    x = x - 1;
  }while(x > 0);
  print i;

alpha [a-zA-Z]
digit [0-9]
white [\n\t ]
%%
while { return WHILE; }
if { return IF; }
do { return DO; }                    // ここも正しいか不明
read { return READ; }
print { return PRINT; }
{alpha}({alpha}|{digit})* { return IDENT; }
{digit}+ { return NUM; }
[-+()=;{}<>*/%] { return yytext[0]; }
{white} { ; }

Comments

[actorbug]

試せる環境がないので、間違っていたらすみません。
| DO stat WHILE '(' cond ')' ';' { $$ = node(T_DO, $5, $2); }　　// do-whileを表現する構文規則

[j0ker_9]

actorbugさんの通りにするとyaccのコンパイルエラーが解消されました！
しかし、まだdo-whileを実行できません。おそらく以下のCコードに問題があるのですが、どこが問題かわかりますでしょうか？？
ちなみにwhileは正常に動きますので、whileと一緒に掲載します。
---------------------------------------
case T_WHILE: l = labelno++;　　//ラベル更新
printf(".L%d:\n", l);　　// ラベル l を生成
emittree(ntab[i].left);　　// 条件文の判定
printf(".L%d\n", l+1);　　// 条件を満たさなかったら l+1 のラベルに移動
emittree(ntab[i].right);　　// while文の中身を実行
printf("jmp .L%d\n", l);　　// ラベル l に移動
printf(".L%d:\n", l+1);　　// ラベル l+1 を生成
break;

case T_DO: l = labelno++;　　// ラベルを更新
printf(".L%d:\n", l);　　// ラベル l を生成
emittree(ntab[i].right);　　// doの部分を実行
emittree(ntab[i].left);　　// whileの条件文を実行
break;　　// 条件を満たさなかったら終了
printf("jmp .L%d\n", l);　　// ラベル l に移動
}
-----------------------------------
長文失礼しました。問題点がわかりそうでしたら指摘をお願いいたします。

[actorbug]

正直コード生成系はさっぱりですが、emittree(ntab[i].left);直後にbreakしたら駄目なのは分かります。
現在実行中のコードと生成中のコードの区別がついていないのではないでしょうか。

[actorbug]

yaccの記述も、どういう理屈で解釈されるか「理解」できていれば簡単に書けたはずです。
case T_DO:についても、case T_WHILE:の動作原理を「理解」できていれば簡単に書けます。
他人に頼っていたら、いつまでたっても自力で書けるようにはなりません。
まずはT_WHILEを本当の意味で「理解」できるよう努力することをお勧めします。

[j0ker_9]

T_WHILEは上記のコメントで動作を正しく説明できていると考えています。T_WHILEの本当の意味はコメントの内容とは違うのでしょうか？

Answer 1

質問の修正依頼のコメントにコードを書くのではなく、
質問を編集してコードを追記してください。
というよりも、main のファイル全体を省略せず質問に入れてください。

さて、do-while は次のようにしてできるはずですが、理解できますか？

  case T_WHILE: l = labelno++; // ラベル番号更新
    labelno++;
    printf(".L%d:\n", l);     // ラベル l 生成
    emittree(ntab[i].left);   // 分岐条件判定
    printf(".L%d\n", l+1);    // 不成立なら l+1に移動
    emittree(ntab[i].right);  // 成立していたら、中身を実行
    printf(" jmp .L%d\n", l); // 前のラベル l に戻る
    printf(".L%d:\n", l+1);   // ラベル l+1 生成
    break;
  case T_DO: l = labelno++;   // ラベルを更新
    labelno++;
    printf(".L%d:\n", l);     // ラベル l を生成
    emittree(ntab[i].left);   // doの部分を実行
    emittree(ntab[i].right);  // whileの条件文を実行
    printf(".L%d\n", l+1);    // 不成立なら l+1に移動
    printf(" jmp .L%d\n", l); // 前のラベル l に戻る
    printf(".L%d:\n", l+1);   // ラベル l+1 を生成
    break;