001/*
002 * Copyright (c) 2014, Oracle and/or its affiliates. All rights reserved.
003 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
004 *
005 * This code is free software; you can redistribute it and/or modify it
006 * under the terms of the GNU General Public License version 2 only, as
007 * published by the Free Software Foundation.
008 *
009 * This code is distributed in the hope that it will be useful, but WITHOUT
010 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
011 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
012 * version 2 for more details (a copy is included in the LICENSE file that
013 * accompanied this code).
014 *
015 * You should have received a copy of the GNU General Public License version
016 * 2 along with this work; if not, write to the Free Software Foundation,
017 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
018 *
019 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
020 * or visit www.oracle.com if you need additional information or have any
021 * questions.
022 */
023package com.oracle.graal.truffle.test.builtins;
024
025import java.util.concurrent.*;
026
027import com.oracle.truffle.api.*;
028import com.oracle.truffle.api.CompilerDirectives.TruffleBoundary;
029import com.oracle.truffle.api.dsl.*;
030import com.oracle.truffle.api.nodes.*;
031import com.oracle.truffle.sl.runtime.*;
032
033/**
034 * Just used in TestTruffleBoundary01.sl. Verifies that all intrinsics have no effect inside of a @TruffleBoundary
035 * annotated method.
036 */
037@NodeInfo(shortName = "testTruffleBoundary01")
038public abstract class SLTestTruffleBoundary01Builtin extends SLGraalRuntimeBuiltin {
039
040    private static Object nonConstantValue = new Object();
041
042    @Specialization
043    @TruffleBoundary
044    public Object testTruffleBoundary() {
045        CompilerAsserts.neverPartOfCompilation();
046        CompilerAsserts.neverPartOfCompilation("Should never throw an exception when compiling.");
047        CompilerAsserts.compilationConstant(nonConstantValue);
048        CompilerDirectives.transferToInterpreter();
049        CompilerDirectives.transferToInterpreterAndInvalidate();
050        CompilerDirectives.bailout("Should not fail");
051        if (CompilerDirectives.inCompiledCode()) {
052            throw new AssertionError();
053        }
054        if (!CompilerDirectives.inInterpreter()) {
055            throw new AssertionError();
056        }
057        try {
058            int result = (int) CompilerDirectives.interpreterOnly(new Callable<Object>() {
059                public Object call() throws Exception {
060                    return 1;
061                }
062            });
063            if (result != 1) {
064                throw new AssertionError();
065            }
066        } catch (Exception e) {
067            throw new AssertionError();
068        }
069
070        return SLNull.SINGLETON;
071    }
072}