Mercurial > hg > truffle

annotate graal/com.oracle.graal.truffle/src/com/oracle/graal/truffle/OptimizedCallTarget.java @ 12529:23dc5dfdb9c7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add OptimizedCallTarget.call(PackedFrame, Arguments) frame prologue injection
author Matthias Grimmer <grimmer@ssw.jku.at>
date Tue, 22 Oct 2013 13:25:37 +0200
parents 1a4dc163cd0a
children 7d5c3ffbee64
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
10484
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
1 /*
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
2 * Copyright (c) 2013, Oracle and/or its affiliates. All rights reserved.
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
4 *
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
7 * published by the Free Software Foundation.
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
8 *
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
13 * accompanied this code).
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
14 *
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
18 *
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
20 * or visit www.oracle.com if you need additional information or have any
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
21 * questions.
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
22 */
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
23 package com.oracle.graal.truffle;
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
24
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
25 import static com.oracle.graal.truffle.TruffleCompilerOptions.*;
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
26
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
27 import java.io.*;
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
28 import java.util.*;
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
29
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
30 import com.oracle.graal.api.code.*;
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
31 import com.oracle.graal.debug.*;
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
32 import com.oracle.truffle.api.*;
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
33 import com.oracle.truffle.api.frame.*;
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
34 import com.oracle.truffle.api.impl.*;
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
35 import com.oracle.truffle.api.nodes.*;
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
36
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
37 /**
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
38 * Call target that is optimized by Graal upon surpassing a specific invocation threshold.
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
39 */
10862
8c570011b86f Truffle: when a node is replaced, notify optimized call target and delay compilation.
Andreas Woess <andreas.woess@jku.at>
parents: 10858
diff changeset
40 public final class OptimizedCallTarget extends DefaultCallTarget implements FrameFactory, LoopCountReceiver, ReplaceObserver {
10484
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
41
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
42 private static final PrintStream OUT = TTY.out().out();
10752
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
43 private static final int MIN_INVOKES_AFTER_INLINING = 2;
10484
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
44
11643
2bd626188d31 Introduce TruffleMinInvokeThreshold flag.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 10886
diff changeset
45 protected OptimizedCallTarget(RootNode rootNode, FrameDescriptor descriptor, TruffleCompiler compiler, int invokeCounter, int compilationThreshold) {
10484
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
46 super(rootNode, descriptor);
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
47 this.compiler = compiler;
12478
b4b7d39cdf73 Truffle: Update for the CompilationPolicy
Christian Wirth <christian.wirth@oracle.com>
parents: 12405
diff changeset
48 this.compilationPolicy = new CompilationPolicy(compilationThreshold, invokeCounter, rootNode.toString());
10484
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
49 this.rootNode.setCallTarget(this);
10752
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
50
10844
3cf5f371dc9f Truffle: print inlined call target and rename profiling option.
Andreas Woess <andreas.woess@jku.at>
parents: 10797
diff changeset
51 if (TruffleCallTargetProfiling.getValue()) {
10752
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
52 registerCallTarget(this);
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
53 }
10484
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
54 }
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
55
12488
1a4dc163cd0a abstracted HotSpotGraalRuntime as a RuntimeProvider which removes the recent selector addition to the Graal capabilities API and also makes Truffle independent of the graal.hotspot project (GRAAL-363)
Doug Simon <doug.simon@oracle.com>
parents: 12478
diff changeset
56 private InstalledCode compiledMethod;
10484
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
57 private final TruffleCompiler compiler;
11722
ff05c78a7f64 use time passed to decide what methods to compile or inline
Christian Wirth <christian.wirth@oracle.com>
parents: 11685
diff changeset
58 private final CompilationPolicy compilationPolicy;
10862
8c570011b86f Truffle: when a node is replaced, notify optimized call target and delay compilation.
Andreas Woess <andreas.woess@jku.at>
parents: 10858
diff changeset
59
10484
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
60 private boolean disableCompilation;
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
61
10752
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
62 private int callCount;
10858
f2008a93ad54 Truffle: add invalidation count to call target profiling / trace compilation.
Andreas Woess <andreas.woess@jku.at>
parents: 10857
diff changeset
63 private int invalidationCount;
10862
8c570011b86f Truffle: when a node is replaced, notify optimized call target and delay compilation.
Andreas Woess <andreas.woess@jku.at>
parents: 10858
diff changeset
64 private int replaceCount;
10484
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
65 long timeCompilationStarted;
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
66 long timePartialEvaluationFinished;
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
67 long timeCompilationFinished;
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
68 int codeSize;
10488
77016aeda39a TraceTruffleCompilation: output truffle and graal node counts
Andreas Woess <andreas.woess@jku.at>
parents: 10484
diff changeset
69 int nodeCountPartialEval;
77016aeda39a TraceTruffleCompilation: output truffle and graal node counts
Andreas Woess <andreas.woess@jku.at>
parents: 10484
diff changeset
70 int nodeCountLowered;
10484
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
71
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
72 @Override
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
73 public Object call(PackedFrame caller, Arguments args) {
11685
7a987d8147c2 Do not inline into OptimizedCallTarget.call.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 11643
diff changeset
74 return callHelper(caller, args);
7a987d8147c2 Do not inline into OptimizedCallTarget.call.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 11643
diff changeset
75 }
7a987d8147c2 Do not inline into OptimizedCallTarget.call.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 11643
diff changeset
76
7a987d8147c2 Do not inline into OptimizedCallTarget.call.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 11643
diff changeset
77 private Object callHelper(PackedFrame caller, Arguments args) {
12529
23dc5dfdb9c7 Add OptimizedCallTarget.call(PackedFrame, Arguments) frame prologue injection
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 12488
diff changeset
78 if (compiledMethod != null && compiledMethod.isValid()) {
23dc5dfdb9c7 Add OptimizedCallTarget.call(PackedFrame, Arguments) frame prologue injection
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 12488
diff changeset
79 TruffleRuntime runtime = Truffle.getRuntime();
23dc5dfdb9c7 Add OptimizedCallTarget.call(PackedFrame, Arguments) frame prologue injection
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 12488
diff changeset
80 if (runtime instanceof GraalTruffleRuntime) {
23dc5dfdb9c7 Add OptimizedCallTarget.call(PackedFrame, Arguments) frame prologue injection
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 12488
diff changeset
81 OUT.printf("[truffle] reinstall OptimizedCallTarget.call code with frame prolog shortcut.");
23dc5dfdb9c7 Add OptimizedCallTarget.call(PackedFrame, Arguments) frame prologue injection
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 12488
diff changeset
82 OUT.println();
23dc5dfdb9c7 Add OptimizedCallTarget.call(PackedFrame, Arguments) frame prologue injection
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 12488
diff changeset
83 ((GraalTruffleRuntime) runtime).installOptimizedCallTargetCallMethod();
23dc5dfdb9c7 Add OptimizedCallTarget.call(PackedFrame, Arguments) frame prologue injection
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 12488
diff changeset
84 }
23dc5dfdb9c7 Add OptimizedCallTarget.call(PackedFrame, Arguments) frame prologue injection
Matthias Grimmer <grimmer@ssw.jku.at>
parents: 12488
diff changeset
85 }
10844
3cf5f371dc9f Truffle: print inlined call target and rename profiling option.
Andreas Woess <andreas.woess@jku.at>
parents: 10797
diff changeset
86 if (TruffleCallTargetProfiling.getValue()) {
10752
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
87 callCount++;
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
88 }
10659
63083745d390 Clean up OptimizedCallTarget and HotSpotNmethod.execute.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 10654
diff changeset
89 if (CompilerDirectives.injectBranchProbability(CompilerDirectives.FASTPATH_PROBABILITY, compiledMethod != null)) {
10654
d71c56c67921 Improve performance of calling Truffle call targets.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 10643
diff changeset
90 try {
d71c56c67921 Improve performance of calling Truffle call targets.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 10643
diff changeset
91 return compiledMethod.execute(this, caller, args);
d71c56c67921 Improve performance of calling Truffle call targets.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 10643
diff changeset
92 } catch (InvalidInstalledCodeException ex) {
10659
63083745d390 Clean up OptimizedCallTarget and HotSpotNmethod.execute.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 10654
diff changeset
93 return compiledCodeInvalidated(caller, args);
10654
d71c56c67921 Improve performance of calling Truffle call targets.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 10643
diff changeset
94 }
d71c56c67921 Improve performance of calling Truffle call targets.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 10643
diff changeset
95 } else {
d71c56c67921 Improve performance of calling Truffle call targets.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 10643
diff changeset
96 return interpreterCall(caller, args);
d71c56c67921 Improve performance of calling Truffle call targets.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 10643
diff changeset
97 }
d71c56c67921 Improve performance of calling Truffle call targets.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 10643
diff changeset
98 }
d71c56c67921 Improve performance of calling Truffle call targets.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 10643
diff changeset
99
10752
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
100 private Object compiledCodeInvalidated(PackedFrame caller, Arguments args) {
10857
94cf5df0727f Backout changeset 4c12d3756015; ensure compiledCodeInvalidated() is never inlined.
Andreas Woess <andreas.woess@jku.at>
parents: 10844
diff changeset
101 CompilerAsserts.neverPartOfCompilation();
10659
63083745d390 Clean up OptimizedCallTarget and HotSpotNmethod.execute.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 10654
diff changeset
102 compiledMethod = null;
10858
f2008a93ad54 Truffle: add invalidation count to call target profiling / trace compilation.
Andreas Woess <andreas.woess@jku.at>
parents: 10857
diff changeset
103 invalidationCount++;
11722
ff05c78a7f64 use time passed to decide what methods to compile or inline
Christian Wirth <christian.wirth@oracle.com>
parents: 11685
diff changeset
104 compilationPolicy.compilationInvalidated();
10659
63083745d390 Clean up OptimizedCallTarget and HotSpotNmethod.execute.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 10654
diff changeset
105 if (TraceTruffleCompilation.getValue()) {
10862
8c570011b86f Truffle: when a node is replaced, notify optimized call target and delay compilation.
Andreas Woess <andreas.woess@jku.at>
parents: 10858
diff changeset
106 OUT.printf("[truffle] invalidated %-48s |Alive %5.0fms |Inv# %d |Replace# %d\n", rootNode, (System.nanoTime() - timeCompilationFinished) / 1e6,
8c570011b86f Truffle: when a node is replaced, notify optimized call target and delay compilation.
Andreas Woess <andreas.woess@jku.at>
parents: 10858
diff changeset
107 invalidationCount, replaceCount);
10659
63083745d390 Clean up OptimizedCallTarget and HotSpotNmethod.execute.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 10654
diff changeset
108 }
63083745d390 Clean up OptimizedCallTarget and HotSpotNmethod.execute.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 10654
diff changeset
109 return call(caller, args);
63083745d390 Clean up OptimizedCallTarget and HotSpotNmethod.execute.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 10654
diff changeset
110 }
63083745d390 Clean up OptimizedCallTarget and HotSpotNmethod.execute.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 10654
diff changeset
111
10654
d71c56c67921 Improve performance of calling Truffle call targets.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 10643
diff changeset
112 private Object interpreterCall(PackedFrame caller, Arguments args) {
10857
94cf5df0727f Backout changeset 4c12d3756015; ensure compiledCodeInvalidated() is never inlined.
Andreas Woess <andreas.woess@jku.at>
parents: 10844
diff changeset
113 CompilerAsserts.neverPartOfCompilation();
11722
ff05c78a7f64 use time passed to decide what methods to compile or inline
Christian Wirth <christian.wirth@oracle.com>
parents: 11685
diff changeset
114 compilationPolicy.countInterpreterCall();
ff05c78a7f64 use time passed to decide what methods to compile or inline
Christian Wirth <christian.wirth@oracle.com>
parents: 11685
diff changeset
115 if (disableCompilation || !compilationPolicy.compileOrInline()) {
10654
d71c56c67921 Improve performance of calling Truffle call targets.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 10643
diff changeset
116 return executeHelper(caller, args);
d71c56c67921 Improve performance of calling Truffle call targets.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 10643
diff changeset
117 } else {
10862
8c570011b86f Truffle: when a node is replaced, notify optimized call target and delay compilation.
Andreas Woess <andreas.woess@jku.at>
parents: 10858
diff changeset
118 compileOrInline();
10654
d71c56c67921 Improve performance of calling Truffle call targets.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 10643
diff changeset
119 return call(caller, args);
10484
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
120 }
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
121 }
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
122
10862
8c570011b86f Truffle: when a node is replaced, notify optimized call target and delay compilation.
Andreas Woess <andreas.woess@jku.at>
parents: 10858
diff changeset
123 private void compileOrInline() {
8c570011b86f Truffle: when a node is replaced, notify optimized call target and delay compilation.
Andreas Woess <andreas.woess@jku.at>
parents: 10858
diff changeset
124 if (TruffleFunctionInlining.getValue() && inline()) {
11722
ff05c78a7f64 use time passed to decide what methods to compile or inline
Christian Wirth <christian.wirth@oracle.com>
parents: 11685
diff changeset
125 compilationPolicy.inlined(MIN_INVOKES_AFTER_INLINING);
10862
8c570011b86f Truffle: when a node is replaced, notify optimized call target and delay compilation.
Andreas Woess <andreas.woess@jku.at>
parents: 10858
diff changeset
126 } else {
8c570011b86f Truffle: when a node is replaced, notify optimized call target and delay compilation.
Andreas Woess <andreas.woess@jku.at>
parents: 10858
diff changeset
127 compile();
8c570011b86f Truffle: when a node is replaced, notify optimized call target and delay compilation.
Andreas Woess <andreas.woess@jku.at>
parents: 10858
diff changeset
128 }
8c570011b86f Truffle: when a node is replaced, notify optimized call target and delay compilation.
Andreas Woess <andreas.woess@jku.at>
parents: 10858
diff changeset
129 }
8c570011b86f Truffle: when a node is replaced, notify optimized call target and delay compilation.
Andreas Woess <andreas.woess@jku.at>
parents: 10858
diff changeset
130
10484
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
131 public boolean inline() {
10752
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
132 CompilerAsserts.neverPartOfCompilation();
10484
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
133 return new InliningHelper(this).inline();
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
134 }
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
135
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
136 public void compile() {
10752
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
137 CompilerAsserts.neverPartOfCompilation();
10484
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
138 try {
12488
1a4dc163cd0a abstracted HotSpotGraalRuntime as a RuntimeProvider which removes the recent selector addition to the Graal capabilities API and also makes Truffle independent of the graal.hotspot project (GRAAL-363)
Doug Simon <doug.simon@oracle.com>
parents: 12478
diff changeset
139 compiledMethod = compiler.compile(this);
10484
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
140 if (compiledMethod == null) {
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
141 throw new BailoutException(String.format("code installation failed (codeSize=%s)", codeSize));
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
142 } else {
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
143 if (TraceTruffleCompilation.getValue()) {
10705
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
144 int nodeCountTruffle = NodeUtil.countNodes(rootNode);
10488
77016aeda39a TraceTruffleCompilation: output truffle and graal node counts
Andreas Woess <andreas.woess@jku.at>
parents: 10484
diff changeset
145 OUT.printf("[truffle] optimized %-50s |Nodes %7d |Time %5.0f(%4.0f+%-4.0f)ms |Nodes %5d/%5d |CodeSize %d\n", rootNode, nodeCountTruffle,
77016aeda39a TraceTruffleCompilation: output truffle and graal node counts
Andreas Woess <andreas.woess@jku.at>
parents: 10484
diff changeset
146 (timeCompilationFinished - timeCompilationStarted) / 1e6, (timePartialEvaluationFinished - timeCompilationStarted) / 1e6,
77016aeda39a TraceTruffleCompilation: output truffle and graal node counts
Andreas Woess <andreas.woess@jku.at>
parents: 10484
diff changeset
147 (timeCompilationFinished - timePartialEvaluationFinished) / 1e6, nodeCountPartialEval, nodeCountLowered, codeSize);
10484
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
148 }
10844
3cf5f371dc9f Truffle: print inlined call target and rename profiling option.
Andreas Woess <andreas.woess@jku.at>
parents: 10797
diff changeset
149 if (TruffleCallTargetProfiling.getValue()) {
10752
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
150 resetProfiling();
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
151 }
10484
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
152 }
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
153 } catch (Throwable e) {
10489
175a4900c230 OptimizedCallTarget: always disable compilation on exception; cleanup
Andreas Woess <andreas.woess@jku.at>
parents: 10488
diff changeset
154 disableCompilation = true;
10484
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
155 if (TraceTruffleCompilation.getValue()) {
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
156 if (e instanceof BailoutException) {
10489
175a4900c230 OptimizedCallTarget: always disable compilation on exception; cleanup
Andreas Woess <andreas.woess@jku.at>
parents: 10488
diff changeset
157 OUT.printf("[truffle] opt bailout %-48s %s\n", rootNode, e.getMessage());
10484
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
158 } else {
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
159 OUT.printf("[truffle] opt failed %-49s %s\n", rootNode, e.toString());
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
160 if (TraceTruffleCompilationExceptions.getValue()) {
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
161 e.printStackTrace(OUT);
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
162 }
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
163 if (TruffleCompilationExceptionsAreFatal.getValue()) {
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
164 System.exit(-1);
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
165 }
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
166 }
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
167 }
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
168 }
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
169 }
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
170
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
171 public Object executeHelper(PackedFrame caller, Arguments args) {
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
172 VirtualFrame frame = createFrame(frameDescriptor, caller, args);
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
173 return rootNode.execute(frame);
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
174 }
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
175
11934
dca16d6f9d65 TruffleRuntime.createVirtualFrame.
Chris Seaton <chris.seaton@oracle.com>
parents: 11722
diff changeset
176 protected static FrameWithoutBoxing createFrame(FrameDescriptor descriptor, PackedFrame caller, Arguments args) {
10484
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
177 return new FrameWithoutBoxing(descriptor, caller, args);
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
178 }
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
179
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
180 @Override
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
181 public VirtualFrame create(FrameDescriptor descriptor, PackedFrame caller, Arguments args) {
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
182 return createFrame(descriptor, caller, args);
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
183 }
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
184
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
185 @Override
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
186 public void reportLoopCount(int count) {
11722
ff05c78a7f64 use time passed to decide what methods to compile or inline
Christian Wirth <christian.wirth@oracle.com>
parents: 11685
diff changeset
187 compilationPolicy.reportLoopCount(count);
10484
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
188 }
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
189
10862
8c570011b86f Truffle: when a node is replaced, notify optimized call target and delay compilation.
Andreas Woess <andreas.woess@jku.at>
parents: 10858
diff changeset
190 @Override
8c570011b86f Truffle: when a node is replaced, notify optimized call target and delay compilation.
Andreas Woess <andreas.woess@jku.at>
parents: 10858
diff changeset
191 public void nodeReplaced() {
8c570011b86f Truffle: when a node is replaced, notify optimized call target and delay compilation.
Andreas Woess <andreas.woess@jku.at>
parents: 10858
diff changeset
192 replaceCount++;
12405
139b84d713bc Truffle API adjustments: Simplify frame handling. Introduce cast for MaterializedFrame objects.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 11934
diff changeset
193 if (compiledMethod != null) {
139b84d713bc Truffle API adjustments: Simplify frame handling. Introduce cast for MaterializedFrame objects.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 11934
diff changeset
194 if (compiledMethod.isValid()) {
139b84d713bc Truffle API adjustments: Simplify frame handling. Introduce cast for MaterializedFrame objects.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 11934
diff changeset
195 compiledMethod.invalidate();
139b84d713bc Truffle API adjustments: Simplify frame handling. Introduce cast for MaterializedFrame objects.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 11934
diff changeset
196 }
139b84d713bc Truffle API adjustments: Simplify frame handling. Introduce cast for MaterializedFrame objects.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 11934
diff changeset
197 compiledMethod = null;
139b84d713bc Truffle API adjustments: Simplify frame handling. Introduce cast for MaterializedFrame objects.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 11934
diff changeset
198 }
11722
ff05c78a7f64 use time passed to decide what methods to compile or inline
Christian Wirth <christian.wirth@oracle.com>
parents: 11685
diff changeset
199 compilationPolicy.nodeReplaced();
10862
8c570011b86f Truffle: when a node is replaced, notify optimized call target and delay compilation.
Andreas Woess <andreas.woess@jku.at>
parents: 10858
diff changeset
200 }
8c570011b86f Truffle: when a node is replaced, notify optimized call target and delay compilation.
Andreas Woess <andreas.woess@jku.at>
parents: 10858
diff changeset
201
10488
77016aeda39a TraceTruffleCompilation: output truffle and graal node counts
Andreas Woess <andreas.woess@jku.at>
parents: 10484
diff changeset
202 private static class InliningHelper {
10484
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
203
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
204 private final OptimizedCallTarget target;
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
205
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
206 public InliningHelper(OptimizedCallTarget target) {
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
207 this.target = target;
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
208 }
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
209
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
210 public boolean inline() {
10705
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
211 final InliningPolicy policy = new InliningPolicy(target);
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
212 if (!policy.continueInlining()) {
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
213 if (TraceTruffleInliningDetails.getValue()) {
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
214 List<InlinableCallSiteInfo> inlinableCallSites = getInlinableCallSites(target);
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
215 if (!inlinableCallSites.isEmpty()) {
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
216 OUT.printf("[truffle] inlining hit caller size limit (%3d >= %3d).%3d remaining call sites in %s:\n", policy.callerNodeCount, TruffleInliningMaxCallerSize.getValue(),
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
217 inlinableCallSites.size(), target.getRootNode());
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
218 policy.sortByRelevance(inlinableCallSites);
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
219 printCallSiteInfo(policy, inlinableCallSites, "");
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
220 }
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
221 }
10484
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
222 return false;
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
223 }
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
224
10705
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
225 List<InlinableCallSiteInfo> inlinableCallSites = getInlinableCallSites(target);
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
226 if (inlinableCallSites.isEmpty()) {
10484
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
227 return false;
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
228 }
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
229
10705
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
230 policy.sortByRelevance(inlinableCallSites);
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
231
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
232 boolean inlined = false;
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
233 for (InlinableCallSiteInfo inlinableCallSite : inlinableCallSites) {
10751
7b5d7c42598b Truffle: change sorting of inlinable call sites
Andreas Woess <andreas.woess@jku.at>
parents: 10705
diff changeset
234 if (!policy.isWorthInlining(inlinableCallSite)) {
7b5d7c42598b Truffle: change sorting of inlinable call sites
Andreas Woess <andreas.woess@jku.at>
parents: 10705
diff changeset
235 break;
7b5d7c42598b Truffle: change sorting of inlinable call sites
Andreas Woess <andreas.woess@jku.at>
parents: 10705
diff changeset
236 }
7b5d7c42598b Truffle: change sorting of inlinable call sites
Andreas Woess <andreas.woess@jku.at>
parents: 10705
diff changeset
237 if (inlinableCallSite.getCallSite().inline(target)) {
10705
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
238 if (TraceTruffleInlining.getValue()) {
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
239 printCallSiteInfo(policy, inlinableCallSite, "inlined");
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
240 }
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
241 inlined = true;
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
242 break;
10484
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
243 }
10705
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
244 }
10484
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
245
10705
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
246 if (inlined) {
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
247 for (InlinableCallSiteInfo callSite : inlinableCallSites) {
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
248 callSite.getCallSite().resetCallCount();
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
249 }
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
250 } else {
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
251 if (TraceTruffleInliningDetails.getValue()) {
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
252 OUT.printf("[truffle] inlining stopped.%3d remaining call sites in %s:\n", inlinableCallSites.size(), target.getRootNode());
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
253 printCallSiteInfo(policy, inlinableCallSites, "");
10484
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
254 }
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
255 }
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
256
10705
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
257 return inlined;
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
258 }
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
259
10844
3cf5f371dc9f Truffle: print inlined call target and rename profiling option.
Andreas Woess <andreas.woess@jku.at>
parents: 10797
diff changeset
260 private static void printCallSiteInfo(InliningPolicy policy, List<InlinableCallSiteInfo> inlinableCallSites, String msg) {
10705
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
261 for (InlinableCallSiteInfo candidate : inlinableCallSites) {
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
262 printCallSiteInfo(policy, candidate, msg);
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
263 }
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
264 }
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
265
10844
3cf5f371dc9f Truffle: print inlined call target and rename profiling option.
Andreas Woess <andreas.woess@jku.at>
parents: 10797
diff changeset
266 private static void printCallSiteInfo(InliningPolicy policy, InlinableCallSiteInfo callSite, String msg) {
10705
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
267 String calls = String.format("%4s/%4s", callSite.getCallCount(), policy.callerInvocationCount);
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
268 String nodes = String.format("%3s/%3s", callSite.getInlineNodeCount(), policy.callerNodeCount);
10844
3cf5f371dc9f Truffle: print inlined call target and rename profiling option.
Andreas Woess <andreas.woess@jku.at>
parents: 10797
diff changeset
269 OUT.printf("[truffle] %-9s %-50s |Nodes %6s |Calls %6s %7.3f |%s\n", msg, callSite.getCallSite(), nodes, calls, policy.metric(callSite), callSite.getCallSite().getCallTarget());
10705
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
270 }
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
271
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
272 private static final class InliningPolicy {
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
273
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
274 private final int callerNodeCount;
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
275 private final int callerInvocationCount;
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
276
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
277 public InliningPolicy(OptimizedCallTarget caller) {
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
278 this.callerNodeCount = NodeUtil.countNodes(caller.getRootNode());
11722
ff05c78a7f64 use time passed to decide what methods to compile or inline
Christian Wirth <christian.wirth@oracle.com>
parents: 11685
diff changeset
279 this.callerInvocationCount = caller.compilationPolicy.getOriginalInvokeCounter();
10705
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
280 }
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
281
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
282 public boolean continueInlining() {
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
283 return callerNodeCount < TruffleInliningMaxCallerSize.getValue();
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
284 }
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
285
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
286 public boolean isWorthInlining(InlinableCallSiteInfo callSite) {
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
287 return callSite.getInlineNodeCount() <= TruffleInliningMaxCalleeSize.getValue() && callSite.getInlineNodeCount() + callerNodeCount <= TruffleInliningMaxCallerSize.getValue() &&
10797
bb3cfaa7897c Truffle: try out a new inlining policy
Andreas Woess <andreas.woess@jku.at>
parents: 10795
diff changeset
288 callSite.getCallCount() > 0 && callSite.getRecursiveDepth() < TruffleInliningMaxRecursiveDepth.getValue() &&
bb3cfaa7897c Truffle: try out a new inlining policy
Andreas Woess <andreas.woess@jku.at>
parents: 10795
diff changeset
289 (frequency(callSite) >= TruffleInliningMinFrequency.getValue() || callSite.getInlineNodeCount() <= TruffleInliningTrivialSize.getValue());
10705
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
290 }
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
291
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
292 public double metric(InlinableCallSiteInfo callSite) {
10797
bb3cfaa7897c Truffle: try out a new inlining policy
Andreas Woess <andreas.woess@jku.at>
parents: 10795
diff changeset
293 double cost = callSite.getInlineNodeCount();
bb3cfaa7897c Truffle: try out a new inlining policy
Andreas Woess <andreas.woess@jku.at>
parents: 10795
diff changeset
294 double metric = frequency(callSite) / cost;
10705
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
295 return metric;
10484
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
296 }
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
297
10797
bb3cfaa7897c Truffle: try out a new inlining policy
Andreas Woess <andreas.woess@jku.at>
parents: 10795
diff changeset
298 private double frequency(InlinableCallSiteInfo callSite) {
bb3cfaa7897c Truffle: try out a new inlining policy
Andreas Woess <andreas.woess@jku.at>
parents: 10795
diff changeset
299 return (double) callSite.getCallCount() / (double) callerInvocationCount;
bb3cfaa7897c Truffle: try out a new inlining policy
Andreas Woess <andreas.woess@jku.at>
parents: 10795
diff changeset
300 }
bb3cfaa7897c Truffle: try out a new inlining policy
Andreas Woess <andreas.woess@jku.at>
parents: 10795
diff changeset
301
10705
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
302 public void sortByRelevance(List<InlinableCallSiteInfo> inlinableCallSites) {
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
303 Collections.sort(inlinableCallSites, new Comparator<InlinableCallSiteInfo>() {
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
304
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
305 @Override
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
306 public int compare(InlinableCallSiteInfo cs1, InlinableCallSiteInfo cs2) {
10751
7b5d7c42598b Truffle: change sorting of inlinable call sites
Andreas Woess <andreas.woess@jku.at>
parents: 10705
diff changeset
307 int result = (isWorthInlining(cs2) ? 1 : 0) - (isWorthInlining(cs1) ? 1 : 0);
7b5d7c42598b Truffle: change sorting of inlinable call sites
Andreas Woess <andreas.woess@jku.at>
parents: 10705
diff changeset
308 if (result == 0) {
7b5d7c42598b Truffle: change sorting of inlinable call sites
Andreas Woess <andreas.woess@jku.at>
parents: 10705
diff changeset
309 return Double.compare(metric(cs2), metric(cs1));
7b5d7c42598b Truffle: change sorting of inlinable call sites
Andreas Woess <andreas.woess@jku.at>
parents: 10705
diff changeset
310 }
7b5d7c42598b Truffle: change sorting of inlinable call sites
Andreas Woess <andreas.woess@jku.at>
parents: 10705
diff changeset
311 return result;
10705
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
312 }
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
313 });
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
314 }
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
315 }
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
316
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
317 private static final class InlinableCallSiteInfo {
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
318
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
319 private final InlinableCallSite callSite;
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
320 private final int callCount;
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
321 private final int nodeCount;
10795
6ac4cac7431f Truffle: detect inlined recursive calls and introduce depth limit
Andreas Woess <andreas.woess@jku.at>
parents: 10794
diff changeset
322 private final int recursiveDepth;
10484
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
323
10705
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
324 public InlinableCallSiteInfo(InlinableCallSite callSite) {
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
325 this.callSite = callSite;
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
326 this.callCount = callSite.getCallCount();
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
327 this.nodeCount = NodeUtil.countNodes(callSite.getInlineTree());
10795
6ac4cac7431f Truffle: detect inlined recursive calls and introduce depth limit
Andreas Woess <andreas.woess@jku.at>
parents: 10794
diff changeset
328 this.recursiveDepth = calculateRecursiveDepth();
6ac4cac7431f Truffle: detect inlined recursive calls and introduce depth limit
Andreas Woess <andreas.woess@jku.at>
parents: 10794
diff changeset
329 }
6ac4cac7431f Truffle: detect inlined recursive calls and introduce depth limit
Andreas Woess <andreas.woess@jku.at>
parents: 10794
diff changeset
330
6ac4cac7431f Truffle: detect inlined recursive calls and introduce depth limit
Andreas Woess <andreas.woess@jku.at>
parents: 10794
diff changeset
331 public int getRecursiveDepth() {
6ac4cac7431f Truffle: detect inlined recursive calls and introduce depth limit
Andreas Woess <andreas.woess@jku.at>
parents: 10794
diff changeset
332 return recursiveDepth;
6ac4cac7431f Truffle: detect inlined recursive calls and introduce depth limit
Andreas Woess <andreas.woess@jku.at>
parents: 10794
diff changeset
333 }
6ac4cac7431f Truffle: detect inlined recursive calls and introduce depth limit
Andreas Woess <andreas.woess@jku.at>
parents: 10794
diff changeset
334
6ac4cac7431f Truffle: detect inlined recursive calls and introduce depth limit
Andreas Woess <andreas.woess@jku.at>
parents: 10794
diff changeset
335 private int calculateRecursiveDepth() {
6ac4cac7431f Truffle: detect inlined recursive calls and introduce depth limit
Andreas Woess <andreas.woess@jku.at>
parents: 10794
diff changeset
336 int depth = 0;
6ac4cac7431f Truffle: detect inlined recursive calls and introduce depth limit
Andreas Woess <andreas.woess@jku.at>
parents: 10794
diff changeset
337 Node parent = ((Node) callSite).getParent();
6ac4cac7431f Truffle: detect inlined recursive calls and introduce depth limit
Andreas Woess <andreas.woess@jku.at>
parents: 10794
diff changeset
338 while (!(parent instanceof RootNode)) {
6ac4cac7431f Truffle: detect inlined recursive calls and introduce depth limit
Andreas Woess <andreas.woess@jku.at>
parents: 10794
diff changeset
339 assert parent != null;
6ac4cac7431f Truffle: detect inlined recursive calls and introduce depth limit
Andreas Woess <andreas.woess@jku.at>
parents: 10794
diff changeset
340 if (parent instanceof InlinedCallSite && ((InlinedCallSite) parent).getCallTarget() == callSite.getCallTarget()) {
6ac4cac7431f Truffle: detect inlined recursive calls and introduce depth limit
Andreas Woess <andreas.woess@jku.at>
parents: 10794
diff changeset
341 depth++;
6ac4cac7431f Truffle: detect inlined recursive calls and introduce depth limit
Andreas Woess <andreas.woess@jku.at>
parents: 10794
diff changeset
342 }
6ac4cac7431f Truffle: detect inlined recursive calls and introduce depth limit
Andreas Woess <andreas.woess@jku.at>
parents: 10794
diff changeset
343 parent = parent.getParent();
6ac4cac7431f Truffle: detect inlined recursive calls and introduce depth limit
Andreas Woess <andreas.woess@jku.at>
parents: 10794
diff changeset
344 }
6ac4cac7431f Truffle: detect inlined recursive calls and introduce depth limit
Andreas Woess <andreas.woess@jku.at>
parents: 10794
diff changeset
345 if (((RootNode) parent).getCallTarget() == callSite.getCallTarget()) {
6ac4cac7431f Truffle: detect inlined recursive calls and introduce depth limit
Andreas Woess <andreas.woess@jku.at>
parents: 10794
diff changeset
346 depth++;
6ac4cac7431f Truffle: detect inlined recursive calls and introduce depth limit
Andreas Woess <andreas.woess@jku.at>
parents: 10794
diff changeset
347 }
6ac4cac7431f Truffle: detect inlined recursive calls and introduce depth limit
Andreas Woess <andreas.woess@jku.at>
parents: 10794
diff changeset
348 return depth;
10705
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
349 }
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
350
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
351 public InlinableCallSite getCallSite() {
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
352 return callSite;
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
353 }
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
354
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
355 public int getCallCount() {
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
356 return callCount;
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
357 }
10484
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
358
10705
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
359 public int getInlineNodeCount() {
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
360 return nodeCount;
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
361 }
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
362 }
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
363
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
364 private static List<InlinableCallSiteInfo> getInlinableCallSites(final DefaultCallTarget target) {
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
365 final ArrayList<InlinableCallSiteInfo> inlinableCallSites = new ArrayList<>();
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
366 target.getRootNode().accept(new NodeVisitor() {
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
367
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
368 @Override
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
369 public boolean visit(Node node) {
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
370 if (node instanceof InlinableCallSite) {
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
371 inlinableCallSites.add(new InlinableCallSiteInfo((InlinableCallSite) node));
10484
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
372 }
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
373 return true;
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
374 }
10705
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
375 });
fd53f9f7007b Truffle: refactor inlining
Andreas Woess <andreas.woess@jku.at>
parents: 10659
diff changeset
376 return inlinableCallSites;
10484
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
377 }
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
378 }
10752
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
379
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
380 private static void resetProfiling() {
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
381 for (OptimizedCallTarget callTarget : OptimizedCallTarget.callTargets.keySet()) {
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
382 callTarget.callCount = 0;
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
383 }
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
384 }
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
385
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
386 private static void printProfiling() {
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
387 List<OptimizedCallTarget> sortedCallTargets = new ArrayList<>(OptimizedCallTarget.callTargets.keySet());
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
388 Collections.sort(sortedCallTargets, new Comparator<OptimizedCallTarget>() {
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
389
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
390 @Override
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
391 public int compare(OptimizedCallTarget o1, OptimizedCallTarget o2) {
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
392 return o2.callCount - o1.callCount;
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
393 }
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
394 });
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
395
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
396 int totalCallCount = 0;
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
397 int totalInlinedCallSiteCount = 0;
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
398 int totalNotInlinedCallSiteCount = 0;
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
399 int totalNodeCount = 0;
10858
f2008a93ad54 Truffle: add invalidation count to call target profiling / trace compilation.
Andreas Woess <andreas.woess@jku.at>
parents: 10857
diff changeset
400 int totalInvalidationCount = 0;
10752
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
401
10794
3fe325c3f31c Truffle: add InlinedCallSite interface and an InlinableCallSite method to query the inlined call target
Andreas Woess <andreas.woess@jku.at>
parents: 10752
diff changeset
402 OUT.println();
10858
f2008a93ad54 Truffle: add invalidation count to call target profiling / trace compilation.
Andreas Woess <andreas.woess@jku.at>
parents: 10857
diff changeset
403 OUT.printf("%-50s | %-10s | %s / %s | %s | %s\n", "Call Target", "Call Count", "Calls Sites Inlined", "Not Inlined", "Node Count", "Inv");
10752
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
404 for (OptimizedCallTarget callTarget : sortedCallTargets) {
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
405 if (callTarget.callCount == 0) {
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
406 continue;
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
407 }
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
408
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
409 int notInlinedCallSiteCount = InliningHelper.getInlinableCallSites(callTarget).size();
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
410 int nodeCount = NodeUtil.countNodes(callTarget.rootNode);
10794
3fe325c3f31c Truffle: add InlinedCallSite interface and an InlinableCallSite method to query the inlined call target
Andreas Woess <andreas.woess@jku.at>
parents: 10752
diff changeset
411 int inlinedCallSiteCount = NodeUtil.countNodes(callTarget.rootNode, InlinedCallSite.class);
10752
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
412 String comment = callTarget.compiledMethod == null ? " int" : "";
10858
f2008a93ad54 Truffle: add invalidation count to call target profiling / trace compilation.
Andreas Woess <andreas.woess@jku.at>
parents: 10857
diff changeset
413 comment += callTarget.disableCompilation ? " fail" : "";
f2008a93ad54 Truffle: add invalidation count to call target profiling / trace compilation.
Andreas Woess <andreas.woess@jku.at>
parents: 10857
diff changeset
414 OUT.printf("%-50s | %10d | %15d | %15d | %10d | %3d%s\n", callTarget.getRootNode(), callTarget.callCount, inlinedCallSiteCount, notInlinedCallSiteCount, nodeCount,
f2008a93ad54 Truffle: add invalidation count to call target profiling / trace compilation.
Andreas Woess <andreas.woess@jku.at>
parents: 10857
diff changeset
415 callTarget.invalidationCount, comment);
10752
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
416
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
417 totalCallCount += callTarget.callCount;
10794
3fe325c3f31c Truffle: add InlinedCallSite interface and an InlinableCallSite method to query the inlined call target
Andreas Woess <andreas.woess@jku.at>
parents: 10752
diff changeset
418 totalInlinedCallSiteCount += inlinedCallSiteCount;
10752
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
419 totalNotInlinedCallSiteCount += notInlinedCallSiteCount;
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
420 totalNodeCount += nodeCount;
10858
f2008a93ad54 Truffle: add invalidation count to call target profiling / trace compilation.
Andreas Woess <andreas.woess@jku.at>
parents: 10857
diff changeset
421 totalInvalidationCount += callTarget.invalidationCount;
10752
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
422 }
10858
f2008a93ad54 Truffle: add invalidation count to call target profiling / trace compilation.
Andreas Woess <andreas.woess@jku.at>
parents: 10857
diff changeset
423 OUT.printf("%-50s | %10d | %15d | %15d | %10d | %3d\n", "Total", totalCallCount, totalInlinedCallSiteCount, totalNotInlinedCallSiteCount, totalNodeCount, totalInvalidationCount);
10752
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
424 }
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
425
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
426 private static void registerCallTarget(OptimizedCallTarget callTarget) {
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
427 callTargets.put(callTarget, 0);
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
428 }
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
429
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
430 private static Map<OptimizedCallTarget, Integer> callTargets;
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
431 static {
10844
3cf5f371dc9f Truffle: print inlined call target and rename profiling option.
Andreas Woess <andreas.woess@jku.at>
parents: 10797
diff changeset
432 if (TruffleCallTargetProfiling.getValue()) {
10752
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
433 callTargets = new WeakHashMap<>();
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
434
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
435 Runtime.getRuntime().addShutdownHook(new Thread() {
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
436
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
437 @Override
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
438 public void run() {
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
439 printProfiling();
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
440 }
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
441 });
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
442 }
e2f5ae9afdc5 Truffle: introduce profiling option
Andreas Woess <andreas.woess@jku.at>
parents: 10751
diff changeset
443 }
10484
0097fb11c16f Add basic version of Graal's Truffle runtime.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
444 }