graal-compiler: graal/com.oracle.truffle.dsl.processor/src/com/oracle/truffle/dsl/processor/generator/SpecializedNodeFactory.java annotate

author	Christian Humer <christian.humer@gmail.com>
date	Mon, 29 Dec 2014 23:38:16 +0100
parents
children	f6b8787dc113

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.element.*;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	31 import javax.lang.model.type.*;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	32 import javax.lang.model.util.*;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	33
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	34 import com.oracle.truffle.api.nodes.*;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	35 import com.oracle.truffle.dsl.processor.java.*;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	36 import com.oracle.truffle.dsl.processor.java.model.*;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	37 import com.oracle.truffle.dsl.processor.java.model.CodeTypeMirror.ArrayCodeTypeMirror;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	38 import com.oracle.truffle.dsl.processor.model.*;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	39 import com.oracle.truffle.dsl.processor.parser.*;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	40
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	41 class SpecializedNodeFactory extends NodeBaseFactory {
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 protected final CodeTypeElement nodeGen;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	44
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	45 public SpecializedNodeFactory(CodeTypeElement nodeGen) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	46 this.nodeGen = nodeGen;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	47 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	48
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	49 @Override
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	50 public CodeTypeElement create(SpecializationData specialization) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	51 NodeData node = specialization.getNode();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	52 TypeMirror baseType = node.getNodeType();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	53 if (nodeGen != null) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	54 baseType = nodeGen.asType();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	55 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	56 CodeTypeElement clazz = createClass(node, modifiers(PRIVATE, STATIC, FINAL), nodeSpecializationClassName(specialization), baseType, false);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	57
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	58 if (specialization.isSpecialized() \|\| specialization.isUninitialized()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	59 clazz.add(createGetMetadata0(false));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	60 clazz.add(createMetadataLiteral());
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	61 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	62
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	63 NodeCost cost;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	64 if (specialization.isGeneric()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	65 cost = NodeCost.MEGAMORPHIC;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	66 } else if (specialization.isUninitialized()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	67 cost = NodeCost.UNINITIALIZED;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	68 } else if (specialization.isPolymorphic()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	69 cost = NodeCost.POLYMORPHIC;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	70 } else if (specialization.isSpecialized()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	71 cost = NodeCost.MONOMORPHIC;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	72 } else {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	73 throw new AssertionError();
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 clazz.getAnnotationMirrors().add(createNodeInfo(node, cost));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	76
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	77 if (specialization.isUninitialized() && node.getGenericSpecialization().isReachable()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	78 clazz.add(createUninitializedGetCostOverride());
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	79 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	80
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	81 return clazz;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	82 }
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 private Element createUninitializedGetCostOverride() {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	85 TypeMirror returnType = context.getTruffleTypes().getNodeCost();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	86 CodeExecutableElement method = new CodeExecutableElement(modifiers(PUBLIC), returnType, "getCost");
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	87 CodeTreeBuilder builder = method.createBuilder();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	88 builder.startIf().string(CONTAINS_FALLBACK).end().startBlock();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	89 builder.startReturn().staticReference(returnType, "MONOMORPHIC").end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	90 builder.end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	91 builder.startReturn().string("super.getCost()").end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	92 return method;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	93 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	94
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	95 private CodeVariableElement createMetadataLiteral() {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	96 CodeVariableElement includes = new CodeVariableElement(modifiers(PRIVATE, STATIC, FINAL), context.getTruffleTypes().getDslMetadata(), METADATA_FIELD_NAME);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	97
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	98 CodeTreeBuilder builder = includes.createInitBuilder();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	99
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	100 SpecializationData specialization = getModel();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	101 NodeData node = specialization.getNode();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	102
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	103 Set<SpecializationData> contains = specialization.getContains();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	104 if (specialization.isUninitialized()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	105 contains = new HashSet<>();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	106
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	107 SpecializationData polymorphic = node.getPolymorphicSpecialization();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	108 if (polymorphic != null) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	109 contains.addAll(polymorphic.getContains());
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	110 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	111 SpecializationData generic = node.getGenericSpecialization();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	112 if (generic != null) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	113 contains.addAll(generic.getContains());
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	114 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	115 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	116
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	117 builder.startNew(context.getTruffleTypes().getDslMetadata());
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	118 builder.startGroup().string(nodeSpecializationClassName(getModel()), ".class").end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	119 builder.tree(createSpecializationListLiteral(builder, contains));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	120 builder.tree(createSpecializationListLiteral(builder, getModel().getExcludedBy()));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	121 builder.tree(createSpecializationTypeLiteral(builder, SpecializationData.getSignatureTypes(getModel())));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	122 builder.string("0").string("0");
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	123 builder.end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	124 return includes;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	125 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	126
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	127 private CodeTree createSpecializationTypeLiteral(CodeTreeBuilder parent, List<TypeMirror> list) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	128 ArrayType classArray = new ArrayCodeTypeMirror(context.getType(Class.class));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	129 CodeTreeBuilder builder = parent.create();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	130
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	131 if (list.isEmpty()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	132 builder.staticReference(context.getTruffleTypes().getDslMetadata(), EMPTY_CLASS_ARRAY);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	133 } else {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	134 builder.startNewArray(classArray, null);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	135 for (TypeMirror type : list) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	136 builder.typeLiteral(type);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	137 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	138 builder.end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	139 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	140
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	141 return builder.getRoot();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	142 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	143
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	144 private CodeTree createSpecializationListLiteral(CodeTreeBuilder parent, Set<SpecializationData> list) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	145 ArrayType classArray = new ArrayCodeTypeMirror(context.getType(Class.class));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	146 CodeTreeBuilder builder = parent.create();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	147
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	148 if (list.isEmpty()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	149 builder.staticReference(context.getTruffleTypes().getDslMetadata(), EMPTY_CLASS_ARRAY);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	150 } else {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	151 builder.startNewArray(classArray, null);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	152 for (SpecializationData specialization : list) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	153 SpecializationData s = specialization;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	154 if (s.isGeneric() \|\| s.isPolymorphic()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	155 s = getModel().getNode().getUninitializedSpecialization();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	156 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	157 builder.startGroup().string(nodeSpecializationClassName(s)).string(".class").end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	158 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	159 builder.end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	160 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	161
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	162 return builder.getRoot();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	163 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	164
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	165 protected CodeAnnotationMirror createNodeInfo(NodeData node, NodeCost cost) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	166 String shortName = node.getShortName();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	167 CodeAnnotationMirror nodeInfoMirror = new CodeAnnotationMirror(getContext().getTruffleTypes().getNodeInfoAnnotation());
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	168 if (shortName != null) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	169 nodeInfoMirror.setElementValue(nodeInfoMirror.findExecutableElement("shortName"), new CodeAnnotationValue(shortName));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	170 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	171
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	172 DeclaredType nodeinfoCost = getContext().getTruffleTypes().getNodeCost();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	173 VariableElement varKind = ElementUtils.findVariableElement(nodeinfoCost, cost.name());
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	174
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	175 nodeInfoMirror.setElementValue(nodeInfoMirror.findExecutableElement("cost"), new CodeAnnotationValue(varKind));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	176 return nodeInfoMirror;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	177 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	178
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	179 @Override
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	180 protected void createChildren(SpecializationData specialization) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	181 CodeTypeElement clazz = getElement();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	182 createConstructors(clazz);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	183
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	184 createExecuteMethods(specialization);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	185 createCachedExecuteMethods(specialization);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	186
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	187 if (specialization.isUninitialized()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	188 if (specialization.getNode().isFallbackReachable()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	189 CodeVariableElement var = new CodeVariableElement(modifiers(Modifier.PRIVATE), context.getType(boolean.class), CONTAINS_FALLBACK);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	190 var.addAnnotationMirror(new CodeAnnotationMirror(context.getTruffleTypes().getCompilationFinal()));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	191 clazz.add(var);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	192 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	193 clazz.add(createExecuteUninitialized());
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	194 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	195
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	196 if (!specialization.isUninitialized() && specialization.getNode().needsRewrites(context)) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	197 clazz.add(createCopyConstructorFactoryMethod(nodeGen.asType(), specialization));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	198 } else {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	199 for (ExecutableElement constructor : ElementFilter.constructorsIn(clazz.getEnclosedElements())) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	200 if (constructor.getParameters().size() == 1 && ((CodeVariableElement) constructor.getParameters().get(0)).getType().equals(nodeGen.asType())) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	201 // skip copy constructor - not used
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	202 continue;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	203 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	204 clazz.add(createConstructorFactoryMethod(specialization, constructor));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	205 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	206 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	207 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	208
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	209 protected void createConstructors(CodeTypeElement clazz) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	210 TypeElement superTypeElement = ElementUtils.fromTypeMirror(clazz.getSuperclass());
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	211 SpecializationData specialization = getModel();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	212 NodeData node = specialization.getNode();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	213 for (ExecutableElement constructor : ElementFilter.constructorsIn(superTypeElement.getEnclosedElements())) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	214 if (specialization.isUninitialized()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	215 // ignore copy constructors for uninitialized if not polymorphic
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	216 if (isCopyConstructor(constructor) && !node.isPolymorphic(context)) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	217 continue;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	218 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	219 } else if (node.getUninitializedSpecialization() != null) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	220 // ignore others than copy constructors for specialized nodes
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	221 if (!isCopyConstructor(constructor)) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	222 continue;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	223 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	224 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	225
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	226 CodeExecutableElement superConstructor = createSuperConstructor(clazz, constructor);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	227 if (superConstructor == null) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	228 continue;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	229 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	230 CodeTree body = superConstructor.getBodyTree();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	231 CodeTreeBuilder builder = superConstructor.createBuilder();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	232 builder.tree(body);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	233
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	234 if (superConstructor != null) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	235 for (Parameter param : getImplicitTypeParameters(getModel())) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	236 clazz.add(new CodeVariableElement(modifiers(PRIVATE, FINAL), getContext().getType(Class.class), implicitTypeName(param)));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	237 superConstructor.getParameters().add(new CodeVariableElement(getContext().getType(Class.class), implicitTypeName(param)));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	238
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	239 builder.startStatement();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	240 builder.string("this.").string(implicitTypeName(param)).string(" = ").string(implicitTypeName(param));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	241 builder.end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	242 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	243
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	244 clazz.add(superConstructor);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	245 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	246 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	247 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	248
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	249 protected void createExecuteMethods(SpecializationData specialization) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	250 NodeData node = specialization.getNode();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	251 CodeTypeElement clazz = getElement();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	252
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	253 List<ExecutableTypeData> primaryExecutes = null;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	254 int lastEvaluatedCount = -1;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	255
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	256 for (ExecutableTypeData execType : node.getExecutableTypes()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	257 if (execType.isFinal()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	258 continue;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	259 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	260 if (execType.getEvaluatedCount() != lastEvaluatedCount) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	261 lastEvaluatedCount = execType.getEvaluatedCount();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	262 primaryExecutes = findFunctionalExecutableType(specialization, lastEvaluatedCount);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	263 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	264
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	265 CodeExecutableElement executeMethod = createExecutableTypeOverride(execType, true);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	266 clazz.add(executeMethod);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	267 CodeTreeBuilder builder = executeMethod.getBuilder();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	268 CodeTree result = createExecuteBody(builder, specialization, execType, primaryExecutes);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	269 if (result != null) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	270 builder.tree(result);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	271 } else {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	272 clazz.remove(executeMethod);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	273 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	274 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	275 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	276
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	277 protected void createCachedExecuteMethods(SpecializationData specialization) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	278 NodeData node = specialization.getNode();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	279 if (!node.isPolymorphic(context)) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	280 return;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	281 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	282
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	283 CodeTypeElement clazz = getElement();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	284
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	285 final SpecializationData polymorphic = node.getPolymorphicSpecialization();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	286 ExecutableElement executeCached = nodeGen.getMethod(EXECUTE_CHAINED);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	287 CodeExecutableElement executeMethod = CodeExecutableElement.clone(getContext().getEnvironment(), executeCached);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	288 executeMethod.getModifiers().remove(Modifier.ABSTRACT);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	289 CodeTreeBuilder builder = executeMethod.createBuilder();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	290
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	291 if (specialization.isPolymorphic()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	292 builder.startReturn().startCall("this.next0", EXECUTE_CHAINED);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	293 addInternalValueParameterNames(builder, polymorphic, polymorphic, null, true, false, null);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	294 builder.end().end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	295 } else if (specialization.isUninitialized()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	296 builder.tree(createDeoptimizeUninitialized(node, builder));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	297 builder.startReturn().startCall("this", EXECUTE_UNINITIALIZED);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	298 addInternalValueParameterNames(builder, polymorphic, polymorphic, null, true, false, null);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	299 builder.end().end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	300 } else {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	301 CodeTreeBuilder elseBuilder = new CodeTreeBuilder(builder);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	302 elseBuilder.startReturn().startCall("this.next0", EXECUTE_CHAINED);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	303 addInternalValueParameterNames(elseBuilder, polymorphic, polymorphic, null, true, false, null);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	304 elseBuilder.end().end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	305
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	306 builder.tree(createExecuteTree(builder, polymorphic, SpecializationGroup.create(specialization), new CodeBlock<SpecializationData>() {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	307
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	308 public CodeTree create(CodeTreeBuilder b, SpecializationData current) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	309 return createGenericInvoke(b, polymorphic, current);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	310 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	311 }, elseBuilder.getRoot(), false, true, true, false));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	312 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	313 clazz.add(executeMethod);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	314 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	315
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	316 private static CodeTree createDeoptimizeUninitialized(NodeData node, CodeTreeBuilder parent) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	317 CodeTreeBuilder builder = parent.create();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	318 if (node.getGenericSpecialization().isReachable()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	319 builder.startIf().string("!containsFallback").end().startBlock();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	320 builder.tree(createDeoptimize(builder));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	321 builder.end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	322 } else {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	323 builder.tree(createDeoptimize(builder));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	324 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	325 return builder.getRoot();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	326 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	327
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	328 private CodeTree createExecuteBody(CodeTreeBuilder parent, SpecializationData specialization, ExecutableTypeData execType, List<ExecutableTypeData> primaryExecutes) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	329 CodeTreeBuilder builder = new CodeTreeBuilder(parent);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	330
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	331 if (primaryExecutes.contains(execType) \|\| primaryExecutes.isEmpty()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	332 builder.tree(createFunctionalExecute(builder, specialization, execType));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	333 } else if (needsCastingExecuteMethod(execType)) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	334 assert !primaryExecutes.isEmpty();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	335 builder.tree(createCastingExecute(builder, specialization, execType, primaryExecutes.get(0)));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	336 } else {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	337 return null;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	338 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	339
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	340 return builder.getRoot();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	341 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	342
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	343 private CodeExecutableElement createExecutableTypeOverride(ExecutableTypeData execType, boolean evaluated) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	344 CodeExecutableElement method = CodeExecutableElement.clone(getContext().getEnvironment(), execType.getMethod());
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	345
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	346 method.getAnnotationMirrors().clear();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	347 for (VariableElement variable : method.getParameters()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	348 variable.getAnnotationMirrors().clear();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	349 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	350
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	351 CodeTreeBuilder builder = method.createBuilder();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	352 int i = 0;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	353 int signatureIndex = -1;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	354 for (VariableElement param : method.getParameters()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	355 CodeVariableElement var = CodeVariableElement.clone(param);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	356 Parameter actualParameter = i < execType.getParameters().size() ? execType.getParameters().get(i) : null;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	357 String name;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	358 if (actualParameter != null) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	359 if (actualParameter.getSpecification().isSignature()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	360 signatureIndex++;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	361 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	362
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	363 if (evaluated && actualParameter.getSpecification().isSignature()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	364 name = valueNameEvaluated(actualParameter);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	365 } else {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	366 name = valueName(actualParameter);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	367 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	368
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	369 int varArgCount = getModel().getSignatureSize() - signatureIndex;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	370 if (evaluated && actualParameter.isTypeVarArgs()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	371 Parameter baseVarArgs = actualParameter;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	372 name = valueName(baseVarArgs) + "Args";
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	373
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	374 builder.startAssert().string(name).string(" != null").end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	375 builder.startAssert().string(name).string(".length == ").string(String.valueOf(varArgCount)).end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	376 if (varArgCount > 0) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	377 List<Parameter> varArgsParameter = execType.getParameters().subList(i, execType.getParameters().size());
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	378 for (Parameter varArg : varArgsParameter) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	379 if (varArgCount <= 0) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	380 break;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	381 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	382 TypeMirror type = baseVarArgs.getType();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	383 if (type.getKind() == TypeKind.ARRAY) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	384 type = ((ArrayType) type).getComponentType();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	385 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	386 builder.declaration(type, valueNameEvaluated(varArg), name + "[" + varArg.getTypeVarArgsIndex() + "]");
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	387 varArgCount--;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	388 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	389 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	390 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	391 } else {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	392 name = "arg" + i;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	393 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	394 var.setName(name);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	395 method.getParameters().set(i, var);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	396 i++;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	397 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	398
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	399 method.getAnnotationMirrors().clear();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	400 method.getModifiers().remove(Modifier.ABSTRACT);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	401 return method;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	402 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	403
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	404 private static boolean needsCastingExecuteMethod(ExecutableTypeData execType) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	405 if (execType.isAbstract()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	406 return true;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	407 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	408 if (execType.getType().isGeneric()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	409 return true;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	410 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	411 return false;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	412 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	413
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	414 private List<ExecutableTypeData> findFunctionalExecutableType(SpecializationData specialization, int evaluatedCount) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	415 TypeData primaryType = specialization.getReturnType().getTypeSystemType();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	416 List<ExecutableTypeData> otherTypes = specialization.getNode().getExecutableTypes(evaluatedCount);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	417
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	418 List<ExecutableTypeData> filteredTypes = new ArrayList<>();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	419 for (ExecutableTypeData compareType : otherTypes) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	420 if (ElementUtils.typeEquals(compareType.getType().getPrimitiveType(), primaryType.getPrimitiveType())) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	421 filteredTypes.add(compareType);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	422 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	423 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	424
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	425 // no direct matches found use generic where the type is Object
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	426 if (filteredTypes.isEmpty()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	427 for (ExecutableTypeData compareType : otherTypes) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	428 if (compareType.getType().isGeneric() && !compareType.hasUnexpectedValue(getContext())) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	429 filteredTypes.add(compareType);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	430 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	431 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	432 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	433
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	434 if (filteredTypes.isEmpty()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	435 for (ExecutableTypeData compareType : otherTypes) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	436 if (compareType.getType().isGeneric()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	437 filteredTypes.add(compareType);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	438 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	439 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	440 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	441
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	442 return filteredTypes;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	443 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	444
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	445 private CodeTree createFunctionalExecute(CodeTreeBuilder parent, final SpecializationData specialization, final ExecutableTypeData executable) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	446 CodeTreeBuilder builder = new CodeTreeBuilder(parent);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	447
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	448 if (specialization.isUninitialized()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	449 builder.tree(createDeoptimizeUninitialized(specialization.getNode(), builder));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	450 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	451
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	452 builder.tree(createExecuteChildren(builder, executable, specialization, specialization.getParameters(), null));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	453
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	454 CodeTree returnSpecialized = null;
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	455
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	456 if (specialization.findNextSpecialization() != null) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	457 CodeTreeBuilder returnBuilder = new CodeTreeBuilder(builder);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	458 returnBuilder.tree(createDeoptimize(builder));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	459 returnBuilder.tree(createCallRewriteMonomorphic(builder, executable.hasUnexpectedValue(context), executable.getType(), specialization, null, "One of guards " + specialization.getGuards() +
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	460 " failed"));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	461 returnSpecialized = returnBuilder.getRoot();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	462 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	463
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	464 builder.tree(createExecuteTree(builder, specialization, SpecializationGroup.create(specialization), new CodeBlock<SpecializationData>() {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	465
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	466 public CodeTree create(CodeTreeBuilder b, SpecializationData current) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	467 return createExecute(b, executable, specialization);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	468 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	469 }, returnSpecialized, false, false, false, false));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	470
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	471 return builder.getRoot();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	472 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	473
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	474 private CodeTree createExecute(CodeTreeBuilder parent, ExecutableTypeData executable, SpecializationData specialization) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	475 NodeData node = specialization.getNode();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	476 CodeTreeBuilder builder = new CodeTreeBuilder(parent);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	477 if (!specialization.getExceptions().isEmpty() \|\| !specialization.getAssumptions().isEmpty()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	478 builder.startTryBlock();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	479 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	480
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	481 for (String assumption : specialization.getAssumptions()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	482 builder.startStatement();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	483 builder.string("this.").string(assumption).string(".check()");
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	484 builder.end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	485 }
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	486
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	487 CodeTreeBuilder returnBuilder = new CodeTreeBuilder(parent);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	488 if (specialization.isPolymorphic()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	489 returnBuilder.startCall("next0", EXECUTE_CHAINED);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	490 addInternalValueParameterNames(returnBuilder, specialization, specialization, null, true, false, null);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	491 returnBuilder.end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	492 } else if (specialization.isUninitialized()) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	493 returnBuilder.startCall(EXECUTE_UNINITIALIZED);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	494 addInternalValueParameterNames(returnBuilder, specialization, specialization, null, true, false, null);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	495 returnBuilder.end();
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	496 } else if (specialization.getMethod() == null && !node.needsRewrites(context)) {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	497 emitEncounteredSynthetic(builder, getModel().getNode(), specialization);
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	498 } else {
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	499 returnBuilder.tree(createTemplateMethodCall(returnBuilder, null, specialization, specialization, null));
1acaa69ff61b Truffle-DSL: refactor generator classes Christian Humer <christian.humer@gmail.com> parents: diff changeset	500 }

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

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.element.*;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

31 import javax.lang.model.type.*;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

32 import javax.lang.model.util.*;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

33

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

34 import com.oracle.truffle.api.nodes.*;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

35 import com.oracle.truffle.dsl.processor.java.*;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

36 import com.oracle.truffle.dsl.processor.java.model.*;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

37 import com.oracle.truffle.dsl.processor.java.model.CodeTypeMirror.ArrayCodeTypeMirror;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

38 import com.oracle.truffle.dsl.processor.model.*;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

39 import com.oracle.truffle.dsl.processor.parser.*;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

40

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

41 class SpecializedNodeFactory extends NodeBaseFactory {

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 protected final CodeTypeElement nodeGen;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

44

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

45 public SpecializedNodeFactory(CodeTypeElement nodeGen) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

46 this.nodeGen = nodeGen;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

47 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

48

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

49 @Override

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

50 public CodeTypeElement create(SpecializationData specialization) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

51 NodeData node = specialization.getNode();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

52 TypeMirror baseType = node.getNodeType();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

53 if (nodeGen != null) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

54 baseType = nodeGen.asType();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

55 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

56 CodeTypeElement clazz = createClass(node, modifiers(PRIVATE, STATIC, FINAL), nodeSpecializationClassName(specialization), baseType, false);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

57

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

58 if (specialization.isSpecialized() || specialization.isUninitialized()) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

59 clazz.add(createGetMetadata0(false));

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

60 clazz.add(createMetadataLiteral());

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

61 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

62

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

63 NodeCost cost;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

64 if (specialization.isGeneric()) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

65 cost = NodeCost.MEGAMORPHIC;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

66 } else if (specialization.isUninitialized()) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

67 cost = NodeCost.UNINITIALIZED;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

68 } else if (specialization.isPolymorphic()) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

69 cost = NodeCost.POLYMORPHIC;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

70 } else if (specialization.isSpecialized()) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

71 cost = NodeCost.MONOMORPHIC;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

72 } else {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

73 throw new AssertionError();

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 clazz.getAnnotationMirrors().add(createNodeInfo(node, cost));

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

76

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

77 if (specialization.isUninitialized() && node.getGenericSpecialization().isReachable()) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

78 clazz.add(createUninitializedGetCostOverride());

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

79 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

80

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

81 return clazz;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

82 }

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 private Element createUninitializedGetCostOverride() {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

85 TypeMirror returnType = context.getTruffleTypes().getNodeCost();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

86 CodeExecutableElement method = new CodeExecutableElement(modifiers(PUBLIC), returnType, "getCost");

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

87 CodeTreeBuilder builder = method.createBuilder();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

88 builder.startIf().string(CONTAINS_FALLBACK).end().startBlock();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

89 builder.startReturn().staticReference(returnType, "MONOMORPHIC").end();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

90 builder.end();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

91 builder.startReturn().string("super.getCost()").end();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

92 return method;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

93 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

94

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

95 private CodeVariableElement createMetadataLiteral() {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

96 CodeVariableElement includes = new CodeVariableElement(modifiers(PRIVATE, STATIC, FINAL), context.getTruffleTypes().getDslMetadata(), METADATA_FIELD_NAME);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

97

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

98 CodeTreeBuilder builder = includes.createInitBuilder();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

99

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

100 SpecializationData specialization = getModel();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

101 NodeData node = specialization.getNode();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

102

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

103 Set<SpecializationData> contains = specialization.getContains();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

104 if (specialization.isUninitialized()) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

105 contains = new HashSet<>();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

106

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

107 SpecializationData polymorphic = node.getPolymorphicSpecialization();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

108 if (polymorphic != null) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

109 contains.addAll(polymorphic.getContains());

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

110 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

111 SpecializationData generic = node.getGenericSpecialization();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

112 if (generic != null) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

113 contains.addAll(generic.getContains());

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

114 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

115 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

116

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

117 builder.startNew(context.getTruffleTypes().getDslMetadata());

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

118 builder.startGroup().string(nodeSpecializationClassName(getModel()), ".class").end();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

119 builder.tree(createSpecializationListLiteral(builder, contains));

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

120 builder.tree(createSpecializationListLiteral(builder, getModel().getExcludedBy()));

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

121 builder.tree(createSpecializationTypeLiteral(builder, SpecializationData.getSignatureTypes(getModel())));

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

122 builder.string("0").string("0");

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

123 builder.end();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

124 return includes;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

125 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

126

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

127 private CodeTree createSpecializationTypeLiteral(CodeTreeBuilder parent, List<TypeMirror> list) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

128 ArrayType classArray = new ArrayCodeTypeMirror(context.getType(Class.class));

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

129 CodeTreeBuilder builder = parent.create();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

130

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

131 if (list.isEmpty()) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

132 builder.staticReference(context.getTruffleTypes().getDslMetadata(), EMPTY_CLASS_ARRAY);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

133 } else {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

134 builder.startNewArray(classArray, null);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

135 for (TypeMirror type : list) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

136 builder.typeLiteral(type);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

137 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

138 builder.end();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

139 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

140

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

141 return builder.getRoot();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

142 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

143

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

144 private CodeTree createSpecializationListLiteral(CodeTreeBuilder parent, Set<SpecializationData> list) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

145 ArrayType classArray = new ArrayCodeTypeMirror(context.getType(Class.class));

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

146 CodeTreeBuilder builder = parent.create();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

147

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

148 if (list.isEmpty()) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

149 builder.staticReference(context.getTruffleTypes().getDslMetadata(), EMPTY_CLASS_ARRAY);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

150 } else {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

151 builder.startNewArray(classArray, null);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

152 for (SpecializationData specialization : list) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

153 SpecializationData s = specialization;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

154 if (s.isGeneric() || s.isPolymorphic()) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

155 s = getModel().getNode().getUninitializedSpecialization();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

156 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

157 builder.startGroup().string(nodeSpecializationClassName(s)).string(".class").end();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

158 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

159 builder.end();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

160 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

161

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

162 return builder.getRoot();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

163 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

164

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

165 protected CodeAnnotationMirror createNodeInfo(NodeData node, NodeCost cost) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

166 String shortName = node.getShortName();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

167 CodeAnnotationMirror nodeInfoMirror = new CodeAnnotationMirror(getContext().getTruffleTypes().getNodeInfoAnnotation());

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

168 if (shortName != null) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

169 nodeInfoMirror.setElementValue(nodeInfoMirror.findExecutableElement("shortName"), new CodeAnnotationValue(shortName));

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

170 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

171

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

172 DeclaredType nodeinfoCost = getContext().getTruffleTypes().getNodeCost();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

173 VariableElement varKind = ElementUtils.findVariableElement(nodeinfoCost, cost.name());

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

174

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

175 nodeInfoMirror.setElementValue(nodeInfoMirror.findExecutableElement("cost"), new CodeAnnotationValue(varKind));

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

176 return nodeInfoMirror;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

177 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

178

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

179 @Override

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

180 protected void createChildren(SpecializationData specialization) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

181 CodeTypeElement clazz = getElement();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

182 createConstructors(clazz);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

183

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

184 createExecuteMethods(specialization);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

185 createCachedExecuteMethods(specialization);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

186

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

187 if (specialization.isUninitialized()) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

188 if (specialization.getNode().isFallbackReachable()) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

189 CodeVariableElement var = new CodeVariableElement(modifiers(Modifier.PRIVATE), context.getType(boolean.class), CONTAINS_FALLBACK);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

190 var.addAnnotationMirror(new CodeAnnotationMirror(context.getTruffleTypes().getCompilationFinal()));

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

191 clazz.add(var);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

192 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

193 clazz.add(createExecuteUninitialized());

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

194 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

195

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

196 if (!specialization.isUninitialized() && specialization.getNode().needsRewrites(context)) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

197 clazz.add(createCopyConstructorFactoryMethod(nodeGen.asType(), specialization));

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

198 } else {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

199 for (ExecutableElement constructor : ElementFilter.constructorsIn(clazz.getEnclosedElements())) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

200 if (constructor.getParameters().size() == 1 && ((CodeVariableElement) constructor.getParameters().get(0)).getType().equals(nodeGen.asType())) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

201 // skip copy constructor - not used

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

202 continue;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

203 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

204 clazz.add(createConstructorFactoryMethod(specialization, constructor));

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

205 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

206 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

207 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

208

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

209 protected void createConstructors(CodeTypeElement clazz) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

210 TypeElement superTypeElement = ElementUtils.fromTypeMirror(clazz.getSuperclass());

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

211 SpecializationData specialization = getModel();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

212 NodeData node = specialization.getNode();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

213 for (ExecutableElement constructor : ElementFilter.constructorsIn(superTypeElement.getEnclosedElements())) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

214 if (specialization.isUninitialized()) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

215 // ignore copy constructors for uninitialized if not polymorphic

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

216 if (isCopyConstructor(constructor) && !node.isPolymorphic(context)) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

217 continue;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

218 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

219 } else if (node.getUninitializedSpecialization() != null) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

220 // ignore others than copy constructors for specialized nodes

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

221 if (!isCopyConstructor(constructor)) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

222 continue;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

223 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

224 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

225

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

226 CodeExecutableElement superConstructor = createSuperConstructor(clazz, constructor);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

227 if (superConstructor == null) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

228 continue;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

229 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

230 CodeTree body = superConstructor.getBodyTree();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

231 CodeTreeBuilder builder = superConstructor.createBuilder();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

232 builder.tree(body);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

233

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

234 if (superConstructor != null) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

235 for (Parameter param : getImplicitTypeParameters(getModel())) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

236 clazz.add(new CodeVariableElement(modifiers(PRIVATE, FINAL), getContext().getType(Class.class), implicitTypeName(param)));

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

237 superConstructor.getParameters().add(new CodeVariableElement(getContext().getType(Class.class), implicitTypeName(param)));

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

238

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

239 builder.startStatement();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

240 builder.string("this.").string(implicitTypeName(param)).string(" = ").string(implicitTypeName(param));

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

241 builder.end();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

242 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

243

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

244 clazz.add(superConstructor);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

245 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

246 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

247 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

248

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

249 protected void createExecuteMethods(SpecializationData specialization) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

250 NodeData node = specialization.getNode();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

251 CodeTypeElement clazz = getElement();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

252

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

253 List<ExecutableTypeData> primaryExecutes = null;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

254 int lastEvaluatedCount = -1;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

255

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

256 for (ExecutableTypeData execType : node.getExecutableTypes()) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

257 if (execType.isFinal()) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

258 continue;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

259 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

260 if (execType.getEvaluatedCount() != lastEvaluatedCount) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

261 lastEvaluatedCount = execType.getEvaluatedCount();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

262 primaryExecutes = findFunctionalExecutableType(specialization, lastEvaluatedCount);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

263 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

264

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

265 CodeExecutableElement executeMethod = createExecutableTypeOverride(execType, true);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

266 clazz.add(executeMethod);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

267 CodeTreeBuilder builder = executeMethod.getBuilder();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

268 CodeTree result = createExecuteBody(builder, specialization, execType, primaryExecutes);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

269 if (result != null) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

270 builder.tree(result);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

271 } else {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

272 clazz.remove(executeMethod);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

273 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

274 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

275 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

276

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

277 protected void createCachedExecuteMethods(SpecializationData specialization) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

278 NodeData node = specialization.getNode();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

279 if (!node.isPolymorphic(context)) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

280 return;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

281 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

282

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

283 CodeTypeElement clazz = getElement();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

284

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

285 final SpecializationData polymorphic = node.getPolymorphicSpecialization();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

286 ExecutableElement executeCached = nodeGen.getMethod(EXECUTE_CHAINED);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

287 CodeExecutableElement executeMethod = CodeExecutableElement.clone(getContext().getEnvironment(), executeCached);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

288 executeMethod.getModifiers().remove(Modifier.ABSTRACT);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

289 CodeTreeBuilder builder = executeMethod.createBuilder();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

290

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

291 if (specialization.isPolymorphic()) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

292 builder.startReturn().startCall("this.next0", EXECUTE_CHAINED);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

293 addInternalValueParameterNames(builder, polymorphic, polymorphic, null, true, false, null);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

294 builder.end().end();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

295 } else if (specialization.isUninitialized()) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

296 builder.tree(createDeoptimizeUninitialized(node, builder));

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

297 builder.startReturn().startCall("this", EXECUTE_UNINITIALIZED);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

298 addInternalValueParameterNames(builder, polymorphic, polymorphic, null, true, false, null);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

299 builder.end().end();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

300 } else {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

301 CodeTreeBuilder elseBuilder = new CodeTreeBuilder(builder);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

302 elseBuilder.startReturn().startCall("this.next0", EXECUTE_CHAINED);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

303 addInternalValueParameterNames(elseBuilder, polymorphic, polymorphic, null, true, false, null);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

304 elseBuilder.end().end();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

305

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

306 builder.tree(createExecuteTree(builder, polymorphic, SpecializationGroup.create(specialization), new CodeBlock<SpecializationData>() {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

307

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

308 public CodeTree create(CodeTreeBuilder b, SpecializationData current) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

309 return createGenericInvoke(b, polymorphic, current);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

310 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

311 }, elseBuilder.getRoot(), false, true, true, false));

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

312 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

313 clazz.add(executeMethod);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

314 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

315

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

316 private static CodeTree createDeoptimizeUninitialized(NodeData node, CodeTreeBuilder parent) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

317 CodeTreeBuilder builder = parent.create();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

318 if (node.getGenericSpecialization().isReachable()) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

319 builder.startIf().string("!containsFallback").end().startBlock();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

320 builder.tree(createDeoptimize(builder));

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

321 builder.end();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

322 } else {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

323 builder.tree(createDeoptimize(builder));

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

324 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

325 return builder.getRoot();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

326 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

327

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

328 private CodeTree createExecuteBody(CodeTreeBuilder parent, SpecializationData specialization, ExecutableTypeData execType, List<ExecutableTypeData> primaryExecutes) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

329 CodeTreeBuilder builder = new CodeTreeBuilder(parent);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

330

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

331 if (primaryExecutes.contains(execType) || primaryExecutes.isEmpty()) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

332 builder.tree(createFunctionalExecute(builder, specialization, execType));

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

333 } else if (needsCastingExecuteMethod(execType)) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

334 assert !primaryExecutes.isEmpty();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

335 builder.tree(createCastingExecute(builder, specialization, execType, primaryExecutes.get(0)));

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

336 } else {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

337 return null;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

338 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

339

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

340 return builder.getRoot();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

341 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

342

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

343 private CodeExecutableElement createExecutableTypeOverride(ExecutableTypeData execType, boolean evaluated) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

344 CodeExecutableElement method = CodeExecutableElement.clone(getContext().getEnvironment(), execType.getMethod());

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

345

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

346 method.getAnnotationMirrors().clear();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

347 for (VariableElement variable : method.getParameters()) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

348 variable.getAnnotationMirrors().clear();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

349 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

350

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

351 CodeTreeBuilder builder = method.createBuilder();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

352 int i = 0;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

353 int signatureIndex = -1;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

354 for (VariableElement param : method.getParameters()) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

355 CodeVariableElement var = CodeVariableElement.clone(param);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

356 Parameter actualParameter = i < execType.getParameters().size() ? execType.getParameters().get(i) : null;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

357 String name;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

358 if (actualParameter != null) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

359 if (actualParameter.getSpecification().isSignature()) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

360 signatureIndex++;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

361 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

362

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

363 if (evaluated && actualParameter.getSpecification().isSignature()) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

364 name = valueNameEvaluated(actualParameter);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

365 } else {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

366 name = valueName(actualParameter);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

367 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

368

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

369 int varArgCount = getModel().getSignatureSize() - signatureIndex;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

370 if (evaluated && actualParameter.isTypeVarArgs()) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

371 Parameter baseVarArgs = actualParameter;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

372 name = valueName(baseVarArgs) + "Args";

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

373

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

374 builder.startAssert().string(name).string(" != null").end();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

375 builder.startAssert().string(name).string(".length == ").string(String.valueOf(varArgCount)).end();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

376 if (varArgCount > 0) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

377 List<Parameter> varArgsParameter = execType.getParameters().subList(i, execType.getParameters().size());

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

378 for (Parameter varArg : varArgsParameter) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

379 if (varArgCount <= 0) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

380 break;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

381 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

382 TypeMirror type = baseVarArgs.getType();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

383 if (type.getKind() == TypeKind.ARRAY) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

384 type = ((ArrayType) type).getComponentType();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

385 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

386 builder.declaration(type, valueNameEvaluated(varArg), name + "[" + varArg.getTypeVarArgsIndex() + "]");

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

387 varArgCount--;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

388 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

389 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

390 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

391 } else {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

392 name = "arg" + i;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

393 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

394 var.setName(name);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

395 method.getParameters().set(i, var);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

396 i++;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

397 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

398

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

399 method.getAnnotationMirrors().clear();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

400 method.getModifiers().remove(Modifier.ABSTRACT);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

401 return method;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

402 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

403

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

404 private static boolean needsCastingExecuteMethod(ExecutableTypeData execType) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

405 if (execType.isAbstract()) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

406 return true;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

407 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

408 if (execType.getType().isGeneric()) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

409 return true;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

410 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

411 return false;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

412 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

413

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

414 private List<ExecutableTypeData> findFunctionalExecutableType(SpecializationData specialization, int evaluatedCount) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

415 TypeData primaryType = specialization.getReturnType().getTypeSystemType();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

416 List<ExecutableTypeData> otherTypes = specialization.getNode().getExecutableTypes(evaluatedCount);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

417

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

418 List<ExecutableTypeData> filteredTypes = new ArrayList<>();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

419 for (ExecutableTypeData compareType : otherTypes) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

420 if (ElementUtils.typeEquals(compareType.getType().getPrimitiveType(), primaryType.getPrimitiveType())) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

421 filteredTypes.add(compareType);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

422 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

423 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

424

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

425 // no direct matches found use generic where the type is Object

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

426 if (filteredTypes.isEmpty()) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

427 for (ExecutableTypeData compareType : otherTypes) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

428 if (compareType.getType().isGeneric() && !compareType.hasUnexpectedValue(getContext())) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

429 filteredTypes.add(compareType);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

430 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

431 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

432 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

433

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

434 if (filteredTypes.isEmpty()) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

435 for (ExecutableTypeData compareType : otherTypes) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

436 if (compareType.getType().isGeneric()) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

437 filteredTypes.add(compareType);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

438 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

439 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

440 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

441

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

442 return filteredTypes;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

443 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

444

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

445 private CodeTree createFunctionalExecute(CodeTreeBuilder parent, final SpecializationData specialization, final ExecutableTypeData executable) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

446 CodeTreeBuilder builder = new CodeTreeBuilder(parent);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

447

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

448 if (specialization.isUninitialized()) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

449 builder.tree(createDeoptimizeUninitialized(specialization.getNode(), builder));

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

450 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

451

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

452 builder.tree(createExecuteChildren(builder, executable, specialization, specialization.getParameters(), null));

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

453

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

454 CodeTree returnSpecialized = null;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

455

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

456 if (specialization.findNextSpecialization() != null) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

457 CodeTreeBuilder returnBuilder = new CodeTreeBuilder(builder);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

458 returnBuilder.tree(createDeoptimize(builder));

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

459 returnBuilder.tree(createCallRewriteMonomorphic(builder, executable.hasUnexpectedValue(context), executable.getType(), specialization, null, "One of guards " + specialization.getGuards() +

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

460 " failed"));

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

461 returnSpecialized = returnBuilder.getRoot();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

462 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

463

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

464 builder.tree(createExecuteTree(builder, specialization, SpecializationGroup.create(specialization), new CodeBlock<SpecializationData>() {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

465

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

466 public CodeTree create(CodeTreeBuilder b, SpecializationData current) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

467 return createExecute(b, executable, specialization);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

468 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

469 }, returnSpecialized, false, false, false, false));

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

470

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

471 return builder.getRoot();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

472 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

473

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

474 private CodeTree createExecute(CodeTreeBuilder parent, ExecutableTypeData executable, SpecializationData specialization) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

475 NodeData node = specialization.getNode();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

476 CodeTreeBuilder builder = new CodeTreeBuilder(parent);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

477 if (!specialization.getExceptions().isEmpty() || !specialization.getAssumptions().isEmpty()) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

478 builder.startTryBlock();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

479 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

480

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

481 for (String assumption : specialization.getAssumptions()) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

482 builder.startStatement();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

483 builder.string("this.").string(assumption).string(".check()");

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

484 builder.end();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

485 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

486

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

487 CodeTreeBuilder returnBuilder = new CodeTreeBuilder(parent);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

488 if (specialization.isPolymorphic()) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

489 returnBuilder.startCall("next0", EXECUTE_CHAINED);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

490 addInternalValueParameterNames(returnBuilder, specialization, specialization, null, true, false, null);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

491 returnBuilder.end();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

492 } else if (specialization.isUninitialized()) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

493 returnBuilder.startCall(EXECUTE_UNINITIALIZED);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

494 addInternalValueParameterNames(returnBuilder, specialization, specialization, null, true, false, null);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

495 returnBuilder.end();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

496 } else if (specialization.getMethod() == null && !node.needsRewrites(context)) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

497 emitEncounteredSynthetic(builder, getModel().getNode(), specialization);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

498 } else {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

499 returnBuilder.tree(createTemplateMethodCall(returnBuilder, null, specialization, specialization, null));

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

500 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

501

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

502 if (!returnBuilder.isEmpty()) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

503 TypeData targetType = node.getTypeSystem().findTypeData(builder.findMethod().getReturnType());

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

504 TypeData sourceType = specialization.getReturnType().getTypeSystemType();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

505

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

506 builder.startReturn();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

507 if (targetType == null || sourceType == null) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

508 builder.tree(returnBuilder.getRoot());

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

509 } else if (sourceType.needsCastTo(targetType)) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

510 String castMethodName = TypeSystemCodeGenerator.expectTypeMethodName(targetType);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

511 if (!executable.hasUnexpectedValue(context)) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

512 castMethodName = TypeSystemCodeGenerator.asTypeMethodName(targetType);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

513 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

514 builder.tree(createCallTypeSystemMethod(parent, node, castMethodName, returnBuilder.getRoot()));

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

515 } else {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

516 builder.tree(returnBuilder.getRoot());

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

517 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

518 builder.end();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

519 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

520

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

521 if (!specialization.getExceptions().isEmpty()) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

522 for (SpecializationThrowsData exception : specialization.getExceptions()) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

523 builder.end().startCatchBlock(exception.getJavaClass(), "ex");

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

524 builder.tree(createDeoptimize(builder));

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

525 builder.tree(createCallRewriteMonomorphic(parent, executable.hasUnexpectedValue(context), executable.getType(), specialization, null,

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

526 "Thrown " + ElementUtils.getSimpleName(exception.getJavaClass())));

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

527 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

528 builder.end();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

529 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

530 if (!specialization.getAssumptions().isEmpty()) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

531 builder.end().startCatchBlock(getContext().getTruffleTypes().getInvalidAssumption(), "ex");

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

532 builder.tree(createCallRewriteMonomorphic(parent, executable.hasUnexpectedValue(context), executable.getType(), specialization, null, "Assumption failed"));

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

533 builder.end();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

534 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

535

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

536 return builder.getRoot();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

537 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

538

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

539 private CodeExecutableElement createCopyConstructorFactoryMethod(TypeMirror baseType, SpecializationData specialization) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

540 List<Parameter> implicitTypeParams = getImplicitTypeParameters(specialization);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

541 String baseName = "current";

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

542 CodeExecutableElement method = new CodeExecutableElement(modifiers(STATIC), specialization.getNode().getNodeType(), NodeFactoryFactory.FACTORY_METHOD_NAME);

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

543 method.addParameter(new CodeVariableElement(specialization.getNode().getNodeType(), baseName));

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

544 for (Parameter implicitTypeParam : implicitTypeParams) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

545 method.addParameter(new CodeVariableElement(getContext().getType(Class.class), implicitTypeName(implicitTypeParam)));

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

546 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

547 CodeTreeBuilder builder = method.createBuilder();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

548 builder.startReturn();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

549 builder.startNew(getElement().asType());

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

550 builder.startGroup().cast(baseType, CodeTreeBuilder.singleString(baseName)).end();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

551 for (Parameter param : implicitTypeParams) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

552 builder.string(implicitTypeName(param));

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

553 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

554 builder.end().end();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

555 return method;

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

556 }

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

557

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

558 private CodeExecutableElement createConstructorFactoryMethod(SpecializationData specialization, ExecutableElement constructor) {

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

559 List<? extends VariableElement> parameters = constructor.getParameters();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

560 CodeExecutableElement method = new CodeExecutableElement(modifiers(STATIC), specialization.getNode().getNodeType(), NodeFactoryFactory.FACTORY_METHOD_NAME,

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

561 parameters.toArray(new CodeVariableElement[parameters.size()]));

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

562 CodeTreeBuilder builder = method.createBuilder();

1acaa69ff61b Truffle-DSL: refactor generator classes

Christian Humer <christian.humer@gmail.com>