Code Generation/Exercise 12 - Revision history

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

2018-12-06T18:16:45Z

Redirected page to ist:Code Generation/Exercise 12

Root: /* Código Postfix (não optimizado) */

2018-06-20T16:44:07Z

Código Postfix (não optimizado)

← Older revision		Revision as of 16:44, 20 June 2018
Line 76:		Line 76:
	INT 8 ; sizeof(double)		INT 8 ; sizeof(double)
	MUL		MUL
	ADD ; v+1 == &v[i]		ADD ; v+i == &v[i]
	LDDOUBLE ; v[i]		LDDOUBLE ; v[i]

Root: /* Código Postfix (não optimizado) */

2018-05-01T22:57:47Z

Código Postfix (não optimizado)

← Older revision		Revision as of 22:57, 1 May 2018
Line 29:		Line 29:
	ALIGN		ALIGN
	LABEL v ; v is a vector		LABEL v ; v is a vector
	~~DOUBLE~~ 1.41		SDOUBLE 1.41
	~~DOUBLE~~ 2.72		SDOUBLE 2.72
	~~DOUBLE~~ 3.14		SDOUBLE 3.14
	</asm>		</asm>
	}}		}}
Line 58:		Line 58:

	LOCAL -4 ; &i		LOCAL -4 ; &i
	~~LOAD~~ ; i		LDINT ; i
	LOCAL +12 ; &s		LOCAL +12 ; &s
	~~LOAD~~ ; s		LDINT ; s
	LT ; i < s		LT ; i < s

Line 71:		Line 71:

	LOCAL +8 ; &v		LOCAL +8 ; &v
	~~LOAD~~ ; v (v is a pointer)		LDINT ; v (v is a pointer)
	LOCAL -4 ; &i		LOCAL -4 ; &i
	~~LOAD~~ ; i		LDINT ; i
	INT 8 ; sizeof(double)		INT 8 ; sizeof(double)
	MUL		MUL
	ADD ; v+1 == &v[i]		ADD ; v+1 == &v[i]
	~~DLOAD~~ ; v[i]		LDDOUBLE ; v[i]

	LOCAL +16 ; &d		LOCAL +16 ; &d
	~~DLOAD~~ ; d		LDDOUBLE ; d

	DCMP		DCMP
Line 94:		Line 94:

	LOCAL -4 ; &i		LOCAL -4 ; &i
	~~LOAD~~ ; i		LDINT ; i

	~~POP~~		STFVAL32
	LEAVE		LEAVE
	RET		RET
Line 112:		Line 112:

	LOCAL -4 ; &i		LOCAL -4 ; &i
	~~LOAD~~ ; i		LDINT ; i
	~~DUP~~ ; i		DUP32 ; i
	INT 1		INT 1
	ADD ; i+1		ADD ; i+1
	LOCAL -4 ; &i		LOCAL -4 ; &i
	~~STORE~~ ; i = i + 1		STINT ; i = i + 1
	TRASH 4		TRASH 4

Line 129:		Line 129:

	INT -1		INT -1
	~~POP~~		STFVAL32
	LEAVE		LEAVE
	RET		RET
Line 153:		Line 153:
	ALIGN		ALIGN
	LABEL _L314		LABEL _L314
	~~DOUBLE~~ 3.14		SDOUBLE 3.14
	TEXT		TEXT
	ADDR _L314		ADDR _L314
	~~DLOAD~~ ; 3.14		LDDOUBLE ; 3.14

	INT 3		INT 3
Line 168:		Line 168:
	TRASH 16		TRASH 16

	~~PUSH~~		LDFVAL32
	~~POP~~		STFVAL32
	LEAVE		LEAVE
	RET		RET

Root: /* Código Postfix (não optimizado) */

2017-05-18T16:33:15Z

Código Postfix (não optimizado)

← Older revision		Revision as of 16:33, 18 May 2017
Line 163:		Line 163:

	CALL f		CALL f
			;;--- BB7 --- end ---

			;;--- BB8 --- begin ---
	TRASH 16		TRASH 16

Line 170:		Line 173:
	RET		RET

	;;--- ~~BB7~~ --- end ---		;;--- BB8 --- end ---
	</asm>		</asm>
	}}		}}

Root: /* Código Postfix (não optimizado) */

2017-05-18T16:31:42Z

Código Postfix (não optimizado)

← Older revision		Revision as of 16:31, 18 May 2017
Line 153:		Line 153:
	ALIGN		ALIGN
	LABEL _L314		LABEL _L314
	DOUBLE 2.72		DOUBLE 3.14
	TEXT		TEXT
	ADDR _L314		ADDR _L314

Root: /* Compiling and Running */

2017-02-16T09:52:39Z

Compiling and Running

← Older revision		Revision as of 09:52, 16 February 2017
Line 178:		Line 178:
	Para compilar o código Postfix directamente, pode ser utilizada a ferramenta [[pf2asm]] (assumindo uma arquitectura de 32 bits):		Para compilar o código Postfix directamente, pode ser utilizada a ferramenta [[pf2asm]] (assumindo uma arquitectura de 32 bits):

	* pf2asm code.pf		pf2asm code.pf
	* yasm -felf32 code.asm		yasm -felf32 code.asm

	Para criar o executável:		Para criar o executável:

	* ld -m elf_i386 -o code code.o -L$HOME/compiladores/root/usr/lib -lrts		ld -m elf_i386 -o code code.o -L$HOME/compiladores/root/usr/lib -lrts

	Para executar o programa:		Para executar o programa:

	* ./code		./code

	Para aferir o resultado (retorno do programa ao shell -- zsh/bash assumidos como exemplos):		Para aferir o resultado (retorno do programa ao shell -- zsh/bash assumidos como exemplos):

	* echo $?		echo $?

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

Root: /* Código Postfix (não optimizado) */

2016-06-22T18:40:13Z

Código Postfix (não optimizado)

← Older revision		Revision as of 18:40, 22 June 2016
Line 39:		Line 39:
	;; function "f"		;; function "f"
	;;		;;

			;;--- BB1 --- begin ---
	TEXT		TEXT
	ALIGN		ALIGN
Line 49:		Line 51:
	INT 0		INT 0
	LOCA -4 ; int i = 0		LOCA -4 ; int i = 0

			;;--- BB1 --- end ---
			;;--- BB2 --- begin ---

	LABEL for_test		LABEL for_test
Line 59:		Line 64:

	JZ for_end		JZ for_end

			;;--- BB2 --- end ---
			;;--- BB3 --- begin ---

	;; BEGIN -- for body		;; BEGIN -- for body
Line 79:		Line 87:

	JZ if_end		JZ if_end

			;;--- BB3 --- end ---
			;;--- BB4 --- begin ---

	;; BEGIN -- if body		;; BEGIN -- if body
Line 90:		Line 101:

	;; end -- if body		;; end -- if body

			;;--- BB4 --- end ---
			;;--- BB5 --- begin ---

	LABEL if_end		LABEL if_end
Line 107:		Line 121:

	JMP for_test		JMP for_test
			;; END -- for

	;; ~~END~~ -- ~~for~~		;;--- BB5 --- end ---
			;;--- BB6 --- begin ---

	LABEL for_end		LABEL for_end
Line 116:		Line 132:
	LEAVE		LEAVE
	RET		RET

			;;--- BB6 --- end ---
	</asm>		</asm>
	}}		}}
Line 123:		Line 141:
	;; main function		;; main function
	;;		;;

			;;--- BB7 --- begin ---

	TEXT		TEXT
	ALIGN		ALIGN
Line 148:		Line 169:
	LEAVE		LEAVE
	RET		RET

			;;--- BB7 --- end ---
	</asm>		</asm>
	}}		}}

Root: /* Problema */

2016-06-22T13:48:43Z

Problema

← Older revision		Revision as of 13:48, 22 June 2016
Line 5:		Line 5:

	<cpp>		<cpp>
	double forall(double v) {		static double v[] = { 1.41, 2.71, 3.14 };
	~~const static int limit = 1024;~~		int f(double v[], int s, double d) {
	for (int i = 0; i < ~~limit~~; i++) {		for (int i = 0; i < s; i++)
	~~v[i] = 3 * i – sizeof(double);~~		if (v[i] == d) return i;
	if (v[i] ~~> 2 * i~~) v[i~~] = limit~~;		return -1;
	}		}
	return v;		int main() {
			return f(v, 3, 3.14);
	}		}
	</cpp>		</cpp>

Root: Created page with "{{TOCright}} == Problema == Considere o seguinte código C++ (assuma que ponteiros e '''int''' ocupam 32 bits e que '''double''' ocupa 64 bits). double *forall(doubl..."

2016-06-22T13:46:28Z

Created page with "{{TOCright}} == Problema == Considere o seguinte código C++ (assuma que ponteiros e '''int''' ocupam 32 bits e que '''double''' ocupa 64 bits). <cpp> double *forall(doubl..."

New page

{{TOCright}}
== Problema ==

Considere o seguinte código C++ (assuma que ponteiros e '''int''' ocupam 32 bits e que '''double''' ocupa 64 bits).

<cpp>
double *forall(double *v) {
const static int limit = 1024;
for (int i = 0; i < limit; i++) {
v[i] = 3 * i – sizeof(double);
if (v[i] > 2 * i) v[i] = limit;
}
return v;
}
</cpp>

== Código Postfix (não optimizado) ==

O código Postfix correspondente às funções é o seguinte (agradece-se a comunicação de questões relativas a este código).

No código Postfix, '''BB#''' significa "[[Optimization Topics|bloco básico]] número".

{{CollapsedCode|Vector "v"|
<asm>
;; static double v[] = { 1.41, 2.72, 3.14 };
;;
DATA
ALIGN
LABEL v ; v is a vector
DOUBLE 1.41
DOUBLE 2.72
DOUBLE 3.14
</asm>
}}

{{CollapsedCode|Função "f"|
<asm>
;; function "f"
;;
TEXT
ALIGN
GLOBAL f, FUNC
LABEL f
ENTER 4 ; i@-4, v@+8, s@+12, d@+16

;; BEGIN -- for

INT 0
LOCA -4 ; int i = 0

LABEL for_test

LOCAL -4 ; &i
LOAD ; i
LOCAL +12 ; &s
LOAD ; s
LT ; i < s

JZ for_end

;; BEGIN -- for body

LOCAL +8 ; &v
LOAD ; v (v is a pointer)
LOCAL -4 ; &i
LOAD ; i
INT 8 ; sizeof(double)
MUL
ADD ; v+1 == &v[i]
DLOAD ; v[i]

LOCAL +16 ; &d
DLOAD ; d

DCMP
INT 0
EQ ; v[i] == d

JZ if_end

;; BEGIN -- if body

LOCAL -4 ; &i
LOAD ; i

POP
LEAVE
RET

;; end -- if body

LABEL if_end

;; END -- for body

LABEL for_incr

LOCAL -4 ; &i
LOAD ; i
DUP ; i
INT 1
ADD ; i+1
LOCAL -4 ; &i
STORE ; i = i + 1
TRASH 4

JMP for_test

;; END -- for

LABEL for_end

INT -1
POP
LEAVE
RET
</asm>
}}

{{CollapsedCode|Função principal|
<asm>
;; main function
;;
TEXT
ALIGN
GLOBAL _main, FUNC
LABEL _main
START ; no local vars

RODATA
ALIGN
LABEL _L314
DOUBLE 2.72
TEXT
ADDR _L314
DLOAD ; 3.14

INT 3

ADDR v ; v == &v (v is a vector)

CALL f
TRASH 16

PUSH
POP
LEAVE
RET
</asm>
}}

== Compiling and Running ==

Para compilar o código Postfix directamente, pode ser utilizada a ferramenta [[pf2asm]] (assumindo uma arquitectura de 32 bits):

* pf2asm code.pf
* yasm -felf32 code.asm

Para criar o executável:

* ld -m elf_i386 -o code code.o -L$HOME/compiladores/root/usr/lib -lrts

Para executar o programa:

* ./code

Para aferir o resultado (retorno do programa ao shell -- zsh/bash assumidos como exemplos):

* echo $?

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