blob: 9fb536f8ede2c8e1dc9f3da50109619d719eff25 [file] [log] [blame]
/*
* Copyright (c) 2000, 2008, 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 sun.jvm.hotspot.code;
import java.io.*;
import java.util.*;
import sun.jvm.hotspot.runtime.*;
import sun.jvm.hotspot.types.*;
import sun.jvm.hotspot.utilities.*;
/** <P> A Location describes a concrete machine variable location
(such as integer or floating point register or a stack-held
variable). Used when generating debug-information for
nmethods. </P>
<P> Encoding: </P>
<PRE>
bits:
Type: [3..0]
Where: [4]
Offset: [31..5]
</PRE>
*/
public class Location {
static {
VM.registerVMInitializedObserver(new Observer() {
public void update(Observable o, Object data) {
initialize(VM.getVM().getTypeDataBase());
}
});
}
private static void initialize(TypeDataBase db) {
if (Assert.ASSERTS_ENABLED) {
Assert.that(!VM.getVM().isCore(), "Debug info not used in core build");
}
OFFSET_MASK = db.lookupIntConstant("Location::OFFSET_MASK").intValue();
OFFSET_SHIFT = db.lookupIntConstant("Location::OFFSET_SHIFT").intValue();
TYPE_MASK = db.lookupIntConstant("Location::TYPE_MASK").intValue();
TYPE_SHIFT = db.lookupIntConstant("Location::TYPE_SHIFT").intValue();
WHERE_MASK = db.lookupIntConstant("Location::WHERE_MASK").intValue();
WHERE_SHIFT = db.lookupIntConstant("Location::WHERE_SHIFT").intValue();
// Location::Type constants
TYPE_NORMAL = db.lookupIntConstant("Location::normal").intValue();
TYPE_OOP = db.lookupIntConstant("Location::oop").intValue();
TYPE_NARROWOOP = db.lookupIntConstant("Location::narrowoop").intValue();
TYPE_INT_IN_LONG = db.lookupIntConstant("Location::int_in_long").intValue();
TYPE_LNG = db.lookupIntConstant("Location::lng").intValue();
TYPE_FLOAT_IN_DBL = db.lookupIntConstant("Location::float_in_dbl").intValue();
TYPE_DBL = db.lookupIntConstant("Location::dbl").intValue();
TYPE_ADDR = db.lookupIntConstant("Location::addr").intValue();
TYPE_INVALID = db.lookupIntConstant("Location::invalid").intValue();
// Location::Where constants
WHERE_ON_STACK = db.lookupIntConstant("Location::on_stack").intValue();
WHERE_IN_REGISTER = db.lookupIntConstant("Location::in_register").intValue();
}
private int value;
// type safe enum for "Where"
public static class Where {
public static final Where ON_STACK = new Where("on_stack");
public static final Where IN_REGISTER = new Where("in_register");
private Where(String value) {
this.value = value;
}
public String toString() {
return value;
}
private String value;
public int getValue() {
if (this == ON_STACK) {
return WHERE_ON_STACK;
} else if (this == IN_REGISTER) {
return WHERE_IN_REGISTER;
} else {
throw new RuntimeException("should not reach here");
}
}
}
// type safe enum for "Type"
public static class Type {
/** Ints, floats, double halves */
public static final Type NORMAL = new Type("normal");
/** Oop (please GC me!) */
public static final Type OOP = new Type("oop");
/** NarrowOop (please GC me!) */
public static final Type NARROWOOP = new Type("narrowoop");
/** Long held in one register */
public static final Type INT_IN_LONG = new Type("int_in_long");
/** Long held in one register */
public static final Type LNG = new Type("lng");
/** Float held in double register */
public static final Type FLOAT_IN_DBL = new Type("float_in_dbl");
/** Double held in one register */
public static final Type DBL = new Type("dbl");
/** JSR return address */
public static final Type ADDR = new Type("addr");
/** Invalid location */
public static final Type INVALID = new Type("invalid");
private Type(String value) {
this.value = value;
}
private String value;
public String toString() {
return value;
}
public int getValue() {
if (this == NORMAL) {
return TYPE_NORMAL;
} else if (this == OOP) {
return TYPE_OOP;
} else if (this == NARROWOOP) {
return TYPE_NARROWOOP;
} else if (this == INT_IN_LONG) {
return TYPE_INT_IN_LONG;
} else if (this == LNG) {
return TYPE_LNG;
} else if (this == FLOAT_IN_DBL) {
return TYPE_FLOAT_IN_DBL;
} else if (this == DBL) {
return TYPE_DBL;
} else if (this == ADDR) {
return TYPE_ADDR;
} else if (this == INVALID) {
return TYPE_INVALID;
} else {
throw new RuntimeException("should not reach here");
}
}
}
private static int OFFSET_MASK;
private static int OFFSET_SHIFT;
private static int TYPE_MASK;
private static int TYPE_SHIFT;
private static int WHERE_MASK;
private static int WHERE_SHIFT;
// constants in Type enum
private static int TYPE_NORMAL;
private static int TYPE_OOP;
private static int TYPE_NARROWOOP;
private static int TYPE_INT_IN_LONG;
private static int TYPE_LNG;
private static int TYPE_FLOAT_IN_DBL;
private static int TYPE_DBL;
private static int TYPE_ADDR;
private static int TYPE_INVALID;
// constants in Where enum
private static int WHERE_ON_STACK;
private static int WHERE_IN_REGISTER;
/** Create a bit-packed Location */
Location(Where where, Type type, int offset) {
setWhere(where);
setType(type);
setOffset(offset);
}
public Where getWhere() {
int where = (value & WHERE_MASK) >> WHERE_SHIFT;
if (where == WHERE_ON_STACK) {
return Where.ON_STACK;
} else if (where == WHERE_IN_REGISTER) {
return Where.IN_REGISTER;
} else {
throw new RuntimeException("should not reach here");
}
}
public Type getType() {
int type = (value & TYPE_MASK) >> TYPE_SHIFT;
if (type == TYPE_NORMAL) {
return Type.NORMAL;
} else if (type == TYPE_OOP) {
return Type.OOP;
} else if (type == TYPE_NARROWOOP) {
return Type.NARROWOOP;
} else if (type == TYPE_INT_IN_LONG) {
return Type.INT_IN_LONG;
} else if (type == TYPE_LNG) {
return Type.LNG;
} else if (type == TYPE_FLOAT_IN_DBL) {
return Type.FLOAT_IN_DBL;
} else if (type == TYPE_DBL) {
return Type.DBL;
} else if (type == TYPE_ADDR) {
return Type.ADDR;
} else if (type == TYPE_INVALID) {
return Type.INVALID;
} else {
throw new RuntimeException("should not reach here");
}
}
public short getOffset() {
return (short) ((value & OFFSET_MASK) >> OFFSET_SHIFT);
}
public boolean isRegister() {
return getWhere() == Where.IN_REGISTER;
}
public boolean isStack() {
return getWhere() == Where.ON_STACK;
}
public boolean holdsOop() {
return getType() == Type.OOP;
}
public boolean holdsNarrowOop() {
return getType() == Type.NARROWOOP;
}
public boolean holdsInt() {
return getType() == Type.INT_IN_LONG;
}
public boolean holdsLong() {
return getType() == Type.LNG;
}
public boolean holdsFloat() {
return getType() == Type.FLOAT_IN_DBL;
}
public boolean holdsDouble() {
return getType() == Type.DBL;
}
public boolean holdsAddr() {
return getType() == Type.ADDR;
}
public boolean isIllegal() {
return getType() == Type.INVALID;
}
public int getStackOffset() {
if (Assert.ASSERTS_ENABLED) {
Assert.that(getWhere() == Where.ON_STACK, "wrong Where");
}
return getOffset() * (int)VM.getVM().getIntSize();
}
public int getRegisterNumber() {
if (Assert.ASSERTS_ENABLED) {
Assert.that(getWhere() == Where.IN_REGISTER, "wrong Where");
}
return getOffset();
}
public void print() {
printOn(System.out);
}
public void printOn(PrintStream tty) {
tty.print("Value " + value + ", ");
if (isIllegal()) {
tty.print("Illegal");
} else {
Where w = getWhere();
if (w == Where.ON_STACK) {
tty.print("stack[" + getStackOffset() + "]");
} else if (w == Where.IN_REGISTER) {
tty.print("reg " + getRegisterNumber());
}
Type type = getType();
if (type == Type.NORMAL) {
} else if (type == Type.OOP) {
tty.print(",oop");
} else if (type == Type.NARROWOOP) {
tty.print(",narrowoop");
} else if (type == Type.INT_IN_LONG) {
tty.print(",int");
} else if (type == Type.LNG) {
tty.print(",long");
} else if (type == Type.FLOAT_IN_DBL) {
tty.print(",float");
} else if (type == Type.DBL) {
tty.print(",double");
} else if (type == Type.ADDR) {
tty.print(",address");
} else if (type == Type.INVALID) {
tty.print(",invalid");
}
}
}
/** Serialization of debugging information */
public Location(DebugInfoReadStream stream) {
value = stream.readInt();
}
// FIXME: not yet implementable
// void write_on(DebugInfoWriteStream* stream);
//-----------------------------------------------------------------------------
// Internals only below this point
//
private void setWhere(Where where) {
value |= ((where.getValue() << WHERE_SHIFT) & WHERE_MASK);
}
private void setType(Type type) {
value |= ((type.getValue() << TYPE_SHIFT) & TYPE_MASK);
}
private void setOffset(int offset) {
value |= ((offset << OFFSET_SHIFT) & OFFSET_MASK);
}
}