Fix invalid type comparison in AbstractObjectIsSubclassNode. (GR-27646)

Author: chumer

graalpython/com.oracle.graal.python/src/com/oracle/graal/python/nodes/classes/AbstractObjectIsSubclassNode.java

@@ -43,10 +43,12 @@
 import com.oracle.graal.python.builtins.objects.common.SequenceNodes.GetObjectArrayNode;
 import com.oracle.graal.python.builtins.objects.common.SequenceStorageNodes;
 import com.oracle.graal.python.builtins.objects.tuple.PTuple;
+import com.oracle.graal.python.builtins.objects.type.TypeNodes.IsSameTypeNode;
 import com.oracle.graal.python.nodes.PNodeWithContext;
 import com.oracle.graal.python.runtime.PythonOptions;
 import com.oracle.truffle.api.CompilerDirectives;
 import com.oracle.truffle.api.dsl.Cached;
+import com.oracle.truffle.api.dsl.Cached.Shared;
 import com.oracle.truffle.api.dsl.GenerateUncached;
 import com.oracle.truffle.api.dsl.ImportStatic;
 import com.oracle.truffle.api.dsl.Specialization;
@@ -73,8 +75,10 @@ public final boolean execute(Object derived, Object cls) {
         return execute(null, derived, cls);
     }
 
-    @Specialization(guards = "derived == cls")
-    boolean isSameClass(@SuppressWarnings("unused") Object derived, @SuppressWarnings("unused") Object cls) {
+    @Specialization(guards = "isSameTypeNode.execute(derived, cls)", limit = "1")
+    @SuppressWarnings("unused")
+    static boolean doSameClass(Object derived, Object cls,
+                    @Shared("isSameType") @Cached IsSameTypeNode isSameTypeNode) {
         return true;
     }
 
@@ -85,7 +89,7 @@ protected static int[] observedSize() {
     }
 
     @Specialization(guards = {"derived != cls", "derived == cachedDerived", "cls == cachedCls"}, limit = "getCallSiteInlineCacheMaxDepth()")
-    boolean isSubclass(VirtualFrame frame, @SuppressWarnings("unused") Object derived, @SuppressWarnings("unused") Object cls,
+    static boolean doSubclass(VirtualFrame frame, @SuppressWarnings("unused") Object derived, @SuppressWarnings("unused") Object cls,
                     @Cached(value = "observedSize()", dimensions = 1) int[] observedSizeArray,
                     @Cached("derived") Object cachedDerived,
                     @Cached("cls") Object cachedCls,
@@ -133,13 +137,14 @@ private static final boolean loopBases(VirtualFrame frame, Object cachedCls, Obj
         return false;
     }
 
-    @Specialization(replaces = {"isSubclass", "isSameClass"})
-    boolean isSubclassGeneric(VirtualFrame frame, Object derived, Object cls,
+    @Specialization(replaces = {"doSubclass", "doSameClass"})
+    static boolean doGeneric(VirtualFrame frame, Object derived, Object cls,
                     @Cached SequenceStorageNodes.LenNode lenNode,
                     @Cached AbstractObjectGetBasesNode getBasesNode,
                     @Cached AbstractObjectIsSubclassNode isSubclassNode,
+                    @Shared("isSameType") @Cached IsSameTypeNode isSameTypeNode,
                     @Cached GetObjectArrayNode getObjectArrayNode) {
-        if (derived == cls) {
+        if (isSameTypeNode.execute(derived, cls)) {
             return true;
         }