Code Generation - Revision history

Root: /* Defining global (permanent) variables */

2026-05-29T16:16:39Z

Defining global (permanent) variables

← Older revision		Revision as of 16:16, 29 May 2026
Line 166:		Line 166:
	LOCAL +8 ; &i		LOCAL +8 ; &i
	LDINT ; i		LDINT ; i
	~~STFVAL32~~		STFVAL32I
	LEAVE		LEAVE
	RET		RET

Root: /* Exercises */

2026-05-29T15:47:08Z

Exercises

← Older revision		Revision as of 15:47, 29 May 2026
Line 272:		Line 272:
	== Exercises ==		== Exercises ==

	* [[Code Generation/Exercise 5\|Exercise 5]] - "gcd"		* [[Code Generation/Exercise 5\|Exercise 5]] - '''gcd''' (take 1)
	* [[Code Generation/Exercise 6\|Exercise 6]] - "powmod"		* [[Code Generation/Exercise 6\|Exercise 6]] - '''powmod'''
	* [[Code Generation/Exercise 7\|Exercise 7]] - "traverse"		* [[Code Generation/Exercise 7\|Exercise 7]] - '''traverse'''
	* [[Code Generation/Exercise 8\|Exercise 8]] - set of small exercises and questions		* [[Code Generation/Exercise 8\|Exercise 8]] - set of small exercises and questions
	* [[Code Generation/Exercise 9\|Exercise 9]] - "mkvec" and "compute", Test 2, 2012/06/06		* [[Code Generation/Exercise 9\|Exercise 9]] - '''mkvec''' and '''compute''' <!--, Test 2, 2012/06/06-->
	* [[Code Generation/Exercise 10\|Exercise 10]] - "forall" (version 1), Test 2, 2015/06/29		* [[Code Generation/Exercise 10\|Exercise 10]] - '''forall''' (version 1) <!--, Test 2, 2015/06/29-->
	* [[Code Generation/Exercise 11\|Exercise 11]] - "forall" (version 2), Test 2, 2015/06/29		* [[Code Generation/Exercise 11\|Exercise 11]] - '''forall''' (version 2) <!--, Test 2, 2015/06/29-->
	* [[Code Generation/Exercise 12\|Exercise 12]] - finding elements in vector, Test 2, 2016/06/17		* [[Code Generation/Exercise 12\|Exercise 12]] - finding elements in vector <!--, Test 2, 2016/06/17-->
	* [[Code Generation/Exercise 13\|Exercise 13]] - '''repeat'''		* [[Code Generation/Exercise 13\|Exercise 13]] - '''repeat'''
	* [[Code Generation/Exercise 14\|Exercise 14]] - '''mop'''		* [[Code Generation/Exercise 14\|Exercise 14]] - '''mop'''

Root: /* Examples */

2026-05-18T15:26:47Z

Examples

← Older revision		Revision as of 15:26, 18 May 2026
Line 268:		Line 268:
	* [[Code Generation/Example 3\|Example 3]] - C function with pointer arithmetic to Postfix		* [[Code Generation/Example 3\|Example 3]] - C function with pointer arithmetic to Postfix
	* [[Code Generation/Example 4\|Example 4]] - C while cycle		* [[Code Generation/Example 4\|Example 4]] - C while cycle
			* [[Code Generation/Duplication of Floating Point Numbers on the Stack\|Duplication of Floating Point Numbers on the Stack]] - this is a simple pure-Postfix example to illustrate duplication of stack values for double-precision floating point numbers.
	~~A simple pure-Postfix example to illustrate duplication of stack values for double-precision floating point numbers.<br>~~

	* [[Code Generation/Duplication of Floating Point Numbers on the Stack\|Duplication of Floating Point Numbers on the Stack]]

	== Exercises ==		== Exercises ==

Root: /* Accessing global (permanent) variables */

2023-06-01T15:16:19Z

Accessing global (permanent) variables

← Older revision		Revision as of 15:16, 1 June 2023
Line 209:		Line 209:
	</source>		</source>

	If ADDR is immediately followed by LDINT, then the two instructions may be replaced by a single one with the same effect: ADDRV. Similarly, ADDR+STINT = ADDRA.		If ADDR is immediately followed by LDINT, then the two instructions may be replaced by a single one with the same effect: ADDRV. Similarly, ADDR+STINT = ADDRA. Note that this, in most cases, will correspond to an optimization and its use by the code generator will be impossible or very limited.

	<source lang="asm">		<source lang="asm">

Root: /* Accessing local variables */

2023-06-01T15:15:52Z

Accessing local variables

← Older revision		Revision as of 15:15, 1 June 2023
Line 246:		Line 246:
	</source>		</source>

	If LOCAL is immediately followed by LDINT, then the two instructions may be replaced by a single one with the same effect: LOCV. Similarly, LOCAL+STINT = LOCA.		If LOCAL is immediately followed by LDINT, then the two instructions may be replaced by a single one with the same effect: LOCV. Similarly, LOCAL+STINT = LOCA. Note that this, in most cases, will correspond to an optimization and its use by the code generator will be impossible or very limited.

	<source lang="asm">		<source lang="asm">

Root: /* Exercises */

2022-06-14T18:01:25Z

Exercises

← Older revision		Revision as of 18:01, 14 June 2022
Line 288:		Line 288:
	* [[Code Generation/Exercise 16\|Exercise 16]] - '''heapSort''', etc.		* [[Code Generation/Exercise 16\|Exercise 16]] - '''heapSort''', etc.
	* [[Code Generation/Exercise 17\|Exercise 17]] - '''find'''		* [[Code Generation/Exercise 17\|Exercise 17]] - '''find'''
			* [[Code Generation/Exercise 18\|Exercise 18]] - fragmentos com variações

	[[category:Compiladores]]		[[category:Compiladores]]
	[[category:Ensino]]		[[category:Ensino]]

Root: /* Cycles */

2022-06-14T12:54:06Z

Cycles

← Older revision		Revision as of 12:54, 14 June 2022
Line 32:		Line 32:
	LABEL condition		LABEL condition
	;; evaluate condition expression		;; evaluate condition expression
	JZ ~~endwhile~~		JZ endcycle
	;; evaluate block		;; evaluate block
	JMP condition		JMP condition
	LABEL ~~endwhile~~		LABEL endcycle
			</source>

			Basic structure of a '''do-while''' cycle:

			<source lang="asm">
			LABEL startcycle
			;; evaluate block
			LABEL condition
			;; evaluate condition expression
			JNZ startcycle
			LABEL endcycle
	</source>		</source>

Root: /* The Postfix Machine */

2022-06-08T15:33:04Z

The Postfix Machine

← Older revision		Revision as of 15:33, 8 June 2022
Line 11:		Line 11:
	== The Postfix Machine ==		== The Postfix Machine ==

	~~SL0 -~~ single ~~stack,~~ large stack, 0 operand ~~machine~~.		The Postfix machine is a stack machine possessing a single large stack and 0-operand instructions (SL0).

	Three special purpose registers: IP (instruction pointer, a.k.a, program counter), for jumps and function calls; FP (frame pointer, a.k.a. base pointer), the basis of the frame pointer for each function; SP (stack pointer), keeps track of the top of the stack.		Three special purpose registers: IP (instruction pointer, a.k.a, program counter), for jumps and function calls; FP (frame pointer, a.k.a. base pointer), the basis of the frame pointer for each function; SP (stack pointer), keeps track of the top of the stack.

Root: /* The Postfix Machine */

2022-06-08T15:31:34Z

The Postfix Machine

← Older revision		Revision as of 15:31, 8 June 2022
Line 19:		Line 19:
	Almost all operations use the stack as input and output (exceptions are instructions for returning values from functions in accordance with CDecl), and instructions that use either immediate arguments or arguments in global memory (i.e., with explicit named addressing).		Almost all operations use the stack as input and output (exceptions are instructions for returning values from functions in accordance with CDecl), and instructions that use either immediate arguments or arguments in global memory (i.e., with explicit named addressing).

	The [[Postfix Reference Guide\|Postfix reference guide]] ~~(a.k.a. Appendix B)~~ contains further details about the Postfix machine and its operations.		The [[Postfix Reference Guide\|Postfix reference guide]] contains further details about the Postfix machine and its operations.

	== Basic Structures (code) ==		== Basic Structures (code) ==

Root: /* Cycles */

2022-06-08T15:30:35Z

Cycles

← Older revision		Revision as of 15:30, 8 June 2022
Line 27:		Line 27:
	=== Cycles ===		=== Cycles ===

	Basic structure of a "while" cycle:		Basic structure of a '''while''' cycle:

	<source lang="asm">		<source lang="asm">
Line 38:		Line 38:
	</source>		</source>

	Basic structure of a C-style "for" cycle:		Basic structure of a C-style '''for''' cycle:

	<source lang="asm">		<source lang="asm">

← Older revision		Revision as of 15:47, 29 May 2026
Line 272:		Line 272:
	== Exercises ==		== Exercises ==

	* [[Code Generation/Exercise 5\|Exercise 5]] - "gcd"		* [[Code Generation/Exercise 5\|Exercise 5]] - '''gcd''' (take 1)
	* [[Code Generation/Exercise 6\|Exercise 6]] - "powmod"		* [[Code Generation/Exercise 6\|Exercise 6]] - '''powmod'''
	* [[Code Generation/Exercise 7\|Exercise 7]] - "traverse"		* [[Code Generation/Exercise 7\|Exercise 7]] - '''traverse'''
	* [[Code Generation/Exercise 8\|Exercise 8]] - set of small exercises and questions		* [[Code Generation/Exercise 8\|Exercise 8]] - set of small exercises and questions
	* [[Code Generation/Exercise 9\|Exercise 9]] - "mkvec" and "compute", Test 2, 2012/06/06		* [[Code Generation/Exercise 9\|Exercise 9]] - '''mkvec''' and '''compute''' <!--, Test 2, 2012/06/06-->
	* [[Code Generation/Exercise 10\|Exercise 10]] - "forall" (version 1), Test 2, 2015/06/29		* [[Code Generation/Exercise 10\|Exercise 10]] - '''forall''' (version 1) <!--, Test 2, 2015/06/29-->
	* [[Code Generation/Exercise 11\|Exercise 11]] - "forall" (version 2), Test 2, 2015/06/29		* [[Code Generation/Exercise 11\|Exercise 11]] - '''forall''' (version 2) <!--, Test 2, 2015/06/29-->
	* [[Code Generation/Exercise 12\|Exercise 12]] - finding elements in vector, Test 2, 2016/06/17		* [[Code Generation/Exercise 12\|Exercise 12]] - finding elements in vector <!--, Test 2, 2016/06/17-->
	* [[Code Generation/Exercise 13\|Exercise 13]] - '''repeat'''		* [[Code Generation/Exercise 13\|Exercise 13]] - '''repeat'''
	* [[Code Generation/Exercise 14\|Exercise 14]] - '''mop'''		* [[Code Generation/Exercise 14\|Exercise 14]] - '''mop'''