@@ -9,7 +9,7 @@ and are popped off by primitive operations. When functions are called, the stack is *reset* and loaded with the arguments to the function. -Function labels: (last modified Apr 6, 2008) +Function labels: (last modified May 9, 2008) All function calls are implemented as GOTO's. Each function is thus assigned a label. However, unfortunately standard C does not support passing GOTO-able @@ -19,7 +19,7 @@ in a switch structure. When jumping, the calling function assigns the destination in a C-local variable, pc. Then the calling function GOTOs the top of the switch structure -(cref. jump label), which dispatches based on the pc value. cref. END_JUMP() +(cref. jump: label), which dispatches based on the pc value. cref. END_JUMP() C-macro. @@ -43,7 +43,7 @@ functions defined in the same lexical scope. However, mutated local variables are handled specially; see the section "mutable local variables". -Function calls: (last modified Apr 6, 2008) +Function calls: (last modified May 9, 2008) Function calls are started by the BEGIN_JUMP() and END_JUMP() C-macros. Before entering BEGIN_JUMP(), the function's parameters are pushed on the @@ -54,6 +54,11 @@ from the previous stack top to the new stack. END_JUMP() then gets the label from the 0'th parameter, sets this to the pc, and jumps to the top of the switch. +END_JUMP() also performs some checking to determine if the 0'th parameter is +not a function type. Collection types are handled specially in the +END_JUMP() code; END_JUMP() dispatches based on the actual type of the +object. + Mutable Local Variables: (last modified Apr 28, 2008) NOTES 031e1ad38d83c798d2103bc89549be0937cb274d Alan Manuel K. Gloria almkglor@gmail.com http://github.com/sacado/arc2c/commit/5842437236a5ceaf092839dfa70cb5e60bfd0f75 5842437236a5ceaf092839dfa70cb5e60bfd0f75 2008-05-08T21:39:34-07:00 2008-05-08T21:39:34-07:00 NOTES: some documentation changes 0ddf4ccc3dfa96cff0ec280a9c478e7cee022b97 Alan Manuel K. Gloria almkglor@gmail.com