コード例 #1
0
ファイル: boot.c プロジェクト: tali713/mit-scheme
static void
Do_Enter_Interpreter (void)
{
  Interpret (0);
  outf_fatal ("\nThe interpreter returned to top level!\n");
  Microcode_Termination (TERM_EXIT);
}
コード例 #2
0
ファイル: boot.c プロジェクト: tali713/mit-scheme
void *
obstack_chunk_alloc (size_t size)
{
  void * result = (malloc (size));
  if (result == 0)
    {
      outf_fatal ("\n%s: unable to allocate obstack chunk of %d bytes\n",
		  scheme_program_name, ((int) size));
      Microcode_Termination (TERM_EXIT);
    }
  return (result);
}
コード例 #3
0
ファイル: x86-64.c プロジェクト: tali713/mit-scheme
void
x86_64_reset_hook (void)
{
  int offset = (COMPILER_REGBLOCK_N_FIXED * (sizeof (SCHEME_OBJECT)));
  unsigned char * rsi_value = ((unsigned char *) Registers);

  x86_64_interface_initialize ();

  /* These must match machines/x86-64/lapgen.scm */

  SETUP_REGISTER (asm_scheme_to_interface); 		/* 0 */
  SETUP_REGISTER (asm_scheme_to_interface_call);	/* 1 */

  if (offset != RSI_TRAMPOLINE_TO_INTERFACE_OFFSET)
    {
      outf_fatal ("\nx86_64_reset_hook: RSI_TRAMPOLINE_TO_INTERFACE_OFFSET\n");
      Microcode_Termination (TERM_EXIT);
    }
  SETUP_REGISTER (asm_trampoline_to_interface);		/* 2 */

  SETUP_REGISTER (asm_interrupt_procedure);		/* 3 */
  SETUP_REGISTER (asm_interrupt_continuation);		/* 4 */
  SETUP_REGISTER (asm_interrupt_closure);		/* 5 */
  SETUP_REGISTER (asm_interrupt_dlink);			/* 6 */
  SETUP_REGISTER (asm_primitive_apply);			/* 7 */
  SETUP_REGISTER (asm_primitive_lexpr_apply);		/* 8 */
  SETUP_REGISTER (asm_assignment_trap);			/* 9 */
  SETUP_REGISTER (asm_reference_trap);			/* 10 */
  SETUP_REGISTER (asm_safe_reference_trap);		/* 11 */
  SETUP_REGISTER (asm_link);				/* 12 */
  SETUP_REGISTER (asm_error);				/* 13 */
  SETUP_REGISTER (asm_primitive_error);			/* 14 */
  SETUP_REGISTER (asm_generic_add);			/* 15 */
  SETUP_REGISTER (asm_generic_subtract);		/* 16 */
  SETUP_REGISTER (asm_generic_multiply);		/* 17 */
  SETUP_REGISTER (asm_generic_divide);			/* 18 */
  SETUP_REGISTER (asm_generic_equal);			/* 19 */
  SETUP_REGISTER (asm_generic_less);			/* 20 */
  SETUP_REGISTER (asm_generic_greater);			/* 21 */
  SETUP_REGISTER (asm_generic_increment);		/* 22 */
  SETUP_REGISTER (asm_generic_decrement);		/* 23 */
  SETUP_REGISTER (asm_generic_zero);			/* 24 */
  SETUP_REGISTER (asm_generic_positive);		/* 25 */
  SETUP_REGISTER (asm_generic_negative);		/* 26 */
  SETUP_REGISTER (asm_generic_quotient);		/* 27 */
  SETUP_REGISTER (asm_generic_remainder);		/* 28 */
  SETUP_REGISTER (asm_generic_modulo);			/* 29 */
  SETUP_REGISTER (asm_sc_apply);			/* 30 */
  SETUP_REGISTER (asm_sc_apply_size_1);			/* 31 */
  SETUP_REGISTER (asm_sc_apply_size_2);			/* 32 */
  SETUP_REGISTER (asm_sc_apply_size_3);			/* 33 */
  SETUP_REGISTER (asm_sc_apply_size_4);			/* 34 */
  SETUP_REGISTER (asm_sc_apply_size_5);			/* 35 */
  SETUP_REGISTER (asm_sc_apply_size_6);			/* 36 */
  SETUP_REGISTER (asm_sc_apply_size_7);			/* 37 */
  SETUP_REGISTER (asm_sc_apply_size_8);			/* 38 */

  /* Logically, this should be up by the other interrupt routines, but
     I just wrote all those numbers above by hand and am too exhausted
     by that gruelling effort to be inclined to go to the trouble to
     renumber them now.  */
  SETUP_REGISTER (asm_interrupt_continuation_2);	/* 39 */

  SETUP_REGISTER (asm_fixnum_shift);			/* 40 */

#ifdef _MACH_UNIX
  {
    vm_address_t addr;
    vm_size_t size;
    vm_prot_t prot;
    vm_prot_t max_prot;
    vm_inherit_t inheritance;
    boolean_t shared;
    port_t object;
    vm_offset_t offset;

    addr = ((vm_address_t) Heap);
    if ((vm_region ((task_self ()), &addr, &size, &prot, &max_prot,
		    &inheritance, &shared, &object, &offset))
	!= KERN_SUCCESS)
      {
	outf_fatal ( "compiler_reset: vm_region() failed.\n");
	Microcode_Termination (TERM_EXIT);
	/*NOTREACHED*/
      }
    if ((prot & VM_PROT_SCHEME) != VM_PROT_SCHEME)
      {
	if ((max_prot & VM_PROT_SCHEME) != VM_PROT_SCHEME)
	  {
	    outf_fatal (
			"compiler_reset: inadequate protection for Heap.\n");
	    outf_fatal ( "maximum = 0x%lx; desired = 0x%lx\n",
			((unsigned long) (max_prot & VM_PROT_SCHEME)),
			((unsigned long) VM_PROT_SCHEME));
	    Microcode_Termination (TERM_EXIT);
	    /*NOTREACHED*/
	  }
	if ((vm_protect ((task_self ()), ((vm_address_t) Heap),
			 (((char *) constant_end) - ((char *) Heap)),
			 0, VM_PROT_SCHEME))
	    != KERN_SUCCESS)
	  {
	    outf_fatal ("Unable to change protection for Heap.\n");
	    outf_fatal ("actual = 0x%lx; desired = 0x%lx\n",
			((unsigned long) (prot & VM_PROT_SCHEME)),
			((unsigned long) VM_PROT_SCHEME));
	    Microcode_Termination (TERM_EXIT);
	    /*NOTREACHED*/
	  }
      }
  }
#endif /* _MACH_UNIX */
}
コード例 #4
0
ファイル: memmag.c プロジェクト: henrylim/henry-work
static void
abort_gc (void)
{
  Microcode_Termination (TERM_EXIT);
}
コード例 #5
0
ファイル: term.c プロジェクト: barak/mit-scheme
void
termination_eof (void)
{
  Microcode_Termination (TERM_EOF);
}
コード例 #6
0
ファイル: interp.c プロジェクト: tali713/mit-scheme
void
Interpret (int pop_return_p)
{
    long dispatch_code;
    struct interpreter_state_s new_state;

    /* Primitives jump back here for errors, requests to evaluate an
       expression, apply a function, or handle an interrupt request.  On
       errors or interrupts they leave their arguments on the stack, the
       primitive itself in GET_EXP.  The code should do a primitive
       backout in these cases, but not in others (apply, eval, etc.),
       since the primitive itself will have left the state of the
       interpreter ready for operation.  */

    bind_interpreter_state (&new_state);
    dispatch_code = (setjmp (interpreter_catch_env));
    preserve_signal_mask ();
    fixup_float_environment ();

    switch (dispatch_code)
    {
    case 0:			/* first time */
        if (pop_return_p)
            goto pop_return;	/* continue */
        else
            break;			/* fall into eval */

    case PRIM_APPLY:
        PROCEED_AFTER_PRIMITIVE ();
        goto internal_apply;

    case PRIM_NO_TRAP_APPLY:
        PROCEED_AFTER_PRIMITIVE ();
        goto Apply_Non_Trapping;

    case PRIM_APPLY_INTERRUPT:
        PROCEED_AFTER_PRIMITIVE ();
        PREPARE_APPLY_INTERRUPT ();
        SIGNAL_INTERRUPT (PENDING_INTERRUPTS ());

    case PRIM_APPLY_ERROR:
        PROCEED_AFTER_PRIMITIVE ();
        APPLICATION_ERROR (prim_apply_error_code);

    case PRIM_DO_EXPRESSION:
        SET_VAL (GET_EXP);
        PROCEED_AFTER_PRIMITIVE ();
        REDUCES_TO (GET_VAL);

    case PRIM_NO_TRAP_EVAL:
        SET_VAL (GET_EXP);
        PROCEED_AFTER_PRIMITIVE ();
        NEW_REDUCTION (GET_VAL, GET_ENV);
        goto eval_non_trapping;

    case PRIM_POP_RETURN:
        PROCEED_AFTER_PRIMITIVE ();
        goto pop_return;

    case PRIM_RETURN_TO_C:
        PROCEED_AFTER_PRIMITIVE ();
        unbind_interpreter_state (interpreter_state);
        return;

    case PRIM_NO_TRAP_POP_RETURN:
        PROCEED_AFTER_PRIMITIVE ();
        goto pop_return_non_trapping;

    case PRIM_INTERRUPT:
        back_out_of_primitive ();
        SIGNAL_INTERRUPT (PENDING_INTERRUPTS ());

    case PRIM_ABORT_TO_C:
        back_out_of_primitive ();
        unbind_interpreter_state (interpreter_state);
        return;

    case ERR_ARG_1_WRONG_TYPE:
        back_out_of_primitive ();
        Do_Micro_Error (ERR_ARG_1_WRONG_TYPE, true);
        goto internal_apply;

    case ERR_ARG_2_WRONG_TYPE:
        back_out_of_primitive ();
        Do_Micro_Error (ERR_ARG_2_WRONG_TYPE, true);
        goto internal_apply;

    case ERR_ARG_3_WRONG_TYPE:
        back_out_of_primitive ();
        Do_Micro_Error (ERR_ARG_3_WRONG_TYPE, true);
        goto internal_apply;

    default:
        back_out_of_primitive ();
        Do_Micro_Error (dispatch_code, true);
        goto internal_apply;
    }

do_expression:

    /* GET_EXP has an Scode item in it that should be evaluated and the
       result left in GET_VAL.

       A "break" after the code for any operation indicates that all
       processing for this operation has been completed, and the next
       step will be to pop a return code off the stack and proceed at
       pop_return.  This is sometimes called "executing the
       continuation" since the return code can be considered the
       continuation to be performed after the operation.

       An operation can terminate with a REDUCES_TO or REDUCES_TO_NTH
       macro.  This indicates that the value of the current Scode item
       is the value returned when the new expression is evaluated.
       Therefore no new continuation is created and processing continues
       at do_expression with the new expression in GET_EXP.

       Finally, an operation can terminate with a DO_NTH_THEN macro.
       This indicates that another expression must be evaluated and them
       some additional processing will be performed before the value of
       this S-Code item available.  Thus a new continuation is created
       and placed on the stack (using SAVE_CONT), the new expression is
       placed in the GET_EXP, and processing continues at do_expression.
       */

    /* Handling of Eval Trapping.

       If we are handling traps and there is an Eval Trap set, turn off
       all trapping and then go to internal_apply to call the user
       supplied eval hook with the expression to be evaluated and the
       environment.  */

#ifdef COMPILE_STEPPER
    if (trapping
            && (!WITHIN_CRITICAL_SECTION_P ())
            && ((FETCH_EVAL_TRAPPER ()) != SHARP_F))
    {
        trapping = false;
        Will_Push (4);
        PUSH_ENV ();
        PUSH_EXP ();
        STACK_PUSH (FETCH_EVAL_TRAPPER ());
        PUSH_APPLY_FRAME_HEADER (2);
        Pushed ();
        goto Apply_Non_Trapping;
    }
#endif /* COMPILE_STEPPER */

eval_non_trapping:
#ifdef EVAL_UCODE_HOOK
    EVAL_UCODE_HOOK ();
#endif
    switch (OBJECT_TYPE (GET_EXP))
    {
    case TC_BIG_FIXNUM:         /* The self evaluating items */
    case TC_BIG_FLONUM:
    case TC_CHARACTER_STRING:
    case TC_CHARACTER:
    case TC_COMPILED_CODE_BLOCK:
    case TC_COMPLEX:
    case TC_CONTROL_POINT:
    case TC_DELAYED:
    case TC_ENTITY:
    case TC_ENVIRONMENT:
    case TC_EXTENDED_PROCEDURE:
    case TC_FIXNUM:
    case TC_HUNK3_A:
    case TC_HUNK3_B:
    case TC_INTERNED_SYMBOL:
    case TC_LIST:
    case TC_NON_MARKED_VECTOR:
    case TC_NULL:
    case TC_PRIMITIVE:
    case TC_PROCEDURE:
    case TC_QUAD:
    case TC_RATNUM:
    case TC_REFERENCE_TRAP:
    case TC_RETURN_CODE:
    case TC_UNINTERNED_SYMBOL:
    case TC_CONSTANT:
    case TC_VECTOR:
    case TC_VECTOR_16B:
    case TC_VECTOR_1B:
    default:
        SET_VAL (GET_EXP);
        break;

    case TC_ACCESS:
        Will_Push (CONTINUATION_SIZE);
        PUSH_NTH_THEN (RC_EXECUTE_ACCESS_FINISH, ACCESS_ENVIRONMENT);

    case TC_ASSIGNMENT:
        Will_Push (CONTINUATION_SIZE + 1);
        PUSH_ENV ();
        PUSH_NTH_THEN (RC_EXECUTE_ASSIGNMENT_FINISH, ASSIGN_VALUE);

    case TC_BROKEN_HEART:
        Microcode_Termination (TERM_BROKEN_HEART);

    case TC_COMBINATION:
    {
        long length = ((VECTOR_LENGTH (GET_EXP)) - 1);
        Will_Push (length + 2 + CONTINUATION_SIZE);
        stack_pointer = (STACK_LOC (-length));
        STACK_PUSH (MAKE_OBJECT (TC_MANIFEST_NM_VECTOR, length));
        /* The finger: last argument number */
        Pushed ();
        if (length == 0)
        {
            PUSH_APPLY_FRAME_HEADER (0); /* Frame size */
            DO_NTH_THEN (RC_COMB_APPLY_FUNCTION, COMB_FN_SLOT);
        }
        PUSH_ENV ();
        DO_NTH_THEN (RC_COMB_SAVE_VALUE, (length + 1));
    }

    case TC_COMBINATION_1:
        Will_Eventually_Push (CONTINUATION_SIZE + STACK_ENV_FIRST_ARG + 1);
        PUSH_ENV ();
        DO_NTH_THEN (RC_COMB_1_PROCEDURE, COMB_1_ARG_1);

    case TC_COMBINATION_2:
        Will_Eventually_Push (CONTINUATION_SIZE + STACK_ENV_FIRST_ARG + 2);
        PUSH_ENV ();
        DO_NTH_THEN (RC_COMB_2_FIRST_OPERAND, COMB_2_ARG_2);

    case TC_COMMENT:
        REDUCES_TO_NTH (COMMENT_EXPRESSION);

    case TC_CONDITIONAL:
        Will_Push (CONTINUATION_SIZE + 1);
        PUSH_ENV ();
        PUSH_NTH_THEN (RC_CONDITIONAL_DECIDE, COND_PREDICATE);

#ifdef CC_SUPPORT_P
    case TC_COMPILED_ENTRY:
        dispatch_code = (enter_compiled_expression ());
        goto return_from_compiled_code;
#endif

    case TC_DEFINITION:
        Will_Push (CONTINUATION_SIZE + 1);
        PUSH_ENV ();
        PUSH_NTH_THEN (RC_EXECUTE_DEFINITION_FINISH, DEFINE_VALUE);

    case TC_DELAY:
        /* Deliberately omitted: EVAL_GC_CHECK (2); */
        SET_VAL (MAKE_POINTER_OBJECT (TC_DELAYED, Free));
        (Free[THUNK_ENVIRONMENT]) = GET_ENV;
        (Free[THUNK_PROCEDURE]) = (MEMORY_REF (GET_EXP, DELAY_OBJECT));
        Free += 2;
        break;

    case TC_DISJUNCTION:
        Will_Push (CONTINUATION_SIZE + 1);
        PUSH_ENV ();
        PUSH_NTH_THEN (RC_DISJUNCTION_DECIDE, OR_PREDICATE);

    case TC_EXTENDED_LAMBDA:
        /* Deliberately omitted: EVAL_GC_CHECK (2); */
        SET_VAL (MAKE_POINTER_OBJECT (TC_EXTENDED_PROCEDURE, Free));
        (Free[PROCEDURE_LAMBDA_EXPR]) = GET_EXP;
        (Free[PROCEDURE_ENVIRONMENT]) = GET_ENV;
        Free += 2;
        break;

    case TC_IN_PACKAGE:
        Will_Push (CONTINUATION_SIZE);
        PUSH_NTH_THEN (RC_EXECUTE_IN_PACKAGE_CONTINUE, IN_PACKAGE_ENVIRONMENT);

    case TC_LAMBDA:
    case TC_LEXPR:
        /* Deliberately omitted: EVAL_GC_CHECK (2); */
        SET_VAL (MAKE_POINTER_OBJECT (TC_PROCEDURE, Free));
        (Free[PROCEDURE_LAMBDA_EXPR]) = GET_EXP;
        (Free[PROCEDURE_ENVIRONMENT]) = GET_ENV;
        Free += 2;
        break;

    case TC_MANIFEST_NM_VECTOR:
        EVAL_ERROR (ERR_EXECUTE_MANIFEST_VECTOR);

    case TC_PCOMB0:
        /* The argument to Will_Eventually_Push is determined by how
        much will be on the stack if we back out of the primitive.  */
        Will_Eventually_Push (CONTINUATION_SIZE + STACK_ENV_FIRST_ARG);
        Finished_Eventual_Pushing (CONTINUATION_SIZE + STACK_ENV_FIRST_ARG);
        SET_EXP (OBJECT_NEW_TYPE (TC_PRIMITIVE, GET_EXP));
        goto primitive_internal_apply;

    case TC_PCOMB1:
        Will_Eventually_Push (CONTINUATION_SIZE + STACK_ENV_FIRST_ARG + 1);
        DO_NTH_THEN (RC_PCOMB1_APPLY, PCOMB1_ARG_SLOT);

    case TC_PCOMB2:
        Will_Eventually_Push (CONTINUATION_SIZE + STACK_ENV_FIRST_ARG + 2);
        PUSH_ENV ();
        DO_NTH_THEN (RC_PCOMB2_DO_1, PCOMB2_ARG_2_SLOT);

    case TC_PCOMB3:
        Will_Eventually_Push (CONTINUATION_SIZE + STACK_ENV_FIRST_ARG + 3);
        PUSH_ENV ();
        DO_NTH_THEN (RC_PCOMB3_DO_2, PCOMB3_ARG_3_SLOT);

    case TC_SCODE_QUOTE:
        SET_VAL (MEMORY_REF (GET_EXP, SCODE_QUOTE_OBJECT));
        break;

    case TC_SEQUENCE_2:
        Will_Push (CONTINUATION_SIZE + 1);
        PUSH_ENV ();
        PUSH_NTH_THEN (RC_SEQ_2_DO_2, SEQUENCE_1);

    case TC_SEQUENCE_3:
        Will_Push (CONTINUATION_SIZE + 1);
        PUSH_ENV ();
        PUSH_NTH_THEN (RC_SEQ_3_DO_2, SEQUENCE_1);

    case TC_SYNTAX_ERROR:
        EVAL_ERROR (ERR_SYNTAX_ERROR);

    case TC_THE_ENVIRONMENT:
        SET_VAL (GET_ENV);
        break;

    case TC_VARIABLE:
    {
        SCHEME_OBJECT val = GET_VAL;
        SCHEME_OBJECT name = (GET_VARIABLE_SYMBOL (GET_EXP));
        long temp = (lookup_variable (GET_ENV, name, (&val)));
        if (temp != PRIM_DONE)
        {
            /* Back out of the evaluation. */
            if (temp == PRIM_INTERRUPT)
            {
                PREPARE_EVAL_REPEAT ();
                SIGNAL_INTERRUPT (PENDING_INTERRUPTS ());
            }
            EVAL_ERROR (temp);
        }
        SET_VAL (val);
    }
    }

    /* Now restore the continuation saved during an earlier part of the
       EVAL cycle and continue as directed.  */

pop_return:

#ifdef COMPILE_STEPPER
    if (trapping
            && (!WITHIN_CRITICAL_SECTION_P ())
            && ((FETCH_RETURN_TRAPPER ()) != SHARP_F))
    {
        Will_Push (3);
        trapping = false;
        PUSH_VAL ();
        STACK_PUSH (FETCH_RETURN_TRAPPER ());
        PUSH_APPLY_FRAME_HEADER (1);
        Pushed ();
        goto Apply_Non_Trapping;
    }
#endif /* COMPILE_STEPPER */

pop_return_non_trapping:
#ifdef POP_RETURN_UCODE_HOOK
    POP_RETURN_UCODE_HOOK ();
#endif
    RESTORE_CONT ();
#ifdef ENABLE_DEBUGGING_TOOLS
    if (!RETURN_CODE_P (GET_RET))
    {
        PUSH_VAL ();		/* For possible stack trace */
        SAVE_CONT ();
        Microcode_Termination (TERM_BAD_STACK);
    }
#endif

    /* Dispatch on the return code.  A BREAK here will cause
       a "goto pop_return" to occur, since this is the most
       common occurrence.
     */

    switch (OBJECT_DATUM (GET_RET))
    {
    case RC_COMB_1_PROCEDURE:
        POP_ENV ();
        PUSH_VAL ();		/* Arg. 1 */
        STACK_PUSH (SHARP_F);	/* Operator */
        PUSH_APPLY_FRAME_HEADER (1);
        Finished_Eventual_Pushing (CONTINUATION_SIZE);
        DO_ANOTHER_THEN (RC_COMB_APPLY_FUNCTION, COMB_1_FN);

    case RC_COMB_2_FIRST_OPERAND:
        POP_ENV ();
        PUSH_VAL ();
        PUSH_ENV ();
        DO_ANOTHER_THEN (RC_COMB_2_PROCEDURE, COMB_2_ARG_1);

    case RC_COMB_2_PROCEDURE:
        POP_ENV ();
        PUSH_VAL ();		/* Arg 1, just calculated */
        STACK_PUSH (SHARP_F);	/* Function */
        PUSH_APPLY_FRAME_HEADER (2);
        Finished_Eventual_Pushing (CONTINUATION_SIZE);
        DO_ANOTHER_THEN (RC_COMB_APPLY_FUNCTION, COMB_2_FN);

    case RC_COMB_APPLY_FUNCTION:
        END_SUBPROBLEM ();
        goto internal_apply_val;

    case RC_COMB_SAVE_VALUE:
    {
        long Arg_Number;

        POP_ENV ();
        Arg_Number = ((OBJECT_DATUM (STACK_REF (STACK_COMB_FINGER))) - 1);
        (STACK_REF (STACK_COMB_FIRST_ARG + Arg_Number)) = GET_VAL;
        (STACK_REF (STACK_COMB_FINGER))
            = (MAKE_OBJECT (TC_MANIFEST_NM_VECTOR, Arg_Number));
        /* DO NOT count on the type code being NMVector here, since
           the stack parser may create them with #F here! */
        if (Arg_Number > 0)
        {
            PUSH_ENV ();
            DO_ANOTHER_THEN
            (RC_COMB_SAVE_VALUE, ((COMB_ARG_1_SLOT - 1) + Arg_Number));
        }
        /* Frame Size */
        STACK_PUSH (MEMORY_REF (GET_EXP, 0));
        DO_ANOTHER_THEN (RC_COMB_APPLY_FUNCTION, COMB_FN_SLOT);
    }

#ifdef CC_SUPPORT_P

#define DEFINE_COMPILER_RESTART(return_code, entry)			\
case return_code:							\
  {									\
	dispatch_code = (entry ());					\
	goto return_from_compiled_code;					\
  }

    DEFINE_COMPILER_RESTART
    (RC_COMP_INTERRUPT_RESTART, comp_interrupt_restart);

    DEFINE_COMPILER_RESTART
    (RC_COMP_LOOKUP_TRAP_RESTART, comp_lookup_trap_restart);

    DEFINE_COMPILER_RESTART
    (RC_COMP_ASSIGNMENT_TRAP_RESTART, comp_assignment_trap_restart);

    DEFINE_COMPILER_RESTART
    (RC_COMP_OP_REF_TRAP_RESTART, comp_op_lookup_trap_restart);

    DEFINE_COMPILER_RESTART
    (RC_COMP_CACHE_REF_APPLY_RESTART, comp_cache_lookup_apply_restart);

    DEFINE_COMPILER_RESTART
    (RC_COMP_SAFE_REF_TRAP_RESTART, comp_safe_lookup_trap_restart);

    DEFINE_COMPILER_RESTART
    (RC_COMP_UNASSIGNED_TRAP_RESTART, comp_unassigned_p_trap_restart);

    DEFINE_COMPILER_RESTART
    (RC_COMP_LINK_CACHES_RESTART, comp_link_caches_restart);

    DEFINE_COMPILER_RESTART
    (RC_COMP_ERROR_RESTART, comp_error_restart);

    case RC_REENTER_COMPILED_CODE:
        dispatch_code = (return_to_compiled_code ());
        goto return_from_compiled_code;

#endif

    case RC_CONDITIONAL_DECIDE:
        END_SUBPROBLEM ();
        POP_ENV ();
        REDUCES_TO_NTH
        ((GET_VAL == SHARP_F) ? COND_ALTERNATIVE : COND_CONSEQUENT);

    case RC_DISJUNCTION_DECIDE:
        /* Return predicate if it isn't #F; else do ALTERNATIVE */
        END_SUBPROBLEM ();
        POP_ENV ();
        if (GET_VAL != SHARP_F)
            goto pop_return;
        REDUCES_TO_NTH (OR_ALTERNATIVE);

    case RC_END_OF_COMPUTATION:
    {
        /* Signals bottom of stack */

        interpreter_state_t previous_state;
        previous_state = (interpreter_state -> previous_state);
        if (previous_state == NULL_INTERPRETER_STATE)
        {
            termination_end_of_computation ();
            /*NOTREACHED*/
        }
        else
        {
            dstack_position = interpreter_catch_dstack_position;
            interpreter_state = previous_state;
            return;
        }
    }

    case RC_EVAL_ERROR:
        /* Should be called RC_REDO_EVALUATION. */
        POP_ENV ();
        REDUCES_TO (GET_EXP);

    case RC_EXECUTE_ACCESS_FINISH:
    {
        SCHEME_OBJECT val;
        long code;

        code = (lookup_variable (GET_VAL,
                                 (MEMORY_REF (GET_EXP, ACCESS_NAME)),
                                 (&val)));
        if (code == PRIM_DONE)
            SET_VAL (val);
        else if (code == PRIM_INTERRUPT)
        {
            PREPARE_POP_RETURN_INTERRUPT (RC_EXECUTE_ACCESS_FINISH, GET_VAL);
            SIGNAL_INTERRUPT (PENDING_INTERRUPTS ());
        }
        else
            POP_RETURN_ERROR (code);
    }
    END_SUBPROBLEM ();
    break;

    case RC_EXECUTE_ASSIGNMENT_FINISH:
    {
        SCHEME_OBJECT variable = (MEMORY_REF (GET_EXP, ASSIGN_NAME));
        SCHEME_OBJECT old_val;
        long code;

        POP_ENV ();
        if (TC_VARIABLE == (OBJECT_TYPE (variable)))
            code = (assign_variable (GET_ENV,
                                     (GET_VARIABLE_SYMBOL (variable)),
                                     GET_VAL,
                                     (&old_val)));
        else
            code = ERR_BAD_FRAME;
        if (code == PRIM_DONE)
            SET_VAL (old_val);
        else
        {
            PUSH_ENV ();
            if (code == PRIM_INTERRUPT)
            {
                PREPARE_POP_RETURN_INTERRUPT
                (RC_EXECUTE_ASSIGNMENT_FINISH, GET_VAL);
                SIGNAL_INTERRUPT (PENDING_INTERRUPTS ());
            }
            else
                POP_RETURN_ERROR (code);
        }
    }
    END_SUBPROBLEM ();
    break;

    case RC_EXECUTE_DEFINITION_FINISH:
    {
        SCHEME_OBJECT name = (MEMORY_REF (GET_EXP, DEFINE_NAME));
        SCHEME_OBJECT value = GET_VAL;
        long result;

        POP_ENV ();
        result = (define_variable (GET_ENV, name, value));
        if (result == PRIM_DONE)
        {
            END_SUBPROBLEM ();
            SET_VAL (name);
            break;
        }
        PUSH_ENV ();
        if (result == PRIM_INTERRUPT)
        {
            PREPARE_POP_RETURN_INTERRUPT (RC_EXECUTE_DEFINITION_FINISH,
                                          value);
            SIGNAL_INTERRUPT (PENDING_INTERRUPTS ());
        }
        SET_VAL (value);
        POP_RETURN_ERROR (result);
    }

    case RC_EXECUTE_IN_PACKAGE_CONTINUE:
        if (ENVIRONMENT_P (GET_VAL))
        {
            END_SUBPROBLEM ();
            SET_ENV (GET_VAL);
            REDUCES_TO_NTH (IN_PACKAGE_EXPRESSION);
        }
        POP_RETURN_ERROR (ERR_BAD_FRAME);

    case RC_HALT:
        Microcode_Termination (TERM_TERM_HANDLER);

    case RC_HARDWARE_TRAP:
    {
        /* This just reinvokes the handler */
        SCHEME_OBJECT info = (STACK_REF (0));
        SCHEME_OBJECT handler = SHARP_F;
        SAVE_CONT ();
        if (VECTOR_P (fixed_objects))
            handler = (VECTOR_REF (fixed_objects, TRAP_HANDLER));
        if (handler == SHARP_F)
        {
            outf_fatal ("There is no trap handler for recovery!\n");
            termination_trap ();
            /*NOTREACHED*/
        }
        Will_Push (STACK_ENV_EXTRA_SLOTS + 2);
        STACK_PUSH (info);
        STACK_PUSH (handler);
        PUSH_APPLY_FRAME_HEADER (1);
        Pushed ();
    }
    goto internal_apply;

    /* internal_apply, the core of the application mechanism.

    Branch here to perform a function application.

     At this point the top of the stack contains an application
     frame which consists of the following elements (see sdata.h):

     - A header specifying the frame length.
     - A procedure.
     - The actual (evaluated) arguments.

     No registers (except the stack pointer) are meaning full at
     this point.  Before interrupts or errors are processed, some
     registers are cleared to avoid holding onto garbage if a
     garbage collection occurs.  */

    case RC_INTERNAL_APPLY_VAL:
internal_apply_val:

        (APPLY_FRAME_PROCEDURE ()) = GET_VAL;

    case RC_INTERNAL_APPLY:
internal_apply:

#ifdef COMPILE_STEPPER
        if (trapping
                && (!WITHIN_CRITICAL_SECTION_P ())
                && ((FETCH_APPLY_TRAPPER ()) != SHARP_F))
        {
            unsigned long frame_size = (APPLY_FRAME_SIZE ());
            (* (STACK_LOC (0))) = (FETCH_APPLY_TRAPPER ());
            PUSH_APPLY_FRAME_HEADER (frame_size);
            trapping = false;
        }
#endif /* COMPILE_STEPPER */

Apply_Non_Trapping:
        if (PENDING_INTERRUPTS_P)
        {
            unsigned long interrupts = (PENDING_INTERRUPTS ());
            PREPARE_APPLY_INTERRUPT ();
            SIGNAL_INTERRUPT (interrupts);
        }

perform_application:
#ifdef APPLY_UCODE_HOOK
        APPLY_UCODE_HOOK ();
#endif
        {
            SCHEME_OBJECT Function = (APPLY_FRAME_PROCEDURE ());

apply_dispatch:
            switch (OBJECT_TYPE (Function))
            {
            case TC_ENTITY:
            {
                unsigned long frame_size = (APPLY_FRAME_SIZE ());
                SCHEME_OBJECT data = (MEMORY_REF (Function, ENTITY_DATA));
                if ((VECTOR_P (data))
                        && (frame_size < (VECTOR_LENGTH (data)))
                        && ((VECTOR_REF (data, frame_size)) != SHARP_F)
                        && ((VECTOR_REF (data, 0))
                            == (VECTOR_REF (fixed_objects, ARITY_DISPATCHER_TAG))))
                {
                    Function = (VECTOR_REF (data, frame_size));
                    (APPLY_FRAME_PROCEDURE ()) = Function;
                    goto apply_dispatch;
                }

                (STACK_REF (0)) = (MEMORY_REF (Function, ENTITY_OPERATOR));
                PUSH_APPLY_FRAME_HEADER (frame_size);
                /* This must be done to prevent an infinite push loop by
                an entity whose handler is the entity itself or some
                 other such loop.  Of course, it will die if stack overflow
                 interrupts are disabled.  */
                STACK_CHECK (0);
                goto internal_apply;
            }

            case TC_PROCEDURE:
            {
                unsigned long frame_size = (APPLY_FRAME_SIZE ());
                Function = (MEMORY_REF (Function, PROCEDURE_LAMBDA_EXPR));
                {
                    SCHEME_OBJECT formals
                        = (MEMORY_REF (Function, LAMBDA_FORMALS));

                    if ((frame_size != (VECTOR_LENGTH (formals)))
                            && (((OBJECT_TYPE (Function)) != TC_LEXPR)
                                || (frame_size < (VECTOR_LENGTH (formals)))))
                        APPLICATION_ERROR (ERR_WRONG_NUMBER_OF_ARGUMENTS);
                }
                if (GC_NEEDED_P (frame_size + 1))
                {
                    PREPARE_APPLY_INTERRUPT ();
                    IMMEDIATE_GC (frame_size + 1);
                }
                {
                    SCHEME_OBJECT * end = (Free + 1 + frame_size);
                    SCHEME_OBJECT env
                        = (MAKE_POINTER_OBJECT (TC_ENVIRONMENT, Free));
                    (*Free++) = (MAKE_OBJECT (TC_MANIFEST_VECTOR, frame_size));
                    (void) STACK_POP ();
                    while (Free < end)
                        (*Free++) = (STACK_POP ());
                    SET_ENV (env);
                    REDUCES_TO (MEMORY_REF (Function, LAMBDA_SCODE));
                }
            }

            case TC_CONTROL_POINT:
                if ((APPLY_FRAME_SIZE ()) != 2)
                    APPLICATION_ERROR (ERR_WRONG_NUMBER_OF_ARGUMENTS);
                SET_VAL (* (APPLY_FRAME_ARGS ()));
                unpack_control_point (Function);
                RESET_HISTORY ();
                goto pop_return;

            /* After checking the number of arguments, remove the
               frame header since primitives do not expect it.

               NOTE: This code must match the application code which
               follows primitive_internal_apply.  */

            case TC_PRIMITIVE:
                if (!IMPLEMENTED_PRIMITIVE_P (Function))
                    APPLICATION_ERROR (ERR_UNIMPLEMENTED_PRIMITIVE);
                {
                    unsigned long n_args = (APPLY_FRAME_N_ARGS ());


                    /* Note that the first test below will fail for lexpr
                    primitives.  */

                    if (n_args != (PRIMITIVE_ARITY (Function)))
                    {
                        if ((PRIMITIVE_ARITY (Function)) != LEXPR_PRIMITIVE_ARITY)
                            APPLICATION_ERROR (ERR_WRONG_NUMBER_OF_ARGUMENTS);
                        SET_LEXPR_ACTUALS (n_args);
                    }
                    stack_pointer = (APPLY_FRAME_ARGS ());
                    SET_EXP (Function);
                    APPLY_PRIMITIVE_FROM_INTERPRETER (Function);
                    POP_PRIMITIVE_FRAME (n_args);
                    goto pop_return;
                }

            case TC_EXTENDED_PROCEDURE:
            {
                SCHEME_OBJECT lambda;
                SCHEME_OBJECT temp;
                unsigned long nargs;
                unsigned long nparams;
                unsigned long formals;
                unsigned long params;
                unsigned long auxes;
                long rest_flag;
                long size;
                long i;
                SCHEME_OBJECT * scan;

                nargs = (POP_APPLY_FRAME_HEADER ());
                lambda = (MEMORY_REF (Function, PROCEDURE_LAMBDA_EXPR));
                Function = (MEMORY_REF (lambda, ELAMBDA_NAMES));
                nparams = ((VECTOR_LENGTH (Function)) - 1);
                Function = (Get_Count_Elambda (lambda));
                formals = (Elambda_Formals_Count (Function));
                params = ((Elambda_Opts_Count (Function)) + formals);
                rest_flag = (Elambda_Rest_Flag (Function));
                auxes = (nparams - (params + rest_flag));

                if ((nargs < formals) || (!rest_flag && (nargs > params)))
                {
                    PUSH_APPLY_FRAME_HEADER (nargs);
                    APPLICATION_ERROR (ERR_WRONG_NUMBER_OF_ARGUMENTS);
                }
                /* size includes the procedure slot, but not the header.  */
                size = (params + rest_flag + auxes + 1);
                if (GC_NEEDED_P
                        (size + 1
                         + ((nargs > params)
                            ? (2 * (nargs - params))
                            : 0)))
                {
                    PUSH_APPLY_FRAME_HEADER (nargs);
                    PREPARE_APPLY_INTERRUPT ();
                    IMMEDIATE_GC
                    (size + 1
                     + ((nargs > params)
                        ? (2 * (nargs - params))
                        : 0));
                }
                scan = Free;
                temp = (MAKE_POINTER_OBJECT (TC_ENVIRONMENT, scan));
                (*scan++) = (MAKE_OBJECT (TC_MANIFEST_VECTOR, size));
                if (nargs <= params)
                {
                    for (i = (nargs + 1); (--i) >= 0; )
                        (*scan++) = (STACK_POP ());
                    for (i = (params - nargs); (--i) >= 0; )
                        (*scan++) = DEFAULT_OBJECT;
                    if (rest_flag)
                        (*scan++) = EMPTY_LIST;
                    for (i = auxes; (--i) >= 0; )
                        (*scan++) = UNASSIGNED_OBJECT;
                }
                else
                {
                    /* rest_flag must be true. */
                    SCHEME_OBJECT list
                        = (MAKE_POINTER_OBJECT (TC_LIST, (scan + size)));
                    for (i = (params + 1); (--i) >= 0; )
                        (*scan++) = (STACK_POP ());
                    (*scan++) = list;
                    for (i = auxes; (--i) >= 0; )
                        (*scan++) = UNASSIGNED_OBJECT;
                    /* Now scan == OBJECT_ADDRESS (list) */
                    for (i = (nargs - params); (--i) >= 0; )
                    {
                        (*scan++) = (STACK_POP ());
                        (*scan) = MAKE_POINTER_OBJECT (TC_LIST, (scan + 1));
                        scan += 1;
                    }
                    (scan[-1]) = EMPTY_LIST;
                }

                Free = scan;
                SET_ENV (temp);
                REDUCES_TO (Get_Body_Elambda (lambda));
            }

#ifdef CC_SUPPORT_P
            case TC_COMPILED_ENTRY:
            {
                guarantee_cc_return (1 + (APPLY_FRAME_SIZE ()));
                dispatch_code = (apply_compiled_procedure ());

return_from_compiled_code:
                switch (dispatch_code)
                {
                case PRIM_DONE:
                    goto pop_return;

                case PRIM_APPLY:
                    goto internal_apply;

                case PRIM_INTERRUPT:
                    SIGNAL_INTERRUPT (PENDING_INTERRUPTS ());

                case PRIM_APPLY_INTERRUPT:
                    PREPARE_APPLY_INTERRUPT ();
                    SIGNAL_INTERRUPT (PENDING_INTERRUPTS ());

                case ERR_INAPPLICABLE_OBJECT:
                case ERR_WRONG_NUMBER_OF_ARGUMENTS:
                    APPLICATION_ERROR (dispatch_code);

                default:
                    Do_Micro_Error (dispatch_code, true);
                    goto internal_apply;
                }
            }
#endif

            default:
                APPLICATION_ERROR (ERR_INAPPLICABLE_OBJECT);
            }
        }

    case RC_JOIN_STACKLETS:
        unpack_control_point (GET_EXP);
        break;

    case RC_NORMAL_GC_DONE:
        SET_VAL (GET_EXP);
        /* Paranoia */
        if (GC_NEEDED_P (gc_space_needed))
            termination_gc_out_of_space ();
        gc_space_needed = 0;
        EXIT_CRITICAL_SECTION ({ SAVE_CONT (); });
        break;

    case RC_PCOMB1_APPLY:
        END_SUBPROBLEM ();
        PUSH_VAL ();		/* Argument value */
        Finished_Eventual_Pushing (CONTINUATION_SIZE + STACK_ENV_FIRST_ARG);
        SET_EXP (MEMORY_REF (GET_EXP, PCOMB1_FN_SLOT));

primitive_internal_apply:

#ifdef COMPILE_STEPPER
        if (trapping
                && (!WITHIN_CRITICAL_SECTION_P ())
                && ((FETCH_APPLY_TRAPPER ()) != SHARP_F))
        {
            Will_Push (3);
            PUSH_EXP ();
            STACK_PUSH (FETCH_APPLY_TRAPPER ());
            PUSH_APPLY_FRAME_HEADER (1 + (PRIMITIVE_N_PARAMETERS (GET_EXP)));
            Pushed ();
            trapping = false;
            goto Apply_Non_Trapping;
        }
#endif /* COMPILE_STEPPER */

        /* NOTE: This code must match the code in the TC_PRIMITIVE
        case of internal_apply.
         This code is simpler because:
         1) The arity was checked at syntax time.
         2) We don't have to deal with "lexpr" primitives.
         3) We don't need to worry about unimplemented primitives because
         unimplemented primitives will cause an error at invocation.  */
        {
            SCHEME_OBJECT primitive = GET_EXP;
            APPLY_PRIMITIVE_FROM_INTERPRETER (primitive);
            POP_PRIMITIVE_FRAME (PRIMITIVE_ARITY (primitive));
            break;
        }

    case RC_PCOMB2_APPLY:
        END_SUBPROBLEM ();
        PUSH_VAL ();		/* Value of arg. 1 */
        Finished_Eventual_Pushing (CONTINUATION_SIZE + STACK_ENV_FIRST_ARG);
        SET_EXP (MEMORY_REF (GET_EXP, PCOMB2_FN_SLOT));
        goto primitive_internal_apply;

    case RC_PCOMB2_DO_1:
        POP_ENV ();
        PUSH_VAL ();		/* Save value of arg. 2 */
        DO_ANOTHER_THEN (RC_PCOMB2_APPLY, PCOMB2_ARG_1_SLOT);

    case RC_PCOMB3_APPLY:
        END_SUBPROBLEM ();
        PUSH_VAL ();		/* Save value of arg. 1 */
        Finished_Eventual_Pushing (CONTINUATION_SIZE + STACK_ENV_FIRST_ARG);
        SET_EXP (MEMORY_REF (GET_EXP, PCOMB3_FN_SLOT));
        goto primitive_internal_apply;

    case RC_PCOMB3_DO_1:
    {
        SCHEME_OBJECT Temp = (STACK_POP ()); /* Value of arg. 3 */
        POP_ENV ();
        STACK_PUSH (Temp);	/* Save arg. 3 again */
        PUSH_VAL ();		/* Save arg. 2 */
        DO_ANOTHER_THEN (RC_PCOMB3_APPLY, PCOMB3_ARG_1_SLOT);
    }

    case RC_PCOMB3_DO_2:
        SET_ENV (STACK_REF (0));
        PUSH_VAL ();		/* Save value of arg. 3 */
        DO_ANOTHER_THEN (RC_PCOMB3_DO_1, PCOMB3_ARG_2_SLOT);

    case RC_POP_RETURN_ERROR:
    case RC_RESTORE_VALUE:
        SET_VAL (GET_EXP);
        break;

    /* The following two return codes are both used to restore a
    saved history object.  The difference is that the first does
     not copy the history object while the second does.  In both
     cases, the GET_EXP contains the history object and the
     next item to be popped off the stack contains the offset back
     to the previous restore history return code.  */

    case RC_RESTORE_DONT_COPY_HISTORY:
    {
        prev_restore_history_offset = (OBJECT_DATUM (STACK_POP ()));
        (void) STACK_POP ();
        history_register = (OBJECT_ADDRESS (GET_EXP));
        break;
    }

    case RC_RESTORE_HISTORY:
    {
        if (!restore_history (GET_EXP))
        {
            SAVE_CONT ();
            Will_Push (CONTINUATION_SIZE);
            SET_EXP (GET_VAL);
            SET_RC (RC_RESTORE_VALUE);
            SAVE_CONT ();
            Pushed ();
            IMMEDIATE_GC (HEAP_AVAILABLE);
        }
        prev_restore_history_offset = (OBJECT_DATUM (STACK_POP ()));
        (void) STACK_POP ();
        if (prev_restore_history_offset > 0)
            (STACK_LOCATIVE_REFERENCE (STACK_BOTTOM,
                                       (-prev_restore_history_offset)))
                = (MAKE_RETURN_CODE (RC_RESTORE_HISTORY));
        break;
    }

    case RC_RESTORE_INT_MASK:
        SET_INTERRUPT_MASK (UNSIGNED_FIXNUM_TO_LONG (GET_EXP));
        if (GC_NEEDED_P (0))
            REQUEST_GC (0);
        if (PENDING_INTERRUPTS_P)
        {
            SET_RC (RC_RESTORE_VALUE);
            SET_EXP (GET_VAL);
            SAVE_CONT ();
            SIGNAL_INTERRUPT (PENDING_INTERRUPTS ());
        }
        break;

    case RC_STACK_MARKER:
        /* Frame consists of the return code followed by two objects.
        The first object has already been popped into GET_EXP,
               so just pop the second argument.  */
        stack_pointer = (STACK_LOCATIVE_OFFSET (stack_pointer, 1));
        break;

    case RC_SEQ_2_DO_2:
        END_SUBPROBLEM ();
        POP_ENV ();
        REDUCES_TO_NTH (SEQUENCE_2);

    case RC_SEQ_3_DO_2:
        SET_ENV (STACK_REF (0));
        DO_ANOTHER_THEN (RC_SEQ_3_DO_3, SEQUENCE_2);

    case RC_SEQ_3_DO_3:
        END_SUBPROBLEM ();
        POP_ENV ();
        REDUCES_TO_NTH (SEQUENCE_3);

    case RC_SNAP_NEED_THUNK:
        /* Don't snap thunk twice; evaluation of the thunk's body might
        have snapped it already.  */
        if ((MEMORY_REF (GET_EXP, THUNK_SNAPPED)) == SHARP_T)
            SET_VAL (MEMORY_REF (GET_EXP, THUNK_VALUE));
        else
        {
            MEMORY_SET (GET_EXP, THUNK_SNAPPED, SHARP_T);
            MEMORY_SET (GET_EXP, THUNK_VALUE, GET_VAL);
        }
        break;

    default:
        POP_RETURN_ERROR (ERR_INAPPLICABLE_CONTINUATION);
    }