--- /dev/null 2016-05-31 09:42:47.975716356 -0700 +++ new/src/jdk.vm.compiler/share/classes/org.graalvm.compiler.lir.test/src/org/graalvm/compiler/lir/test/alloc/trace/TraceGlobalMoveResolutionMappingTest.java 2016-12-09 00:53:56.368084805 -0800 @@ -0,0 +1,299 @@ +/* + * Copyright (c) 2015, 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 org.graalvm.compiler.lir.test.alloc.trace; + +import static org.junit.Assert.assertEquals; +import static org.junit.Assert.assertTrue; + +import java.util.HashSet; + +import org.junit.Before; +import org.junit.Ignore; +import org.junit.Test; + +import org.graalvm.compiler.core.common.LIRKind; +import org.graalvm.compiler.lir.alloc.trace.ShadowedRegisterValue; +import org.graalvm.compiler.lir.alloc.trace.TraceGlobalMoveResolutionPhase; + +import jdk.vm.ci.code.Register; +import jdk.vm.ci.code.Register.RegisterCategory; +import jdk.vm.ci.code.RegisterValue; +import jdk.vm.ci.code.StackSlot; +import jdk.vm.ci.meta.AllocatableValue; +import jdk.vm.ci.meta.PlatformKind; +import jdk.vm.ci.meta.Value; + +/** + * Test global move resolver of the trace register allocator. + * + * Especially the mapping of LabelOp.incoming and BlockEndOp.outgoing. + */ +public class TraceGlobalMoveResolutionMappingTest { + + private static final class MoveResolverMock extends TraceGlobalMoveResolutionPhase.MoveResolver { + + private static final class Pair { + + @Override + public int hashCode() { + final int prime = 31; + int result = 1; + result = prime * result + ((dst == null) ? 0 : dst.hashCode()); + result = prime * result + ((src == null) ? 0 : src.hashCode()); + return result; + } + + @Override + public boolean equals(Object obj) { + if (this == obj) { + return true; + } + if (obj == null) { + return false; + } + if (getClass() != obj.getClass()) { + return false; + } + Pair other = (Pair) obj; + if (dst == null) { + if (other.dst != null) { + return false; + } + } else if (!dst.equals(other.dst)) { + return false; + } + if (src == null) { + if (other.src != null) { + return false; + } + } else if (!src.equals(other.src)) { + return false; + } + return true; + } + + private final Value src; + private final AllocatableValue dst; + + Pair(Value src, AllocatableValue dst) { + this.src = src; + this.dst = dst; + } + + @Override + public String toString() { + return dst.toString() + " <- " + src; + } + } + + private final HashSet mapping = new HashSet<>(); + + @Override + public void addMapping(Value src, AllocatableValue dst, Value srcStack) { + mapping.add(new Pair(src, dst)); + } + + public int size() { + return mapping.size(); + } + + public boolean contains(Value src, AllocatableValue dst) { + return mapping.contains(new Pair(src, dst)); + } + + @Override + public String toString() { + return mapping.toString(); + } + + } + + private static final RegisterCategory CPU = new RegisterCategory("CPU"); + + private static final Register r0 = new Register(0, 0, "r0", CPU); + private static final Register r1 = new Register(1, 1, "r1", CPU); + + private enum DummyPlatformKind implements PlatformKind { + Long; + + private EnumKey key = new EnumKey<>(this); + + @Override + public Key getKey() { + return key; + } + + @Override + public int getSizeInBytes() { + return 8; + } + + @Override + public int getVectorLength() { + return 1; + } + + @Override + public char getTypeChar() { + return 'l'; + } + } + + private static final LIRKind kind = LIRKind.value(DummyPlatformKind.Long); + + private MoveResolverMock resolver; + + @Before + public void setUp() { + resolver = new MoveResolverMock(); + } + + private void addMapping(Value src, Value dst) { + TraceGlobalMoveResolutionPhase.addMapping(resolver, src, dst); + } + + /** Create RegisterValue. */ + private static RegisterValue v(Register r) { + return r.asValue(kind); + } + + /** Create StackSlot. */ + private static StackSlot s(int offset) { + return StackSlot.get(kind, -offset, true); + } + + /** Create ShadowedRegisterValue. */ + private static ShadowedRegisterValue sd(Register reg, int offset) { + return new ShadowedRegisterValue(v(reg), s(offset)); + } + + private void assertContains(Value src, AllocatableValue dst) { + assertTrue(String.format("Expected move from %s to %s. %s", src, dst, resolver), resolver.contains(src, dst)); + } + + private void assertSize(int expected) { + assertEquals(resolver.toString(), expected, resolver.size()); + } + + @Test + public void testReg2Reg0() { + addMapping(v(r0), v(r1)); + assertContains(v(r0), v(r1)); + } + + @Test + public void testReg2Reg1() { + addMapping(v(r0), v(r0)); + assertSize(0); + } + + @Test + public void testStack2Stack0() { + addMapping(s(1), s(2)); + assertContains(s(1), s(2)); + } + + @Test + public void testStack2Stack1() { + addMapping(s(1), s(1)); + assertSize(0); + } + + @Test + public void testStack2Reg() { + addMapping(s(1), v(r1)); + assertContains(s(1), v(r1)); + } + + @Test + public void testReg2Stack() { + addMapping(v(r0), s(1)); + assertContains(v(r0), s(1)); + } + + @Test + public void testShadowed2Reg() { + addMapping(sd(r0, 1), v(r1)); + assertContains(v(r0), v(r1)); + } + + @Test + public void testReg2Shadowed0() { + addMapping(v(r0), sd(r1, 1)); + assertSize(2); + assertContains(v(r0), v(r1)); + assertContains(v(r0), s(1)); + } + + @Test + public void testReg2Shadowed1() { + addMapping(v(r0), sd(r0, 1)); + assertSize(1); + assertContains(v(r0), s(1)); + } + + @Test + @Ignore("Cannot express mapping dependencies (yet)") + public void testStack2Shadowed0() { + addMapping(s(2), sd(r1, 1)); + assertSize(2); + assertContains(s(2), v(r1)); + assertContains(v(r1), s(1)); + } + + @Test + public void testStack2Shadowed0WorkArount() { + addMapping(s(2), sd(r1, 1)); + assertSize(2); + assertContains(s(2), v(r1)); + assertContains(s(2), s(1)); + } + + @Test + public void testStack2Shadowed1() { + addMapping(s(1), sd(r1, 1)); + assertSize(1); + assertContains(s(1), v(r1)); + } + + @Test + public void testShadowed2Shadowed0() { + addMapping(sd(r0, 1), sd(r1, 2)); + assertSize(2); + assertContains(v(r0), v(r1)); + assertContains(v(r0), s(2)); + } + + @Test + public void testShadowed2Shadowed1() { + addMapping(sd(r0, 1), sd(r1, 1)); + assertSize(1); + assertContains(v(r0), v(r1)); + } + + @Test + public void testShadowed2Shadowed2() { + addMapping(sd(r0, 1), sd(r0, 1)); + assertSize(0); + } +}