public abstract class org.jruby.ir.dataflow.DataFlowProblem<T extends org.jruby.ir.dataflow.DataFlowProblem<T, U>, U extends org.jruby.ir.dataflow.FlowGraphNode<T, U>>
minor version: 0
major version: 59
flags: flags: (0x0421) ACC_PUBLIC, ACC_SUPER, ACC_ABSTRACT
this_class: org.jruby.ir.dataflow.DataFlowProblem
super_class: java.lang.Object
{
public final org.jruby.ir.dataflow.DataFlowProblem$DF_Direction direction;
descriptor: Lorg/jruby/ir/dataflow/DataFlowProblem$DF_Direction;
flags: (0x0011) ACC_PUBLIC, ACC_FINAL
Signature: Lorg/jruby/ir/dataflow/DataFlowProblem$DF_Direction;
protected java.util.List<U> flowGraphNodes;
descriptor: Ljava/util/List;
flags: (0x0004) ACC_PROTECTED
Signature: Ljava/util/List<TU;>;
protected org.jruby.ir.IRScope scope;
descriptor: Lorg/jruby/ir/IRScope;
flags: (0x0004) ACC_PROTECTED
private int nextVariableId;
descriptor: I
flags: (0x0002) ACC_PRIVATE
private java.util.Map<org.jruby.ir.representations.BasicBlock, U> basicBlockToFlowGraph;
descriptor: Ljava/util/Map;
flags: (0x0002) ACC_PRIVATE
Signature: Ljava/util/Map<Lorg/jruby/ir/representations/BasicBlock;TU;>;
public void <init>(org.jruby.ir.dataflow.DataFlowProblem$DF_Direction);
descriptor: (Lorg/jruby/ir/dataflow/DataFlowProblem$DF_Direction;)V
flags: (0x0001) ACC_PUBLIC
Code:
stack=2, locals=2, args_size=2
start local 0 start local 1 0: aload 0
invokespecial java.lang.Object.<init>:()V
1: aload 0
iconst_m1
putfield org.jruby.ir.dataflow.DataFlowProblem.nextVariableId:I
2: aload 0
aload 1
putfield org.jruby.ir.dataflow.DataFlowProblem.direction:Lorg/jruby/ir/dataflow/DataFlowProblem$DF_Direction;
3: return
end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 4 0 this Lorg/jruby/ir/dataflow/DataFlowProblem<TT;TU;>;
0 4 1 direction Lorg/jruby/ir/dataflow/DataFlowProblem$DF_Direction;
Signature: (Lorg/jruby/ir/dataflow/DataFlowProblem$DF_Direction;)V
MethodParameters:
Name Flags
direction
public abstract U buildFlowGraphNode(org.jruby.ir.representations.BasicBlock);
descriptor: (Lorg/jruby/ir/representations/BasicBlock;)Lorg/jruby/ir/dataflow/FlowGraphNode;
flags: (0x0401) ACC_PUBLIC, ACC_ABSTRACT
Signature: (Lorg/jruby/ir/representations/BasicBlock;)TU;
MethodParameters:
Name Flags
bb
public abstract java.lang.String getName();
descriptor: ()Ljava/lang/String;
flags: (0x0401) ACC_PUBLIC, ACC_ABSTRACT
public boolean isEmpty();
descriptor: ()Z
flags: (0x0001) ACC_PUBLIC
Code:
stack=1, locals=1, args_size=1
start local 0 0: iconst_0
ireturn
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 1 0 this Lorg/jruby/ir/dataflow/DataFlowProblem<TT;TU;>;
public org.jruby.ir.dataflow.DataFlowProblem$DF_Direction getFlowDirection();
descriptor: ()Lorg/jruby/ir/dataflow/DataFlowProblem$DF_Direction;
flags: (0x0001) ACC_PUBLIC
Code:
stack=1, locals=1, args_size=1
start local 0 0: aload 0
getfield org.jruby.ir.dataflow.DataFlowProblem.direction:Lorg/jruby/ir/dataflow/DataFlowProblem$DF_Direction;
areturn
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 1 0 this Lorg/jruby/ir/dataflow/DataFlowProblem<TT;TU;>;
Signature: ()Lorg/jruby/ir/dataflow/DataFlowProblem$DF_Direction;
public void setup(org.jruby.ir.IRScope);
descriptor: (Lorg/jruby/ir/IRScope;)V
flags: (0x0001) ACC_PUBLIC
Code:
stack=2, locals=2, args_size=2
start local 0 start local 1 0: aload 0
aload 1
putfield org.jruby.ir.dataflow.DataFlowProblem.scope:Lorg/jruby/ir/IRScope;
1: aload 0
invokevirtual org.jruby.ir.dataflow.DataFlowProblem.buildFlowGraph:()V
2: return
end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 3 0 this Lorg/jruby/ir/dataflow/DataFlowProblem<TT;TU;>;
0 3 1 scope Lorg/jruby/ir/IRScope;
MethodParameters:
Name Flags
scope
public org.jruby.ir.IRScope getScope();
descriptor: ()Lorg/jruby/ir/IRScope;
flags: (0x0001) ACC_PUBLIC
Code:
stack=1, locals=1, args_size=1
start local 0 0: aload 0
getfield org.jruby.ir.dataflow.DataFlowProblem.scope:Lorg/jruby/ir/IRScope;
areturn
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 1 0 this Lorg/jruby/ir/dataflow/DataFlowProblem<TT;TU;>;
public void compute_MOP_Solution();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=4, locals=4, args_size=1
start local 0 0: aload 0
invokevirtual org.jruby.ir.dataflow.DataFlowProblem.isEmpty:()Z
ifeq 1
return
1: StackMap locals:
StackMap stack:
aload 0
invokevirtual org.jruby.ir.dataflow.DataFlowProblem.generateWorkList:()Ljava/util/LinkedList;
astore 1
start local 1 2: aload 0
getfield org.jruby.ir.dataflow.DataFlowProblem.scope:Lorg/jruby/ir/IRScope;
invokevirtual org.jruby.ir.IRScope.getCFG:()Lorg/jruby/ir/representations/CFG;
invokevirtual org.jruby.ir.representations.CFG.getMaxNodeID:()I
istore 2
start local 2 3: new java.util.BitSet
dup
iconst_1
iload 2
iadd
invokespecial java.util.BitSet.<init>:(I)V
astore 3
start local 3 4: aload 3
iconst_0
iload 2
invokevirtual java.util.BitSet.flip:(II)V
5: goto 7
6: StackMap locals: java.util.LinkedList int java.util.BitSet
StackMap stack:
aload 1
invokevirtual java.util.LinkedList.removeFirst:()Ljava/lang/Object;
checkcast org.jruby.ir.dataflow.FlowGraphNode
aload 1
aload 3
invokevirtual org.jruby.ir.dataflow.FlowGraphNode.computeDataFlowInfo:(Ljava/util/List;Ljava/util/BitSet;)V
7: StackMap locals:
StackMap stack:
aload 1
invokevirtual java.util.LinkedList.isEmpty:()Z
ifeq 6
8: return
end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 9 0 this Lorg/jruby/ir/dataflow/DataFlowProblem<TT;TU;>;
2 9 1 workList Ljava/util/LinkedList<TU;>;
3 9 2 numNodes I
4 9 3 bbSet Ljava/util/BitSet;
protected java.util.LinkedList<U> generateWorkList();
descriptor: ()Ljava/util/LinkedList;
flags: (0x0004) ACC_PROTECTED
Code:
stack=3, locals=3, args_size=1
start local 0 0: new java.util.LinkedList
dup
invokespecial java.util.LinkedList.<init>:()V
astore 1
start local 1 1: aload 0
getfield org.jruby.ir.dataflow.DataFlowProblem.direction:Lorg/jruby/ir/dataflow/DataFlowProblem$DF_Direction;
getstatic org.jruby.ir.dataflow.DataFlowProblem$DF_Direction.FORWARD:Lorg/jruby/ir/dataflow/DataFlowProblem$DF_Direction;
if_acmpne 3
2: aload 0
getfield org.jruby.ir.dataflow.DataFlowProblem.scope:Lorg/jruby/ir/IRScope;
invokevirtual org.jruby.ir.IRScope.getCFG:()Lorg/jruby/ir/representations/CFG;
invokevirtual org.jruby.ir.representations.CFG.getReversePostOrderTraverser:()Ljava/util/Iterator;
goto 4
StackMap locals: java.util.LinkedList
StackMap stack:
3: aload 0
getfield org.jruby.ir.dataflow.DataFlowProblem.scope:Lorg/jruby/ir/IRScope;
invokevirtual org.jruby.ir.IRScope.getCFG:()Lorg/jruby/ir/representations/CFG;
invokevirtual org.jruby.ir.representations.CFG.getPostOrderTraverser:()Ljava/util/Iterator;
4: StackMap locals:
StackMap stack: java.util.Iterator
astore 2
start local 2 5: goto 7
6: StackMap locals: java.util.Iterator
StackMap stack:
aload 1
aload 0
aload 2
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast org.jruby.ir.representations.BasicBlock
invokevirtual org.jruby.ir.dataflow.DataFlowProblem.getFlowGraphNode:(Lorg/jruby/ir/representations/BasicBlock;)Lorg/jruby/ir/dataflow/FlowGraphNode;
invokevirtual java.util.LinkedList.add:(Ljava/lang/Object;)Z
pop
7: StackMap locals:
StackMap stack:
aload 2
invokeinterface java.util.Iterator.hasNext:()Z
ifne 6
8: aload 1
areturn
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 9 0 this Lorg/jruby/ir/dataflow/DataFlowProblem<TT;TU;>;
1 9 1 wl Ljava/util/LinkedList<TU;>;
5 9 2 it Ljava/util/Iterator<Lorg/jruby/ir/representations/BasicBlock;>;
Signature: ()Ljava/util/LinkedList<TU;>;
public int getDFVarsCount();
descriptor: ()I
flags: (0x0001) ACC_PUBLIC
Code:
stack=2, locals=1, args_size=1
start local 0 0: aload 0
getfield org.jruby.ir.dataflow.DataFlowProblem.nextVariableId:I
iconst_1
iadd
ireturn
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 1 0 this Lorg/jruby/ir/dataflow/DataFlowProblem<TT;TU;>;
public java.lang.String getDataFlowVarsForOutput();
descriptor: ()Ljava/lang/String;
flags: (0x0001) ACC_PUBLIC
Code:
stack=1, locals=1, args_size=1
start local 0 0: ldc ""
areturn
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 1 0 this Lorg/jruby/ir/dataflow/DataFlowProblem<TT;TU;>;
public java.lang.String toString();
descriptor: ()Ljava/lang/String;
flags: (0x0001) ACC_PUBLIC
Code:
stack=2, locals=4, args_size=1
start local 0 0: new java.lang.StringBuilder
dup
invokespecial java.lang.StringBuilder.<init>:()V
astore 1
start local 1 1: aload 1
ldc "----"
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
aload 0
invokevirtual org.jruby.ir.dataflow.DataFlowProblem.getName:()Ljava/lang/String;
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
ldc "----\n"
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
2: aload 1
ldc "---- Data Flow Vars: ----\n"
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
3: aload 1
aload 0
invokevirtual org.jruby.ir.dataflow.DataFlowProblem.getDataFlowVarsForOutput:()Ljava/lang/String;
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
4: aload 1
ldc "-------------------------\n"
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
5: aload 0
getfield org.jruby.ir.dataflow.DataFlowProblem.flowGraphNodes:Ljava/util/List;
invokeinterface java.util.List.iterator:()Ljava/util/Iterator;
astore 3
goto 8
StackMap locals: org.jruby.ir.dataflow.DataFlowProblem java.lang.StringBuilder top java.util.Iterator
StackMap stack:
6: aload 3
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast org.jruby.ir.dataflow.FlowGraphNode
astore 2
start local 2 7: aload 1
ldc "DF State for BB "
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
aload 2
getfield org.jruby.ir.dataflow.FlowGraphNode.basicBlock:Lorg/jruby/ir/representations/BasicBlock;
invokevirtual org.jruby.ir.representations.BasicBlock.getID:()I
invokevirtual java.lang.StringBuilder.append:(I)Ljava/lang/StringBuilder;
ldc ":\n"
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
aload 2
invokevirtual java.lang.Object.toString:()Ljava/lang/String;
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
end local 2 8: StackMap locals:
StackMap stack:
aload 3
invokeinterface java.util.Iterator.hasNext:()Z
ifne 6
9: aload 1
invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
areturn
end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 10 0 this Lorg/jruby/ir/dataflow/DataFlowProblem<TT;TU;>;
1 10 1 buf Ljava/lang/StringBuilder;
7 8 2 n Lorg/jruby/ir/dataflow/FlowGraphNode;
public U getFlowGraphNode(org.jruby.ir.representations.BasicBlock);
descriptor: (Lorg/jruby/ir/representations/BasicBlock;)Lorg/jruby/ir/dataflow/FlowGraphNode;
flags: (0x0001) ACC_PUBLIC
Code:
stack=2, locals=2, args_size=2
start local 0 start local 1 0: aload 0
getfield org.jruby.ir.dataflow.DataFlowProblem.basicBlockToFlowGraph:Ljava/util/Map;
aload 1
invokeinterface java.util.Map.get:(Ljava/lang/Object;)Ljava/lang/Object;
checkcast org.jruby.ir.dataflow.FlowGraphNode
areturn
end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 1 0 this Lorg/jruby/ir/dataflow/DataFlowProblem<TT;TU;>;
0 1 1 bb Lorg/jruby/ir/representations/BasicBlock;
Signature: (Lorg/jruby/ir/representations/BasicBlock;)TU;
MethodParameters:
Name Flags
bb
public U getEntryNode();
descriptor: ()Lorg/jruby/ir/dataflow/FlowGraphNode;
flags: (0x0001) ACC_PUBLIC
Code:
stack=2, locals=1, args_size=1
start local 0 0: aload 0
aload 0
getfield org.jruby.ir.dataflow.DataFlowProblem.scope:Lorg/jruby/ir/IRScope;
invokevirtual org.jruby.ir.IRScope.getCFG:()Lorg/jruby/ir/representations/CFG;
invokevirtual org.jruby.ir.representations.CFG.getEntryBB:()Lorg/jruby/ir/representations/BasicBlock;
invokevirtual org.jruby.ir.dataflow.DataFlowProblem.getFlowGraphNode:(Lorg/jruby/ir/representations/BasicBlock;)Lorg/jruby/ir/dataflow/FlowGraphNode;
areturn
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 1 0 this Lorg/jruby/ir/dataflow/DataFlowProblem<TT;TU;>;
Signature: ()TU;
public U getExitNode();
descriptor: ()Lorg/jruby/ir/dataflow/FlowGraphNode;
flags: (0x0001) ACC_PUBLIC
Code:
stack=2, locals=1, args_size=1
start local 0 0: aload 0
aload 0
getfield org.jruby.ir.dataflow.DataFlowProblem.scope:Lorg/jruby/ir/IRScope;
invokevirtual org.jruby.ir.IRScope.getCFG:()Lorg/jruby/ir/representations/CFG;
invokevirtual org.jruby.ir.representations.CFG.getExitBB:()Lorg/jruby/ir/representations/BasicBlock;
invokevirtual org.jruby.ir.dataflow.DataFlowProblem.getFlowGraphNode:(Lorg/jruby/ir/representations/BasicBlock;)Lorg/jruby/ir/dataflow/FlowGraphNode;
areturn
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 1 0 this Lorg/jruby/ir/dataflow/DataFlowProblem<TT;TU;>;
Signature: ()TU;
public int addDataFlowVar();
descriptor: ()I
flags: (0x0001) ACC_PUBLIC
Code:
stack=3, locals=1, args_size=1
start local 0 0: aload 0
dup
getfield org.jruby.ir.dataflow.DataFlowProblem.nextVariableId:I
iconst_1
iadd
putfield org.jruby.ir.dataflow.DataFlowProblem.nextVariableId:I
1: aload 0
getfield org.jruby.ir.dataflow.DataFlowProblem.nextVariableId:I
ireturn
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 2 0 this Lorg/jruby/ir/dataflow/DataFlowProblem<TT;TU;>;
private void buildFlowGraph();
descriptor: ()V
flags: (0x0002) ACC_PRIVATE
Code:
stack=3, locals=4, args_size=1
start local 0 0: aload 0
new java.util.LinkedList
dup
invokespecial java.util.LinkedList.<init>:()V
putfield org.jruby.ir.dataflow.DataFlowProblem.flowGraphNodes:Ljava/util/List;
1: aload 0
new java.util.HashMap
dup
invokespecial java.util.HashMap.<init>:()V
putfield org.jruby.ir.dataflow.DataFlowProblem.basicBlockToFlowGraph:Ljava/util/Map;
2: aload 0
getfield org.jruby.ir.dataflow.DataFlowProblem.scope:Lorg/jruby/ir/IRScope;
invokevirtual org.jruby.ir.IRScope.getCFG:()Lorg/jruby/ir/representations/CFG;
invokevirtual org.jruby.ir.representations.CFG.getBasicBlocks:()Ljava/util/Collection;
invokeinterface java.util.Collection.iterator:()Ljava/util/Iterator;
astore 2
goto 9
StackMap locals: org.jruby.ir.dataflow.DataFlowProblem top java.util.Iterator
StackMap stack:
3: aload 2
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast org.jruby.ir.representations.BasicBlock
astore 1
start local 1 4: aload 0
aload 1
invokevirtual org.jruby.ir.dataflow.DataFlowProblem.buildFlowGraphNode:(Lorg/jruby/ir/representations/BasicBlock;)Lorg/jruby/ir/dataflow/FlowGraphNode;
astore 3
start local 3 5: aload 3
invokevirtual org.jruby.ir.dataflow.FlowGraphNode.init:()V
6: aload 3
invokevirtual org.jruby.ir.dataflow.FlowGraphNode.buildDataFlowVars:()V
7: aload 0
getfield org.jruby.ir.dataflow.DataFlowProblem.flowGraphNodes:Ljava/util/List;
aload 3
invokeinterface java.util.List.add:(Ljava/lang/Object;)Z
pop
8: aload 0
getfield org.jruby.ir.dataflow.DataFlowProblem.basicBlockToFlowGraph:Ljava/util/Map;
aload 1
aload 3
invokeinterface java.util.Map.put:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
pop
end local 3 end local 1 9: StackMap locals:
StackMap stack:
aload 2
invokeinterface java.util.Iterator.hasNext:()Z
ifne 3
10: return
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 11 0 this Lorg/jruby/ir/dataflow/DataFlowProblem<TT;TU;>;
4 9 1 bb Lorg/jruby/ir/representations/BasicBlock;
5 9 3 fgNode TU;
}
Signature: <T:Lorg/jruby/ir/dataflow/DataFlowProblem<TT;TU;>;U:Lorg/jruby/ir/dataflow/FlowGraphNode<TT;TU;>;>Ljava/lang/Object;
SourceFile: "DataFlowProblem.java"
NestMembers:
org.jruby.ir.dataflow.DataFlowProblem$DF_Direction
InnerClasses:
public final DF_Direction = org.jruby.ir.dataflow.DataFlowProblem$DF_Direction of org.jruby.ir.dataflow.DataFlowProblem