diff graal/com.oracle.truffle.dsl.processor/src/com/oracle/truffle/dsl/processor/model/SpecializationData.java @ 18775:a069a87b9a02

Truffle-DSL: Added tests and verification of overridable generic execute methods.
author Christian Humer <christian.humer@gmail.com>
date Mon, 05 Jan 2015 01:31:08 +0100
parents a665483c3881
children c0fb70634640
line wrap: on
line diff
--- a/graal/com.oracle.truffle.dsl.processor/src/com/oracle/truffle/dsl/processor/model/SpecializationData.java	Mon Jan 05 01:31:07 2015 +0100
+++ b/graal/com.oracle.truffle.dsl.processor/src/com/oracle/truffle/dsl/processor/model/SpecializationData.java	Mon Jan 05 01:31:08 2015 +0100
@@ -133,7 +133,11 @@
             return true;
         }
         for (Parameter parameter : getSignatureParameters()) {
-            ExecutableTypeData type = parameter.getSpecification().getExecution().getChild().findExecutableType(context, parameter.getTypeSystemType());
+            NodeChildData child = parameter.getSpecification().getExecution().getChild();
+            ExecutableTypeData type = child.findExecutableType(parameter.getTypeSystemType());
+            if (type == null) {
+                type = child.findAnyGenericExecutableType(context);
+            }
             if (type.hasUnexpectedValue(context)) {
                 return true;
             }