Difference between revisions of "Code Generation/Exercise 9"

From Wiki**3

< Code Generation
(→‎Postfix Code)
(→‎Compiling and Running)
 
(22 intermediate revisions by the same user not shown)
Line 1: Line 1:
 +
{{TOCright}}
 
== The Original Code ==
 
== The Original Code ==
  
−
Consider the following C code:
+
Consider the following C code and assume that the size of pointers, '''int''', and '''unsigned long''' is 32 bits and that the size of '''double''' is 64 bits.
  
−
<c>
+
<source lang="c">
 
static unsigned long a = 10;
 
static unsigned long a = 10;
 
static double *v;
 
static double *v;
Line 21: Line 22:
 
   return v;
 
   return v;
 
}
 
}
−
</c>
+
</source>
−
 
 
−
Assume that the size of pointers, '''int''', and '''unsigned long''' is 32 bits and that the size of '''double''' is 64 bits.
 
  
 
== Postfix Code ==
 
== Postfix Code ==
Line 29: Line 28:
 
The Postfix code for the above code is as follows: (code has not been thoroughly checked: bug reports are welcome)
 
The Postfix code for the above code is as follows: (code has not been thoroughly checked: bug reports are welcome)
  
−
=== Variables ===
+
In the following code sections, '''BB#''' means "[[Optimization Topics|basic block]] number".
−
<asm>
+
 
 +
{{CollapsedCode|Static (global) variables|
 +
<source lang="asm">
 
;; variable "a"
 
;; variable "a"
 
DATA
 
DATA
 
ALIGN
 
ALIGN
 
LABEL a
 
LABEL a
−
CONST 10
+
SINT 10
 +
 
 
;; variable "v"
 
;; variable "v"
 
DATA    ; "static" variables are always initialized
 
DATA    ; "static" variables are always initialized
 
ALIGN
 
ALIGN
 
LABEL v
 
LABEL v
−
CONST 0  ; this is a null pointer
+
SINT 0  ; this is a null pointer
−
</asm>
+
</source>
 +
}}
  
−
=== Declaration of external function ===
+
{{CollapsedCode|Declaration of external function|
−
<asm>
+
<source lang="asm">
 
EXTERN malloc
 
EXTERN malloc
−
</asm>
+
</source>
 +
}}
  
−
=== Function "mkvec" ===
+
{{CollapsedCode|Function "mkvec"|
−
<asm>
+
<source lang="asm">
 
;; start of BB1
 
;; start of BB1
 
TEXT
 
TEXT
Line 55: Line 59:
 
LABEL mkvec
 
LABEL mkvec
 
ENTER 8  ; s@-4 v@-8
 
ENTER 8  ; s@-4 v@-8
−
LOCV 8
+
LOCAL 8
 +
LDINT
 
INT 1
 
INT 1
 
LT
 
LT
Line 63: Line 68:
 
;; start of BB2
 
;; start of BB2
 
INT 0
 
INT 0
−
POP
+
STFVAL32
 
LEAVE
 
LEAVE
 
RET
 
RET
Line 72: Line 77:
 
LABEL ifend1
 
LABEL ifend1
 
INT 8  ; sizeof(double)
 
INT 8  ; sizeof(double)
−
LOCA -4
+
LOCAL -4
−
LOCV +8
+
STINT
−
LOCV -4
+
LOCAL +8
 +
LDINT
 +
LOCAL -4
 +
LDINT
 
MUL
 
MUL
 
CALL malloc
 
CALL malloc
Line 81: Line 89:
 
;; start of BB4
 
;; start of BB4
 
TRASH 4
 
TRASH 4
−
PUSH
+
LDFVAL32
−
LOCA -8
+
LOCAL -8
−
LOCV -8
+
STINT
−
POP
+
LOCAL -8
 +
LDINT
 +
STFVAL32
 
LEAVE
 
LEAVE
 
RET
 
RET
 
;; end of BB4
 
;; end of BB4
−
</asm>
+
</source>
 +
}}
 +
 
 +
{{CollapsedCode|Function "compute"|
 +
<source lang="asm">
 +
;; start of BB1
 +
TEXT
 +
ALIGN
 +
GLOBAL compute, FUNC
 +
LABEL compute
 +
ENTER 4  ; i@-4
 +
ADDR a
 +
LDINT
 +
INT 4
 +
MUL
 +
CALL mkvec
 +
;; end of BB1
 +
 
 +
;; start of BB2
 +
TRASH 4
 +
LDFVAL32
 +
DUP32
 +
ADDR v
 +
STINT
 +
TRASH 4
 +
INT 1
 +
LOCAL -4
 +
STINT
 +
;; end of BB2
  
−
=== Function "compute" ===
+
;; start of BB3
−
<asm>
+
ALIGN
 +
LABEL fortest
 +
LOCAL -4
 +
LDINT
 +
ADDR a
 +
LDINT
 +
LT
 +
JZ forend
 +
;; end of BB3
 +
 
 +
;; start of BB4
 +
ADDR v
 +
LDINT
 +
LOCAL -4
 +
LDINT
 +
INT 8
 +
MUL
 +
ADD
 +
LDDOUBLE
 +
ADDR v
 +
LDINT
 +
INT 0
 +
INT 8
 +
MUL
 +
ADD
 +
LDDOUBLE
 +
DCMP
 +
INT 0
 +
GT
 +
JZ ifend2
 +
;; end of BB4
 +
 
 +
;; start of BB5
 +
INT 3
 +
LOCAL -4
 +
LDINT
 +
MUL
 +
INT 1
 +
SUB
 +
I2D
 +
DUP64
 +
ADDR v
 +
LDINT
 +
LOCAL -4
 +
LDINT
 +
INT 8
 +
MUL
 +
ADD
 +
STDOUBLE
 +
TRASH 8
 +
;; end of BB5
 +
 
 +
;; start of BB6
 +
ALIGN
 +
LABEL ifend2
 +
ALIGN
 +
LABEL forincr
 +
LOCAL -4
 +
LDINT
 +
DUP32
 +
INT 1
 +
ADD
 +
LOCAL -4
 +
STINT
 +
TRASH 4
 +
JMP fortest
 +
;; end of BB6
 +
 
 +
;; start of BB7
 +
ALIGN
 +
LABEL forend
 +
ADDR v
 +
LDINT
 +
STFVAL32
 +
LEAVE
 +
RET
 +
;; end of BB7
  
−
</asm>
+
</source>
 +
}}
  
 
== Compiling and Running ==
 
== Compiling and Running ==
  
−
To compile the Postfix code directly, [[pf2asm]] can be used (assuming a 32-bit architecture):
+
To compile the Postfix code directly, [[Compiladores/Projecto de Compiladores/Compiladores Exemplo|pf2asm]] can be used (assuming a 32-bit architecture):
  
−
* pf2asm compute.pf
+
pf2asm compute.pf
−
* yasm -felf compute.asm
+
yasm -felf compute.asm
  
−
[[category:Compilers]]
+
[[category:Compiladores]]
−
[[category:Teaching]]
+
[[category:Ensino]]

Latest revision as of 17:51, 6 May 2019

The Original Code

Consider the following C code and assume that the size of pointers, int, and unsigned long is 32 bits and that the size of double is 64 bits. 

static unsigned long a = 10;
static double *v;
extern void *malloc(unsigned long);

static double *mkvec(unsigned long n) {
  if (n < 1) return (double *)0;
  unsigned long s = sizeof(double);
  double *v = (double *)malloc(n * s);
  return v;
}

double *compute() {
  v = mkvec(a * 4);
  for (unsigned long i = 1; i < a; i++)
    if (v[i] > v[0]) v[i] = 3 * i - 1;
  return v;
}

Postfix Code

The Postfix code for the above code is as follows: (code has not been thoroughly checked: bug reports are welcome)

In the following code sections, BB# means "basic block number".

Static (global) variables 
;; variable "a"
DATA
ALIGN
LABEL a
SINT 10

;; variable "v"
DATA     ; "static" variables are always initialized
ALIGN
LABEL v
SINT 0  ; this is a null pointer
Declaration of external function 
EXTERN malloc
Function "mkvec" 
;; start of BB1
TEXT
ALIGN
LABEL mkvec
ENTER 8  ; s@-4 v@-8
LOCAL 8
LDINT
INT 1
LT
JZ ifend1
;; end of BB1

;; start of BB2
INT 0
STFVAL32
LEAVE
RET
;; end of BB2

;; start of BB3
ALIGN
LABEL ifend1
INT 8  ; sizeof(double)
LOCAL -4
STINT
LOCAL +8
LDINT
LOCAL -4
LDINT
MUL
CALL malloc
;; end of BB3

;; start of BB4
TRASH 4
LDFVAL32
LOCAL -8
STINT
LOCAL -8
LDINT
STFVAL32
LEAVE
RET
;; end of BB4
Function "compute" 
;; start of BB1
TEXT
ALIGN
GLOBAL compute, FUNC
LABEL compute
ENTER 4  ; i@-4
ADDR a
LDINT
INT 4
MUL
CALL mkvec
;; end of BB1

;; start of BB2
TRASH 4
LDFVAL32
DUP32
ADDR v
STINT
TRASH 4
INT 1
LOCAL -4
STINT
;; end of BB2

;; start of BB3
ALIGN
LABEL fortest
LOCAL -4
LDINT
ADDR a
LDINT
LT
JZ forend
;; end of BB3

;; start of BB4
ADDR v
LDINT
LOCAL -4
LDINT
INT 8
MUL
ADD
LDDOUBLE
ADDR v
LDINT
INT 0
INT 8
MUL
ADD
LDDOUBLE
DCMP
INT 0
GT
JZ ifend2
;; end of BB4

;; start of BB5
INT 3
LOCAL -4
LDINT
MUL
INT 1
SUB
I2D
DUP64
ADDR v
LDINT
LOCAL -4
LDINT
INT 8
MUL
ADD
STDOUBLE
TRASH 8
;; end of BB5

;; start of BB6
ALIGN
LABEL ifend2
ALIGN
LABEL forincr
LOCAL -4
LDINT
DUP32
INT 1
ADD
LOCAL -4
STINT
TRASH 4
JMP fortest
;; end of BB6

;; start of BB7
ALIGN
LABEL forend
ADDR v
LDINT
STFVAL32
LEAVE
RET
;; end of BB7

Compiling and Running

To compile the Postfix code directly, pf2asm can be used (assuming a 32-bit architecture): 

pf2asm compute.pf
yasm -felf compute.asm
Retrieved from "https://web.tecnico.ulisboa.pt/~david.matos/w/pt/index.php?title=Code_Generation/Exercise_9&oldid=11883"