org.jikesrvm.compilers.opt.escape

Class FI_EscapeSummary

java.lang.Object

org.jikesrvm.compilers.opt.escape.FI_EscapeSummary

class FI_EscapeSummary
extends Object

This class holds the results of a flow-insensitive escape analysis for a method.

Field Summary

Fields

Modifier and Type	Field and Description
private HashMap<Register,Object>	hash A mapping that holds the analysis result for thread-locality for each Register.
private HashMap<Register,Object>	hash2 A mapping that holds the analysis result for method-locality for each Register.
(package private) static Object	MAY_ESCAPE_METHOD Static object used to represent analysis result
(package private) static Object	MAY_ESCAPE_THREAD Static object used to represent analysis result
(package private) static Object	METHOD_LOCAL Static object used to represent analysis result
(package private) static Object	THREAD_LOCAL Static object used to represent analysis result

Constructor Summary

Constructors

Constructor and Description
FI_EscapeSummary()

Method Summary

Modifier and Type	Method and Description
(package private) boolean	isMethodLocal(Register r)
(package private) boolean	isThreadLocal(Register r)
(package private) void	setMethodLocal(Register r, boolean b) Records the fact that ALL object pointed to by a symbolic register MUST (or may) escape this method.
(package private) void	setThreadLocal(Register r, boolean b) Records the fact that ALL object pointed to by a symbolic register MUST (or may) escape this thread.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

hash

private final HashMap<Register,Object> hash

A mapping that holds the analysis result for thread-locality for each Register.

hash2

private final HashMap<Register,Object> hash2

A mapping that holds the analysis result for method-locality for each Register.

THREAD_LOCAL

static final Object THREAD_LOCAL

Static object used to represent analysis result

MAY_ESCAPE_THREAD

static final Object MAY_ESCAPE_THREAD

Static object used to represent analysis result

METHOD_LOCAL

static final Object METHOD_LOCAL

Static object used to represent analysis result

MAY_ESCAPE_METHOD

static final Object MAY_ESCAPE_METHOD

Static object used to represent analysis result

Constructor Detail

FI_EscapeSummary

FI_EscapeSummary()

Method Detail

isThreadLocal

boolean isThreadLocal(Register r)

Parameters:

r - a symbolic register

Returns:

true iff ANY object pointed to by a symbolic register MUST be thread local

isMethodLocal

boolean isMethodLocal(Register r)

Parameters:

r - a symbolic register

Returns:

true iff ANY object pointed to by a symbolic register MUST be method local

setThreadLocal

void setThreadLocal(Register r,
                    boolean b)

Records the fact that ALL object pointed to by a symbolic register MUST (or may) escape this thread.

Parameters:

r - a symbolic register

b - true if thread-local, false otherwise

setMethodLocal

void setMethodLocal(Register r,
                    boolean b)

Records the fact that ALL object pointed to by a symbolic register MUST (or may) escape this method.

Parameters:

r - a symbolic register

b - true if method-local, false otherwise