/* -----------------------------------------------------------------------------
- * $Id: StgCRun.c,v 1.6 1999/07/06 16:40:27 sewardj Exp $
+ * $Id: StgCRun.c,v 1.13 2000/03/07 11:35:36 simonmar Exp $
*
- * (c) The GHC Team, 1998-1999
+ * (c) The GHC Team, 1998-2000
*
- * STG-to-C glue. Some architectures have this code written in
- * straight assembler (see StgRun.S), some in C.
+ * STG-to-C glue.
+ *
+ * To run an STG function from C land, call
+ *
+ * rv = StgRun(f,BaseReg);
+ *
+ * where "f" is the STG function to call, and BaseReg is the address of the
+ * RegTable for this run (we might have separate RegTables if we're running
+ * multiple threads on an SMP machine).
+ *
+ * In the end, "f" must JMP to StgReturn (defined below),
+ * passing the return-value "rv" in R1,
+ * to return to the caller of StgRun returning "rv" in
+ * the whatever way C returns a value.
+ *
+ * NOTE: StgRun/StgReturn do *NOT* load or store Hp or any
+ * other registers (other than saving the C callee-saves
+ * registers). Instead, the called function "f" must do that
+ * in STG land.
+ *
+ * GCC will have assumed that pushing/popping of C-stack frames is
+ * going on when it generated its code, and used stack space
+ * accordingly. However, we actually {\em post-process away} all
+ * such stack-framery (see \tr{ghc/driver/ghc-asm.lprl}). Things will
+ * be OK however, if we initially make sure there are
+ * @RESERVED_C_STACK_BYTES@ on the C-stack to begin with, for local
+ * variables.
*
* -------------------------------------------------------------------------- */
static jmp_buf jmp_environment;
-#if 0
+#if 1
-extern StgThreadReturnCode StgRun(StgFunPtr f)
+extern StgThreadReturnCode StgRun(StgFunPtr f, StgRegTable *basereg)
{
jmp_buf save_buf;
/* Save jmp_environment for previous call to miniInterpret */
#else
-extern StgThreadReturnCode StgRun(StgFunPtr f)
+static void scanStackSeg ( W_* ptr, int nwords )
+{
+ W_ w;
+ int nwords0 = nwords;
+ while (nwords > 0) {
+ w = *ptr;
+ if (IS_ARG_TAG(w)) {
+ fprintf ( stderr, "%d",w ); nwords--; ptr++;
+ while (w) { fprintf(stderr, "_"); w--; nwords--; ptr++; }
+ }
+ else {
+ fprintf(stderr, "p");
+ nwords--; ptr++;
+ }
+ }
+ if (nwords < 0) fprintf(stderr, "erk: nwords < 0\n");
+ checkStackChunk ( ptr, ptr-nwords0 );
+}
+
+
+extern StgThreadReturnCode StgRun(StgFunPtr f, StgRegTable *basereg)
{
char* nm;
- while ( f ) {
-
-#if 0
- //IF_DEBUG(evaluator,
- fprintf(stderr,"Jumping to ");
- nm = nameOfObjSym ( f );
- if (nm)
- fprintf(stderr, "%s (%p)", nm, f); else
- printPtr((P_)f);
- fprintf(stderr,"\n");
- // );
-if (0&& MainRegTable.rSp) {
+ while (1) {
+
+#define STACK_DETAILS 0
+
+#if STACK_DETAILS
+ {
int i;
- StgWord* p = MainRegTable.rSp;
-fprintf(stderr, "SP = %p\n", p);
- p += (8-1);
- for (i = 0; i < 8; i++, p--)
- fprintf (stderr, "-- %p: %p\n", p, *p );
-}
+ StgWord* sp = basereg->rSp;
+ StgWord* su = basereg->rSu;
+ StgTSO* tso = basereg->rCurrentTSO;
+ StgWord* sb = tso->stack + tso->stack_size;
+ int ws;
+
+ fprintf(stderr, "== SP = %p SU = %p\n", sp,su);
+
+ if (su >= sb) goto postloop;
+ if (!sp || !su) goto postloop;
+
+ //printStack ( sp, sb, su);
+
+ while (1) {
+ ws = su - sp;
+ switch (get_itbl((StgClosure*)su)->type) {
+ case STOP_FRAME:
+ scanStackSeg(sp,ws);
+ fprintf(stderr, "S%d ",ws);
+ fprintf(stderr, "\n");
+ goto postloop;
+ case UPDATE_FRAME:
+ scanStackSeg(sp,ws);
+ fprintf(stderr,"U%d ",ws);
+ sp = su + sizeofW(StgUpdateFrame);
+ su = ((StgUpdateFrame*)su)->link;
+ break;
+ case SEQ_FRAME:
+ scanStackSeg(sp,ws);
+ fprintf(stderr,"Q%d ",ws);
+ sp = su + sizeofW(StgSeqFrame);
+ su = ((StgSeqFrame*)su)->link;
+ break;
+ case CATCH_FRAME:
+ scanStackSeg(sp,ws);
+ fprintf(stderr,"C%d ",ws);
+ sp = su + sizeofW(StgCatchFrame);
+ su = ((StgCatchFrame*)su)->link;
+ break;
+ default:
+ fprintf(stderr, "?\nweird record on stack\n");
+ goto postloop;
+ }
+ }
+ postloop:
+ }
#endif
+#if STACK_DETAILS
+ fprintf(stderr,"\n");
+#endif
+ fprintf(stderr,"-- enter: ");
+ nm = nameFromOPtr ( f );
+ if (nm)
+ fprintf(stderr, "%s (%p)", nm, f); else
+ printPtr((P_)f);
+ fprintf ( stderr, "\n");
+#if STACK_DETAILS
+ fprintf(stderr,"\n");
+#endif
f = (StgFunPtr) (f)();
+ if (!f) break;
}
-
+ fprintf (stderr, "miniInterpreter: bye!\n\n" );
return (StgThreadReturnCode)R1.i;
}
#endif
/* -----------------------------------------------------------------------------
+ x86 architecture
+ -------------------------------------------------------------------------- */
+
+#ifdef i386_TARGET_ARCH
+
+StgThreadReturnCode
+StgRun(StgFunPtr f, StgRegTable *basereg) {
+
+ StgChar space[ RESERVED_C_STACK_BYTES + 4*sizeof(void *) ];
+ StgThreadReturnCode r;
+
+ __asm__ volatile (
+ /*
+ * save callee-saves registers on behalf of the STG code.
+ */
+ "movl %%esp, %%eax\n\t"
+ "addl %4, %%eax\n\t"
+ "movl %%ebx,0(%%eax)\n\t"
+ "movl %%esi,4(%%eax)\n\t"
+ "movl %%edi,8(%%eax)\n\t"
+ "movl %%ebp,12(%%eax)\n\t"
+ /*
+ * Set BaseReg
+ */
+ "movl %3,%%ebx\n\t"
+ /*
+ * grab the function argument from the stack, and jump to it.
+ */
+ "movl %2,%%eax\n\t"
+ "jmp *%%eax\n\t"
+
+ ".global " STG_RETURN "\n"
+ STG_RETURN ":\n\t"
+
+ "movl %%esi, %%eax\n\t" /* Return value in R1 */
+
+ /*
+ * restore callee-saves registers. (Don't stomp on %%eax!)
+ */
+ "movl %%esp, %%edx\n\t"
+ "addl %4, %%edx\n\t"
+ "movl 0(%%edx),%%ebx\n\t" /* restore the registers saved above */
+ "movl 4(%%edx),%%esi\n\t"
+ "movl 8(%%edx),%%edi\n\t"
+ "movl 12(%%edx),%%ebp\n\t"
+
+ : "=&a" (r), "=m" (space)
+ : "m" (f), "m" (basereg), "i" (RESERVED_C_STACK_BYTES)
+ : "edx" /* stomps on %edx */
+ );
+
+ return r;
+}
+
+#endif
+
+/* -----------------------------------------------------------------------------
sparc architecture
-------------------------------------------------------------------------- */
#ifdef sparc_TARGET_ARCH
StgThreadReturnCode
-StgRun(StgFunPtr f) {
+StgRun(StgFunPtr f, StgRegTable *basereg) {
StgChar space[RESERVED_C_STACK_BYTES+sizeof(void *)];
register void *i7 __asm__("%i7");
#ifdef alpha_TARGET_ARCH
StgThreadReturnCode
-StgRun(StgFunPtr f)
+StgRun(StgFunPtr f, StgRegTable *basereg)
{
+ StgThreadReturnCode ret;
+
__asm__ volatile ("stq $9,-8($30)\n\t"
"stq $10,-16($30)\n\t"
"stq $11,-24($30)\n\t"
__asm__ volatile (".align 3\n"
".globl " STG_RETURN "\n"
STG_RETURN ":\n\t"
+ "lda %0,($14)\n\t" /* save R1 */
"lda $30,%0($30)\n\t"
"ldq $9,-8($30)\n\t"
"ldq $10,-16($30)\n\t"
"ldt $f6,-96($30)\n\t"
"ldt $f7,-104($30)\n\t"
"ldt $f8,-112($30)\n\t"
- "ldt $f9,-120($30)" : :
- "K" (RESERVED_C_STACK_BYTES+
+ "ldt $f9,-120($30)"
+ : "=r" (ret)
+ : "K" (RESERVED_C_STACK_BYTES+
8*sizeof(double)+8*sizeof(long)));
- return (StgThreadReturnCode)R1.i;
+ return ret;
}
#endif /* alpha_TARGET_ARCH */
#ifdef hppa1_1_TARGET_ARCH
StgThreadReturnCode
-StgRun(StgFunPtr f)
+StgRun(StgFunPtr f, StgRegTable *basereg)
{
StgChar space[RESERVED_C_STACK_BYTES+16*sizeof(long)+10*sizeof(double)];
- StgThredReturnCode ret;
+ StgThreadReturnCode ret;
__asm__ volatile ("ldo %0(%%r30),%%r19\n"
"\tstw %%r3, 0(0,%%r19)\n"
"\tldo 32(%%r19),%%r19\n"
"\tfldds -16(0,%%r19),%%fr20\n"
"\tfldds -8(0,%%r19),%%fr21\n"
- : "=r" (ret) /* result */
- : "n" (-(116 * sizeof(long) + 10 * sizeof(double)))
- : "%r19"
+ : "=r" (ret)
+ : "n" (-(116 * sizeof(long) + 10 * sizeof(double)))
+ : "%r19"
);
return ret;
projects / ghc-hetmet.git / blobdiff