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 =

← 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).-->