Wiki**3 - Recent changes [en]

Compiladores/Pautas 2025-2026/Pauta do Projecto: Entrega "zero"

Root — Fri, 22 May 2026 16:07:07 GMT

← Older revision		Revision as of 16:07, 22 May 2026
Line 7:		Line 7:

	== Prazo de Revisão ==		== Prazo de Revisão ==
	~~<!--~~'''<font color="brown">PAUTA FECHADA</font>'''~~-->~~		'''<font color="brown">PAUTA FECHADA</font>'''
	<!--'''<font color="red">PAUTA EM ACTUALIZAÇÃO</font>'''-->		<!--'''<font color="red">PAUTA EM ACTUALIZAÇÃO</font>'''-->

Compiladores/Pautas 2025-2026

Root — Fri, 22 May 2026 16:06:53 GMT

Pautas do Projecto (época normal)

← Older revision		Revision as of 16:06, 22 May 2026
Line 12:		Line 12:
	== Pautas do Projecto (época normal) ==		== Pautas do Projecto (época normal) ==

	* {{~~PautaAberta~~}} [[Compiladores/Pautas 2025-2026/Pauta do Projecto: Entrega "zero"\|Pauta do Projecto: Entrega "zero"]]		* {{PautaFechada}} [[Compiladores/Pautas 2025-2026/Pauta do Projecto: Entrega "zero"\|Pauta do Projecto: Entrega "zero"]]
	* {{PautaAberta}} [[Compiladores/Pautas 2025-2026/Pauta do Projecto: Entrega Intermédia\|Pauta do Projecto: Entrega Intermédia]]		* {{PautaAberta}} [[Compiladores/Pautas 2025-2026/Pauta do Projecto: Entrega Intermédia\|Pauta do Projecto: Entrega Intermédia]]
	* {{ProvaPorRealizar}} [[Compiladores/Pautas 2025-2026/Pauta do Projecto: Entrega Final\|Pauta do Projecto: Entrega Final]]		* {{ProvaPorRealizar}} [[Compiladores/Pautas 2025-2026/Pauta do Projecto: Entrega Final\|Pauta do Projecto: Entrega Final]]

Compiladores/Projecto de Compiladores/Projecto 2025-2026/Manual de Referência da Linguagem P6

Root — Thu, 21 May 2026 07:54:45 GMT

Gramática

← Older revision		Revision as of 07:54, 21 May 2026
Line 147:		Line 147:
	! style="width: 50px; font-weight: normal;" \|<math>\rightarrow</math>		! style="width: 50px; font-weight: normal;" \|<math>\rightarrow</math>
	\| [ ''qualificador'' ] [ '''auto''' ] ''identificador'' '''=''' ''expressão'' ''';'''		\| [ ''qualificador'' ] [ '''auto''' ] ''identificador'' '''=''' ''expressão'' ''';'''
			\|-
			! style="width: 50px; font-weight: normal;" \|
			! style="width: 50px; font-weight: normal;" \|<math>\rightarrow</math>
			\| ''função''
	\|-		\|-
	! style="width: 150px; font-weight: normal;" \| ''programa-principal''		! style="width: 150px; font-weight: normal;" \| ''programa-principal''

Code Generation

Root — Mon, 18 May 2026 15:26:47 GMT

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 ==

Postfix Reference Guide

Root — Mon, 18 May 2026 13:58:46 GMT

Comparison operators for real numbers

← Older revision		Revision as of 13:58, 18 May 2026
(4 intermediate revisions by the same user not shown)
Line 111:		Line 111:
	! class="pfrow" \|		! class="pfrow" \|
	! class="pfdesc" \| Declares a static double precision (64-bit) floating point '''value'''		! class="pfdesc" \| Declares a static double precision (64-bit) floating point '''value'''
			\|-
			! class="pfrow" \| SPOSIT3 value
			! class="pfrow" \|
			! class="pfrow" \|
			! class="pfdesc" \| Declares a static ternary posit real '''value''' (128 bits, 80 trits)
	\|-		\|-
	! class="pfrow" \| STAKUM3 value		! class="pfrow" \| STAKUM3 value
Line 236:		Line 241:
	! class="pfrow" \| $ [addr]		! class="pfrow" \| $ [addr]
	! class="pfdesc" \| Loads 8 bytes (double)		! class="pfdesc" \| Loads 8 bytes (double)
			\|-
			! class="pfrow" \| LDPOSIT3
			! class="pfrow" \| $ addr
			! class="pfrow" \| $ [addr]
			! class="pfdesc" \| Loads 16 bytes (80-trit ternary real)
	\|-		\|-
	! class="pfrow" \| LDTAKUM3		! class="pfrow" \| LDTAKUM3
Line 277:		Line 287:
	! class="pfrow" \| $		! class="pfrow" \| $
	! class="pfdesc" \| Stores 8 bytes (double)		! class="pfdesc" \| Stores 8 bytes (double)
			\|-
			! class="pfrow" \| STPOSIT3
			! class="pfrow" \| $ val addr
			! class="pfrow" \| $
			! class="pfdesc" \| Stores 16 bytes (80-trit ternary real)
	\|-		\|-
	! class="pfrow" \| STTAKUM3		! class="pfrow" \| STTAKUM3
Line 321:		Line 336:
	! class="pfrow" \| $ value		! class="pfrow" \| $ value
	! class="pfdesc" \| Pushes an 8-byte float '''value''' (64 bits, double precision)		! class="pfdesc" \| Pushes an 8-byte float '''value''' (64 bits, double precision)
			\|-
			! class="pfrow" \| POSIT3 value
			! class="pfrow" \| $
			! class="pfrow" \| $ value
			! class="pfdesc" \| Pushes a ternary real '''value''' (128 bits, 80 trits)
	\|-		\|-
	! class="pfrow" \| TAKUM3 value		! class="pfrow" \| TAKUM3 value
Line 678:		Line 698:
	\|}		\|}

	=== Comparison operators for real numbers ===		=== Comparison operators for double precision binary floating point real numbers ===

	The DCMP operator compares two double precision binary floating point numbers (64 bits). The result is a 32-bit binary integer value: less than 0, if the first operand is lower than the second; 0, if they are equal; greater than 0, otherwise. <!--P3CMP (for ternary posits) and T3CMP (for ternary takums) work in a similar way. Note that posits and takums are natively compared using Kleene logic (the operators below translate that into Boolean logic).-->		The DCMP operator compares two double precision binary floating point numbers (64 bits). The result is a 32-bit binary integer value: less than 0, if the first operand is lower than the second; 0, if they are equal; greater than 0, otherwise. <!--P3CMP (for ternary posits) and T3CMP (for ternary takums) work in a similar way. Note that posits and takums are natively compared using Kleene logic (the operators below translate that into Boolean logic).-->

Template:PRJCOMandatory20252026

Root — Sat, 16 May 2026 17:49:34 GMT

← Older revision		Revision as of 17:49, 16 May 2026
Line 1:		Line 1:
	{{CDKRTS\|CDK21\|libcdk21-~~202605092235~~.tar.bz2\|RTS7\|librts7-202605092235.tar.bz2}}		{{CDKRTS\|CDK21\|libcdk21-202605161833.tar.bz2\|RTS7\|librts7-202605092235.tar.bz2}}

File:Libcdk21-202605161833.tar.bz2

Root — Sat, 16 May 2026 17:49:12 GMT

Root uploaded File:Libcdk21-202605161833.tar.bz2

New page

Compiladores/Projecto de Compiladores/Material de Apoio ao Desenvolvimento

Root — Sat, 16 May 2026 17:48:58 GMT

Material de Apoio

← Older revision		Revision as of 17:48, 16 May 2026
Line 8:		Line 8:
	O código presente nas bibliotecas de apoio (já instalado na máquina virtual) ao desenvolvimento do projecto é de uso obrigatório:		O código presente nas bibliotecas de apoio (já instalado na máquina virtual) ao desenvolvimento do projecto é de uso obrigatório:

	* CDK [[media:libcdk21-~~202605092235~~.tar.bz2]] - código de base para o desenvolvimento do compilador		* CDK [[media:libcdk21-202605161833.tar.bz2]] - código de base para o desenvolvimento do compilador
	* RTS [[media:librts7-202605092235.tar.bz2]] - código de base para os programas gerados pelo compilador (runtime)		* RTS [[media:librts7-202605092235.tar.bz2]] - código de base para os programas gerados pelo compilador (runtime)

Compiladores/Projecto de Compiladores/Projecto 2025-2026/Manual de Referência da Linguagem P6

Root — Sat, 16 May 2026 17:02:56 GMT

Exemplos e Testes

← Older revision		Revision as of 17:02, 16 May 2026
(One intermediate revision by the same user not shown)
Line 530:		Line 530:
	Definição da função '''factorial''' no ficheiro '''factorial.p6''':		Definição da função '''factorial''' no ficheiro '''factorial.p6''':

	<~~source~~ lang="text">		<syntaxhighlight lang="text">
	public factorial(int n) -> int {		public factorial(int n) -> int {
	if (n > 1)		if (n > 1)
Line 536:		Line 536:
	else		else
	return 1;		return 1;
	};		}
	</~~source~~>		</syntaxhighlight>

	Exemplo da utilização da função '''factorial''' no ficheiro '''main.p6''':		Exemplo da utilização da função '''factorial''' no ficheiro '''main.p6''':

	<~~source~~ lang="text">		<syntaxhighlight lang="text">
	// external builtin functions (non-P6)		// external builtin functions (non-P6)
	extern int<> argc;		extern int<> argc;
Line 561:		Line 561:
	return 0;		return 0;
	end		end
	</~~source~~>		</syntaxhighlight>

	Como compilar:		Como compilar:
	<~~source~~ lang="text">		<syntaxhighlight lang="text">
	p6 --target asm factorial.p6		p6 --target asm factorial.p6
	p6 --target asm main.p6		p6 --target asm main.p6
Line 570:		Line 570:
	yasm -felf32 main.asm		yasm -felf32 main.asm
	ld -melf_i386 -o main factorial.o main.o -lrts		ld -melf_i386 -o main factorial.o main.o -lrts
	</~~source~~>		</syntaxhighlight>

	= Omissões e Erros =		= Omissões e Erros =

Compiladores/Pautas 2025-2026

Root — Fri, 15 May 2026 13:20:27 GMT

Pautas do Projecto (época normal)

← Older revision		Revision as of 13:20, 15 May 2026
Line 13:		Line 13:

	* {{PautaAberta}} [[Compiladores/Pautas 2025-2026/Pauta do Projecto: Entrega "zero"\|Pauta do Projecto: Entrega "zero"]]		* {{PautaAberta}} [[Compiladores/Pautas 2025-2026/Pauta do Projecto: Entrega "zero"\|Pauta do Projecto: Entrega "zero"]]
	* {{~~ProvaPorRealizar~~}} [[Compiladores/Pautas 2025-2026/Pauta do Projecto: Entrega Intermédia\|Pauta do Projecto: Entrega Intermédia]]		* {{PautaAberta}} [[Compiladores/Pautas 2025-2026/Pauta do Projecto: Entrega Intermédia\|Pauta do Projecto: Entrega Intermédia]]
	* {{ProvaPorRealizar}} [[Compiladores/Pautas 2025-2026/Pauta do Projecto: Entrega Final\|Pauta do Projecto: Entrega Final]]		* {{ProvaPorRealizar}} [[Compiladores/Pautas 2025-2026/Pauta do Projecto: Entrega Final\|Pauta do Projecto: Entrega Final]]
	* [[Compiladores/Pautas 2025-2026/Pauta Global do Projecto\|Pauta Global do Projecto]]		* [[Compiladores/Pautas 2025-2026/Pauta Global do Projecto\|Pauta Global do Projecto]]

Compiladores/Pautas 2025-2026/Pauta do Projecto: Entrega Intermédia

Root — Fri, 15 May 2026 11:16:19 GMT

Critérios de Avaliação

Semantic Analysis/The Tiny language: semantic analysis example and C generation

Root — Thu, 14 May 2026 17:36:16 GMT

← Older revision		Revision as of 17:36, 14 May 2026
(6 intermediate revisions by the same user not shown)
Line 5:		Line 5:

	O segundo objectivo é escrever os métodos de o tradutor para C (padrão de desenho Visitor) a árvore sintáctica anteriormente obtida. Esta tradução implica que os símbolos encontrados sejam recordados, para verificar futuras utilizações. Para tal, a classe '''tiny::symbol''' (que representa cada símbolo; esquematizado aqui e que se baseia no símbolo do compilador Simple) e a classe '''cdk::symbol_table''' serão utilizadas.		O segundo objectivo é escrever os métodos de o tradutor para C (padrão de desenho Visitor) a árvore sintáctica anteriormente obtida. Esta tradução implica que os símbolos encontrados sejam recordados, para verificar futuras utilizações. Para tal, a classe '''tiny::symbol''' (que representa cada símbolo; esquematizado aqui e que se baseia no símbolo do compilador Simple) e a classe '''cdk::symbol_table''' serão utilizadas.
	<~~source~~ lang="text">		<syntaxhighlight lang="text">
	prog → decls exprs '.'		prog → decls exprs '.'
	decls → ε \| decls decl ';'		decls → ε \| decls decl ';'
Line 12:		Line 12:
	exprs → expr \| exprs ',' expr		exprs → expr \| exprs ',' expr
	expr → tINTEGER \| tID \| tID '=' expr \| expr '+' expr \| tWRITE expr		expr → tINTEGER \| tID \| tID '=' expr \| expr '+' expr \| tWRITE expr
	</~~source~~>		</syntaxhighlight>

	== Gramática e Criação de Nós da Árvore Sintáctica Abstracta ==		== Gramática e Criação de Nós da Árvore Sintáctica Abstracta ==
Line 22:		Line 22:
	Completing (and, possibly, correcting) the following code, so that it runs, is left as an exercise.		Completing (and, possibly, correcting) the following code, so that it runs, is left as an exercise.
	{{CollapsedCode\|File tiny.y\|		{{CollapsedCode\|File tiny.y\|
	<~~source~~ lang="c++">		<syntaxhighlight lang="c++">
	%{		%{
	#include <algorithm>		#include <algorithm>
Line 81:		Line 81:
	\| tWRITE expr { $$ = new write_node(LINE, $2); }		\| tWRITE expr { $$ = new write_node(LINE, $2); }
	;		;
	</~~source~~>		</syntaxhighlight>
	}}		}}

Line 95:		Line 95:

	{{CollapsedCode\|File symbol.h\|		{{CollapsedCode\|File symbol.h\|
	<~~source~~ lang="c++">		<syntaxhighlight lang="c++">
	#~~ifndef __TINY_TARGETS_SYMBOL_H__~~		#pragma once
	~~#define __TINY_TARGETS_SYMBOL_H__~~

	#include <string>		#include <string>
	#include <memory>		#include <memory>
Line 124:		Line 122:

	} // tiny		} // tiny
			</syntaxhighlight>
	~~#endif~~
	</~~source~~>
	}}		}}

Line 135:		Line 131:
	=== The ASSERT_UNSPEC macro ===		=== The ASSERT_UNSPEC macro ===
	The type checker avoids visiting the same nodes by testing (initial assertion) whether it has done so before.		The type checker avoids visiting the same nodes by testing (initial assertion) whether it has done so before.
	<~~source~~ lang="c">		<syntaxhighlight lang="c">
	#define ASSERT_UNSPEC { \		#define ASSERT_UNSPEC { \
	if (node->type() != nullptr && !node->is_typed(cdk::TYPE_UNSPEC)) \		if (node->type() != nullptr && !node->is_typed(cdk::TYPE_UNSPEC)) \
	return; \		return; \
	}		}
	</~~source~~>		</syntaxhighlight>

	Note that the use of this macro is restricted to visits to nodes that have a type, i.e., expressions.		Note that the use of this macro is restricted to visits to nodes that have a type, i.e., expressions.
Line 148:		Line 144:
	The code generator may use the following macros at the start of a visit method, to ensure that the expressions present in a node are safe to use, i.e., that they are semantically consistent.		The code generator may use the following macros at the start of a visit method, to ensure that the expressions present in a node are safe to use, i.e., that they are semantically consistent.

	<~~source~~ lang="c">		<syntaxhighlight lang="c">
	#define CHECK_TYPES(compiler, symtab, node) { \		#define CHECK_TYPES(compiler, symtab, node) { \
	try { \		try { \
Line 161:		Line 157:

	#define ASSERT_SAFE_EXPRESSIONS CHECK_TYPES(_compiler, _symtab, node)		#define ASSERT_SAFE_EXPRESSIONS CHECK_TYPES(_compiler, _symtab, node)
	</~~source~~>		</syntaxhighlight>

	=== The type checking visitor ===		=== The type checking visitor ===
	{{CollapsedCode\|File type_checker.cpp\|		{{CollapsedCode\|File type_checker.cpp\|
	<~~source~~ lang="c++">		<syntaxhighlight lang="c++">
	void tiny::type_checker::do_declaration_node(declaration_node *const node, int lvl) {		void tiny::type_checker::do_declaration_node(declaration_node *const node, int lvl) {
	std::string &id = node->identifier();		std::string &id = node->identifier();
Line 229:		Line 225:
	node->type(cdk::primitive_type::create(4, cdk::TYPE_INT));		node->type(cdk::primitive_type::create(4, cdk::TYPE_INT));
	}		}
	</~~source~~>		</syntaxhighlight>
	}}		}}

Line 238:		Line 234:
	=== The C code generator ===		=== The C code generator ===
	{{CollapsedCode\|File c_writer.cpp\|		{{CollapsedCode\|File c_writer.cpp\|
	<~~source~~ lang="c++">		<syntaxhighlight lang="c++">
	void tiny::c_writer::do_program_node(program_node *const node, int lvl) {		void tiny::c_writer::do_program_node(program_node *const node, int lvl) {
	os() << "int main() {\n";		os() << "int main() {\n";
Line 308:		Line 304:
	}		}
	}		}
	</~~source~~>		</syntaxhighlight>
	}}		}}

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

Semantic Analysis

Root — Thu, 14 May 2026 17:32:28 GMT

Class cdk::tensor_type

Show changes

File:XYc.jpg

Root — Mon, 11 May 2026 15:27:29 GMT

Root uploaded a new version of File:XYc.jpg

New page

File:RXb2.jpg

Root — Mon, 11 May 2026 15:18:59 GMT

Root uploaded a new version of File:RXb2.jpg

New page

File:RXb1.jpg

Root — Mon, 11 May 2026 15:10:53 GMT

Root uploaded a new version of File:RXb1.jpg

New page

File:AM2.jpg

Root — Mon, 11 May 2026 14:46:03 GMT

Root uploaded a new version of File:AM2.jpg

New page

File:AM1.jpg

Root — Mon, 11 May 2026 14:45:21 GMT

Root uploaded a new version of File:AM1.jpg

New page

Bottom-Up Parsing/Exercise 14: LALR(1)

Root — Mon, 11 May 2026 13:35:17 GMT

Solução

← Older revision		Revision as of 13:35, 11 May 2026
Line 18:		Line 18:
	{{CollapsedCode\|Solução completa\|		{{CollapsedCode\|Solução completa\|
	[[Image:Mzx1.jpg\|768px]]		[[Image:Mzx1.jpg\|768px]]
	~~[[Image:Mzx2.jpg\|768px]]~~
	}}		}}

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

File:Mzx1.jpg

Root — Mon, 11 May 2026 13:32:06 GMT

Root uploaded a new version of File:Mzx1.jpg

New page

File:Librts7-202605092235.tar.bz2

Root — Sat, 09 May 2026 21:48:22 GMT

Root uploaded File:Librts7-202605092235.tar.bz2

New page

Compiladores/Projecto de Compiladores/Material de Apoio ao Desenvolvimento

Root — Sat, 09 May 2026 21:48:07 GMT

← Older revision		Revision as of 21:48, 9 May 2026
Line 8:		Line 8:
	O código presente nas bibliotecas de apoio (já instalado na máquina virtual) ao desenvolvimento do projecto é de uso obrigatório:		O código presente nas bibliotecas de apoio (já instalado na máquina virtual) ao desenvolvimento do projecto é de uso obrigatório:

	* CDK [[media:libcdk21-~~202604232308~~.tar.bz2]] - código de base para o desenvolvimento do compilador		* CDK [[media:libcdk21-202605092235.tar.bz2]] - código de base para o desenvolvimento do compilador
	* RTS [[media:librts7-~~202604232308~~.tar.bz2]] - código de base para os programas gerados pelo compilador (runtime)		* RTS [[media:librts7-202605092235.tar.bz2]] - código de base para os programas gerados pelo compilador (runtime)

	{{CVSCode\|Notar que o [[Compiladores/Projecto de Compiladores/Repositório GIT\|repositório GIT]] já contém uma versão do projecto a desenvolver. Isto significa que ''antes'' de se começar a programar, o projecto deve ser obtido a partir do repositório.}}		{{CVSCode\|Notar que o [[Compiladores/Projecto de Compiladores/Repositório GIT\|repositório GIT]] já contém uma versão do projecto a desenvolver. Isto significa que ''antes'' de se começar a programar, o projecto deve ser obtido a partir do repositório.}}

File:Libcdk21-202605092235.tar.bz2

Root — Sat, 09 May 2026 21:47:36 GMT

Root uploaded File:Libcdk21-202605092235.tar.bz2

New page

Template:PRJCOMandatory20252026

Root — Sat, 09 May 2026 21:45:07 GMT

← Older revision		Revision as of 21:45, 9 May 2026
Line 1:		Line 1:
	{{CDKRTS\|CDK21\|libcdk21-~~202604232308~~.tar.bz2\|RTS7\|librts7-~~202604232308~~.tar.bz2}}		{{CDKRTS\|CDK21\|libcdk21-202605092235.tar.bz2\|RTS7\|librts7-202605092235.tar.bz2}}

Compiladores/Projecto de Compiladores/Projecto 2025-2026/Manual de Referência da Linguagem P6

Root — Thu, 07 May 2026 15:44:02 GMT

Declaração

← Older revision		Revision as of 15:44, 7 May 2026
Line 302:		Line 302:
	As funções têm um nome que é também o endereço dessa função. O tipo de retorno de uma função que não produz valores de retorno é '''void'''.		As funções têm um nome que é também o endereço dessa função. O tipo de retorno de uma função que não produz valores de retorno é '''void'''.

	As funções que recebam argumentos devem indicá-los no cabeçalho. Funções sem argumentos definem um cabeçalho vazio. Os qualificadores de exportação/importação '''public''' ou '''forward''' (ver símbolos globais) podem ser aplicados às funções, mas é possível aplicá-los às declarações dos argumentos de uma função. Não é possível especificar valores por omissão para os argumentos de uma função, nem para o valor de retorno.		As funções que recebam argumentos devem indicá-los no cabeçalho. Funções sem argumentos definem um cabeçalho vazio. Os qualificadores de exportação/importação '''public''' ou '''forward''' (ver símbolos globais) podem ser aplicados às funções, mas não é possível aplicá-los às declarações dos argumentos de uma função. Não é possível especificar valores por omissão para os argumentos de uma função, nem para o valor de retorno.

	A declaração de um ponteiro para uma função (ou, de forma equivalente, do seu nome) é utilizada para caracterizar um identificador exterior ou para efectuar declarações antecipadas (utilizadas para pré-declarar funções que sejam usadas antes de ser definidas, por exemplo, entre duas funções mutuamente recursivas). <!--Caso a declaração tenha corpo, define-se uma nova função.-->		A declaração de um ponteiro para uma função (ou, de forma equivalente, do seu nome) é utilizada para caracterizar um identificador exterior ou para efectuar declarações antecipadas (utilizadas para pré-declarar funções que sejam usadas antes de ser definidas, por exemplo, entre duas funções mutuamente recursivas). <!--Caso a declaração tenha corpo, define-se uma nova função.-->

Compiladores/Projecto de Compiladores/Avaliação do Projecto (Época Normal)

Root — Wed, 06 May 2026 08:22:41 GMT

Teste Prático

← Older revision		Revision as of 08:22, 6 May 2026
(2 intermediate revisions by the same user not shown)
Line 65:		Line 65:
	Não serão executados testes automáticos nesta entrega.		Não serão executados testes automáticos nesta entrega.

	Ver pormenores na pauta da avaliação da entrega intermédia.		Ver pormenores na [[Compiladores#Pautas\|pauta da avaliação da entrega intermédia]].

	'''<font color="red">A não realização da Entrega Intermédia conduz automaticamente a uma classificação de 0 (zero) na componente de avaliação relativa ao Projecto e consequente reprovação à disciplina no ano lectivo corrente. A ausência de material relevante para a entrega será considerada uma não entrega, conduzindo a reprovação.</font>'''		'''<font color="red">A não realização da Entrega Intermédia conduz automaticamente a uma classificação de 0 (zero) na componente de avaliação relativa ao Projecto e consequente reprovação à disciplina no ano lectivo corrente. A ausência de material relevante para a entrega será considerada uma não entrega, conduzindo a reprovação.</font>'''
Line 78:		Line 78:

	Os testes correspondem a uma série de programas que deverão ser compilados pelo resultado do projecto de cada grupo e cuja execução deve corresponder a um conjunto de resultados padrão.		Os testes correspondem a uma série de programas que deverão ser compilados pelo resultado do projecto de cada grupo e cuja execução deve corresponder a um conjunto de resultados padrão.

			Ver pormenores na [[Compiladores#Pautas\|pauta da avaliação da entrega final]].

	'''<font color="red">A não realização da Entrega Final conduz automaticamente a uma classificação de 0 (zero) na componente de avaliação relativa ao Projecto e consequente reprovação à disciplina no ano lectivo corrente. A ausência de material relevante para a entrega será considerada uma não entrega, conduzindo a reprovação.</font>'''		'''<font color="red">A não realização da Entrega Final conduz automaticamente a uma classificação de 0 (zero) na componente de avaliação relativa ao Projecto e consequente reprovação à disciplina no ano lectivo corrente. A ausência de material relevante para a entrega será considerada uma não entrega, conduzindo a reprovação.</font>'''
Line 96:		Line 98:
	análise semântica e geração de código.		análise semântica e geração de código.
	Cada tópico pode ser resolvido com mais ou menos profundidade (embora isso implique funcionamento possivelmente deficiente a jusante) e será avaliado independentemente.		Cada tópico pode ser resolvido com mais ou menos profundidade (embora isso implique funcionamento possivelmente deficiente a jusante) e será avaliado independentemente.

			Ver também [[Compiladores/Projecto_de_Compiladores/Teste_Prático_(Época_Normal)\|calendário do teste prático]].

	== Considerações Adicionais sobre a Avaliação do Projecto ==		== Considerações Adicionais sobre a Avaliação do Projecto ==

← Older revision		Revision as of 13:58, 18 May 2026
(4 intermediate revisions by the same user not shown)
Line 111:		Line 111:
	! class="pfrow" \|		! class="pfrow" \|
	! class="pfdesc" \| Declares a static double precision (64-bit) floating point '''value'''		! class="pfdesc" \| Declares a static double precision (64-bit) floating point '''value'''
			\|-
			! class="pfrow" \| SPOSIT3 value
			! class="pfrow" \|
			! class="pfrow" \|
			! class="pfdesc" \| Declares a static ternary posit real '''value''' (128 bits, 80 trits)
	\|-		\|-
	! class="pfrow" \| STAKUM3 value		! class="pfrow" \| STAKUM3 value
Line 236:		Line 241:
	! class="pfrow" \| $ [addr]		! class="pfrow" \| $ [addr]
	! class="pfdesc" \| Loads 8 bytes (double)		! class="pfdesc" \| Loads 8 bytes (double)
			\|-
			! class="pfrow" \| LDPOSIT3
			! class="pfrow" \| $ addr
			! class="pfrow" \| $ [addr]
			! class="pfdesc" \| Loads 16 bytes (80-trit ternary real)
	\|-		\|-
	! class="pfrow" \| LDTAKUM3		! class="pfrow" \| LDTAKUM3
Line 277:		Line 287:
	! class="pfrow" \| $		! class="pfrow" \| $
	! class="pfdesc" \| Stores 8 bytes (double)		! class="pfdesc" \| Stores 8 bytes (double)
			\|-
			! class="pfrow" \| STPOSIT3
			! class="pfrow" \| $ val addr
			! class="pfrow" \| $
			! class="pfdesc" \| Stores 16 bytes (80-trit ternary real)
	\|-		\|-
	! class="pfrow" \| STTAKUM3		! class="pfrow" \| STTAKUM3
Line 321:		Line 336:
	! class="pfrow" \| $ value		! class="pfrow" \| $ value
	! class="pfdesc" \| Pushes an 8-byte float '''value''' (64 bits, double precision)		! class="pfdesc" \| Pushes an 8-byte float '''value''' (64 bits, double precision)
			\|-
			! class="pfrow" \| POSIT3 value
			! class="pfrow" \| $
			! class="pfrow" \| $ value
			! class="pfdesc" \| Pushes a ternary real '''value''' (128 bits, 80 trits)
	\|-		\|-
	! class="pfrow" \| TAKUM3 value		! class="pfrow" \| TAKUM3 value
Line 678:		Line 698:
	\|}		\|}

	=== Comparison operators for real numbers ===		=== Comparison operators for double precision binary floating point real numbers ===

	The DCMP operator compares two double precision binary floating point numbers (64 bits). The result is a 32-bit binary integer value: less than 0, if the first operand is lower than the second; 0, if they are equal; greater than 0, otherwise. <!--P3CMP (for ternary posits) and T3CMP (for ternary takums) work in a similar way. Note that posits and takums are natively compared using Kleene logic (the operators below translate that into Boolean logic).-->		The DCMP operator compares two double precision binary floating point numbers (64 bits). The result is a 32-bit binary integer value: less than 0, if the first operand is lower than the second; 0, if they are equal; greater than 0, otherwise. <!--P3CMP (for ternary posits) and T3CMP (for ternary takums) work in a similar way. Note that posits and takums are natively compared using Kleene logic (the operators below translate that into Boolean logic).-->

← Older revision		Revision as of 13:20, 15 May 2026
Line 13:		Line 13:

	* {{PautaAberta}} [[Compiladores/Pautas 2025-2026/Pauta do Projecto: Entrega "zero"\|Pauta do Projecto: Entrega "zero"]]		* {{PautaAberta}} [[Compiladores/Pautas 2025-2026/Pauta do Projecto: Entrega "zero"\|Pauta do Projecto: Entrega "zero"]]
	* {{~~ProvaPorRealizar~~}} [[Compiladores/Pautas 2025-2026/Pauta do Projecto: Entrega Intermédia\|Pauta do Projecto: Entrega Intermédia]]		* {{PautaAberta}} [[Compiladores/Pautas 2025-2026/Pauta do Projecto: Entrega Intermédia\|Pauta do Projecto: Entrega Intermédia]]
	* {{ProvaPorRealizar}} [[Compiladores/Pautas 2025-2026/Pauta do Projecto: Entrega Final\|Pauta do Projecto: Entrega Final]]		* {{ProvaPorRealizar}} [[Compiladores/Pautas 2025-2026/Pauta do Projecto: Entrega Final\|Pauta do Projecto: Entrega Final]]
	* [[Compiladores/Pautas 2025-2026/Pauta Global do Projecto\|Pauta Global do Projecto]]		* [[Compiladores/Pautas 2025-2026/Pauta Global do Projecto\|Pauta Global do Projecto]]

← Older revision		Revision as of 11:16, 15 May 2026
(One intermediate revision by the same user not shown)
Line 43:		Line 43:

	* '''Flex (completo): 1.5 valores'''		* '''Flex (completo): 1.5 valores'''
	** Tokens correspondentes aos símbolos e palavras-chave (simples ajuste do Simple)		** Tokens correspondentes aos símbolos e palavras-chave (simples ajuste do Simple/Tritak)
	** Identificadores (simples ajuste do Simple)		** Identificadores (simples ajuste do Simple/Tritak)
	** Inteiros (a base 10 já está implementada no Simple)		** Inteiros (a base 10 já está implementada no Simple/Tritak)
	** Reais (extensão dos inteiros)		** Reais (extensão dos inteiros)
	** Strings (extensão do Simple)		** Strings (extensão do Simple/Tritak)
	** O Flex deve retornar os tokens ao byacc (sobre DEBUG, ver abaixo) -- o não retorno de tokens penaliza fortemente toda a componente Flex (ver penalizações)		** O Flex deve retornar os tokens ao byacc (sobre DEBUG, ver abaixo) -- o não retorno de tokens penaliza fortemente toda a componente Flex (ver penalizações)

	* '''Bison (completo): 1 valor'''		* '''Bison (completo): 1 valor'''
	** Regras correspondentes a literais de reais e strings (simples extensão do Simple)		** Regras correspondentes a literais de reais e strings (simples extensão do Simple/Tritak)
	** Regras correspondentes a ciclos, etc. (simples extensão e adaptação do Simple)		** Regras correspondentes a ciclos, etc. (simples extensão e adaptação do Simple/Tritak)
	** Regras correspondentes a declarações de variáveis		** Regras correspondentes a declarações de variáveis
	** Regras correspondentes a declarações/definições de funções		** Regras correspondentes a declarações/definições de funções