Mercurial > hg > graal-compiler
annotate graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/java/ArrayLengthNode.java @ 11815:43bc62c78f77
attempt to canonicalize array length access when lowering array load|store operations
author | Doug Simon <doug.simon@oracle.com> |
---|---|
date | Thu, 26 Sep 2013 22:45:25 +0200 |
parents | 976ebd1973d1 |
children | 9a747d8e0d0f |
rev | line source |
---|---|
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
1 /* |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
2 * Copyright (c) 2009, 2011, Oracle and/or its affiliates. All rights reserved. |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
4 * |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
5 * This code is free software; you can redistribute it and/or modify it |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
6 * under the terms of the GNU General Public License version 2 only, as |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
7 * published by the Free Software Foundation. |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
8 * |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
9 * This code is distributed in the hope that it will be useful, but WITHOUT |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
12 * version 2 for more details (a copy is included in the LICENSE file that |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
13 * accompanied this code). |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
14 * |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
15 * You should have received a copy of the GNU General Public License version |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
16 * 2 along with this work; if not, write to the Free Software Foundation, |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
18 * |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
20 * or visit www.oracle.com if you need additional information or have any |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
21 * questions. |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
22 */ |
5060
4ed4295ce15f
Update import statements.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
5059
diff
changeset
|
23 package com.oracle.graal.nodes.java; |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
24 |
5507
dc71b06d09f8
Moving classes from cri.ri to api.meta.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
5502
diff
changeset
|
25 import com.oracle.graal.api.meta.*; |
5060
4ed4295ce15f
Update import statements.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
5059
diff
changeset
|
26 import com.oracle.graal.nodes.*; |
4ed4295ce15f
Update import statements.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
5059
diff
changeset
|
27 import com.oracle.graal.nodes.spi.*; |
4ed4295ce15f
Update import statements.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
5059
diff
changeset
|
28 import com.oracle.graal.nodes.type.*; |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
29 |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
30 /** |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
31 * The {@code ArrayLength} instruction gets the length of an array. |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
32 */ |
6710
6db6881c1270
add Virtualizable and VirtualizerTool, refactor PEA to use it
Lukas Stadler <lukas.stadler@jku.at>
parents:
6539
diff
changeset
|
33 public final class ArrayLengthNode extends FixedWithNextNode implements Canonicalizable, Lowerable, Virtualizable { |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
34 |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
35 @Input private ValueNode array; |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
36 |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
37 public ValueNode array() { |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
38 return array; |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
39 } |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
40 |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
41 public ArrayLengthNode(ValueNode array) { |
5085
5bdaa08ba96b
add and enable new PropagateTypeCachePhase, add type system tests
Lukas Stadler <lukas.stadler@jku.at>
parents:
5061
diff
changeset
|
42 super(StampFactory.positiveInt()); |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
43 this.array = array; |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
44 } |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
45 |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
46 @Override |
4309
4a609a685fa4
changes to Node structures:
Lukas Stadler <lukas.stadler@jku.at>
parents:
4199
diff
changeset
|
47 public ValueNode canonical(CanonicalizerTool tool) { |
11815
43bc62c78f77
attempt to canonicalize array length access when lowering array load|store operations
Doug Simon <doug.simon@oracle.com>
parents:
11682
diff
changeset
|
48 ValueNode length = readArrayLength(array(), tool.runtime()); |
43bc62c78f77
attempt to canonicalize array length access when lowering array load|store operations
Doug Simon <doug.simon@oracle.com>
parents:
11682
diff
changeset
|
49 if (length != null) { |
43bc62c78f77
attempt to canonicalize array length access when lowering array load|store operations
Doug Simon <doug.simon@oracle.com>
parents:
11682
diff
changeset
|
50 return length; |
43bc62c78f77
attempt to canonicalize array length access when lowering array load|store operations
Doug Simon <doug.simon@oracle.com>
parents:
11682
diff
changeset
|
51 } |
43bc62c78f77
attempt to canonicalize array length access when lowering array load|store operations
Doug Simon <doug.simon@oracle.com>
parents:
11682
diff
changeset
|
52 return this; |
43bc62c78f77
attempt to canonicalize array length access when lowering array load|store operations
Doug Simon <doug.simon@oracle.com>
parents:
11682
diff
changeset
|
53 } |
43bc62c78f77
attempt to canonicalize array length access when lowering array load|store operations
Doug Simon <doug.simon@oracle.com>
parents:
11682
diff
changeset
|
54 |
43bc62c78f77
attempt to canonicalize array length access when lowering array load|store operations
Doug Simon <doug.simon@oracle.com>
parents:
11682
diff
changeset
|
55 /** |
43bc62c78f77
attempt to canonicalize array length access when lowering array load|store operations
Doug Simon <doug.simon@oracle.com>
parents:
11682
diff
changeset
|
56 * Gets the length of an array if possible. |
43bc62c78f77
attempt to canonicalize array length access when lowering array load|store operations
Doug Simon <doug.simon@oracle.com>
parents:
11682
diff
changeset
|
57 * |
43bc62c78f77
attempt to canonicalize array length access when lowering array load|store operations
Doug Simon <doug.simon@oracle.com>
parents:
11682
diff
changeset
|
58 * @param array an array |
43bc62c78f77
attempt to canonicalize array length access when lowering array load|store operations
Doug Simon <doug.simon@oracle.com>
parents:
11682
diff
changeset
|
59 * @return a node representing the length of {@code array} or null if it is not available |
43bc62c78f77
attempt to canonicalize array length access when lowering array load|store operations
Doug Simon <doug.simon@oracle.com>
parents:
11682
diff
changeset
|
60 */ |
43bc62c78f77
attempt to canonicalize array length access when lowering array load|store operations
Doug Simon <doug.simon@oracle.com>
parents:
11682
diff
changeset
|
61 public static ValueNode readArrayLength(ValueNode array, MetaAccessProvider runtime) { |
43bc62c78f77
attempt to canonicalize array length access when lowering array load|store operations
Doug Simon <doug.simon@oracle.com>
parents:
11682
diff
changeset
|
62 if (array instanceof ArrayLengthProvider) { |
43bc62c78f77
attempt to canonicalize array length access when lowering array load|store operations
Doug Simon <doug.simon@oracle.com>
parents:
11682
diff
changeset
|
63 ValueNode length = ((ArrayLengthProvider) array).length(); |
7762
43201885d400
allow null return values for ArrayLengthProvider.length()
Lukas Stadler <lukas.stadler@jku.at>
parents:
7394
diff
changeset
|
64 if (length != null) { |
43201885d400
allow null return values for ArrayLengthProvider.length()
Lukas Stadler <lukas.stadler@jku.at>
parents:
7394
diff
changeset
|
65 return length; |
43201885d400
allow null return values for ArrayLengthProvider.length()
Lukas Stadler <lukas.stadler@jku.at>
parents:
7394
diff
changeset
|
66 } |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
67 } |
11815
43bc62c78f77
attempt to canonicalize array length access when lowering array load|store operations
Doug Simon <doug.simon@oracle.com>
parents:
11682
diff
changeset
|
68 if (runtime != null && array.isConstant() && !array.isNullConstant()) { |
43bc62c78f77
attempt to canonicalize array length access when lowering array load|store operations
Doug Simon <doug.simon@oracle.com>
parents:
11682
diff
changeset
|
69 Constant constantValue = array.asConstant(); |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
70 if (constantValue != null && constantValue.isNonNull()) { |
11682
976ebd1973d1
The runtime might not always be able to report an array length
Christian Wimmer <christian.wimmer@oracle.com>
parents:
11579
diff
changeset
|
71 Integer constantLength = runtime.lookupArrayLength(constantValue); |
976ebd1973d1
The runtime might not always be able to report an array length
Christian Wimmer <christian.wimmer@oracle.com>
parents:
11579
diff
changeset
|
72 if (constantLength != null) { |
11815
43bc62c78f77
attempt to canonicalize array length access when lowering array load|store operations
Doug Simon <doug.simon@oracle.com>
parents:
11682
diff
changeset
|
73 return ConstantNode.forInt(constantLength, array.graph()); |
11682
976ebd1973d1
The runtime might not always be able to report an array length
Christian Wimmer <christian.wimmer@oracle.com>
parents:
11579
diff
changeset
|
74 } |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
75 } |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
76 } |
11815
43bc62c78f77
attempt to canonicalize array length access when lowering array load|store operations
Doug Simon <doug.simon@oracle.com>
parents:
11682
diff
changeset
|
77 return null; |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
78 } |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
79 |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
80 @Override |
11579
ae619d70bf4b
Rename LoweringType to GuardsPhase and make it an attribute of StructuredGraphs
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
9251
diff
changeset
|
81 public void lower(LoweringTool tool) { |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
82 tool.getRuntime().lower(this, tool); |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
83 } |
6406
33dab7b4b006
Add snippet factory methods
Christian Wimmer <christian.wimmer@oracle.com>
parents:
5885
diff
changeset
|
84 |
33dab7b4b006
Add snippet factory methods
Christian Wimmer <christian.wimmer@oracle.com>
parents:
5885
diff
changeset
|
85 @NodeIntrinsic |
6458
fb66841a0994
made all @NodeIntrinsic annotated methods be native (this is a requirement now enforced during snippet intrinsification)
Doug Simon <doug.simon@oracle.com>
parents:
6406
diff
changeset
|
86 public static native int arrayLength(Object array); |
6710
6db6881c1270
add Virtualizable and VirtualizerTool, refactor PEA to use it
Lukas Stadler <lukas.stadler@jku.at>
parents:
6539
diff
changeset
|
87 |
6db6881c1270
add Virtualizable and VirtualizerTool, refactor PEA to use it
Lukas Stadler <lukas.stadler@jku.at>
parents:
6539
diff
changeset
|
88 @Override |
6db6881c1270
add Virtualizable and VirtualizerTool, refactor PEA to use it
Lukas Stadler <lukas.stadler@jku.at>
parents:
6539
diff
changeset
|
89 public void virtualize(VirtualizerTool tool) { |
7394
94f032472c28
changed PEA interface:
Lukas Stadler <lukas.stadler@jku.at>
parents:
6710
diff
changeset
|
90 State state = tool.getObjectState(array()); |
94f032472c28
changed PEA interface:
Lukas Stadler <lukas.stadler@jku.at>
parents:
6710
diff
changeset
|
91 if (state != null) { |
94f032472c28
changed PEA interface:
Lukas Stadler <lukas.stadler@jku.at>
parents:
6710
diff
changeset
|
92 assert state.getVirtualObject().type().isArray(); |
94f032472c28
changed PEA interface:
Lukas Stadler <lukas.stadler@jku.at>
parents:
6710
diff
changeset
|
93 tool.replaceWithValue(ConstantNode.forInt(state.getVirtualObject().entryCount(), graph())); |
6710
6db6881c1270
add Virtualizable and VirtualizerTool, refactor PEA to use it
Lukas Stadler <lukas.stadler@jku.at>
parents:
6539
diff
changeset
|
94 } |
6db6881c1270
add Virtualizable and VirtualizerTool, refactor PEA to use it
Lukas Stadler <lukas.stadler@jku.at>
parents:
6539
diff
changeset
|
95 } |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
96 } |