Yacc/Bison семантического значения изменяется в середине пути через правило

Question

iteration_stmt : WHILE    {$$ = LabelSeed; LabelSeed++; 
            fprintf(fp, "While%i:\n", $$); 
            } 
       '(' expression ')' {fprintf(fp, "cmp %s, 1\n", regToString($<n>3)); 
            fprintf(fp, "jne EndWhile%i\n", $$); 
            NextReg--; 
            } 
       statement   {fprintf(fp, "jmp While%i\n", $$); 
            fprintf(fp, "EndWhile%i:\n", $$); 
            } 
       ; 

Я пытаюсь использовать iteration_stmt «s семантического значения для отслеживания значения LabelSeed, однако это значение не останется таким же путем отказа другие 2 действия. Например, в одном случае, мой вывод:

While0: 
... 
jne EndWhile1 
... 
jmp While0 
EndWhile0: 

в другой его:

While2: 
... 
jne EndWhile2 
... 
jmp While0 
EndWhile0: 

Целое должно оставаться постоянным. Я не могу придумать какую-либо причину, по которой семантическое значение изменится. Может кто-то указать мне верное направление?

Answer 1

Смысловое значение iteration_stmt не будет установлен, пока правило всего не снижаются, и в этот момент $$ может быть использована для обозначения к нему в коде действия. Ваше использование $$ в сегментах кода действия фактически относится к неявным частично завершенным частям правила; только в действии для окончания заявление не-терминал будет $$ ссылаться на iteration_stmt.

Это потому, что внутри yacc/bison реализует rules with mid-rule actions как каскад правил правильной формы, с действиями только в конце.

Итак, попробуйте следующее:

iteration_stmt : WHILE    {$$ = LabelSeed; LabelSeed++; 
            fprintf(fp, "While%i:\n", $$); 
            } 
       '(' expression ')' {fprintf(fp, "cmp %s, 1\n", regToString($<n>3)); 
            fprintf(fp, "jne EndWhile%i\n", $1); 
            NextReg--; 
            } 
       statement   {fprintf(fp, "jmp While%i\n", $1); 
            fprintf(fp, "EndWhile%i:\n", $1); 
            } 
       ; 

Если первый $$ загружает семантическое значение WHILE токен, который другие действия могут ссылаться.