projects / mono.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
* s390x.md: correct int_xor_imm length
[mono.git] / mono / mini / ssa.c
diff --git a/mono/mini/ssa.c b/mono/mini/ssa.c
index 2b9bb373b048bba59cff46f10a0edbef61e602c3..1a5313d97f1d5cfaf8111cd4e4ccf0afb2adcd05 100644 (file)
--- a/mono/mini/ssa.c
+++ b/mono/mini/ssa.c
@@ -32,6 +32,16 @@ extern guint8 mono_burg_arity [];
        } while (0)
 
 
+static GList*
+g_list_prepend_mempool (GList* l, MonoMemPool* mp, gpointer datum)
+{
+       GList* n = mono_mempool_alloc (mp, sizeof (GList));
+       n->next = l;
+       n->prev = NULL;
+       n->data = datum;
+       return n;
+}
+
 static void 
 unlink_target (MonoBasicBlock *bb, MonoBasicBlock *target)
 {
@@ -94,7 +104,7 @@ replace_usage (MonoCompile *cfg, MonoBasicBlock *bb, MonoInst *inst, MonoInst **
 
        arity = mono_burg_arity [inst->opcode];
 
-       if ((inst->ssa_op == MONO_SSA_LOAD || inst->ssa_op == MONO_SSA_MAYBE_LOAD) && 
+       if ((inst->ssa_op == MONO_SSA_LOAD || inst->ssa_op == MONO_SSA_ADDRESS_TAKEN) && 
            (inst->inst_i0->opcode == OP_LOCAL || inst->inst_i0->opcode == OP_ARG)) {
                MonoInst *new_var;
                int idx = inst->inst_i0->inst_c0;
@@ -104,7 +114,7 @@ replace_usage (MonoCompile *cfg, MonoBasicBlock *bb, MonoInst *inst, MonoInst **
                } else {
                        new_var = cfg->varinfo [idx];
 
-                       if (new_var->opcode != OP_ARG) {
+                       if ((new_var->opcode != OP_ARG) && (new_var->opcode != OP_LOCAL)) {
                                /* uninitialized variable ? */
                                g_warning ("using uninitialized variables %d in BB%d (%s)", idx, bb->block_num,
                                           mono_method_full_name (cfg->method, TRUE));
@@ -137,7 +147,7 @@ extends_live (MonoInst *inst)
        arity = mono_burg_arity [inst->opcode];
 
        if (inst->ssa_op == MONO_SSA_LOAD && 
-           (inst->inst_i0->opcode == OP_LOCAL /*|| inst->inst_i0->opcode == OP_ARG*/)) {
+           (inst->inst_i0->opcode == OP_LOCAL || inst->inst_i0->opcode == OP_ARG)) {
                return 1;
        } else {
                if (arity) {
@@ -188,7 +198,7 @@ mono_ssa_rename_vars (MonoCompile *cfg, int max_vars, MonoBasicBlock *bb, MonoIn
        MonoInst *inst, *new_var;
        int i, j, idx;
        GList *tmp;
-       MonoInst *new_stack [max_vars];
+       MonoInst **new_stack;
 
 #ifdef DEBUG_SSA
        printf ("RENAME VARS BB%d %s\n", bb->block_num, mono_method_full_name (cfg->method, TRUE));
@@ -203,7 +213,7 @@ mono_ssa_rename_vars (MonoCompile *cfg, int max_vars, MonoBasicBlock *bb, MonoIn
                        idx = inst->inst_i0->inst_c0;
                        g_assert (idx < max_vars);
 
-                       if (!stack [idx] && bb == cfg->bb_init) {
+                       if ((!stack [idx]) && (bb == cfg->bb_init) && (inst->inst_i0->opcode != OP_ARG)) {
                                new_var = cfg->varinfo [idx];
                        } else {
                                new_var = mono_compile_create_var (cfg, inst->inst_i0->inst_vtype,  inst->inst_i0->opcode);
@@ -245,9 +255,13 @@ mono_ssa_rename_vars (MonoCompile *cfg, int max_vars, MonoBasicBlock *bb, MonoIn
                }
        }
 
-       for (tmp = bb->dominated; tmp; tmp = tmp->next) {
-               memcpy (new_stack, stack, sizeof (MonoInst *) * max_vars); 
-               mono_ssa_rename_vars (cfg, max_vars, (MonoBasicBlock *)tmp->data, new_stack);
+       if (bb->dominated) {
+               new_stack = g_new (MonoInst*, max_vars);
+               for (tmp = bb->dominated; tmp; tmp = tmp->next) {
+                       memcpy (new_stack, stack, sizeof (MonoInst *) * max_vars); 
+                       mono_ssa_rename_vars (cfg, max_vars, (MonoBasicBlock *)tmp->data, new_stack);
+               }
+               g_free (new_stack);
        }
 }
 
@@ -262,7 +276,7 @@ mono_ssa_compute (MonoCompile *cfg)
        g_assert (!(cfg->comp_done & MONO_COMP_SSA));
 
        /* we dont support methods containing exception clauses */
-       g_assert (((MonoMethodNormal *)cfg->method)->header->num_clauses == 0);
+       g_assert (mono_method_get_header (cfg->method)->num_clauses == 0);
        g_assert (!cfg->disable_ssa);
 
        //printf ("COMPUTS SSA %s %d\n", mono_method_full_name (cfg->method, TRUE), cfg->num_varinfo);
@@ -324,6 +338,8 @@ mono_ssa_compute (MonoCompile *cfg)
             
                        store->next = bb->code;
                        bb->code = store;
+                       if (!bb->last_ins)
+                               bb->last_ins = bb->code;
 
 #ifdef DEBUG_SSA
                        printf ("ADD PHI BB%d %s\n", cfg->bblocks [idx]->block_num, mono_method_full_name (cfg->method, TRUE));
@@ -402,7 +418,7 @@ mono_ssa_replace_copies (MonoCompile *cfg, MonoBasicBlock *bb, MonoInst *inst, c
 
        arity = mono_burg_arity [inst->opcode];
 
-       if ((inst->ssa_op == MONO_SSA_LOAD || inst->ssa_op == MONO_SSA_MAYBE_LOAD || inst->ssa_op == MONO_SSA_STORE) && 
+       if ((inst->ssa_op == MONO_SSA_LOAD || inst->ssa_op == MONO_SSA_ADDRESS_TAKEN || inst->ssa_op == MONO_SSA_STORE) && 
            (inst->inst_i0->opcode == OP_LOCAL || inst->inst_i0->opcode == OP_ARG)) {
                MonoInst *new_var;
                int idx = inst->inst_i0->inst_c0;
@@ -513,7 +529,7 @@ mono_ssa_remove (MonoCompile *cfg)
                                if (amv->range.last_use.abs_pos >= vmv->range.first_use.abs_pos)
                                        break;
 
-                               active = g_list_remove_link (active, active);
+                               active = g_list_delete_link (active, active);
                                regs = g_list_prepend (regs, (gpointer)amv->reg);
                        }
 
@@ -521,7 +537,7 @@ mono_ssa_remove (MonoCompile *cfg)
                                regs = g_list_prepend (regs, (gpointer)vmv->idx);
 
                        vmv->reg = (int)regs->data;
-                       regs = g_list_remove_link (regs, regs);
+                       regs = g_list_delete_link (regs, regs);
                        active = mono_varlist_insert_sorted (cfg, active, vmv, TRUE);           
                }
 
@@ -600,12 +616,12 @@ analyze_dev_use (MonoCompile *cfg, MonoBasicBlock *bb, MonoInst *root, MonoInst
                                //printf ("FOUND %d\n", idx);
                                ui->bb = bb;
                                ui->inst = root;
-                               info->uses = g_list_prepend (info->uses, ui);
+                               info->uses = g_list_prepend_mempool (info->uses, cfg->mempool, ui);
                        }
                }
        }
 
-       if ((inst->ssa_op == MONO_SSA_LOAD || inst->ssa_op == MONO_SSA_MAYBE_LOAD) && 
+       if ((inst->ssa_op == MONO_SSA_LOAD || inst->ssa_op == MONO_SSA_ADDRESS_TAKEN) && 
            (inst->inst_i0->opcode == OP_LOCAL || inst->inst_i0->opcode == OP_ARG)) {
                MonoVarUsageInfo *ui = mono_mempool_alloc (cfg->mempool, sizeof (MonoVarUsageInfo));
                idx = inst->inst_i0->inst_c0;   
@@ -613,7 +629,7 @@ analyze_dev_use (MonoCompile *cfg, MonoBasicBlock *bb, MonoInst *root, MonoInst
                //printf ("FOUND %d\n", idx);
                ui->bb = bb;
                ui->inst = root;
-               info->uses = g_list_prepend (info->uses, ui);
+               info->uses = g_list_prepend_mempool (info->uses, cfg->mempool, ui);
        } else {
                if (arity) {
                        //if (inst->ssa_op != MONO_SSA_STORE)
@@ -631,7 +647,7 @@ analyze_dev_use (MonoCompile *cfg, MonoBasicBlock *bb, MonoInst *root, MonoInst
 static void
 mono_ssa_avoid_copies (MonoCompile *cfg)
 {
-       MonoInst *inst, *next, *u;
+       MonoInst *inst, *next;
        MonoBasicBlock *bb;
        MonoMethodVar *i1, *i2;
 
@@ -671,7 +687,6 @@ mono_ssa_avoid_copies (MonoCompile *cfg)
                                        inst->inst_i0 = next->inst_i0;
                                        i2->def = inst;
                                        i1->def = NULL;
-                                       g_list_free (i1->uses);
                                        i1->uses = NULL;
                                        next->opcode = CEE_NOP;
                                        next->ssa_op = MONO_SSA_NOP;
@@ -746,13 +761,13 @@ simulate_long_compare (int opcode, gint64 a, gint64 b)
        case CEE_BNE_UN:
                return a != b;
        case CEE_BGE_UN:
-               return (unsigned)a >= (unsigned)b;
+               return (guint64)a >= (guint64)b;
        case CEE_BGT_UN:
-               return (unsigned)a > (unsigned)b;
+               return (guint64)a > (guint64)b;
        case CEE_BLE_UN:
-               return (unsigned)a <= (unsigned)b;
+               return (guint64)a <= (guint64)b;
        case CEE_BLT_UN:
-               return (unsigned)a < (unsigned)b;
+               return (guint64)a < (guint64)b;
        default:
                g_assert_not_reached ();
        }
@@ -762,7 +777,7 @@ simulate_long_compare (int opcode, gint64 a, gint64 b)
 
 #define EVAL_CXX(name,op,cast) \
        case name:      \
-               if (inst->inst_i0->opcode == OP_COMPARE) { \
+               if ((inst->inst_i0->opcode == OP_COMPARE) || (inst->inst_i0->opcode == OP_LCOMPARE)) { \
                        r1 = evaluate_const_tree (cfg, inst->inst_i0->inst_i0, &a, carray); \
                        r2 = evaluate_const_tree (cfg, inst->inst_i0->inst_i1, &b, carray); \
                        if (r1 == 1 && r2 == 1) { \
@@ -863,7 +878,7 @@ fold_tree (MonoCompile *cfg, MonoBasicBlock *bb, MonoInst *inst, MonoInst **carr
        }
 
        if ((inst->opcode >= CEE_BEQ && inst->opcode <= CEE_BLT_UN) &&
-           inst->inst_i0->opcode == OP_COMPARE) {
+           ((inst->inst_i0->opcode == OP_COMPARE) || (inst->inst_i0->opcode == OP_LCOMPARE))) {
                MonoInst *v0 = inst->inst_i0->inst_i0;
                MonoInst *v1 = inst->inst_i0->inst_i1;
                MonoBasicBlock *target = NULL;
@@ -894,7 +909,7 @@ fold_tree (MonoCompile *cfg, MonoBasicBlock *bb, MonoInst *inst, MonoInst **carr
                        inst->opcode = CEE_BR;
                        inst->inst_target_bb = target;
                }
-       } else if (inst->opcode == CEE_SWITCH && evaluate_const_tree (cfg, inst->inst_left, &a, carray) == 1) {
+       } else if (inst->opcode == CEE_SWITCH && (evaluate_const_tree (cfg, inst->inst_left, &a, carray) == 1) && (a >= 0) && (a < GPOINTER_TO_INT (inst->klass))) {
                bb->out_bb [0] = inst->inst_many_bb [a];
                bb->out_count = 1;
                inst->inst_target_bb = bb->out_bb [0];
@@ -930,8 +945,11 @@ visit_inst (MonoCompile *cfg, MonoBasicBlock *bb, MonoInst *inst, GList **cvars,
 
        if (inst->opcode == CEE_SWITCH) {
                int r1, i, a;
+               int cases = GPOINTER_TO_INT (inst->klass);
 
                r1 = evaluate_const_tree (cfg, inst->inst_left, &a, carray);
+               if ((r1 == 1) && ((a < 0) || (a >= cases)))
+                       r1 = 2;
                if (r1 == 1) {
                        MonoBasicBlock *tb = inst->inst_many_bb [a];
                        if (!(tb->flags &  BB_REACHABLE)) {
@@ -939,7 +957,7 @@ visit_inst (MonoCompile *cfg, MonoBasicBlock *bb, MonoInst *inst, GList **cvars,
                                *bblist = g_list_prepend (*bblist, tb);
                        }
                } else if (r1 == 2) {
-                       for (i = (int)inst->klass; i >= 0; i--) {
+                       for (i = GPOINTER_TO_INT (inst->klass); i >= 0; i--) {
                                MonoBasicBlock *tb = inst->inst_many_bb [i];
                                if (!(tb->flags &  BB_REACHABLE)) {
                                        tb->flags |= BB_REACHABLE;
@@ -948,7 +966,7 @@ visit_inst (MonoCompile *cfg, MonoBasicBlock *bb, MonoInst *inst, GList **cvars,
                        }
                }
        } else if ((inst->opcode >= CEE_BEQ && inst->opcode <= CEE_BLT_UN) &&
-           inst->inst_i0->opcode == OP_COMPARE) {
+           ((inst->inst_i0->opcode == OP_COMPARE) || (inst->inst_i0->opcode == OP_LCOMPARE))) {
                int a, b, r1, r2;
                MonoInst *v0 = inst->inst_i0->inst_i0;
                MonoInst *v1 = inst->inst_i0->inst_i1;
@@ -1041,13 +1059,15 @@ visit_inst (MonoCompile *cfg, MonoBasicBlock *bb, MonoInst *inst, GList **cvars,
 void
 mono_ssa_cprop (MonoCompile *cfg) 
 {
-       MonoInst *carray [cfg->num_varinfo];
+       MonoInst **carray;
        MonoBasicBlock *bb;
        GList *bblock_list, *cvars;
        GList *tmp;
        int i;
        //printf ("SIMPLE OPTS BB%d %s\n", bb->block_num, mono_method_full_name (cfg->method, TRUE));
 
+       carray = g_new0 (MonoInst*, cfg->num_varinfo);
+
        if (!(cfg->comp_done & MONO_COMP_SSA_DEF_USE))
                mono_ssa_create_def_use (cfg);
 
@@ -1069,7 +1089,7 @@ mono_ssa_cprop (MonoCompile *cfg)
 
                bb = (MonoBasicBlock *)bblock_list->data;
 
-               bblock_list = g_list_remove_link (bblock_list, bblock_list);
+               bblock_list = g_list_delete_link (bblock_list, bblock_list);
 
                g_assert (bb->flags &  BB_REACHABLE);
 
@@ -1086,7 +1106,7 @@ mono_ssa_cprop (MonoCompile *cfg)
 
                while (cvars) {
                        MonoMethodVar *info = (MonoMethodVar *)cvars->data;                     
-                       cvars = g_list_remove_link (cvars, cvars);
+                       cvars = g_list_delete_link (cvars, cvars);
 
                        for (tmp = info->uses; tmp; tmp = tmp->next) {
                                MonoVarUsageInfo *ui = (MonoVarUsageInfo *)tmp->data;
@@ -1104,6 +1124,8 @@ mono_ssa_cprop (MonoCompile *cfg)
                }
        }
 
+       g_free (carray);
+
        cfg->comp_done |= MONO_COMP_REACHABILITY;
 }
 
@@ -1117,6 +1139,7 @@ add_to_dce_worklist (MonoCompile *cfg, MonoMethodVar *var, MonoMethodVar *use, G
        for (tmp = use->uses; tmp; tmp = tmp->next) {
                MonoVarUsageInfo *ui = (MonoVarUsageInfo *)tmp->data;
                if (ui->inst == var->def) {
+                       /* from the mempool */
                        use->uses = g_list_remove_link (use->uses, tmp);
                        break;
                }
@@ -1150,13 +1173,15 @@ mono_ssa_deadce (MonoCompile *cfg)
        for (i = 0; i < cfg->num_varinfo; i++) {
                MonoMethodVar *info = cfg->vars [i];
                work_list = g_list_prepend (work_list, info);
+               
+               //if ((info->def != NULL) && (info->def->inst_i1->opcode != OP_PHI)) printf ("SSA DEADCE TOTAL LOCAL\n");
        }
 
        while (work_list) {
                MonoMethodVar *info = (MonoMethodVar *)work_list->data;
-               work_list = g_list_remove_link (work_list, work_list);
+               work_list = g_list_delete_link (work_list, work_list);
 
-               if (!info->uses && info->def) {
+               if (!info->uses && info->def && (!(cfg->varinfo [info->idx]->flags & (MONO_INST_VOLATILE|MONO_INST_INDIRECT)))) {
                        MonoInst *i1;
                        //printf ("ELIMINATE %s: ", mono_method_full_name (cfg->method, TRUE)); mono_print_tree (info->def); printf ("\n");
 
@@ -1172,6 +1197,7 @@ mono_ssa_deadce (MonoCompile *cfg)
                                        MonoMethodVar *u = cfg->vars [i1->inst_i0->inst_c0];
                                        add_to_dce_worklist (cfg, info, u, &work_list);
                        }
+                       //if (i1->opcode != OP_PHI) printf ("SSA DEADCE DEAD LOCAL\n");
 
                        info->def->opcode = CEE_NOP;
                        info->def->ssa_op = MONO_SSA_NOP;
my mono mirror. check out Moved to http://github.com/mono/mono