SlideShare a Scribd company logo
COMPUTER ORGANIZATION
AND ASSEMBLY LANGUAGE
LECTURE-7-MACHINE LEVEL PROGRAMMING-
PROCEDURES
MUHAMMAD HAFEEZ
DEPARTMENT OF COMPUTER SCIENCE
GC UNIVERSITY LAHORE
Procedure
 A procedure call involves passing both data (in
the form of procedure parameters and return
values) and control from one part of a program to
another. In addition, it must allocate space for the
local variables of the procedure on entry and
deallocate them on exit. Most machines, including
IA32, provide only simple instructions for
transferring control to and from procedures. The
passing of data and the allocation and
deallocation of local variables is handled by
manipulating the program stack.
Stack Frame Structure
 IA32 programs make use of the program
stack to support procedure calls.
 The machine uses the stack
 To pass procedure arguments,
 To store return information,
 To save registers for later restoration,
 For local storage.
 The portion of the stack allocated for a
single procedure call is called a stack
frame.
Stack Frame
 The topmost stack frame is delimited by
two pointers, with register %ebp serving
as the frame pointer, and register %esp
serving as the stack pointer. The stack
pointer cannot move while the procedure
is executing, and hence most information
is accessed relative to the frame pointer.
Stack Frame
 Suppose procedure P (the caller) calls
procedure Q (the callee). The arguments
to Q are contained within the stack frame
for P. In addition, when P calls Q, the
return address within P where the
program should resume execution when
it returns from Q is pushed onto the
stack, forming the end of P’s stack frame.
 The stack frame for Q starts with the
saved value of the frame pointer (a copy
of register %ebp), followed by copies of
any other saved register values.
Stack Frame
 Procedure Q also uses the stack for any
local variables that cannot be stored in
registers. This can occur for the following
reasons:
 There are not enough registers to hold all of the
local data.
 Some of the local variables are arrays or
structures and hence must be accessed by array
or structure references.
 The address operator ‘&’ is applied to a local
variable, and hence we must be able to generate
an address for it.
Stack Frame
 In addition, Q uses the stack frame for
storing arguments to any procedures it
calls.
 Within the called procedure, the first
argument is positioned at offset 8 relative
to %ebp, and the remaining arguments
(assuming their data types require no
more than 4 bytes) are stored in
successive 4-byte blocks, so that argument
i is at offset 4+4i relative to %ebp. Larger
arguments (such as structures and larger
numeric formats) require larger regions on
the stack.
Stack Frame
 As described earlier, the stack grows toward lower
addresses and the stack pointer %esp points to
the top element of the stack.
 Data can be stored on and retrieved from the
stack using the pushl and popl instructions.
 Space for data with no specified initial value can
be allocated on the stack by simply decrementing
the stack pointer by an appropriate amount.
Similarly, space can be deallocated by
incrementing the stack pointer.
Transferring Control-Section
B 18/12/20
 The instructions supporting procedure
calls and returns are shown in the
following table:
Transferring Control
 The call instruction has a target which is
the address of the instruction where the
called procedure starts. Just like jumps, a
call can either be direct or indirect.
 In assembly code, the target of a direct
call is given as a label
 While the target of an indirect call is
given by a * followed by an operand
specifier which would be either register
or memory.
Transferring Control
 The effect of a call instruction is to push
a return address on the stack and jump
to the start of the called procedure. The
return address is the address of the
instruction immediately following the call
in the program, so that execution will
resume at this location when the called
procedure returns.
Transferring Control
 The ret instruction pops an address off
the stack and jumps to this location.
 The proper use of this instruction is to
have prepared the stack so that the stack
pointer points to the place where the
preceding call instruction stored its
return address.
Transferring Control-Section
C, 17/12/20
Transferring Control
Transferring Control
 In this code, we can see that the call
instruction with address 0x080483dc in
main that calls the function sum.
 This is shown as stack pointer %esp and
the program counter %eip.
 The effect of the call is to push the return
address 0x080483e1 onto the stack and
to jump to the first instruction in function
sum, at address 0x08048394.
 The execution of function sum continues
until it hits the ret instruction at address
0x080483a4.
Transferring Control , E1-
15/12/20
 This instruction pops the value
0x080483e1 from the stack and jumps to
this address, resuming the execution of
main just after the call instruction in
sum.
 The leave instruction can be used to prepare the
stack for returning. It is equivalent to the
following code sequence:
Transferring Control-E2,
14/12/20
 Alternatively, this preparation can be
performed by an explicit sequence of
move and pop operations.
 Register %eax is used for returning the
value from any function that returns an
integer or pointer.
Register Usage Convention
 The set of program registers acts as a
single resource shared by all of the
procedures. Although only one procedure
can be active at a given time, we must
make sure that when one procedure (the
caller) calls another (the callee), the
callee does not overwrite some register
value that the caller planned to use later.
 For this reason, IA32 adopts a uniform
set of conventions for register usage that
must be respected by all procedures,
including those in program libraries.
Register Usage Convention
 The set of program registers acts as a
single resource shared by all of the
procedures. Although only one procedure
can be active at a given time, we must
make sure that when one procedure (the
caller) calls another (the callee), the
callee does not overwrite some register
value that the caller planned to use later.
 For this reason, IA32 adopts a uniform
set of conventions for register usage that
must be respected by all procedures,
including those in program libraries.
Register Usage Convention
 By convention, registers %eax, %edx,
and %ecx are classified as caller-save
registers. When procedure Q is called by
P , it can overwrite these registers
without destroying any data required by
P. On the other hand, registers %ebx,
%esi, and %edi are classified as callee-
save registers. This means that Q must
save the values of any of these registers
on the stack before overwriting them,
and restore them before returning,
Register Usage Convention
 because P(or some higher-level
procedure) may need these values for its
future computations. In addition,
registers %ebp and %esp must be
maintained according to the conventions
described here.
Register Usage Convention
 As an example, consider the following
code:
int P(int x)
{
int y = x*x;
int z = Q(y);
return y+z;
}
Register Usage Convention
 Procedure P computes y before calling Q, but it must also
ensure that the value of y is available after Q returns.
 It can do this by one of two means:
 It can store the value of y in its own stack frame before
calling Q; when Q returns, procedure P can then retrieve the
value of y from the stack. In other words,P, the caller,saves
the value.
 It can store the value of y in a callee-save register. If Q, or
any procedure called by Q, wants to use this register, it
must save the register value in its stack frame and restore
the value before it returns (in other words, the callee
 saves the value). When Q returns to P, the value of y will be
in the callee-save register, either because the register was
never altered or because it was saved and restored.
Register Usage Convention
 Either convention can be made to work, as long as there is
agreement as to which function is responsible for saving
which value. IA32 follows both approaches, partitioning the
registers into one set that is caller-save, and another set
that is callee-save.
Procedure Example
Procedure example
Procedure Example
 The stack frame for caller includes
storage for local variables arg1 and arg2,
at positions−4 and−8 relative to the
frame pointer. These variables must be
stored on the stack, since the code must
associate an address with them. The
following assembly code from the
compiled version of caller shows how it
calls
Procedure Example
 swap_add:
Procedure Example
 This code saves a copy of %ebp and sets %ebp to
the beginning of the stack frame (lines 2–3). It
then allocates 24 bytes on the stack by
decrementing the stack pointer (recall that the
stack grows toward lower addresses). It initializes
arg1 and arg2 to 534 and 1057, respectively
(lines 5–6), and computes the values of &arg2
and &arg1 and stores these on the stack to form
the arguments to swap_add(lines 7–10).
 It stores these arguments relative to the stack
pointer, at offsets 0 and+4 for later access
byswap_add. It then calls swap_add. Of the 24
bytes allocated for the stack frame, 8 are
used for the local variables, 8 are used for
passing parameters toswap_add, and 8 are
Procedure Example
 The compiled code for swap_add has three parts:
 The “setup,” where the stack frame is initialized;
 The “body,” where the actual computation of the
procedure is performed; and
 The “finish,” where the stack state is restored and
the procedure returns.
Procedure Example
 The following is the setup code for swap_add.
 Recall that before reaching this part of the code,
the call instruction will have pushed the return
address onto the stack.
Procedure Example
 Function swap_add requires register %ebx for
temporary storage. Since this is a callee-save
register, it pushes the old value onto the stack as
part of the stack frame setup. At this point, the
state of the stack is as shown on the right-hand
side of Figure. Register %ebp has been shifted to
serve as the frame pointer for swap_add.
Procedure Example
Procedure Example
 This code retrieves its arguments from the
stack frame for caller. Since the frame
pointer has shifted, the locations of these
arguments has shifted from positions +4
and 0 relative to the old value of %esp to
positions+12 and+8 relative to new value
of %ebp. The sum of variables x and y is
stored in register %eax to be passed as
the returned value.
Procedure Example
Procedure Example
 This code restores the values of registers
%ebx and %ebp, while also resetting the
stack pointer so that it points to the stored
return address, so that the ret instruction
transfers control back to caller.
Procedure Example
Procedure Example
 This code retrieves the values of arg1 and arg2
from the stack in order to compute diff, and uses
register %eax as the return value froms wap_add.
 Observe the use of the leave instruction to reset
both the stack and the frame pointer prior to
return.
 We have seen in our code examples that the code
generated by gcc sometimes uses a leave
instruction to deallocate a stack frame, and
sometimes it uses one or two popl instructions.
 Either approach is acceptable, and the guidelines
from Intel and AMD as to which is preferable
change over time.
Recursive Procedures
 The stack and linkage conventions allow
procedures to call themselves recursively.
 Since each call has its own private space
on the stack, the local variables of the
multiple outstanding calls do not interfere
with one another.
 Furthermore, the stack discipline naturally
provides the proper policy for allocating
local storage when the procedure is called
and deallocating it when it returns.
Recursive Procedures
Recursive Procedures
Recursive Procedures
Recursive Procedures
 Let us examine how the machine code will
operate when called with argument n.
 The set-up code (lines 2– 5) creates a stack frame
containing the old version of %ebp, the saved
value for callee-save register %ebx, and 4 bytes
to hold the argument when it calls itself
recursively, as shown in diagram.
 It uses register %ebx to save a copy of n(line 6).
 It sets the return value in register %eax to 1
(line 7) in anticipation of the case where n≤1, in
which event it will jump to the completion code.
Recursive Procedures
 For the recursive case, it computes n−1, stores it
on the stack, and calls itself (lines 10–12).
 Upon completion of the code, we can assume
 (1) register %eax holds the value of(n−1)! and
(2) callee-save register %ebx holds the parameter
n.
 It therefore multiplies these two quantities (line
13) to generate the return value of the function.
 For both cases—the terminal condition and the
recursive call—the code proceeds to the
completion section (lines 15–17) to restore the
stack and callee-saved register, and then it
returns.
QUESTIONS
 ??????????????????????????

More Related Content

What's hot

Chapter Eight(3)
Chapter Eight(3)Chapter Eight(3)
Chapter Eight(3)
bolovv
 
Code generator
Code generatorCode generator
Code generator
Tech_MX
 

What's hot (20)

Code generation
Code generationCode generation
Code generation
 
Chapter Eight(3)
Chapter Eight(3)Chapter Eight(3)
Chapter Eight(3)
 
Computer architecture instruction formats
Computer architecture instruction formatsComputer architecture instruction formats
Computer architecture instruction formats
 
Chapter 5 programming concepts iv
Chapter 5  programming concepts ivChapter 5  programming concepts iv
Chapter 5 programming concepts iv
 
instruction format and addressing modes
instruction format and addressing modesinstruction format and addressing modes
instruction format and addressing modes
 
Intermediate code generation
Intermediate code generationIntermediate code generation
Intermediate code generation
 
Lecture 12 intermediate code generation
Lecture 12 intermediate code generationLecture 12 intermediate code generation
Lecture 12 intermediate code generation
 
Register allocation and assignment
Register allocation and assignmentRegister allocation and assignment
Register allocation and assignment
 
Arrays and addressing modes
Arrays and addressing modesArrays and addressing modes
Arrays and addressing modes
 
Intermediate code generation in Compiler Design
Intermediate code generation in Compiler DesignIntermediate code generation in Compiler Design
Intermediate code generation in Compiler Design
 
Code generator
Code generatorCode generator
Code generator
 
Advanced procedures in assembly language Full chapter ppt
Advanced procedures in assembly language Full chapter pptAdvanced procedures in assembly language Full chapter ppt
Advanced procedures in assembly language Full chapter ppt
 
Lecture 16 17 code-generation
Lecture 16 17 code-generationLecture 16 17 code-generation
Lecture 16 17 code-generation
 
Compiler Design - Ambiguous grammar, LMD & RMD, Infix & Postfix, Implementati...
Compiler Design - Ambiguous grammar, LMD & RMD, Infix & Postfix, Implementati...Compiler Design - Ambiguous grammar, LMD & RMD, Infix & Postfix, Implementati...
Compiler Design - Ambiguous grammar, LMD & RMD, Infix & Postfix, Implementati...
 
Chapter11 addressing
Chapter11 addressingChapter11 addressing
Chapter11 addressing
 
Interm codegen
Interm codegenInterm codegen
Interm codegen
 
Addressing modes
Addressing modesAddressing modes
Addressing modes
 
Chapter 4 programming concepts III
Chapter 4  programming concepts IIIChapter 4  programming concepts III
Chapter 4 programming concepts III
 
Advanced computer architect lesson 3 and 4
Advanced computer architect lesson 3 and 4Advanced computer architect lesson 3 and 4
Advanced computer architect lesson 3 and 4
 
Assembly language programming intro
Assembly language programming introAssembly language programming intro
Assembly language programming intro
 

Similar to Co&al lecture-07

Similar to Co&al lecture-07 (20)

Compiler 2011-8-re1
Compiler 2011-8-re1Compiler 2011-8-re1
Compiler 2011-8-re1
 
Compiler 2011-8-re1
Compiler 2011-8-re1Compiler 2011-8-re1
Compiler 2011-8-re1
 
chapter-7-runtime-environments.ppt
chapter-7-runtime-environments.pptchapter-7-runtime-environments.ppt
chapter-7-runtime-environments.ppt
 
Chapter 5 notes
Chapter 5 notesChapter 5 notes
Chapter 5 notes
 
Chapter 5 notes new
Chapter 5 notes newChapter 5 notes new
Chapter 5 notes new
 
Chapter 6 notes
Chapter 6 notesChapter 6 notes
Chapter 6 notes
 
Intermediate code optimization Unit-4.pdf
Intermediate code optimization Unit-4.pdfIntermediate code optimization Unit-4.pdf
Intermediate code optimization Unit-4.pdf
 
Buffer overflow attack
Buffer overflow attackBuffer overflow attack
Buffer overflow attack
 
Cao
CaoCao
Cao
 
Chap6 procedures & macros
Chap6 procedures & macrosChap6 procedures & macros
Chap6 procedures & macros
 
Chapter 4: Parallel Programming Languages
Chapter 4: Parallel Programming LanguagesChapter 4: Parallel Programming Languages
Chapter 4: Parallel Programming Languages
 
ITEC582-Chapter 12.pptx
ITEC582-Chapter 12.pptxITEC582-Chapter 12.pptx
ITEC582-Chapter 12.pptx
 
Intel IA 64
Intel IA 64Intel IA 64
Intel IA 64
 
[ASM]Lab6
[ASM]Lab6[ASM]Lab6
[ASM]Lab6
 
Systemcall
SystemcallSystemcall
Systemcall
 
The Stack Frame
The Stack FrameThe Stack Frame
The Stack Frame
 
Microprocessor 8085 architecture ppt. april 2013
Microprocessor 8085 architecture ppt. april 2013Microprocessor 8085 architecture ppt. april 2013
Microprocessor 8085 architecture ppt. april 2013
 
220 runtime environments
220 runtime environments220 runtime environments
220 runtime environments
 
Assembler directives and basic steps ALP of 8086
Assembler directives and basic steps ALP of 8086Assembler directives and basic steps ALP of 8086
Assembler directives and basic steps ALP of 8086
 
Automate Payload Generation for a Given Binary and Perform Attack
Automate Payload Generation for a Given Binary and Perform AttackAutomate Payload Generation for a Given Binary and Perform Attack
Automate Payload Generation for a Given Binary and Perform Attack
 

Recently uploaded

Investigate & Recover / StarCompliance.io / Crypto_Crimes
Investigate & Recover / StarCompliance.io / Crypto_CrimesInvestigate & Recover / StarCompliance.io / Crypto_Crimes
Investigate & Recover / StarCompliance.io / Crypto_Crimes
StarCompliance.io
 
Exploratory Data Analysis - Dilip S.pptx
Exploratory Data Analysis - Dilip S.pptxExploratory Data Analysis - Dilip S.pptx
Exploratory Data Analysis - Dilip S.pptx
DilipVasan
 
一比一原版(YU毕业证)约克大学毕业证成绩单
一比一原版(YU毕业证)约克大学毕业证成绩单一比一原版(YU毕业证)约克大学毕业证成绩单
一比一原版(YU毕业证)约克大学毕业证成绩单
enxupq
 
一比一原版(QU毕业证)皇后大学毕业证成绩单
一比一原版(QU毕业证)皇后大学毕业证成绩单一比一原版(QU毕业证)皇后大学毕业证成绩单
一比一原版(QU毕业证)皇后大学毕业证成绩单
enxupq
 
Computer Presentation.pptx ecommerce advantage s
Computer Presentation.pptx ecommerce advantage sComputer Presentation.pptx ecommerce advantage s
Computer Presentation.pptx ecommerce advantage s
MAQIB18
 
一比一原版(IIT毕业证)伊利诺伊理工大学毕业证成绩单
一比一原版(IIT毕业证)伊利诺伊理工大学毕业证成绩单一比一原版(IIT毕业证)伊利诺伊理工大学毕业证成绩单
一比一原版(IIT毕业证)伊利诺伊理工大学毕业证成绩单
ewymefz
 
一比一原版(UPenn毕业证)宾夕法尼亚大学毕业证成绩单
一比一原版(UPenn毕业证)宾夕法尼亚大学毕业证成绩单一比一原版(UPenn毕业证)宾夕法尼亚大学毕业证成绩单
一比一原版(UPenn毕业证)宾夕法尼亚大学毕业证成绩单
ewymefz
 
Opendatabay - Open Data Marketplace.pptx
Opendatabay - Open Data Marketplace.pptxOpendatabay - Open Data Marketplace.pptx
Opendatabay - Open Data Marketplace.pptx
Opendatabay
 

Recently uploaded (20)

Using PDB Relocation to Move a Single PDB to Another Existing CDB
Using PDB Relocation to Move a Single PDB to Another Existing CDBUsing PDB Relocation to Move a Single PDB to Another Existing CDB
Using PDB Relocation to Move a Single PDB to Another Existing CDB
 
2024-05-14 - Tableau User Group - TC24 Hot Topics - Tableau Pulse and Einstei...
2024-05-14 - Tableau User Group - TC24 Hot Topics - Tableau Pulse and Einstei...2024-05-14 - Tableau User Group - TC24 Hot Topics - Tableau Pulse and Einstei...
2024-05-14 - Tableau User Group - TC24 Hot Topics - Tableau Pulse and Einstei...
 
Q1’2024 Update: MYCI’s Leap Year Rebound
Q1’2024 Update: MYCI’s Leap Year ReboundQ1’2024 Update: MYCI’s Leap Year Rebound
Q1’2024 Update: MYCI’s Leap Year Rebound
 
Investigate & Recover / StarCompliance.io / Crypto_Crimes
Investigate & Recover / StarCompliance.io / Crypto_CrimesInvestigate & Recover / StarCompliance.io / Crypto_Crimes
Investigate & Recover / StarCompliance.io / Crypto_Crimes
 
Webinar One View, Multiple Systems No-Code Integration of Salesforce and ERPs
Webinar One View, Multiple Systems No-Code Integration of Salesforce and ERPsWebinar One View, Multiple Systems No-Code Integration of Salesforce and ERPs
Webinar One View, Multiple Systems No-Code Integration of Salesforce and ERPs
 
Tabula.io Cheatsheet: automate your data workflows
Tabula.io Cheatsheet: automate your data workflowsTabula.io Cheatsheet: automate your data workflows
Tabula.io Cheatsheet: automate your data workflows
 
社内勉強会資料_LLM Agents                              .
社内勉強会資料_LLM Agents                              .社内勉強会資料_LLM Agents                              .
社内勉強会資料_LLM Agents                              .
 
Supply chain analytics to combat the effects of Ukraine-Russia-conflict
Supply chain analytics to combat the effects of Ukraine-Russia-conflictSupply chain analytics to combat the effects of Ukraine-Russia-conflict
Supply chain analytics to combat the effects of Ukraine-Russia-conflict
 
Exploratory Data Analysis - Dilip S.pptx
Exploratory Data Analysis - Dilip S.pptxExploratory Data Analysis - Dilip S.pptx
Exploratory Data Analysis - Dilip S.pptx
 
一比一原版(YU毕业证)约克大学毕业证成绩单
一比一原版(YU毕业证)约克大学毕业证成绩单一比一原版(YU毕业证)约克大学毕业证成绩单
一比一原版(YU毕业证)约克大学毕业证成绩单
 
一比一原版(QU毕业证)皇后大学毕业证成绩单
一比一原版(QU毕业证)皇后大学毕业证成绩单一比一原版(QU毕业证)皇后大学毕业证成绩单
一比一原版(QU毕业证)皇后大学毕业证成绩单
 
Computer Presentation.pptx ecommerce advantage s
Computer Presentation.pptx ecommerce advantage sComputer Presentation.pptx ecommerce advantage s
Computer Presentation.pptx ecommerce advantage s
 
Slip-and-fall Injuries: Top Workers' Comp Claims
Slip-and-fall Injuries: Top Workers' Comp ClaimsSlip-and-fall Injuries: Top Workers' Comp Claims
Slip-and-fall Injuries: Top Workers' Comp Claims
 
一比一原版(IIT毕业证)伊利诺伊理工大学毕业证成绩单
一比一原版(IIT毕业证)伊利诺伊理工大学毕业证成绩单一比一原版(IIT毕业证)伊利诺伊理工大学毕业证成绩单
一比一原版(IIT毕业证)伊利诺伊理工大学毕业证成绩单
 
一比一原版(UPenn毕业证)宾夕法尼亚大学毕业证成绩单
一比一原版(UPenn毕业证)宾夕法尼亚大学毕业证成绩单一比一原版(UPenn毕业证)宾夕法尼亚大学毕业证成绩单
一比一原版(UPenn毕业证)宾夕法尼亚大学毕业证成绩单
 
Pre-ProductionImproveddsfjgndflghtgg.pptx
Pre-ProductionImproveddsfjgndflghtgg.pptxPre-ProductionImproveddsfjgndflghtgg.pptx
Pre-ProductionImproveddsfjgndflghtgg.pptx
 
Opendatabay - Open Data Marketplace.pptx
Opendatabay - Open Data Marketplace.pptxOpendatabay - Open Data Marketplace.pptx
Opendatabay - Open Data Marketplace.pptx
 
Jpolillo Amazon PPC - Bid Optimization Sample
Jpolillo Amazon PPC - Bid Optimization SampleJpolillo Amazon PPC - Bid Optimization Sample
Jpolillo Amazon PPC - Bid Optimization Sample
 
Innovative Methods in Media and Communication Research by Sebastian Kubitschk...
Innovative Methods in Media and Communication Research by Sebastian Kubitschk...Innovative Methods in Media and Communication Research by Sebastian Kubitschk...
Innovative Methods in Media and Communication Research by Sebastian Kubitschk...
 
How can I successfully sell my pi coins in Philippines?
How can I successfully sell my pi coins in Philippines?How can I successfully sell my pi coins in Philippines?
How can I successfully sell my pi coins in Philippines?
 

Co&al lecture-07

  • 1. COMPUTER ORGANIZATION AND ASSEMBLY LANGUAGE LECTURE-7-MACHINE LEVEL PROGRAMMING- PROCEDURES MUHAMMAD HAFEEZ DEPARTMENT OF COMPUTER SCIENCE GC UNIVERSITY LAHORE
  • 2. Procedure  A procedure call involves passing both data (in the form of procedure parameters and return values) and control from one part of a program to another. In addition, it must allocate space for the local variables of the procedure on entry and deallocate them on exit. Most machines, including IA32, provide only simple instructions for transferring control to and from procedures. The passing of data and the allocation and deallocation of local variables is handled by manipulating the program stack.
  • 3. Stack Frame Structure  IA32 programs make use of the program stack to support procedure calls.  The machine uses the stack  To pass procedure arguments,  To store return information,  To save registers for later restoration,  For local storage.  The portion of the stack allocated for a single procedure call is called a stack frame.
  • 4.
  • 5. Stack Frame  The topmost stack frame is delimited by two pointers, with register %ebp serving as the frame pointer, and register %esp serving as the stack pointer. The stack pointer cannot move while the procedure is executing, and hence most information is accessed relative to the frame pointer.
  • 6. Stack Frame  Suppose procedure P (the caller) calls procedure Q (the callee). The arguments to Q are contained within the stack frame for P. In addition, when P calls Q, the return address within P where the program should resume execution when it returns from Q is pushed onto the stack, forming the end of P’s stack frame.  The stack frame for Q starts with the saved value of the frame pointer (a copy of register %ebp), followed by copies of any other saved register values.
  • 7. Stack Frame  Procedure Q also uses the stack for any local variables that cannot be stored in registers. This can occur for the following reasons:  There are not enough registers to hold all of the local data.  Some of the local variables are arrays or structures and hence must be accessed by array or structure references.  The address operator ‘&’ is applied to a local variable, and hence we must be able to generate an address for it.
  • 8. Stack Frame  In addition, Q uses the stack frame for storing arguments to any procedures it calls.  Within the called procedure, the first argument is positioned at offset 8 relative to %ebp, and the remaining arguments (assuming their data types require no more than 4 bytes) are stored in successive 4-byte blocks, so that argument i is at offset 4+4i relative to %ebp. Larger arguments (such as structures and larger numeric formats) require larger regions on the stack.
  • 9. Stack Frame  As described earlier, the stack grows toward lower addresses and the stack pointer %esp points to the top element of the stack.  Data can be stored on and retrieved from the stack using the pushl and popl instructions.  Space for data with no specified initial value can be allocated on the stack by simply decrementing the stack pointer by an appropriate amount. Similarly, space can be deallocated by incrementing the stack pointer.
  • 10. Transferring Control-Section B 18/12/20  The instructions supporting procedure calls and returns are shown in the following table:
  • 11. Transferring Control  The call instruction has a target which is the address of the instruction where the called procedure starts. Just like jumps, a call can either be direct or indirect.  In assembly code, the target of a direct call is given as a label  While the target of an indirect call is given by a * followed by an operand specifier which would be either register or memory.
  • 12. Transferring Control  The effect of a call instruction is to push a return address on the stack and jump to the start of the called procedure. The return address is the address of the instruction immediately following the call in the program, so that execution will resume at this location when the called procedure returns.
  • 13. Transferring Control  The ret instruction pops an address off the stack and jumps to this location.  The proper use of this instruction is to have prepared the stack so that the stack pointer points to the place where the preceding call instruction stored its return address.
  • 16. Transferring Control  In this code, we can see that the call instruction with address 0x080483dc in main that calls the function sum.  This is shown as stack pointer %esp and the program counter %eip.  The effect of the call is to push the return address 0x080483e1 onto the stack and to jump to the first instruction in function sum, at address 0x08048394.  The execution of function sum continues until it hits the ret instruction at address 0x080483a4.
  • 17. Transferring Control , E1- 15/12/20  This instruction pops the value 0x080483e1 from the stack and jumps to this address, resuming the execution of main just after the call instruction in sum.  The leave instruction can be used to prepare the stack for returning. It is equivalent to the following code sequence:
  • 18. Transferring Control-E2, 14/12/20  Alternatively, this preparation can be performed by an explicit sequence of move and pop operations.  Register %eax is used for returning the value from any function that returns an integer or pointer.
  • 19. Register Usage Convention  The set of program registers acts as a single resource shared by all of the procedures. Although only one procedure can be active at a given time, we must make sure that when one procedure (the caller) calls another (the callee), the callee does not overwrite some register value that the caller planned to use later.  For this reason, IA32 adopts a uniform set of conventions for register usage that must be respected by all procedures, including those in program libraries.
  • 20. Register Usage Convention  The set of program registers acts as a single resource shared by all of the procedures. Although only one procedure can be active at a given time, we must make sure that when one procedure (the caller) calls another (the callee), the callee does not overwrite some register value that the caller planned to use later.  For this reason, IA32 adopts a uniform set of conventions for register usage that must be respected by all procedures, including those in program libraries.
  • 21. Register Usage Convention  By convention, registers %eax, %edx, and %ecx are classified as caller-save registers. When procedure Q is called by P , it can overwrite these registers without destroying any data required by P. On the other hand, registers %ebx, %esi, and %edi are classified as callee- save registers. This means that Q must save the values of any of these registers on the stack before overwriting them, and restore them before returning,
  • 22. Register Usage Convention  because P(or some higher-level procedure) may need these values for its future computations. In addition, registers %ebp and %esp must be maintained according to the conventions described here.
  • 23. Register Usage Convention  As an example, consider the following code: int P(int x) { int y = x*x; int z = Q(y); return y+z; }
  • 24. Register Usage Convention  Procedure P computes y before calling Q, but it must also ensure that the value of y is available after Q returns.  It can do this by one of two means:  It can store the value of y in its own stack frame before calling Q; when Q returns, procedure P can then retrieve the value of y from the stack. In other words,P, the caller,saves the value.  It can store the value of y in a callee-save register. If Q, or any procedure called by Q, wants to use this register, it must save the register value in its stack frame and restore the value before it returns (in other words, the callee  saves the value). When Q returns to P, the value of y will be in the callee-save register, either because the register was never altered or because it was saved and restored.
  • 25. Register Usage Convention  Either convention can be made to work, as long as there is agreement as to which function is responsible for saving which value. IA32 follows both approaches, partitioning the registers into one set that is caller-save, and another set that is callee-save.
  • 28. Procedure Example  The stack frame for caller includes storage for local variables arg1 and arg2, at positions−4 and−8 relative to the frame pointer. These variables must be stored on the stack, since the code must associate an address with them. The following assembly code from the compiled version of caller shows how it calls
  • 30. Procedure Example  This code saves a copy of %ebp and sets %ebp to the beginning of the stack frame (lines 2–3). It then allocates 24 bytes on the stack by decrementing the stack pointer (recall that the stack grows toward lower addresses). It initializes arg1 and arg2 to 534 and 1057, respectively (lines 5–6), and computes the values of &arg2 and &arg1 and stores these on the stack to form the arguments to swap_add(lines 7–10).  It stores these arguments relative to the stack pointer, at offsets 0 and+4 for later access byswap_add. It then calls swap_add. Of the 24 bytes allocated for the stack frame, 8 are used for the local variables, 8 are used for passing parameters toswap_add, and 8 are
  • 31. Procedure Example  The compiled code for swap_add has three parts:  The “setup,” where the stack frame is initialized;  The “body,” where the actual computation of the procedure is performed; and  The “finish,” where the stack state is restored and the procedure returns.
  • 32. Procedure Example  The following is the setup code for swap_add.  Recall that before reaching this part of the code, the call instruction will have pushed the return address onto the stack.
  • 33. Procedure Example  Function swap_add requires register %ebx for temporary storage. Since this is a callee-save register, it pushes the old value onto the stack as part of the stack frame setup. At this point, the state of the stack is as shown on the right-hand side of Figure. Register %ebp has been shifted to serve as the frame pointer for swap_add.
  • 35. Procedure Example  This code retrieves its arguments from the stack frame for caller. Since the frame pointer has shifted, the locations of these arguments has shifted from positions +4 and 0 relative to the old value of %esp to positions+12 and+8 relative to new value of %ebp. The sum of variables x and y is stored in register %eax to be passed as the returned value.
  • 37. Procedure Example  This code restores the values of registers %ebx and %ebp, while also resetting the stack pointer so that it points to the stored return address, so that the ret instruction transfers control back to caller.
  • 39. Procedure Example  This code retrieves the values of arg1 and arg2 from the stack in order to compute diff, and uses register %eax as the return value froms wap_add.  Observe the use of the leave instruction to reset both the stack and the frame pointer prior to return.  We have seen in our code examples that the code generated by gcc sometimes uses a leave instruction to deallocate a stack frame, and sometimes it uses one or two popl instructions.  Either approach is acceptable, and the guidelines from Intel and AMD as to which is preferable change over time.
  • 40. Recursive Procedures  The stack and linkage conventions allow procedures to call themselves recursively.  Since each call has its own private space on the stack, the local variables of the multiple outstanding calls do not interfere with one another.  Furthermore, the stack discipline naturally provides the proper policy for allocating local storage when the procedure is called and deallocating it when it returns.
  • 44. Recursive Procedures  Let us examine how the machine code will operate when called with argument n.  The set-up code (lines 2– 5) creates a stack frame containing the old version of %ebp, the saved value for callee-save register %ebx, and 4 bytes to hold the argument when it calls itself recursively, as shown in diagram.  It uses register %ebx to save a copy of n(line 6).  It sets the return value in register %eax to 1 (line 7) in anticipation of the case where n≤1, in which event it will jump to the completion code.
  • 45. Recursive Procedures  For the recursive case, it computes n−1, stores it on the stack, and calls itself (lines 10–12).  Upon completion of the code, we can assume  (1) register %eax holds the value of(n−1)! and (2) callee-save register %ebx holds the parameter n.  It therefore multiplies these two quantities (line 13) to generate the return value of the function.  For both cases—the terminal condition and the recursive call—the code proceeds to the completion section (lines 15–17) to restore the stack and callee-saved register, and then it returns.