Project, Phase 6: Control Structures

• Assigned: Wednesday, 30 November 2011
• Due: Wednesday, 7 December 2011

We now have working straight line intermediate code and understand the structure of STAC code.

It is now time to translate control structures.

Edit your pascal.y file so that the productions for the primary control structures generate code for those control structures. You should support the following structures:

• if-then statements, represented by nonterminal if_then_statement;
• if-then-else statements, represented by nonterminals safe_if_then_else_statement and unsafe_if_then_else_statement;
• while loops, represented by nonterminals safe_while_statement and unsafe_while_statement; and
• for loops, represented by nonterminals safe_for_statement and unsafesafe_for_statement.

You already have code written to translate expressions, so your main tasks are to (1) write procedures to generate labels; and (2) follow the patterns that we developed in class for translating these control structures.