public abstract class org.graalvm.compiler.nodes.LogicNode extends org.graalvm.compiler.nodes.calc.FloatingNode implements org.graalvm.compiler.graph.Node$IndirectCanonicalization
  minor version: 0
  major version: 59
  flags: flags: (0x0421) ACC_PUBLIC, ACC_SUPER, ACC_ABSTRACT
  this_class: org.graalvm.compiler.nodes.LogicNode
  super_class: org.graalvm.compiler.nodes.calc.FloatingNode
{
  public static final org.graalvm.compiler.graph.NodeClass<org.graalvm.compiler.nodes.LogicNode> 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/LogicNode;>;

  static void <clinit>();
    descriptor: ()V
    flags: (0x0008) ACC_STATIC
    Code:
      stack=1, locals=0, args_size=0
         0: .line 40
            ldc Lorg/graalvm/compiler/nodes/LogicNode;
            invokestatic org.graalvm.compiler.graph.NodeClass.create:(Ljava/lang/Class;)Lorg/graalvm/compiler/graph/NodeClass;
            putstatic org.graalvm.compiler.nodes.LogicNode.TYPE:Lorg/graalvm/compiler/graph/NodeClass;
            return
      LocalVariableTable:
        Start  End  Slot  Name  Signature

  public void <init>(org.graalvm.compiler.graph.NodeClass<? extends org.graalvm.compiler.nodes.LogicNode>);
    descriptor: (Lorg/graalvm/compiler/graph/NodeClass;)V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=3, locals=2, args_size=2
        start local 0 // org.graalvm.compiler.nodes.LogicNode this
        start local 1 // org.graalvm.compiler.graph.NodeClass c
         0: .line 43
            aload 0 /* this */
            aload 1 /* c */
            invokestatic org.graalvm.compiler.core.common.type.StampFactory.forVoid:()Lorg/graalvm/compiler/core/common/type/Stamp;
            invokespecial org.graalvm.compiler.nodes.calc.FloatingNode.<init>:(Lorg/graalvm/compiler/graph/NodeClass;Lorg/graalvm/compiler/core/common/type/Stamp;)V
         1: .line 44
            return
        end local 1 // org.graalvm.compiler.graph.NodeClass c
        end local 0 // org.graalvm.compiler.nodes.LogicNode this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    2     0  this  Lorg/graalvm/compiler/nodes/LogicNode;
            0    2     1     c  Lorg/graalvm/compiler/graph/NodeClass<+Lorg/graalvm/compiler/nodes/LogicNode;>;
    Signature: (Lorg/graalvm/compiler/graph/NodeClass<+Lorg/graalvm/compiler/nodes/LogicNode;>;)V
    MethodParameters:
      Name  Flags
      c     

  public static org.graalvm.compiler.nodes.LogicNode and(org.graalvm.compiler.nodes.LogicNode, org.graalvm.compiler.nodes.LogicNode, double);
    descriptor: (Lorg/graalvm/compiler/nodes/LogicNode;Lorg/graalvm/compiler/nodes/LogicNode;D)Lorg/graalvm/compiler/nodes/LogicNode;
    flags: (0x0009) ACC_PUBLIC, ACC_STATIC
    Code:
      stack=6, locals=4, args_size=3
        start local 0 // org.graalvm.compiler.nodes.LogicNode a
        start local 1 // org.graalvm.compiler.nodes.LogicNode b
        start local 2 // double shortCircuitProbability
         0: .line 47
            aload 0 /* a */
            iconst_0
            aload 1 /* b */
            iconst_0
            dload 2 /* shortCircuitProbability */
            invokestatic org.graalvm.compiler.nodes.LogicNode.and:(Lorg/graalvm/compiler/nodes/LogicNode;ZLorg/graalvm/compiler/nodes/LogicNode;ZD)Lorg/graalvm/compiler/nodes/LogicNode;
            areturn
        end local 2 // double shortCircuitProbability
        end local 1 // org.graalvm.compiler.nodes.LogicNode b
        end local 0 // org.graalvm.compiler.nodes.LogicNode a
      LocalVariableTable:
        Start  End  Slot                     Name  Signature
            0    1     0                        a  Lorg/graalvm/compiler/nodes/LogicNode;
            0    1     1                        b  Lorg/graalvm/compiler/nodes/LogicNode;
            0    1     2  shortCircuitProbability  D
    MethodParameters:
                         Name  Flags
      a                        
      b                        
      shortCircuitProbability  

  public static org.graalvm.compiler.nodes.LogicNode and(org.graalvm.compiler.nodes.LogicNode, boolean, org.graalvm.compiler.nodes.LogicNode, boolean, double);
    descriptor: (Lorg/graalvm/compiler/nodes/LogicNode;ZLorg/graalvm/compiler/nodes/LogicNode;ZD)Lorg/graalvm/compiler/nodes/LogicNode;
    flags: (0x0009) ACC_PUBLIC, ACC_STATIC
    Code:
      stack=9, locals=8, args_size=5
        start local 0 // org.graalvm.compiler.nodes.LogicNode a
        start local 1 // boolean negateA
        start local 2 // org.graalvm.compiler.nodes.LogicNode b
        start local 3 // boolean negateB
        start local 4 // double shortCircuitProbability
         0: .line 51
            aload 0 /* a */
            invokevirtual org.graalvm.compiler.nodes.LogicNode.graph:()Lorg/graalvm/compiler/nodes/StructuredGraph;
            astore 6 /* graph */
        start local 6 // org.graalvm.compiler.nodes.StructuredGraph graph
         1: .line 52
            aload 6 /* graph */
         2: new org.graalvm.compiler.nodes.ShortCircuitOrNode
            dup
            aload 0 /* a */
            iload 1 /* negateA */
            ifeq 3
            iconst_0
            goto 4
      StackMap locals: org.graalvm.compiler.nodes.LogicNode int org.graalvm.compiler.nodes.LogicNode int double org.graalvm.compiler.nodes.StructuredGraph
      StackMap stack: org.graalvm.compiler.nodes.StructuredGraph new 2 new 2 org.graalvm.compiler.nodes.LogicNode
         3: iconst_1
      StackMap locals: org.graalvm.compiler.nodes.LogicNode int org.graalvm.compiler.nodes.LogicNode int double org.graalvm.compiler.nodes.StructuredGraph
      StackMap stack: org.graalvm.compiler.nodes.StructuredGraph new 2 new 2 org.graalvm.compiler.nodes.LogicNode int
         4: aload 2 /* b */
            iload 3 /* negateB */
            ifeq 5
            iconst_0
            goto 6
      StackMap locals: org.graalvm.compiler.nodes.LogicNode int org.graalvm.compiler.nodes.LogicNode int double org.graalvm.compiler.nodes.StructuredGraph
      StackMap stack: org.graalvm.compiler.nodes.StructuredGraph new 2 new 2 org.graalvm.compiler.nodes.LogicNode int org.graalvm.compiler.nodes.LogicNode
         5: iconst_1
      StackMap locals: org.graalvm.compiler.nodes.LogicNode int org.graalvm.compiler.nodes.LogicNode int double org.graalvm.compiler.nodes.StructuredGraph
      StackMap stack: org.graalvm.compiler.nodes.StructuredGraph new 2 new 2 org.graalvm.compiler.nodes.LogicNode int org.graalvm.compiler.nodes.LogicNode int
         6: dload 4 /* shortCircuitProbability */
            invokespecial org.graalvm.compiler.nodes.ShortCircuitOrNode.<init>:(Lorg/graalvm/compiler/nodes/LogicNode;ZLorg/graalvm/compiler/nodes/LogicNode;ZD)V
            invokevirtual org.graalvm.compiler.nodes.StructuredGraph.unique:(Lorg/graalvm/compiler/graph/Node;)Lorg/graalvm/compiler/graph/Node;
            checkcast org.graalvm.compiler.nodes.ShortCircuitOrNode
            astore 7 /* notAorNotB */
        start local 7 // org.graalvm.compiler.nodes.ShortCircuitOrNode notAorNotB
         7: .line 53
            aload 6 /* graph */
            new org.graalvm.compiler.nodes.LogicNegationNode
            dup
            aload 7 /* notAorNotB */
            invokespecial org.graalvm.compiler.nodes.LogicNegationNode.<init>:(Lorg/graalvm/compiler/nodes/LogicNode;)V
            invokevirtual org.graalvm.compiler.nodes.StructuredGraph.unique:(Lorg/graalvm/compiler/graph/Node;)Lorg/graalvm/compiler/graph/Node;
            checkcast org.graalvm.compiler.nodes.LogicNode
            areturn
        end local 7 // org.graalvm.compiler.nodes.ShortCircuitOrNode notAorNotB
        end local 6 // org.graalvm.compiler.nodes.StructuredGraph graph
        end local 4 // double shortCircuitProbability
        end local 3 // boolean negateB
        end local 2 // org.graalvm.compiler.nodes.LogicNode b
        end local 1 // boolean negateA
        end local 0 // org.graalvm.compiler.nodes.LogicNode a
      LocalVariableTable:
        Start  End  Slot                     Name  Signature
            0    8     0                        a  Lorg/graalvm/compiler/nodes/LogicNode;
            0    8     1                  negateA  Z
            0    8     2                        b  Lorg/graalvm/compiler/nodes/LogicNode;
            0    8     3                  negateB  Z
            0    8     4  shortCircuitProbability  D
            1    8     6                    graph  Lorg/graalvm/compiler/nodes/StructuredGraph;
            7    8     7               notAorNotB  Lorg/graalvm/compiler/nodes/ShortCircuitOrNode;
    MethodParameters:
                         Name  Flags
      a                        
      negateA                  
      b                        
      negateB                  
      shortCircuitProbability  

  public static org.graalvm.compiler.nodes.LogicNode or(org.graalvm.compiler.nodes.LogicNode, org.graalvm.compiler.nodes.LogicNode, double);
    descriptor: (Lorg/graalvm/compiler/nodes/LogicNode;Lorg/graalvm/compiler/nodes/LogicNode;D)Lorg/graalvm/compiler/nodes/LogicNode;
    flags: (0x0009) ACC_PUBLIC, ACC_STATIC
    Code:
      stack=6, locals=4, args_size=3
        start local 0 // org.graalvm.compiler.nodes.LogicNode a
        start local 1 // org.graalvm.compiler.nodes.LogicNode b
        start local 2 // double shortCircuitProbability
         0: .line 57
            aload 0 /* a */
            iconst_0
            aload 1 /* b */
            iconst_0
            dload 2 /* shortCircuitProbability */
            invokestatic org.graalvm.compiler.nodes.LogicNode.or:(Lorg/graalvm/compiler/nodes/LogicNode;ZLorg/graalvm/compiler/nodes/LogicNode;ZD)Lorg/graalvm/compiler/nodes/LogicNode;
            areturn
        end local 2 // double shortCircuitProbability
        end local 1 // org.graalvm.compiler.nodes.LogicNode b
        end local 0 // org.graalvm.compiler.nodes.LogicNode a
      LocalVariableTable:
        Start  End  Slot                     Name  Signature
            0    1     0                        a  Lorg/graalvm/compiler/nodes/LogicNode;
            0    1     1                        b  Lorg/graalvm/compiler/nodes/LogicNode;
            0    1     2  shortCircuitProbability  D
    MethodParameters:
                         Name  Flags
      a                        
      b                        
      shortCircuitProbability  

  public static org.graalvm.compiler.nodes.LogicNode or(org.graalvm.compiler.nodes.LogicNode, boolean, org.graalvm.compiler.nodes.LogicNode, boolean, double);
    descriptor: (Lorg/graalvm/compiler/nodes/LogicNode;ZLorg/graalvm/compiler/nodes/LogicNode;ZD)Lorg/graalvm/compiler/nodes/LogicNode;
    flags: (0x0009) ACC_PUBLIC, ACC_STATIC
    Code:
      stack=9, locals=6, args_size=5
        start local 0 // org.graalvm.compiler.nodes.LogicNode a
        start local 1 // boolean negateA
        start local 2 // org.graalvm.compiler.nodes.LogicNode b
        start local 3 // boolean negateB
        start local 4 // double shortCircuitProbability
         0: .line 61
            aload 0 /* a */
            invokevirtual org.graalvm.compiler.nodes.LogicNode.graph:()Lorg/graalvm/compiler/nodes/StructuredGraph;
            new org.graalvm.compiler.nodes.ShortCircuitOrNode
            dup
            aload 0 /* a */
            iload 1 /* negateA */
            aload 2 /* b */
            iload 3 /* negateB */
            dload 4 /* shortCircuitProbability */
            invokespecial org.graalvm.compiler.nodes.ShortCircuitOrNode.<init>:(Lorg/graalvm/compiler/nodes/LogicNode;ZLorg/graalvm/compiler/nodes/LogicNode;ZD)V
            invokevirtual org.graalvm.compiler.nodes.StructuredGraph.unique:(Lorg/graalvm/compiler/graph/Node;)Lorg/graalvm/compiler/graph/Node;
            checkcast org.graalvm.compiler.nodes.LogicNode
            areturn
        end local 4 // double shortCircuitProbability
        end local 3 // boolean negateB
        end local 2 // org.graalvm.compiler.nodes.LogicNode b
        end local 1 // boolean negateA
        end local 0 // org.graalvm.compiler.nodes.LogicNode a
      LocalVariableTable:
        Start  End  Slot                     Name  Signature
            0    1     0                        a  Lorg/graalvm/compiler/nodes/LogicNode;
            0    1     1                  negateA  Z
            0    1     2                        b  Lorg/graalvm/compiler/nodes/LogicNode;
            0    1     3                  negateB  Z
            0    1     4  shortCircuitProbability  D
    MethodParameters:
                         Name  Flags
      a                        
      negateA                  
      b                        
      negateB                  
      shortCircuitProbability  

  public final boolean isTautology();
    descriptor: ()Z
    flags: (0x0011) ACC_PUBLIC, ACC_FINAL
    Code:
      stack=1, locals=2, args_size=1
        start local 0 // org.graalvm.compiler.nodes.LogicNode this
         0: .line 65
            aload 0 /* this */
            instanceof org.graalvm.compiler.nodes.LogicConstantNode
            ifeq 3
         1: .line 66
            aload 0 /* this */
            checkcast org.graalvm.compiler.nodes.LogicConstantNode
            astore 1 /* logicConstantNode */
        start local 1 // org.graalvm.compiler.nodes.LogicConstantNode logicConstantNode
         2: .line 67
            aload 1 /* logicConstantNode */
            invokevirtual org.graalvm.compiler.nodes.LogicConstantNode.getValue:()Z
            ireturn
        end local 1 // org.graalvm.compiler.nodes.LogicConstantNode logicConstantNode
         3: .line 70
      StackMap locals:
      StackMap stack:
            iconst_0
            ireturn
        end local 0 // org.graalvm.compiler.nodes.LogicNode this
      LocalVariableTable:
        Start  End  Slot               Name  Signature
            0    4     0               this  Lorg/graalvm/compiler/nodes/LogicNode;
            2    3     1  logicConstantNode  Lorg/graalvm/compiler/nodes/LogicConstantNode;

  public final boolean isContradiction();
    descriptor: ()Z
    flags: (0x0011) ACC_PUBLIC, ACC_FINAL
    Code:
      stack=1, locals=2, args_size=1
        start local 0 // org.graalvm.compiler.nodes.LogicNode this
         0: .line 74
            aload 0 /* this */
            instanceof org.graalvm.compiler.nodes.LogicConstantNode
            ifeq 5
         1: .line 75
            aload 0 /* this */
            checkcast org.graalvm.compiler.nodes.LogicConstantNode
            astore 1 /* logicConstantNode */
        start local 1 // org.graalvm.compiler.nodes.LogicConstantNode logicConstantNode
         2: .line 76
            aload 1 /* logicConstantNode */
            invokevirtual org.graalvm.compiler.nodes.LogicConstantNode.getValue:()Z
            ifeq 3
            iconst_0
            goto 4
      StackMap locals: org.graalvm.compiler.nodes.LogicConstantNode
      StackMap stack:
         3: iconst_1
      StackMap locals:
      StackMap stack: int
         4: ireturn
        end local 1 // org.graalvm.compiler.nodes.LogicConstantNode logicConstantNode
         5: .line 79
      StackMap locals:
      StackMap stack:
            iconst_0
            ireturn
        end local 0 // org.graalvm.compiler.nodes.LogicNode this
      LocalVariableTable:
        Start  End  Slot               Name  Signature
            0    6     0               this  Lorg/graalvm/compiler/nodes/LogicNode;
            2    5     1  logicConstantNode  Lorg/graalvm/compiler/nodes/LogicConstantNode;

  public jdk.vm.ci.meta.TriState implies(boolean, org.graalvm.compiler.nodes.LogicNode);
    descriptor: (ZLorg/graalvm/compiler/nodes/LogicNode;)Ljdk/vm/ci/meta/TriState;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=1, locals=3, args_size=3
        start local 0 // org.graalvm.compiler.nodes.LogicNode this
        start local 1 // boolean thisNegated
        start local 2 // org.graalvm.compiler.nodes.LogicNode other
         0: .line 94
            getstatic jdk.vm.ci.meta.TriState.UNKNOWN:Ljdk/vm/ci/meta/TriState;
            areturn
        end local 2 // org.graalvm.compiler.nodes.LogicNode other
        end local 1 // boolean thisNegated
        end local 0 // org.graalvm.compiler.nodes.LogicNode this
      LocalVariableTable:
        Start  End  Slot         Name  Signature
            0    1     0         this  Lorg/graalvm/compiler/nodes/LogicNode;
            0    1     1  thisNegated  Z
            0    1     2        other  Lorg/graalvm/compiler/nodes/LogicNode;
    MethodParameters:
             Name  Flags
      thisNegated  
      other        
}
SourceFile: "LogicNode.java"
InnerClasses:
  public abstract IndirectCanonicalization = org.graalvm.compiler.graph.Node$IndirectCanonicalization of org.graalvm.compiler.graph.Node
  public abstract ValueNumberable = org.graalvm.compiler.graph.Node$ValueNumberable of org.graalvm.compiler.graph.Node
    RuntimeVisibleAnnotations: 
      org.graalvm.compiler.nodeinfo.NodeInfo(allowedUsageTypes = {org.graalvm.compiler.nodeinfo.InputType.Condition:Lorg/graalvm/compiler/nodeinfo/InputType;}, size = org.graalvm.compiler.nodeinfo.NodeSize.SIZE_1:Lorg/graalvm/compiler/nodeinfo/NodeSize;)