De Morgan’s law tells us that !(p | | q) is equivalent to (!p) && (!q). Show that these generate identical code when compiled with TransCond from Fig. 6.8. Show that, in any code generated by the...

De Morgan’s law tells us that !(p | | q) is equivalent to (!p) &&

(!q). Show that these generate identical code when compiled with TransCond from

Fig. 6.8.

Show that, in any code generated by the functions in Figs. 6.5 and

6.8, every IF-THEN-ELSE instruction will be followed by one of the target labels.