I5KTUH: fix StringConcat::validate_mem_flow asserts with unexpected user: StoreI
This commit is contained in:
kuenking111
parent
d9fde5e440
commit
cb533a8898
@ -0,0 +1,145 @@
|
|||||||
|
diff --git a/src/hotspot/share/opto/stringopts.cpp b/src/hotspot/share/opto/stringopts.cpp
|
||||||
|
index 8c0a060d8..78317fe0a 100644
|
||||||
|
--- a/src/hotspot/share/opto/stringopts.cpp
|
||||||
|
+++ b/src/hotspot/share/opto/stringopts.cpp
|
||||||
|
@@ -1030,6 +1030,21 @@ bool StringConcat::validate_control_flow() {
|
||||||
|
fail = true;
|
||||||
|
break;
|
||||||
|
} else if (ptr->is_Proj() && ptr->in(0)->is_Initialize()) {
|
||||||
|
+ // Check for side effect between Initialize and the constructor
|
||||||
|
+ for (SimpleDUIterator iter(ptr); iter.has_next(); iter.next()) {
|
||||||
|
+ Node* use = iter.get();
|
||||||
|
+ if (!use->is_CFG() && !use->is_CheckCastPP() && !use->is_Load()) {
|
||||||
|
+#ifndef PRODUCT
|
||||||
|
+ if (PrintOptimizeStringConcat) {
|
||||||
|
+ tty->print_cr("unexpected control use of Initialize");
|
||||||
|
+ ptr->in(0)->dump(); // Initialize node
|
||||||
|
+ use->dump(1);
|
||||||
|
+ }
|
||||||
|
+#endif
|
||||||
|
+ fail = true;
|
||||||
|
+ break;
|
||||||
|
+ }
|
||||||
|
+ }
|
||||||
|
ptr = ptr->in(0)->in(0);
|
||||||
|
} else if (ptr->is_Region()) {
|
||||||
|
Node* copy = ptr->as_Region()->is_copy();
|
||||||
|
diff --git a/test/hotspot/jtreg/compiler/stringopts/SideEffectBeforeConstructor.jasm b/test/hotspot/jtreg/compiler/stringopts/SideEffectBeforeConstructor.jasm
|
||||||
|
new file mode 100644
|
||||||
|
index 000000000..cbc6d754b
|
||||||
|
--- /dev/null
|
||||||
|
+++ b/test/hotspot/jtreg/compiler/stringopts/SideEffectBeforeConstructor.jasm
|
||||||
|
@@ -0,0 +1,58 @@
|
||||||
|
+/*
|
||||||
|
+ * Copyright (c) 2022, Oracle and/or its affiliates. All rights reserved.
|
||||||
|
+ * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
|
||||||
|
+ *
|
||||||
|
+ * This code is free software; you can redistribute it and/or modify it
|
||||||
|
+ * under the terms of the GNU General Public License version 2 only, as
|
||||||
|
+ * published by the Free Software Foundation.
|
||||||
|
+ *
|
||||||
|
+ * This code is distributed in the hope that it will be useful, but WITHOUT
|
||||||
|
+ * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
||||||
|
+ * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
||||||
|
+ * version 2 for more details (a copy is included in the LICENSE file that
|
||||||
|
+ * accompanied this code).
|
||||||
|
+ *
|
||||||
|
+ * You should have received a copy of the GNU General Public License version
|
||||||
|
+ * 2 along with this work; if not, write to the Free Software Foundation,
|
||||||
|
+ * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
|
||||||
|
+ *
|
||||||
|
+ * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
|
||||||
|
+ * or visit www.oracle.com if you need additional information or have any
|
||||||
|
+ * questions.
|
||||||
|
+ */
|
||||||
|
+
|
||||||
|
+super public class compiler/stringopts/SideEffectBeforeConstructor
|
||||||
|
+ version 51:0
|
||||||
|
+{
|
||||||
|
+ public static Field result:I;
|
||||||
|
+
|
||||||
|
+ static Method "<clinit>":"()V"
|
||||||
|
+ stack 2 locals 0
|
||||||
|
+ {
|
||||||
|
+ iconst_0;
|
||||||
|
+ putstatic Field result:"I";
|
||||||
|
+ return;
|
||||||
|
+ }
|
||||||
|
+ public Method "<init>":"()V"
|
||||||
|
+ stack 1 locals 1
|
||||||
|
+ {
|
||||||
|
+ aload_0;
|
||||||
|
+ invokespecial Method java/lang/Object."<init>":"()V";
|
||||||
|
+ return;
|
||||||
|
+ }
|
||||||
|
+
|
||||||
|
+ public static Method test:"(Ljava/lang/String;)V"
|
||||||
|
+ stack 4 locals 1
|
||||||
|
+ {
|
||||||
|
+ new class java/lang/StringBuffer;
|
||||||
|
+ dup;
|
||||||
|
+ getstatic Field result:"I";
|
||||||
|
+ iconst_1;
|
||||||
|
+ iadd;
|
||||||
|
+ putstatic Field result:"I";
|
||||||
|
+ aload_0;
|
||||||
|
+ invokespecial Method java/lang/StringBuffer."<init>":"(Ljava/lang/String;)V";
|
||||||
|
+ invokevirtual Method java/lang/StringBuffer.toString:"()Ljava/lang/String;";
|
||||||
|
+ return;
|
||||||
|
+ }
|
||||||
|
+}
|
||||||
|
diff --git a/test/hotspot/jtreg/compiler/stringopts/TestSideEffectBeforeConstructor.java b/test/hotspot/jtreg/compiler/stringopts/TestSideEffectBeforeConstructor.java
|
||||||
|
new file mode 100644
|
||||||
|
index 000000000..86c5eca1d
|
||||||
|
--- /dev/null
|
||||||
|
+++ b/test/hotspot/jtreg/compiler/stringopts/TestSideEffectBeforeConstructor.java
|
||||||
|
@@ -0,0 +1,49 @@
|
||||||
|
+/*
|
||||||
|
+ * Copyright (c) 2022, Oracle and/or its affiliates. All rights reserved.
|
||||||
|
+ * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
|
||||||
|
+ *
|
||||||
|
+ * This code is free software; you can redistribute it and/or modify it
|
||||||
|
+ * under the terms of the GNU General Public License version 2 only, as
|
||||||
|
+ * published by the Free Software Foundation.
|
||||||
|
+ *
|
||||||
|
+ * This code is distributed in the hope that it will be useful, but WITHOUT
|
||||||
|
+ * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
||||||
|
+ * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
||||||
|
+ * version 2 for more details (a copy is included in the LICENSE file that
|
||||||
|
+ * accompanied this code).
|
||||||
|
+ *
|
||||||
|
+ * You should have received a copy of the GNU General Public License version
|
||||||
|
+ * 2 along with this work; if not, write to the Free Software Foundation,
|
||||||
|
+ * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
|
||||||
|
+ *
|
||||||
|
+ * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
|
||||||
|
+ * or visit www.oracle.com if you need additional information or have any
|
||||||
|
+ * questions.
|
||||||
|
+ */
|
||||||
|
+
|
||||||
|
+/*
|
||||||
|
+ * @test
|
||||||
|
+ * @bug 8290705
|
||||||
|
+ * @summary Test correctness of the string concatenation optimization with
|
||||||
|
+ * a store between StringBuffer allocation and constructor invocation.
|
||||||
|
+ * @compile SideEffectBeforeConstructor.jasm
|
||||||
|
+ * @run main/othervm -Xbatch compiler.stringopts.TestSideEffectBeforeConstructor
|
||||||
|
+ */
|
||||||
|
+
|
||||||
|
+package compiler.stringopts;
|
||||||
|
+
|
||||||
|
+public class TestSideEffectBeforeConstructor {
|
||||||
|
+
|
||||||
|
+ public static void main(String[] args) {
|
||||||
|
+ for (int i = 0; i < 100_000; ++i) {
|
||||||
|
+ try {
|
||||||
|
+ SideEffectBeforeConstructor.test(null);
|
||||||
|
+ } catch (NullPointerException npe) {
|
||||||
|
+ // Expected
|
||||||
|
+ }
|
||||||
|
+ }
|
||||||
|
+ if (SideEffectBeforeConstructor.result != 100_000) {
|
||||||
|
+ throw new RuntimeException("Unexpected result: " + SideEffectBeforeConstructor.result);
|
||||||
|
+ }
|
||||||
|
+ }
|
||||||
|
+}
|
||||||
@ -885,7 +885,7 @@ Provides: java-src%{?1} = %{epoch}:%{version}-%{release}
|
|||||||
|
|
||||||
Name: java-%{javaver}-%{origin}
|
Name: java-%{javaver}-%{origin}
|
||||||
Version: %{newjavaver}.%{buildver}
|
Version: %{newjavaver}.%{buildver}
|
||||||
Release: 0
|
Release: 1
|
||||||
|
|
||||||
# java-1.5.0-ibm from jpackage.org set Epoch to 1 for unknown reasons
|
# java-1.5.0-ibm from jpackage.org set Epoch to 1 for unknown reasons
|
||||||
# and this change was brought into RHEL-4. java-1.5.0-ibm packages
|
# and this change was brought into RHEL-4. java-1.5.0-ibm packages
|
||||||
@ -973,6 +973,9 @@ Patch14: Clean-up-JDK17-codeDEX.patch
|
|||||||
Patch15: Delete-expired-certificate.patch
|
Patch15: Delete-expired-certificate.patch
|
||||||
Patch16: Clean-up-JDK17-codeDEX-fix-Non-static-numa_node_dist.patch
|
Patch16: Clean-up-JDK17-codeDEX-fix-Non-static-numa_node_dist.patch
|
||||||
|
|
||||||
|
# 17.0.4
|
||||||
|
Patch17: 8290705_fix_StringConcat_validate_mem_flow_asserts_with_unexpected_userStoreI.patch
|
||||||
|
|
||||||
BuildRequires: autoconf
|
BuildRequires: autoconf
|
||||||
BuildRequires: automake
|
BuildRequires: automake
|
||||||
BuildRequires: alsa-lib-devel
|
BuildRequires: alsa-lib-devel
|
||||||
@ -1206,6 +1209,7 @@ pushd %{top_level_dir_name}
|
|||||||
%patch14 -p1
|
%patch14 -p1
|
||||||
%patch15 -p1
|
%patch15 -p1
|
||||||
%patch16 -p1
|
%patch16 -p1
|
||||||
|
%patch17 -p1
|
||||||
popd # openjdk
|
popd # openjdk
|
||||||
|
|
||||||
%patch1000
|
%patch1000
|
||||||
@ -1759,6 +1763,9 @@ cjc.mainProgram(arg)
|
|||||||
|
|
||||||
|
|
||||||
%changelog
|
%changelog
|
||||||
|
* Fri Aug 5 2022 kuenking111 <wangkun49@huawei.com> - 1:17.0.4.8-0.1
|
||||||
|
- add 8290705_fix_StringConcat_validate_mem_flow_asserts_with_unexpected_userStoreI.patch
|
||||||
|
|
||||||
* Mon Aug 1 2022 kuenking111 <wangkun49@huawei.com> - 1:17.0.4.8-0.rolling
|
* Mon Aug 1 2022 kuenking111 <wangkun49@huawei.com> - 1:17.0.4.8-0.rolling
|
||||||
- modified Delete-expired-certificate.patch
|
- modified Delete-expired-certificate.patch
|
||||||
- modified add-version-txt.patch
|
- modified add-version-txt.patch
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user