comparison graal/com.oracle.truffle.sl/src/com/oracle/truffle/sl/nodes/ConditionalNode.java @ 7503:31da1716950f

Updated truffle-sl for the changed operation code generation.
author Christian Humer <christian.humer@gmail.com>
date Fri, 18 Jan 2013 13:29:14 +0100
parents
children 5e3d1a68664e
comparison
equal deleted inserted replaced
7502:6343a09b2ec1 7503:31da1716950f
1 /*
2 * Copyright (c) 2012, 2012, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation.
8 *
9 * This code is distributed in the hope that it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
12 * version 2 for more details (a copy is included in the LICENSE file that
13 * accompanied this code).
14 *
15 * You should have received a copy of the GNU General Public License version
16 * 2 along with this work; if not, write to the Free Software Foundation,
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 */
23 package com.oracle.truffle.sl.nodes;
24
25 import java.math.*;
26
27 import com.oracle.truffle.api.codegen.*;
28
29 @SuppressWarnings("unused")
30 @ExecuteChildren({"conditionNode", "ifPartNode", "elsePartNode"})
31 public abstract class ConditionalNode extends TypedNode {
32
33 @Child
34 protected ConditionNode conditionNode;
35
36 @Child
37 protected TypedNode ifPartNode;
38
39 @Child
40 protected TypedNode elsePartNode;
41
42 public ConditionalNode(ConditionNode condition, TypedNode ifPart, TypedNode elsePart) {
43 this.conditionNode = adoptChild(condition);
44 this.ifPartNode = adoptChild(ifPart);
45 this.elsePartNode = adoptChild(elsePart);
46 }
47
48 public ConditionalNode(ConditionalNode condition) {
49 this(condition.conditionNode, condition.ifPartNode, condition.elsePartNode);
50 }
51
52 @ShortCircuit("ifPartNode")
53 public boolean needsIfPart(boolean condition) {
54 return condition;
55 }
56
57 @ShortCircuit("ifPartNode")
58 public boolean needsIfPart(Object condition) {
59 throw new RuntimeException("operation not defined for type " + condition.getClass().getSimpleName());
60 }
61
62 @ShortCircuit("elsePartNode")
63 public boolean needsElsePart(Object condition, boolean hasIfPart, Object ifPart) {
64 return !hasIfPart;
65 }
66
67 @ShortCircuit("elsePartNode")
68 public boolean needsElsePart(boolean condition, boolean hasIfPart, int ifPart) {
69 return !hasIfPart;
70 }
71
72 @ShortCircuit("elsePartNode")
73 public boolean needsElsePart(boolean condition, boolean hasIfPart, BigInteger ifPart) {
74 return !hasIfPart;
75 }
76
77 @Specialization
78 public int doInteger(boolean condition, boolean hasIfPart, int ifPart, boolean hasElsePart, int elsePart) {
79 return hasIfPart ? ifPart : elsePart;
80 }
81
82 @Specialization
83 public BigInteger doBigInteger(boolean condition, boolean hasIfPart, BigInteger ifPart, boolean hasElsePart, BigInteger elsePart) {
84 return hasIfPart ? ifPart : elsePart;
85 }
86
87 @Generic
88 public Object doGeneric(boolean condition, boolean hasIfPart, Object ifPart, boolean hasElsePart, Object elsePart) {
89 return hasIfPart ? ifPart : elsePart;
90 }
91 }