Boolean Expressions

E E₁ or M E₂

| E₁ and M E ₂

| not E₁

| (E ₁ )

| id ₁ relop id ₂

| true

| false M ? ε

. Insert a marker non terminal M into the grammar to pick up index of next quadruple.

. attributes truelist and falselist are used to generate jump code for boolean expressions

. incomplete jumps are placed on lists pointed to by E.truelist and E.falselist

E.truelist and E.falselist have just incomplete jumps as of now. The entries in this list will be given targets (subsequent filling of labels) later on - backpatching.