(→Código Postfix (não optimizado)) |
|||
Line 4: | Line 4: | ||
Considere o seguinte código C++ (assuma que ponteiros e '''int''' ocupam 32 bits e que '''double''' ocupa 64 bits). | Considere o seguinte código C++ (assuma que ponteiros e '''int''' ocupam 32 bits e que '''double''' ocupa 64 bits). | ||
− | < | + | <source lang="c++"> |
double forall(double *v) { | double forall(double *v) { | ||
const static int limit = 1024; | const static int limit = 1024; | ||
Line 13: | Line 13: | ||
return *v; | return *v; | ||
} | } | ||
− | </ | + | </source> |
== Código Postfix (não optimizado) == | == Código Postfix (não optimizado) == | ||
Line 21: | Line 21: | ||
No código Postfix, '''BB#''' significa "[[Optimization Topics|bloco básico]] número". | No código Postfix, '''BB#''' significa "[[Optimization Topics|bloco básico]] número". | ||
{{CollapsedCode|Postfix code| | {{CollapsedCode|Postfix code| | ||
− | <asm> | + | <source lang="asm"> |
TEXT | TEXT | ||
ALIGN | ALIGN | ||
Line 156: | Line 156: | ||
RET | RET | ||
− | </ | + | </source> |
}} | }} | ||
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;
}
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
|
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