final class com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow extends com.oracle.graal.pointsto.flow.AbstractSpecialInvokeTypeFlow
minor version: 0
major version: 59
flags: flags: (0x0030) ACC_FINAL, ACC_SUPER
this_class: com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow
super_class: com.oracle.graal.pointsto.flow.AbstractSpecialInvokeTypeFlow
{
private java.util.concurrent.ConcurrentMap<com.oracle.graal.pointsto.flow.MethodFlowsGraph, java.lang.Object> calleesFlows;
descriptor: Ljava/util/concurrent/ConcurrentMap;
flags: (0x0002) ACC_PRIVATE
Signature: Ljava/util/concurrent/ConcurrentMap<Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;Ljava/lang/Object;>;
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$BytecodeSensitiveSpecialInvokeTypeFlow.$assertionsDisabled:Z
return
LocalVariableTable:
Start End Slot Name Signature
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: (0x0000)
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.AbstractSpecialInvokeTypeFlow.<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: 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 2 0 this Lcom/oracle/graal/pointsto/BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow;
0 2 1 invokeLocation Ljdk/vm/ci/code/BytecodePosition;
0 2 2 receiverType Lcom/oracle/graal/pointsto/meta/AnalysisType;
0 2 3 targetMethod Lcom/oracle/graal/pointsto/meta/AnalysisMethod;
0 2 4 actualParameters [Lcom/oracle/graal/pointsto/flow/TypeFlow;
0 2 5 actualReturn Lcom/oracle/graal/pointsto/flow/ActualReturnTypeFlow;
0 2 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
private void <init>(com.oracle.graal.pointsto.BigBang, com.oracle.graal.pointsto.flow.MethodFlowsGraph, com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow);
descriptor: (Lcom/oracle/graal/pointsto/BigBang;Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;Lcom/oracle/graal/pointsto/BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow;)V
flags: (0x0002) ACC_PRIVATE
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.AbstractSpecialInvokeTypeFlow.<init>:(Lcom/oracle/graal/pointsto/BigBang;Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;Lcom/oracle/graal/pointsto/flow/AbstractSpecialInvokeTypeFlow;)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$BytecodeSensitiveSpecialInvokeTypeFlow.calleesFlows:Ljava/util/concurrent/ConcurrentMap;
2: return
end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 3 0 this Lcom/oracle/graal/pointsto/BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow;
0 3 1 bb Lcom/oracle/graal/pointsto/BigBang;
0 3 2 methodFlows Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;
0 3 3 original Lcom/oracle/graal/pointsto/BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow;
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$BytecodeSensitiveSpecialInvokeTypeFlow
dup
aload 1
aload 2
aload 0
invokespecial com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow.<init>:(Lcom/oracle/graal/pointsto/BigBang;Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;Lcom/oracle/graal/pointsto/BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow;)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$BytecodeSensitiveSpecialInvokeTypeFlow;
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=5, locals=9, args_size=2
start local 0 start local 1 0: getstatic com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow.$assertionsDisabled:Z
ifne 1
aload 0
invokevirtual com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow.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$BytecodeSensitiveSpecialInvokeTypeFlow.initCallee:()V
2: aload 0
aload 1
aload 0
invokevirtual com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow.getReceiver:()Lcom/oracle/graal/pointsto/flow/TypeFlow;
invokevirtual com.oracle.graal.pointsto.flow.TypeFlow.getState:()Lcom/oracle/graal/pointsto/typestate/TypeState;
invokevirtual com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow.filterReceiverState:(Lcom/oracle/graal/pointsto/BigBang;Lcom/oracle/graal/pointsto/typestate/TypeState;)Lcom/oracle/graal/pointsto/typestate/TypeState;
astore 2
start local 2 3: aload 2
invokevirtual com.oracle.graal.pointsto.typestate.TypeState.objects:()[Lcom/oracle/graal/pointsto/flow/context/object/AnalysisObject;
dup
astore 6
arraylength
istore 5
iconst_0
istore 4
goto 11
StackMap locals: com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow com.oracle.graal.pointsto.BigBang com.oracle.graal.pointsto.typestate.TypeState top int int com.oracle.graal.pointsto.flow.context.object.AnalysisObject[]
StackMap stack:
4: aload 6
iload 4
aaload
astore 3
start local 3 5: aload 1
invokevirtual com.oracle.graal.pointsto.BigBang.contextPolicy:()Lcom/oracle/graal/pointsto/flow/context/AnalysisContextPolicy;
aload 1
aload 3
aload 0
getfield com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow.callerContext:Lcom/oracle/graal/pointsto/flow/context/AnalysisContext;
aload 0
getfield com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow.callee:Lcom/oracle/graal/pointsto/flow/MethodTypeFlow;
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 7
start local 7 6: aload 0
getfield com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow.callee:Lcom/oracle/graal/pointsto/flow/MethodTypeFlow;
aload 1
aload 7
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 8
start local 8 7: aload 0
getfield com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow.calleesFlows:Ljava/util/concurrent/ConcurrentMap;
aload 8
getstatic java.lang.Boolean.TRUE:Ljava/lang/Boolean;
invokeinterface java.util.concurrent.ConcurrentMap.putIfAbsent:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
ifnonnull 9
8: aload 0
aload 1
iconst_0
aload 8
invokevirtual com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow.linkCallee:(Lcom/oracle/graal/pointsto/BigBang;ZLcom/oracle/graal/pointsto/flow/MethodFlowsGraph;)V
9: StackMap locals: com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow com.oracle.graal.pointsto.BigBang com.oracle.graal.pointsto.typestate.TypeState com.oracle.graal.pointsto.flow.context.object.AnalysisObject int int 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 8
aload 3
invokevirtual com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow.updateReceiver:(Lcom/oracle/graal/pointsto/BigBang;Lcom/oracle/graal/pointsto/flow/MethodFlowsGraph;Lcom/oracle/graal/pointsto/flow/context/object/AnalysisObject;)V
end local 8 end local 7 end local 3 10: iinc 4 1
StackMap locals: com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow com.oracle.graal.pointsto.BigBang com.oracle.graal.pointsto.typestate.TypeState top int int com.oracle.graal.pointsto.flow.context.object.AnalysisObject[]
StackMap stack:
11: iload 4
iload 5
if_icmplt 4
12: return
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 13 0 this Lcom/oracle/graal/pointsto/BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow;
0 13 1 bb Lcom/oracle/graal/pointsto/BigBang;
3 13 2 invokeState Lcom/oracle/graal/pointsto/typestate/TypeState;
5 10 3 receiverObject Lcom/oracle/graal/pointsto/flow/context/object/AnalysisObject;
6 10 7 calleeContext Lcom/oracle/graal/pointsto/flow/context/AnalysisContext;
7 10 8 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$BytecodeSensitiveSpecialInvokeTypeFlow.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$BytecodeSensitiveSpecialInvokeTypeFlow;
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 final BytecodeSensitiveSpecialInvokeTypeFlow = com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy$BytecodeSensitiveSpecialInvokeTypeFlow of com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy