Mercurial > hg > truffle

annotate graal/com.oracle.graal.lir.test/src/com/oracle/graal/lir/test/ValuePositionTest2.java @ 19525:35481bcb5882

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Remove LIRInstruction interface. Rename LIRInstructionBase to LIRInstruction.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Fri, 20 Feb 2015 18:08:53 +0100
parents 56cc1a799a60
children 8fc336a04d77
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
16288
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
1 /*
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
2 * Copyright (c) 2014, 2014, Oracle and/or its affiliates. All rights reserved.
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
4 *
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
7 * published by the Free Software Foundation.
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
8 *
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
13 * accompanied this code).
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
14 *
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
18 *
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
20 * or visit www.oracle.com if you need additional information or have any
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
21 * questions.
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
22 */
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
23 package com.oracle.graal.lir.test;
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
24
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
25 import static com.oracle.graal.lir.LIRInstruction.OperandFlag.*;
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
26 import static org.junit.Assert.*;
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
27
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
28 import java.util.*;
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
29
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
30 import org.junit.*;
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
31
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
32 import com.oracle.graal.api.meta.*;
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
33 import com.oracle.graal.lir.*;
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
34 import com.oracle.graal.lir.LIRInstruction.OperandFlag;
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
35 import com.oracle.graal.lir.asm.*;
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
36
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
37 public class ValuePositionTest2 {
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
38
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
39 private static class NestedCompositeValue extends CompositeValue {
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
40
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
41 private static final long serialVersionUID = -2243948303328857965L;
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
42 @Component({REG, OperandFlag.ILLEGAL}) protected Value value1;
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
43 @Component({REG, OperandFlag.ILLEGAL}) protected Value value2;
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
44
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
45 public NestedCompositeValue(Value value1, Value value2) {
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
46 super(LIRKind.Illegal);
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
47 this.value1 = value1;
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
48 this.value2 = value2;
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
49 }
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
50
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
51 }
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
52
18319
56cc1a799a60 (re)converted Value to an interface
Doug Simon <doug.simon@oracle.com>
parents: 18186
diff changeset
53 private static class DummyValue extends AbstractValue {
16288
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
54
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
55 private static final long serialVersionUID = 3620305384660607012L;
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
56 private final int id;
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
57 private static int counter = 0;
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
58
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
59 protected DummyValue() {
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
60 super(LIRKind.Illegal);
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
61 this.id = counter++;
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
62 }
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
63
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
64 @Override
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
65 public int hashCode() {
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
66 final int prime = 31;
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
67 int result = super.hashCode();
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
68 result = prime * result + id;
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
69 return result;
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
70 }
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
71
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
72 @Override
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
73 public boolean equals(Object obj) {
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
74 if (this == obj) {
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
75 return true;
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
76 }
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
77 if (!super.equals(obj)) {
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
78 return false;
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
79 }
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
80 if (getClass() != obj.getClass()) {
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
81 return false;
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
82 }
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
83 DummyValue other = (DummyValue) obj;
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
84 if (id != other.id) {
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
85 return false;
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
86 }
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
87 return true;
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
88 }
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
89 }
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
90
19525
35481bcb5882 Remove LIRInstruction interface. Rename LIRInstructionBase to LIRInstruction.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents: 18319
diff changeset
91 private static class TestOp extends LIRInstruction {
16288
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
92
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
93 @Use({COMPOSITE}) protected NestedCompositeValue compValue;
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
94
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
95 public TestOp(NestedCompositeValue compValue) {
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
96 this.compValue = compValue;
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
97 }
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
98
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
99 @Override
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
100 public void emitCode(CompilationResultBuilder crb) {
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
101 fail("should not reach!");
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
102 }
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
103
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
104 }
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
105
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
106 @Test
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
107 public void testSetGet() {
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
108 DummyValue dummyValue0 = new DummyValue();
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
109 DummyValue dummyValue1 = new DummyValue();
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
110 DummyValue dummyValue2 = new DummyValue();
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
111 DummyValue dummyValue3 = new DummyValue();
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
112
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
113 NestedCompositeValue compValue0 = new NestedCompositeValue(dummyValue0, dummyValue1);
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
114 NestedCompositeValue compValue1 = new NestedCompositeValue(compValue0, dummyValue2);
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
115 NestedCompositeValue compValue2 = new NestedCompositeValue(dummyValue3, compValue1);
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
116
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
117 LIRInstruction op = new TestOp(compValue2);
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
118 List<ValuePosition> positions = new ArrayList<>();
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
119
17290
6f9285d71d62 Use Lamdas in ValuePositionTests.
Josef Eisl <josef.eisl@jku.at>
parents: 17277
diff changeset
120 op.forEachInputPos((instruction, position) -> positions.add(position));
16288
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
121
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
122 assertEquals(4, positions.size());
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
123
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
124 // replace values
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
125 List<Value> replValues = new ArrayList<>();
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
126 for (ValuePosition pos : positions) {
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
127 Value v = new DummyValue();
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
128 replValues.add(v);
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
129 pos.set(op, v);
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
130
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
131 }
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
132
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
133 // check replaced values
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
134 Iterator<Value> it = replValues.iterator();
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
135 for (ValuePosition pos : positions) {
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
136 Value v = pos.get(op);
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
137 assertEquals(it.next(), v);
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
138 }
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
139 assertFalse(it.hasNext());
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
140 }
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
141
b58855f3990e Add and improve ValuePositionTest.
Josef Eisl <josef.eisl@jku.at>
parents:
diff changeset
142 }