Code Generation/Exercise 12: Difference between revisions

Revision as of 22:57, 1 May 2018

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):

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 $?

@@ Line 29: / Line 29: @@
 ALIGN
 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>
 }}
@@ Line 58: / Line 58: @@
 LOCAL -4       ; &i
-LOAD           ; i
+LDINT           ; i
 LOCAL +12      ; &s
-LOAD           ; s
+LDINT           ; s
 LT             ; i < s
@@ Line 71: / Line 71: @@
 LOCAL +8       ; &v
-LOAD           ; v (v is a pointer)
+LDINT           ; v (v is a pointer)
 LOCAL -4       ; &i
-LOAD           ; i
+LDINT           ; i
 INT 8          ; sizeof(double)
 MUL
 ADD            ; v+1 == &v[i]
-DLOAD          ; v[i]
+LDDOUBLE          ; v[i]
 LOCAL +16      ; &d
-DLOAD          ; d
+LDDOUBLE          ; d
 DCMP
@@ Line 94: / Line 94: @@
 LOCAL -4       ; &i
-LOAD           ; i
+LDINT           ; i
-POP
+STFVAL32
 LEAVE
 RET
@@ Line 112: / Line 112: @@
 LOCAL -4      ; &i
-LOAD          ; i
+LDINT          ; i
-DUP           ; i
+DUP32           ; i
 INT 1
 ADD           ; i+1
 LOCAL -4      ; &i
-STORE         ; i = i + 1
+STINT         ; i = i + 1
 TRASH 4
@@ Line 129: / Line 129: @@
 INT -1
-POP
+STFVAL32
 LEAVE
 RET
@@ Line 153: / Line 153: @@
 ALIGN
 LABEL _L314
-DOUBLE 3.14
+SDOUBLE 3.14
 TEXT
 ADDR _L314
-DLOAD      ; 3.14
+LDDOUBLE      ; 3.14
 INT 3
@@ Line 168: / Line 168: @@
 TRASH 16
-PUSH
+LDFVAL32
-POP
+STFVAL32
 LEAVE
 RET