* src/vm/jit/code.c (code_get_stack_frame_size): Implement stack alignment

[cacao.git] / src / vm / jit / code.c

diff --git a/src/vm/jit/code.c b/src/vm/jit/code.c
index 5fa6e0b6e885b06c518ac5bda586502ac95d743d..dc7cd96c6cbf78341564d8e11e61924d4658df5d 100644 (file)
--- a/src/vm/jit/code.c
+++ b/src/vm/jit/code.c
@@ -33,8 +33,33 @@
 */
 
 
+#include "config.h"
+#include "vm/types.h"
+
+#include <assert.h>
+
 #include "vm/jit/code.h"
 #include "mm/memory.h"
+#include "vm/options.h"
+#include "arch.h"
+
+/* code_codeinfo_new ***********************************************************
+
+   Create a new codeinfo for the given method.
+   
+   IN:
+       m................method to create a new codeinfo for
+
+   The following fields are set in codeinfo:
+       m
+          isleafmethod
+   all other fields are zeroed
+
+   RETURN VALUE:
+       a new, initialized codeinfo, or
+          NULL if an exception occurred.
+  
+*******************************************************************************/
 
 codeinfo *code_codeinfo_new(methodinfo *m)
 {
@@ -45,10 +70,132 @@ codeinfo *code_codeinfo_new(methodinfo *m)
        memset(code,0,sizeof(codeinfo));
 
        code->m = m;
+       code->isleafmethod = m->isleafmethod; /* XXX will be moved to codeinfo */
        
        return code;
 }
 
+/* code_get_sync_slot_count ****************************************************
+
+   Return the number of stack slots used for storing the synchronized object
+   (and the return value around monitorExit calls) by the given code.
+   
+   IN:
+       code.............the codeinfo of the code in question
+                           (must be != NULL)
+
+   RETURN VALUE:
+       the number of stack slots used for synchronization
+  
+*******************************************************************************/
+
+int code_get_sync_slot_count(codeinfo *code)
+{
+#ifdef USE_THREADS
+       int count;
+       
+       assert(code);
+
+       if (!checksync)
+               return 0;
+
+       if (!(code->m->flags & ACC_SYNCHRONIZED))
+               return 0;
+
+       count = 1;
+
+#ifdef HAS_4BYTE_STACKSLOT
+       /* long and double need 2 4-byte slots */
+       if (IS_2_WORD_TYPE(code->m->parseddesc->returntype.type))
+               count++;
+#endif
+
+#if defined(__POWERPC__)
+       /* powerpc needs an extra slot */
+       count++;
+#endif
+
+       return count;
+
+#else /* !USE_THREADS */
+       
+       return 0;
+
+#endif /* USE_THREADS */
+}
+
+/* code_get_stack_frame_size ***************************************************
+
+   Return the number of stack slots that the stack frame of the given code
+   comprises.
+
+   IMPORTANT: The return value does *not* include the saved return address 
+              slot, although it is part of non-leaf stack frames on RISC
+                         architectures. The rationale behind this is that the saved
+                         return address is never moved or changed by replacement, and
+                         this way CISC and RISC architectures can be treated the same.
+                         (See also doc/stack_frames.txt.)
+   
+   IN:
+       code.............the codeinfo of the code in question
+                           (must be != NULL)
+
+   RETURN VALUE:
+       the number of stack slots
+  
+*******************************************************************************/
+
+int code_get_stack_frame_size(codeinfo *code)
+{
+       int count;
+       
+       assert(code);
+
+       /* slots allocated by register allocator plus saved registers */
+
+#ifdef HAS_4BYTE_STACKSLOT
+       count = code->memuse + code->savedintcount + 2*code->savedfltcount;
+#else
+       count = code->memuse + code->savedintcount + code->savedfltcount;
+#endif
+
+       /* add slots needed in synchronized methods */
+
+       count += code_get_sync_slot_count(code);
+
+       /* keep stack aligned */
+
+#if defined(__X86_64__)
+       /* the x86_64 codegen only aligns the stack in non-leaf methods */
+       if (!code->isleafmethod || opt_verbosecall)
+               count |= 1; /* even when return address is added */
+#endif
+
+       /* XXX align stack on alpha */
+#if defined(__MIPS__)
+       if (code->isleafmethod)
+               count = (count + 1) & ~1;
+       else
+               count |= 1; /* even when return address is added */
+#endif
+
+#if defined(__POWERPC__)
+       /* keep stack 16-byte aligned */
+       count = (count + 3) & ~3;
+#endif
+
+       return count;
+}
+
+/* code_codeinfo_free **********************************************************
+
+   Free the memory used by a codeinfo.
+   
+   IN:
+       code.............the codeinfo to free
+
+*******************************************************************************/
+
 void code_codeinfo_free(codeinfo *code)
 {
        if (!code)
@@ -57,13 +204,27 @@ void code_codeinfo_free(codeinfo *code)
        if (code->mcode)
                CFREE((void *) (ptrint) code->mcode, code->mcodelength);
 
+       replace_free_replacement_points(code);
+
        FREE(code,codeinfo);
 }
 
+/* code_free_code_of_method ****************************************************
+
+   Free all codeinfos of the given method
+   
+   IN:
+       m................the method of which the codeinfos are to be freed
+
+*******************************************************************************/
+
 void code_free_code_of_method(methodinfo *m)
 {
        codeinfo *nextcode;
        codeinfo *code;
+
+       if (!m)
+               return;
        
        nextcode = m->code;
        while (nextcode) {
@@ -71,6 +232,8 @@ void code_free_code_of_method(methodinfo *m)
                nextcode = code->prev;
                code_codeinfo_free(code);
        }
+
+       m->code = NULL;
 }
 
 /*