General Computer Science 320201 GenCS I & II Lecture ... - Kwarc

[proc 2 26,
con 0, arg 2, leq, cjp 5,
con 1, return,
con 1, arg 2, sub, arg 1,
call 0, arg 1, mul,
return,
con 2, con 10, call 0,
halt]
1
22 0
10 -1
1 -2
32
10
2
return interprets the top of the stack as the result,
it jumps to the return address memorized right below the top of the stack,
deletes the current frame
and puts the result back on top of the remaining stack.
[proc 2 26,
con 0, arg 2, leq, cjp 5,
con 1, return,
con 1, arg 2, sub, arg 1,
call 0, arg 1, mul,
return,
con 2, con 10, call 0,
halt]
10
1
22 0
10 -1
1 -2
32
10
2
arg pushes the first argument from the (new) current frame
[proc 2 26,
con 0, arg 2, leq, cjp 5,
con 1, return,
con 1, arg 2, sub, arg 1,
call 0, arg 1, mul,
return,
con 2, con 10, call 0,
halt]
10
22 0
10 -1
1 -2
32
10
2
mul multiplies, pops the arguments and pushes the result.
[proc 2 26,
con 0, arg 2, leq, cjp 5,
con 1, return,
con 1, arg 2, sub, arg 1,
call 0, arg 1, mul,
return,
con 2, con 10, call 0,
halt]
176
10
32 0
10 -1
2 -2