Mercurial > hg > graal-compiler
view graal/com.oracle.graal.compiler.common/src/com/oracle/graal/compiler/common/alloc/TraceBuilderResult.java @ 23337:da555eeb09af
TraceRA: move trace building asserts to TraceBuilderResult.
author | Josef Eisl <josef.eisl@jku.at> |
---|---|
date | Tue, 19 Jan 2016 18:46:15 +0100 |
parents | ef5ce69bdc21 |
children | 859766efc59e |
line wrap: on
line source
/* * Copyright (c) 2016, 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.compiler.common.alloc; import java.util.BitSet; import java.util.List; import com.oracle.graal.compiler.common.cfg.AbstractBlockBase; public final class TraceBuilderResult<T extends AbstractBlockBase<T>> { private final List<List<T>> traces; private final int[] blockToTrace; TraceBuilderResult(List<List<T>> traces, int[] blockToTrace) { this.traces = traces; this.blockToTrace = blockToTrace; } public int getTraceForBlock(AbstractBlockBase<?> block) { return blockToTrace[block.getId()]; } public List<List<T>> getTraces() { return traces; } public boolean incomingEdges(int traceNr) { List<T> trace = getTraces().get(traceNr); return incomingEdges(traceNr, trace); } public boolean incomingSideEdges(int traceNr) { List<T> trace = getTraces().get(traceNr); if (trace.size() <= 1) { return false; } return incomingEdges(traceNr, trace.subList(1, trace.size())); } private boolean incomingEdges(int traceNr, List<T> trace) { /* TODO (je): not efficient. find better solution. */ for (T block : trace) { for (T pred : block.getPredecessors()) { if (getTraceForBlock(pred) != traceNr) { return true; } } } return false; } public static <T extends AbstractBlockBase<T>> boolean verify(TraceBuilderResult<T> traceBuilderResult, int expectedLength) { List<List<T>> traces = traceBuilderResult.getTraces(); assert verifyAllBlocksScheduled(traceBuilderResult, expectedLength) : "Not all blocks assigned to traces!"; for (List<T> trace : traces) { T last = null; for (T current : trace) { assert last == null || current.getPredecessors().contains(last); last = current; } } return true; } private static <T extends AbstractBlockBase<T>> boolean verifyAllBlocksScheduled(TraceBuilderResult<T> traceBuilderResult, int expectedLength) { List<List<T>> traces = traceBuilderResult.getTraces(); BitSet handled = new BitSet(expectedLength); for (List<T> trace : traces) { for (T block : trace) { handled.set(block.getId()); } } return handled.cardinality() == expectedLength; } }