public final class com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis
minor version: 0
major version: 59
flags: flags: (0x0031) ACC_PUBLIC, ACC_FINAL, ACC_SUPER
this_class: com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis
super_class: java.lang.Object
{
private final com.oracle.truffle.llvm.parser.model.functions.FunctionDefinition functionDefinition;
descriptor: Lcom/oracle/truffle/llvm/parser/model/functions/FunctionDefinition;
flags: (0x0012) ACC_PRIVATE, ACC_FINAL
private final com.oracle.truffle.llvm.runtime.types.symbols.SSAValue[] frameSlots;
descriptor: [Lcom/oracle/truffle/llvm/runtime/types/symbols/SSAValue;
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/truffle/llvm/parser/LLVMLivenessAnalysis;
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.truffle.llvm.parser.LLVMLivenessAnalysis.$assertionsDisabled:Z
return
LocalVariableTable:
Start End Slot Name Signature
private void <init>(com.oracle.truffle.llvm.parser.model.functions.FunctionDefinition);
descriptor: (Lcom/oracle/truffle/llvm/parser/model/functions/FunctionDefinition;)V
flags: (0x0002) ACC_PRIVATE
Code:
stack=3, locals=8, args_size=2
start local 0 start local 1 0: aload 0
invokespecial java.lang.Object.<init>:()V
1: aload 0
aload 1
putfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.functionDefinition:Lcom/oracle/truffle/llvm/parser/model/functions/FunctionDefinition;
2: new java.util.ArrayList
dup
invokespecial java.util.ArrayList.<init>:()V
astore 2
start local 2 3: aload 1
invokevirtual com.oracle.truffle.llvm.parser.model.functions.FunctionDefinition.getParameters:()Ljava/util/List;
invokeinterface java.util.List.iterator:()Ljava/util/Iterator;
astore 4
goto 7
StackMap locals: com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis com.oracle.truffle.llvm.parser.model.functions.FunctionDefinition java.util.ArrayList top java.util.Iterator
StackMap stack:
4: aload 4
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast com.oracle.truffle.llvm.parser.model.functions.FunctionParameter
astore 3
start local 3 5: aload 3
aload 2
invokevirtual java.util.ArrayList.size:()I
invokevirtual com.oracle.truffle.llvm.parser.model.functions.FunctionParameter.setFrameIdentifier:(I)V
6: aload 2
aload 3
invokevirtual java.util.ArrayList.add:(Ljava/lang/Object;)Z
pop
end local 3 7: StackMap locals:
StackMap stack:
aload 4
invokeinterface java.util.Iterator.hasNext:()Z
ifne 4
8: aload 1
invokevirtual com.oracle.truffle.llvm.parser.model.functions.FunctionDefinition.getBlocks:()Ljava/util/List;
invokeinterface java.util.List.iterator:()Ljava/util/Iterator;
astore 4
goto 17
StackMap locals:
StackMap stack:
9: aload 4
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock
astore 3
start local 3 10: aload 3
invokevirtual com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock.getInstructions:()Ljava/util/List;
invokeinterface java.util.List.iterator:()Ljava/util/Iterator;
astore 6
goto 16
StackMap locals: com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis com.oracle.truffle.llvm.parser.model.functions.FunctionDefinition java.util.ArrayList com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock java.util.Iterator top java.util.Iterator
StackMap stack:
11: aload 6
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast com.oracle.truffle.llvm.parser.model.symbols.instructions.Instruction
astore 5
start local 5 12: aload 5
instanceof com.oracle.truffle.llvm.parser.model.symbols.instructions.ValueInstruction
ifeq 16
13: aload 5
checkcast com.oracle.truffle.llvm.parser.model.symbols.instructions.ValueInstruction
astore 7
start local 7 14: aload 7
aload 2
invokevirtual java.util.ArrayList.size:()I
invokevirtual com.oracle.truffle.llvm.parser.model.symbols.instructions.ValueInstruction.setFrameIdentifier:(I)V
15: aload 2
aload 7
invokevirtual java.util.ArrayList.add:(Ljava/lang/Object;)Z
pop
end local 7 end local 5 16: StackMap locals:
StackMap stack:
aload 6
invokeinterface java.util.Iterator.hasNext:()Z
ifne 11
end local 3 17: StackMap locals: com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis com.oracle.truffle.llvm.parser.model.functions.FunctionDefinition java.util.ArrayList top java.util.Iterator
StackMap stack:
aload 4
invokeinterface java.util.Iterator.hasNext:()Z
ifne 9
18: aload 0
aload 2
aload 2
invokevirtual java.util.ArrayList.size:()I
anewarray com.oracle.truffle.llvm.runtime.types.symbols.SSAValue
invokevirtual java.util.ArrayList.toArray:([Ljava/lang/Object;)[Ljava/lang/Object;
checkcast com.oracle.truffle.llvm.runtime.types.symbols.SSAValue[]
putfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.frameSlots:[Lcom/oracle/truffle/llvm/runtime/types/symbols/SSAValue;
19: return
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 20 0 this Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis;
0 20 1 functionDefinition Lcom/oracle/truffle/llvm/parser/model/functions/FunctionDefinition;
3 20 2 slots Ljava/util/ArrayList<Lcom/oracle/truffle/llvm/runtime/types/symbols/SSAValue;>;
5 7 3 param Lcom/oracle/truffle/llvm/parser/model/functions/FunctionParameter;
10 17 3 block Lcom/oracle/truffle/llvm/parser/model/blocks/InstructionBlock;
12 16 5 instruction Lcom/oracle/truffle/llvm/parser/model/symbols/instructions/Instruction;
14 16 7 value Lcom/oracle/truffle/llvm/parser/model/symbols/instructions/ValueInstruction;
MethodParameters:
Name Flags
functionDefinition
public static com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$LLVMLivenessAnalysisResult computeLiveness(java.util.Map<com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock, java.util.List<com.oracle.truffle.llvm.parser.LLVMPhiManager$Phi>>, com.oracle.truffle.llvm.parser.model.functions.FunctionDefinition, java.io.PrintStream);
descriptor: (Ljava/util/Map;Lcom/oracle/truffle/llvm/parser/model/functions/FunctionDefinition;Ljava/io/PrintStream;)Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$LLVMLivenessAnalysisResult;
flags: (0x0009) ACC_PUBLIC, ACC_STATIC
Code:
stack=5, locals=9, args_size=3
start local 0 start local 1 start local 2 0: new com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis
dup
aload 1
invokespecial com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.<init>:(Lcom/oracle/truffle/llvm/parser/model/functions/FunctionDefinition;)V
astore 3
start local 3 1: aload 1
invokevirtual com.oracle.truffle.llvm.parser.model.functions.FunctionDefinition.getBlocks:()Ljava/util/List;
astore 4
start local 4 2: aload 3
aload 0
aload 4
invokevirtual com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.initializeGenKill:(Ljava/util/Map;Ljava/util/List;)[Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$BlockInfo;
astore 5
start local 5 3: aload 4
invokestatic com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.computePredecessors:(Ljava/util/List;)[Ljava/util/ArrayList;
astore 6
start local 6 4: aload 4
aload 3
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.frameSlots:[Lcom/oracle/truffle/llvm/runtime/types/symbols/SSAValue;
arraylength
aload 5
aload 6
invokestatic com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.iterateToFixedPoint:(Ljava/util/List;I[Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$BlockInfo;[Ljava/util/ArrayList;)I
istore 7
start local 7 5: aload 2
ifnull 7
6: aload 3
aload 2
aload 4
aload 5
iload 7
invokevirtual com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.printIntermediateResult:(Ljava/io/PrintStream;Ljava/util/List;[Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$BlockInfo;I)V
7: StackMap locals: java.util.Map com.oracle.truffle.llvm.parser.model.functions.FunctionDefinition java.io.PrintStream com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis java.util.List com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo[] java.util.ArrayList[] int
StackMap stack:
aload 3
aload 4
aload 5
aload 6
invokevirtual com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.computeLivenessAnalysisResult:(Ljava/util/List;[Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$BlockInfo;[Ljava/util/ArrayList;)Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$LLVMLivenessAnalysisResult;
astore 8
start local 8 8: aload 2
ifnull 10
9: aload 3
aload 2
aload 4
aload 8
invokevirtual com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.printResult:(Ljava/io/PrintStream;Ljava/util/List;Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$LLVMLivenessAnalysisResult;)V
10: StackMap locals: com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$LLVMLivenessAnalysisResult
StackMap stack:
aload 8
areturn
end local 8 end local 7 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 11 0 phis Ljava/util/Map<Lcom/oracle/truffle/llvm/parser/model/blocks/InstructionBlock;Ljava/util/List<Lcom/oracle/truffle/llvm/parser/LLVMPhiManager$Phi;>;>;
0 11 1 functionDefinition Lcom/oracle/truffle/llvm/parser/model/functions/FunctionDefinition;
0 11 2 logLivenessStream Ljava/io/PrintStream;
1 11 3 analysis Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis;
2 11 4 blocks Ljava/util/List<Lcom/oracle/truffle/llvm/parser/model/blocks/InstructionBlock;>;
3 11 5 blockInfos [Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$BlockInfo;
4 11 6 predecessors [Ljava/util/ArrayList;
5 11 7 processedBlocks I
8 11 8 result Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$LLVMLivenessAnalysisResult;
Signature: (Ljava/util/Map<Lcom/oracle/truffle/llvm/parser/model/blocks/InstructionBlock;Ljava/util/List<Lcom/oracle/truffle/llvm/parser/LLVMPhiManager$Phi;>;>;Lcom/oracle/truffle/llvm/parser/model/functions/FunctionDefinition;Ljava/io/PrintStream;)Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$LLVMLivenessAnalysisResult;
MethodParameters:
Name Flags
phis
functionDefinition
logLivenessStream
private com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo[] initializeGenKill(java.util.Map<com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock, java.util.List<com.oracle.truffle.llvm.parser.LLVMPhiManager$Phi>>, java.util.List<com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock>);
descriptor: (Ljava/util/Map;Ljava/util/List;)[Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$BlockInfo;
flags: (0x0002) ACC_PRIVATE
Code:
stack=5, locals=11, args_size=3
start local 0 start local 1 start local 2 0: aload 2
invokeinterface java.util.List.size:()I
anewarray com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo
astore 3
start local 3 1: iconst_0
istore 4
start local 4 2: goto 31
3: StackMap locals: com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo[] int
StackMap stack:
aload 2
iload 4
invokeinterface java.util.List.get:(I)Ljava/lang/Object;
checkcast com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock
astore 5
start local 5 4: aload 3
iload 4
new com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo
dup
aload 0
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.frameSlots:[Lcom/oracle/truffle/llvm/runtime/types/symbols/SSAValue;
arraylength
invokespecial com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo.<init>:(I)V
dup_x2
aastore
astore 6
start local 6 5: iload 4
ifne 10
6: aload 0
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.functionDefinition:Lcom/oracle/truffle/llvm/parser/model/functions/FunctionDefinition;
invokevirtual com.oracle.truffle.llvm.parser.model.functions.FunctionDefinition.getParameters:()Ljava/util/List;
invokeinterface java.util.List.iterator:()Ljava/util/Iterator;
astore 8
goto 9
StackMap locals: com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis java.util.Map java.util.List com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo[] int com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo top java.util.Iterator
StackMap stack:
7: aload 8
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast com.oracle.truffle.llvm.parser.model.functions.FunctionParameter
astore 7
start local 7 8: aload 6
aload 7
invokevirtual com.oracle.truffle.llvm.parser.model.functions.FunctionParameter.getFrameIdentifier:()I
invokestatic com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.processRead:(Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$BlockInfo;I)V
end local 7 9: StackMap locals:
StackMap stack:
aload 8
invokeinterface java.util.Iterator.hasNext:()Z
ifne 7
10: StackMap locals: com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis java.util.Map java.util.List com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo[] int com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo
StackMap stack:
new com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$LLVMLivenessReadVisitor
dup
aload 0
aload 6
invokespecial com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$LLVMLivenessReadVisitor.<init>:(Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis;Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$BlockInfo;)V
astore 7
start local 7 11: iconst_0
istore 8
start local 8 12: goto 24
13: StackMap locals: com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$LLVMLivenessReadVisitor int
StackMap stack:
aload 5
iload 8
invokevirtual com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock.getInstruction:(I)Lcom/oracle/truffle/llvm/parser/model/symbols/instructions/Instruction;
astore 9
start local 9 14: aload 9
instanceof com.oracle.truffle.llvm.parser.model.symbols.instructions.PhiInstruction
ifeq 17
15: aload 9
checkcast com.oracle.truffle.llvm.parser.model.symbols.instructions.PhiInstruction
aload 6
invokestatic com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.processPhiWrite:(Lcom/oracle/truffle/llvm/parser/model/symbols/instructions/PhiInstruction;Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$BlockInfo;)V
16: goto 23
17: StackMap locals: com.oracle.truffle.llvm.parser.model.symbols.instructions.Instruction
StackMap stack:
aload 9
aload 7
invokevirtual com.oracle.truffle.llvm.parser.model.symbols.instructions.Instruction.accept:(Lcom/oracle/truffle/llvm/parser/ValueList$ValueVisitor;)V
18: aload 9
invokestatic com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.resolve:(Lcom/oracle/truffle/llvm/parser/model/SymbolImpl;)I
istore 10
start local 10 19: iload 10
iflt 23
20: aload 6
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo.defs:Ljava/util/BitSet;
iload 10
invokevirtual java.util.BitSet.set:(I)V
21: aload 6
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo.gen:Ljava/util/BitSet;
iload 10
invokevirtual java.util.BitSet.get:(I)Z
ifne 23
22: aload 6
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo.kill:Ljava/util/BitSet;
iload 10
invokevirtual java.util.BitSet.set:(I)V
end local 10 end local 9 23: StackMap locals:
StackMap stack:
iinc 8 1
StackMap locals:
StackMap stack:
24: iload 8
aload 5
invokevirtual com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock.getInstructionCount:()I
if_icmplt 13
end local 8 25: aload 1
aload 5
invokestatic java.util.Collections.emptyList:()Ljava/util/List;
invokeinterface java.util.Map.getOrDefault:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
checkcast java.util.List
astore 8
start local 8 26: aload 8
invokeinterface java.util.List.iterator:()Ljava/util/Iterator;
astore 10
goto 29
StackMap locals: com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis java.util.Map java.util.List com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo[] int com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$LLVMLivenessReadVisitor java.util.List top java.util.Iterator
StackMap stack:
27: aload 10
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast com.oracle.truffle.llvm.parser.LLVMPhiManager$Phi
astore 9
start local 9 28: aload 9
invokevirtual com.oracle.truffle.llvm.parser.LLVMPhiManager$Phi.getValue:()Lcom/oracle/truffle/llvm/parser/model/SymbolImpl;
aload 6
invokestatic com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.processValueUsedInPhi:(Lcom/oracle/truffle/llvm/parser/model/SymbolImpl;Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$BlockInfo;)V
end local 9 29: StackMap locals:
StackMap stack:
aload 10
invokeinterface java.util.Iterator.hasNext:()Z
ifne 27
end local 8 end local 7 end local 6 end local 5 30: iinc 4 1
StackMap locals: com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis java.util.Map java.util.List com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo[] int
StackMap stack:
31: iload 4
aload 2
invokeinterface java.util.List.size:()I
if_icmplt 3
end local 4 32: aload 3
areturn
end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 33 0 this Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis;
0 33 1 phis Ljava/util/Map<Lcom/oracle/truffle/llvm/parser/model/blocks/InstructionBlock;Ljava/util/List<Lcom/oracle/truffle/llvm/parser/LLVMPhiManager$Phi;>;>;
0 33 2 blocks Ljava/util/List<Lcom/oracle/truffle/llvm/parser/model/blocks/InstructionBlock;>;
1 33 3 result [Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$BlockInfo;
2 32 4 i I
4 30 5 block Lcom/oracle/truffle/llvm/parser/model/blocks/InstructionBlock;
5 30 6 blockInfo Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$BlockInfo;
8 9 7 param Lcom/oracle/truffle/llvm/parser/model/functions/FunctionParameter;
11 30 7 readVisitor Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$LLVMLivenessReadVisitor;
12 25 8 j I
14 23 9 instruction Lcom/oracle/truffle/llvm/parser/model/symbols/instructions/Instruction;
19 23 10 frameSlotIndex I
26 30 8 bbPhis Ljava/util/List<Lcom/oracle/truffle/llvm/parser/LLVMPhiManager$Phi;>;
28 29 9 phi Lcom/oracle/truffle/llvm/parser/LLVMPhiManager$Phi;
Signature: (Ljava/util/Map<Lcom/oracle/truffle/llvm/parser/model/blocks/InstructionBlock;Ljava/util/List<Lcom/oracle/truffle/llvm/parser/LLVMPhiManager$Phi;>;>;Ljava/util/List<Lcom/oracle/truffle/llvm/parser/model/blocks/InstructionBlock;>;)[Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$BlockInfo;
MethodParameters:
Name Flags
phis
blocks
private static int iterateToFixedPoint(java.util.List<com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock>, int, com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo[], java.util.ArrayList<com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock>[]);
descriptor: (Ljava/util/List;I[Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$BlockInfo;[Ljava/util/ArrayList;)I
flags: (0x000a) ACC_PRIVATE, ACC_STATIC
Code:
stack=3, locals=15, args_size=4
start local 0 start local 1 start local 2 start local 3 0: new java.util.ArrayDeque
dup
aload 0
invokespecial java.util.ArrayDeque.<init>:(Ljava/util/Collection;)V
astore 4
start local 4 1: new java.util.BitSet
dup
aload 0
invokeinterface java.util.List.size:()I
invokespecial java.util.BitSet.<init>:(I)V
astore 5
start local 5 2: aload 5
iconst_0
aload 5
invokevirtual java.util.BitSet.size:()I
invokevirtual java.util.BitSet.set:(II)V
3: new java.util.BitSet
dup
iload 1
invokespecial java.util.BitSet.<init>:(I)V
astore 6
start local 6 4: new java.util.BitSet
dup
iload 1
invokespecial java.util.BitSet.<init>:(I)V
astore 7
start local 7 5: iconst_0
istore 8
start local 8 6: goto 28
7: StackMap locals: java.util.List int com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo[] java.util.ArrayList[] java.util.ArrayDeque java.util.BitSet java.util.BitSet java.util.BitSet int
StackMap stack:
iinc 8 1
8: aload 4
aload 5
invokestatic com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.removeBlockFromWorkList:(Ljava/util/ArrayDeque;Ljava/util/BitSet;)Lcom/oracle/truffle/llvm/parser/model/blocks/InstructionBlock;
astore 9
start local 9 9: aload 2
aload 9
invokevirtual com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock.getBlockIndex:()I
aaload
astore 10
start local 10 10: aload 7
invokevirtual java.util.BitSet.clear:()V
11: aload 7
aload 10
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo.out:Ljava/util/BitSet;
invokevirtual java.util.BitSet.or:(Ljava/util/BitSet;)V
12: aload 7
aload 10
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo.defs:Ljava/util/BitSet;
invokevirtual java.util.BitSet.andNot:(Ljava/util/BitSet;)V
13: aload 7
aload 10
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo.gen:Ljava/util/BitSet;
invokevirtual java.util.BitSet.or:(Ljava/util/BitSet;)V
14: aload 7
aload 10
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo.phiDefs:Ljava/util/BitSet;
invokevirtual java.util.BitSet.or:(Ljava/util/BitSet;)V
15: aload 10
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo.in:Ljava/util/BitSet;
invokevirtual java.util.BitSet.clear:()V
16: aload 10
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo.in:Ljava/util/BitSet;
aload 7
invokevirtual java.util.BitSet.or:(Ljava/util/BitSet;)V
17: aload 3
aload 9
invokevirtual com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock.getBlockIndex:()I
aaload
invokevirtual java.util.ArrayList.iterator:()Ljava/util/Iterator;
astore 12
goto 27
StackMap locals: java.util.List int com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo[] java.util.ArrayList[] java.util.ArrayDeque java.util.BitSet java.util.BitSet java.util.BitSet int com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo top java.util.Iterator
StackMap stack:
18: aload 12
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock
astore 11
start local 11 19: aload 2
aload 11
invokevirtual com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock.getBlockIndex:()I
aaload
astore 13
start local 13 20: aload 6
invokevirtual java.util.BitSet.clear:()V
21: aload 6
aload 10
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo.in:Ljava/util/BitSet;
invokevirtual java.util.BitSet.or:(Ljava/util/BitSet;)V
22: aload 6
aload 10
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo.phiDefs:Ljava/util/BitSet;
invokevirtual java.util.BitSet.andNot:(Ljava/util/BitSet;)V
23: aload 6
aload 13
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo.phiUses:Ljava/util/BitSet;
invokevirtual java.util.BitSet.or:(Ljava/util/BitSet;)V
24: aload 13
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo.out:Ljava/util/BitSet;
aload 6
invokestatic com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.or:(Ljava/util/BitSet;Ljava/util/BitSet;)Z
istore 14
start local 14 25: iload 14
ifeq 27
26: aload 4
aload 5
aload 11
invokestatic com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.addBlockToWorkList:(Ljava/util/ArrayDeque;Ljava/util/BitSet;Lcom/oracle/truffle/llvm/parser/model/blocks/InstructionBlock;)V
end local 14 end local 13 end local 11 27: StackMap locals:
StackMap stack:
aload 12
invokeinterface java.util.Iterator.hasNext:()Z
ifne 18
end local 10 end local 9 28: StackMap locals: java.util.List int com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo[] java.util.ArrayList[] java.util.ArrayDeque java.util.BitSet java.util.BitSet java.util.BitSet int
StackMap stack:
aload 4
invokevirtual java.util.ArrayDeque.isEmpty:()Z
ifeq 7
29: iload 8
ireturn
end local 8 end local 7 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 30 0 blocks Ljava/util/List<Lcom/oracle/truffle/llvm/parser/model/blocks/InstructionBlock;>;
0 30 1 frameSize I
0 30 2 blockInfos [Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$BlockInfo;
0 30 3 predecessors [Ljava/util/ArrayList;
1 30 4 workList Ljava/util/ArrayDeque<Lcom/oracle/truffle/llvm/parser/model/blocks/InstructionBlock;>;
2 30 5 blockOnWorkList Ljava/util/BitSet;
4 30 6 newPredecessorOut Ljava/util/BitSet;
5 30 7 newIn Ljava/util/BitSet;
6 30 8 processedBlocks I
9 28 9 block Lcom/oracle/truffle/llvm/parser/model/blocks/InstructionBlock;
10 28 10 blockInfo Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$BlockInfo;
19 27 11 predecessor Lcom/oracle/truffle/llvm/parser/model/blocks/InstructionBlock;
20 27 13 predecessorBlockInfo Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$BlockInfo;
25 27 14 changed Z
Signature: (Ljava/util/List<Lcom/oracle/truffle/llvm/parser/model/blocks/InstructionBlock;>;I[Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$BlockInfo;[Ljava/util/ArrayList<Lcom/oracle/truffle/llvm/parser/model/blocks/InstructionBlock;>;)I
MethodParameters:
Name Flags
blocks
frameSize
blockInfos
predecessors
private com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$LLVMLivenessAnalysisResult computeLivenessAnalysisResult(java.util.List<com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock>, com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo[], java.util.ArrayList<com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock>[]);
descriptor: (Ljava/util/List;[Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$BlockInfo;[Ljava/util/ArrayList;)Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$LLVMLivenessAnalysisResult;
flags: (0x0002) ACC_PRIVATE
Code:
stack=6, locals=19, args_size=4
start local 0 start local 1 start local 2 start local 3 0: aload 1
invokeinterface java.util.List.size:()I
anewarray java.util.ArrayList
astore 4
start local 4 1: aload 1
invokeinterface java.util.List.size:()I
anewarray java.util.BitSet
astore 5
start local 5 2: aload 1
invokeinterface java.util.List.size:()I
anewarray java.util.BitSet
astore 6
start local 6 3: aload 0
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.frameSlots:[Lcom/oracle/truffle/llvm/runtime/types/symbols/SSAValue;
arraylength
newarray 10
astore 7
start local 7 4: new com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$LLVMNullerReadVisitor
dup
aload 0
aload 7
invokespecial com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$LLVMNullerReadVisitor.<init>:(Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis;[I)V
astore 8
start local 8 5: iconst_0
istore 9
start local 9 6: goto 55
7: StackMap locals: com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis java.util.List com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo[] java.util.ArrayList[] java.util.ArrayList[] java.util.BitSet[] java.util.BitSet[] int[] com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$LLVMNullerReadVisitor int
StackMap stack:
new java.util.ArrayList
dup
invokespecial java.util.ArrayList.<init>:()V
astore 10
start local 10 8: aload 7
iconst_m1
invokestatic java.util.Arrays.fill:([II)V
9: aload 2
iload 9
aaload
astore 11
start local 11 10: aload 11
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo.kill:Ljava/util/BitSet;
invokevirtual java.util.BitSet.clear:()V
11: aload 11
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo.phiDefs:Ljava/util/BitSet;
invokevirtual java.util.BitSet.clear:()V
12: iload 9
ifne 18
13: aload 0
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.functionDefinition:Lcom/oracle/truffle/llvm/parser/model/functions/FunctionDefinition;
invokevirtual com.oracle.truffle.llvm.parser.model.functions.FunctionDefinition.getParameters:()Ljava/util/List;
invokeinterface java.util.List.iterator:()Ljava/util/Iterator;
astore 13
goto 17
StackMap locals: com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis java.util.List com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo[] java.util.ArrayList[] java.util.ArrayList[] java.util.BitSet[] java.util.BitSet[] int[] com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$LLVMNullerReadVisitor int java.util.ArrayList com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo top java.util.Iterator
StackMap stack:
14: aload 13
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast com.oracle.truffle.llvm.parser.model.functions.FunctionParameter
astore 12
start local 12 15: aload 12
invokevirtual com.oracle.truffle.llvm.parser.model.functions.FunctionParameter.getFrameIdentifier:()I
istore 14
start local 14 16: aload 7
iload 14
iconst_0
iastore
end local 14 end local 12 17: StackMap locals:
StackMap stack:
aload 13
invokeinterface java.util.Iterator.hasNext:()Z
ifne 14
18: StackMap locals: com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis java.util.List com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo[] java.util.ArrayList[] java.util.ArrayList[] java.util.BitSet[] java.util.BitSet[] int[] com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$LLVMNullerReadVisitor int java.util.ArrayList com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo
StackMap stack:
aload 1
iload 9
invokeinterface java.util.List.get:(I)Ljava/lang/Object;
checkcast com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock
astore 12
start local 12 19: iconst_0
istore 13
start local 13 20: goto 31
21: StackMap locals: com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock int
StackMap stack:
aload 12
iload 13
invokevirtual com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock.getInstruction:(I)Lcom/oracle/truffle/llvm/parser/model/symbols/instructions/Instruction;
astore 14
start local 14 22: aload 14
instanceof com.oracle.truffle.llvm.parser.model.symbols.instructions.PhiInstruction
ifne 25
23: aload 8
iload 13
invokevirtual com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$LLVMNullerReadVisitor.setInstructionIndex:(I)V
24: aload 14
aload 8
invokevirtual com.oracle.truffle.llvm.parser.model.symbols.instructions.Instruction.accept:(Lcom/oracle/truffle/llvm/parser/ValueList$ValueVisitor;)V
25: StackMap locals: com.oracle.truffle.llvm.parser.model.symbols.instructions.Instruction
StackMap stack:
aload 14
invokestatic com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.resolve:(Lcom/oracle/truffle/llvm/parser/model/SymbolImpl;)I
istore 15
start local 15 26: iload 15
iflt 30
27: aload 7
iload 15
iaload
iconst_m1
if_icmpeq 29
aload 7
iload 15
iaload
iload 13
if_icmpeq 29
28: aload 10
new com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$NullerInformation
dup
aload 0
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.frameSlots:[Lcom/oracle/truffle/llvm/runtime/types/symbols/SSAValue;
iload 15
aaload
aload 7
iload 15
iaload
invokespecial com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$NullerInformation.<init>:(Lcom/oracle/truffle/llvm/runtime/types/symbols/SSAValue;I)V
invokevirtual java.util.ArrayList.add:(Ljava/lang/Object;)Z
pop
29: StackMap locals: int
StackMap stack:
aload 7
iload 15
iload 13
iastore
end local 15 end local 14 30: StackMap locals:
StackMap stack:
iinc 13 1
StackMap locals:
StackMap stack:
31: iload 13
aload 12
invokevirtual com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock.getInstructionCount:()I
if_icmplt 21
end local 13 32: aload 11
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo.defs:Ljava/util/BitSet;
aload 11
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo.in:Ljava/util/BitSet;
invokevirtual java.util.BitSet.or:(Ljava/util/BitSet;)V
33: aload 11
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo.defs:Ljava/util/BitSet;
aload 11
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo.out:Ljava/util/BitSet;
invokevirtual java.util.BitSet.andNot:(Ljava/util/BitSet;)V
34: aload 12
invokevirtual com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock.getInstructionCount:()I
iconst_1
isub
istore 13
start local 13 35: aload 11
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo.defs:Ljava/util/BitSet;
astore 14
start local 14 36: iconst_m1
istore 15
start local 15 37: goto 43
38: StackMap locals: java.util.BitSet int
StackMap stack:
getstatic com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.$assertionsDisabled:Z
ifne 39
aload 7
iload 15
iaload
ifge 39
new java.lang.AssertionError
dup
ldc "must have a last usage, otherwise the value would not be alive in this block"
invokespecial java.lang.AssertionError.<init>:(Ljava/lang/Object;)V
athrow
39: StackMap locals:
StackMap stack:
aload 11
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo.phiUses:Ljava/util/BitSet;
iload 15
invokevirtual java.util.BitSet.get:(I)Z
ifne 40
aload 7
iload 15
iaload
iload 13
if_icmpne 42
40: StackMap locals:
StackMap stack:
aload 11
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo.phiDefs:Ljava/util/BitSet;
iload 15
invokevirtual java.util.BitSet.set:(I)V
41: goto 43
42: StackMap locals:
StackMap stack:
aload 10
new com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$NullerInformation
dup
aload 0
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.frameSlots:[Lcom/oracle/truffle/llvm/runtime/types/symbols/SSAValue;
iload 15
aaload
aload 7
iload 15
iaload
invokespecial com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$NullerInformation.<init>:(Lcom/oracle/truffle/llvm/runtime/types/symbols/SSAValue;I)V
invokevirtual java.util.ArrayList.add:(Ljava/lang/Object;)Z
pop
43: StackMap locals:
StackMap stack:
aload 14
iload 15
iconst_1
iadd
invokevirtual java.util.BitSet.nextSetBit:(I)I
dup
istore 15
ifge 38
44: aload 3
iload 9
aaload
invokevirtual java.util.ArrayList.iterator:()Ljava/util/Iterator;
astore 17
goto 48
StackMap locals: com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis java.util.List com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo[] java.util.ArrayList[] java.util.ArrayList[] java.util.BitSet[] java.util.BitSet[] int[] com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$LLVMNullerReadVisitor int java.util.ArrayList com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock int java.util.BitSet int top java.util.Iterator
StackMap stack:
45: aload 17
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock
astore 16
start local 16 46: aload 2
aload 16
invokevirtual com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock.getBlockIndex:()I
aaload
astore 18
start local 18 47: aload 11
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo.kill:Ljava/util/BitSet;
aload 18
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo.out:Ljava/util/BitSet;
invokevirtual java.util.BitSet.or:(Ljava/util/BitSet;)V
end local 18 end local 16 48: StackMap locals:
StackMap stack:
aload 17
invokeinterface java.util.Iterator.hasNext:()Z
ifne 45
49: aload 11
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo.kill:Ljava/util/BitSet;
aload 11
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo.in:Ljava/util/BitSet;
invokevirtual java.util.BitSet.andNot:(Ljava/util/BitSet;)V
50: aload 10
invokestatic java.util.Collections.sort:(Ljava/util/List;)V
51: aload 4
iload 9
aload 10
aastore
52: aload 5
iload 9
aload 11
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo.kill:Ljava/util/BitSet;
aastore
53: aload 6
iload 9
aload 11
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo.phiDefs:Ljava/util/BitSet;
aastore
end local 15 end local 14 end local 13 end local 12 end local 11 end local 10 54: iinc 9 1
StackMap locals: com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis java.util.List com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo[] java.util.ArrayList[] java.util.ArrayList[] java.util.BitSet[] java.util.BitSet[] int[] com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$LLVMNullerReadVisitor int
StackMap stack:
55: iload 9
aload 1
invokeinterface java.util.List.size:()I
if_icmplt 7
end local 9 56: new com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$LLVMLivenessAnalysisResult
dup
aload 0
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.frameSlots:[Lcom/oracle/truffle/llvm/runtime/types/symbols/SSAValue;
aload 4
aload 5
aload 6
invokespecial com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$LLVMLivenessAnalysisResult.<init>:([Lcom/oracle/truffle/llvm/runtime/types/symbols/SSAValue;[Ljava/util/ArrayList;[Ljava/util/BitSet;[Ljava/util/BitSet;)V
areturn
end local 8 end local 7 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 57 0 this Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis;
0 57 1 blocks Ljava/util/List<Lcom/oracle/truffle/llvm/parser/model/blocks/InstructionBlock;>;
0 57 2 blockInfos [Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$BlockInfo;
0 57 3 predecessors [Ljava/util/ArrayList;
1 57 4 nullableWithinBlock [Ljava/util/ArrayList;
2 57 5 nullableBeforeBlock [Ljava/util/BitSet;
3 57 6 nullableAfterBlock [Ljava/util/BitSet;
4 57 7 lastInstructionIndexTouchingLocal [I
5 57 8 nullerReadVisitor Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$LLVMNullerReadVisitor;
6 56 9 i I
8 54 10 blockNullers Ljava/util/ArrayList<Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$NullerInformation;>;
10 54 11 blockInfo Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$BlockInfo;
15 17 12 param Lcom/oracle/truffle/llvm/parser/model/functions/FunctionParameter;
16 17 14 frameSlotIndex I
19 54 12 block Lcom/oracle/truffle/llvm/parser/model/blocks/InstructionBlock;
20 32 13 j I
22 30 14 instruction Lcom/oracle/truffle/llvm/parser/model/symbols/instructions/Instruction;
26 30 15 frameSlotIndex I
35 54 13 terminatingInstructionIndex I
36 54 14 valuesThatDieInBlock Ljava/util/BitSet;
37 54 15 bitIndex I
46 48 16 predecessor Lcom/oracle/truffle/llvm/parser/model/blocks/InstructionBlock;
47 48 18 predInfo Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$BlockInfo;
Signature: (Ljava/util/List<Lcom/oracle/truffle/llvm/parser/model/blocks/InstructionBlock;>;[Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$BlockInfo;[Ljava/util/ArrayList<Lcom/oracle/truffle/llvm/parser/model/blocks/InstructionBlock;>;)Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$LLVMLivenessAnalysisResult;
MethodParameters:
Name Flags
blocks
blockInfos
predecessors
private static java.util.ArrayList<com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock>[] computePredecessors(java.util.List<com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock>);
descriptor: (Ljava/util/List;)[Ljava/util/ArrayList;
flags: (0x000a) ACC_PRIVATE, ACC_STATIC
Code:
stack=5, locals=6, args_size=1
start local 0 0: aload 0
invokeinterface java.util.List.size:()I
anewarray java.util.ArrayList
astore 1
start local 1 1: iconst_0
istore 2
start local 2 2: goto 5
3: StackMap locals: java.util.ArrayList[] int
StackMap stack:
aload 1
iload 2
new java.util.ArrayList
dup
iconst_2
invokespecial java.util.ArrayList.<init>:(I)V
aastore
4: iinc 2 1
StackMap locals:
StackMap stack:
5: iload 2
aload 0
invokeinterface java.util.List.size:()I
if_icmplt 3
end local 2 6: aload 0
invokeinterface java.util.List.iterator:()Ljava/util/Iterator;
astore 3
goto 14
StackMap locals: java.util.List java.util.ArrayList[] top java.util.Iterator
StackMap stack:
7: aload 3
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock
astore 2
start local 2 8: aload 2
invokevirtual com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock.getTerminatingInstruction:()Lcom/oracle/truffle/llvm/parser/model/symbols/instructions/TerminatingInstruction;
astore 4
start local 4 9: iconst_0
istore 5
start local 5 10: goto 13
11: StackMap locals: java.util.List java.util.ArrayList[] com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock java.util.Iterator com.oracle.truffle.llvm.parser.model.symbols.instructions.TerminatingInstruction int
StackMap stack:
aload 1
aload 4
iload 5
invokeinterface com.oracle.truffle.llvm.parser.model.symbols.instructions.TerminatingInstruction.getSuccessor:(I)Lcom/oracle/truffle/llvm/parser/model/blocks/InstructionBlock;
invokevirtual com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock.getBlockIndex:()I
aaload
aload 2
invokevirtual java.util.ArrayList.add:(Ljava/lang/Object;)Z
pop
12: iinc 5 1
StackMap locals:
StackMap stack:
13: iload 5
aload 4
invokeinterface com.oracle.truffle.llvm.parser.model.symbols.instructions.TerminatingInstruction.getSuccessorCount:()I
if_icmplt 11
end local 5 end local 4 end local 2 14: StackMap locals: java.util.List java.util.ArrayList[] top java.util.Iterator
StackMap stack:
aload 3
invokeinterface java.util.Iterator.hasNext:()Z
ifne 7
15: aload 1
areturn
end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 16 0 blocks Ljava/util/List<Lcom/oracle/truffle/llvm/parser/model/blocks/InstructionBlock;>;
1 16 1 result [Ljava/util/ArrayList;
2 6 2 i I
8 14 2 block Lcom/oracle/truffle/llvm/parser/model/blocks/InstructionBlock;
9 14 4 terminatingInstruction Lcom/oracle/truffle/llvm/parser/model/symbols/instructions/TerminatingInstruction;
10 14 5 i I
Signature: (Ljava/util/List<Lcom/oracle/truffle/llvm/parser/model/blocks/InstructionBlock;>;)[Ljava/util/ArrayList<Lcom/oracle/truffle/llvm/parser/model/blocks/InstructionBlock;>;
MethodParameters:
Name Flags
blocks
private static void addBlockToWorkList(java.util.ArrayDeque<com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock>, java.util.BitSet, com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock);
descriptor: (Ljava/util/ArrayDeque;Ljava/util/BitSet;Lcom/oracle/truffle/llvm/parser/model/blocks/InstructionBlock;)V
flags: (0x000a) ACC_PRIVATE, ACC_STATIC
Code:
stack=2, locals=4, args_size=3
start local 0 start local 1 start local 2 0: aload 1
aload 2
invokevirtual com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock.getBlockIndex:()I
invokevirtual java.util.BitSet.get:(I)Z
istore 3
start local 3 1: iload 3
ifne 4
2: aload 0
aload 2
invokevirtual java.util.ArrayDeque.addLast:(Ljava/lang/Object;)V
3: aload 1
aload 2
invokevirtual com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock.getBlockIndex:()I
invokevirtual java.util.BitSet.set:(I)V
4: StackMap locals: int
StackMap stack:
return
end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 5 0 workList Ljava/util/ArrayDeque<Lcom/oracle/truffle/llvm/parser/model/blocks/InstructionBlock;>;
0 5 1 blockOnWorkList Ljava/util/BitSet;
0 5 2 predecessorBlock Lcom/oracle/truffle/llvm/parser/model/blocks/InstructionBlock;
1 5 3 predecessorBlockIndex Z
Signature: (Ljava/util/ArrayDeque<Lcom/oracle/truffle/llvm/parser/model/blocks/InstructionBlock;>;Ljava/util/BitSet;Lcom/oracle/truffle/llvm/parser/model/blocks/InstructionBlock;)V
MethodParameters:
Name Flags
workList
blockOnWorkList
predecessorBlock
private static com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock removeBlockFromWorkList(java.util.ArrayDeque<com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock>, java.util.BitSet);
descriptor: (Ljava/util/ArrayDeque;Ljava/util/BitSet;)Lcom/oracle/truffle/llvm/parser/model/blocks/InstructionBlock;
flags: (0x000a) ACC_PRIVATE, ACC_STATIC
Code:
stack=2, locals=3, args_size=2
start local 0 start local 1 0: aload 0
invokevirtual java.util.ArrayDeque.removeLast:()Ljava/lang/Object;
checkcast com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock
astore 2
start local 2 1: aload 1
aload 2
invokevirtual com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock.getBlockIndex:()I
invokevirtual java.util.BitSet.clear:(I)V
2: aload 2
areturn
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 3 0 workList Ljava/util/ArrayDeque<Lcom/oracle/truffle/llvm/parser/model/blocks/InstructionBlock;>;
0 3 1 blockOnWorkList Ljava/util/BitSet;
1 3 2 block Lcom/oracle/truffle/llvm/parser/model/blocks/InstructionBlock;
Signature: (Ljava/util/ArrayDeque<Lcom/oracle/truffle/llvm/parser/model/blocks/InstructionBlock;>;Ljava/util/BitSet;)Lcom/oracle/truffle/llvm/parser/model/blocks/InstructionBlock;
MethodParameters:
Name Flags
workList
blockOnWorkList
private static boolean or(java.util.BitSet, java.util.BitSet);
descriptor: (Ljava/util/BitSet;Ljava/util/BitSet;)Z
flags: (0x000a) ACC_PRIVATE, ACC_STATIC
Code:
stack=2, locals=2, args_size=2
start local 0 start local 1 0: getstatic com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.$assertionsDisabled:Z
ifne 1
aload 0
invokevirtual java.util.BitSet.size:()I
aload 1
invokevirtual java.util.BitSet.size:()I
if_icmpeq 1
new java.lang.AssertionError
dup
invokespecial java.lang.AssertionError.<init>:()V
athrow
1: StackMap locals:
StackMap stack:
aload 0
aload 1
invokestatic com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.isChangeForOrNecessary:(Ljava/util/BitSet;Ljava/util/BitSet;)Z
ifeq 4
2: aload 0
aload 1
invokevirtual java.util.BitSet.or:(Ljava/util/BitSet;)V
3: iconst_1
ireturn
4: StackMap locals:
StackMap stack:
iconst_0
ireturn
end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 5 0 dest Ljava/util/BitSet;
0 5 1 source Ljava/util/BitSet;
MethodParameters:
Name Flags
dest
source
private static boolean isChangeForOrNecessary(java.util.BitSet, java.util.BitSet);
descriptor: (Ljava/util/BitSet;Ljava/util/BitSet;)Z
flags: (0x000a) ACC_PRIVATE, ACC_STATIC
Code:
stack=3, locals=3, args_size=2
start local 0 start local 1 0: iconst_m1
istore 2
start local 2 1: goto 4
2: StackMap locals: int
StackMap stack:
aload 0
iload 2
invokevirtual java.util.BitSet.get:(I)Z
ifne 4
3: iconst_1
ireturn
4: StackMap locals:
StackMap stack:
aload 1
iload 2
iconst_1
iadd
invokevirtual java.util.BitSet.nextSetBit:(I)I
dup
istore 2
ifge 2
5: iconst_0
ireturn
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 6 0 dest Ljava/util/BitSet;
0 6 1 source Ljava/util/BitSet;
1 6 2 bitIndex I
MethodParameters:
Name Flags
dest
source
private static void processRead(com.oracle.truffle.llvm.parser.model.SymbolImpl, com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo);
descriptor: (Lcom/oracle/truffle/llvm/parser/model/SymbolImpl;Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$BlockInfo;)V
flags: (0x000a) ACC_PRIVATE, ACC_STATIC
Code:
stack=2, locals=3, args_size=2
start local 0 start local 1 0: aload 0
invokestatic com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.resolve:(Lcom/oracle/truffle/llvm/parser/model/SymbolImpl;)I
istore 2
start local 2 1: aload 1
iload 2
invokestatic com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.processRead:(Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$BlockInfo;I)V
2: return
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 3 0 symbol Lcom/oracle/truffle/llvm/parser/model/SymbolImpl;
0 3 1 blockInfo Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$BlockInfo;
1 3 2 frameSlotIndex I
MethodParameters:
Name Flags
symbol
blockInfo
private static void processRead(com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo, int);
descriptor: (Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$BlockInfo;I)V
flags: (0x000a) ACC_PRIVATE, ACC_STATIC
Code:
stack=2, locals=2, args_size=2
start local 0 start local 1 0: iload 1
iflt 3
1: aload 0
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo.kill:Ljava/util/BitSet;
iload 1
invokevirtual java.util.BitSet.get:(I)Z
ifne 3
2: aload 0
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo.gen:Ljava/util/BitSet;
iload 1
invokevirtual java.util.BitSet.set:(I)V
3: StackMap locals:
StackMap stack:
return
end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 4 0 blockInfo Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$BlockInfo;
0 4 1 frameSlotIndex I
MethodParameters:
Name Flags
blockInfo
frameSlotIndex
private static void processValueUsedInPhi(com.oracle.truffle.llvm.parser.model.SymbolImpl, com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo);
descriptor: (Lcom/oracle/truffle/llvm/parser/model/SymbolImpl;Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$BlockInfo;)V
flags: (0x000a) ACC_PRIVATE, ACC_STATIC
Code:
stack=2, locals=3, args_size=2
start local 0 start local 1 0: aload 0
invokestatic com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.resolve:(Lcom/oracle/truffle/llvm/parser/model/SymbolImpl;)I
istore 2
start local 2 1: iload 2
iflt 3
2: aload 1
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo.phiUses:Ljava/util/BitSet;
iload 2
invokevirtual java.util.BitSet.set:(I)V
3: StackMap locals: int
StackMap stack:
return
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 4 0 symbol Lcom/oracle/truffle/llvm/parser/model/SymbolImpl;
0 4 1 blockInfo Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$BlockInfo;
1 4 2 frameSlotIndex I
MethodParameters:
Name Flags
symbol
blockInfo
private static void processPhiWrite(com.oracle.truffle.llvm.parser.model.symbols.instructions.PhiInstruction, com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo);
descriptor: (Lcom/oracle/truffle/llvm/parser/model/symbols/instructions/PhiInstruction;Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$BlockInfo;)V
flags: (0x000a) ACC_PRIVATE, ACC_STATIC
Code:
stack=2, locals=3, args_size=2
start local 0 start local 1 0: aload 0
invokestatic com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.resolve:(Lcom/oracle/truffle/llvm/parser/model/SymbolImpl;)I
istore 2
start local 2 1: iload 2
iflt 4
2: aload 1
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo.phiDefs:Ljava/util/BitSet;
iload 2
invokevirtual java.util.BitSet.set:(I)V
3: aload 1
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo.defs:Ljava/util/BitSet;
iload 2
invokevirtual java.util.BitSet.set:(I)V
4: StackMap locals: int
StackMap stack:
return
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 5 0 phi Lcom/oracle/truffle/llvm/parser/model/symbols/instructions/PhiInstruction;
0 5 1 blockInfo Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$BlockInfo;
1 5 2 frameSlotIndex I
MethodParameters:
Name Flags
phi
blockInfo
private static int resolve(com.oracle.truffle.llvm.parser.model.SymbolImpl);
descriptor: (Lcom/oracle/truffle/llvm/parser/model/SymbolImpl;)I
flags: (0x000a) ACC_PRIVATE, ACC_STATIC
Code:
stack=2, locals=2, args_size=1
start local 0 0: aload 0
instanceof com.oracle.truffle.llvm.runtime.types.symbols.SSAValue
ifeq 4
1: aload 0
checkcast com.oracle.truffle.llvm.runtime.types.symbols.SSAValue
invokeinterface com.oracle.truffle.llvm.runtime.types.symbols.SSAValue.getFrameIdentifier:()I
istore 1
start local 1 2: getstatic com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.$assertionsDisabled:Z
ifne 3
iload 1
ifge 3
new java.lang.AssertionError
dup
invokespecial java.lang.AssertionError.<init>:()V
athrow
3: StackMap locals: int
StackMap stack:
iload 1
ireturn
end local 1 4: StackMap locals:
StackMap stack:
iconst_m1
ireturn
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 5 0 symbol Lcom/oracle/truffle/llvm/parser/model/SymbolImpl;
2 4 1 identifier I
MethodParameters:
Name Flags
symbol
private void printIntermediateResult(java.io.PrintStream, java.util.List<com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock>, com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo[], );
descriptor: (Ljava/io/PrintStream;Ljava/util/List;[Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$BlockInfo;I)V
flags: (0x0002) ACC_PRIVATE
Code:
stack=3, locals=8, args_size=5
start local 0 start local 1 start local 2 start local 3 start local 4 0: new java.lang.StringBuilder
dup
invokespecial java.lang.StringBuilder.<init>:()V
astore 5
start local 5 1: aload 5
aload 0
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.functionDefinition:Lcom/oracle/truffle/llvm/parser/model/functions/FunctionDefinition;
invokevirtual com.oracle.truffle.llvm.parser.model.functions.FunctionDefinition.getName:()Ljava/lang/String;
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
2: aload 5
ldc " (processed "
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
3: aload 5
iload 4
invokevirtual java.lang.StringBuilder.append:(I)Ljava/lang/StringBuilder;
pop
4: aload 5
ldc " blocks - CFG has "
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
5: aload 5
aload 2
invokeinterface java.util.List.size:()I
invokevirtual java.lang.StringBuilder.append:(I)Ljava/lang/StringBuilder;
pop
6: aload 5
ldc " blocks)\n"
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
7: iconst_0
istore 6
start local 6 8: goto 37
9: StackMap locals: java.lang.StringBuilder int
StackMap stack:
aload 3
iload 6
aaload
astore 7
start local 7 10: aload 5
ldc "Basic block "
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
11: aload 5
iload 6
invokevirtual java.lang.StringBuilder.append:(I)Ljava/lang/StringBuilder;
pop
12: aload 5
ldc " ("
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
13: aload 5
aload 2
iload 6
invokeinterface java.util.List.get:(I)Ljava/lang/Object;
checkcast com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock
invokevirtual com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock.getName:()Ljava/lang/String;
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
14: aload 5
ldc ")\n"
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
15: aload 5
ldc " In: "
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
16: aload 5
aload 0
aload 7
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo.in:Ljava/util/BitSet;
invokevirtual com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.formatLocals:(Ljava/util/BitSet;)Ljava/lang/String;
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
17: aload 5
ldc "\n"
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
18: aload 5
ldc " Gen: "
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
19: aload 5
aload 0
aload 7
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo.gen:Ljava/util/BitSet;
invokevirtual com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.formatLocals:(Ljava/util/BitSet;)Ljava/lang/String;
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
20: aload 5
ldc "\n"
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
21: aload 5
ldc " Kill: "
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
22: aload 5
aload 0
aload 7
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo.kill:Ljava/util/BitSet;
invokevirtual com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.formatLocals:(Ljava/util/BitSet;)Ljava/lang/String;
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
23: aload 5
ldc "\n"
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
24: aload 5
ldc " Def: "
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
25: aload 5
aload 0
aload 7
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo.defs:Ljava/util/BitSet;
invokevirtual com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.formatLocals:(Ljava/util/BitSet;)Ljava/lang/String;
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
26: aload 5
ldc "\n"
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
27: aload 5
ldc " PhiDefs: "
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
28: aload 5
aload 0
aload 7
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo.phiDefs:Ljava/util/BitSet;
invokevirtual com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.formatLocals:(Ljava/util/BitSet;)Ljava/lang/String;
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
29: aload 5
ldc "\n"
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
30: aload 5
ldc " PhiUses: "
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
31: aload 5
aload 0
aload 7
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo.phiUses:Ljava/util/BitSet;
invokevirtual com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.formatLocals:(Ljava/util/BitSet;)Ljava/lang/String;
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
32: aload 5
ldc "\n"
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
33: aload 5
ldc " Out: "
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
34: aload 5
aload 0
aload 7
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo.out:Ljava/util/BitSet;
invokevirtual com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.formatLocals:(Ljava/util/BitSet;)Ljava/lang/String;
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
35: aload 5
ldc "\n"
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
end local 7 36: iinc 6 1
StackMap locals:
StackMap stack:
37: iload 6
aload 3
arraylength
if_icmplt 9
end local 6 38: aload 1
aload 5
invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
invokevirtual java.io.PrintStream.println:(Ljava/lang/String;)V
39: return
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 40 0 this Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis;
0 40 1 logLivenessStream Ljava/io/PrintStream;
0 40 2 blocks Ljava/util/List<Lcom/oracle/truffle/llvm/parser/model/blocks/InstructionBlock;>;
0 40 3 blockInfos [Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$BlockInfo;
0 40 4 processedBlocks I
1 40 5 builder Ljava/lang/StringBuilder;
8 38 6 i I
10 36 7 blockInfo Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$BlockInfo;
Signature: (Ljava/io/PrintStream;Ljava/util/List<Lcom/oracle/truffle/llvm/parser/model/blocks/InstructionBlock;>;[Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$BlockInfo;I)V
MethodParameters:
Name Flags
logLivenessStream
blocks
blockInfos
processedBlocks
private void printResult(java.io.PrintStream, java.util.List<com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock>, com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$LLVMLivenessAnalysisResult);
descriptor: (Ljava/io/PrintStream;Ljava/util/List;Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$LLVMLivenessAnalysisResult;)V
flags: (0x0002) ACC_PRIVATE
Code:
stack=4, locals=6, args_size=4
start local 0 start local 1 start local 2 start local 3 0: new java.lang.StringBuilder
dup
invokespecial java.lang.StringBuilder.<init>:()V
astore 4
start local 4 1: iconst_0
istore 5
start local 5 2: goto 18
3: StackMap locals: java.lang.StringBuilder int
StackMap stack:
aload 4
ldc "Basic block "
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
4: aload 4
iload 5
invokevirtual java.lang.StringBuilder.append:(I)Ljava/lang/StringBuilder;
pop
5: aload 4
ldc " ("
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
6: aload 4
aload 2
iload 5
invokeinterface java.util.List.get:(I)Ljava/lang/Object;
checkcast com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock
invokevirtual com.oracle.truffle.llvm.parser.model.blocks.InstructionBlock.getName:()Ljava/lang/String;
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
7: aload 4
ldc ")\n"
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
8: aload 4
ldc " NullableBefore: "
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
9: aload 4
aload 0
aload 3
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$LLVMLivenessAnalysisResult.nullableBeforeBlock:[Ljava/util/BitSet;
iload 5
aaload
invokevirtual com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.formatLocals:(Ljava/util/BitSet;)Ljava/lang/String;
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
10: aload 4
ldc "\n"
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
11: aload 4
ldc " NullableWithin: "
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
12: aload 4
aload 3
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$LLVMLivenessAnalysisResult.nullableWithinBlock:[Ljava/util/ArrayList;
iload 5
aaload
invokestatic com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.formatLocalNullers:(Ljava/util/ArrayList;)Ljava/lang/Object;
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
pop
13: aload 4
ldc "\n"
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
14: aload 4
ldc " NullableAfter: "
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
15: aload 4
aload 0
aload 3
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$LLVMLivenessAnalysisResult.nullableAfterBlock:[Ljava/util/BitSet;
iload 5
aaload
invokevirtual com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.formatLocals:(Ljava/util/BitSet;)Ljava/lang/String;
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
16: aload 4
ldc "\n"
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
17: iinc 5 1
StackMap locals:
StackMap stack:
18: iload 5
aload 2
invokeinterface java.util.List.size:()I
if_icmplt 3
end local 5 19: aload 1
aload 4
invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
invokevirtual java.io.PrintStream.println:(Ljava/lang/String;)V
20: return
end local 4 end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 21 0 this Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis;
0 21 1 logLivenessStream Ljava/io/PrintStream;
0 21 2 blocks Ljava/util/List<Lcom/oracle/truffle/llvm/parser/model/blocks/InstructionBlock;>;
0 21 3 result Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$LLVMLivenessAnalysisResult;
1 21 4 builder Ljava/lang/StringBuilder;
2 19 5 i I
Signature: (Ljava/io/PrintStream;Ljava/util/List<Lcom/oracle/truffle/llvm/parser/model/blocks/InstructionBlock;>;Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$LLVMLivenessAnalysisResult;)V
MethodParameters:
Name Flags
logLivenessStream
blocks
result
private static void appendValue(java.lang.StringBuilder, com.oracle.truffle.llvm.runtime.types.symbols.SSAValue);
descriptor: (Ljava/lang/StringBuilder;Lcom/oracle/truffle/llvm/runtime/types/symbols/SSAValue;)V
flags: (0x000a) ACC_PRIVATE, ACC_STATIC
Code:
stack=2, locals=2, args_size=2
start local 0 start local 1 0: aload 0
aload 1
invokeinterface com.oracle.truffle.llvm.runtime.types.symbols.SSAValue.getFrameIdentifier:()I
invokevirtual java.lang.StringBuilder.append:(I)Ljava/lang/StringBuilder;
pop
1: aload 1
invokeinterface com.oracle.truffle.llvm.runtime.types.symbols.SSAValue.getName:()Ljava/lang/String;
ifnull 3
ldc "<anon>"
aload 1
invokeinterface com.oracle.truffle.llvm.runtime.types.symbols.SSAValue.getName:()Ljava/lang/String;
invokevirtual java.lang.String.equals:(Ljava/lang/Object;)Z
ifne 3
2: aload 0
ldc " ("
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
aload 1
invokeinterface com.oracle.truffle.llvm.runtime.types.symbols.SSAValue.getName:()Ljava/lang/String;
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
bipush 41
invokevirtual java.lang.StringBuilder.append:(C)Ljava/lang/StringBuilder;
pop
3: StackMap locals:
StackMap stack:
return
end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 4 0 str Ljava/lang/StringBuilder;
0 4 1 value Lcom/oracle/truffle/llvm/runtime/types/symbols/SSAValue;
MethodParameters:
Name Flags
str
value
private java.lang.String formatLocals(java.util.BitSet);
descriptor: (Ljava/util/BitSet;)Ljava/lang/String;
flags: (0x0002) ACC_PRIVATE
Code:
stack=3, locals=4, args_size=2
start local 0 start local 1 0: new java.lang.StringBuilder
dup
invokespecial java.lang.StringBuilder.<init>:()V
astore 2
start local 2 1: iconst_m1
istore 3
start local 3 2: goto 6
3: StackMap locals: java.lang.StringBuilder int
StackMap stack:
aload 2
invokevirtual java.lang.StringBuilder.length:()I
ifle 5
4: aload 2
ldc ", "
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
5: StackMap locals:
StackMap stack:
aload 2
aload 0
getfield com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.frameSlots:[Lcom/oracle/truffle/llvm/runtime/types/symbols/SSAValue;
iload 3
aaload
invokestatic com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.appendValue:(Ljava/lang/StringBuilder;Lcom/oracle/truffle/llvm/runtime/types/symbols/SSAValue;)V
6: StackMap locals:
StackMap stack:
aload 1
iload 3
iconst_1
iadd
invokevirtual java.util.BitSet.nextSetBit:(I)I
dup
istore 3
ifge 3
7: aload 2
invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
areturn
end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 8 0 this Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis;
0 8 1 bitSet Ljava/util/BitSet;
1 8 2 result Ljava/lang/StringBuilder;
2 8 3 bitIndex I
MethodParameters:
Name Flags
bitSet
private static formatLocalNullers(java.util.ArrayList<com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$NullerInformation>);
descriptor: (Ljava/util/ArrayList;)Ljava/lang/Object;
flags: (0x000a) ACC_PRIVATE, ACC_STATIC
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 0
invokevirtual java.util.ArrayList.iterator:()Ljava/util/Iterator;
astore 3
goto 6
StackMap locals: java.util.ArrayList java.lang.StringBuilder top java.util.Iterator
StackMap stack:
2: aload 3
invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
checkcast com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$NullerInformation
astore 2
start local 2 3: aload 1
invokevirtual java.lang.StringBuilder.length:()I
ifle 5
4: aload 1
ldc ", "
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
5: StackMap locals: java.util.ArrayList java.lang.StringBuilder com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$NullerInformation java.util.Iterator
StackMap stack:
aload 1
aload 2
invokevirtual com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$NullerInformation.getIdentifier:()Lcom/oracle/truffle/llvm/runtime/types/symbols/SSAValue;
invokestatic com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis.appendValue:(Ljava/lang/StringBuilder;Lcom/oracle/truffle/llvm/runtime/types/symbols/SSAValue;)V
end local 2 6: StackMap locals: java.util.ArrayList java.lang.StringBuilder top java.util.Iterator
StackMap stack:
aload 3
invokeinterface java.util.Iterator.hasNext:()Z
ifne 2
7: aload 1
invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
areturn
end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 8 0 nullers Ljava/util/ArrayList<Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$NullerInformation;>;
1 8 1 result Ljava/lang/StringBuilder;
3 6 2 nuller Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$NullerInformation;
Signature: (Ljava/util/ArrayList<Lcom/oracle/truffle/llvm/parser/LLVMLivenessAnalysis$NullerInformation;>;)Ljava/lang/Object;
MethodParameters:
Name Flags
nullers
}
SourceFile: "LLVMLivenessAnalysis.java"
NestMembers:
com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$LLVMLivenessAnalysisResult com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$LLVMLivenessReadVisitor com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$LLVMLocalReadVisitor com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$LLVMNullerReadVisitor com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$NullerInformation
InnerClasses:
private final BlockInfo = com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$BlockInfo of com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis
public LLVMLivenessAnalysisResult = com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$LLVMLivenessAnalysisResult of com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis
private final LLVMLivenessReadVisitor = com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$LLVMLivenessReadVisitor of com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis
private abstract LLVMLocalReadVisitor = com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$LLVMLocalReadVisitor of com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis
private final LLVMNullerReadVisitor = com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$LLVMNullerReadVisitor of com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis
public final NullerInformation = com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis$NullerInformation of com.oracle.truffle.llvm.parser.LLVMLivenessAnalysis
public final Phi = com.oracle.truffle.llvm.parser.LLVMPhiManager$Phi of com.oracle.truffle.llvm.parser.LLVMPhiManager
public abstract ValueVisitor = com.oracle.truffle.llvm.parser.ValueList$ValueVisitor of com.oracle.truffle.llvm.parser.ValueList