Code Generation - Revision history

Root: Redirected page to ist:Code Generation

2018-12-06T18:18:01Z

Root: /* Functions */

2018-05-09T22:49:25Z

Functions

← Older revision		Revision as of 22:49, 9 May 2018
Line 83:		Line 83:
	=== Functions ===		=== Functions ===

	The function structure presented here assumes a "void" return. If a return were desired, the use of ~~POP~~ or ~~DPOP~~ would be required before the LEAVE instruction.		The function structure presented here assumes a "void" return. If a return were desired, the use of STFVAL32 or STFVAL64 would be required before the LEAVE instruction.

	"sizeoflocalvars" is the number of bytes needed to store all of the function's local variables. If this value is 0 (zero), START may be used instead of ENTER.		"sizeoflocalvars" is the number of bytes needed to store all of the function's local variables. If this value is 0 (zero), START may be used instead of ENTER.

Root: /* The Postfix Machine */

2018-05-09T22:48:30Z

The Postfix Machine

← Older revision		Revision as of 22:48, 9 May 2018
Line 17:		Line 17:
	The stack grows in the direction of lower addresses.		The stack grows in the direction of lower addresses.

	Almost all operations use the stack as input and output (exceptions are ~~PUSH and POP,~~ 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]] (a.k.a. Appendix B) contains further details about the Postfix machine and its operations.

Root: /* Accessing local variables */

2018-05-01T22:18:49Z

Accessing local variables

← Older revision		Revision as of 22:18, 1 May 2018
Line 201:		Line 201:
	;; a = 1		;; a = 1
	INT 1 ; put 1 on the stack		INT 1 ; put 1 on the stack
	~~DUP~~ ; duplicate value (= is an expression)		DUP32 ; duplicate value (= is an expression)
	LOCAL -4 ; put address of "a" (assuming offset -4) on the stack		LOCAL -4 ; put address of "a" (assuming offset -4) on the stack
	STINT ; write the value on the given address		STINT ; write the value on the given address
Line 210:		Line 210:
	LOCAL -8 ; put address of "b" (assuming offset -8) on the stack		LOCAL -8 ; put address of "b" (assuming offset -8) on the stack
	LDINT ; read the value at the given address		LDINT ; read the value at the given address
	~~DUP~~ ; duplicate value (= is an expression)		DUP32 ; duplicate value (= is an expression)
	LOCAL -4 ; put address of "a" (assuming offset -4) on the stack		LOCAL -4 ; put address of "a" (assuming offset -4) on the stack
	STINT ; write the value on the given address		STINT ; write the value on the given address
Line 220:		Line 220:
	;; a = 1		;; a = 1
	INT 1 ; put 1 on the stack		INT 1 ; put 1 on the stack
	~~DUP~~ ; duplicate value (= is an expression)		DUP32 ; duplicate value (= is an expression)
	LOCA -4 ; write the value on the address of "a" (assuming offset -4)		LOCA -4 ; write the value on the address of "a" (assuming offset -4)
	</asm>		</asm>
Line 227:		Line 227:
	;; a = b (both local)		;; a = b (both local)
	LOCV -8 ; read value in the address of "b" (assuming offset -8) and put it on the stack		LOCV -8 ; read value in the address of "b" (assuming offset -8) and put it on the stack
	~~DUP~~ ; duplicate value (= is an expression)		DUP32 ; duplicate value (= is an expression)
	LOCA -4 ; write the value on the address of "a" (assuming offset -4)		LOCA -4 ; write the value on the address of "a" (assuming offset -4)
	</asm>		</asm>

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

2018-05-01T22:18:00Z

Acessing global (permanent) variables

← Older revision		Revision as of 22:18, 1 May 2018
Line 154:		Line 154:
	;; a = 1		;; a = 1
	INT 1 ; put 1 on the stack		INT 1 ; put 1 on the stack
	~~DUP~~ ; duplicate value		DUP32 ; duplicate value
	ADDR a ; put address of "a" on the stack		ADDR a ; put address of "a" on the stack
	~~STORE~~ ; write the value on the given address		STINT ; write the value on the given address
	</asm>		</asm>
	If the resulting value is not needed, throw it away:		If the resulting value is not needed, throw it away:
Line 163:		Line 163:
	;; a = 1; // expression as instruction		;; a = 1; // expression as instruction
	INT 1 ; put 1 on the stack		INT 1 ; put 1 on the stack
	~~DUP~~ ; duplicate value		DUP32 ; duplicate value
	ADDR a ; put address of "a" on the stack		ADDR a ; put address of "a" on the stack
	~~STORE~~ ; write the value on the given address		STINT ; write the value on the given address
	TRASH 4		TRASH 4
	</asm>		</asm>
Line 172:		Line 172:
	;; a = b (both global)		;; a = b (both global)
	ADDR b ; put address of "b" on the stack		ADDR b ; put address of "b" on the stack
	~~LOAD~~ ; read the value at the given address		LDINT ; read the value at the given address
	~~DUP~~ ; duplicate value (= is an expression)		DUP32 ; duplicate value (= is an expression)
	ADDR a ; put address of "a" on the stack		ADDR a ; put address of "a" on the stack
	~~STORE~~ ; write the value on the given address		STINT ; write the value on the given address
	</asm>		</asm>

	If ADDR is immediately followed by ~~LOAD~~, then the two instructions may be replaced by a single one with the same effect: ADDRV. Similarly, ADDR+~~STORE~~ = 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.

	<asm>		<asm>
	;; a = 1		;; a = 1
	INT 1 ; put 1 on the stack		INT 1 ; put 1 on the stack
	~~DUP~~ ; duplicate value (= is an expression)		DUP32 ; duplicate value (= is an expression)
	ADDRA a ; write the value in the address corresponding to "a"		ADDRA a ; write the value in the address corresponding to "a"
	</asm>		</asm>
Line 190:		Line 190:
	;; a = b (both global)		;; a = b (both global)
	ADDRV b ; read value in the address of "b" and put it on the stack		ADDRV b ; read value in the address of "b" and put it on the stack
	~~DUP~~ ; duplicate value (= is an expression)		DUP32 ; duplicate value (= is an expression)
	ADDRA a ; write the value in the address corresponding to "a"		ADDRA a ; write the value in the address corresponding to "a"
	</asm>		</asm>

Root: /* Accessing local variables */

2018-05-01T22:13:34Z

Accessing local variables

← Older revision		Revision as of 22:13, 1 May 2018
Line 203:		Line 203:
	DUP ; duplicate value (= is an expression)		DUP ; duplicate value (= is an expression)
	LOCAL -4 ; put address of "a" (assuming offset -4) on the stack		LOCAL -4 ; put address of "a" (assuming offset -4) on the stack
	~~STORE~~ ; write the value on the given address		STINT ; write the value on the given address
	</asm>		</asm>

Line 209:		Line 209:
	;; a = b (both local)		;; a = b (both local)
	LOCAL -8 ; put address of "b" (assuming offset -8) on the stack		LOCAL -8 ; put address of "b" (assuming offset -8) on the stack
	~~LOAD~~ ; read the value at the given address		LDINT ; read the value at the given address
	DUP ; duplicate value (= is an expression)		DUP ; duplicate value (= is an expression)
	LOCAL -4 ; put address of "a" (assuming offset -4) on the stack		LOCAL -4 ; put address of "a" (assuming offset -4) on the stack
	~~STORE~~ ; write the value on the given address		STINT ; write the value on the given address
	</asm>		</asm>

	If LOCAL is immediately followed by ~~LOAD~~, then the two instructions may be replaced by a single one with the same effect: LOCV. Similarly, LOCAL+~~STORE~~ = 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.

	<asm>		<asm>

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

2018-05-01T22:09:30Z

Defining global (permanent) variables

← Older revision		Revision as of 22:09, 1 May 2018
Line 111:		Line 111:
	GLOBAL a, OBJ ; declare a global symbol (linker)		GLOBAL a, OBJ ; declare a global symbol (linker)
	LABEL a ; define the label		LABEL a ; define the label
	~~BYTE~~ 4 ; allocate space (sizeof(int) == 4)		SALLOC 4 ; allocate space (sizeof(int) == 4)
	</asm>		</asm>

Line 120:		Line 120:
	GLOBAL a, OBJ ; declare a global symbol (linker)		GLOBAL a, OBJ ; declare a global symbol (linker)
	LABEL a ; define the label		LABEL a ; define the label
	~~CONST~~ 3 ; allocate space by defining initial value		SINT 3 ; allocate space by defining initial value
	</asm>		</asm>

Line 129:		Line 129:
	GLOBAL a, OBJ ; declare a global symbol (linker)		GLOBAL a, OBJ ; declare a global symbol (linker)
	LABEL a ; define the label		LABEL a ; define the label
	~~CONST~~ 3 ; allocate space by defining initial value		SINT 3 ; allocate space by defining initial value
	</asm>		</asm>

Line 137:		Line 137:
	ALIGN ; align memory		ALIGN ; align memory
	LABEL _L123 ; define the label		LABEL _L123 ; define the label
	~~STR~~ "abcdef" ; allocate space by defining initial value (string literal)		SSTRING "abcdef" ; allocate space by defining initial value (string literal)
	DATA ; select segment for initialized variables		DATA ; select segment for initialized variables
	ALIGN ; align memory		ALIGN ; align memory
	GLOBAL s, OBJ ; declare a global symbol (linker)		GLOBAL s, OBJ ; declare a global symbol (linker)
	LABEL s ; define the label		LABEL s ; define the label
	ID _L123 ; allocate space by defining initial value (address of literal)		SADDR _L123 ; allocate space by defining initial value (address of literal)
	</asm>		</asm>

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

2017-05-08T13:59:57Z

Defining global (permanent) variables

← Older revision		Revision as of 13:59, 8 May 2017
Line 124:		Line 124:

	<asm>		<asm>
	;; const int a = 7		;; const int a = 3
	RODATA ; select segment for constant objects		RODATA ; select segment for constant objects
	ALIGN ; align memory		ALIGN ; align memory

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

2017-05-08T13:59:36Z

Defining global (permanent) variables

← Older revision		Revision as of 13:59, 8 May 2017
Line 115:		Line 115:

	<asm>		<asm>
	;; int a = 7		;; int a = 3
	DATA ; select segment for initialized variables		DATA ; select segment for initialized variables
	ALIGN ; align memory		ALIGN ; align memory

Root: /* Exercises */

2016-06-22T13:38:44Z

Exercises

← Older revision		Revision as of 13:38, 22 June 2016
Line 251:		Line 251:
	* [[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

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