Mercurial > hg > truffle
view graal/com.oracle.max.cri/src/com/oracle/max/cri/ci/CiVirtualObject.java @ 4292:48cbd78fa964
First draft of SSA-based linear scan allocator
author | Christian Wimmer <Christian.Wimmer@Oracle.com> |
---|---|
date | Tue, 17 Jan 2012 19:38:48 -0800 |
parents | aaac4894175c |
children | d89b20486d87 |
line wrap: on
line source
/* * Copyright (c) 2010, 2012, 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.cri.ci; import com.oracle.max.cri.ri.*; /** * An instance of this class represents an object whose allocation was removed by escape analysis. The information stored in the {@link CiVirtualObject} is used during * deoptimization to recreate the object. */ public final class CiVirtualObject extends CiValue { private static final long serialVersionUID = -2907197776426346021L; private final RiType type; private CiValue[] values; private final int id; /** * Creates a new CiVirtualObject for the given type, with the given fields. If the type is an instance class then the values array needs to have one entry for each field, ordered in * like the fields returned by {@link RiResolvedType#declaredFields()}. If the type is an array then the length of the values array determines the reallocated array length. * @param type the type of the object whose allocation was removed during compilation. This can be either an instance of an array type. * @param values an array containing all the values to be stored into the object when it is recreated. * @param id a unique id that identifies the object within the debug information for one position in the compiled code. * @return a new CiVirtualObject instance. */ public static CiVirtualObject get(RiType type, CiValue[] values, int id) { return new CiVirtualObject(type, values, id); } private CiVirtualObject(RiType type, CiValue[] values, int id) { super(CiKind.Object); this.type = type; this.values = values; this.id = id; } @Override public String toString() { return "vobject:" + id; } /** * @return the type of the object whose allocation was removed during compilation. This can be either an instance of an array type. */ public RiType type() { return type; } /** * @return an array containing all the values to be stored into the object when it is recreated. */ public CiValue[] values() { return values; } /** * @return the unique id that identifies the object within the debug information for one position in the compiled code. */ public int id() { return id; } /** * Overwrites the current set of values with a new one. * @param values an array containing all the values to be stored into the object when it is recreated. */ public void setValues(CiValue[] values) { this.values = values; } @Override public int hashCode() { return kind.ordinal() + type.hashCode(); } @Override public boolean equals(Object o) { if (o == this) { return true; } if (o instanceof CiVirtualObject) { CiVirtualObject l = (CiVirtualObject) o; if (l.type != type || l.values.length != values.length) { return false; } for (int i = 0; i < values.length; i++) { if (values[i] != l.values[i]) { return false; } } return true; } return false; } /** * This is a helper class used to create virtual objects for a number of different JDK classes. */ public static class CiVirtualObjectFactory { private int nextId = 0; private final RiRuntime runtime; public CiVirtualObjectFactory(RiRuntime runtime) { this.runtime = runtime; } public CiVirtualObject constantProxy(CiKind kind, CiValue objectValue, CiValue primitiveValue) { CiConstant cKind = CiConstant.forObject(kind); // TODO: here the ordering is hard coded... we should query RiType.fields() and act accordingly return new CiVirtualObject(runtime.getType(CiConstant.class), new CiValue[] {cKind, primitiveValue, CiValue.IllegalValue, objectValue}, nextId++); } public CiValue proxy(CiValue ciValue) { switch (ciValue.kind) { case Boolean: return new CiVirtualObject(runtime.getType(Boolean.class), new CiValue[] {ciValue}, nextId++); case Byte: return new CiVirtualObject(runtime.getType(Byte.class), new CiValue[] {ciValue}, nextId++); case Char: return new CiVirtualObject(runtime.getType(Character.class), new CiValue[] {ciValue}, nextId++); case Double: return new CiVirtualObject(runtime.getType(Double.class), new CiValue[] {ciValue, CiValue.IllegalValue}, nextId++); case Float: return new CiVirtualObject(runtime.getType(Float.class), new CiValue[] {ciValue}, nextId++); case Int: return new CiVirtualObject(runtime.getType(Integer.class), new CiValue[] {ciValue}, nextId++); case Long: return new CiVirtualObject(runtime.getType(Long.class), new CiValue[] {ciValue, CiValue.IllegalValue}, nextId++); case Object: return ciValue; case Short: return new CiVirtualObject(runtime.getType(Short.class), new CiValue[] {ciValue}, nextId++); default: assert false : ciValue.kind; return null; } } public CiVirtualObject arrayProxy(RiType arrayType, CiValue[] values) { return new CiVirtualObject(arrayType, values, nextId++); } } }