Defines | |
| #define | SUBTRYME |
| #define | RESTORE_SUB |
| #define | TABLE_RESTORE_SUB |
|
|
Value: { \
CPtr tbreg; \
\
tbreg = breg; \
/* switch_envs(tbreg); */ \
undo_bindings(tbreg); \
ptcpreg = cp_ptcp(tbreg); \
delayreg = cp_pdreg(tbreg); \
restore_some_wamregs(tbreg, ereg); \
restore_registers(tbreg, (int)op1, rreg); \
if (restore_type == 1) { /* trust */ \
breg = cp_prevbreg(breg); \
restore_trail_condition_registers(breg); \
} \
XSB_Next_Instr(); \
}
|
|
|
Value: { \
CPtr cps_top; /* cps_top only needed for efficiency */ \
\
save_find_locx(ereg); /* sets ebreg to the top of the E-stack */\
check_tcpstack_overflow; \
cps_top = top_of_cpstack; \
save_registers(cps_top, (Cell)op1, rreg); \
save_choicepoint(cps_top, ereg, (byte *)op2, breg); \
breg = cps_top; \
hbreg = hreg; \
/* XSB_Next_Instr(); */ \
}
|
|
|
Value: { \
CPtr tbreg; \
CPtr xtemp1; \
\
tbreg = breg; \
switch_envs(tbreg); \
/* This CP should be used for the dependency graph */ \
ptcpreg = tcp_subgoal_ptr(tbreg); \
delayreg = NULL; \
restore_some_wamregs(tbreg, ereg); \
table_restore_registers(tbreg, (int)op1, rreg); \
if (restore_type == 1) { \
xtemp1 = tcp_prevbreg(breg); \
restore_trail_condition_registers(xtemp1); \
} \
XSB_Next_Instr(); \
}
|
1.4.5