Mercurial > hg > truffle
view graal/com.oracle.graal.truffle.test/sl/TestInliningRecursive2.sl @ 18985:867058575979
Truffle: Improved support for "probing" AST nodes:
- Node.isSafelyReplacaeableBy(Node) checks in advance if Node.replace(Node) would be unsafe (crash the VM).
- Hoist Probe() from language imlementations into Node; now completely language agnostic.
- Language implementations support probing by implementing Node.isInstrumentable() and Node.createWrapperNode()
- Node.Probe() throws ProbeException (without side effects) if the probe fails.
-- ProbeException contains an instance of ProbeFailure that diagnoses the failure in detail
- Additional measures to prevent instrumentation from being applied to internal InstrumentationNodes.
- Promote ProbeListener to top level interface and add a default implementation
author | Michael Van De Vanter <michael.van.de.vanter@oracle.com> |
---|---|
date | Tue, 27 Jan 2015 20:24:54 -0800 |
parents | 04d6bb76cfb3 |
children | e66a6f8d63e3 |
line wrap: on
line source
/* * Tests that indirect recursions are not inlined. */ function fib(a) { if (a == 2 || a == 1) { return 1; } return call(fib, a-1) + call(fib, a-2) + call(void, 0); } function call(f, a) { return f(a); } function void(a) { return a; } function test() { i = 0; sum = 0; while (i < 100) { sum = sum + fib(7); i = i + 1; } return sum; } function main() { callUntilOptimized(test); assertTrue(isInlined(test, test, fib), "not inlined: test -> fib"); assertTrue(isInlined(test, fib, call), "not inlined: fib -> call"); assertFalse(isInlined(test, call, fib), "inlined: call -> fib"); assertTrue(isInlined(test, call, void), "inlined: call -> void"); }