Exception Handling

Hi,


I'm developping a compiler (for the fun) for a new language called Nosica.
(http://nosica.ng-market.net)


I'm stuck with exception implementation because I'm using C as as my
assembly language.


Finding docs for exceptions is not very easy, but I came to a model using
custom setjmp /longjmp (because the standard C version appears to save a
lot more than needed for C++ compatibility).


For example, the following nosica code : (looks like java)
---
try
{
    int i;
    Data data = new Data();


    f(); // may throw. Return adress is equal to PC (Program Counter)


    // .. do some stuff


    Data data2 = new Data();


    g(); // never throw


    // Do some stuff


    h(); // may throw
}
catch (Exception e)
{
    // catch all
}
---


would be transformed into the following c code :


---
JmpBuffer env;
int returnJmp;
if ((returnJmp=setjmp(env)) == 0)
{
register(env, exception_list_type_code);
// try_block
unregister(env);
[finally_block]
}
else
{
    Exception e = (Exception)returnJump;
    switch (e.getReturnAddress())
    {
    case h_addr :
        DECREF(data2);
    case f_addr :
        DECREF(data);
        int_destructor(i);


        // all local variables have been destroyed
        [finally_block]


        if (exceptionHandled(e)) // look if e can be handled by a registered
exception of this try block
        break;


    default :
        ExceptionRepository.THROW(e); // rethrow
    }


    switch (e.getTypeCode())
    {
        EXCEPTION_TypeCode :
            Exception_Block
            break;
    }
}
---


Basically, I need to have the return address that the called function would
return to if there was no exception thrown.
In this case, the compiler could switch on this return value and produce the
*good* code needed to clean up local variables.


Problem is I don't know how to get this return address in order to produce
the good case (here h_addr and f_addr).


Is there any way to get them using assembly ?


Thank you


David

Return to the comp.compilers page.
Search the comp.compilers archives again.