8270307: C2: assert(false) failed: bad AD file after JDK-8267687

Co-authored-by: Kuai Wei <kuaiwei.kw@alibaba-inc.com>
Reviewed-by: kvn, thartmann

Author: y1yang0

src/hotspot/share/opto/movenode.cpp

@@ -155,6 +155,9 @@ const Type* CMoveNode::Value(PhaseGVN* phase) const {
   if (phase->type(in(Condition)) == Type::TOP) {
     return Type::TOP;
   }
+  if (phase->type(in(IfTrue)) == Type::TOP || phase->type(in(IfFalse)) == Type::TOP) {
+    return Type::TOP;
+  }
   const Type* t = phase->type(in(IfFalse))->meet_speculative(phase->type(in(IfTrue)));
   return t->filter(_type);
 }

test/hotspot/jtreg/compiler/c2/TestCMoveHasTopInput.java

@@ -0,0 +1,59 @@
+/*
+ * Copyright (c) 2021, Alibaba Group Holding Limited. 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 8270307
+ * @summary C2: assert(false) failed: bad AD file after JDK-8267687
+ * @library /test/lib
+ * @run main/othervm -Xcomp -XX:-TieredCompilation -XX:CompileOnly=TestCMoveHasTopInput.vMeth TestCMoveHasTopInput
+ */
+
+public class TestCMoveHasTopInput {
+    public static boolean arr[] = new boolean[20];
+
+    public void vMeth(long l) {
+        for (int a = 2; a < 155; a++) {
+            for (int b = 1; b < 10; ++b) {
+                for (int c = 1; c < 2; c++) {
+                    l += 3 * l;
+                    arr[b - 1] = false;
+                    switch (a) {
+                        case 14:
+                        case 17:
+                            l -= b;
+                            break;
+                    }
+                }
+            }
+        }
+    }
+
+    public static void main(String... args) {
+        TestCMoveHasTopInput test = new TestCMoveHasTopInput();
+        for (int i = 0; i < 10; i++) {
+            test.vMeth(i);
+        }
+    }
+}