Code Generation/Exercise 7 - Revision history

Root: Redirected page to ist:Code Generation/Exercise 7

2018-12-06T18:15:31Z

Redirected page to ist:Code Generation/Exercise 7

← Older revision		Revision as of 18:15, 6 December 2018
Line 1:		Line 1:
	~~== The Original Code ==~~		#REDIRECT [[ist:Code Generation/Exercise 7]]

	~~Consider the following C function:~~

	~~<c>~~
	~~int *traverse(int vec~~[~~], int lim) {~~
	~~int *ptr = vec + lim - 1, ix = lim - 2;~~
	~~while (ix >= 0) {~~
	~~ptr = (vec~~[~~ix] > *ptr) ? vec + ix~~ : ~~ptr;~~
	~~ix--;~~
	}
	~~return ptr;~~
	}
	~~</c>~~

	~~== Postfix~~ Code ==

	~~The Postfix code for the above function is as follows:~~
	~~{{CollapsedCode\|Postfix code\|~~
	~~<asm>~~
	~~TEXT~~
	~~ALIGN~~
	~~GLOBL traverse, FUNC~~
	~~LABEL traverse~~
	~~ENTER 8 ; ptr@-4 ix@-8 vec@+8 lim@+12~~

	~~; init prt (not assignment)~~
	~~LOCAL +8~~
	~~LDINT ; vec~~
	~~LOCAL +12~~
	~~LDINT ; lim~~
	~~INT 4 ; sizeof int~~
	~~MUL~~
	~~ADD ; vec + lim~~
	~~INT 1~~
	~~INT 4 ; sizeof int~~
	~~MUL~~
	~~SUB ; vec + lim - 1~~
	~~LOCAL -4~~
	~~STINT ; ptr = vec + lim - 1~~

	~~; init ix (not assignment)~~
	~~LOCAL +12~~
	~~LDINT ; lim~~
	~~INT 2~~
	~~SUB~~
	~~LOCAL -8~~
	~~STINT ; ix = lim -2~~

	~~; while start: test~~
	~~ALIGN~~
	~~LABEL while_test~~
	~~LOCAL -8~~
	~~LDINT~~
	~~INT 0~~
	~~GE ; ix >= 0~~
	~~JZ while_end~~

	~~; while block~~

	~~; ?: operator~~
	~~LOCAL +8~~
	~~LDINT ; vec~~
	~~LOCAL -8~~
	~~LDINT ; ix~~
	~~INT 4 ; sizeof int~~
	~~MUL~~
	~~ADD ; vec + ix~~
	~~LDINT ; *(vec+ix) --> vec[ix]~~

	~~LOCAL -4~~
	~~LDINT ; ptr~~
	~~LDINT ; *ptr~~

	GT
	~~JZ three_false_part~~

	~~; ?: true part~~
	~~LOCAL +8~~
	~~LDINT ; vec~~
	~~LOCAL -8~~
	~~LDINT ; ix~~
	~~INT 4 ; sizeof int~~
	~~MUL~~
	~~ADD ; vec + ix~~

	~~JMP three_end~~

	~~; ?: false part~~
	~~ALIGN~~
	~~LABEL three_false_part~~

	~~LOCAL -4~~
	~~LDINT ; ptr~~

	~~; ?: end~~
	~~ALIGN~~
	~~LABEL three_end~~

	~~DUP32 ; for assignment~~
	~~LOCAL -4~~
	~~STINT ; ptr = ?: ...~~

	~~; trash expression value (used as instruction)~~
	~~TRASH 4~~

	~~; decrement ix~~
	~~LOCAL -8~~
	~~LDINT ; ix~~
	~~DUP32~~
	~~INT 1~~
	~~SUB~~
	~~LOCAL -8~~
	~~STINT ; ix = ix - 1~~
	~~TRASH 4 ; (ix-- used as instruction)~~

	~~; end while block~~
	~~JMP while_test~~

	~~; exit while cycle~~
	~~ALIGN~~
	~~LABEL while_end~~

	~~; return ptr~~
	~~LOCAL -4~~
	~~LDINT~~
	~~STFVAL32~~
	~~LEAVE~~
	~~RET~~
	</~~asm>~~
	}}

	~~== Compiling and Running ==~~

	~~To compile the Postfix code directly, [[pf2asm]] can be used:~~

	~~pf2asm traverse.pf~~
	~~yasm -felf traverse.asm~~

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

Root: /* Postfix Code */

2018-05-01T22:39:11Z

Postfix Code

← Older revision		Revision as of 22:39, 1 May 2018
Line 27:		Line 27:
	; init prt (not assignment)		; init prt (not assignment)
	LOCAL +8		LOCAL +8
	~~LOAD~~ ; vec		LDINT ; vec
	LOCAL +12		LOCAL +12
	~~LOAD~~ ; lim		LDINT ; lim
	INT 4 ; sizeof int		INT 4 ; sizeof int
	MUL		MUL
Line 38:		Line 38:
	SUB ; vec + lim - 1		SUB ; vec + lim - 1
	LOCAL -4		LOCAL -4
	~~STORE~~ ; ptr = vec + lim - 1		STINT ; ptr = vec + lim - 1

	; init ix (not assignment)		; init ix (not assignment)
	LOCAL +12		LOCAL +12
	~~LOAD~~ ; lim		LDINT ; lim
	INT 2		INT 2
	SUB		SUB
	LOCAL -8		LOCAL -8
	~~STORE~~ ; ix = lim -2		STINT ; ix = lim -2

	; while start: test		; while start: test
Line 52:		Line 52:
	LABEL while_test		LABEL while_test
	LOCAL -8		LOCAL -8
	~~LOAD~~		LDINT
	INT 0		INT 0
	GE ; ix >= 0		GE ; ix >= 0
Line 61:		Line 61:
	; ?: operator		; ?: operator
	LOCAL +8		LOCAL +8
	~~LOAD~~ ; vec		LDINT ; vec
	LOCAL -8		LOCAL -8
	~~LOAD~~ ; ix		LDINT ; ix
	INT 4 ; sizeof int		INT 4 ; sizeof int
	MUL		MUL
	ADD ; vec + ix		ADD ; vec + ix
	~~LOAD~~ ; *(vec+ix) --> vec[ix]		LDINT ; *(vec+ix) --> vec[ix]

	LOCAL -4		LOCAL -4
	~~LOAD~~ ; ptr		LDINT ; ptr
	~~LOAD~~ ; *ptr		LDINT ; *ptr

	GT		GT
Line 78:		Line 78:
	; ?: true part		; ?: true part
	LOCAL +8		LOCAL +8
	~~LOAD~~ ; vec		LDINT ; vec
	LOCAL -8		LOCAL -8
	~~LOAD~~ ; ix		LDINT ; ix
	INT 4 ; sizeof int		INT 4 ; sizeof int
	MUL		MUL
Line 92:		Line 92:

	LOCAL -4		LOCAL -4
	~~LOAD~~ ; ptr		LDINT ; ptr

	; ?: end		; ?: end
Line 98:		Line 98:
	LABEL three_end		LABEL three_end

	~~DUP~~ ; for assignment		DUP32 ; for assignment
	LOCAL -4		LOCAL -4
	~~STORE~~ ; ptr = ?: ...		STINT ; ptr = ?: ...

	; trash expression value (used as instruction)		; trash expression value (used as instruction)
Line 107:		Line 107:
	; decrement ix		; decrement ix
	LOCAL -8		LOCAL -8
	~~LOAD~~ ; ix		LDINT ; ix
	~~DUP~~		DUP32
	INT 1		INT 1
	SUB		SUB
	LOCAL -8		LOCAL -8
	~~STORE~~ ; ix = ix - 1		STINT ; ix = ix - 1
	TRASH 4 ; (ix-- used as instruction)		TRASH 4 ; (ix-- used as instruction)

Line 124:		Line 124:
	; return ptr		; return ptr
	LOCAL -4		LOCAL -4
	~~LOAD~~		LDINT
	~~POP~~		STFVAL32
	LEAVE		LEAVE
	RET		RET

Root: /* Postfix Code */

2017-05-09T07:33:07Z

Postfix Code

← Older revision		Revision as of 07:33, 9 May 2017
Line 17:		Line 17:

	The Postfix code for the above function is as follows:		The Postfix code for the above function is as follows:
			{{CollapsedCode\|Postfix code\|
	<asm>		<asm>
	TEXT		TEXT
Line 129:		Line 129:
	RET		RET
	</asm>		</asm>
			}}

	== Compiling and Running ==		== Compiling and Running ==

Root: /* Postfix Code */

2017-05-09T07:17:03Z

Postfix Code

← Older revision		Revision as of 07:17, 9 May 2017
Line 26:		Line 26:

	; init prt (not assignment)		; init prt (not assignment)
	~~LOCV~~ +8 ; vec		LOCAL +8
	~~LOCV~~ +12 ; lim		LOAD ; vec
			LOCAL +12
			LOAD ; lim
	INT 4 ; sizeof int		INT 4 ; sizeof int
	MUL		MUL
Line 35:		Line 37:
	MUL		MUL
	SUB ; vec + lim - 1		SUB ; vec + lim - 1
	~~LOCA~~ -4 ; ptr = vec + lim - 1		LOCAL -4
			STORE ; ptr = vec + lim - 1

	; init ix (not assignment)		; init ix (not assignment)
	~~LOCV~~ +12 ; lim		LOCAL +12
			LOAD ; lim
	INT 2		INT 2
	SUB		SUB
	~~LOCA~~ -8 ; ix = lim -2		LOCAL -8
			STORE ; ix = lim -2

	; while start: test		; while start: test
	ALIGN		ALIGN
	LABEL while_test		LABEL while_test
	~~LOCV~~ -8		LOCAL -8
			LOAD
	INT 0		INT 0
	GE ; ix >= 0		GE ; ix >= 0
Line 54:		Line 60:

	; ?: operator		; ?: operator
	~~LOCV~~ +8 ; vec		LOCAL +8
	~~LOCV~~ -8 ; ix		LOAD ; vec
			LOCAL -8
			LOAD ; ix
	INT 4 ; sizeof int		INT 4 ; sizeof int
	MUL		MUL
Line 61:		Line 69:
	LOAD ; *(vec+ix) --> vec[ix]		LOAD ; *(vec+ix) --> vec[ix]

	~~LOCV~~ -4 ; ptr		LOCAL -4
	LOAD ; *ptr		LOAD ; ptr
			LOAD ; *ptr

	GT		GT
Line 68:		Line 77:

	; ?: true part		; ?: true part
	~~LOCV~~ +8 ; vec		LOCAL +8
	~~LOCV~~ -8 ; ix		LOAD ; vec
			LOCAL -8
			LOAD ; ix
	INT 4 ; sizeof int		INT 4 ; sizeof int
	MUL		MUL
Line 80:		Line 91:
	LABEL three_false_part		LABEL three_false_part

	~~LOCV~~ -4 ; ptr		LOCAL -4
			LOAD ; ptr

	; ?: end		; ?: end
Line 87:		Line 99:

	DUP ; for assignment		DUP ; for assignment
	~~LOCA~~ -4 ; ptr = ?: ...		LOCAL -4
			STORE ; ptr = ?: ...

	; trash expression value (used as instruction)		; trash expression value (used as instruction)
Line 93:		Line 106:

	; decrement ix		; decrement ix
	~~LOCV~~ -8 ; ix		LOCAL -8
			LOAD ; ix
	DUP		DUP
	INT 1		INT 1
	SUB		SUB
	~~LOCA~~ -8 ; ix = ix - 1		LOCAL -8
			STORE ; ix = ix - 1
	TRASH 4 ; (ix-- used as instruction)		TRASH 4 ; (ix-- used as instruction)

Line 108:		Line 123:

	; return ptr		; return ptr
	~~LOCV~~ -4		LOCAL -4
			LOAD
	POP		POP
	LEAVE		LEAVE

Root: /* Compiling and Running */

2017-02-16T09:55:46Z

Compiling and Running

← Older revision		Revision as of 09:55, 16 February 2017
Line 118:		Line 118:
	To compile the Postfix code directly, [[pf2asm]] can be used:		To compile the Postfix code directly, [[pf2asm]] can be used:

	* pf2asm traverse.pf		pf2asm traverse.pf
	* yasm -felf traverse.asm		yasm -felf traverse.asm

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

Root at 14:30, 6 April 2015

2015-04-06T14:30:46Z

← Older revision		Revision as of 14:30, 6 April 2015
Line 121:		Line 121:
	* yasm -felf traverse.asm		* yasm -felf traverse.asm

	[[category:~~Compilers~~]]		[[category:Compiladores]]
	[[category:~~Teaching~~]]		[[category:Ensino]]

Root: /* Postfix Code */

2013-05-13T15:15:25Z

Postfix Code

← Older revision		Revision as of 15:15, 13 May 2013
Line 77:		Line 77:

	; ?: false part		; ?: false part
			ALIGN
			LABEL three_false_part

	LOCV -4 ; ptr		LOCV -4 ; ptr

Root: Created page with "== The Original Code == Consider the following C function: int traverse(int vec[], int lim) { int ptr = vec + lim - 1, ix = lim - 2; while (ix >= 0) { ptr = (vec[..."

2011-05-21T15:52:45Z

Created page with "== The Original Code == Consider the following C function: <c> int *traverse(int vec[], int lim) { int *ptr = vec + lim - 1, ix = lim - 2; while (ix >= 0) { ptr = (vec[..."

New page

== The Original Code ==

Consider the following C function:

<c>
int *traverse(int vec[], int lim) {
int *ptr = vec + lim - 1, ix = lim - 2;
while (ix >= 0) {
ptr = (vec[ix] > *ptr) ? vec + ix : ptr;
ix--;
}
return ptr;
}
</c>

== Postfix Code ==

The Postfix code for the above function is as follows:

<asm>
TEXT
ALIGN
GLOBL traverse, FUNC
LABEL traverse
ENTER 8 ; ptr@-4 ix@-8 vec@+8 lim@+12

; init prt (not assignment)
LOCV +8 ; vec
LOCV +12 ; lim
INT 4 ; sizeof int
MUL
ADD ; vec + lim
INT 1
INT 4 ; sizeof int
MUL
SUB ; vec + lim - 1
LOCA -4 ; ptr = vec + lim - 1

; init ix (not assignment)
LOCV +12 ; lim
INT 2
SUB
LOCA -8 ; ix = lim -2

; while start: test
ALIGN
LABEL while_test
LOCV -8
INT 0
GE ; ix >= 0
JZ while_end

; while block

; ?: operator
LOCV +8 ; vec
LOCV -8 ; ix
INT 4 ; sizeof int
MUL
ADD ; vec + ix
LOAD ; *(vec+ix) --> vec[ix]

LOCV -4 ; ptr
LOAD ; *ptr

GT
JZ three_false_part

; ?: true part
LOCV +8 ; vec
LOCV -8 ; ix
INT 4 ; sizeof int
MUL
ADD ; vec + ix

JMP three_end

; ?: false part
LOCV -4 ; ptr

; ?: end
ALIGN
LABEL three_end

DUP ; for assignment
LOCA -4 ; ptr = ?: ...

; trash expression value (used as instruction)
TRASH 4

; decrement ix
LOCV -8 ; ix
DUP
INT 1
SUB
LOCA -8 ; ix = ix - 1
TRASH 4 ; (ix-- used as instruction)

; end while block
JMP while_test

; exit while cycle
ALIGN
LABEL while_end

; return ptr
LOCV -4
POP
LEAVE
RET
</asm>

== Compiling and Running ==

To compile the Postfix code directly, [[pf2asm]] can be used:

* pf2asm traverse.pf
* yasm -felf traverse.asm

[[category:Compilers]]
[[category:Teaching]]

Code Generation/Exercise 7 - Revision history

Root: Redirected page to ist:Code Generation/Exercise 7

Root: /* Postfix Code */

Root: /* Postfix Code */

Root: /* Postfix Code */

Root: /* Compiling and Running */

Root at 14:30, 6 April 2015

Root: /* Postfix Code */

Root: Created page with "== The Original Code == Consider the following C function: int *traverse(int vec[], int lim) { int *ptr = vec + lim - 1, ix = lim - 2; while (ix >= 0) { ptr = (vec[..."

Root: Created page with "== The Original Code == Consider the following C function: int traverse(int vec[], int lim) { int ptr = vec + lim - 1, ix = lim - 2; while (ix >= 0) { ptr = (vec[..."