[jit] Avoid licm for volatile variables, ssa ignores them so we can't…

… detect whenever they are loop invariant by looking at phi nodes.
christianhuening · Jun 4, 2014 · 9932336 · 9932336
1 parent a2c3c36
commit 9932336
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/mono/mini/ssa.c b/mono/mini/ssa.c
@@ -1424,7 +1424,7 @@ mono_ssa_loop_invariant_code_motion (MonoCompile *cfg)
 				else
 					sreg = -1;
 				if (sreg != -1) {
-					MonoInst *tins;
+					MonoInst *tins, *var;
 
 					skip = FALSE;
 					for (tins = ins->prev; tins; tins = tins->prev) {
@@ -1439,6 +1439,9 @@ mono_ssa_loop_invariant_code_motion (MonoCompile *cfg)
 					}
 					if (skip)
 						continue;
+					var = get_vreg_to_inst (cfg, sreg);
+					if (var && (var->flags & (MONO_INST_VOLATILE|MONO_INST_INDIRECT)))
+						continue;
 					ins->sreg1 = sreg;
 				}