workaround DSL problem

Author: timfel

graalpython/com.oracle.graal.python/src/com/oracle/graal/python/nodes/attributes/ReadAttributeFromObjectNode.java

@@ -118,23 +118,26 @@ protected static boolean isBuiltinDict(PHashingCollection globals, IsBuiltinClas
         return globals instanceof PDict && profile.profileObject(globals, PythonBuiltinClassType.PDict);
     }
 
-    protected static HashingStorage getStorage(Object cachedGlobals) {
+    /**
+     * @param module  Non-cached parameter to help the DSL produce a guard, not an assertion
+     */
+    protected static HashingStorage getStorage(Object module, Object cachedGlobals) {
         return ((PDict) cachedGlobals).getDictStorage();
     }
 
     // special case for the very common module attribute read from an unchanging PDict
     @Specialization(guards = {
                     "cachedObject == object",
                     "lib.getDict(cachedObject) == cachedDict",
-                    "getStorage(cachedDict) == cachedStorage",
+                    "getStorage(object, cachedDict) == cachedStorage",
                     "isBuiltinDict(cachedDict, isBuiltinDict)",
     }, assumptions = "singleContextAssumption", limit = "1")
     protected Object readFromBuiltinModuleDictUnchanged(@SuppressWarnings("unused") PythonModule object, String key,
                     @SuppressWarnings("unused") @CachedLibrary("object") PythonObjectLibrary lib,
                     @SuppressWarnings("unused") @Cached("object") PythonModule cachedObject,
                     @SuppressWarnings("unused") @Cached("lib.getDict(cachedObject)") PHashingCollection cachedDict,
                     @SuppressWarnings("unused") @Cached("singleContextAssumption()") Assumption singleContextAssumption,
-                    @Cached("getStorage(cachedDict)") HashingStorage cachedStorage,
+                    @Cached("getStorage(object, cachedDict)") HashingStorage cachedStorage,
                     @SuppressWarnings("unused") @Cached IsBuiltinClassProfile isBuiltinDict,
                     @Cached HashingStorageNodes.GetItemNode getItemNode) {
         // note that we don't need to pass the state here - string keys are hashable by definition