Mercurial > hg > truffle

annotate graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/java/ClassIsAssignableFromNode.java @ 19526:8fc336a04d77

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Create TYPE fields for LIRInstruction and CompositeValue. Renaming NodeClass#get to NodeClass#create.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Fri, 20 Feb 2015 22:22:55 +0100
parents 61d3cb8e1280
children 48c1ebd24120
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
18492
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
1 /*
19341
5eb28dbbeb37 Change Class.isAssignableFrom intrinsic into a snippet
Tom Rodriguez <tom.rodriguez@oracle.com>
parents: 19340
diff changeset
2 * Copyright (c) 2014, 2015, Oracle and/or its affiliates. All rights reserved.
18492
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
4 *
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
7 * published by the Free Software Foundation.
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
8 *
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
13 * accompanied this code).
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
14 *
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
18 *
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
20 * or visit www.oracle.com if you need additional information or have any
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
21 * questions.
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
22 */
19341
5eb28dbbeb37 Change Class.isAssignableFrom intrinsic into a snippet
Tom Rodriguez <tom.rodriguez@oracle.com>
parents: 19340
diff changeset
23 package com.oracle.graal.nodes.java;
18492
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
24
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
25 import com.oracle.graal.api.meta.*;
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
26 import com.oracle.graal.graph.*;
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
27 import com.oracle.graal.graph.spi.*;
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
28 import com.oracle.graal.nodeinfo.*;
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
29 import com.oracle.graal.nodes.*;
19341
5eb28dbbeb37 Change Class.isAssignableFrom intrinsic into a snippet
Tom Rodriguez <tom.rodriguez@oracle.com>
parents: 19340
diff changeset
30 import com.oracle.graal.nodes.spi.*;
18492
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
31
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
32 /**
19341
5eb28dbbeb37 Change Class.isAssignableFrom intrinsic into a snippet
Tom Rodriguez <tom.rodriguez@oracle.com>
parents: 19340
diff changeset
33 * The {@code ClassIsAssignableFromNode} represents a type check against {@link Class} instead of
5eb28dbbeb37 Change Class.isAssignableFrom intrinsic into a snippet
Tom Rodriguez <tom.rodriguez@oracle.com>
parents: 19340
diff changeset
34 * against instances. This is used, for instance, to intrinsify
5eb28dbbeb37 Change Class.isAssignableFrom intrinsic into a snippet
Tom Rodriguez <tom.rodriguez@oracle.com>
parents: 19340
diff changeset
35 * {@link Class#isAssignableFrom(Class)} .
18492
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
36 */
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
37 @NodeInfo
19341
5eb28dbbeb37 Change Class.isAssignableFrom intrinsic into a snippet
Tom Rodriguez <tom.rodriguez@oracle.com>
parents: 19340
diff changeset
38 public final class ClassIsAssignableFromNode extends LogicNode implements Canonicalizable.Binary<ValueNode>, Lowerable {
19396
7e2c87dae93e Create static final NodeClass field named TYPE in Node subclasses.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 19341
diff changeset
39
19526
8fc336a04d77 Create TYPE fields for LIRInstruction and CompositeValue. Renaming NodeClass#get to NodeClass#create.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 19403
diff changeset
40 public static final NodeClass<ClassIsAssignableFromNode> TYPE = NodeClass.create(ClassIsAssignableFromNode.class);
19341
5eb28dbbeb37 Change Class.isAssignableFrom intrinsic into a snippet
Tom Rodriguez <tom.rodriguez@oracle.com>
parents: 19340
diff changeset
41 @Input ValueNode thisClass;
5eb28dbbeb37 Change Class.isAssignableFrom intrinsic into a snippet
Tom Rodriguez <tom.rodriguez@oracle.com>
parents: 19340
diff changeset
42 @Input ValueNode otherClass;
5eb28dbbeb37 Change Class.isAssignableFrom intrinsic into a snippet
Tom Rodriguez <tom.rodriguez@oracle.com>
parents: 19340
diff changeset
43
5eb28dbbeb37 Change Class.isAssignableFrom intrinsic into a snippet
Tom Rodriguez <tom.rodriguez@oracle.com>
parents: 19340
diff changeset
44 public ClassIsAssignableFromNode(ValueNode thisClass, ValueNode otherClass) {
19396
7e2c87dae93e Create static final NodeClass field named TYPE in Node subclasses.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 19341
diff changeset
45 super(TYPE);
19341
5eb28dbbeb37 Change Class.isAssignableFrom intrinsic into a snippet
Tom Rodriguez <tom.rodriguez@oracle.com>
parents: 19340
diff changeset
46 this.thisClass = thisClass;
5eb28dbbeb37 Change Class.isAssignableFrom intrinsic into a snippet
Tom Rodriguez <tom.rodriguez@oracle.com>
parents: 19340
diff changeset
47 this.otherClass = otherClass;
18492
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
48 }
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
49
19341
5eb28dbbeb37 Change Class.isAssignableFrom intrinsic into a snippet
Tom Rodriguez <tom.rodriguez@oracle.com>
parents: 19340
diff changeset
50 public Object getThisClass() {
5eb28dbbeb37 Change Class.isAssignableFrom intrinsic into a snippet
Tom Rodriguez <tom.rodriguez@oracle.com>
parents: 19340
diff changeset
51 return thisClass;
18492
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
52 }
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
53
19341
5eb28dbbeb37 Change Class.isAssignableFrom intrinsic into a snippet
Tom Rodriguez <tom.rodriguez@oracle.com>
parents: 19340
diff changeset
54 public Object getOtherClass() {
5eb28dbbeb37 Change Class.isAssignableFrom intrinsic into a snippet
Tom Rodriguez <tom.rodriguez@oracle.com>
parents: 19340
diff changeset
55 return otherClass;
18492
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
56 }
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
57
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
58 @Override
19341
5eb28dbbeb37 Change Class.isAssignableFrom intrinsic into a snippet
Tom Rodriguez <tom.rodriguez@oracle.com>
parents: 19340
diff changeset
59 public ValueNode getX() {
5eb28dbbeb37 Change Class.isAssignableFrom intrinsic into a snippet
Tom Rodriguez <tom.rodriguez@oracle.com>
parents: 19340
diff changeset
60 return thisClass;
5eb28dbbeb37 Change Class.isAssignableFrom intrinsic into a snippet
Tom Rodriguez <tom.rodriguez@oracle.com>
parents: 19340
diff changeset
61 }
5eb28dbbeb37 Change Class.isAssignableFrom intrinsic into a snippet
Tom Rodriguez <tom.rodriguez@oracle.com>
parents: 19340
diff changeset
62
5eb28dbbeb37 Change Class.isAssignableFrom intrinsic into a snippet
Tom Rodriguez <tom.rodriguez@oracle.com>
parents: 19340
diff changeset
63 @Override
5eb28dbbeb37 Change Class.isAssignableFrom intrinsic into a snippet
Tom Rodriguez <tom.rodriguez@oracle.com>
parents: 19340
diff changeset
64 public ValueNode getY() {
5eb28dbbeb37 Change Class.isAssignableFrom intrinsic into a snippet
Tom Rodriguez <tom.rodriguez@oracle.com>
parents: 19340
diff changeset
65 return otherClass;
5eb28dbbeb37 Change Class.isAssignableFrom intrinsic into a snippet
Tom Rodriguez <tom.rodriguez@oracle.com>
parents: 19340
diff changeset
66 }
5eb28dbbeb37 Change Class.isAssignableFrom intrinsic into a snippet
Tom Rodriguez <tom.rodriguez@oracle.com>
parents: 19340
diff changeset
67
5eb28dbbeb37 Change Class.isAssignableFrom intrinsic into a snippet
Tom Rodriguez <tom.rodriguez@oracle.com>
parents: 19340
diff changeset
68 @Override
5eb28dbbeb37 Change Class.isAssignableFrom intrinsic into a snippet
Tom Rodriguez <tom.rodriguez@oracle.com>
parents: 19340
diff changeset
69 public Node canonical(CanonicalizerTool tool, ValueNode forX, ValueNode forY) {
5eb28dbbeb37 Change Class.isAssignableFrom intrinsic into a snippet
Tom Rodriguez <tom.rodriguez@oracle.com>
parents: 19340
diff changeset
70 if (forX.isConstant() && forY.isConstant()) {
18492
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
71 ConstantReflectionProvider constantReflection = tool.getConstantReflection();
19341
5eb28dbbeb37 Change Class.isAssignableFrom intrinsic into a snippet
Tom Rodriguez <tom.rodriguez@oracle.com>
parents: 19340
diff changeset
72 ResolvedJavaType thisType = constantReflection.asJavaType(forX.asJavaConstant());
5eb28dbbeb37 Change Class.isAssignableFrom intrinsic into a snippet
Tom Rodriguez <tom.rodriguez@oracle.com>
parents: 19340
diff changeset
73 ResolvedJavaType otherType = constantReflection.asJavaType(forY.asJavaConstant());
18492
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
74 if (thisType != null && otherType != null) {
19341
5eb28dbbeb37 Change Class.isAssignableFrom intrinsic into a snippet
Tom Rodriguez <tom.rodriguez@oracle.com>
parents: 19340
diff changeset
75 return LogicConstantNode.forBoolean(thisType.isAssignableFrom(otherType));
18492
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
76 }
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
77 }
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
78 return this;
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
79 }
19341
5eb28dbbeb37 Change Class.isAssignableFrom intrinsic into a snippet
Tom Rodriguez <tom.rodriguez@oracle.com>
parents: 19340
diff changeset
80
5eb28dbbeb37 Change Class.isAssignableFrom intrinsic into a snippet
Tom Rodriguez <tom.rodriguez@oracle.com>
parents: 19340
diff changeset
81 @Override
5eb28dbbeb37 Change Class.isAssignableFrom intrinsic into a snippet
Tom Rodriguez <tom.rodriguez@oracle.com>
parents: 19340
diff changeset
82 public void lower(LoweringTool tool) {
5eb28dbbeb37 Change Class.isAssignableFrom intrinsic into a snippet
Tom Rodriguez <tom.rodriguez@oracle.com>
parents: 19340
diff changeset
83 tool.getLowerer().lower(this, tool);
5eb28dbbeb37 Change Class.isAssignableFrom intrinsic into a snippet
Tom Rodriguez <tom.rodriguez@oracle.com>
parents: 19340
diff changeset
84 }
5eb28dbbeb37 Change Class.isAssignableFrom intrinsic into a snippet
Tom Rodriguez <tom.rodriguez@oracle.com>
parents: 19340
diff changeset
85
18492
f39180e681b8 ClassSubstitutions: macro for Class.isAssignable
Bernhard Urban <bernhard.urban@jku.at>
parents:
diff changeset
86 }