Mercurial > hg > graal-compiler
view graal/com.oracle.max.graal.compiler/src/com/oracle/max/graal/compiler/ir/NewArray.java @ 3480:2423a432fa6b
changes to Node structure (incomplete)
author | Lukas Stadler <lukas.stadler@jku.at> |
---|---|
date | Thu, 28 Jul 2011 08:18:43 +0200 |
parents | ad788d3b0dc4 |
children | 82480cb4a51e |
line wrap: on
line source
/* * Copyright (c) 2009, 2011, 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.max.graal.compiler.ir; import java.util.*; import com.oracle.max.graal.compiler.*; import com.oracle.max.graal.compiler.phases.EscapeAnalysisPhase.EscapeField; import com.oracle.max.graal.compiler.phases.EscapeAnalysisPhase.EscapeOp; import com.oracle.max.graal.graph.*; import com.sun.cri.ci.*; /** * The {@code NewArray} class is the base of all instructions that allocate arrays. */ public abstract class NewArray extends FixedNodeWithNext { @NodeInput private Value length; public Value length() { return length; } public void setLength(Value x) { updateUsages(this.length, x); this.length = x; } /** * Constructs a new NewArray instruction. * @param length the instruction that produces the length for this allocation * @param graph */ NewArray(Value length, Graph graph) { super(CiKind.Object, graph); setLength(length); } /** * The list of instructions which produce input for this instruction. */ public Value dimension(int index) { assert index == 0; return length(); } /** * The rank of the array allocated by this instruction, i.e. how many array dimensions. */ public int dimensionCount() { return 1; } public abstract CiKind elementKind(); @Override public Map<Object, Object> getDebugProperties() { Map<Object, Object> properties = super.getDebugProperties(); properties.put("exactType", exactType()); return properties; } @SuppressWarnings("unchecked") @Override public <T extends Op> T lookup(Class<T> clazz) { if (clazz == EscapeOp.class) { return (T) ESCAPE; } return super.lookup(clazz); } private static final EscapeOp ESCAPE = new EscapeOp() { @Override public boolean canAnalyze(Node node) { NewArray x = (NewArray) node; CiConstant length = x.dimension(0).asConstant(); return length != null && length.asInt() >= 0 && length.asInt() < GraalOptions.MaximumEscapeAnalysisArrayLength; } @Override public boolean escape(Node node, Node usage) { if (usage instanceof LoadIndexed) { LoadIndexed x = (LoadIndexed) usage; assert x.array() == node; CiConstant index = x.index().asConstant(); CiConstant length = ((NewArray) node).dimension(0).asConstant(); if (index == null || length == null || index.asInt() < 0 || index.asInt() >= length.asInt()) { return true; } return false; } else if (usage instanceof StoreField) { StoreField x = (StoreField) usage; assert x.value() == node; return true; } else if (usage instanceof StoreIndexed) { StoreIndexed x = (StoreIndexed) usage; CiConstant index = x.index().asConstant(); CiConstant length = ((NewArray) node).dimension(0).asConstant(); if (index == null || length == null || index.asInt() < 0 || index.asInt() >= length.asInt()) { return true; } return x.value() == node && x.array() != node; } else if (usage instanceof ArrayLength) { ArrayLength x = (ArrayLength) usage; assert x.array() == node; return false; } else if (usage instanceof VirtualObjectField) { return false; } else { return super.escape(node, usage); } } @Override public EscapeField[] fields(Node node) { NewArray x = (NewArray) node; int length = x.dimension(0).asConstant().asInt(); EscapeField[] fields = new EscapeField[length]; for (int i = 0; i < length; i++) { Integer representation = i; fields[i] = new EscapeField("[" + i + "]", representation, ((NewArray) node).elementKind()); } return fields; } @Override public void beforeUpdate(Node node, Node usage) { if (usage instanceof ArrayLength) { ArrayLength x = (ArrayLength) usage; x.replaceAndDelete(((NewArray) node).dimension(0)); } else { super.beforeUpdate(node, usage); } } @Override public int updateState(Node node, Node current, Map<Object, Integer> fieldIndex, Value[] fieldState) { if (current instanceof AccessIndexed) { AccessIndexed x = (AccessIndexed) current; if (x.array() == node) { int index = ((AccessIndexed) current).index().asConstant().asInt(); if (current instanceof LoadIndexed) { x.replaceAtUsages(fieldState[index]); assert x.usages().size() == 0; x.replaceAndDelete(x.next()); } else if (current instanceof StoreIndexed) { fieldState[index] = ((StoreIndexed) x).value(); assert x.usages().size() == 0; x.replaceAndDelete(x.next()); return index; } } } return -1; } }; }