X-Git-Url: http://wien.tomnetworks.com/gitweb/?a=blobdiff_plain;f=mono%2Fmini%2Fmini.h;h=6e0ab2f1f120c2cbd8b335124391bdf94e100d06;hb=ca030c24e1869ce323e8ed3d61e021c2d5c72811;hp=da42642d64dfdedab4c13cc97240dccb0a510e6c;hpb=3cecc392787128275d9a1a70d628c3d331887457;p=mono.git diff --git a/mono/mini/mini.h b/mono/mini/mini.h index da42642d64d..6e0ab2f1f12 100644 --- a/mono/mini/mini.h +++ b/mono/mini/mini.h @@ -15,6 +15,7 @@ #include "mono/metadata/class-internals.h" #include "mono/metadata/object-internals.h" #include +#include #include #include "mini-arch.h" @@ -38,19 +39,19 @@ /* for 32 bit systems */ #if G_BYTE_ORDER == G_LITTLE_ENDIAN -#define MINI_LS_WORD_OFFSET 0 -#define MINI_MS_WORD_OFFSET 4 -#define inst_ls_word data.op[0].const_val -#define inst_ms_word data.op[1].const_val +#define MINI_LS_WORD_IDX 0 +#define MINI_MS_WORD_IDX 1 #else -#define MINI_LS_WORD_OFFSET 4 -#define MINI_MS_WORD_OFFSET 0 -#define inst_ls_word data.op[1].const_val -#define inst_ms_word data.op[0].const_val +#define MINI_LS_WORD_IDX 1 +#define MINI_MS_WORD_IDX 0 #endif +#define MINI_LS_WORD_OFFSET (MINI_LS_WORD_IDX * 4) +#define MINI_MS_WORD_OFFSET (MINI_MS_WORD_IDX * 4) +#define inst_ls_word data.op[MINI_LS_WORD_IDX].const_val +#define inst_ms_word data.op[MINI_MS_WORD_IDX].const_val /* Version number of the AOT file format */ -#define MONO_AOT_FILE_VERSION "30" +#define MONO_AOT_FILE_VERSION "32" #if 0 #define mono_bitset_foreach_bit(set,b,n) \ @@ -105,6 +106,12 @@ enum { } \ } while (0) +#define NULLIFY_INS(ins) do { \ + (ins)->opcode = OP_NOP; \ + (ins)->dreg = (ins)->sreg1 = (ins)->sreg2 = -1; \ + (ins)->ssa_op = MONO_SSA_NOP; \ + } while (0) + typedef struct MonoInst MonoInst; typedef struct MonoCallInst MonoCallInst; typedef struct MonoCallArgParm MonoCallArgParm; @@ -124,7 +131,8 @@ extern int mono_exc_esp_offset; #else extern gboolean mono_compile_aot; #endif -extern gboolean mono_use_security_manager; +extern MonoMethodDesc *mono_inject_async_exc_method; +extern int mono_inject_async_exc_pos; struct MonoEdge { MonoEdge *next; @@ -133,9 +141,6 @@ struct MonoEdge { }; struct MonoSpillInfo { -#ifndef MONO_ARCH_HAS_XP_REGALLOC - MonoSpillInfo *next; -#endif int offset; }; @@ -204,7 +209,7 @@ struct MonoBasicBlock { MonoBitSet *dominators; MonoBitSet *dfrontier; MonoBasicBlock *idom; - GList *dominated; + GSList *dominated; /* fast dominator algorithm */ MonoBasicBlock *df_parent, *ancestor, *child, *label; MonoEdge *bucket; @@ -254,7 +259,7 @@ struct MonoBasicBlock { guint region; /* The current symbolic register number, used in local register allocation. */ - guint32 max_ireg, max_freg; + guint32 max_vreg; }; /* BBlock flags */ @@ -266,6 +271,10 @@ enum { BB_EXCEPTION_HANDLER = 1 << 4 }; +typedef struct MonoMemcpyArgs { + int size, align; +} MonoMemcpyArgs; + struct MonoInst { union { union { @@ -297,7 +306,8 @@ struct MonoInst { union { gint32 reg3; gint32 arg_info; - gint32 size; /* in OP_MEMSET and OP_MEMCPY */ + gint32 size; + MonoMemcpyArgs *memcpy_args; /* in OP_MEMSET and OP_MEMCPY */ gint shift_amount; gboolean is_pinvoke; /* for variables in the unmanaged marshal format */ gpointer data; @@ -319,10 +329,8 @@ struct MonoCallInst { gboolean virtual; regmask_t used_iregs; regmask_t used_fregs; -#if defined(MONO_ARCH_HAS_XP_LOCAL_REGALLOC) GSList *out_ireg_args; GSList *out_freg_args; -#endif }; struct MonoCallArgParm { @@ -390,12 +398,14 @@ enum { MONO_INST_DEST, MONO_INST_SRC1, MONO_INST_SRC2, - MONO_INST_FLAGS, + MONO_INST_LEN, MONO_INST_CLOB, + /* Unused, commented out to reduce the size of the mdesc tables + MONO_INST_FLAGS, MONO_INST_COST, MONO_INST_DELAY, MONO_INST_RES, - MONO_INST_LEN, + */ MONO_INST_MAX }; @@ -437,41 +447,16 @@ typedef struct { MonoLMF *first_lmf; gpointer signal_stack; guint32 signal_stack_size; + gpointer stack_ovf_guard_base; + guint32 stack_ovf_guard_size; void (*abort_func) (MonoObject *object); } MonoJitTlsData; typedef enum { - MONO_PATCH_INFO_BB, - MONO_PATCH_INFO_ABS, - MONO_PATCH_INFO_LABEL, - MONO_PATCH_INFO_METHOD, - MONO_PATCH_INFO_METHOD_JUMP, - MONO_PATCH_INFO_METHOD_REL, - MONO_PATCH_INFO_METHODCONST, - MONO_PATCH_INFO_INTERNAL_METHOD, - MONO_PATCH_INFO_SWITCH, - MONO_PATCH_INFO_EXC, - MONO_PATCH_INFO_EXC_NAME, - MONO_PATCH_INFO_CLASS, - MONO_PATCH_INFO_IMAGE, - MONO_PATCH_INFO_FIELD, - MONO_PATCH_INFO_VTABLE, - MONO_PATCH_INFO_CLASS_INIT, - MONO_PATCH_INFO_SFLDA, - MONO_PATCH_INFO_LDSTR, - MONO_PATCH_INFO_LDTOKEN, - MONO_PATCH_INFO_TYPE_FROM_HANDLE, - MONO_PATCH_INFO_R4, - MONO_PATCH_INFO_R8, - MONO_PATCH_INFO_IP, - MONO_PATCH_INFO_IID, - MONO_PATCH_INFO_ADJUSTED_IID, - MONO_PATCH_INFO_BB_OVF, - MONO_PATCH_INFO_EXC_OVF, - MONO_PATCH_INFO_WRAPPER, - MONO_PATCH_INFO_GOT_OFFSET, - MONO_PATCH_INFO_DECLSEC, - MONO_PATCH_INFO_NONE +#define PATCH_INFO(a,b) MONO_PATCH_INFO_ ## a, +#include "patch-info.h" +#undef PATCH_INFO + MONO_PATCH_INFO_NUM } MonoJumpInfoType; /* @@ -558,7 +543,7 @@ typedef struct { MonoBasicBlock *bb_exit; MonoBasicBlock *bb_init; MonoBasicBlock **bblocks; - GHashTable *bb_hash; + MonoBasicBlock **cil_offset_to_bb; MonoMemPool *state_pool; /* used by instruction selection */ MonoBasicBlock *cbb; /* used by instruction selection */ MonoInst *prev_ins; /* in decompose */ @@ -571,6 +556,7 @@ typedef struct { guint varinfo_count; /* total storage in varinfo */ gint stack_offset; gint max_ireg; + gint cil_offset_to_bb_len; MonoRegState *rs; MonoSpillInfo *spill_info; /* machine register spills */ MonoSpillInfo *spill_info_float; /* fp register spills */ @@ -580,6 +566,7 @@ typedef struct { MonoMethod *inlined_method; /* the method which is currently inlined */ MonoInst *domainvar; /* a cache for the current domain */ MonoInst *got_var; /* Global Offset Table variable */ + MonoInst **args; struct MonoAliasingInformation *aliasing_info; @@ -595,6 +582,7 @@ typedef struct { MonoDomain *domain; + unsigned char *cil_start; unsigned char *native_code; guint code_size; guint code_len; @@ -620,10 +608,12 @@ typedef struct { guint dont_verify_stack_merge : 1; guint unverifiable : 1; guint skip_visibility : 1; + guint generic_shared : 1; gpointer debug_info; guint32 lmf_offset; guint16 *intvars; MonoProfileCoverageInfo *coverage_info; + GHashTable *token_info_hash; MonoCompileArch arch; guint32 exception_type; /* MONO_EXCEPTION_* */ guint32 exception_data; @@ -665,12 +655,14 @@ typedef struct { gulong inlined_methods; gulong basic_blocks; gulong max_basic_blocks; + gulong locals_stack_size; gulong cas_declsec_check; gulong cas_linkdemand_icall; gulong cas_linkdemand_pinvoke; gulong cas_linkdemand_aptc; gulong cas_linkdemand; gulong cas_demand_generation; + gulong generic_virtual_invocations; MonoMethod *max_ratio_method; MonoMethod *biggest_method; gboolean enabled; @@ -761,6 +753,12 @@ extern const guint8 mono_burg_arity []; extern guint8 mono_burg_arity []; #endif +extern const char MONO_ARCH_CPU_SPEC [] MONO_INTERNAL; +#define MONO_ARCH_CPU_SPEC_IDX_COMBINE(a) a ## _idx +#define MONO_ARCH_CPU_SPEC_IDX(a) MONO_ARCH_CPU_SPEC_IDX_COMBINE(a) +extern const guint16 MONO_ARCH_CPU_SPEC_IDX(MONO_ARCH_CPU_SPEC) [] MONO_INTERNAL; +#define ins_get_spec(op) ((const char*)&MONO_ARCH_CPU_SPEC + MONO_ARCH_CPU_SPEC_IDX(MONO_ARCH_CPU_SPEC)[(op)]) + enum { MONO_COMP_DOM = 1, MONO_COMP_IDOM = 2, @@ -800,6 +798,25 @@ enum { BRANCH_UNDEF }; +typedef enum { + CMP_EQ, + CMP_NE, + CMP_LE, + CMP_GE, + CMP_LT, + CMP_GT, + CMP_LE_UN, + CMP_GE_UN, + CMP_LT_UN, + CMP_GT_UN +} CompRelation; + +typedef enum { + CMP_TYPE_L, + CMP_TYPE_I, + CMP_TYPE_F +} CompType; + /* Implicit exceptions */ enum { MONO_EXC_INDEX_OUT_OF_RANGE, @@ -812,12 +829,22 @@ enum { MONO_EXC_INTRINS_NUM }; +/* + * Flags for which contexts were used in inflating a generic. + */ +enum { + MONO_GENERIC_CONTEXT_USED_CLASS = 1, + MONO_GENERIC_CONTEXT_USED_METHOD = 2 +}; + +#define MONO_GENERIC_CONTEXT_USED_BOTH (MONO_GENERIC_CONTEXT_USED_CLASS | MONO_GENERIC_CONTEXT_USED_METHOD) + typedef void (*MonoInstFunc) (MonoInst *tree, gpointer data); /* main function */ int mono_main (int argc, char* argv[]); void mono_set_defaults (int verbose_level, guint32 opts); -MonoDomain* mini_init (const char *filename) MONO_INTERNAL; +MonoDomain* mini_init (const char *filename, const char *runtime_version) MONO_INTERNAL; void mini_cleanup (MonoDomain *domain) MONO_INTERNAL; /* helper methods */ @@ -861,6 +888,7 @@ gint32 mono_get_lmf_addr_tls_offset (void) MONO_INTERNAL; GList *mono_varlist_insert_sorted (MonoCompile *cfg, GList *list, MonoMethodVar *mv, gboolean sort_end) MONO_INTERNAL; GList *mono_varlist_sort (MonoCompile *cfg, GList *list, int sort_type) MONO_INTERNAL; void mono_analyze_liveness (MonoCompile *cfg) MONO_INTERNAL; +void mono_liveness_handle_exception_clauses (MonoCompile *cfg) MONO_INTERNAL; void mono_linear_scan (MonoCompile *cfg, GList *vars, GList *regs, regmask_t *used_mask) MONO_INTERNAL; void mono_create_jump_table (MonoCompile *cfg, MonoInst *label, MonoBasicBlock **bbs, int num_blocks) MONO_INTERNAL; int mono_compile_assembly (MonoAssembly *ass, guint32 opts, const char *aot_options) MONO_INTERNAL; @@ -909,12 +937,14 @@ gpointer mono_create_jit_trampoline (MonoMethod *method) MONO_INTERNAL; gpointer mono_create_jit_trampoline_from_token (MonoImage *image, guint32 token) MONO_INTERNAL; MonoVTable* mono_find_class_init_trampoline_by_addr (gconstpointer addr) MONO_INTERNAL; gpointer mono_magic_trampoline (gssize *regs, guint8 *code, MonoMethod *m, guint8* tramp) MONO_INTERNAL; -gpointer mono_delegate_trampoline (gssize *regs, guint8 *code, MonoMethod *m, guint8* tramp) MONO_INTERNAL; +gpointer mono_delegate_trampoline (gssize *regs, guint8 *code, MonoClass *klass, guint8* tramp) MONO_INTERNAL; gpointer mono_aot_trampoline (gssize *regs, guint8 *code, guint8 *token_info, guint8* tramp) MONO_INTERNAL; gpointer mono_aot_plt_trampoline (gssize *regs, guint8 *code, guint8 *token_info, guint8* tramp) MONO_INTERNAL; void mono_class_init_trampoline (gssize *regs, guint8 *code, MonoVTable *vtable, guint8 *tramp) MONO_INTERNAL; +gpointer mono_debugger_create_notification_function (void) MONO_INTERNAL; + gboolean mono_running_on_valgrind (void) MONO_INTERNAL; void* mono_global_codeman_reserve (int size) MONO_INTERNAL; @@ -923,8 +953,13 @@ gint32* mono_allocate_stack_slots_full (MonoCompile *cfg, gboolean bac gint32* mono_allocate_stack_slots (MonoCompile *cfg, guint32 *stack_size, guint32 *stack_align) MONO_INTERNAL; void mono_local_regalloc (MonoCompile *cfg, MonoBasicBlock *bb) MONO_INTERNAL; MonoInst *mono_branch_optimize_exception_target (MonoCompile *cfg, MonoBasicBlock *bb, const char * exname) MONO_INTERNAL; +gboolean mono_is_regsize_var (MonoType *t) MONO_INTERNAL; +CompRelation mono_opcode_to_cond (int opcode) MONO_INTERNAL; +CompType mono_opcode_to_type (int opcode, int cmp_opcode) MONO_INTERNAL; /* methods that must be provided by the arch-specific port */ +void mono_arch_init (void) MONO_INTERNAL; +void mono_arch_cleanup (void) MONO_INTERNAL; void mono_arch_cpu_init (void) MONO_INTERNAL; guint32 mono_arch_cpu_optimizazions (guint32 *exclude_mask) MONO_INTERNAL; void mono_arch_instrument_mem_needs (MonoMethod *method, int *stack, int *code) MONO_INTERNAL; @@ -975,6 +1010,7 @@ MonoJitInfo *mono_arch_find_jit_info (MonoDomain *domain, gpointer mono_arch_get_call_filter (void) MONO_INTERNAL; gpointer mono_arch_get_restore_context (void) MONO_INTERNAL; gboolean mono_arch_handle_exception (void *sigctx, gpointer obj, gboolean test_only) MONO_INTERNAL; +void mono_arch_handle_altstack_exception (void *sigctx, gpointer fault_addr, gboolean stack_ovf) MONO_INTERNAL; gpointer mono_arch_ip_from_context (void *sigctx) MONO_INTERNAL; void mono_arch_sigctx_to_monoctx (void *sigctx, MonoContext *ctx) MONO_INTERNAL; void mono_arch_monoctx_to_sigctx (MonoContext *mctx, void *ctx) MONO_INTERNAL; @@ -996,7 +1032,13 @@ void mono_arch_patch_plt_entry (guint8 *code, guint8 *addr) MON void mono_arch_nullify_class_init_trampoline(guint8 *code, gssize *regs) MONO_INTERNAL; void mono_arch_nullify_plt_entry (guint8 *code) MONO_INTERNAL; void mono_arch_patch_delegate_trampoline (guint8 *code, guint8 *tramp, gssize *regs, guint8 *addr) MONO_INTERNAL; +gpointer mono_arch_get_this_arg_from_call (MonoMethodSignature *sig, gssize *regs, guint8 *code); +gpointer mono_arch_get_delegate_invoke_impl (MonoMethodSignature *sig, gboolean has_target); gpointer mono_arch_create_specific_trampoline (gpointer arg1, MonoTrampolineType tramp_type, MonoDomain *domain, guint32 *code_len) MONO_INTERNAL; +void mono_arch_emit_imt_argument (MonoCompile *cfg, MonoCallInst *call) MONO_INTERNAL; +MonoMethod* mono_arch_find_imt_method (gpointer *regs, guint8 *code) MONO_INTERNAL; +MonoObject* mono_arch_find_this_argument (gpointer *regs, MonoMethod *method) MONO_INTERNAL; +gpointer mono_arch_build_imt_thunk (MonoVTable *vtable, MonoDomain *domain, MonoIMTCheckItem **imt_entries, int count) MONO_INTERNAL; /* Exception handling */ gboolean mono_handle_exception (MonoContext *ctx, gpointer obj, @@ -1066,4 +1108,19 @@ mono_local_cprop (MonoCompile *cfg) MONO_INTERNAL; MonoSecurityFrame* ves_icall_System_Security_SecurityFrame_GetSecurityFrame (gint32 skip) MONO_INTERNAL; MonoArray* ves_icall_System_Security_SecurityFrame_GetSecurityStack (gint32 skip) MONO_INTERNAL; +int mini_wapi_hps (int argc, char **argv); +int mini_wapi_semdel (int argc, char **argv); +int mini_wapi_seminfo (int argc, char **argv); + +/* Generic sharing */ + +int mono_method_check_context_used (MonoMethod *method, MonoGenericContext *context) MONO_INTERNAL; +int mono_class_check_context_used (MonoClass *class, MonoGenericContext *context) MONO_INTERNAL; + +gboolean mono_method_is_generic_impl (MonoMethod *method) MONO_INTERNAL; +gboolean mono_method_is_generic_sharable_impl (MonoMethod *method) MONO_INTERNAL; + +MonoGenericContext* mono_make_shared_context (MonoCompile *cfg, MonoGenericContext *context) MONO_INTERNAL; + + #endif /* __MONO_MINI_H__ */