Wiki**3

Problema

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

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;
}

Código Postfix (não optimizado)

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

TEXT ALIGN GLOBAL forall, FUNC LABEL forall ENTER 4 ; i@-4 v@+8 ; define "limit" (this is not an assignment) RODATA ALIGN LABEL limit ; not really this name SINT 1024 ; done - go back to code segment TEXT ALIGN ; initialize for-loop control variable (again, not an assignment) INT 0 LOCAL -4 STINT ; i = 0 ; for-loop test LABEL fortest LOCAL -4 LDINT ; i ADDR limit LDINT ; limit LT ; i<limit JZ forend ; BEGIN for-loop body ; BEGIN assignment to v[i] ; compute and promote 3*i INT 3 LOCAL -4 ; &i LDINT ; i MUL I2D DDUP ; implement assignment value ; compute &v[i] == v+i*sizeof(double) LOCAL +8 ; &v LDINT ; v LOCAL -4 ; &i LDINT ; i INT 8 ; sizeof(double) MUL ADD ; &v[i] STDOUBLE ; do assignment of double value TRASH 8 ; discard value of assignment ; END assignment to v[i] ; if condition ; compute &v[i] == v+i*sizeof(double) LOCAL +8 ; &v LDINT ; v LOCAL -4 ; &i LDINT ; i INT 8 ; sizeof(double) MUL ADD ; &v[i] LDDOUBLE ; v[i] ; compute and promote 2*i INT 2 LOCAL -4 ; &i LDINT ; i MUL I2D ; compare DCMP INT 0 GT ; jump to if end JZ ifend ; BEGIN if block ; do assignment (double) ; load and promote "limit" ADDR limit LDINT I2D DUP64 ; implement assignment value ; compute &v[i] == v+i*sizeof(double) LOCAL +8 ; &v LDINT ; v LOCAL -4 ; &i LDINT ; i INT 8 ; sizeof(double) MUL ADD ; &v[i] STDOUBLE ; do assignment of double value TRASH 8 ; discard value of assignment ; END if block LABEL ifend ; FOR increment LABEL forincr ; increment expression LOCAL -4 ; &i LDINT ; i DUP32 INT 1 ADD LOCAL -4 ; &i STINT TRASH 4 ; END for-loop body JMP fortest LABEL forend ; return *v LOCAL +8 ; &v LDINT ; v LDDOUBLE ; *v STFVAL64 LEAVE RET

Compiling and Running

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