Code Generation/Exercise 10: Difference between revisions

Revision as of 10:57, 17 May 2017

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;
   if (v[i] > 2 * i) v[i] = limit;
 }
 return *v;

} </cpp>

O código Postfix correspondente à função é 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".

Postfix code
{{{2}}}

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

pf2asm forall.pf
yasm -felf forall.asm

@@ Line 31: / Line 31: @@
 RODATA
 ALIGN
-LABEL limit
+LABEL limit ; not really this name
 CONST 1024
 ; done - go back to code segment
@@ Line 43: / Line 43: @@
 ; for-loop test
+LABEL fortest
 LOCAL -4
 LOAD ; i
@@ Line 100: / Line 101: @@
 INT 0
 GT
+; jump to if end
+JZ ifend
 ; BEGIN if block
@@ Line 125: / Line 129: @@
 ; END if block
+LABEL ifend
+; FOR increment
+LABEL forincr
+; increment expression
+LOCAL -4 ; &i
+LOAD ; i
+DUP
+INT 1
+ADD
+LOCAL -4 ; &i
+STORE
+TRASH 4
 ; END for-loop body
+JMP fortest
+LABEL forend
 ; return *v