|
|
case _retry3: | case _retry3: |
case _retry4: | case _retry4: |
case _p_eq: | case _p_eq: |
|
case _p_dif: |
pc->u.l.l = PtoOpAdjust(pc->u.l.l); | pc->u.l.l = PtoOpAdjust(pc->u.l.l); |
pc = NEXTOP(pc,l); | pc = NEXTOP(pc,l); |
break; | break; |
|
|
case _undef_p: | case _undef_p: |
case _spy_pred: | case _spy_pred: |
case _p_equal: | case _p_equal: |
case _p_dif: |
|
case _p_functor: | case _p_functor: |
case _enter_a_profiling: | case _enter_a_profiling: |
case _count_a_call: | case _count_a_call: |
|
|
/* instructions type xllll */ | /* instructions type xllll */ |
case _switch_list_nl: | case _switch_list_nl: |
pc->u.ollll.pop = Yap_opcode(Yap_op_from_opcode(pc->u.ollll.pop)); | pc->u.ollll.pop = Yap_opcode(Yap_op_from_opcode(pc->u.ollll.pop)); |
pc->u.ollll.l1 = PtoOpAdjust(pc->u.llll.l1); |
pc->u.ollll.l1 = PtoOpAdjust(pc->u.ollll.l1); |
pc->u.ollll.l2 = PtoOpAdjust(pc->u.llll.l2); |
pc->u.ollll.l2 = PtoOpAdjust(pc->u.ollll.l2); |
pc->u.ollll.l3 = PtoOpAdjust(pc->u.llll.l3); |
pc->u.ollll.l3 = PtoOpAdjust(pc->u.ollll.l3); |
pc->u.ollll.l4 = PtoOpAdjust(pc->u.llll.l4); |
pc->u.ollll.l4 = PtoOpAdjust(pc->u.ollll.l4); |
pc = NEXTOP(pc,ollll); | pc = NEXTOP(pc,ollll); |
break; | break; |
/* instructions type xllll */ | /* instructions type xllll */ |