public class org.graalvm.compiler.phases.common.ExpandLogicPhase extends org.graalvm.compiler.phases.Phase
  minor version: 0
  major version: 59
  flags: flags: (0x0021) ACC_PUBLIC, ACC_SUPER
  this_class: org.graalvm.compiler.phases.common.ExpandLogicPhase
  super_class: org.graalvm.compiler.phases.Phase
{
  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: .line 41
            ldc Lorg/graalvm/compiler/phases/common/ExpandLogicPhase;
            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.phases.common.ExpandLogicPhase.$assertionsDisabled:Z
            return
      LocalVariableTable:
        Start  End  Slot  Name  Signature

  public void <init>();
    descriptor: ()V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // org.graalvm.compiler.phases.common.ExpandLogicPhase this
         0: .line 41
            aload 0 /* this */
            invokespecial org.graalvm.compiler.phases.Phase.<init>:()V
            return
        end local 0 // org.graalvm.compiler.phases.common.ExpandLogicPhase this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lorg/graalvm/compiler/phases/common/ExpandLogicPhase;

  protected void run(org.graalvm.compiler.nodes.StructuredGraph);
    descriptor: (Lorg/graalvm/compiler/nodes/StructuredGraph;)V
    flags: (0x0004) ACC_PROTECTED
    Code:
      stack=2, locals=4, args_size=2
        start local 0 // org.graalvm.compiler.phases.common.ExpandLogicPhase this
        start local 1 // org.graalvm.compiler.nodes.StructuredGraph graph
         0: .line 45
            aload 1 /* graph */
            getstatic org.graalvm.compiler.nodes.ShortCircuitOrNode.TYPE:Lorg/graalvm/compiler/graph/NodeClass;
            invokevirtual org.graalvm.compiler.nodes.StructuredGraph.getNodes:(Lorg/graalvm/compiler/graph/NodeClass;)Lorg/graalvm/compiler/graph/iterators/NodeIterable;
            invokeinterface org.graalvm.compiler.graph.iterators.NodeIterable.iterator:()Ljava/util/Iterator;
            astore 3
            goto 3
      StackMap locals: org.graalvm.compiler.phases.common.ExpandLogicPhase org.graalvm.compiler.nodes.StructuredGraph top java.util.Iterator
      StackMap stack:
         1: aload 3
            invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
            checkcast org.graalvm.compiler.nodes.ShortCircuitOrNode
            astore 2 /* logic */
        start local 2 // org.graalvm.compiler.nodes.ShortCircuitOrNode logic
         2: .line 46
            aload 2 /* logic */
            invokestatic org.graalvm.compiler.phases.common.ExpandLogicPhase.processBinary:(Lorg/graalvm/compiler/nodes/ShortCircuitOrNode;)V
        end local 2 // org.graalvm.compiler.nodes.ShortCircuitOrNode logic
         3: .line 45
      StackMap locals:
      StackMap stack:
            aload 3
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 1
         4: .line 48
            getstatic org.graalvm.compiler.phases.common.ExpandLogicPhase.$assertionsDisabled:Z
            ifne 5
            aload 1 /* graph */
            getstatic org.graalvm.compiler.nodes.ShortCircuitOrNode.TYPE:Lorg/graalvm/compiler/graph/NodeClass;
            invokevirtual org.graalvm.compiler.nodes.StructuredGraph.getNodes:(Lorg/graalvm/compiler/graph/NodeClass;)Lorg/graalvm/compiler/graph/iterators/NodeIterable;
            invokeinterface org.graalvm.compiler.graph.iterators.NodeIterable.isEmpty:()Z
            ifne 5
            new java.lang.AssertionError
            dup
            invokespecial java.lang.AssertionError.<init>:()V
            athrow
         5: .line 49
      StackMap locals: org.graalvm.compiler.phases.common.ExpandLogicPhase org.graalvm.compiler.nodes.StructuredGraph
      StackMap stack:
            return
        end local 1 // org.graalvm.compiler.nodes.StructuredGraph graph
        end local 0 // org.graalvm.compiler.phases.common.ExpandLogicPhase this
      LocalVariableTable:
        Start  End  Slot   Name  Signature
            0    6     0   this  Lorg/graalvm/compiler/phases/common/ExpandLogicPhase;
            0    6     1  graph  Lorg/graalvm/compiler/nodes/StructuredGraph;
            2    3     2  logic  Lorg/graalvm/compiler/nodes/ShortCircuitOrNode;
    MethodParameters:
       Name  Flags
      graph  

  private static void processBinary(org.graalvm.compiler.nodes.ShortCircuitOrNode);
    descriptor: (Lorg/graalvm/compiler/nodes/ShortCircuitOrNode;)V
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=7, locals=2, args_size=1
        start local 0 // org.graalvm.compiler.nodes.ShortCircuitOrNode binary
         0: .line 52
            goto 12
         1: .line 53
      StackMap locals:
      StackMap stack:
            aload 0 /* binary */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.usages:()Lorg/graalvm/compiler/graph/iterators/NodeIterable;
            invokeinterface org.graalvm.compiler.graph.iterators.NodeIterable.first:()Lorg/graalvm/compiler/graph/Node;
            astore 1 /* usage */
        start local 1 // org.graalvm.compiler.graph.Node usage
         2: .line 54
            aload 1 /* usage */
            instanceof org.graalvm.compiler.nodes.ShortCircuitOrNode
            ifeq 5
         3: .line 55
            aload 1 /* usage */
            checkcast org.graalvm.compiler.nodes.ShortCircuitOrNode
            invokestatic org.graalvm.compiler.phases.common.ExpandLogicPhase.processBinary:(Lorg/graalvm/compiler/nodes/ShortCircuitOrNode;)V
         4: .line 56
            goto 12
      StackMap locals: org.graalvm.compiler.graph.Node
      StackMap stack:
         5: aload 1 /* usage */
            instanceof org.graalvm.compiler.nodes.IfNode
            ifeq 8
         6: .line 57
            aload 0 /* binary */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.getX:()Lorg/graalvm/compiler/nodes/LogicNode;
            aload 0 /* binary */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isXNegated:()Z
            aload 0 /* binary */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.getY:()Lorg/graalvm/compiler/nodes/LogicNode;
            aload 0 /* binary */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isYNegated:()Z
            aload 1 /* usage */
            checkcast org.graalvm.compiler.nodes.IfNode
            aload 0 /* binary */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.getShortCircuitProbability:()D
            invokestatic org.graalvm.compiler.phases.common.ExpandLogicPhase.processIf:(Lorg/graalvm/compiler/nodes/LogicNode;ZLorg/graalvm/compiler/nodes/LogicNode;ZLorg/graalvm/compiler/nodes/IfNode;D)V
         7: .line 58
            goto 12
      StackMap locals:
      StackMap stack:
         8: aload 1 /* usage */
            instanceof org.graalvm.compiler.nodes.calc.ConditionalNode
            ifeq 11
         9: .line 59
            aload 0 /* binary */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.getX:()Lorg/graalvm/compiler/nodes/LogicNode;
            aload 0 /* binary */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isXNegated:()Z
            aload 0 /* binary */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.getY:()Lorg/graalvm/compiler/nodes/LogicNode;
            aload 0 /* binary */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isYNegated:()Z
            aload 1 /* usage */
            checkcast org.graalvm.compiler.nodes.calc.ConditionalNode
            invokestatic org.graalvm.compiler.phases.common.ExpandLogicPhase.processConditional:(Lorg/graalvm/compiler/nodes/LogicNode;ZLorg/graalvm/compiler/nodes/LogicNode;ZLorg/graalvm/compiler/nodes/calc/ConditionalNode;)V
        10: .line 60
            goto 12
        11: .line 61
      StackMap locals:
      StackMap stack:
            invokestatic org.graalvm.compiler.debug.GraalError.shouldNotReachHere:()Ljava/lang/RuntimeException;
            athrow
        end local 1 // org.graalvm.compiler.graph.Node usage
        12: .line 52
      StackMap locals:
      StackMap stack:
            aload 0 /* binary */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.usages:()Lorg/graalvm/compiler/graph/iterators/NodeIterable;
            invokeinterface org.graalvm.compiler.graph.iterators.NodeIterable.isNotEmpty:()Z
            ifne 1
        13: .line 64
            aload 0 /* binary */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.safeDelete:()V
        14: .line 65
            return
        end local 0 // org.graalvm.compiler.nodes.ShortCircuitOrNode binary
      LocalVariableTable:
        Start  End  Slot    Name  Signature
            0   15     0  binary  Lorg/graalvm/compiler/nodes/ShortCircuitOrNode;
            2   12     1   usage  Lorg/graalvm/compiler/graph/Node;
    MethodParameters:
        Name  Flags
      binary  

  private static void processIf(org.graalvm.compiler.nodes.LogicNode, boolean, org.graalvm.compiler.nodes.LogicNode, boolean, org.graalvm.compiler.nodes.IfNode, double);
    descriptor: (Lorg/graalvm/compiler/nodes/LogicNode;ZLorg/graalvm/compiler/nodes/LogicNode;ZLorg/graalvm/compiler/nodes/IfNode;D)V
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=8, locals=21, args_size=6
        start local 0 // org.graalvm.compiler.nodes.LogicNode x
        start local 1 // boolean xNegated
        start local 2 // org.graalvm.compiler.nodes.LogicNode y
        start local 3 // boolean yNegated
        start local 4 // org.graalvm.compiler.nodes.IfNode ifNode
        start local 5 // double shortCircuitProbability
         0: .line 68
            aload 4 /* ifNode */
            invokevirtual org.graalvm.compiler.nodes.IfNode.trueSuccessor:()Lorg/graalvm/compiler/nodes/AbstractBeginNode;
            astore 7 /* trueTarget */
        start local 7 // org.graalvm.compiler.nodes.AbstractBeginNode trueTarget
         1: .line 69
            aload 4 /* ifNode */
            invokevirtual org.graalvm.compiler.nodes.IfNode.falseSuccessor:()Lorg/graalvm/compiler/nodes/AbstractBeginNode;
            astore 8 /* falseTarget */
        start local 8 // org.graalvm.compiler.nodes.AbstractBeginNode falseTarget
         2: .line 70
            dload 5 /* shortCircuitProbability */
            dstore 9 /* firstIfProbability */
        start local 9 // double firstIfProbability
         3: .line 78
            aload 4 /* ifNode */
            aload 7 /* trueTarget */
            invokevirtual org.graalvm.compiler.nodes.IfNode.probability:(Lorg/graalvm/compiler/nodes/AbstractBeginNode;)D
            dload 5 /* shortCircuitProbability */
            dsub
            dconst_1
            dload 5 /* shortCircuitProbability */
            dsub
            ddiv
            dstore 11 /* secondIfProbability */
        start local 11 // double secondIfProbability
         4: .line 79
            dconst_1
            dconst_0
            dload 11 /* secondIfProbability */
            invokestatic java.lang.Math.max:(DD)D
            invokestatic java.lang.Math.min:(DD)D
            dstore 11 /* secondIfProbability */
         5: .line 80
            dload 11 /* secondIfProbability */
            invokestatic java.lang.Double.isNaN:(D)Z
            ifeq 7
         6: .line 81
            ldc 0.5
            dstore 11 /* secondIfProbability */
         7: .line 83
      StackMap locals: org.graalvm.compiler.nodes.LogicNode int org.graalvm.compiler.nodes.LogicNode int org.graalvm.compiler.nodes.IfNode double org.graalvm.compiler.nodes.AbstractBeginNode org.graalvm.compiler.nodes.AbstractBeginNode double double
      StackMap stack:
            aload 4 /* ifNode */
            invokevirtual org.graalvm.compiler.nodes.IfNode.clearSuccessors:()V
         8: .line 84
            aload 4 /* ifNode */
            invokevirtual org.graalvm.compiler.nodes.IfNode.graph:()Lorg/graalvm/compiler/nodes/StructuredGraph;
            astore 13 /* graph */
        start local 13 // org.graalvm.compiler.graph.Graph graph
         9: .line 85
            aload 13 /* graph */
            new org.graalvm.compiler.nodes.MergeNode
            dup
            invokespecial org.graalvm.compiler.nodes.MergeNode.<init>:()V
            invokevirtual org.graalvm.compiler.graph.Graph.add:(Lorg/graalvm/compiler/graph/Node;)Lorg/graalvm/compiler/graph/Node;
            checkcast org.graalvm.compiler.nodes.AbstractMergeNode
            astore 14 /* trueTargetMerge */
        start local 14 // org.graalvm.compiler.nodes.AbstractMergeNode trueTargetMerge
        10: .line 86
            aload 14 /* trueTargetMerge */
            aload 7 /* trueTarget */
            invokevirtual org.graalvm.compiler.nodes.AbstractMergeNode.setNext:(Lorg/graalvm/compiler/nodes/FixedNode;)V
        11: .line 87
            aload 13 /* graph */
            new org.graalvm.compiler.nodes.EndNode
            dup
            invokespecial org.graalvm.compiler.nodes.EndNode.<init>:()V
            invokevirtual org.graalvm.compiler.graph.Graph.add:(Lorg/graalvm/compiler/graph/Node;)Lorg/graalvm/compiler/graph/Node;
            checkcast org.graalvm.compiler.nodes.EndNode
            astore 15 /* firstTrueEnd */
        start local 15 // org.graalvm.compiler.nodes.EndNode firstTrueEnd
        12: .line 88
            aload 13 /* graph */
            new org.graalvm.compiler.nodes.EndNode
            dup
            invokespecial org.graalvm.compiler.nodes.EndNode.<init>:()V
            invokevirtual org.graalvm.compiler.graph.Graph.add:(Lorg/graalvm/compiler/graph/Node;)Lorg/graalvm/compiler/graph/Node;
            checkcast org.graalvm.compiler.nodes.EndNode
            astore 16 /* secondTrueEnd */
        start local 16 // org.graalvm.compiler.nodes.EndNode secondTrueEnd
        13: .line 89
            aload 14 /* trueTargetMerge */
            aload 15 /* firstTrueEnd */
            invokevirtual org.graalvm.compiler.nodes.AbstractMergeNode.addForwardEnd:(Lorg/graalvm/compiler/nodes/EndNode;)V
        14: .line 90
            aload 14 /* trueTargetMerge */
            aload 16 /* secondTrueEnd */
            invokevirtual org.graalvm.compiler.nodes.AbstractMergeNode.addForwardEnd:(Lorg/graalvm/compiler/nodes/EndNode;)V
        15: .line 91
            aload 15 /* firstTrueEnd */
            invokestatic org.graalvm.compiler.nodes.BeginNode.begin:(Lorg/graalvm/compiler/nodes/FixedNode;)Lorg/graalvm/compiler/nodes/AbstractBeginNode;
            astore 17 /* firstTrueTarget */
        start local 17 // org.graalvm.compiler.nodes.AbstractBeginNode firstTrueTarget
        16: .line 92
            aload 16 /* secondTrueEnd */
            invokestatic org.graalvm.compiler.nodes.BeginNode.begin:(Lorg/graalvm/compiler/nodes/FixedNode;)Lorg/graalvm/compiler/nodes/AbstractBeginNode;
            astore 18 /* secondTrueTarget */
        start local 18 // org.graalvm.compiler.nodes.AbstractBeginNode secondTrueTarget
        17: .line 93
            aload 13 /* graph */
        18: new org.graalvm.compiler.nodes.IfNode
            dup
            aload 2 /* y */
            iload 3 /* yNegated */
            ifeq 19
            aload 8 /* falseTarget */
            goto 20
      StackMap locals: org.graalvm.compiler.nodes.LogicNode int org.graalvm.compiler.nodes.LogicNode int org.graalvm.compiler.nodes.IfNode double org.graalvm.compiler.nodes.AbstractBeginNode org.graalvm.compiler.nodes.AbstractBeginNode double double org.graalvm.compiler.graph.Graph org.graalvm.compiler.nodes.AbstractMergeNode org.graalvm.compiler.nodes.EndNode org.graalvm.compiler.nodes.EndNode org.graalvm.compiler.nodes.AbstractBeginNode org.graalvm.compiler.nodes.AbstractBeginNode
      StackMap stack: org.graalvm.compiler.graph.Graph new 18 new 18 org.graalvm.compiler.nodes.LogicNode
        19: aload 18 /* secondTrueTarget */
      StackMap locals: org.graalvm.compiler.nodes.LogicNode int org.graalvm.compiler.nodes.LogicNode int org.graalvm.compiler.nodes.IfNode double org.graalvm.compiler.nodes.AbstractBeginNode org.graalvm.compiler.nodes.AbstractBeginNode double double org.graalvm.compiler.graph.Graph org.graalvm.compiler.nodes.AbstractMergeNode org.graalvm.compiler.nodes.EndNode org.graalvm.compiler.nodes.EndNode org.graalvm.compiler.nodes.AbstractBeginNode org.graalvm.compiler.nodes.AbstractBeginNode
      StackMap stack: org.graalvm.compiler.graph.Graph new 18 new 18 org.graalvm.compiler.nodes.LogicNode org.graalvm.compiler.nodes.AbstractBeginNode
        20: iload 3 /* yNegated */
            ifeq 21
            aload 18 /* secondTrueTarget */
            goto 22
      StackMap locals: org.graalvm.compiler.nodes.LogicNode int org.graalvm.compiler.nodes.LogicNode int org.graalvm.compiler.nodes.IfNode double org.graalvm.compiler.nodes.AbstractBeginNode org.graalvm.compiler.nodes.AbstractBeginNode double double org.graalvm.compiler.graph.Graph org.graalvm.compiler.nodes.AbstractMergeNode org.graalvm.compiler.nodes.EndNode org.graalvm.compiler.nodes.EndNode org.graalvm.compiler.nodes.AbstractBeginNode org.graalvm.compiler.nodes.AbstractBeginNode
      StackMap stack: org.graalvm.compiler.graph.Graph new 18 new 18 org.graalvm.compiler.nodes.LogicNode org.graalvm.compiler.nodes.AbstractBeginNode
        21: aload 8 /* falseTarget */
      StackMap locals: org.graalvm.compiler.nodes.LogicNode int org.graalvm.compiler.nodes.LogicNode int org.graalvm.compiler.nodes.IfNode double org.graalvm.compiler.nodes.AbstractBeginNode org.graalvm.compiler.nodes.AbstractBeginNode double double org.graalvm.compiler.graph.Graph org.graalvm.compiler.nodes.AbstractMergeNode org.graalvm.compiler.nodes.EndNode org.graalvm.compiler.nodes.EndNode org.graalvm.compiler.nodes.AbstractBeginNode org.graalvm.compiler.nodes.AbstractBeginNode
      StackMap stack: org.graalvm.compiler.graph.Graph new 18 new 18 org.graalvm.compiler.nodes.LogicNode org.graalvm.compiler.nodes.AbstractBeginNode org.graalvm.compiler.nodes.AbstractBeginNode
        22: dload 11 /* secondIfProbability */
            invokespecial org.graalvm.compiler.nodes.IfNode.<init>:(Lorg/graalvm/compiler/nodes/LogicNode;Lorg/graalvm/compiler/nodes/AbstractBeginNode;Lorg/graalvm/compiler/nodes/AbstractBeginNode;D)V
            invokevirtual org.graalvm.compiler.graph.Graph.add:(Lorg/graalvm/compiler/graph/Node;)Lorg/graalvm/compiler/graph/Node;
            checkcast org.graalvm.compiler.nodes.FixedNode
            invokestatic org.graalvm.compiler.nodes.BeginNode.begin:(Lorg/graalvm/compiler/nodes/FixedNode;)Lorg/graalvm/compiler/nodes/AbstractBeginNode;
            astore 19 /* secondIf */
        start local 19 // org.graalvm.compiler.nodes.AbstractBeginNode secondIf
        23: .line 94
            aload 13 /* graph */
        24: new org.graalvm.compiler.nodes.IfNode
            dup
            aload 0 /* x */
            iload 1 /* xNegated */
            ifeq 25
            aload 19 /* secondIf */
            goto 26
      StackMap locals: org.graalvm.compiler.nodes.LogicNode int org.graalvm.compiler.nodes.LogicNode int org.graalvm.compiler.nodes.IfNode double org.graalvm.compiler.nodes.AbstractBeginNode org.graalvm.compiler.nodes.AbstractBeginNode double double org.graalvm.compiler.graph.Graph org.graalvm.compiler.nodes.AbstractMergeNode org.graalvm.compiler.nodes.EndNode org.graalvm.compiler.nodes.EndNode org.graalvm.compiler.nodes.AbstractBeginNode org.graalvm.compiler.nodes.AbstractBeginNode org.graalvm.compiler.nodes.AbstractBeginNode
      StackMap stack: org.graalvm.compiler.graph.Graph new 24 new 24 org.graalvm.compiler.nodes.LogicNode
        25: aload 17 /* firstTrueTarget */
      StackMap locals: org.graalvm.compiler.nodes.LogicNode int org.graalvm.compiler.nodes.LogicNode int org.graalvm.compiler.nodes.IfNode double org.graalvm.compiler.nodes.AbstractBeginNode org.graalvm.compiler.nodes.AbstractBeginNode double double org.graalvm.compiler.graph.Graph org.graalvm.compiler.nodes.AbstractMergeNode org.graalvm.compiler.nodes.EndNode org.graalvm.compiler.nodes.EndNode org.graalvm.compiler.nodes.AbstractBeginNode org.graalvm.compiler.nodes.AbstractBeginNode org.graalvm.compiler.nodes.AbstractBeginNode
      StackMap stack: org.graalvm.compiler.graph.Graph new 24 new 24 org.graalvm.compiler.nodes.LogicNode org.graalvm.compiler.nodes.AbstractBeginNode
        26: iload 1 /* xNegated */
            ifeq 27
            aload 17 /* firstTrueTarget */
            goto 28
      StackMap locals: org.graalvm.compiler.nodes.LogicNode int org.graalvm.compiler.nodes.LogicNode int org.graalvm.compiler.nodes.IfNode double org.graalvm.compiler.nodes.AbstractBeginNode org.graalvm.compiler.nodes.AbstractBeginNode double double org.graalvm.compiler.graph.Graph org.graalvm.compiler.nodes.AbstractMergeNode org.graalvm.compiler.nodes.EndNode org.graalvm.compiler.nodes.EndNode org.graalvm.compiler.nodes.AbstractBeginNode org.graalvm.compiler.nodes.AbstractBeginNode org.graalvm.compiler.nodes.AbstractBeginNode
      StackMap stack: org.graalvm.compiler.graph.Graph new 24 new 24 org.graalvm.compiler.nodes.LogicNode org.graalvm.compiler.nodes.AbstractBeginNode
        27: aload 19 /* secondIf */
      StackMap locals: org.graalvm.compiler.nodes.LogicNode int org.graalvm.compiler.nodes.LogicNode int org.graalvm.compiler.nodes.IfNode double org.graalvm.compiler.nodes.AbstractBeginNode org.graalvm.compiler.nodes.AbstractBeginNode double double org.graalvm.compiler.graph.Graph org.graalvm.compiler.nodes.AbstractMergeNode org.graalvm.compiler.nodes.EndNode org.graalvm.compiler.nodes.EndNode org.graalvm.compiler.nodes.AbstractBeginNode org.graalvm.compiler.nodes.AbstractBeginNode org.graalvm.compiler.nodes.AbstractBeginNode
      StackMap stack: org.graalvm.compiler.graph.Graph new 24 new 24 org.graalvm.compiler.nodes.LogicNode org.graalvm.compiler.nodes.AbstractBeginNode org.graalvm.compiler.nodes.AbstractBeginNode
        28: dload 9 /* firstIfProbability */
            invokespecial org.graalvm.compiler.nodes.IfNode.<init>:(Lorg/graalvm/compiler/nodes/LogicNode;Lorg/graalvm/compiler/nodes/AbstractBeginNode;Lorg/graalvm/compiler/nodes/AbstractBeginNode;D)V
            invokevirtual org.graalvm.compiler.graph.Graph.add:(Lorg/graalvm/compiler/graph/Node;)Lorg/graalvm/compiler/graph/Node;
            checkcast org.graalvm.compiler.nodes.IfNode
            astore 20 /* firstIf */
        start local 20 // org.graalvm.compiler.nodes.IfNode firstIf
        29: .line 95
            aload 4 /* ifNode */
            aload 20 /* firstIf */
            invokevirtual org.graalvm.compiler.nodes.IfNode.replaceAtPredecessor:(Lorg/graalvm/compiler/graph/Node;)V
        30: .line 96
            aload 4 /* ifNode */
            invokevirtual org.graalvm.compiler.nodes.IfNode.safeDelete:()V
        31: .line 97
            return
        end local 20 // org.graalvm.compiler.nodes.IfNode firstIf
        end local 19 // org.graalvm.compiler.nodes.AbstractBeginNode secondIf
        end local 18 // org.graalvm.compiler.nodes.AbstractBeginNode secondTrueTarget
        end local 17 // org.graalvm.compiler.nodes.AbstractBeginNode firstTrueTarget
        end local 16 // org.graalvm.compiler.nodes.EndNode secondTrueEnd
        end local 15 // org.graalvm.compiler.nodes.EndNode firstTrueEnd
        end local 14 // org.graalvm.compiler.nodes.AbstractMergeNode trueTargetMerge
        end local 13 // org.graalvm.compiler.graph.Graph graph
        end local 11 // double secondIfProbability
        end local 9 // double firstIfProbability
        end local 8 // org.graalvm.compiler.nodes.AbstractBeginNode falseTarget
        end local 7 // org.graalvm.compiler.nodes.AbstractBeginNode trueTarget
        end local 5 // double shortCircuitProbability
        end local 4 // org.graalvm.compiler.nodes.IfNode ifNode
        end local 3 // boolean yNegated
        end local 2 // org.graalvm.compiler.nodes.LogicNode y
        end local 1 // boolean xNegated
        end local 0 // org.graalvm.compiler.nodes.LogicNode x
      LocalVariableTable:
        Start  End  Slot                     Name  Signature
            0   32     0                        x  Lorg/graalvm/compiler/nodes/LogicNode;
            0   32     1                 xNegated  Z
            0   32     2                        y  Lorg/graalvm/compiler/nodes/LogicNode;
            0   32     3                 yNegated  Z
            0   32     4                   ifNode  Lorg/graalvm/compiler/nodes/IfNode;
            0   32     5  shortCircuitProbability  D
            1   32     7               trueTarget  Lorg/graalvm/compiler/nodes/AbstractBeginNode;
            2   32     8              falseTarget  Lorg/graalvm/compiler/nodes/AbstractBeginNode;
            3   32     9       firstIfProbability  D
            4   32    11      secondIfProbability  D
            9   32    13                    graph  Lorg/graalvm/compiler/graph/Graph;
           10   32    14          trueTargetMerge  Lorg/graalvm/compiler/nodes/AbstractMergeNode;
           12   32    15             firstTrueEnd  Lorg/graalvm/compiler/nodes/EndNode;
           13   32    16            secondTrueEnd  Lorg/graalvm/compiler/nodes/EndNode;
           16   32    17          firstTrueTarget  Lorg/graalvm/compiler/nodes/AbstractBeginNode;
           17   32    18         secondTrueTarget  Lorg/graalvm/compiler/nodes/AbstractBeginNode;
           23   32    19                 secondIf  Lorg/graalvm/compiler/nodes/AbstractBeginNode;
           29   32    20                  firstIf  Lorg/graalvm/compiler/nodes/IfNode;
    MethodParameters:
                         Name  Flags
      x                        
      xNegated                 
      y                        
      yNegated                 
      ifNode                   
      shortCircuitProbability  

  private static void processConditional(org.graalvm.compiler.nodes.LogicNode, boolean, org.graalvm.compiler.nodes.LogicNode, boolean, org.graalvm.compiler.nodes.calc.ConditionalNode);
    descriptor: (Lorg/graalvm/compiler/nodes/LogicNode;ZLorg/graalvm/compiler/nodes/LogicNode;ZLorg/graalvm/compiler/nodes/calc/ConditionalNode;)V
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=6, locals=10, args_size=5
        start local 0 // org.graalvm.compiler.nodes.LogicNode x
        start local 1 // boolean xNegated
        start local 2 // org.graalvm.compiler.nodes.LogicNode y
        start local 3 // boolean yNegated
        start local 4 // org.graalvm.compiler.nodes.calc.ConditionalNode conditional
         0: .line 100
            aload 4 /* conditional */
            invokevirtual org.graalvm.compiler.nodes.calc.ConditionalNode.trueValue:()Lorg/graalvm/compiler/nodes/ValueNode;
            astore 5 /* trueTarget */
        start local 5 // org.graalvm.compiler.nodes.ValueNode trueTarget
         1: .line 101
            aload 4 /* conditional */
            invokevirtual org.graalvm.compiler.nodes.calc.ConditionalNode.falseValue:()Lorg/graalvm/compiler/nodes/ValueNode;
            astore 6 /* falseTarget */
        start local 6 // org.graalvm.compiler.nodes.ValueNode falseTarget
         2: .line 102
            aload 4 /* conditional */
            invokevirtual org.graalvm.compiler.nodes.calc.ConditionalNode.graph:()Lorg/graalvm/compiler/nodes/StructuredGraph;
            astore 7 /* graph */
        start local 7 // org.graalvm.compiler.graph.Graph graph
         3: .line 103
            aload 7 /* graph */
         4: new org.graalvm.compiler.nodes.calc.ConditionalNode
            dup
            aload 2 /* y */
            iload 3 /* yNegated */
            ifeq 5
            aload 6 /* falseTarget */
            goto 6
      StackMap locals: org.graalvm.compiler.nodes.LogicNode int org.graalvm.compiler.nodes.LogicNode int org.graalvm.compiler.nodes.calc.ConditionalNode org.graalvm.compiler.nodes.ValueNode org.graalvm.compiler.nodes.ValueNode org.graalvm.compiler.graph.Graph
      StackMap stack: org.graalvm.compiler.graph.Graph new 4 new 4 org.graalvm.compiler.nodes.LogicNode
         5: aload 5 /* trueTarget */
      StackMap locals: org.graalvm.compiler.nodes.LogicNode int org.graalvm.compiler.nodes.LogicNode int org.graalvm.compiler.nodes.calc.ConditionalNode org.graalvm.compiler.nodes.ValueNode org.graalvm.compiler.nodes.ValueNode org.graalvm.compiler.graph.Graph
      StackMap stack: org.graalvm.compiler.graph.Graph new 4 new 4 org.graalvm.compiler.nodes.LogicNode org.graalvm.compiler.nodes.ValueNode
         6: iload 3 /* yNegated */
            ifeq 7
            aload 5 /* trueTarget */
            goto 8
      StackMap locals: org.graalvm.compiler.nodes.LogicNode int org.graalvm.compiler.nodes.LogicNode int org.graalvm.compiler.nodes.calc.ConditionalNode org.graalvm.compiler.nodes.ValueNode org.graalvm.compiler.nodes.ValueNode org.graalvm.compiler.graph.Graph
      StackMap stack: org.graalvm.compiler.graph.Graph new 4 new 4 org.graalvm.compiler.nodes.LogicNode org.graalvm.compiler.nodes.ValueNode
         7: aload 6 /* falseTarget */
      StackMap locals: org.graalvm.compiler.nodes.LogicNode int org.graalvm.compiler.nodes.LogicNode int org.graalvm.compiler.nodes.calc.ConditionalNode org.graalvm.compiler.nodes.ValueNode org.graalvm.compiler.nodes.ValueNode org.graalvm.compiler.graph.Graph
      StackMap stack: org.graalvm.compiler.graph.Graph new 4 new 4 org.graalvm.compiler.nodes.LogicNode org.graalvm.compiler.nodes.ValueNode org.graalvm.compiler.nodes.ValueNode
         8: invokespecial org.graalvm.compiler.nodes.calc.ConditionalNode.<init>:(Lorg/graalvm/compiler/nodes/LogicNode;Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;)V
            invokevirtual org.graalvm.compiler.graph.Graph.unique:(Lorg/graalvm/compiler/graph/Node;)Lorg/graalvm/compiler/graph/Node;
            checkcast org.graalvm.compiler.nodes.calc.ConditionalNode
            astore 8 /* secondConditional */
        start local 8 // org.graalvm.compiler.nodes.calc.ConditionalNode secondConditional
         9: .line 104
            aload 7 /* graph */
        10: new org.graalvm.compiler.nodes.calc.ConditionalNode
            dup
            aload 0 /* x */
            iload 1 /* xNegated */
            ifeq 11
            aload 8 /* secondConditional */
            goto 12
      StackMap locals: org.graalvm.compiler.nodes.LogicNode int org.graalvm.compiler.nodes.LogicNode int org.graalvm.compiler.nodes.calc.ConditionalNode org.graalvm.compiler.nodes.ValueNode org.graalvm.compiler.nodes.ValueNode org.graalvm.compiler.graph.Graph org.graalvm.compiler.nodes.calc.ConditionalNode
      StackMap stack: org.graalvm.compiler.graph.Graph new 10 new 10 org.graalvm.compiler.nodes.LogicNode
        11: aload 5 /* trueTarget */
      StackMap locals: org.graalvm.compiler.nodes.LogicNode int org.graalvm.compiler.nodes.LogicNode int org.graalvm.compiler.nodes.calc.ConditionalNode org.graalvm.compiler.nodes.ValueNode org.graalvm.compiler.nodes.ValueNode org.graalvm.compiler.graph.Graph org.graalvm.compiler.nodes.calc.ConditionalNode
      StackMap stack: org.graalvm.compiler.graph.Graph new 10 new 10 org.graalvm.compiler.nodes.LogicNode org.graalvm.compiler.nodes.ValueNode
        12: iload 1 /* xNegated */
            ifeq 13
            aload 5 /* trueTarget */
            goto 14
      StackMap locals: org.graalvm.compiler.nodes.LogicNode int org.graalvm.compiler.nodes.LogicNode int org.graalvm.compiler.nodes.calc.ConditionalNode org.graalvm.compiler.nodes.ValueNode org.graalvm.compiler.nodes.ValueNode org.graalvm.compiler.graph.Graph org.graalvm.compiler.nodes.calc.ConditionalNode
      StackMap stack: org.graalvm.compiler.graph.Graph new 10 new 10 org.graalvm.compiler.nodes.LogicNode org.graalvm.compiler.nodes.ValueNode
        13: aload 8 /* secondConditional */
      StackMap locals: org.graalvm.compiler.nodes.LogicNode int org.graalvm.compiler.nodes.LogicNode int org.graalvm.compiler.nodes.calc.ConditionalNode org.graalvm.compiler.nodes.ValueNode org.graalvm.compiler.nodes.ValueNode org.graalvm.compiler.graph.Graph org.graalvm.compiler.nodes.calc.ConditionalNode
      StackMap stack: org.graalvm.compiler.graph.Graph new 10 new 10 org.graalvm.compiler.nodes.LogicNode org.graalvm.compiler.nodes.ValueNode org.graalvm.compiler.nodes.ValueNode
        14: invokespecial org.graalvm.compiler.nodes.calc.ConditionalNode.<init>:(Lorg/graalvm/compiler/nodes/LogicNode;Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;)V
            invokevirtual org.graalvm.compiler.graph.Graph.unique:(Lorg/graalvm/compiler/graph/Node;)Lorg/graalvm/compiler/graph/Node;
            checkcast org.graalvm.compiler.nodes.calc.ConditionalNode
            astore 9 /* firstConditional */
        start local 9 // org.graalvm.compiler.nodes.calc.ConditionalNode firstConditional
        15: .line 105
            aload 4 /* conditional */
            aload 9 /* firstConditional */
            invokevirtual org.graalvm.compiler.nodes.calc.ConditionalNode.replaceAndDelete:(Lorg/graalvm/compiler/graph/Node;)V
        16: .line 106
            return
        end local 9 // org.graalvm.compiler.nodes.calc.ConditionalNode firstConditional
        end local 8 // org.graalvm.compiler.nodes.calc.ConditionalNode secondConditional
        end local 7 // org.graalvm.compiler.graph.Graph graph
        end local 6 // org.graalvm.compiler.nodes.ValueNode falseTarget
        end local 5 // org.graalvm.compiler.nodes.ValueNode trueTarget
        end local 4 // org.graalvm.compiler.nodes.calc.ConditionalNode conditional
        end local 3 // boolean yNegated
        end local 2 // org.graalvm.compiler.nodes.LogicNode y
        end local 1 // boolean xNegated
        end local 0 // org.graalvm.compiler.nodes.LogicNode x
      LocalVariableTable:
        Start  End  Slot               Name  Signature
            0   17     0                  x  Lorg/graalvm/compiler/nodes/LogicNode;
            0   17     1           xNegated  Z
            0   17     2                  y  Lorg/graalvm/compiler/nodes/LogicNode;
            0   17     3           yNegated  Z
            0   17     4        conditional  Lorg/graalvm/compiler/nodes/calc/ConditionalNode;
            1   17     5         trueTarget  Lorg/graalvm/compiler/nodes/ValueNode;
            2   17     6        falseTarget  Lorg/graalvm/compiler/nodes/ValueNode;
            3   17     7              graph  Lorg/graalvm/compiler/graph/Graph;
            9   17     8  secondConditional  Lorg/graalvm/compiler/nodes/calc/ConditionalNode;
           15   17     9   firstConditional  Lorg/graalvm/compiler/nodes/calc/ConditionalNode;
    MethodParameters:
             Name  Flags
      x            
      xNegated     
      y            
      yNegated     
      conditional  

  public boolean checkContract();
    descriptor: ()Z
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // org.graalvm.compiler.phases.common.ExpandLogicPhase this
         0: .line 110
            iconst_0
            ireturn
        end local 0 // org.graalvm.compiler.phases.common.ExpandLogicPhase this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lorg/graalvm/compiler/phases/common/ExpandLogicPhase;
}
SourceFile: "ExpandLogicPhase.java"
InnerClasses:
  public abstract ValueNumberable = org.graalvm.compiler.graph.Node$ValueNumberable of org.graalvm.compiler.graph.Node