class com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow extends com.oracle.graal.pointsto.flow.AbstractVirtualInvokeTypeFlow
minor version: 0
major version: 59
flags: flags: (0x0020) ACC_SUPER
this_class: com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow
super_class: com.oracle.graal.pointsto.flow.AbstractVirtualInvokeTypeFlow
{
private final java.util.concurrent.ConcurrentMap<com.oracle.graal.pointsto.flow.MethodFlowsGraph, java.lang.Object> calleesFlows;
descriptor: Ljava/util/concurrent/ConcurrentMap;
flags: (0x0012) ACC_PRIVATE, ACC_FINAL
Signature: Ljava/util/concurrent/ConcurrentMap<Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;Ljava/lang/Object;>;
private final com.oracle.graal.pointsto.flow.context.AnalysisContext callerContext;
descriptor: Lcom/oracle/graal/pointsto/flow/context/AnalysisContext;
flags: (0x0012) ACC_PRIVATE, ACC_FINAL
static final boolean $assertionsDisabled;
descriptor: Z
flags: (0x1018) ACC_STATIC, ACC_FINAL, ACC_SYNTHETIC
static void <clinit>();
descriptor: ()V
flags: (0x0008) ACC_STATIC
Code:
stack=1, locals=0, args_size=0
0: ldc Lcom/oracle/graal/pointsto/BytecodeSensitiveAnalysisPolicy;
invokevirtual java.lang.Class.desiredAssertionStatus:()Z
ifne 1
iconst_1
goto 2
StackMap locals:
StackMap stack:
1: iconst_0
StackMap locals:
StackMap stack: int
2: putstatic com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow.$assertionsDisabled:Z
return
LocalVariableTable:
Start End Slot Name Signature
protected void <init>(jdk.vm.ci.code.BytecodePosition, com.oracle.graal.pointsto.meta.AnalysisType, com.oracle.graal.pointsto.meta.AnalysisMethod, com.oracle.graal.pointsto.flow.TypeFlow<?>[], com.oracle.graal.pointsto.flow.ActualReturnTypeFlow, com.oracle.graal.pointsto.flow.context.BytecodeLocation);
descriptor: (Ljdk/vm/ci/code/BytecodePosition;Lcom/oracle/graal/pointsto/meta/AnalysisType;Lcom/oracle/graal/pointsto/meta/AnalysisMethod;[Lcom/oracle/graal/pointsto/flow/TypeFlow;Lcom/oracle/graal/pointsto/flow/ActualReturnTypeFlow;Lcom/oracle/graal/pointsto/flow/context/BytecodeLocation;)V
flags: (0x0004) ACC_PROTECTED
Code:
stack=7, locals=7, args_size=7
start local 0 start local 1 start local 2 start local 3 start local 4 start local 5 start local 6 0: aload 0
aload 1
aload 2
aload 3
aload 4
aload 5
aload 6
invokespecial com.oracle.graal.pointsto.flow.AbstractVirtualInvokeTypeFlow.<init>:(Ljdk/vm/ci/code/BytecodePosition;Lcom/oracle/graal/pointsto/meta/AnalysisType;Lcom/oracle/graal/pointsto/meta/AnalysisMethod;[Lcom/oracle/graal/pointsto/flow/TypeFlow;Lcom/oracle/graal/pointsto/flow/ActualReturnTypeFlow;Lcom/oracle/graal/pointsto/flow/context/BytecodeLocation;)V
1: aload 0
aconst_null
putfield com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow.calleesFlows:Ljava/util/concurrent/ConcurrentMap;
2: aload 0
aconst_null
putfield com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow.callerContext:Lcom/oracle/graal/pointsto/flow/context/AnalysisContext;
3: return
end local 6 end local 5 end local 4 end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 4 0 this Lcom/oracle/graal/pointsto/BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow;
0 4 1 invokeLocation Ljdk/vm/ci/code/BytecodePosition;
0 4 2 receiverType Lcom/oracle/graal/pointsto/meta/AnalysisType;
0 4 3 targetMethod Lcom/oracle/graal/pointsto/meta/AnalysisMethod;
0 4 4 actualParameters [Lcom/oracle/graal/pointsto/flow/TypeFlow;
0 4 5 actualReturn Lcom/oracle/graal/pointsto/flow/ActualReturnTypeFlow;
0 4 6 location Lcom/oracle/graal/pointsto/flow/context/BytecodeLocation;
Signature: (Ljdk/vm/ci/code/BytecodePosition;Lcom/oracle/graal/pointsto/meta/AnalysisType;Lcom/oracle/graal/pointsto/meta/AnalysisMethod;[Lcom/oracle/graal/pointsto/flow/TypeFlow<*>;Lcom/oracle/graal/pointsto/flow/ActualReturnTypeFlow;Lcom/oracle/graal/pointsto/flow/context/BytecodeLocation;)V
MethodParameters:
Name Flags
invokeLocation
receiverType
targetMethod
actualParameters
actualReturn
location
protected void <init>(com.oracle.graal.pointsto.BigBang, com.oracle.graal.pointsto.flow.MethodFlowsGraph, com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow);
descriptor: (Lcom/oracle/graal/pointsto/BigBang;Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;Lcom/oracle/graal/pointsto/BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow;)V
flags: (0x0004) ACC_PROTECTED
Code:
stack=6, locals=4, args_size=4
start local 0 start local 1 start local 2 start local 3 0: aload 0
aload 1
aload 2
aload 3
invokespecial com.oracle.graal.pointsto.flow.AbstractVirtualInvokeTypeFlow.<init>:(Lcom/oracle/graal/pointsto/BigBang;Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;Lcom/oracle/graal/pointsto/flow/AbstractVirtualInvokeTypeFlow;)V
1: aload 0
new java.util.concurrent.ConcurrentHashMap
dup
iconst_4
ldc 0.75
iconst_1
invokespecial java.util.concurrent.ConcurrentHashMap.<init>:(IFI)V
putfield com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow.calleesFlows:Ljava/util/concurrent/ConcurrentMap;
2: aload 0
aload 2
invokevirtual com.oracle.graal.pointsto.flow.MethodFlowsGraph.context:()Lcom/oracle/graal/pointsto/flow/context/AnalysisContext;
putfield com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow.callerContext:Lcom/oracle/graal/pointsto/flow/context/AnalysisContext;
3: return
end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 4 0 this Lcom/oracle/graal/pointsto/BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow;
0 4 1 bb Lcom/oracle/graal/pointsto/BigBang;
0 4 2 methodFlows Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;
0 4 3 original Lcom/oracle/graal/pointsto/BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow;
MethodParameters:
Name Flags
bb
methodFlows
original
public com.oracle.graal.pointsto.flow.TypeFlow<jdk.vm.ci.code.BytecodePosition> copy(com.oracle.graal.pointsto.BigBang, com.oracle.graal.pointsto.flow.MethodFlowsGraph);
descriptor: (Lcom/oracle/graal/pointsto/BigBang;Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;)Lcom/oracle/graal/pointsto/flow/TypeFlow;
flags: (0x0001) ACC_PUBLIC
Code:
stack=5, locals=3, args_size=3
start local 0 start local 1 start local 2 0: new com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow
dup
aload 1
aload 2
aload 0
invokespecial com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow.<init>:(Lcom/oracle/graal/pointsto/BigBang;Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;Lcom/oracle/graal/pointsto/BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow;)V
areturn
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 1 0 this Lcom/oracle/graal/pointsto/BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow;
0 1 1 bb Lcom/oracle/graal/pointsto/BigBang;
0 1 2 methodFlows Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;
Signature: (Lcom/oracle/graal/pointsto/BigBang;Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;)Lcom/oracle/graal/pointsto/flow/TypeFlow<Ljdk/vm/ci/code/BytecodePosition;>;
MethodParameters:
Name Flags
bb
methodFlows
public void onObservedUpdate(com.oracle.graal.pointsto.BigBang);
descriptor: (Lcom/oracle/graal/pointsto/BigBang;)V
flags: (0x0001) ACC_PUBLIC
Code:
stack=6, locals=10, args_size=2
start local 0 start local 1 0: getstatic com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow.$assertionsDisabled:Z
ifne 1
aload 0
invokevirtual com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow.isClone:()Z
ifne 1
new java.lang.AssertionError
dup
invokespecial java.lang.AssertionError.<init>:()V
athrow
1: StackMap locals:
StackMap stack:
aload 0
invokevirtual com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow.getReceiver:()Lcom/oracle/graal/pointsto/flow/TypeFlow;
invokevirtual com.oracle.graal.pointsto.flow.TypeFlow.getState:()Lcom/oracle/graal/pointsto/typestate/TypeState;
astore 2
start local 2 2: aload 2
invokevirtual com.oracle.graal.pointsto.typestate.TypeState.isUnknown:()Z
ifeq 5
3: aload 1
aload 0
getfield com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow.graphRef:Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;
invokevirtual com.oracle.graal.pointsto.flow.MethodFlowsGraph.getMethod:()Lcom/oracle/graal/pointsto/meta/AnalysisMethod;
aload 0
getfield com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow.source:Ljava/lang/Object;
checkcast jdk.vm.ci.code.BytecodePosition
new java.lang.StringBuilder
dup
ldc "Illegal: Invoke on UnknownTypeState objects. Invoke: "
invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
aload 0
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
invokevirtual com.oracle.graal.pointsto.BigBang.reportIllegalUnknownUse:(Lcom/oracle/graal/pointsto/meta/AnalysisMethod;Ljdk/vm/ci/code/BytecodePosition;Ljava/lang/String;)V
4: return
5: StackMap locals: com.oracle.graal.pointsto.typestate.TypeState
StackMap stack:
aload 0
aload 1
aload 2
invokevirtual com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow.filterReceiverState:(Lcom/oracle/graal/pointsto/BigBang;Lcom/oracle/graal/pointsto/typestate/TypeState;)Lcom/oracle/graal/pointsto/typestate/TypeState;
astore 2
6: aload 2
invokevirtual com.oracle.graal.pointsto.typestate.TypeState.getTypesObjectsIterator:()Lcom/oracle/graal/pointsto/typestate/TypeState$TypesObjectsIterator;
astore 3
start local 3 7: goto 23
8: StackMap locals: com.oracle.graal.pointsto.typestate.TypeState$TypesObjectsIterator
StackMap stack:
aload 3
invokevirtual com.oracle.graal.pointsto.typestate.TypeState$TypesObjectsIterator.nextType:()Lcom/oracle/graal/pointsto/meta/AnalysisType;
astore 4
start local 4 9: aload 4
aload 0
invokevirtual com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow.getTargetMethod:()Lcom/oracle/graal/pointsto/meta/AnalysisMethod;
invokevirtual com.oracle.graal.pointsto.meta.AnalysisType.resolveConcreteMethod:(Ljdk/vm/ci/meta/ResolvedJavaMethod;)Lcom/oracle/graal/pointsto/meta/AnalysisMethod;
astore 5
start local 5 10: aload 5
ifnull 23
aload 5
invokevirtual com.oracle.graal.pointsto.meta.AnalysisMethod.getModifiers:()I
invokestatic java.lang.reflect.Modifier.isAbstract:(I)Z
ifeq 12
11: goto 23
12: StackMap locals: com.oracle.graal.pointsto.meta.AnalysisType com.oracle.graal.pointsto.meta.AnalysisMethod
StackMap stack:
getstatic com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow.$assertionsDisabled:Z
ifne 13
aload 5
invokevirtual com.oracle.graal.pointsto.meta.AnalysisMethod.getModifiers:()I
invokestatic java.lang.reflect.Modifier.isAbstract:(I)Z
ifeq 13
new java.lang.AssertionError
dup
invokespecial java.lang.AssertionError.<init>:()V
athrow
13: StackMap locals:
StackMap stack:
aload 5
invokevirtual com.oracle.graal.pointsto.meta.AnalysisMethod.getTypeFlow:()Lcom/oracle/graal/pointsto/flow/MethodTypeFlow;
astore 6
start local 6 14: goto 22
15: StackMap locals: com.oracle.graal.pointsto.flow.MethodTypeFlow
StackMap stack:
aload 3
aload 4
invokevirtual com.oracle.graal.pointsto.typestate.TypeState$TypesObjectsIterator.nextObject:(Lcom/oracle/graal/pointsto/meta/AnalysisType;)Lcom/oracle/graal/pointsto/flow/context/object/AnalysisObject;
astore 7
start local 7 16: aload 1
invokevirtual com.oracle.graal.pointsto.BigBang.contextPolicy:()Lcom/oracle/graal/pointsto/flow/context/AnalysisContextPolicy;
aload 1
aload 7
aload 0
getfield com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow.callerContext:Lcom/oracle/graal/pointsto/flow/context/AnalysisContext;
aload 6
invokevirtual com.oracle.graal.pointsto.flow.context.AnalysisContextPolicy.calleeContext:(Lcom/oracle/graal/pointsto/BigBang;Lcom/oracle/graal/pointsto/flow/context/object/AnalysisObject;Lcom/oracle/graal/pointsto/flow/context/AnalysisContext;Lcom/oracle/graal/pointsto/flow/MethodTypeFlow;)Lcom/oracle/graal/pointsto/flow/context/AnalysisContext;
astore 8
start local 8 17: aload 6
aload 1
aload 8
aload 0
invokevirtual com.oracle.graal.pointsto.flow.MethodTypeFlow.addContext:(Lcom/oracle/graal/pointsto/BigBang;Lcom/oracle/graal/pointsto/flow/context/AnalysisContext;Lcom/oracle/graal/pointsto/flow/InvokeTypeFlow;)Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;
astore 9
start local 9 18: aload 0
getfield com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow.calleesFlows:Ljava/util/concurrent/ConcurrentMap;
aload 9
getstatic java.lang.Boolean.TRUE:Ljava/lang/Boolean;
invokeinterface java.util.concurrent.ConcurrentMap.put:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
ifnonnull 21
19: aload 0
aload 9
invokevirtual com.oracle.graal.pointsto.flow.MethodFlowsGraph.getMethod:()Lcom/oracle/graal/pointsto/meta/AnalysisMethod;
invokevirtual com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow.addCallee:(Lcom/oracle/graal/pointsto/meta/AnalysisMethod;)Z
pop
20: aload 0
aload 1
iconst_0
aload 9
invokevirtual com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow.linkCallee:(Lcom/oracle/graal/pointsto/BigBang;ZLcom/oracle/graal/pointsto/flow/MethodFlowsGraph;)V
21: StackMap locals: com.oracle.graal.pointsto.flow.context.object.AnalysisObject com.oracle.graal.pointsto.flow.context.AnalysisContext com.oracle.graal.pointsto.flow.MethodFlowsGraph
StackMap stack:
aload 0
aload 1
aload 9
aload 7
invokevirtual com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow.updateReceiver:(Lcom/oracle/graal/pointsto/BigBang;Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;Lcom/oracle/graal/pointsto/flow/context/object/AnalysisObject;)V
end local 9 end local 8 end local 7 22: StackMap locals:
StackMap stack:
aload 3
aload 4
invokevirtual com.oracle.graal.pointsto.typestate.TypeState$TypesObjectsIterator.hasNextObject:(Lcom/oracle/graal/pointsto/meta/AnalysisType;)Z
ifne 15
end local 6 end local 5 end local 4 23: StackMap locals:
StackMap stack:
aload 3
invokevirtual com.oracle.graal.pointsto.typestate.TypeState$TypesObjectsIterator.hasNextType:()Z
ifne 8
24: return
end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 25 0 this Lcom/oracle/graal/pointsto/BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow;
0 25 1 bb Lcom/oracle/graal/pointsto/BigBang;
2 25 2 receiverState Lcom/oracle/graal/pointsto/typestate/TypeState;
7 25 3 toi Lcom/oracle/graal/pointsto/typestate/TypeState$TypesObjectsIterator;
9 23 4 type Lcom/oracle/graal/pointsto/meta/AnalysisType;
10 23 5 method Lcom/oracle/graal/pointsto/meta/AnalysisMethod;
14 23 6 callee Lcom/oracle/graal/pointsto/flow/MethodTypeFlow;
16 22 7 actualReceiverObject Lcom/oracle/graal/pointsto/flow/context/object/AnalysisObject;
17 22 8 calleeContext Lcom/oracle/graal/pointsto/flow/context/AnalysisContext;
18 22 9 calleeFlows Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;
MethodParameters:
Name Flags
bb
public java.util.Collection<com.oracle.graal.pointsto.flow.MethodFlowsGraph> getCalleesFlows(com.oracle.graal.pointsto.BigBang);
descriptor: (Lcom/oracle/graal/pointsto/BigBang;)Ljava/util/Collection;
flags: (0x0001) ACC_PUBLIC
Code:
stack=3, locals=2, args_size=2
start local 0 start local 1 0: new java.util.ArrayList
dup
aload 0
getfield com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow.calleesFlows:Ljava/util/concurrent/ConcurrentMap;
invokeinterface java.util.concurrent.ConcurrentMap.keySet:()Ljava/util/Set;
invokespecial java.util.ArrayList.<init>:(Ljava/util/Collection;)V
areturn
end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 1 0 this Lcom/oracle/graal/pointsto/BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow;
0 1 1 bb Lcom/oracle/graal/pointsto/BigBang;
Signature: (Lcom/oracle/graal/pointsto/BigBang;)Ljava/util/Collection<Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;>;
MethodParameters:
Name Flags
bb
}
SourceFile: "BytecodeSensitiveAnalysisPolicy.java"
NestHost: com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy
InnerClasses:
private BytecodeSensitiveVirtualInvokeTypeFlow = com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveVirtualInvokeTypeFlow of com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy
public TypesObjectsIterator = com.oracle.graal.pointsto.typestate.TypeState$TypesObjectsIterator of com.oracle.graal.pointsto.typestate.TypeState