Write L-attributed SDD's analogous to that of Example 5.19 for the following productions, each of which represents a familiar flow-of-control construct, as in the programming language C. You may need...

Write L-attributed SDD's analogous to that of Example 5.19 for the following productions, each of which represents a familiar flow-of-control construct, as in the programming language C. You may need to generate a threeaddress statement to jump to a particular label L, in which case you should generate got o L.

a) S -)• if ( C ) Si else S2

b) S do Si whil e ( C )


c) S -4'{' L '}'; L L S \ e


Note that any statement in the list can have a jump from its middle to the next Statement, so it is not sufficient simply to generate code for each statement in order.

Example 5.19