CPS 1 (Ramm)			Spring 1995		         12 April 1995

				 Quiz #11
Name _______________________					Section _____
--------------------------------------------------------------------------------
Derivation		Rules
--------------------------------------------------------------------------------
(1) <s>1		R3: <s>1 -> <i>2:=<e>3	  code(<s>1) = code(<e>3)
							       COPY AX,M(<e>3)
							       COPY M(<i>2),AX
(2) <i>2:=<e>3		R1: <i>2 -> Q		  M(<i>2) = Q
(3) Q:=<e>3		R4: <e>3 -> (<e>4+<e>5)	  M(<e>3) = CN1
						  code(<e>3) = code(<e>4)
							       code(<e>5)
							       COPY AX, M(<e>4)
							       ADD  AX, M(<e>5)
							       COPY M(<e>3),AX
(4) Q:=(<e>4 + <e>5)	R2: <e>4 -> <i>6	  M(<e>4) = M(<i>6)
						  code(<e>4) = //nothing//
(5) Q:=(<i>6 + <e>5)	R1: <i>6 -> R		  M(<i>6) = R
(6) Q:=(R + <e>5)	R2: <e>5 -> <i>7	  M(<e>5) = M(<i>7)
						  code(<e>5) = //nothing//
(7) Q:=(R + <i>7)	R1: <i>7 -> A		  M(<i>7) = A
(8) Q:=(R + A)
--------------------------------------------------------------------------------
Using the rule instantiations shown above to derive Q := (R + A), generate the
code for <s>1 step-by-step as shown in the text.  The first two substitutions
have been done and the next one suggested below:

code(<s>1) =	code (<e>3)			by R3 line (1)
		COPY AX,M(<e>3)
		COPY M(<i>2), AX

       =	code (<e>3)			by R1 line (2)
		COPY AX,M(<e>3)
		COPY Q, AX

       =					by R4 line (3)