# HG changeset patch # User Josef Eisl # Date 1407516023 -7200 # Node ID 1ae4ee9a59c31f6dd483ce52b34ac0174a0d2747 # Parent 26b0fd782ad558ea661a700084a12502bd72ed58 Add CompositeValue replacement test. diff -r 26b0fd782ad5 -r 1ae4ee9a59c3 graal/com.oracle.graal.lir.test/src/com/oracle/graal/lir/test/CompositeValueReplacementTest1.java --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/graal/com.oracle.graal.lir.test/src/com/oracle/graal/lir/test/CompositeValueReplacementTest1.java Fri Aug 08 18:40:23 2014 +0200 @@ -0,0 +1,204 @@ +/* + * Copyright (c) 2014, 2014, Oracle and/or its affiliates. All rights reserved. + * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. + * + * This code is free software; you can redistribute it and/or modify it + * under the terms of the GNU General Public License version 2 only, as + * published by the Free Software Foundation. + * + * This code is distributed in the hope that it will be useful, but WITHOUT + * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or + * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License + * version 2 for more details (a copy is included in the LICENSE file that + * accompanied this code). + * + * You should have received a copy of the GNU General Public License version + * 2 along with this work; if not, write to the Free Software Foundation, + * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. + * + * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA + * or visit www.oracle.com if you need additional information or have any + * questions. + */ +package com.oracle.graal.lir.test; + +import static com.oracle.graal.lir.LIRInstruction.OperandFlag.*; +import static org.junit.Assert.*; + +import org.junit.*; + +import com.oracle.graal.api.meta.*; +import com.oracle.graal.lir.*; +import com.oracle.graal.lir.LIRInstruction.InstructionValueProcedure; +import com.oracle.graal.lir.LIRInstruction.OperandFlag; +import com.oracle.graal.lir.asm.*; + +/** + * This test verifies that {@link CompositeValue}s are immutable, i.e. that a write to a component + * of a {@link CompositeValue} results in a new {@link CompositeValue}. + */ +public class CompositeValueReplacementTest1 { + + private static class NestedCompositeValue extends CompositeValue { + + private static final long serialVersionUID = -8804214200173503527L; + @Component({REG, OperandFlag.ILLEGAL}) protected Value value; + + public NestedCompositeValue(Value value) { + super(LIRKind.Illegal); + this.value = value; + } + + } + + private static class DummyValue extends Value { + + private static final long serialVersionUID = -645435039553382737L; + private final int id; + private static int counter = 1; + + protected DummyValue() { + super(LIRKind.Illegal); + this.id = counter++; + } + + @Override + public int hashCode() { + final int prime = 31; + int result = super.hashCode(); + result = prime * result + id; + return result; + } + + @Override + public boolean equals(Object obj) { + if (this == obj) { + return true; + } + if (!super.equals(obj)) { + return false; + } + if (getClass() != obj.getClass()) { + return false; + } + DummyValue other = (DummyValue) obj; + if (id != other.id) { + return false; + } + return true; + } + + @Override + public String toString() { + return "DummyValue [id=" + id + "]"; + } + + } + + private static class TestOp extends LIRInstruction { + + @Use({COMPOSITE}) protected NestedCompositeValue compValue; + + public TestOp(NestedCompositeValue compValue) { + this.compValue = compValue; + } + + @Override + public void emitCode(CompilationResultBuilder crb) { + fail("should not reach!"); + } + + } + + private static NestedCompositeValue createNestedCompValue(Value value, int nestingLevel) { + NestedCompositeValue compValue = new NestedCompositeValue(value); + for (int i = 0; i < nestingLevel; i++) { + compValue = new NestedCompositeValue(compValue); + } + return compValue; + } + + @Test + public void replaceCompValueTest0() { + DummyValue dummyValue1 = new DummyValue(); + DummyValue dummyValue2 = new DummyValue(); + DummyValue dummyValue3 = new DummyValue(); + NestedCompositeValue compValue1 = createNestedCompValue(dummyValue1, 0); + LIRInstruction op1 = new TestOp(compValue1); + LIRInstruction op2 = new TestOp(compValue1); + + op1.forEachInput(new InstructionValueProcedure() { + @Override + public Value doValue(LIRInstruction instruction, Value value) { + assertEquals(dummyValue1, value); + return dummyValue2; + } + }); + + op2.forEachInput(new InstructionValueProcedure() { + @Override + public Value doValue(LIRInstruction instruction, Value value) { + assertEquals(dummyValue1, value); + return dummyValue3; + } + }); + + op1.forEachInput(new InstructionValueProcedure() { + @Override + public Value doValue(LIRInstruction instruction, Value value) { + assertEquals(dummyValue2, value); + return value; + } + }); + + op2.forEachInput(new InstructionValueProcedure() { + @Override + public Value doValue(LIRInstruction instruction, Value value) { + assertEquals(dummyValue3, value); + return value; + } + }); + } + + @Test + public void replaceCompValueTest1() { + DummyValue dummyValue1 = new DummyValue(); + DummyValue dummyValue2 = new DummyValue(); + DummyValue dummyValue3 = new DummyValue(); + NestedCompositeValue compValue1 = createNestedCompValue(dummyValue1, 1); + LIRInstruction op1 = new TestOp(compValue1); + LIRInstruction op2 = new TestOp(compValue1); + + op1.forEachInput(new InstructionValueProcedure() { + @Override + public Value doValue(LIRInstruction instruction, Value value) { + assertEquals(dummyValue1, value); + return dummyValue2; + } + }); + + op2.forEachInput(new InstructionValueProcedure() { + @Override + public Value doValue(LIRInstruction instruction, Value value) { + assertEquals(dummyValue1, value); + return dummyValue3; + } + }); + + op1.forEachInput(new InstructionValueProcedure() { + @Override + public Value doValue(LIRInstruction instruction, Value value) { + assertEquals(dummyValue2, value); + return value; + } + }); + + op2.forEachInput(new InstructionValueProcedure() { + @Override + public Value doValue(LIRInstruction instruction, Value value) { + assertEquals(dummyValue3, value); + return value; + } + }); + } +}