three-address code ir - stanford university · we provide a code generator to produce mips...
TRANSCRIPT
![Page 1: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/1.jpg)
Three-Address Code IR
![Page 2: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/2.jpg)
Announcements
● Programming Project 3 due Monday at 11:59PM.● OH today after lecture.● Ask questions on Piazzza!● Ask questions via email!
● Checkpoint feedback will be returned soon.
![Page 3: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/3.jpg)
Where We Are
Lexical Analysis
Semantic Analysis
Syntax Analysis
IR Generation
IR Optimization
Code Generation
Optimization
SourceCode
MachineCode
![Page 4: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/4.jpg)
Overview for Today
● The Final Assignment● Introduction to TAC:
● TAC for simple expressions.● TAC for functions and function calls.● TAC for objects.● TAC for arrays.
● Generating TAC.● A few low-level details.
![Page 5: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/5.jpg)
The Final Assignment● Goal: Generate TAC IR for Decaf programs.● We provide a code generator to produce MIPS assembly.
● You can run your programs using spim, the MIPS simulator.
● You must also take care of some low-level details:● Assign all parameters, local variables, and temporaries positions
in a stack frame.● Assign all global variables positions in the global memory
segment.● Assign all fields in a class an offset from the base of the object.
● You should not need to know MIPS to do this; all details will be covered in lecture.
● If you have any questions on MIPS, please feel to ask!
![Page 6: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/6.jpg)
An Important Detail
● When generating IR at this level, you do not need to worry about optimizing it.
● It's okay to generate IR that has lots of unnecessary assignments, redundant computations, etc.
● We'll see how to optimize IR code later this week and at the start of next week.● It's tricky, but extremely cool!
![Page 7: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/7.jpg)
Three-Address Code
● Or “TAC”● The IR that you will be using for the final
programming project.● High-level assembly where each
operation has at most three operands.● Uses explicit runtime stack for function
calls.● Uses vtables for dynamic dispatch.
![Page 8: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/8.jpg)
Sample TAC Code
int x;int y;
int x2 = x * x;int y2 = y * y;int r2 = x2 + y2;
![Page 9: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/9.jpg)
Sample TAC Code
int x;int y;
int x2 = x * x;int y2 = y * y;int r2 = x2 + y2;
x2 = x * x;y2 = y * y;r2 = x2 + y2;
![Page 10: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/10.jpg)
Sample TAC Code
int a;int b;int c;int d;
a = b + c + d;b = a * a + b * b;
![Page 11: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/11.jpg)
Sample TAC Code
int a;int b;int c;int d;
a = b + c + d;b = a * a + b * b;
_t0 = b + c;a = _t0 + d;_t1 = a * a;_t2 = b * b;b = _t1 + _t2;
![Page 12: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/12.jpg)
Sample TAC Code
int a;int b;int c;int d;
a = b + c + d;b = a * a + b * b;
_t0 = b + c;a = _t0 + d;_t1 = a * a;_t2 = b * b;b = _t1 + _t2;
![Page 13: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/13.jpg)
Temporary Variables
● The “three” in “three-address code” refers to the number of operands in any instruction.
● Evaluating an expression with more than three subexpressions requires the introduction of temporary variables.
● This is actually a lot easier than you might think; we'll see how to do it later on.
![Page 14: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/14.jpg)
Sample TAC Code
int a;int b;
a = 5 + 2 * b;
![Page 15: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/15.jpg)
Sample TAC Code
int a;int b;
a = 5 + 2 * b;
_t0 = 5;_t1 = 2 * b;a = _t0 + _t1;
![Page 16: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/16.jpg)
Sample TAC Code
int a;int b;
a = 5 + 2 * b;
_t0 = 5;_t1 = 2 * b;a = _t0 + _t1;
TAC allows for instructions with two
operands.
![Page 17: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/17.jpg)
Simple TAC Instructions
● Variable assignment allows assignments of the form● var = constant;
● var1 = var2;
● var1 = var
2 op var
3;
● var1 = constant op var
2;
● var1 = var2 op constant;
● var = constant1 op constant
2;
● Permitted operators are +, -, *, /, %.
● How would you compile y = -x; ?
![Page 18: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/18.jpg)
Simple TAC Instructions
● Variable assignment allows assignments of the form● var = constant;
● var1 = var2;
● var1 = var
2 op var
3;
● var1 = constant op var
2;
● var1 = var2 op constant;
● var = constant1 op constant
2;
● Permitted operators are +, -, *, /, %.
● How would you compile y = -x; ?
y = 0 – x; y = -1 * x;
![Page 19: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/19.jpg)
One More with bools
int x;int y;bool b1;bool b2;bool b3;
b1 = x + x < yb2 = x + x == yb3 = x + x > y
![Page 20: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/20.jpg)
One More with bools
int x;int y;bool b1;bool b2;bool b3;
b1 = x + x < yb2 = x + x == yb3 = x + x > y
_t0 = x + x;_t1 = y;b1 = _t0 < _t1;
_t2 = x + x;_t3 = y;b2 = _t2 == _t3;
_t4 = x + x;_t5 = y;b3 = _t5 < _t4;
![Page 21: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/21.jpg)
TAC with bools
● Boolean variables are represented as integers that have zero or nonzero values.
● In addition to the arithmetic operator, TAC supports <, ==, ||, and &&.
● How might you compile b = (x <= y) ?
![Page 22: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/22.jpg)
TAC with bools
● Boolean variables are represented as integers that have zero or nonzero values.
● In addition to the arithmetic operator, TAC supports <, ==, ||, and &&.
● How might you compile b = (x <= y) ?_t0 = x < y;_t1 = x == y;b = _t0 || _t1;
![Page 23: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/23.jpg)
Control Flow Statements
int x;int y;int z;
if (x < y) z = x;else z = y;
z = z * z;
![Page 24: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/24.jpg)
Control Flow Statements
int x;int y;int z;
if (x < y) z = x;else z = y;
z = z * z;
_t0 = x < y; IfZ _t0 Goto _L0; z = x; Goto _L1;_L0: z = y;_L1: z = z * z;
![Page 25: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/25.jpg)
Control Flow Statements
int x;int y;int z;
if (x < y) z = x;else z = y;
z = z * z;
_t0 = x < y; IfZ _t0 Goto _L0; z = x; Goto _L1;_L0: z = y;_L1: z = z * z;
![Page 26: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/26.jpg)
Control Flow Statements
int x;int y;int z;
if (x < y) z = x;else z = y;
z = z * z;
_t0 = x < y; IfZ _t0 Goto _L0; z = x; Goto _L1;_L0: z = y;_L1: z = z * z;
![Page 27: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/27.jpg)
Labels
● TAC allows for named labels indicating particular points in the code that can be jumped to.
● There are two control flow instructions:● Goto label;● IfZ value Goto label;
● Note that IfZ is always paired with Goto.
![Page 28: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/28.jpg)
Control Flow Statements
int x;int y;
while (x < y) { x = x * 2;}
y = x;
![Page 29: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/29.jpg)
Control Flow Statements
int x;int y;
while (x < y) { x = x * 2;}
y = x;
_L0: _t0 = x < y; IfZ _t0 Goto _L1; x = x * 2; Goto _L0;_L1: y = x;
![Page 30: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/30.jpg)
A Complete Decaf Program
void main() { int x, y; int m2 = x * x + y * y;
while (m2 > 5) { m2 = m2 – x; }}
![Page 31: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/31.jpg)
A Complete Decaf Program
void main() { int x, y; int m2 = x * x + y * y;
while (m2 > 5) { m2 = m2 – x; }}
main: BeginFunc 24; _t0 = x * x; _t1 = y * y; m2 = _t0 + _t1;_L0: _t2 = 5 < m2; IfZ _t2 Goto _L1; m2 = m2 – x; Goto _L0;_L1: EndFunc;
![Page 32: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/32.jpg)
A Complete Decaf Program
void main() { int x, y; int m2 = x * x + y * y;
while (m2 > 5) { m2 = m2 – x; }}
main: BeginFunc 24; _t0 = x * x; _t1 = y * y; m2 = _t0 + _t1;_L0: _t2 = 5 < m2; IfZ _t2 Goto _L1; m2 = m2 – x; Goto _L0;_L1: EndFunc;
![Page 33: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/33.jpg)
A Complete Decaf Program
void main() { int x, y; int m2 = x * x + y * y;
while (m2 > 5) { m2 = m2 – x; }}
main: BeginFunc 24; _t0 = x * x; _t1 = y * y; m2 = _t0 + _t1;_L0: _t2 = 5 < m2; IfZ _t2 Goto _L1; m2 = m2 – x; Goto _L0;_L1: EndFunc;
![Page 34: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/34.jpg)
A Complete Decaf Program
void main() { int x, y; int m2 = x * x + y * y;
while (m2 > 5) { m2 = m2 – x; }}
main: BeginFunc 24; _t0 = x * x; _t1 = y * y; m2 = _t0 + _t1;_L0: _t2 = 5 < m2; IfZ _t2 Goto _L1; m2 = m2 – x; Goto _L0;_L1: EndFunc;
![Page 35: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/35.jpg)
Compiling Functions
● Decaf functions consist of four pieces:● A label identifying the start of the function.
– (Why?)
● A BeginFunc N; instruction reserving N bytes of space for locals and temporaries.
● The body of the function.● An EndFunc; instruction marking the end of
the function.– When reached, cleans up stack frame and
returns.
![Page 36: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/36.jpg)
A Logical Decaf Stack FrameParam N
Param N – 1
...
Param 1
Storage for Locals and Temporaries
Stack frame for function f(a, …, n)
![Page 37: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/37.jpg)
A Logical Decaf Stack FrameParam N
Param N – 1
...
Param 1
Storage for Locals and Temporaries
Stack frame for function f(a, …, n)
Param M
![Page 38: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/38.jpg)
A Logical Decaf Stack FrameParam N
Param N – 1
...
Param 1
Storage for Locals and Temporaries
Stack frame for function f(a, …, n)
Param M
…
![Page 39: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/39.jpg)
A Logical Decaf Stack FrameParam N
Param N – 1
...
Param 1
Storage for Locals and Temporaries
Stack frame for function f(a, …, n)
Param M
…
Param 1
![Page 40: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/40.jpg)
A Logical Decaf Stack FrameParam N
Param N – 1
...
Param 1
Storage for Locals and Temporaries
Stack frame for function f(a, …, n)
Param M
…
Param 1
Storage for Locals and Temporaries
![Page 41: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/41.jpg)
A Logical Decaf Stack FrameParam N
Param N – 1
...
Param 1
Storage for Locals and Temporaries
Stack frame for function f(a, …, n)
Param M
…
Param 1
Storage for Locals and Temporaries
Stack frame for function
g(a, …, m)
![Page 42: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/42.jpg)
A Logical Decaf Stack FrameParam N
Param N – 1
...
Param 1
Storage for Locals and Temporaries
Stack frame for function f(a, …, n)
Param M
…
Param 1
Storage for Locals and Temporaries
![Page 43: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/43.jpg)
A Logical Decaf Stack FrameParam N
Param N – 1
...
Param 1
Storage for Locals and Temporaries
Stack frame for function f(a, …, n)
Param M
…
Param 1
![Page 44: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/44.jpg)
A Logical Decaf Stack FrameParam N
Param N – 1
...
Param 1
Storage for Locals and Temporaries
Stack frame for function f(a, …, n)
![Page 45: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/45.jpg)
Compiling Function Calls
void SimpleFn(int z) { int x, y; x = x * y * z;}
void main() { SimpleFunction(137);}
![Page 46: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/46.jpg)
Compiling Function Calls
void SimpleFn(int z) { int x, y; x = x * y * z;}
void main() { SimpleFunction(137);}
_SimpleFn: BeginFunc 16; _t0 = x * y; _t1 = _t0 * z; x = _t1; EndFunc;
![Page 47: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/47.jpg)
Compiling Function Calls
void SimpleFn(int z) { int x, y; x = x * y * z;}
void main() { SimpleFunction(137);}
_SimpleFn: BeginFunc 16; _t0 = x * y; _t1 = _t0 * z; x = _t1; EndFunc;
![Page 48: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/48.jpg)
Compiling Function Calls
void SimpleFn(int z) { int x, y; x = x * y * z;}
void main() { SimpleFunction(137);}
_SimpleFn: BeginFunc 16; _t0 = x * y; _t1 = _t0 * z; x = _t1; EndFunc;
![Page 49: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/49.jpg)
Compiling Function Calls
void SimpleFn(int z) { int x, y; x = x * y * z;}
void main() { SimpleFunction(137);}
_SimpleFn: BeginFunc 16; _t0 = x * y; _t1 = _t0 * z; x = _t1; EndFunc;
main: BeginFunc 4; _t0 = 137; PushParam _t0; LCall _SimpleFn; PopParams 4; EndFunc;
![Page 50: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/50.jpg)
Compiling Function Calls
void SimpleFn(int z) { int x, y; x = x * y * z;}
void main() { SimpleFunction(137);}
_SimpleFn: BeginFunc 16; _t0 = x * y; _t1 = _t0 * z; x = _t1; EndFunc;
main: BeginFunc 4; _t0 = 137; PushParam _t0; LCall _SimpleFn; PopParams 4; EndFunc;
![Page 51: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/51.jpg)
Compiling Function Calls
void SimpleFn(int z) { int x, y; x = x * y * z;}
void main() { SimpleFunction(137);}
_SimpleFn: BeginFunc 16; _t0 = x * y; _t1 = _t0 * z; x = _t1; EndFunc;
main: BeginFunc 4; _t0 = 137; PushParam _t0; LCall _SimpleFn; PopParams 4; EndFunc;
![Page 52: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/52.jpg)
Compiling Function Calls
void SimpleFn(int z) { int x, y; x = x * y * z;}
void main() { SimpleFunction(137);}
_SimpleFn: BeginFunc 16; _t0 = x * y; _t1 = _t0 * z; x = _t1; EndFunc;
main: BeginFunc 4; _t0 = 137; PushParam _t0; LCall _SimpleFn; PopParams 4; EndFunc;
![Page 53: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/53.jpg)
Compiling Function Calls
void SimpleFn(int z) { int x, y; x = x * y * z;}
void main() { SimpleFunction(137);}
_SimpleFn: BeginFunc 16; _t0 = x * y; _t1 = _t0 * z; x = _t1; EndFunc;
main: BeginFunc 4; _t0 = 137; PushParam _t0; LCall _SimpleFn; PopParams 4; EndFunc;
![Page 54: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/54.jpg)
Stack Management in TAC
● The BeginFunc N; instruction only needs to reserve room for local variables and temporaries.
● The EndFunc; instruction reclaims the room allocated with BeginFunc N;
● A single parameter is pushed onto the stack by the caller using the PushParam var instruction.
● Space for parameters is reclaimed by the caller using the PopParams N; instruction.● N is measured in bytes, not number of arguments.
![Page 55: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/55.jpg)
A Logical Decaf Stack FrameParam N
Param N – 1
...
Param 1
Storage for Locals and Temporaries
Stack frame for function f(a, …, n)
![Page 56: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/56.jpg)
A Logical Decaf Stack FrameParam N
Param N – 1
...
Param 1
Storage for Locals and Temporaries
Stack frame for function f(a, …, n)
Param M PushParam var;
![Page 57: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/57.jpg)
A Logical Decaf Stack FrameParam N
Param N – 1
...
Param 1
Storage for Locals and Temporaries
Stack frame for function f(a, …, n)
Param M
…
PushParam var;PushParam var;
![Page 58: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/58.jpg)
A Logical Decaf Stack FrameParam N
Param N – 1
...
Param 1
Storage for Locals and Temporaries
Stack frame for function f(a, …, n)
Param M
…
Param 1
PushParam var;PushParam var;PushParam var;
![Page 59: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/59.jpg)
A Logical Decaf Stack FrameParam N
Param N – 1
...
Param 1
Storage for Locals and Temporaries
Stack frame for function f(a, …, n)
Param M
…
Param 1
Storage for Locals and Temporaries
PushParam var;PushParam var;PushParam var;BeginFunc N;
![Page 60: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/60.jpg)
A Logical Decaf Stack FrameParam N
Param N – 1
...
Param 1
Storage for Locals and Temporaries
Stack frame for function f(a, …, n)
Param M
…
Param 1
Storage for Locals and Temporaries
Stack frame for function
g(a, …, m)
PushParam var;PushParam var;PushParam var;BeginFunc N;
![Page 61: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/61.jpg)
A Logical Decaf Stack FrameParam N
Param N – 1
...
Param 1
Storage for Locals and Temporaries
Stack frame for function f(a, …, n)
Param M
…
Param 1
Storage for Locals and Temporaries
![Page 62: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/62.jpg)
A Logical Decaf Stack FrameParam N
Param N – 1
...
Param 1
Storage for Locals and Temporaries
Stack frame for function f(a, …, n)
Param M
…
Param 1
Storage for Locals and Temporaries
EndFunc;
![Page 63: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/63.jpg)
A Logical Decaf Stack FrameParam N
Param N – 1
...
Param 1
Storage for Locals and Temporaries
Stack frame for function f(a, …, n)
Param M
…
Param 1
![Page 64: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/64.jpg)
A Logical Decaf Stack FrameParam N
Param N – 1
...
Param 1
Storage for Locals and Temporaries
Stack frame for function f(a, …, n)
Param M
…
Param 1
PopParams N;
![Page 65: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/65.jpg)
A Logical Decaf Stack FrameParam N
Param N – 1
...
Param 1
Storage for Locals and Temporaries
Stack frame for function f(a, …, n)
![Page 66: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/66.jpg)
Storage Allocation
● As described so far, TAC does not specify where variables and temporaries are stored.
● For the final programming project, you will need to tell the code generator where each variable should be stored.
● This normally would be handled during code generation, but Just For Fun we thought you should have some experience handling this. ☺
![Page 67: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/67.jpg)
The Frame PointerParam N
Param N – 1
...
Param 1
Storage for Locals and Temporaries
![Page 68: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/68.jpg)
The Frame PointerParam N
Param N – 1
...
Param 1
Storage for Locals and Temporaries
FramePointer
![Page 69: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/69.jpg)
The Frame PointerParam N
Param N – 1
...
Param 1
Storage for Locals and Temporaries
FramePointer
Param M
…
Param 1
![Page 70: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/70.jpg)
The Frame PointerParam N
Param N – 1
...
Param 1
Storage for Locals and Temporaries
FramePointer
Param M
…
Param 1
Storage for Locals and Temporaries
![Page 71: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/71.jpg)
The Frame PointerParam N
Param N – 1
...
Param 1
Storage for Locals and Temporaries
FramePointer
Param M
…
Param 1
Storage for Locals and Temporaries
![Page 72: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/72.jpg)
The Frame PointerParam N
Param N – 1
...
Param 1
Storage for Locals and Temporaries
FramePointer
Param M
…
Param 1
![Page 73: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/73.jpg)
The Frame PointerParam N
Param N – 1
...
Param 1
Storage for Locals and Temporaries
FramePointer
![Page 74: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/74.jpg)
The Frame PointerParam N
Param N – 1
...
Param 1
Storage for Locals and Temporaries
FramePointer
![Page 75: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/75.jpg)
Logical vs Physical Stack Frames
Param N
Param N – 1
...
Param 1
Storage for Locals and Temporaries
![Page 76: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/76.jpg)
Logical vs Physical Stack Frames
Param N
Param N – 1
...
Param 1
Storage for Locals and Temporaries
Param N
Param N – 1
...
Param 1
Storage for Locals and Temporaries
fp of caller
![Page 77: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/77.jpg)
Logical vs Physical Stack Frames
Param N
Param N – 1
...
Param 1
Storage for Locals and Temporaries
Param N
Param N – 1
...
Param 1
Storage for Locals and Temporaries
fp of caller
FramePointer
![Page 78: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/78.jpg)
(Mostly) Physical Stack FramesParam N
...
Param 1
Storage for Locals and Temporaries
fp of caller
FramePointer
![Page 79: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/79.jpg)
(Mostly) Physical Stack FramesParam N
...
Param 1
Storage for Locals and Temporaries
fp of caller
FramePointer
Param N
...
Param 1
![Page 80: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/80.jpg)
(Mostly) Physical Stack FramesParam N
...
Param 1
Storage for Locals and Temporaries
fp of caller
FramePointer
Param N
...
Param 1
fp of caller
![Page 81: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/81.jpg)
(Mostly) Physical Stack FramesParam N
...
Param 1
Storage for Locals and Temporaries
fp of caller
FramePointer
Param N
...
Param 1
fp of caller
![Page 82: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/82.jpg)
(Mostly) Physical Stack FramesParam N
...
Param 1
Storage for Locals and Temporaries
fp of caller
FramePointer
Param N
...
Param 1
fp of caller
Storage for Locals and Temporaries
![Page 83: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/83.jpg)
(Mostly) Physical Stack FramesParam N
...
Param 1
Storage for Locals and Temporaries
fp of caller
FramePointer
Param N
...
Param 1
fp of caller
![Page 84: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/84.jpg)
(Mostly) Physical Stack FramesParam N
...
Param 1
Storage for Locals and Temporaries
fp of caller
FramePointer
Param N
...
Param 1
fp of caller
![Page 85: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/85.jpg)
(Mostly) Physical Stack FramesParam N
...
Param 1
Storage for Locals and Temporaries
fp of caller
FramePointer
Param N
...
Param 1
![Page 86: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/86.jpg)
(Mostly) Physical Stack FramesParam N
...
Param 1
Storage for Locals and Temporaries
fp of caller
FramePointer
![Page 87: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/87.jpg)
The Stored Return Address
● Internally, the processor has a special register called the program counter (PC) that stores the address of the next instruction to execute.
● Whenever a function returns, it needs to restore the PC so that the calling function resumes execution where it left off.
● The address of where to return is stored in MIPS in a special register called ra (“return address.”)
● To allow MIPS functions to call one another, each function needs to store the previous value of ra somewhere.
![Page 88: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/88.jpg)
Physical Stack FramesParam N
...
Param 1
Locals and Temporaries
fp of caller
FramePointer
ra of caller
![Page 89: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/89.jpg)
Physical Stack FramesParam N
...
Param 1
Locals and Temporaries
fp of caller
FramePointer
ra of caller
Param N
...
Param 1
![Page 90: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/90.jpg)
Physical Stack FramesParam N
...
Param 1
Locals and Temporaries
fp of caller
FramePointer
ra of caller
Param N
...
Param 1
fp of caller
![Page 91: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/91.jpg)
Physical Stack FramesParam N
...
Param 1
Locals and Temporaries
fp of caller
FramePointer
ra of caller
Param N
...
Param 1
fp of caller
ra of caller
![Page 92: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/92.jpg)
Physical Stack FramesParam N
...
Param 1
Locals and Temporaries
fp of caller
FramePointer
ra of caller
Param N
...
Param 1
fp of caller
ra of caller
![Page 93: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/93.jpg)
Physical Stack FramesParam N
...
Param 1
Locals and Temporaries
fp of caller
FramePointer
ra of caller
Param N
...
Param 1
fp of caller
ra of caller
Locals and Temporaries
![Page 94: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/94.jpg)
So What?
● In your code generator, you must assign each local variable, parameter, and temporary variable its own location.
● These locations occur in a particular stack frame and are called fp-relative.
Param N
...
Param 1
Local 0
fp of caller
ra of caller
fp
● Parameters begin at address fp + 4 and grow upward.
● Locals and temporaries begin at address fp – 8 and grow downward
...
Local M
fp + 0
fp + 4
...
fp + 4N
fp - 4
fp - 8
...
fp - 4 - 4M
![Page 95: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/95.jpg)
From Your Perspective
Location* location = new Location(fpRelative, +4, locName);
![Page 96: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/96.jpg)
From Your Perspective
Location* location = new Location(fpRelative, +4, locName);
![Page 97: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/97.jpg)
From Your Perspective
Location* location = new Location(fpRelative, +4, locName);
What variable does this refer to?
![Page 98: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/98.jpg)
And One More Thing...
int globalVariable;
int main() { globalVariable = 137;}
![Page 99: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/99.jpg)
And One More Thing...
int globalVariable;
int main() { globalVariable = 137;}
![Page 100: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/100.jpg)
And One More Thing...
int globalVariable;
int main() { globalVariable = 137;}
Where is this stored?
![Page 101: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/101.jpg)
The Global Pointer
● MIPS also has a register called the global pointer (gp) that points to globally accessible storage.
● Memory pointed at by the global pointer is treated as an array of values that grows upward.
● You must choose an offset into this array for each global variable.
Global Variable 0
Global Variable 1
...
Global Variable N
gp gp + 0
gp + 4
...
gp + 4N
![Page 102: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/102.jpg)
From Your Perspective
Location* global = new Location(gpRelative, +8, locName);
![Page 103: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/103.jpg)
From Your Perspective
Location* global = new Location(gpRelative, +8, locName);
![Page 104: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/104.jpg)
Summary of Memory Layout
● Most details abstracted away by IR format.
● Remember:● Parameters start at fp + 4 and grow upward.● Locals start at fp – 8 and grow downward.● Globals start at gp + 0 and grow upward.
● You will need to write code to assign variables to these locations.
![Page 105: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/105.jpg)
TAC for Objects, Part I
class A { void fn(int x) { int y; y = x; }}
int main() { A a; a.fn(137);}
![Page 106: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/106.jpg)
TAC for Objects, Part I
class A { void fn(int x) { int y; y = x; }}
int main() { A a; a.fn(137);}
_A.fn: BeginFunc 4; y = x; EndFunc;
main: BeginFunc 8; _t0 = 137; PushParam _t0; PushParam a; LCall _A.fn; PopParams 8; EndFunc;
![Page 107: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/107.jpg)
TAC for Objects, Part I
class A { void fn(int x) { int y; y = x; }}
int main() { A a; a.fn(137);}
_A.fn: BeginFunc 4; y = x; EndFunc;
main: BeginFunc 8; _t0 = 137; PushParam _t0; PushParam a; LCall _A.fn; PopParams 8; EndFunc;
![Page 108: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/108.jpg)
A Reminder: Object LayoutMethod 0
Field 0
Vtable*
Vtable*
...
Field N
Field 0
...
Field N
Field 0
...
Field M
Method 1
...
Method K
Method 0
Method 1
...
Method K
Method 0
...
Method L
![Page 109: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/109.jpg)
TAC for Objects, Part II
class A { int y; int z; void fn(int x) { y = x; x = z; }}
int main() { A a; a.fn(137);}
![Page 110: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/110.jpg)
TAC for Objects, Part II
class A { int y; int z; void fn(int x) { y = x; x = z; }}
int main() { A a; a.fn(137);}
_A.fn: BeginFunc 4; *(this + 4) = x; x = *(this + 8); EndFunc;
main: BeginFunc 8; _t0 = 137; PushParam _t0; PushParam a; LCall _A.fn; PopParams 8; EndFunc;
![Page 111: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/111.jpg)
TAC for Objects, Part II
class A { int y; int z; void fn(int x) { y = x; x = z; }}
int main() { A a; a.fn(137);}
_A.fn: BeginFunc 4; *(this + 4) = x; x = *(this + 8); EndFunc;
main: BeginFunc 8; _t0 = 137; PushParam _t0; PushParam a; LCall _A.fn; PopParams 8; EndFunc;
![Page 112: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/112.jpg)
TAC for Objects, Part II
class A { int y; int z; void fn(int x) { y = x; x = z; }}
int main() { A a; a.fn(137);}
_A.fn: BeginFunc 4; *(this + 4) = x; x = *(this + 8); EndFunc;
main: BeginFunc 8; _t0 = 137; PushParam _t0; PushParam a; LCall _A.fn; PopParams 8; EndFunc;
![Page 113: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/113.jpg)
Memory Access in TAC
● Extend our simple assignments with memory accesses:● var
1 = *var
2
● var1 = *(var
2 + constant)
● *var1 = var
2
● *(var1 + constant) = var
2
● You will need to translate field accesses into relative memory accesses.
![Page 114: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/114.jpg)
TAC for Objects, Part IIIclass Base { void hi() { Print("Base"); }}
class Derived extends Base{ void hi() { Print("Derived"); }}
int main() { Base b; b = new Derived; b.hi();}
![Page 115: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/115.jpg)
TAC for Objects, Part IIIclass Base { void hi() { Print("Base"); }}
class Derived extends Base{ void hi() { Print("Derived"); }}
int main() { Base b; b = new Derived; b.hi();}
![Page 116: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/116.jpg)
TAC for Objects, Part IIIclass Base { void hi() { Print("Base"); }}
class Derived extends Base{ void hi() { Print("Derived"); }}
int main() { Base b; b = new Derived; b.hi();}
_Base.hi: BeginFunc 4; _t0 = "Base"; PushParam _t0; LCall _PrintString; PopParams 4; EndFunc;Vtable Base = _Base.hi, ;
_Derived.hi: BeginFunc 4; _t0 = "Derived"; PushParam _t0; LCall _PrintString; PopParams 4; EndFunc;Vtable Derived = _Derived.hi, ;
![Page 117: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/117.jpg)
TAC for Objects, Part IIIclass Base { void hi() { Print("Base"); }}
class Derived extends Base{ void hi() { Print("Derived"); }}
int main() { Base b; b = new Derived; b.hi();}
_Base.hi: BeginFunc 4; _t0 = "Base"; PushParam _t0; LCall _PrintString; PopParams 4; EndFunc;Vtable Base = _Base.hi, ;
_Derived.hi: BeginFunc 4; _t0 = "Derived"; PushParam _t0; LCall _PrintString; PopParams 4; EndFunc;Vtable Derived = _Derived.hi, ;
![Page 118: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/118.jpg)
TAC for Objects, Part IIIclass Base { void hi() { Print("Base"); }}
class Derived extends Base{ void hi() { Print("Derived"); }}
int main() { Base b; b = new Derived; b.hi();}
_Base.hi: BeginFunc 4; _t0 = "Base"; PushParam _t0; LCall _PrintString; PopParams 4; EndFunc;Vtable Base = _Base.hi, ;
_Derived.hi: BeginFunc 4; _t0 = "Derived"; PushParam _t0; LCall _PrintString; PopParams 4; EndFunc;Vtable Derived = _Derived.hi, ;
![Page 119: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/119.jpg)
TAC for Objects, Part IIIclass Base { void hi() { Print("Base"); }}
class Derived extends Base{ void hi() { Print("Derived"); }}
int main() { Base b; b = new Derived; b.hi();}
main: BeginFunc 20; _t0 = 4; PushParam _t0; b = LCall _Alloc; PopParams 4; _t1 = Derived; *b = _t1; _t2 = *b; _t3 = *_t2; PushParam b; ACall _t3; PopParams 4; EndFunc;
![Page 120: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/120.jpg)
TAC for Objects, Part IIIclass Base { void hi() { Print("Base"); }}
class Derived extends Base{ void hi() { Print("Derived"); }}
int main() { Base b; b = new Derived; b.hi();}
main: BeginFunc 20; _t0 = 4; PushParam _t0; b = LCall _Alloc; PopParams 4; _t1 = Derived; *b = _t1; _t2 = *b; _t3 = *_t2; PushParam b; ACall _t3; PopParams 4; EndFunc;
What's going on here?
![Page 121: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/121.jpg)
Dissecting TACint main() { Base b; b = new Derived; b.hi();}
main: BeginFunc 20; _t0 = 4; PushParam _t0; b = LCall _Alloc; PopParams 4; _t1 = Derived; *b = _t1; _t2 = *b; _t3 = *_t2; PushParam b; ACall _t3; PopParams 4; EndFunc;
![Page 122: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/122.jpg)
Dissecting TACint main() { Base b; b = new Derived; b.hi();}
main: BeginFunc 20; _t0 = 4; PushParam _t0; b = LCall _Alloc; PopParams 4; _t1 = Derived; *b = _t1; _t2 = *b; _t3 = *_t2; PushParam b; ACall _t3; PopParams 4; EndFunc;
hiDerived Vtable
Code forDerived.hi
![Page 123: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/123.jpg)
Dissecting TACint main() { Base b; b = new Derived; b.hi();}
main: BeginFunc 20; _t0 = 4; PushParam _t0; b = LCall _Alloc; PopParams 4; _t1 = Derived; *b = _t1; _t2 = *b; _t3 = *_t2; PushParam b; ACall _t3; PopParams 4; EndFunc;
fp of caller
ra of caller
hiDerived Vtable
Code forDerived.hi
![Page 124: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/124.jpg)
Dissecting TACint main() { Base b; b = new Derived; b.hi();}
main: BeginFunc 20; _t0 = 4; PushParam _t0; b = LCall _Alloc; PopParams 4; _t1 = Derived; *b = _t1; _t2 = *b; _t3 = *_t2; PushParam b; ACall _t3; PopParams 4; EndFunc;
fp of caller
ra of caller
hiDerived Vtable
Code forDerived.hi
![Page 125: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/125.jpg)
Dissecting TACint main() { Base b; b = new Derived; b.hi();}
main: BeginFunc 20; _t0 = 4; PushParam _t0; b = LCall _Alloc; PopParams 4; _t1 = Derived; *b = _t1; _t2 = *b; _t3 = *_t2; PushParam b; ACall _t3; PopParams 4; EndFunc;
fp of caller
ra of caller
hiDerived Vtable
Code forDerived.hi
_t0
_t1
_t2
_t3
b
![Page 126: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/126.jpg)
Dissecting TACint main() { Base b; b = new Derived; b.hi();}
main: BeginFunc 20; _t0 = 4; PushParam _t0; b = LCall _Alloc; PopParams 4; _t1 = Derived; *b = _t1; _t2 = *b; _t3 = *_t2; PushParam b; ACall _t3; PopParams 4; EndFunc;
fp of caller
ra of caller
hiDerived Vtable
Code forDerived.hi
_t0
_t1
_t2
_t3
b
![Page 127: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/127.jpg)
Dissecting TACint main() { Base b; b = new Derived; b.hi();}
main: BeginFunc 20; _t0 = 4; PushParam _t0; b = LCall _Alloc; PopParams 4; _t1 = Derived; *b = _t1; _t2 = *b; _t3 = *_t2; PushParam b; ACall _t3; PopParams 4; EndFunc;
fp of caller
ra of caller
hiDerived Vtable
Code forDerived.hi
_t0
_t1
_t2
_t3
b
4
![Page 128: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/128.jpg)
Dissecting TACint main() { Base b; b = new Derived; b.hi();}
main: BeginFunc 20; _t0 = 4; PushParam _t0; b = LCall _Alloc; PopParams 4; _t1 = Derived; *b = _t1; _t2 = *b; _t3 = *_t2; PushParam b; ACall _t3; PopParams 4; EndFunc;
fp of caller
ra of caller
hiDerived Vtable
Code forDerived.hi
_t0
_t1
_t2
_t3
b
4
![Page 129: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/129.jpg)
Dissecting TACint main() { Base b; b = new Derived; b.hi();}
main: BeginFunc 20; _t0 = 4; PushParam _t0; b = LCall _Alloc; PopParams 4; _t1 = Derived; *b = _t1; _t2 = *b; _t3 = *_t2; PushParam b; ACall _t3; PopParams 4; EndFunc;
fp of caller
ra of caller
hiDerived Vtable
Code forDerived.hi
_t0
_t1
_t2
_t3
b
4
Param 14
![Page 130: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/130.jpg)
Dissecting TACint main() { Base b; b = new Derived; b.hi();}
main: BeginFunc 20; _t0 = 4; PushParam _t0; b = LCall _Alloc; PopParams 4; _t1 = Derived; *b = _t1; _t2 = *b; _t3 = *_t2; PushParam b; ACall _t3; PopParams 4; EndFunc;
fp of caller
ra of caller
hiDerived Vtable
Code forDerived.hi
_t0
_t1
_t2
_t3
b
4
Param 14
![Page 131: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/131.jpg)
Dissecting TACint main() { Base b; b = new Derived; b.hi();}
main: BeginFunc 20; _t0 = 4; PushParam _t0; b = LCall _Alloc; PopParams 4; _t1 = Derived; *b = _t1; _t2 = *b; _t3 = *_t2; PushParam b; ACall _t3; PopParams 4; EndFunc;
fp of caller
ra of caller
hiDerived Vtable
Code forDerived.hi
_t0
_t1
_t2
_t3
b
4
Param 14
(raw memory)
![Page 132: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/132.jpg)
Dissecting TACint main() { Base b; b = new Derived; b.hi();}
main: BeginFunc 20; _t0 = 4; PushParam _t0; b = LCall _Alloc; PopParams 4; _t1 = Derived; *b = _t1; _t2 = *b; _t3 = *_t2; PushParam b; ACall _t3; PopParams 4; EndFunc;
fp of caller
ra of caller
hiDerived Vtable
Code forDerived.hi
_t0
_t1
_t2
_t3
b
4
Param 14
(raw memory)
![Page 133: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/133.jpg)
Dissecting TACint main() { Base b; b = new Derived; b.hi();}
main: BeginFunc 20; _t0 = 4; PushParam _t0; b = LCall _Alloc; PopParams 4; _t1 = Derived; *b = _t1; _t2 = *b; _t3 = *_t2; PushParam b; ACall _t3; PopParams 4; EndFunc;
fp of caller
ra of caller
hiDerived Vtable
Code forDerived.hi
_t0
_t1
_t2
_t3
b
4
(raw memory)
![Page 134: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/134.jpg)
Dissecting TACint main() { Base b; b = new Derived; b.hi();}
main: BeginFunc 20; _t0 = 4; PushParam _t0; b = LCall _Alloc; PopParams 4; _t1 = Derived; *b = _t1; _t2 = *b; _t3 = *_t2; PushParam b; ACall _t3; PopParams 4; EndFunc;
fp of caller
ra of caller
hiDerived Vtable
Code forDerived.hi
_t0
_t1
_t2
_t3
b
4
(raw memory)
![Page 135: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/135.jpg)
Dissecting TACint main() { Base b; b = new Derived; b.hi();}
main: BeginFunc 20; _t0 = 4; PushParam _t0; b = LCall _Alloc; PopParams 4; _t1 = Derived; *b = _t1; _t2 = *b; _t3 = *_t2; PushParam b; ACall _t3; PopParams 4; EndFunc;
fp of caller
ra of caller
hiDerived Vtable
Code forDerived.hi
_t0
_t1
_t2
_t3
b
4
(raw memory)
AllocateObject
![Page 136: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/136.jpg)
Dissecting TACint main() { Base b; b = new Derived; b.hi();}
main: BeginFunc 20; _t0 = 4; PushParam _t0; b = LCall _Alloc; PopParams 4; _t1 = Derived; *b = _t1; _t2 = *b; _t3 = *_t2; PushParam b; ACall _t3; PopParams 4; EndFunc;
fp of caller
ra of caller
hiDerived Vtable
Code forDerived.hi
_t0
_t1
_t2
_t3
b
4
(raw memory)
AllocateObject
![Page 137: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/137.jpg)
Dissecting TACint main() { Base b; b = new Derived; b.hi();}
main: BeginFunc 20; _t0 = 4; PushParam _t0; b = LCall _Alloc; PopParams 4; _t1 = Derived; *b = _t1; _t2 = *b; _t3 = *_t2; PushParam b; ACall _t3; PopParams 4; EndFunc;
fp of caller
ra of caller
hiDerived Vtable
Code forDerived.hi
_t0
_t1
_t2
_t3
b
4
(raw memory)
AllocateObject
![Page 138: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/138.jpg)
Dissecting TACint main() { Base b; b = new Derived; b.hi();}
main: BeginFunc 20; _t0 = 4; PushParam _t0; b = LCall _Alloc; PopParams 4; _t1 = Derived; *b = _t1; _t2 = *b; _t3 = *_t2; PushParam b; ACall _t3; PopParams 4; EndFunc;
fp of caller
ra of caller
hiDerived Vtable
Code forDerived.hi
_t0
_t1
_t2
_t3
b
4
(raw memory)
AllocateObject
![Page 139: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/139.jpg)
Dissecting TACint main() { Base b; b = new Derived; b.hi();}
main: BeginFunc 20; _t0 = 4; PushParam _t0; b = LCall _Alloc; PopParams 4; _t1 = Derived; *b = _t1; _t2 = *b; _t3 = *_t2; PushParam b; ACall _t3; PopParams 4; EndFunc;
fp of caller
ra of caller
hiDerived Vtable
Code forDerived.hi
_t0
_t1
_t2
_t3
b
4
VTable*
AllocateObject
![Page 140: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/140.jpg)
Dissecting TACint main() { Base b; b = new Derived; b.hi();}
main: BeginFunc 20; _t0 = 4; PushParam _t0; b = LCall _Alloc; PopParams 4; _t1 = Derived; *b = _t1; _t2 = *b; _t3 = *_t2; PushParam b; ACall _t3; PopParams 4; EndFunc;
fp of caller
ra of caller
hiDerived Vtable
Code forDerived.hi
_t0
_t1
_t2
_t3
b
4
VTable*
AllocateObject
![Page 141: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/141.jpg)
Dissecting TACint main() { Base b; b = new Derived; b.hi();}
main: BeginFunc 20; _t0 = 4; PushParam _t0; b = LCall _Alloc; PopParams 4; _t1 = Derived; *b = _t1; _t2 = *b; _t3 = *_t2; PushParam b; ACall _t3; PopParams 4; EndFunc;
fp of caller
ra of caller
hiDerived Vtable
Code forDerived.hi
_t0
_t1
_t2
_t3
b
4
VTable*
AllocateObject
SetVtable
![Page 142: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/142.jpg)
Dissecting TACint main() { Base b; b = new Derived; b.hi();}
main: BeginFunc 20; _t0 = 4; PushParam _t0; b = LCall _Alloc; PopParams 4; _t1 = Derived; *b = _t1; _t2 = *b; _t3 = *_t2; PushParam b; ACall _t3; PopParams 4; EndFunc;
fp of caller
ra of caller
hiDerived Vtable
Code forDerived.hi
_t0
_t1
_t2
_t3
b
4
VTable*
AllocateObject
SetVtable
![Page 143: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/143.jpg)
Dissecting TACint main() { Base b; b = new Derived; b.hi();}
main: BeginFunc 20; _t0 = 4; PushParam _t0; b = LCall _Alloc; PopParams 4; _t1 = Derived; *b = _t1; _t2 = *b; _t3 = *_t2; PushParam b; ACall _t3; PopParams 4; EndFunc;
fp of caller
ra of caller
hiDerived Vtable
Code forDerived.hi
_t0
_t1
_t2
_t3
b
4
VTable*
AllocateObject
SetVtable
![Page 144: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/144.jpg)
Dissecting TACint main() { Base b; b = new Derived; b.hi();}
main: BeginFunc 20; _t0 = 4; PushParam _t0; b = LCall _Alloc; PopParams 4; _t1 = Derived; *b = _t1; _t2 = *b; _t3 = *_t2; PushParam b; ACall _t3; PopParams 4; EndFunc;
fp of caller
ra of caller
hiDerived Vtable
Code forDerived.hi
_t0
_t1
_t2
_t3
b
4
VTable*
AllocateObject
SetVtable
![Page 145: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/145.jpg)
Dissecting TACint main() { Base b; b = new Derived; b.hi();}
main: BeginFunc 20; _t0 = 4; PushParam _t0; b = LCall _Alloc; PopParams 4; _t1 = Derived; *b = _t1; _t2 = *b; _t3 = *_t2; PushParam b; ACall _t3; PopParams 4; EndFunc;
fp of caller
ra of caller
hiDerived Vtable
Code forDerived.hi
_t0
_t1
_t2
_t3
b
4
VTable*
AllocateObject
SetVtable
![Page 146: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/146.jpg)
Dissecting TACint main() { Base b; b = new Derived; b.hi();}
main: BeginFunc 20; _t0 = 4; PushParam _t0; b = LCall _Alloc; PopParams 4; _t1 = Derived; *b = _t1; _t2 = *b; _t3 = *_t2; PushParam b; ACall _t3; PopParams 4; EndFunc;
fp of caller
ra of caller
hiDerived Vtable
Code forDerived.hi
_t0
_t1
_t2
_t3
b
4
VTable*
AllocateObject
SetVtable
![Page 147: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/147.jpg)
Dissecting TACint main() { Base b; b = new Derived; b.hi();}
main: BeginFunc 20; _t0 = 4; PushParam _t0; b = LCall _Alloc; PopParams 4; _t1 = Derived; *b = _t1; _t2 = *b; _t3 = *_t2; PushParam b; ACall _t3; PopParams 4; EndFunc;
fp of caller
ra of caller
hiDerived Vtable
Code forDerived.hi
_t0
_t1
_t2
_t3
b
4
VTable*
AllocateObject
SetVtable
LoadFunction
![Page 148: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/148.jpg)
Dissecting TACint main() { Base b; b = new Derived; b.hi();}
main: BeginFunc 20; _t0 = 4; PushParam _t0; b = LCall _Alloc; PopParams 4; _t1 = Derived; *b = _t1; _t2 = *b; _t3 = *_t2; PushParam b; ACall _t3; PopParams 4; EndFunc;
fp of caller
ra of caller
hiDerived Vtable
Code forDerived.hi
_t0
_t1
_t2
_t3
b
4
VTable* LoadFunction
AllocateObject
SetVtable
![Page 149: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/149.jpg)
Dissecting TACint main() { Base b; b = new Derived; b.hi();}
main: BeginFunc 20; _t0 = 4; PushParam _t0; b = LCall _Alloc; PopParams 4; _t1 = Derived; *b = _t1; _t2 = *b; _t3 = *_t2; PushParam b; ACall _t3; PopParams 4; EndFunc;
fp of caller
ra of caller
hiDerived Vtable
Code forDerived.hi
_t0
_t1
_t2
_t3
b
4
VTable*
Param 1
LoadFunction
AllocateObject
SetVtable
![Page 150: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/150.jpg)
Dissecting TACint main() { Base b; b = new Derived; b.hi();}
main: BeginFunc 20; _t0 = 4; PushParam _t0; b = LCall _Alloc; PopParams 4; _t1 = Derived; *b = _t1; _t2 = *b; _t3 = *_t2; PushParam b; ACall _t3; PopParams 4; EndFunc;
fp of caller
ra of caller
hiDerived Vtable
Code forDerived.hi
_t0
_t1
_t2
_t3
b
4
VTable*
Param 1
LoadFunction
AllocateObject
SetVtable
![Page 151: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/151.jpg)
Dissecting TACint main() { Base b; b = new Derived; b.hi();}
main: BeginFunc 20; _t0 = 4; PushParam _t0; b = LCall _Alloc; PopParams 4; _t1 = Derived; *b = _t1; _t2 = *b; _t3 = *_t2; PushParam b; ACall _t3; PopParams 4; EndFunc;
fp of caller
ra of caller
hiDerived Vtable
Code forDerived.hi
_t0
_t1
_t2
_t3
b
4
VTable*
Param 1
LoadFunction
AllocateObject
SetVtable
![Page 152: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/152.jpg)
Dissecting TACint main() { Base b; b = new Derived; b.hi();}
main: BeginFunc 20; _t0 = 4; PushParam _t0; b = LCall _Alloc; PopParams 4; _t1 = Derived; *b = _t1; _t2 = *b; _t3 = *_t2; PushParam b; ACall _t3; PopParams 4; EndFunc;
fp of caller
ra of caller
hiDerived Vtable
Code forDerived.hi
_t0
_t1
_t2
_t3
b
4
VTable* LoadFunction
AllocateObject
SetVtable
![Page 153: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/153.jpg)
Dissecting TACint main() { Base b; b = new Derived; b.hi();}
main: BeginFunc 20; _t0 = 4; PushParam _t0; b = LCall _Alloc; PopParams 4; _t1 = Derived; *b = _t1; _t2 = *b; _t3 = *_t2; PushParam b; ACall _t3; PopParams 4; EndFunc;
fp of caller
ra of caller
hiDerived Vtable
Code forDerived.hi
_t0
_t1
_t2
_t3
b
4
VTable* LoadFunction
AllocateObject
SetVtable
![Page 154: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/154.jpg)
OOP in TAC
● The address of an object's vtable can be referenced via the name assigned to the vtable (usually the object name).● e.g. _t0 = Base;
● When creating objects, you must remember to set the object's vtable pointer or any method call will cause a crash at runtime.
● The ACall instruction can be used to call a method given a pointer to the first instruction.
![Page 155: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/155.jpg)
Generating TAC
![Page 156: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/156.jpg)
TAC Generation
● At this stage in compilation, we have● an AST,● annotated with scope information,● and annotated with type information.
● To generate TAC for the program, we do (yet another) recursive tree traversal!● Generate TAC for any subexpressions or
substatements.● Using the result, generate TAC for the overall
expression.
![Page 157: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/157.jpg)
TAC Generation for Expressions
● Define a function cgen(expr) that generates TAC that computes an expression, stores it in a temporary variable, then hands back the name of that temporary.
● Define cgen directly for atomic expressions (constants, this, identifiers, etc.).
● Define cgen recursively for compound expressions (binary operators, function calls, etc.)
![Page 158: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/158.jpg)
cgen for Basic Expressions
![Page 159: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/159.jpg)
cgen for Basic Expressions
cgen(k) = { // k is a constant Choose a new temporary t Emit( t = k ); Return t}
![Page 160: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/160.jpg)
cgen for Basic Expressions
cgen(k) = { // k is a constant Choose a new temporary t Emit( t = k ); Return t}cgen(id) = { // id is an identifier Choose a new temporary t Emit( t = id ) Return t}
![Page 161: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/161.jpg)
cgen for Binary Operators
![Page 162: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/162.jpg)
cgen for Binary Operators
cgen(e1 + e2) = { Choose a new temporary t Let t1 = cgen(e1) Let t2 = cgen(e2) Emit( t = t1 + t2 ) Return t}
![Page 163: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/163.jpg)
An Examplecgen(5 + x) = { Choose a new temporary t Let t1 = cgen(5) Let t2 = cgen(x) Emit (t = t1 + t2) Return t}
![Page 164: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/164.jpg)
An Examplecgen(5 + x) = { Choose a new temporary t Let t1 = { Choose a new temporary t Emit( t = 5 ) return t } Let t2 = cgen(x) Emit (t = t1 + t2) Return t}
![Page 165: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/165.jpg)
An Examplecgen(5 + x) = { Choose a new temporary t Let t1 = { Choose a new temporary t Emit( t = 5 ) return t } Let t2 = { Choose a new temporary t Emit( t = x ) return t } Emit (t = t1 + t2) Return t}
![Page 166: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/166.jpg)
An Examplecgen(5 + x) = { Choose a new temporary t Let t1 = { Choose a new temporary t Emit( t = 5 ) return t } Let t2 = { Choose a new temporary t Emit( t = x ) return t } Emit (t = t1 + t2) Return t}
_t0 = 5_t1 = x_t2 = _t0 + _t1
![Page 167: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/167.jpg)
cgen for Statements
● We can extend the cgen function to operate over statements as well.
● Unlike cgen for expressions, cgen for statements does not return the name of a temporary holding a value.● (Why?)
![Page 168: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/168.jpg)
cgen for Simple Statements
![Page 169: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/169.jpg)
cgen for Simple Statements
cgen(expr;) = { cgen(expr)}
![Page 170: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/170.jpg)
cgen for while loops
![Page 171: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/171.jpg)
cgen for while loops
cgen(while (expr) stmt) = { Let Lbefore be a new label. Let Lafter be a new label. Emit( Lbefore:)
Let t = cgen(expr) Emit( IfZ t Goto Lafter ) cgen(stmt) Emit( Goto Lbefore ) Emit( Lafter: )}
![Page 172: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/172.jpg)
cgen for while loops
cgen(while (expr) stmt) = { Let Lbefore be a new label. Let Lafter be a new label. Emit( Lbefore:)
Let t = cgen(expr) Emit( IfZ t Goto Lafter ) cgen(stmt) Emit( Goto Lbefore ) Emit( Lafter: )}
![Page 173: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/173.jpg)
cgen for while loops
cgen(while (expr) stmt) = { Let Lbefore be a new label. Let Lafter be a new label. Emit( Lbefore:)
Let t = cgen(expr) Emit( IfZ t Goto Lafter ) cgen(stmt) Emit( Goto Lbefore ) Emit( Lafter: )}
![Page 174: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/174.jpg)
cgen for while loops
cgen(while (expr) stmt) = { Let Lbefore be a new label. Let Lafter be a new label. Emit( Lbefore:)
Let t = cgen(expr) Emit( IfZ t Goto Lafter ) cgen(stmt) Emit( Goto Lbefore ) Emit( Lafter: )}
![Page 175: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/175.jpg)
cgen for while loops
cgen(while (expr) stmt) = { Let Lbefore be a new label. Let Lafter be a new label. Emit( Lbefore:)
Let t = cgen(expr) Emit( IfZ t Goto Lafter ) cgen(stmt) Emit( Goto Lbefore ) Emit( Lafter: )}
![Page 176: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/176.jpg)
cgen for while loops
cgen(while (expr) stmt) = { Let Lbefore be a new label. Let Lafter be a new label. Emit( Lbefore:)
Let t = cgen(expr) Emit( IfZ t Goto Lafter ) cgen(stmt) Emit( Goto Lbefore ) Emit( Lafter: )}
![Page 177: Three-Address Code IR - Stanford University · We provide a code generator to produce MIPS assembly. ... int r2 = x2 + y2; Sample TAC Code int x; int y; ... instruction marking the](https://reader031.vdocument.in/reader031/viewer/2022022012/5b18bd297f8b9a19258c1546/html5/thumbnails/177.jpg)
Next Time
● Intro to IR Optimization● Basic Blocks● Control-Flow Graphs● Local Optimizations