Mercurial Mercurial > jdk-sandbox / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
7180769: assert(tboth->klass_is_exact()) failed: klass should be exact
authorkvn
Mon, 02 Jul 2012 12:59:43 -0700
changeset 13204 589e566a5ca8
parent 13203 d10fd0d3cb27
child 13205 5495b63764bf
7180769: assert(tboth->klass_is_exact()) failed: klass should be exact Summary: Use class exactness as part of the condition for class compare optimization instead of assert. Reviewed-by: twisti, roland
hotspot/src/share/vm/opto/parse2.cpp file | annotate | diff | comparison | revisions 
--- a/hotspot/src/share/vm/opto/parse2.cpp	Mon Jul 02 09:58:06 2012 +0200
+++ b/hotspot/src/share/vm/opto/parse2.cpp	Mon Jul 02 12:59:43 2012 -0700
@@ -1278,9 +1278,9 @@
        // or the narrowOop equivalent.
        const Type* obj_type = _gvn.type(obj);
        const TypeOopPtr* tboth = obj_type->join(con_type)->isa_oopptr();
-       if (tboth != NULL && tboth != obj_type && tboth->higher_equal(obj_type)) {
+       if (tboth != NULL && tboth->klass_is_exact() && tboth != obj_type &&
+           tboth->higher_equal(obj_type)) {
           // obj has to be of the exact type Foo if the CmpP succeeds.
-          assert(tboth->klass_is_exact(), "klass should be exact");
           int obj_in_map = map()->find_edge(obj);
           JVMState* jvms = this->jvms();
           if (obj_in_map >= 0 &&
jdk-sandbox