java/10 : jdk.internal.vm.compiler/org/graalvm/compiler/phases/common/ExpandLogicPhase.class

ExpandLogicPhase
https://openjdk.java.net/
GPLv2 + Classpath Exception
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
{
  private static final double EPSILON;
    descriptor: D
    flags: (0x001a) ACC_PRIVATE, ACC_STATIC, ACC_FINAL
    ConstantValue: 1.0E-6

  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 50
            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
         3: .line 51
            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 50
            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 55
            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 56
            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 55
      StackMap locals:
      StackMap stack:
            aload 3
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 1
         4: .line 58
            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 60
      StackMap locals: org.graalvm.compiler.phases.common.ExpandLogicPhase org.graalvm.compiler.nodes.StructuredGraph
      StackMap stack:
            aload 1 /* graph */
            getstatic org.graalvm.compiler.nodes.calc.NormalizeCompareNode.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 8
      StackMap locals: org.graalvm.compiler.phases.common.ExpandLogicPhase org.graalvm.compiler.nodes.StructuredGraph top java.util.Iterator
      StackMap stack:
         6: aload 3
            invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
            checkcast org.graalvm.compiler.nodes.calc.NormalizeCompareNode
            astore 2 /* logic */
        start local 2 // org.graalvm.compiler.nodes.calc.NormalizeCompareNode logic
         7: .line 61
            aload 2 /* logic */
            invokestatic org.graalvm.compiler.phases.common.ExpandLogicPhase.processNormalizeCompareNode:(Lorg/graalvm/compiler/nodes/calc/NormalizeCompareNode;)V
        end local 2 // org.graalvm.compiler.nodes.calc.NormalizeCompareNode logic
         8: .line 60
      StackMap locals:
      StackMap stack:
            aload 3
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 6
         9: .line 63
            aload 1 /* graph */
            invokevirtual org.graalvm.compiler.nodes.StructuredGraph.setAfterExpandLogic:()V
        10: .line 64
            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   11     0   this  Lorg/graalvm/compiler/phases/common/ExpandLogicPhase;
            0   11     1  graph  Lorg/graalvm/compiler/nodes/StructuredGraph;
            2    3     2  logic  Lorg/graalvm/compiler/nodes/ShortCircuitOrNode;
            7    8     2  logic  Lorg/graalvm/compiler/nodes/calc/NormalizeCompareNode;
    MethodParameters:
       Name  Flags
      graph  

  private static void processNormalizeCompareNode(org.graalvm.compiler.nodes.calc.NormalizeCompareNode);
    descriptor: (Lorg/graalvm/compiler/nodes/calc/NormalizeCompareNode;)V
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=9, locals=9, args_size=1
        start local 0 // org.graalvm.compiler.nodes.calc.NormalizeCompareNode normalize
         0: .line 69
            aload 0 /* normalize */
            invokevirtual org.graalvm.compiler.nodes.calc.NormalizeCompareNode.graph:()Lorg/graalvm/compiler/nodes/StructuredGraph;
            astore 3 /* graph */
        start local 3 // org.graalvm.compiler.nodes.StructuredGraph graph
         1: .line 70
            aload 0 /* normalize */
            invokevirtual org.graalvm.compiler.nodes.calc.NormalizeCompareNode.getX:()Lorg/graalvm/compiler/nodes/ValueNode;
            astore 4 /* x */
        start local 4 // org.graalvm.compiler.nodes.ValueNode x
         2: .line 71
            aload 0 /* normalize */
            invokevirtual org.graalvm.compiler.nodes.calc.NormalizeCompareNode.getY:()Lorg/graalvm/compiler/nodes/ValueNode;
            astore 5 /* y */
        start local 5 // org.graalvm.compiler.nodes.ValueNode y
         3: .line 72
            aload 4 /* x */
            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.FloatStamp
            ifeq 7
         4: .line 73
            aload 3 /* graph */
            aload 4 /* x */
            aload 5 /* y */
            getstatic org.graalvm.compiler.nodes.NodeView.DEFAULT:Lorg/graalvm/compiler/nodes/NodeView;
            invokestatic org.graalvm.compiler.nodes.calc.FloatEqualsNode.create:(Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/NodeView;)Lorg/graalvm/compiler/nodes/LogicNode;
            invokevirtual org.graalvm.compiler.nodes.StructuredGraph.addOrUniqueWithInputs:(Lorg/graalvm/compiler/graph/Node;)Lorg/graalvm/compiler/graph/Node;
            checkcast org.graalvm.compiler.nodes.LogicNode
            astore 1 /* equalComp */
        start local 1 // org.graalvm.compiler.nodes.LogicNode equalComp
         5: .line 74
            aload 3 /* graph */
            aload 4 /* x */
            aload 5 /* y */
            aload 0 /* normalize */
            invokevirtual org.graalvm.compiler.nodes.calc.NormalizeCompareNode.isUnorderedLess:()Z
            getstatic org.graalvm.compiler.nodes.NodeView.DEFAULT:Lorg/graalvm/compiler/nodes/NodeView;
            invokestatic org.graalvm.compiler.nodes.calc.FloatLessThanNode.create:(Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;ZLorg/graalvm/compiler/nodes/NodeView;)Lorg/graalvm/compiler/nodes/LogicNode;
            invokevirtual org.graalvm.compiler.nodes.StructuredGraph.addOrUniqueWithInputs:(Lorg/graalvm/compiler/graph/Node;)Lorg/graalvm/compiler/graph/Node;
            checkcast org.graalvm.compiler.nodes.LogicNode
            astore 2 /* lessComp */
        start local 2 // org.graalvm.compiler.nodes.LogicNode lessComp
         6: .line 75
            goto 9
        end local 2 // org.graalvm.compiler.nodes.LogicNode lessComp
        end local 1 // org.graalvm.compiler.nodes.LogicNode equalComp
         7: .line 76
      StackMap locals: org.graalvm.compiler.nodes.calc.NormalizeCompareNode top top org.graalvm.compiler.nodes.StructuredGraph org.graalvm.compiler.nodes.ValueNode org.graalvm.compiler.nodes.ValueNode
      StackMap stack:
            aload 3 /* graph */
            aload 4 /* x */
            aload 5 /* y */
            getstatic org.graalvm.compiler.nodes.NodeView.DEFAULT:Lorg/graalvm/compiler/nodes/NodeView;
            invokestatic org.graalvm.compiler.nodes.calc.IntegerEqualsNode.create:(Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/NodeView;)Lorg/graalvm/compiler/nodes/LogicNode;
            invokevirtual org.graalvm.compiler.nodes.StructuredGraph.addOrUniqueWithInputs:(Lorg/graalvm/compiler/graph/Node;)Lorg/graalvm/compiler/graph/Node;
            checkcast org.graalvm.compiler.nodes.LogicNode
            astore 1 /* equalComp */
        start local 1 // org.graalvm.compiler.nodes.LogicNode equalComp
         8: .line 77
            aload 3 /* graph */
            aload 4 /* x */
            aload 5 /* y */
            getstatic org.graalvm.compiler.nodes.NodeView.DEFAULT:Lorg/graalvm/compiler/nodes/NodeView;
            invokestatic org.graalvm.compiler.nodes.calc.IntegerLessThanNode.create:(Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/NodeView;)Lorg/graalvm/compiler/nodes/LogicNode;
            invokevirtual org.graalvm.compiler.nodes.StructuredGraph.addOrUniqueWithInputs:(Lorg/graalvm/compiler/graph/Node;)Lorg/graalvm/compiler/graph/Node;
            checkcast org.graalvm.compiler.nodes.LogicNode
            astore 2 /* lessComp */
        start local 2 // org.graalvm.compiler.nodes.LogicNode lessComp
         9: .line 80
      StackMap locals: org.graalvm.compiler.nodes.calc.NormalizeCompareNode org.graalvm.compiler.nodes.LogicNode org.graalvm.compiler.nodes.LogicNode org.graalvm.compiler.nodes.StructuredGraph org.graalvm.compiler.nodes.ValueNode org.graalvm.compiler.nodes.ValueNode
      StackMap stack:
            aload 0 /* normalize */
            getstatic org.graalvm.compiler.nodes.NodeView.DEFAULT:Lorg/graalvm/compiler/nodes/NodeView;
            invokevirtual org.graalvm.compiler.nodes.calc.NormalizeCompareNode.stamp:(Lorg/graalvm/compiler/nodes/NodeView;)Lorg/graalvm/compiler/core/common/type/Stamp;
            astore 6 /* stamp */
        start local 6 // org.graalvm.compiler.core.common.type.Stamp stamp
        10: .line 81
            aload 3 /* graph */
        11: .line 82
            new org.graalvm.compiler.nodes.calc.ConditionalNode
            dup
            aload 1 /* equalComp */
            aload 6 /* stamp */
            lconst_0
            aload 3 /* graph */
            invokestatic org.graalvm.compiler.nodes.ConstantNode.forIntegerStamp:(Lorg/graalvm/compiler/core/common/type/Stamp;JLorg/graalvm/compiler/nodes/StructuredGraph;)Lorg/graalvm/compiler/nodes/ConstantNode;
            aload 6 /* stamp */
            lconst_1
            aload 3 /* graph */
            invokestatic org.graalvm.compiler.nodes.ConstantNode.forIntegerStamp:(Lorg/graalvm/compiler/core/common/type/Stamp;JLorg/graalvm/compiler/nodes/StructuredGraph;)Lorg/graalvm/compiler/nodes/ConstantNode;
            invokespecial org.graalvm.compiler.nodes.calc.ConditionalNode.<init>:(Lorg/graalvm/compiler/nodes/LogicNode;Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;)V
        12: .line 81
            invokevirtual org.graalvm.compiler.nodes.StructuredGraph.unique:(Lorg/graalvm/compiler/graph/Node;)Lorg/graalvm/compiler/graph/Node;
            checkcast org.graalvm.compiler.nodes.calc.ConditionalNode
            astore 7 /* equalValue */
        start local 7 // org.graalvm.compiler.nodes.calc.ConditionalNode equalValue
        13: .line 83
            aload 3 /* graph */
            new org.graalvm.compiler.nodes.calc.ConditionalNode
            dup
            aload 2 /* lessComp */
            aload 6 /* stamp */
            ldc -1
            aload 3 /* graph */
            invokestatic org.graalvm.compiler.nodes.ConstantNode.forIntegerStamp:(Lorg/graalvm/compiler/core/common/type/Stamp;JLorg/graalvm/compiler/nodes/StructuredGraph;)Lorg/graalvm/compiler/nodes/ConstantNode;
            aload 7 /* equalValue */
            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.nodes.StructuredGraph.unique:(Lorg/graalvm/compiler/graph/Node;)Lorg/graalvm/compiler/graph/Node;
            checkcast org.graalvm.compiler.nodes.calc.ConditionalNode
            astore 8 /* value */
        start local 8 // org.graalvm.compiler.nodes.calc.ConditionalNode value
        14: .line 84
            aload 0 /* normalize */
            aload 8 /* value */
            invokevirtual org.graalvm.compiler.nodes.calc.NormalizeCompareNode.replaceAtUsagesAndDelete:(Lorg/graalvm/compiler/graph/Node;)V
        15: .line 85
            return
        end local 8 // org.graalvm.compiler.nodes.calc.ConditionalNode value
        end local 7 // org.graalvm.compiler.nodes.calc.ConditionalNode equalValue
        end local 6 // org.graalvm.compiler.core.common.type.Stamp stamp
        end local 5 // org.graalvm.compiler.nodes.ValueNode y
        end local 4 // org.graalvm.compiler.nodes.ValueNode x
        end local 3 // org.graalvm.compiler.nodes.StructuredGraph graph
        end local 2 // org.graalvm.compiler.nodes.LogicNode lessComp
        end local 1 // org.graalvm.compiler.nodes.LogicNode equalComp
        end local 0 // org.graalvm.compiler.nodes.calc.NormalizeCompareNode normalize
      LocalVariableTable:
        Start  End  Slot        Name  Signature
            0   16     0   normalize  Lorg/graalvm/compiler/nodes/calc/NormalizeCompareNode;
            5    7     1   equalComp  Lorg/graalvm/compiler/nodes/LogicNode;
            8   16     1   equalComp  Lorg/graalvm/compiler/nodes/LogicNode;
            6    7     2    lessComp  Lorg/graalvm/compiler/nodes/LogicNode;
            9   16     2    lessComp  Lorg/graalvm/compiler/nodes/LogicNode;
            1   16     3       graph  Lorg/graalvm/compiler/nodes/StructuredGraph;
            2   16     4           x  Lorg/graalvm/compiler/nodes/ValueNode;
            3   16     5           y  Lorg/graalvm/compiler/nodes/ValueNode;
           10   16     6       stamp  Lorg/graalvm/compiler/core/common/type/Stamp;
           13   16     7  equalValue  Lorg/graalvm/compiler/nodes/calc/ConditionalNode;
           14   16     8       value  Lorg/graalvm/compiler/nodes/calc/ConditionalNode;
    MethodParameters:
           Name  Flags
      normalize  

  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 88
            goto 12
         1: .line 89
      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 90
            aload 1 /* usage */
            instanceof org.graalvm.compiler.nodes.ShortCircuitOrNode
            ifeq 5
         3: .line 91
            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 92
            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 93
            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 94
            goto 12
      StackMap locals:
      StackMap stack:
         8: aload 1 /* usage */
            instanceof org.graalvm.compiler.nodes.calc.ConditionalNode
            ifeq 11
         9: .line 95
            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 96
            goto 12
        11: .line 97
      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 88
      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 100
            aload 0 /* binary */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.safeDelete:()V
        14: .line 101
            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=23, 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 113
            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 114
            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 118
            dload 5 /* shortCircuitProbability */
            dstore 9 /* firstIfTrueProbability */
        start local 9 // double firstIfTrueProbability
         3: .line 119
            aload 4 /* ifNode */
            invokevirtual org.graalvm.compiler.nodes.IfNode.getTrueSuccessorProbability:()D
            dload 5 /* shortCircuitProbability */
            dsub
            dconst_1
            dload 5 /* shortCircuitProbability */
            dsub
            ddiv
            invokestatic org.graalvm.compiler.phases.common.ExpandLogicPhase.sanitizeProbability:(D)D
            dstore 11 /* secondIfTrueProbability */
        start local 11 // double secondIfTrueProbability
         4: .line 120
            dload 9 /* firstIfTrueProbability */
            dconst_1
            dload 9 /* firstIfTrueProbability */
            dsub
            dload 11 /* secondIfTrueProbability */
            dmul
            dadd
            dstore 13 /* expectedOriginalIfTrueProbability */
        start local 13 // double expectedOriginalIfTrueProbability
         5: .line 122
            aload 4 /* ifNode */
            invokevirtual org.graalvm.compiler.nodes.IfNode.getTrueSuccessorProbability:()D
            dload 13 /* expectedOriginalIfTrueProbability */
            invokestatic org.graalvm.compiler.phases.common.ExpandLogicPhase.doubleEquals:(DD)Z
            ifne 8
         6: .line 133
            aload 4 /* ifNode */
            invokevirtual org.graalvm.compiler.nodes.IfNode.getTrueSuccessorProbability:()D
            dload 5 /* shortCircuitProbability */
            dmul
            dstore 9 /* firstIfTrueProbability */
         7: .line 134
            dconst_1
            aload 4 /* ifNode */
            aload 8 /* falseTarget */
            invokevirtual org.graalvm.compiler.nodes.IfNode.probability:(Lorg/graalvm/compiler/nodes/AbstractBeginNode;)D
            dconst_1
            dload 9 /* firstIfTrueProbability */
            dsub
            ddiv
            dsub
            invokestatic org.graalvm.compiler.phases.common.ExpandLogicPhase.sanitizeProbability:(D)D
            dstore 11 /* secondIfTrueProbability */
         8: .line 137
      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 double
      StackMap stack:
            aload 4 /* ifNode */
            invokevirtual org.graalvm.compiler.nodes.IfNode.clearSuccessors:()V
         9: .line 138
            aload 4 /* ifNode */
            invokevirtual org.graalvm.compiler.nodes.IfNode.graph:()Lorg/graalvm/compiler/nodes/StructuredGraph;
            astore 15 /* graph */
        start local 15 // org.graalvm.compiler.graph.Graph graph
        10: .line 139
            aload 15 /* 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 16 /* trueTargetMerge */
        start local 16 // org.graalvm.compiler.nodes.AbstractMergeNode trueTargetMerge
        11: .line 140
            aload 16 /* trueTargetMerge */
            aload 7 /* trueTarget */
            invokevirtual org.graalvm.compiler.nodes.AbstractMergeNode.setNext:(Lorg/graalvm/compiler/nodes/FixedNode;)V
        12: .line 141
            aload 15 /* 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 17 /* firstTrueEnd */
        start local 17 // org.graalvm.compiler.nodes.EndNode firstTrueEnd
        13: .line 142
            aload 15 /* 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 18 /* secondTrueEnd */
        start local 18 // org.graalvm.compiler.nodes.EndNode secondTrueEnd
        14: .line 143
            aload 16 /* trueTargetMerge */
            aload 17 /* firstTrueEnd */
            invokevirtual org.graalvm.compiler.nodes.AbstractMergeNode.addForwardEnd:(Lorg/graalvm/compiler/nodes/EndNode;)V
        15: .line 144
            aload 16 /* trueTargetMerge */
            aload 18 /* secondTrueEnd */
            invokevirtual org.graalvm.compiler.nodes.AbstractMergeNode.addForwardEnd:(Lorg/graalvm/compiler/nodes/EndNode;)V
        16: .line 145
            aload 17 /* firstTrueEnd */
            invokestatic org.graalvm.compiler.nodes.BeginNode.begin:(Lorg/graalvm/compiler/nodes/FixedNode;)Lorg/graalvm/compiler/nodes/AbstractBeginNode;
            astore 19 /* firstTrueTarget */
        start local 19 // org.graalvm.compiler.nodes.AbstractBeginNode firstTrueTarget
        17: .line 146
            aload 18 /* secondTrueEnd */
            invokestatic org.graalvm.compiler.nodes.BeginNode.begin:(Lorg/graalvm/compiler/nodes/FixedNode;)Lorg/graalvm/compiler/nodes/AbstractBeginNode;
            astore 20 /* secondTrueTarget */
        start local 20 // org.graalvm.compiler.nodes.AbstractBeginNode secondTrueTarget
        18: .line 147
            iload 3 /* yNegated */
            ifeq 20
        19: .line 148
            dconst_1
            dload 11 /* secondIfTrueProbability */
            dsub
            dstore 11 /* secondIfTrueProbability */
        20: .line 150
      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 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:
            iload 1 /* xNegated */
            ifeq 22
        21: .line 151
            dconst_1
            dload 9 /* firstIfTrueProbability */
            dsub
            dstore 9 /* firstIfTrueProbability */
        22: .line 153
      StackMap locals:
      StackMap stack:
            aload 15 /* graph */
        23: new org.graalvm.compiler.nodes.IfNode
            dup
            aload 2 /* y */
            iload 3 /* yNegated */
            ifeq 24
            aload 8 /* falseTarget */
            goto 25
      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 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 23 new 23 org.graalvm.compiler.nodes.LogicNode
        24: aload 20 /* 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 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 23 new 23 org.graalvm.compiler.nodes.LogicNode org.graalvm.compiler.nodes.AbstractBeginNode
        25: iload 3 /* yNegated */
            ifeq 26
            aload 20 /* secondTrueTarget */
            goto 27
      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 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 23 new 23 org.graalvm.compiler.nodes.LogicNode org.graalvm.compiler.nodes.AbstractBeginNode
        26: 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 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 23 new 23 org.graalvm.compiler.nodes.LogicNode org.graalvm.compiler.nodes.AbstractBeginNode org.graalvm.compiler.nodes.AbstractBeginNode
        27: dload 11 /* secondIfTrueProbability */
            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 21 /* secondIf */
        start local 21 // org.graalvm.compiler.nodes.AbstractBeginNode secondIf
        28: .line 154
            aload 15 /* graph */
        29: new org.graalvm.compiler.nodes.IfNode
            dup
            aload 0 /* x */
            iload 1 /* xNegated */
            ifeq 30
            aload 21 /* secondIf */
            goto 31
      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 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 29 new 29 org.graalvm.compiler.nodes.LogicNode
        30: aload 19 /* 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 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 29 new 29 org.graalvm.compiler.nodes.LogicNode org.graalvm.compiler.nodes.AbstractBeginNode
        31: iload 1 /* xNegated */
            ifeq 32
            aload 19 /* firstTrueTarget */
            goto 33
      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 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 29 new 29 org.graalvm.compiler.nodes.LogicNode org.graalvm.compiler.nodes.AbstractBeginNode
        32: aload 21 /* 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 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 29 new 29 org.graalvm.compiler.nodes.LogicNode org.graalvm.compiler.nodes.AbstractBeginNode org.graalvm.compiler.nodes.AbstractBeginNode
        33: dload 9 /* firstIfTrueProbability */
            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 22 /* firstIf */
        start local 22 // org.graalvm.compiler.nodes.IfNode firstIf
        34: .line 155
            aload 4 /* ifNode */
            aload 22 /* firstIf */
            invokevirtual org.graalvm.compiler.nodes.IfNode.replaceAtPredecessor:(Lorg/graalvm/compiler/graph/Node;)V
        35: .line 156
            aload 4 /* ifNode */
            invokevirtual org.graalvm.compiler.nodes.IfNode.safeDelete:()V
        36: .line 157
            return
        end local 22 // org.graalvm.compiler.nodes.IfNode firstIf
        end local 21 // org.graalvm.compiler.nodes.AbstractBeginNode secondIf
        end local 20 // org.graalvm.compiler.nodes.AbstractBeginNode secondTrueTarget
        end local 19 // org.graalvm.compiler.nodes.AbstractBeginNode firstTrueTarget
        end local 18 // org.graalvm.compiler.nodes.EndNode secondTrueEnd
        end local 17 // org.graalvm.compiler.nodes.EndNode firstTrueEnd
        end local 16 // org.graalvm.compiler.nodes.AbstractMergeNode trueTargetMerge
        end local 15 // org.graalvm.compiler.graph.Graph graph
        end local 13 // double expectedOriginalIfTrueProbability
        end local 11 // double secondIfTrueProbability
        end local 9 // double firstIfTrueProbability
        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   37     0                                  x  Lorg/graalvm/compiler/nodes/LogicNode;
            0   37     1                           xNegated  Z
            0   37     2                                  y  Lorg/graalvm/compiler/nodes/LogicNode;
            0   37     3                           yNegated  Z
            0   37     4                             ifNode  Lorg/graalvm/compiler/nodes/IfNode;
            0   37     5            shortCircuitProbability  D
            1   37     7                         trueTarget  Lorg/graalvm/compiler/nodes/AbstractBeginNode;
            2   37     8                        falseTarget  Lorg/graalvm/compiler/nodes/AbstractBeginNode;
            3   37     9             firstIfTrueProbability  D
            4   37    11            secondIfTrueProbability  D
            5   37    13  expectedOriginalIfTrueProbability  D
           10   37    15                              graph  Lorg/graalvm/compiler/graph/Graph;
           11   37    16                    trueTargetMerge  Lorg/graalvm/compiler/nodes/AbstractMergeNode;
           13   37    17                       firstTrueEnd  Lorg/graalvm/compiler/nodes/EndNode;
           14   37    18                      secondTrueEnd  Lorg/graalvm/compiler/nodes/EndNode;
           17   37    19                    firstTrueTarget  Lorg/graalvm/compiler/nodes/AbstractBeginNode;
           18   37    20                   secondTrueTarget  Lorg/graalvm/compiler/nodes/AbstractBeginNode;
           28   37    21                           secondIf  Lorg/graalvm/compiler/nodes/AbstractBeginNode;
           34   37    22                            firstIf  Lorg/graalvm/compiler/nodes/IfNode;
    MethodParameters:
                         Name  Flags
      x                        
      xNegated                 
      y                        
      yNegated                 
      ifNode                   
      shortCircuitProbability  

  private static boolean doubleEquals(double, double);
    descriptor: (DD)Z
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=4, locals=4, args_size=2
        start local 0 // double a
        start local 2 // double b
         0: .line 160
            getstatic org.graalvm.compiler.phases.common.ExpandLogicPhase.$assertionsDisabled:Z
            ifne 2
            dload 0 /* a */
            invokestatic java.lang.Double.isNaN:(D)Z
            ifne 1
            dload 2 /* b */
            invokestatic java.lang.Double.isNaN:(D)Z
            ifne 1
            dload 0 /* a */
            invokestatic java.lang.Double.isInfinite:(D)Z
            ifne 1
            dload 2 /* b */
            invokestatic java.lang.Double.isInfinite:(D)Z
            ifeq 2
      StackMap locals:
      StackMap stack:
         1: new java.lang.AssertionError
            dup
            invokespecial java.lang.AssertionError.<init>:()V
            athrow
         2: .line 161
      StackMap locals:
      StackMap stack:
            dload 0 /* a */
            ldc 1.0E-6
            dsub
            dload 2 /* b */
            dcmpg
            ifge 3
            dload 0 /* a */
            ldc 1.0E-6
            dadd
            dload 2 /* b */
            dcmpl
            ifle 3
            iconst_1
            ireturn
      StackMap locals:
      StackMap stack:
         3: iconst_0
            ireturn
        end local 2 // double b
        end local 0 // double a
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    4     0     a  D
            0    4     2     b  D
    MethodParameters:
      Name  Flags
      a     
      b     

  private static double sanitizeProbability(double);
    descriptor: (D)D
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=6, locals=4, args_size=1
        start local 0 // double value
         0: .line 165
            dconst_1
            dconst_0
            dload 0 /* value */
            invokestatic java.lang.Math.max:(DD)D
            invokestatic java.lang.Math.min:(DD)D
            dstore 2 /* newValue */
        start local 2 // double newValue
         1: .line 166
            dload 2 /* newValue */
            invokestatic java.lang.Double.isNaN:(D)Z
            ifeq 3
         2: .line 167
            ldc 0.5
            dstore 2 /* newValue */
         3: .line 169
      StackMap locals: double
      StackMap stack:
            dload 2 /* newValue */
            dreturn
        end local 2 // double newValue
        end local 0 // double value
      LocalVariableTable:
        Start  End  Slot      Name  Signature
            0    4     0     value  D
            1    4     2  newValue  D
    MethodParameters:
       Name  Flags
      value  

  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 173
            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 174
            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 175
            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 176
            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 177
            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 178
            aload 4 /* conditional */
            aload 9 /* firstConditional */
            invokevirtual org.graalvm.compiler.nodes.calc.ConditionalNode.replaceAndDelete:(Lorg/graalvm/compiler/graph/Node;)V
        16: .line 179
            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 183
            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
/

java/ 10/ jdk.internal.vm.compiler/org/graalvm/compiler/phases/common/ExpandLogicPhase.class
