-
-
-/* -----------------------------------------------------------------------------
- Exception Primitives
- -------------------------------------------------------------------------- */
-
-FN_(catchZh_fast);
-FN_(raiseZh_fast);
-
-#define CATCH_FRAME_ENTRY_TEMPLATE(label,ret) \
- FN_(label); \
- FN_(label) \
- { \
- FB_ \
- Su = ((StgCatchFrame *)Sp)->link; \
- Sp += sizeofW(StgCatchFrame); \
- JMP_(ret); \
- FE_ \
- }
-
-CATCH_FRAME_ENTRY_TEMPLATE(catch_frame_entry,ENTRY_CODE(Sp[0]));
-CATCH_FRAME_ENTRY_TEMPLATE(catch_frame_0_entry,RET_VEC(Sp[0],0));
-CATCH_FRAME_ENTRY_TEMPLATE(catch_frame_1_entry,RET_VEC(Sp[0],1));
-CATCH_FRAME_ENTRY_TEMPLATE(catch_frame_2_entry,RET_VEC(Sp[0],2));
-CATCH_FRAME_ENTRY_TEMPLATE(catch_frame_3_entry,RET_VEC(Sp[0],3));
-CATCH_FRAME_ENTRY_TEMPLATE(catch_frame_4_entry,RET_VEC(Sp[0],4));
-CATCH_FRAME_ENTRY_TEMPLATE(catch_frame_5_entry,RET_VEC(Sp[0],5));
-CATCH_FRAME_ENTRY_TEMPLATE(catch_frame_6_entry,RET_VEC(Sp[0],6));
-CATCH_FRAME_ENTRY_TEMPLATE(catch_frame_7_entry,RET_VEC(Sp[0],7));
-
-#ifdef PROFILING
-#define CATCH_FRAME_BITMAP 3
-#else
-#define CATCH_FRAME_BITMAP 1
-#endif
-
-/* Catch frames are very similar to update frames, but when entering
- * one we just pop the frame off the stack and perform the correct
- * kind of return to the activation record underneath us on the stack.
- */
-
-VEC_POLY_INFO_TABLE(catch_frame, CATCH_FRAME_BITMAP, NULL/*srt*/, 0/*srt_off*/, 0/*srt_len*/, CATCH_FRAME);
-
-/* -----------------------------------------------------------------------------
- * The catch infotable
- *
- * This should be exactly the same as would be generated by this STG code
- *
- * catch = {x,h} \n {} -> catch#{x,h}
- *
- * It is used in deleteThread when reverting blackholes.
- * -------------------------------------------------------------------------- */
-
-INFO_TABLE(catch_info,catch_entry,2,0,FUN,const,EF_,0,0);
-STGFUN(catch_entry)
-{
- FB_
- R2.cl = payloadCPtr(R1.cl,1); /* h */
- R1.cl = payloadCPtr(R1.cl,0); /* x */
- JMP_(catchZh_fast);
- FE_
-}
-
-FN_(catchZh_fast)
-{
- StgCatchFrame *fp;
- FB_
-
- /* args: R1 = m, R2 = k */
- STK_CHK_GEN(sizeofW(StgCatchFrame), R1_PTR | R2_PTR, catchZh_fast, );
- Sp -= sizeofW(StgCatchFrame);
- fp = stgCast(StgCatchFrame*,Sp);
- SET_HDR(fp,(StgInfoTable *)&catch_frame_info,CCCS);
- fp -> handler = R2.cl;
- fp -> link = Su;
- Su = stgCast(StgUpdateFrame*,fp);
- TICK_ENT_VIA_NODE();
- JMP_(ENTRY_CODE(*R1.p));
-
- FE_
-}
-
-/* -----------------------------------------------------------------------------
- * The raise infotable
- *
- * This should be exactly the same as would be generated by this STG code
- *
- * raise = {err} \n {} -> raise#{err}
- *
- * It is used in raiseZh_fast to update thunks on the update list
- * -------------------------------------------------------------------------- */
-
-INFO_TABLE(raise_info,raise_entry,1,0,FUN,const,EF_,0,0);
-STGFUN(raise_entry)
-{
- FB_
- R1.cl = payloadCPtr(R1.cl,0);
- JMP_(raiseZh_fast);
- FE_
-}
-
-FN_(raiseZh_fast)
-{
- StgClosure *handler;
- StgUpdateFrame *p;
- FB_
- /* args : R1 = error */
-
- p = Su;
-
- while (1) {
-
- switch (get_itbl(p)->type) {
-
- case UPDATE_FRAME:
- UPD_INPLACE1(p->updatee,&raise_info,R1.cl);
- p = p->link;
- continue;
-
- case SEQ_FRAME:
- p = stgCast(StgSeqFrame*,p)->link;
- continue;
-
- case CATCH_FRAME:
- /* found it! */
- break;
-
- case STOP_FRAME:
- barf("raiseZh_fast: STOP_FRAME");
-
- default:
- barf("raiseZh_fast: weird activation record");
- }
-
- break;
-
- }
-
- /* Ok, p points to the enclosing CATCH_FRAME. Pop everything down to
- * and including this frame, update Su, push R1, and enter the handler.
- */
- Su = ((StgCatchFrame *)p)->link;
- handler = ((StgCatchFrame *)p)->handler;
-
- Sp = stgCast(StgPtr,p) + sizeofW(StgCatchFrame) - 1;
- *Sp = R1.w;
-
- TICK_ENT_VIA_NODE();
- R1.cl = handler;
- JMP_(ENTRY_CODE(handler->header.info));
-
- FE_
-}
-