Write an attribute grammar, based on the following context-free grammar, that accumulates jump code for Boolean expressions (with short-circuiting) into a synthesized attribute code of condition, and then uses this attribute to generate code for if statements.

You may assume that the code attribute has already been initialized for other stmt and ident nodes. (For hints, see Fischer et al.’s compiler book [FCL10, Sec. 14.1.4].)

Transcribed Image Text:

stmt if condition then stmt else stmt + other stmt + cterm | condition or c_term condition C term c factor | cterm and c factor c-factor relation → < | <= | = | <> | > | >= + ident relation ident | ( condition ) | not ( condition )