Code Generation/Exercise 12: Difference between revisions

Revision as of 13:48, 22 June 2016

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

<cpp> static double v[] = { 1.41, 2.71, 3.14 }; int f(double v[], int s, double d) {

 for (int i = 0; i < s; i++)
   if (v[i] == d) return i;
 return -1;

} int main() {

 return f(v, 3, 3.14);

} </cpp>

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 "bloco básico número".

Vector "v"
{{{2}}}

Função "f"
{{{2}}}

Função principal
{{{2}}}

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

Para criar o executável:

Para executar o programa:

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

@@ Line 5: / Line 5: @@
 <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>