ECE260: Fundamentals of Computer Engineering

Transcription

1 Supporting Nested Procedures James Moscola Dept. of Engineering & Computer Science York College of Pennsylvania Based on Computer Organization and Design, 5th Edition by Patterson & Hennessy

2 Memory Layout [in MARS Simulator] Reserved used by operating system, not for you Text executable program instructions (i.e. your code) Create with a.text directive Data global and static variables Create with a.data directive Heap dynamically allocated memory Request this from the operating system Stack for storing local variables and stack frames Grows towards the heap Stack local variables (scoped to a function), stack frames (caller s return address, etc.) [grows towards lower memory addresses] Heap dynamically allocated memory: malloc/new use free/delete to dealloacte [grows towards higher memory addresses] Data global and static variables Text executable program instructions Reserved reserved for operating system 7FFF EFFC hex hex hex hex hex 2

3 MIPS Registers (now with more info!) MIPS architecture has a bit register file (e.g. it has bit registers) Register Number Register Name Use 0 $zero Constant value 0 1 $at Assembler temporary 2-3 $v0 - $v1 Procedure return values 4-7 $a0 - $a3 Procedure arguments 8-15 $t0 - $t7 Temporary values $s0 - $s7 Saved temporary values $t8 - $t9 More temporary values $k0 - $k1 Reserved for OS 28 $gp Global pointer 29 $sp Stack pointer 30 $fp Frame pointer 31 $ra Return Address Not for you! Callee puts return value here Caller puts arguments here Callee may overwrite these Must be saved by callee if used Callee may overwrite these Also, not for you! Easy access to constants/globals Top of stack Points to local variables on stack Where to go when returning from procedure 3

4 What is Preserved Across a Procedure Call? MIPS conventions dictate that a CALLER can expect the following behavior when calling a procedure Some registers and data are expected to be preserved Other registers and data are NOT expected to be preserved Registers and data that are preserved are expected by the CALLER to contain the same values both before and after a procedure call (i.e. they should saved/restored by a CALLEE) Preserved Not Preserved Saved registers: $s0 - $s7 Temporary registers: $t0 - $t9 Stack pointer register: $sp Argument registers: $a0 - $a3 Return address register: $ra Return value registers: $v0 - $v1 Stack above stack pointer Stack below stack pointer 4

5 Non-Leaf Procedures A leaf procedure is a procedure that does NOT call another procedure CALLEE (PROC_A) must save/restore and $sx registers that it uses A non-leaf procedure is a procedure that calls other procedures MAIN PROC_A Leaf Procedure All CALLEEs must save/restore $sx registers that they use (PROC_A, PROC_B, ) Each CALLER needs to save/restore info on the stack prior to transferring control to next CALLEE CALLER must save its return address When the CALLER issues the jal instruction to call CALLEE the $ra register is overwritten Any arguments ($ax registers) and temporaries $(tx registers) needed after the CALLEE returns CALLER may reassign $ax registers to pass arguments to CALLEE, so save contents CALLEE may become a CALLER itself and overwrite $ax registers! MAIN PROC_A Non-Leaf Procedures PROC_B No guarantee that a CALLEE will preserve values in $tx registers, so save contents 5

6 Non-Leaf Procedure A Recursive Example Example C code This function is both a CALLER and a CALLEE int fact (int n) { } if (n < 1) return 1; else return n * fact(n - 1); BASE Case stops recursion RECURSIVE Case function calls itself Assume the following: Parameter n is passed in register $a0 Factorial function (fact) is called using a jal instruction that sets the $ra register Return value is placed in register $v0 before the fact function returns 6

7 Non-Leaf Procedure A Recursive Example (continued) FACT: addi $sp, $sp, -8 # adjust $sp to make room on stack to save contents of 2 registers sw $ra, 4($sp) # As CALLER: save return address onto the stack... may need restoring later sw $a0, 0($sp) # As CALLER: save argument onto the stack since $a0 may be used to call fact slti $t0, $a0, 1 # test for n < 1... $t0 is set to 1 if true, 0 otherwise beq $t0, $zero, ELSE # branch to ELSE if!(n < 1) addi $v0, $zero, 1 # otherwise, set return value to 1 addi $sp, $sp, 8 # pop stack, no need to restore $a0 or $ra since never overwritten jr $ra # return from base case with a return value of 1 ELSE: addi $a0, $a0, -1 jal FACT BASE Case RECURSIVE Case # decrement n into $a0 to set argument for recursive call # recursive call, writes $ra good thing we backed it up on the stack! ### #### recursing, will eventually return here with a return value in $v0 lw $a0, 0($sp) # As CALLER: restore original value for n when recursion returns lw $ra, 4($sp) # As CALLER: restore original value for $ra when recursion returns addi $sp, $sp, 8 # pop stack now that values have been restored to registers mul $v0, $a0, $v0 # multiply n by result of last recursive call n * fact(n - 1) jr $ra # previous mul instruction put result in $v0, now return it 7

8 Storing Local Data on the Stack A procedure may need memory space for local variables May have locally defined array or simply too much data to store in registers If necessary, memory space for local variables is allocated on the stack If not much local data, registers may be sufficient NOT stored in.data segment of memory Data is conserved on stack if procedure calls another procedure Data is removed from stack when procedure returns Procedure frame (a.k.a. activation record, a.k.a. stack frame) Segment of the stack containing a procedures saved registers and local variables 8

9 Storing Local Data on the Stack Frame pointer ($fp) points to first word of the frame and doesn t move during a procedure CALLER s stack frame CALLEE s stack frame CALLER s stack frame Stack pointer ($sp) points to the top of the stack and may move as stack grows/shrinks in a procedure Stack BEFORE calling procedure PROC_X Stack WHILE in procedure PROC_X Stack AFTER in procedure PROC_X returns 9

10 Passing More than Four Arguments MIPS provides four registers, $a0 - $a3 for passing arguments to a procedure If a procedure expects more than four arguments they must be passed on the stack CALLER places first four arguments in registers $a0 - $a3 CALLER places arguments 5 and up on stack immediately before executing jal instruction Arguments should be LAST thing placed in CALLER s stack frame easily accessible by CALLEE Arguments placed on stack are placed in reverse order CALLEE can access arguments 5 and up by using the frame pointer add $t1, $zero, $a0 add $t2, $zero, $a1 # access 1st argument # access 2nd argument lw $t5, 4($fp) lw $t6, 8($fp) lw $t7, 12($fp) # access 5th argument # access 6th argument # access 7th argument 10

11 Stack Frame Overview The stack frame contains storage for the CALLER s data that it wants preserved after the invocation of CALLEEs Saved Registers (CALLER) registers that were preserved for the CALLER and registers temporary registers that are saved if this procedure is also a CALLEE The CALLEE uses the stack for the following: Local Variables (CALLER) variables or array data that is too large to fit into registers must be stored on the stack CALLER s stack frame 1. Accessing the arguments that the CALLER passes to it (specifically, the 5th and greater) Outgoing Args to CALLEE (> 4) (CALLER) when CALLER needs to pass more then 4 arguments to CALLEE, they are placed on stack by CALLER 2. Preserving non-temporary registers that it wishes to modify 3. Storing/accessing its own local variables The frame pointer keeps track of the boundary between stack frames $fp $sp Saved Registers (CALLEE) registers that were preserved for the CALLER and registers temporary registers that are saved if this procedure is also a CALLEE Local Variables (CALLEE) variables or array data that is too large to fit into registers must be stored on the stack CALLEE s stack frame (unused stack space) 11

12 Stack Frame Overview The stack frame contains storage for the CALLER s data that it wants preserved after the invocation of CALLEEs The CALLEE uses the stack for the following: 1. Accessing the arguments that the CALLER passes to it (specifically, the 5th and greater) $ra $fp (saved for parent) $s1 (saved for parent) $s0 (saved for parent) $t2 (saved in case CALLEE overwrites) CALLER s Local Variable #1 CALLER s stack frame 2. Preserving non-temporary registers that it wishes to modify CALLER s Local Variable #2 Outgoing Arg[5] 3. Storing/accessing its own local variables $fp Outgoing Arg[4] $ra The frame pointer keeps track of the boundary between stack frames $sp $fp (saved for parent) CALLEE s Local Variable #1 Outgoing Arg[4] CALLEE s stack frame 12

13 Caller Conventions The CALLER will: Save all temp registers that it wants to survive subsequent procedure calls into its stack frame ($t0-$t9, $a0-$a3, and $v0-$v1) Pass the first 4 arguments to a CALLEE in registers $a0-$a3 save subsequent arguments on stack, in reverse order Call CALLEE procedure, using a jal instruction which places the return address in register $ra If this CALLER is also a CALLEE, you must save $ra before using jal Access CALLEE procedure s return values in registers $v0-$v1 after CALLEE returns Restore all temp registers that were saved prior to calling CALLEE Be sure to grab return value from CALLEE prior to restoring any saved $v0-$v1 from stack or you will overwrite the CALLEE s return value IMPORTANT NOTE: A CALLER MAY ALSO BE ALL CALLEE 13

14 Callee Conventions If needed the CALLEE will: 1) Allocate a stack frame with space for saved registers, local variables, and spilled args 2) Save any preserved registers that it will use/overwrite: $ra, $sp, $fp, $gp, $s0-$s7 3) If CALLEE has local variables -or- needs access to args on the stack, save CALLER s frame pointer and set $fp to 1 st entry of CALLEE s stack 4) EXECUTE procedure 5) Place return values in $v0-$v1 6) Restore saved registers including those that were preserved for CALLER 7) Restore $sp to its original value 8) Return to CALLER with jr $ra IMPORTANT NOTE: A CALLEE MAY ALSO BE ALL CALLER 14