public final class org.graalvm.compiler.nodes.calc.IsNullNode extends org.graalvm.compiler.nodes.UnaryOpLogicNode implements org.graalvm.compiler.nodes.spi.LIRLowerable, org.graalvm.compiler.nodes.spi.Virtualizable
minor version: 0
major version: 59
flags: flags: (0x0031) ACC_PUBLIC, ACC_FINAL, ACC_SUPER
this_class: org.graalvm.compiler.nodes.calc.IsNullNode
super_class: org.graalvm.compiler.nodes.UnaryOpLogicNode
{
public static final org.graalvm.compiler.graph.NodeClass<org.graalvm.compiler.nodes.calc.IsNullNode> TYPE;
descriptor: Lorg/graalvm/compiler/graph/NodeClass;
flags: (0x0019) ACC_PUBLIC, ACC_STATIC, ACC_FINAL
Signature: Lorg/graalvm/compiler/graph/NodeClass<Lorg/graalvm/compiler/nodes/calc/IsNullNode;>;
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 Lorg/graalvm/compiler/nodes/calc/IsNullNode;
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 org.graalvm.compiler.nodes.calc.IsNullNode.$assertionsDisabled:Z
3: ldc Lorg/graalvm/compiler/nodes/calc/IsNullNode;
invokestatic org.graalvm.compiler.graph.NodeClass.create:(Ljava/lang/Class;)Lorg/graalvm/compiler/graph/NodeClass;
putstatic org.graalvm.compiler.nodes.calc.IsNullNode.TYPE:Lorg/graalvm/compiler/graph/NodeClass;
return
LocalVariableTable:
Start End Slot Name Signature
public void <init>(org.graalvm.compiler.nodes.ValueNode);
descriptor: (Lorg/graalvm/compiler/nodes/ValueNode;)V
flags: (0x0001) ACC_PUBLIC
Code:
stack=3, locals=2, args_size=2
start local 0 start local 1 0: aload 0
getstatic org.graalvm.compiler.nodes.calc.IsNullNode.TYPE:Lorg/graalvm/compiler/graph/NodeClass;
aload 1
invokespecial org.graalvm.compiler.nodes.UnaryOpLogicNode.<init>:(Lorg/graalvm/compiler/graph/NodeClass;Lorg/graalvm/compiler/nodes/ValueNode;)V
1: getstatic org.graalvm.compiler.nodes.calc.IsNullNode.$assertionsDisabled:Z
ifne 2
aload 1
ifnonnull 2
new java.lang.AssertionError
dup
invokespecial java.lang.AssertionError.<init>:()V
athrow
2: StackMap locals: org.graalvm.compiler.nodes.calc.IsNullNode org.graalvm.compiler.nodes.ValueNode
StackMap stack:
return
end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 3 0 this Lorg/graalvm/compiler/nodes/calc/IsNullNode;
0 3 1 object Lorg/graalvm/compiler/nodes/ValueNode;
MethodParameters:
Name Flags
object
public static org.graalvm.compiler.nodes.LogicNode create(org.graalvm.compiler.nodes.ValueNode);
descriptor: (Lorg/graalvm/compiler/nodes/ValueNode;)Lorg/graalvm/compiler/nodes/LogicNode;
flags: (0x0009) ACC_PUBLIC, ACC_STATIC
Code:
stack=2, locals=1, args_size=1
start local 0 0: aconst_null
aload 0
invokestatic org.graalvm.compiler.nodes.calc.IsNullNode.canonicalized:(Lorg/graalvm/compiler/nodes/calc/IsNullNode;Lorg/graalvm/compiler/nodes/ValueNode;)Lorg/graalvm/compiler/nodes/LogicNode;
areturn
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 1 0 forValue Lorg/graalvm/compiler/nodes/ValueNode;
MethodParameters:
Name Flags
forValue
public static org.graalvm.compiler.nodes.LogicNode tryCanonicalize(org.graalvm.compiler.nodes.ValueNode);
descriptor: (Lorg/graalvm/compiler/nodes/ValueNode;)Lorg/graalvm/compiler/nodes/LogicNode;
flags: (0x0009) ACC_PUBLIC, ACC_STATIC
Code:
stack=1, locals=1, args_size=1
start local 0 0: aload 0
invokestatic org.graalvm.compiler.nodes.type.StampTool.isPointerAlwaysNull:(Lorg/graalvm/compiler/nodes/ValueNode;)Z
ifeq 2
1: invokestatic org.graalvm.compiler.nodes.LogicConstantNode.tautology:()Lorg/graalvm/compiler/nodes/LogicConstantNode;
areturn
2: StackMap locals:
StackMap stack:
aload 0
invokestatic org.graalvm.compiler.nodes.type.StampTool.isPointerNonNull:(Lorg/graalvm/compiler/nodes/ValueNode;)Z
ifeq 4
3: invokestatic org.graalvm.compiler.nodes.LogicConstantNode.contradiction:()Lorg/graalvm/compiler/nodes/LogicConstantNode;
areturn
4: StackMap locals:
StackMap stack:
aconst_null
areturn
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 5 0 forValue Lorg/graalvm/compiler/nodes/ValueNode;
MethodParameters:
Name Flags
forValue
public void generate(org.graalvm.compiler.nodes.spi.NodeLIRBuilderTool);
descriptor: (Lorg/graalvm/compiler/nodes/spi/NodeLIRBuilderTool;)V
flags: (0x0001) ACC_PUBLIC
Code:
stack=0, locals=2, args_size=2
start local 0 start local 1 0: return
end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 1 0 this Lorg/graalvm/compiler/nodes/calc/IsNullNode;
0 1 1 gen Lorg/graalvm/compiler/nodes/spi/NodeLIRBuilderTool;
MethodParameters:
Name Flags
gen
public boolean verify();
descriptor: ()Z
flags: (0x0001) ACC_PUBLIC
Code:
stack=8, locals=1, args_size=1
start local 0 0: aload 0
aload 0
invokevirtual org.graalvm.compiler.nodes.calc.IsNullNode.getValue:()Lorg/graalvm/compiler/nodes/ValueNode;
ifnull 1
iconst_1
goto 2
StackMap locals:
StackMap stack: org.graalvm.compiler.nodes.calc.IsNullNode
1: iconst_0
StackMap locals: org.graalvm.compiler.nodes.calc.IsNullNode
StackMap stack: org.graalvm.compiler.nodes.calc.IsNullNode int
2: ldc "is null input must not be null"
iconst_0
anewarray java.lang.Object
invokevirtual org.graalvm.compiler.nodes.calc.IsNullNode.assertTrue:(ZLjava/lang/String;[Ljava/lang/Object;)Z
pop
3: aload 0
aload 0
invokevirtual org.graalvm.compiler.nodes.calc.IsNullNode.getValue:()Lorg/graalvm/compiler/nodes/ValueNode;
getstatic org.graalvm.compiler.nodes.NodeView.DEFAULT:Lorg/graalvm/compiler/nodes/NodeView;
invokevirtual org.graalvm.compiler.nodes.ValueNode.stamp:(Lorg/graalvm/compiler/nodes/NodeView;)Lorg/graalvm/compiler/core/common/type/Stamp;
instanceof org.graalvm.compiler.core.common.type.AbstractPointerStamp
ldc "input must be a pointer not %s"
iconst_1
anewarray java.lang.Object
dup
iconst_0
aload 0
invokevirtual org.graalvm.compiler.nodes.calc.IsNullNode.getValue:()Lorg/graalvm/compiler/nodes/ValueNode;
getstatic org.graalvm.compiler.nodes.NodeView.DEFAULT:Lorg/graalvm/compiler/nodes/NodeView;
invokevirtual org.graalvm.compiler.nodes.ValueNode.stamp:(Lorg/graalvm/compiler/nodes/NodeView;)Lorg/graalvm/compiler/core/common/type/Stamp;
aastore
invokevirtual org.graalvm.compiler.nodes.calc.IsNullNode.assertTrue:(ZLjava/lang/String;[Ljava/lang/Object;)Z
pop
4: aload 0
invokespecial org.graalvm.compiler.nodes.UnaryOpLogicNode.verify:()Z
ireturn
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 5 0 this Lorg/graalvm/compiler/nodes/calc/IsNullNode;
public org.graalvm.compiler.nodes.ValueNode canonical(org.graalvm.compiler.graph.spi.CanonicalizerTool, org.graalvm.compiler.nodes.ValueNode);
descriptor: (Lorg/graalvm/compiler/graph/spi/CanonicalizerTool;Lorg/graalvm/compiler/nodes/ValueNode;)Lorg/graalvm/compiler/nodes/ValueNode;
flags: (0x0001) ACC_PUBLIC
Code:
stack=2, locals=3, args_size=3
start local 0 start local 1 start local 2 0: aload 0
aload 2
invokestatic org.graalvm.compiler.nodes.calc.IsNullNode.canonicalized:(Lorg/graalvm/compiler/nodes/calc/IsNullNode;Lorg/graalvm/compiler/nodes/ValueNode;)Lorg/graalvm/compiler/nodes/LogicNode;
areturn
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 1 0 this Lorg/graalvm/compiler/nodes/calc/IsNullNode;
0 1 1 tool Lorg/graalvm/compiler/graph/spi/CanonicalizerTool;
0 1 2 forValue Lorg/graalvm/compiler/nodes/ValueNode;
MethodParameters:
Name Flags
tool
forValue
private static org.graalvm.compiler.nodes.LogicNode canonicalized(org.graalvm.compiler.nodes.calc.IsNullNode, org.graalvm.compiler.nodes.ValueNode);
descriptor: (Lorg/graalvm/compiler/nodes/calc/IsNullNode;Lorg/graalvm/compiler/nodes/ValueNode;)Lorg/graalvm/compiler/nodes/LogicNode;
flags: (0x000a) ACC_PRIVATE, ACC_STATIC
Code:
stack=3, locals=5, args_size=2
start local 0 start local 1 0: aload 0
astore 2
start local 2 1: aload 1
invokestatic org.graalvm.compiler.nodes.calc.IsNullNode.tryCanonicalize:(Lorg/graalvm/compiler/nodes/ValueNode;)Lorg/graalvm/compiler/nodes/LogicNode;
astore 3
start local 3 2: aload 3
ifnull 4
3: aload 3
areturn
4: StackMap locals: org.graalvm.compiler.nodes.calc.IsNullNode org.graalvm.compiler.nodes.LogicNode
StackMap stack:
aload 1
instanceof org.graalvm.compiler.nodes.PiNode
ifeq 6
5: aload 1
invokestatic org.graalvm.compiler.nodes.util.GraphUtil.skipPi:(Lorg/graalvm/compiler/nodes/ValueNode;)Lorg/graalvm/compiler/nodes/ValueNode;
invokestatic org.graalvm.compiler.nodes.calc.IsNullNode.create:(Lorg/graalvm/compiler/nodes/ValueNode;)Lorg/graalvm/compiler/nodes/LogicNode;
areturn
6: StackMap locals:
StackMap stack:
aload 1
instanceof org.graalvm.compiler.nodes.calc.ConvertNode
ifeq 10
7: aload 1
checkcast org.graalvm.compiler.nodes.calc.ConvertNode
astore 4
start local 4 8: aload 4
invokeinterface org.graalvm.compiler.nodes.calc.ConvertNode.mayNullCheckSkipConversion:()Z
ifeq 10
9: aload 4
invokeinterface org.graalvm.compiler.nodes.calc.ConvertNode.getValue:()Lorg/graalvm/compiler/nodes/ValueNode;
invokestatic org.graalvm.compiler.nodes.calc.IsNullNode.create:(Lorg/graalvm/compiler/nodes/ValueNode;)Lorg/graalvm/compiler/nodes/LogicNode;
areturn
end local 4 10: StackMap locals:
StackMap stack:
aload 2
ifnonnull 12
11: new org.graalvm.compiler.nodes.calc.IsNullNode
dup
aload 1
invokestatic org.graalvm.compiler.nodes.util.GraphUtil.skipPi:(Lorg/graalvm/compiler/nodes/ValueNode;)Lorg/graalvm/compiler/nodes/ValueNode;
invokespecial org.graalvm.compiler.nodes.calc.IsNullNode.<init>:(Lorg/graalvm/compiler/nodes/ValueNode;)V
astore 2
12: StackMap locals:
StackMap stack:
aload 2
areturn
end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 13 0 isNullNode Lorg/graalvm/compiler/nodes/calc/IsNullNode;
0 13 1 forValue Lorg/graalvm/compiler/nodes/ValueNode;
1 13 2 self Lorg/graalvm/compiler/nodes/calc/IsNullNode;
2 13 3 result Lorg/graalvm/compiler/nodes/LogicNode;
8 10 4 convertNode Lorg/graalvm/compiler/nodes/calc/ConvertNode;
MethodParameters:
Name Flags
isNullNode
forValue
public void virtualize(org.graalvm.compiler.nodes.spi.VirtualizerTool);
descriptor: (Lorg/graalvm/compiler/nodes/spi/VirtualizerTool;)V
flags: (0x0001) ACC_PUBLIC
Code:
stack=3, locals=4, args_size=2
start local 0 start local 1 0: aload 1
aload 0
invokevirtual org.graalvm.compiler.nodes.calc.IsNullNode.getValue:()Lorg/graalvm/compiler/nodes/ValueNode;
invokeinterface org.graalvm.compiler.nodes.spi.VirtualizerTool.getAlias:(Lorg/graalvm/compiler/nodes/ValueNode;)Lorg/graalvm/compiler/nodes/ValueNode;
astore 2
start local 2 1: aload 0
aload 2
getstatic org.graalvm.compiler.nodes.NodeView.DEFAULT:Lorg/graalvm/compiler/nodes/NodeView;
invokevirtual org.graalvm.compiler.nodes.ValueNode.stamp:(Lorg/graalvm/compiler/nodes/NodeView;)Lorg/graalvm/compiler/core/common/type/Stamp;
invokevirtual org.graalvm.compiler.nodes.calc.IsNullNode.tryFold:(Lorg/graalvm/compiler/core/common/type/Stamp;)Ljdk/vm/ci/meta/TriState;
astore 3
start local 3 2: aload 3
getstatic jdk.vm.ci.meta.TriState.UNKNOWN:Ljdk/vm/ci/meta/TriState;
if_acmpeq 4
3: aload 1
aload 3
invokevirtual jdk.vm.ci.meta.TriState.isTrue:()Z
aload 0
invokevirtual org.graalvm.compiler.nodes.calc.IsNullNode.graph:()Lorg/graalvm/compiler/nodes/StructuredGraph;
invokestatic org.graalvm.compiler.nodes.LogicConstantNode.forBoolean:(ZLorg/graalvm/compiler/graph/Graph;)Lorg/graalvm/compiler/nodes/LogicConstantNode;
invokeinterface org.graalvm.compiler.nodes.spi.VirtualizerTool.replaceWithValue:(Lorg/graalvm/compiler/nodes/ValueNode;)V
4: StackMap locals: org.graalvm.compiler.nodes.ValueNode jdk.vm.ci.meta.TriState
StackMap stack:
return
end local 3 end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 5 0 this Lorg/graalvm/compiler/nodes/calc/IsNullNode;
0 5 1 tool Lorg/graalvm/compiler/nodes/spi/VirtualizerTool;
1 5 2 alias Lorg/graalvm/compiler/nodes/ValueNode;
2 5 3 fold Ljdk/vm/ci/meta/TriState;
MethodParameters:
Name Flags
tool
public org.graalvm.compiler.core.common.type.Stamp getSucceedingStampForValue(boolean);
descriptor: (Z)Lorg/graalvm/compiler/core/common/type/Stamp;
flags: (0x0001) ACC_PUBLIC
Code:
stack=2, locals=3, args_size=2
start local 0 start local 1 0: aload 0
invokevirtual org.graalvm.compiler.nodes.calc.IsNullNode.getValue:()Lorg/graalvm/compiler/nodes/ValueNode;
getstatic org.graalvm.compiler.nodes.NodeView.DEFAULT:Lorg/graalvm/compiler/nodes/NodeView;
invokevirtual org.graalvm.compiler.nodes.ValueNode.stamp:(Lorg/graalvm/compiler/nodes/NodeView;)Lorg/graalvm/compiler/core/common/type/Stamp;
invokevirtual org.graalvm.compiler.core.common.type.Stamp.unrestricted:()Lorg/graalvm/compiler/core/common/type/Stamp;
checkcast org.graalvm.compiler.core.common.type.AbstractPointerStamp
astore 2
start local 2 1: iload 1
ifeq 2
aload 2
invokevirtual org.graalvm.compiler.core.common.type.AbstractPointerStamp.asNonNull:()Lorg/graalvm/compiler/core/common/type/Stamp;
goto 3
StackMap locals: org.graalvm.compiler.core.common.type.AbstractPointerStamp
StackMap stack:
2: aload 2
invokevirtual org.graalvm.compiler.core.common.type.AbstractPointerStamp.asAlwaysNull:()Lorg/graalvm/compiler/core/common/type/Stamp;
StackMap locals:
StackMap stack: org.graalvm.compiler.core.common.type.Stamp
3: areturn
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 4 0 this Lorg/graalvm/compiler/nodes/calc/IsNullNode;
0 4 1 negated Z
1 4 2 pointerStamp Lorg/graalvm/compiler/core/common/type/AbstractPointerStamp;
MethodParameters:
Name Flags
negated
public jdk.vm.ci.meta.TriState tryFold(org.graalvm.compiler.core.common.type.Stamp);
descriptor: (Lorg/graalvm/compiler/core/common/type/Stamp;)Ljdk/vm/ci/meta/TriState;
flags: (0x0001) ACC_PUBLIC
Code:
stack=1, locals=3, args_size=2
start local 0 start local 1 0: aload 1
instanceof org.graalvm.compiler.core.common.type.ObjectStamp
ifeq 6
1: aload 1
checkcast org.graalvm.compiler.core.common.type.ObjectStamp
astore 2
start local 2 2: aload 2
invokevirtual org.graalvm.compiler.core.common.type.ObjectStamp.alwaysNull:()Z
ifeq 4
3: getstatic jdk.vm.ci.meta.TriState.TRUE:Ljdk/vm/ci/meta/TriState;
areturn
4: StackMap locals: org.graalvm.compiler.core.common.type.ObjectStamp
StackMap stack:
aload 2
invokevirtual org.graalvm.compiler.core.common.type.ObjectStamp.nonNull:()Z
ifeq 6
5: getstatic jdk.vm.ci.meta.TriState.FALSE:Ljdk/vm/ci/meta/TriState;
areturn
end local 2 6: StackMap locals:
StackMap stack:
getstatic jdk.vm.ci.meta.TriState.UNKNOWN:Ljdk/vm/ci/meta/TriState;
areturn
end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 7 0 this Lorg/graalvm/compiler/nodes/calc/IsNullNode;
0 7 1 valueStamp Lorg/graalvm/compiler/core/common/type/Stamp;
2 6 2 objectStamp Lorg/graalvm/compiler/core/common/type/ObjectStamp;
MethodParameters:
Name Flags
valueStamp
public org.graalvm.compiler.graph.Node canonical(org.graalvm.compiler.graph.spi.CanonicalizerTool, org.graalvm.compiler.graph.Node);
descriptor: (Lorg/graalvm/compiler/graph/spi/CanonicalizerTool;Lorg/graalvm/compiler/graph/Node;)Lorg/graalvm/compiler/graph/Node;
flags: (0x1041) ACC_PUBLIC, ACC_BRIDGE, ACC_SYNTHETIC
Code:
stack=3, locals=3, args_size=3
0: aload 0
aload 1
aload 2
checkcast org.graalvm.compiler.nodes.ValueNode
invokevirtual org.graalvm.compiler.nodes.calc.IsNullNode.canonical:(Lorg/graalvm/compiler/graph/spi/CanonicalizerTool;Lorg/graalvm/compiler/nodes/ValueNode;)Lorg/graalvm/compiler/nodes/ValueNode;
areturn
LocalVariableTable:
Start End Slot Name Signature
}
SourceFile: "IsNullNode.java"
RuntimeVisibleAnnotations:
org.graalvm.compiler.nodeinfo.NodeInfo(cycles = org.graalvm.compiler.nodeinfo.NodeCycles.CYCLES_2:Lorg/graalvm/compiler/nodeinfo/NodeCycles;)