Mercurial > hg > truffle

annotate graal/com.oracle.truffle.sl/src/com/oracle/truffle/sl/nodes/CallNode.java @ 13338:652f24858aad

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
SL: simplified call nodes. aligned builtin inlining with user function inlining.
author Christian Humer <christian.humer@gmail.com>
date Sun, 15 Dec 2013 23:32:41 +0100
parents 06afa0db90b3
children c2ed2ce2cfe0
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
12752
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
1 /*
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
2 * Copyright (c) 2012, 2012, Oracle and/or its affiliates. All rights reserved.
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
4 *
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
7 * published by the Free Software Foundation.
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
8 *
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
13 * accompanied this code).
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
14 *
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
18 *
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
20 * or visit www.oracle.com if you need additional information or have any
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
21 * questions.
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
22 */
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
23 package com.oracle.truffle.sl.nodes;
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
24
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
25 import com.oracle.truffle.api.*;
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
26 import com.oracle.truffle.api.CompilerDirectives.CompilationFinal;
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
27 import com.oracle.truffle.api.frame.*;
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
28 import com.oracle.truffle.api.impl.*;
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
29 import com.oracle.truffle.api.nodes.*;
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
30 import com.oracle.truffle.sl.runtime.*;
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
31
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
32 public abstract class CallNode extends TypedNode {
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
33
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
34 private static final int INLINE_CACHE_SIZE = 2;
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
35
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
36 @Child protected TypedNode functionNode;
13338
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
37 @Child protected ArgumentsNode argumentsNode;
12752
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
38
13338
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
39 public CallNode(TypedNode functionNode, ArgumentsNode argumentsNode) {
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
40 this.functionNode = adoptChild(functionNode);
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
41 this.argumentsNode = adoptChild(argumentsNode);
12752
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
42 }
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
43
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
44 @Override
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
45 public final Object executeGeneric(VirtualFrame frame) {
13338
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
46 CallTarget function;
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
47 try {
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
48 function = functionNode.executeCallTarget(frame);
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
49 } catch (UnexpectedResultException e) {
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
50 throw new UnsupportedOperationException("Call to " + e.getMessage() + " not supported.");
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
51 }
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
52 Object[] arguments = argumentsNode.executeArray(frame);
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
53 return executeCall(frame, function, arguments);
12752
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
54 }
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
55
13338
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
56 public abstract Object executeCall(VirtualFrame frame, CallTarget function, Object[] arguments);
12752
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
57
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
58 public static CallNode create(TypedNode function, TypedNode[] arguments) {
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
59 return new UninitializedCallNode(function, new ArgumentsNode(arguments), 0);
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
60 }
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
61
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
62 private static final class UninitializedCallNode extends CallNode {
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
63
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
64 protected final int depth;
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
65
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
66 UninitializedCallNode(TypedNode function, ArgumentsNode args, int depth) {
13338
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
67 super(function, args);
12752
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
68 this.depth = depth;
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
69 }
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
70
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
71 UninitializedCallNode(UninitializedCallNode copy) {
13338
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
72 super(null, null);
12752
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
73 this.depth = copy.depth + 1;
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
74 }
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
75
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
76 @Override
13338
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
77 public Object executeCall(VirtualFrame frame, CallTarget function, Object[] arguments) {
12752
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
78 CompilerDirectives.transferToInterpreter();
13338
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
79 return specialize(function).executeCall(frame, function, arguments);
12752
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
80 }
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
81
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
82 private CallNode specialize(CallTarget function) {
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
83 CompilerAsserts.neverPartOfCompilation();
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
84
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
85 if (depth < INLINE_CACHE_SIZE) {
13338
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
86 DefaultCallTarget callTarget = (DefaultCallTarget) function;
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
87 FunctionRootNode root = (FunctionRootNode) callTarget.getRootNode();
12752
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
88 CallNode next = new UninitializedCallNode(this);
13338
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
89 InlinableDirectCallNode directCall = new InlinableDirectCallNode(functionNode, argumentsNode, next, callTarget);
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
90 replace(directCall);
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
91 if (root.isInlineImmediatly()) {
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
92 return directCall.inlineImpl();
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
93 } else {
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
94 return directCall;
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
95 }
12752
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
96 } else {
13338
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
97 CallNode topMost = (CallNode) NodeUtil.getNthParent(this, depth);
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
98 return topMost.replace(new GenericCallNode(topMost.functionNode, topMost.argumentsNode));
12752
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
99 }
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
100 }
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
101
13338
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
102 }
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
103
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
104 private abstract static class DirectCallNode extends CallNode {
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
105
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
106 protected final DefaultCallTarget cachedFunction;
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
107
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
108 @Child protected CallNode nextNode;
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
109
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
110 public DirectCallNode(TypedNode function, ArgumentsNode arguments, DefaultCallTarget cachedFunction, CallNode next) {
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
111 super(function, arguments);
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
112 this.cachedFunction = cachedFunction;
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
113 this.nextNode = adoptChild(next);
12752
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
114 }
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
115
13338
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
116 @Override
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
117 public Object executeCall(VirtualFrame frame, CallTarget function, Object[] arguments) {
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
118 if (this.cachedFunction == function) {
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
119 return executeCurrent(frame, arguments);
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
120 }
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
121 return nextNode.executeCall(frame, function, arguments);
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
122 }
12752
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
123
13338
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
124 protected abstract Object executeCurrent(VirtualFrame frame, Object[] arguments);
12752
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
125
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
126 }
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
127
13338
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
128 private static final class InlinableDirectCallNode extends DirectCallNode implements InlinableCallSite {
12752
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
129
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
130 @CompilationFinal private int callCount;
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
131
13338
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
132 InlinableDirectCallNode(TypedNode function, ArgumentsNode arguments, CallNode next, DefaultCallTarget cachedFunction) {
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
133 super(function, arguments, cachedFunction, next);
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
134 }
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
135
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
136 @Override
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
137 public Object executeCurrent(VirtualFrame frame, Object[] arguments) {
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
138 if (CompilerDirectives.inInterpreter()) {
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
139 callCount++;
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
140 }
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
141 return cachedFunction.call(frame.pack(), new SLArguments(arguments));
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
142 }
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
143
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
144 InlinedDirectCallNode inlineImpl() {
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
145 CompilerAsserts.neverPartOfCompilation();
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
146 RootNode root = cachedFunction.getRootNode();
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
147 TypedNode inlinedNode = ((FunctionRootNode) root).inline();
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
148 assert inlinedNode != null;
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
149 return replace(new InlinedDirectCallNode(this, inlinedNode), "Inlined " + root);
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
150 }
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
151
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
152 @Override
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
153 public boolean inline(FrameFactory factory) {
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
154 inlineImpl();
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
155 /* SL is always able to inline if required. */
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
156 return true;
12752
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
157 }
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
158
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
159 @Override
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
160 public int getCallCount() {
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
161 return callCount;
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
162 }
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
163
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
164 @Override
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
165 public void resetCallCount() {
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
166 callCount = 0;
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
167 }
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
168
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
169 @Override
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
170 public Node getInlineTree() {
13338
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
171 RootNode root = cachedFunction.getRootNode();
12752
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
172 if (root instanceof FunctionRootNode) {
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
173 return ((FunctionRootNode) root).getUninitializedBody();
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
174 }
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
175 return null;
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
176 }
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
177
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
178 @Override
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
179 public CallTarget getCallTarget() {
13338
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
180 return cachedFunction;
12752
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
181 }
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
182
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
183 }
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
184
13338
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
185 private static class InlinedDirectCallNode extends DirectCallNode implements InlinedCallSite {
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
186
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
187 private final FrameDescriptor descriptor;
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
188 @Child private TypedNode inlinedBody;
12752
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
189
13338
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
190 InlinedDirectCallNode(InlinableDirectCallNode prev, TypedNode inlinedBody) {
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
191 super(prev.functionNode, prev.argumentsNode, prev.cachedFunction, prev.nextNode);
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
192 this.descriptor = cachedFunction.getFrameDescriptor();
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
193 this.inlinedBody = adoptChild(inlinedBody);
12752
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
194 }
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
195
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
196 @Override
13338
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
197 public Object executeCurrent(VirtualFrame frame, Object[] arguments) {
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
198 SLArguments slArguments = new SLArguments(arguments);
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
199 VirtualFrame newFrame = Truffle.getRuntime().createVirtualFrame(frame.pack(), slArguments, descriptor);
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
200 return inlinedBody.executeGeneric(newFrame);
12752
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
201 }
13338
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
202
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
203 @Override
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
204 public CallTarget getCallTarget() {
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
205 return cachedFunction;
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
206 }
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
207
12752
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
208 }
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
209
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
210 private static final class GenericCallNode extends CallNode {
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
211
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
212 GenericCallNode(TypedNode functionNode, ArgumentsNode arguments) {
13338
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
213 super(functionNode, arguments);
12752
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
214 }
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
215
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
216 @Override
13338
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
217 public Object executeCall(VirtualFrame frame, CallTarget function, Object[] arguments) {
652f24858aad SL: simplified call nodes. aligned builtin inlining with user function inlining.
Christian Humer <christian.humer@gmail.com>
parents: 13276
diff changeset
218 return function.call(frame.pack(), new SLArguments(arguments));
12752
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
219 }
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
220 }
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
221
71991b7a0f14 SL: Enhanced SimpleLanguage with support for if statements, function calls, function caching + inlining and builtins.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
222 }