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;
024
025import com.oracle.truffle.api.impl.*;
026
027public class GraalCompilerOptions extends DefaultCompilerOptions {
028
029    private int minTimeThreshold = 0;
030    private int minInliningMaxCallerSize = 0;
031
032    @Override
033    public boolean supportsOption(String name) {
034        switch (name) {
035            case "MinTimeThreshold":
036                return true;
037            case "MinInliningMaxCallerSize":
038                return true;
039            default:
040                return false;
041        }
042    }
043
044    @Override
045    public void setOption(String name, Object value) {
046        switch (name) {
047            case "MinTimeThreshold":
048                minTimeThreshold = getInteger(name, value);
049                break;
050            case "MinInliningMaxCallerSize":
051                minInliningMaxCallerSize = getInteger(name, value);
052                break;
053            default:
054                super.setOption(name, value);
055                break;
056        }
057    }
058
059    private static int getInteger(String name, Object value) {
060        if (value instanceof Integer) {
061            return (int) value;
062        } else {
063            throw new UnsupportedOperationException(String.format("Option %s expected an int value", name));
064        }
065    }
066
067    public int getMinTimeThreshold() {
068        return minTimeThreshold;
069    }
070
071    public int getMinInliningMaxCallerSize() {
072        return minInliningMaxCallerSize;
073    }
074
075}