annotate graal/com.oracle.truffle.dsl.processor/src/com/oracle/truffle/dsl/processor/generator/PolymorphicNodeFactory.java @ 18777:76cbf5f33f82

Truffle-DSL: fixed bug for polymorphic execute optimization.
author Christian Humer <christian.humer@gmail.com>
date Mon, 05 Jan 2015 02:38:44 +0100
parents a720bf2e2f43
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
18752
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
1 /*
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
2 * Copyright (c) 2014, Oracle and/or its affiliates. All rights reserved.
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
4 *
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
7 * published by the Free Software Foundation.
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
8 *
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
13 * accompanied this code).
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
14 *
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
18 *
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
20 * or visit www.oracle.com if you need additional information or have any
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
21 * questions.
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
22 */
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
23 package com.oracle.truffle.dsl.processor.generator;
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
24
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
25 import static com.oracle.truffle.dsl.processor.java.ElementUtils.*;
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
26 import static javax.lang.model.element.Modifier.*;
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
27
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
28 import java.util.*;
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
29
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
30 import javax.lang.model.type.*;
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
31
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
32 import com.oracle.truffle.api.nodes.*;
18753
f6b8787dc113 Truffle-DSL: replace complex factory system with a much simpler version
Christian Humer <christian.humer@gmail.com>
parents: 18752
diff changeset
33 import com.oracle.truffle.dsl.processor.*;
18752
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
34 import com.oracle.truffle.dsl.processor.java.model.*;
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
35 import com.oracle.truffle.dsl.processor.model.*;
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
36
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
37 class PolymorphicNodeFactory extends SpecializedNodeFactory {
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
38
18753
f6b8787dc113 Truffle-DSL: replace complex factory system with a much simpler version
Christian Humer <christian.humer@gmail.com>
parents: 18752
diff changeset
39 public PolymorphicNodeFactory(ProcessorContext context, NodeData node, SpecializationData specialization, CodeTypeElement nodeGen) {
f6b8787dc113 Truffle-DSL: replace complex factory system with a much simpler version
Christian Humer <christian.humer@gmail.com>
parents: 18752
diff changeset
40 super(context, node, specialization, nodeGen);
18752
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
41 }
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
42
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
43 @Override
18753
f6b8787dc113 Truffle-DSL: replace complex factory system with a much simpler version
Christian Humer <christian.humer@gmail.com>
parents: 18752
diff changeset
44 public CodeTypeElement create() {
18752
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
45 TypeMirror baseType = node.getNodeType();
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
46 if (nodeGen != null) {
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
47 baseType = nodeGen.asType();
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
48 }
18761
a665483c3881 Truffle-DSL: new node layout implementation.
Christian Humer <christian.humer@gmail.com>
parents: 18754
diff changeset
49 CodeTypeElement clazz = GeneratorUtils.createClass(node, null, modifiers(PRIVATE, FINAL), nodePolymorphicClassName(node), baseType);
18752
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
50
18753
f6b8787dc113 Truffle-DSL: replace complex factory system with a much simpler version
Christian Humer <christian.humer@gmail.com>
parents: 18752
diff changeset
51 clazz.getAnnotationMirrors().add(createNodeInfo(NodeCost.POLYMORPHIC));
18752
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
52
18753
f6b8787dc113 Truffle-DSL: replace complex factory system with a much simpler version
Christian Humer <christian.humer@gmail.com>
parents: 18752
diff changeset
53 for (Parameter polymorphParameter : specialization.getSignatureParameters()) {
18752
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
54 if (!polymorphParameter.getTypeSystemType().isGeneric()) {
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
55 continue;
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
56 }
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
57 Set<TypeData> types = new HashSet<>();
18753
f6b8787dc113 Truffle-DSL: replace complex factory system with a much simpler version
Christian Humer <christian.humer@gmail.com>
parents: 18752
diff changeset
58 for (SpecializationData otherSpecialization : node.getSpecializations()) {
f6b8787dc113 Truffle-DSL: replace complex factory system with a much simpler version
Christian Humer <christian.humer@gmail.com>
parents: 18752
diff changeset
59 if (!otherSpecialization.isSpecialized()) {
18752
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
60 continue;
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
61 }
18753
f6b8787dc113 Truffle-DSL: replace complex factory system with a much simpler version
Christian Humer <christian.humer@gmail.com>
parents: 18752
diff changeset
62 Parameter parameter = otherSpecialization.findParameter(polymorphParameter.getLocalName());
18752
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
63 assert parameter != null;
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
64 types.add(parameter.getTypeSystemType());
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
65 }
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
66
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
67 }
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
68
18753
f6b8787dc113 Truffle-DSL: replace complex factory system with a much simpler version
Christian Humer <christian.humer@gmail.com>
parents: 18752
diff changeset
69 for (NodeExecutionData execution : node.getChildExecutions()) {
18752
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
70 String fieldName = polymorphicTypeName(execution);
18753
f6b8787dc113 Truffle-DSL: replace complex factory system with a much simpler version
Christian Humer <christian.humer@gmail.com>
parents: 18752
diff changeset
71 CodeVariableElement var = new CodeVariableElement(modifiers(PRIVATE), context.getType(Class.class), fieldName);
f6b8787dc113 Truffle-DSL: replace complex factory system with a much simpler version
Christian Humer <christian.humer@gmail.com>
parents: 18752
diff changeset
72 var.getAnnotationMirrors().add(new CodeAnnotationMirror(context.getTruffleTypes().getCompilationFinal()));
18752
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
73 clazz.add(var);
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
74 }
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
75
18753
f6b8787dc113 Truffle-DSL: replace complex factory system with a much simpler version
Christian Humer <christian.humer@gmail.com>
parents: 18752
diff changeset
76 createConstructors(clazz);
f6b8787dc113 Truffle-DSL: replace complex factory system with a much simpler version
Christian Humer <christian.humer@gmail.com>
parents: 18752
diff changeset
77 createExecuteMethods(clazz);
f6b8787dc113 Truffle-DSL: replace complex factory system with a much simpler version
Christian Humer <christian.humer@gmail.com>
parents: 18752
diff changeset
78
f6b8787dc113 Truffle-DSL: replace complex factory system with a much simpler version
Christian Humer <christian.humer@gmail.com>
parents: 18752
diff changeset
79 clazz.add(createUpdateTypes0());
f6b8787dc113 Truffle-DSL: replace complex factory system with a much simpler version
Christian Humer <christian.humer@gmail.com>
parents: 18752
diff changeset
80 createCachedExecuteMethods(clazz);
f6b8787dc113 Truffle-DSL: replace complex factory system with a much simpler version
Christian Humer <christian.humer@gmail.com>
parents: 18752
diff changeset
81
18752
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
82 return clazz;
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
83 }
1acaa69ff61b Truffle-DSL: refactor generator classes
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
84
18766
a720bf2e2f43 Truffle-DSL: checkstyle fixes.
Christian Humer <christian.humer@gmail.com>
parents: 18761
diff changeset
85 }