*** old/src/share/vm/opto/loopopts.cpp	Tue Nov 12 14:26:41 2013
--- new/src/share/vm/opto/loopopts.cpp	Tue Nov 12 14:26:41 2013

*** 40,49 ****
--- 40,56 ----
    if (n->Opcode() == Op_ConvI2L && n->bottom_type() != TypeLong::LONG) {
      // ConvI2L may have type information on it which is unsafe to push up
      // so disable this for now
      return NULL;
    }
+ 
+   if (n->is_MathExact()) {
+     // MathExact has projections that are not correctly handled in the code
+     // below.
+     return NULL;
+   }
+ 
    int wins = 0;
    assert(!n->is_CFG(), "");
    assert(region->is_Region(), "");
  
    const Type* type = n->bottom_type();