java/11 : jdk.internal.vm.compiler/org/graalvm/compiler/nodes/ShortCircuitOrNode.class

ShortCircuitOrNode
https://openjdk.java.net/
GPLv2 + Classpath Exception
public final class org.graalvm.compiler.nodes.ShortCircuitOrNode extends org.graalvm.compiler.nodes.LogicNode implements org.graalvm.compiler.graph.IterableNodeType, org.graalvm.compiler.graph.spi.Canonicalizable$Binary<org.graalvm.compiler.nodes.LogicNode>
  minor version: 0
  major version: 59
  flags: flags: (0x0031) ACC_PUBLIC, ACC_FINAL, ACC_SUPER
  this_class: org.graalvm.compiler.nodes.ShortCircuitOrNode
  super_class: org.graalvm.compiler.nodes.LogicNode
{
  public static final org.graalvm.compiler.graph.NodeClass<org.graalvm.compiler.nodes.ShortCircuitOrNode> 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/ShortCircuitOrNode;>;

  org.graalvm.compiler.nodes.LogicNode x;
    descriptor: Lorg/graalvm/compiler/nodes/LogicNode;
    flags: (0x0000) 
    RuntimeVisibleAnnotations: 
      org.graalvm.compiler.graph.Node$Input(value = org.graalvm.compiler.nodeinfo.InputType.Condition:Lorg/graalvm/compiler/nodeinfo/InputType;)

  org.graalvm.compiler.nodes.LogicNode y;
    descriptor: Lorg/graalvm/compiler/nodes/LogicNode;
    flags: (0x0000) 
    RuntimeVisibleAnnotations: 
      org.graalvm.compiler.graph.Node$Input(value = org.graalvm.compiler.nodeinfo.InputType.Condition:Lorg/graalvm/compiler/nodeinfo/InputType;)

  protected boolean xNegated;
    descriptor: Z
    flags: (0x0004) ACC_PROTECTED

  protected boolean yNegated;
    descriptor: Z
    flags: (0x0004) ACC_PROTECTED

  protected double shortCircuitProbability;
    descriptor: D
    flags: (0x0004) ACC_PROTECTED

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

  public void <init>(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)V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=3, locals=7, args_size=6
        start local 0 // org.graalvm.compiler.nodes.ShortCircuitOrNode this
        start local 1 // org.graalvm.compiler.nodes.LogicNode x
        start local 2 // boolean xNegated
        start local 3 // org.graalvm.compiler.nodes.LogicNode y
        start local 4 // boolean yNegated
        start local 5 // double shortCircuitProbability
         0: .line 52
            aload 0 /* this */
            getstatic org.graalvm.compiler.nodes.ShortCircuitOrNode.TYPE:Lorg/graalvm/compiler/graph/NodeClass;
            invokespecial org.graalvm.compiler.nodes.LogicNode.<init>:(Lorg/graalvm/compiler/graph/NodeClass;)V
         1: .line 53
            aload 0 /* this */
            aload 1 /* x */
            putfield org.graalvm.compiler.nodes.ShortCircuitOrNode.x:Lorg/graalvm/compiler/nodes/LogicNode;
         2: .line 54
            aload 0 /* this */
            iload 2 /* xNegated */
            putfield org.graalvm.compiler.nodes.ShortCircuitOrNode.xNegated:Z
         3: .line 55
            aload 0 /* this */
            aload 3 /* y */
            putfield org.graalvm.compiler.nodes.ShortCircuitOrNode.y:Lorg/graalvm/compiler/nodes/LogicNode;
         4: .line 56
            aload 0 /* this */
            iload 4 /* yNegated */
            putfield org.graalvm.compiler.nodes.ShortCircuitOrNode.yNegated:Z
         5: .line 57
            aload 0 /* this */
            dload 5 /* shortCircuitProbability */
            putfield org.graalvm.compiler.nodes.ShortCircuitOrNode.shortCircuitProbability:D
         6: .line 58
            return
        end local 5 // double shortCircuitProbability
        end local 4 // boolean yNegated
        end local 3 // org.graalvm.compiler.nodes.LogicNode y
        end local 2 // boolean xNegated
        end local 1 // org.graalvm.compiler.nodes.LogicNode x
        end local 0 // org.graalvm.compiler.nodes.ShortCircuitOrNode this
      LocalVariableTable:
        Start  End  Slot                     Name  Signature
            0    7     0                     this  Lorg/graalvm/compiler/nodes/ShortCircuitOrNode;
            0    7     1                        x  Lorg/graalvm/compiler/nodes/LogicNode;
            0    7     2                 xNegated  Z
            0    7     3                        y  Lorg/graalvm/compiler/nodes/LogicNode;
            0    7     4                 yNegated  Z
            0    7     5  shortCircuitProbability  D
    MethodParameters:
                         Name  Flags
      x                        
      xNegated                 
      y                        
      yNegated                 
      shortCircuitProbability  

  public org.graalvm.compiler.nodes.LogicNode getX();
    descriptor: ()Lorg/graalvm/compiler/nodes/LogicNode;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // org.graalvm.compiler.nodes.ShortCircuitOrNode this
         0: .line 62
            aload 0 /* this */
            getfield org.graalvm.compiler.nodes.ShortCircuitOrNode.x:Lorg/graalvm/compiler/nodes/LogicNode;
            areturn
        end local 0 // org.graalvm.compiler.nodes.ShortCircuitOrNode this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lorg/graalvm/compiler/nodes/ShortCircuitOrNode;

  public org.graalvm.compiler.nodes.LogicNode getY();
    descriptor: ()Lorg/graalvm/compiler/nodes/LogicNode;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // org.graalvm.compiler.nodes.ShortCircuitOrNode this
         0: .line 67
            aload 0 /* this */
            getfield org.graalvm.compiler.nodes.ShortCircuitOrNode.y:Lorg/graalvm/compiler/nodes/LogicNode;
            areturn
        end local 0 // org.graalvm.compiler.nodes.ShortCircuitOrNode this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lorg/graalvm/compiler/nodes/ShortCircuitOrNode;

  public boolean isXNegated();
    descriptor: ()Z
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // org.graalvm.compiler.nodes.ShortCircuitOrNode this
         0: .line 71
            aload 0 /* this */
            getfield org.graalvm.compiler.nodes.ShortCircuitOrNode.xNegated:Z
            ireturn
        end local 0 // org.graalvm.compiler.nodes.ShortCircuitOrNode this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lorg/graalvm/compiler/nodes/ShortCircuitOrNode;

  public boolean isYNegated();
    descriptor: ()Z
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // org.graalvm.compiler.nodes.ShortCircuitOrNode this
         0: .line 75
            aload 0 /* this */
            getfield org.graalvm.compiler.nodes.ShortCircuitOrNode.yNegated:Z
            ireturn
        end local 0 // org.graalvm.compiler.nodes.ShortCircuitOrNode this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lorg/graalvm/compiler/nodes/ShortCircuitOrNode;

  public double getShortCircuitProbability();
    descriptor: ()D
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=2, locals=1, args_size=1
        start local 0 // org.graalvm.compiler.nodes.ShortCircuitOrNode this
         0: .line 83
            aload 0 /* this */
            getfield org.graalvm.compiler.nodes.ShortCircuitOrNode.shortCircuitProbability:D
            dreturn
        end local 0 // org.graalvm.compiler.nodes.ShortCircuitOrNode this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lorg/graalvm/compiler/nodes/ShortCircuitOrNode;

  protected org.graalvm.compiler.nodes.ShortCircuitOrNode canonicalizeNegation(org.graalvm.compiler.nodes.LogicNode, org.graalvm.compiler.nodes.LogicNode);
    descriptor: (Lorg/graalvm/compiler/nodes/LogicNode;Lorg/graalvm/compiler/nodes/LogicNode;)Lorg/graalvm/compiler/nodes/ShortCircuitOrNode;
    flags: (0x0004) ACC_PROTECTED
    Code:
      stack=8, locals=7, args_size=3
        start local 0 // org.graalvm.compiler.nodes.ShortCircuitOrNode this
        start local 1 // org.graalvm.compiler.nodes.LogicNode forX
        start local 2 // org.graalvm.compiler.nodes.LogicNode forY
         0: .line 87
            aload 1 /* forX */
            astore 3 /* xCond */
        start local 3 // org.graalvm.compiler.nodes.LogicNode xCond
         1: .line 88
            aload 0 /* this */
            getfield org.graalvm.compiler.nodes.ShortCircuitOrNode.xNegated:Z
            istore 4 /* xNeg */
        start local 4 // boolean xNeg
         2: .line 89
            goto 7
         3: .line 90
      StackMap locals: org.graalvm.compiler.nodes.LogicNode int
      StackMap stack:
            aload 3 /* xCond */
            checkcast org.graalvm.compiler.nodes.LogicNegationNode
            invokevirtual org.graalvm.compiler.nodes.LogicNegationNode.getValue:()Lorg/graalvm/compiler/nodes/LogicNode;
            astore 3 /* xCond */
         4: .line 91
            iload 4 /* xNeg */
            ifeq 5
            iconst_0
            goto 6
      StackMap locals:
      StackMap stack:
         5: iconst_1
      StackMap locals:
      StackMap stack: int
         6: istore 4 /* xNeg */
         7: .line 89
      StackMap locals:
      StackMap stack:
            aload 3 /* xCond */
            instanceof org.graalvm.compiler.nodes.LogicNegationNode
            ifne 3
         8: .line 94
            aload 2 /* forY */
            astore 5 /* yCond */
        start local 5 // org.graalvm.compiler.nodes.LogicNode yCond
         9: .line 95
            aload 0 /* this */
            getfield org.graalvm.compiler.nodes.ShortCircuitOrNode.yNegated:Z
            istore 6 /* yNeg */
        start local 6 // boolean yNeg
        10: .line 96
            goto 15
        11: .line 97
      StackMap locals: org.graalvm.compiler.nodes.LogicNode int
      StackMap stack:
            aload 5 /* yCond */
            checkcast org.graalvm.compiler.nodes.LogicNegationNode
            invokevirtual org.graalvm.compiler.nodes.LogicNegationNode.getValue:()Lorg/graalvm/compiler/nodes/LogicNode;
            astore 5 /* yCond */
        12: .line 98
            iload 6 /* yNeg */
            ifeq 13
            iconst_0
            goto 14
      StackMap locals:
      StackMap stack:
        13: iconst_1
      StackMap locals:
      StackMap stack: int
        14: istore 6 /* yNeg */
        15: .line 96
      StackMap locals:
      StackMap stack:
            aload 5 /* yCond */
            instanceof org.graalvm.compiler.nodes.LogicNegationNode
            ifne 11
        16: .line 101
            aload 3 /* xCond */
            aload 1 /* forX */
            if_acmpne 17
            aload 5 /* yCond */
            aload 2 /* forY */
            if_acmpeq 18
        17: .line 102
      StackMap locals:
      StackMap stack:
            new org.graalvm.compiler.nodes.ShortCircuitOrNode
            dup
            aload 3 /* xCond */
            iload 4 /* xNeg */
            aload 5 /* yCond */
            iload 6 /* yNeg */
            aload 0 /* this */
            getfield org.graalvm.compiler.nodes.ShortCircuitOrNode.shortCircuitProbability:D
            invokespecial org.graalvm.compiler.nodes.ShortCircuitOrNode.<init>:(Lorg/graalvm/compiler/nodes/LogicNode;ZLorg/graalvm/compiler/nodes/LogicNode;ZD)V
            areturn
        18: .line 104
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            areturn
        end local 6 // boolean yNeg
        end local 5 // org.graalvm.compiler.nodes.LogicNode yCond
        end local 4 // boolean xNeg
        end local 3 // org.graalvm.compiler.nodes.LogicNode xCond
        end local 2 // org.graalvm.compiler.nodes.LogicNode forY
        end local 1 // org.graalvm.compiler.nodes.LogicNode forX
        end local 0 // org.graalvm.compiler.nodes.ShortCircuitOrNode this
      LocalVariableTable:
        Start  End  Slot   Name  Signature
            0   19     0   this  Lorg/graalvm/compiler/nodes/ShortCircuitOrNode;
            0   19     1   forX  Lorg/graalvm/compiler/nodes/LogicNode;
            0   19     2   forY  Lorg/graalvm/compiler/nodes/LogicNode;
            1   19     3  xCond  Lorg/graalvm/compiler/nodes/LogicNode;
            2   19     4   xNeg  Z
            9   19     5  yCond  Lorg/graalvm/compiler/nodes/LogicNode;
           10   19     6   yNeg  Z
    MethodParameters:
      Name  Flags
      forX  
      forY  

  public org.graalvm.compiler.nodes.LogicNode canonical(org.graalvm.compiler.graph.spi.CanonicalizerTool, org.graalvm.compiler.nodes.LogicNode, org.graalvm.compiler.nodes.LogicNode);
    descriptor: (Lorg/graalvm/compiler/graph/spi/CanonicalizerTool;Lorg/graalvm/compiler/nodes/LogicNode;Lorg/graalvm/compiler/nodes/LogicNode;)Lorg/graalvm/compiler/nodes/LogicNode;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=12, locals=12, args_size=4
        start local 0 // org.graalvm.compiler.nodes.ShortCircuitOrNode this
        start local 1 // org.graalvm.compiler.graph.spi.CanonicalizerTool tool
        start local 2 // org.graalvm.compiler.nodes.LogicNode forX
        start local 3 // org.graalvm.compiler.nodes.LogicNode forY
         0: .line 110
            aload 0 /* this */
            aload 2 /* forX */
            aload 3 /* forY */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.canonicalizeNegation:(Lorg/graalvm/compiler/nodes/LogicNode;Lorg/graalvm/compiler/nodes/LogicNode;)Lorg/graalvm/compiler/nodes/ShortCircuitOrNode;
            astore 4 /* ret */
        start local 4 // org.graalvm.compiler.nodes.ShortCircuitOrNode ret
         1: .line 111
            aload 4 /* ret */
            aload 0 /* this */
            if_acmpeq 3
         2: .line 112
            aload 4 /* ret */
            areturn
         3: .line 115
      StackMap locals: org.graalvm.compiler.nodes.ShortCircuitOrNode
      StackMap stack:
            aload 2 /* forX */
            aload 3 /* forY */
            if_acmpne 11
         4: .line 122
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isXNegated:()Z
            ifeq 8
         5: .line 123
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isYNegated:()Z
            ifeq 7
         6: .line 125
            aload 2 /* forX */
            invokestatic org.graalvm.compiler.nodes.LogicNegationNode.create:(Lorg/graalvm/compiler/nodes/LogicNode;)Lorg/graalvm/compiler/nodes/LogicNode;
            areturn
         7: .line 128
      StackMap locals:
      StackMap stack:
            invokestatic org.graalvm.compiler.nodes.LogicConstantNode.tautology:()Lorg/graalvm/compiler/nodes/LogicConstantNode;
            areturn
         8: .line 131
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isYNegated:()Z
            ifeq 10
         9: .line 133
            invokestatic org.graalvm.compiler.nodes.LogicConstantNode.tautology:()Lorg/graalvm/compiler/nodes/LogicConstantNode;
            areturn
        10: .line 136
      StackMap locals:
      StackMap stack:
            aload 2 /* forX */
            areturn
        11: .line 140
      StackMap locals:
      StackMap stack:
            aload 2 /* forX */
            instanceof org.graalvm.compiler.nodes.LogicConstantNode
            ifeq 17
        12: .line 141
            aload 2 /* forX */
            checkcast org.graalvm.compiler.nodes.LogicConstantNode
            invokevirtual org.graalvm.compiler.nodes.LogicConstantNode.getValue:()Z
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isXNegated:()Z
            ixor
            ifeq 14
        13: .line 142
            invokestatic org.graalvm.compiler.nodes.LogicConstantNode.tautology:()Lorg/graalvm/compiler/nodes/LogicConstantNode;
            areturn
        14: .line 144
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isYNegated:()Z
            ifeq 16
        15: .line 145
            new org.graalvm.compiler.nodes.LogicNegationNode
            dup
            aload 3 /* forY */
            invokespecial org.graalvm.compiler.nodes.LogicNegationNode.<init>:(Lorg/graalvm/compiler/nodes/LogicNode;)V
            areturn
        16: .line 147
      StackMap locals:
      StackMap stack:
            aload 3 /* forY */
            areturn
        17: .line 151
      StackMap locals:
      StackMap stack:
            aload 3 /* forY */
            instanceof org.graalvm.compiler.nodes.LogicConstantNode
            ifeq 23
        18: .line 152
            aload 3 /* forY */
            checkcast org.graalvm.compiler.nodes.LogicConstantNode
            invokevirtual org.graalvm.compiler.nodes.LogicConstantNode.getValue:()Z
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isYNegated:()Z
            ixor
            ifeq 20
        19: .line 153
            invokestatic org.graalvm.compiler.nodes.LogicConstantNode.tautology:()Lorg/graalvm/compiler/nodes/LogicConstantNode;
            areturn
        20: .line 155
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isXNegated:()Z
            ifeq 22
        21: .line 156
            new org.graalvm.compiler.nodes.LogicNegationNode
            dup
            aload 2 /* forX */
            invokespecial org.graalvm.compiler.nodes.LogicNegationNode.<init>:(Lorg/graalvm/compiler/nodes/LogicNode;)V
            areturn
        22: .line 158
      StackMap locals:
      StackMap stack:
            aload 2 /* forX */
            areturn
        23: .line 163
      StackMap locals:
      StackMap stack:
            aload 2 /* forX */
            instanceof org.graalvm.compiler.nodes.ShortCircuitOrNode
            ifeq 29
        24: .line 164
            aload 2 /* forX */
            checkcast org.graalvm.compiler.nodes.ShortCircuitOrNode
            astore 5 /* inner */
        start local 5 // org.graalvm.compiler.nodes.ShortCircuitOrNode inner
        25: .line 165
            aload 3 /* forY */
            aload 5 /* inner */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.getX:()Lorg/graalvm/compiler/nodes/LogicNode;
            if_acmpne 27
        26: .line 166
            aload 5 /* inner */
            aload 0 /* this */
            getfield org.graalvm.compiler.nodes.ShortCircuitOrNode.xNegated:Z
            aload 0 /* this */
            getfield org.graalvm.compiler.nodes.ShortCircuitOrNode.yNegated:Z
            iconst_1
            invokestatic org.graalvm.compiler.nodes.ShortCircuitOrNode.optimizeShortCircuit:(Lorg/graalvm/compiler/nodes/ShortCircuitOrNode;ZZZ)Lorg/graalvm/compiler/nodes/LogicNode;
            areturn
        27: .line 167
      StackMap locals: org.graalvm.compiler.nodes.ShortCircuitOrNode
      StackMap stack:
            aload 3 /* forY */
            aload 5 /* inner */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.getY:()Lorg/graalvm/compiler/nodes/LogicNode;
            if_acmpne 35
        28: .line 168
            aload 5 /* inner */
            aload 0 /* this */
            getfield org.graalvm.compiler.nodes.ShortCircuitOrNode.xNegated:Z
            aload 0 /* this */
            getfield org.graalvm.compiler.nodes.ShortCircuitOrNode.yNegated:Z
            iconst_0
            invokestatic org.graalvm.compiler.nodes.ShortCircuitOrNode.optimizeShortCircuit:(Lorg/graalvm/compiler/nodes/ShortCircuitOrNode;ZZZ)Lorg/graalvm/compiler/nodes/LogicNode;
            areturn
        end local 5 // org.graalvm.compiler.nodes.ShortCircuitOrNode inner
        29: .line 170
      StackMap locals:
      StackMap stack:
            aload 3 /* forY */
            instanceof org.graalvm.compiler.nodes.ShortCircuitOrNode
            ifeq 35
        30: .line 171
            aload 3 /* forY */
            checkcast org.graalvm.compiler.nodes.ShortCircuitOrNode
            astore 5 /* inner */
        start local 5 // org.graalvm.compiler.nodes.ShortCircuitOrNode inner
        31: .line 172
            aload 5 /* inner */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.getX:()Lorg/graalvm/compiler/nodes/LogicNode;
            aload 2 /* forX */
            if_acmpne 33
        32: .line 173
            aload 5 /* inner */
            aload 0 /* this */
            getfield org.graalvm.compiler.nodes.ShortCircuitOrNode.yNegated:Z
            aload 0 /* this */
            getfield org.graalvm.compiler.nodes.ShortCircuitOrNode.xNegated:Z
            iconst_1
            invokestatic org.graalvm.compiler.nodes.ShortCircuitOrNode.optimizeShortCircuit:(Lorg/graalvm/compiler/nodes/ShortCircuitOrNode;ZZZ)Lorg/graalvm/compiler/nodes/LogicNode;
            areturn
        33: .line 174
      StackMap locals: org.graalvm.compiler.nodes.ShortCircuitOrNode
      StackMap stack:
            aload 5 /* inner */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.getY:()Lorg/graalvm/compiler/nodes/LogicNode;
            aload 2 /* forX */
            if_acmpne 35
        34: .line 175
            aload 5 /* inner */
            aload 0 /* this */
            getfield org.graalvm.compiler.nodes.ShortCircuitOrNode.yNegated:Z
            aload 0 /* this */
            getfield org.graalvm.compiler.nodes.ShortCircuitOrNode.xNegated:Z
            iconst_0
            invokestatic org.graalvm.compiler.nodes.ShortCircuitOrNode.optimizeShortCircuit:(Lorg/graalvm/compiler/nodes/ShortCircuitOrNode;ZZZ)Lorg/graalvm/compiler/nodes/LogicNode;
            areturn
        end local 5 // org.graalvm.compiler.nodes.ShortCircuitOrNode inner
        35: .line 180
      StackMap locals:
      StackMap stack:
            aload 2 /* forX */
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isXNegated:()Z
            ifeq 36
            iconst_0
            goto 37
      StackMap locals:
      StackMap stack: org.graalvm.compiler.nodes.LogicNode
        36: iconst_1
      StackMap locals: org.graalvm.compiler.nodes.ShortCircuitOrNode org.graalvm.compiler.graph.spi.CanonicalizerTool org.graalvm.compiler.nodes.LogicNode org.graalvm.compiler.nodes.LogicNode org.graalvm.compiler.nodes.ShortCircuitOrNode
      StackMap stack: org.graalvm.compiler.nodes.LogicNode int
        37: aload 3 /* forY */
            invokevirtual org.graalvm.compiler.nodes.LogicNode.implies:(ZLorg/graalvm/compiler/nodes/LogicNode;)Ljdk/vm/ci/meta/TriState;
            astore 5 /* impliedForY */
        start local 5 // jdk.vm.ci.meta.TriState impliedForY
        38: .line 181
            aload 5 /* impliedForY */
            invokevirtual jdk.vm.ci.meta.TriState.isKnown:()Z
            ifeq 46
        39: .line 182
            aload 5 /* impliedForY */
            invokevirtual jdk.vm.ci.meta.TriState.toBoolean:()Z
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isYNegated:()Z
            ixor
            istore 6 /* yResult */
        start local 6 // boolean yResult
        40: .line 183
            iload 6 /* yResult */
            ifeq 42
        41: .line 184
            invokestatic org.graalvm.compiler.nodes.LogicConstantNode.tautology:()Lorg/graalvm/compiler/nodes/LogicConstantNode;
            goto 45
        42: .line 185
      StackMap locals: jdk.vm.ci.meta.TriState int
      StackMap stack:
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isXNegated:()Z
            ifeq 44
        43: .line 186
            aload 2 /* forX */
            invokestatic org.graalvm.compiler.nodes.LogicNegationNode.create:(Lorg/graalvm/compiler/nodes/LogicNode;)Lorg/graalvm/compiler/nodes/LogicNode;
            goto 45
        44: .line 187
      StackMap locals:
      StackMap stack:
            aload 2 /* forX */
        45: .line 183
      StackMap locals:
      StackMap stack: org.graalvm.compiler.nodes.LogicNode
            areturn
        end local 6 // boolean yResult
        46: .line 192
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isXNegated:()Z
            ifne 50
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isYNegated:()Z
            ifne 50
        47: .line 193
            aload 2 /* forX */
            aload 3 /* forY */
            invokestatic org.graalvm.compiler.nodes.ShortCircuitOrNode.simplifyComparison:(Lorg/graalvm/compiler/nodes/LogicNode;Lorg/graalvm/compiler/nodes/LogicNode;)Lorg/graalvm/compiler/nodes/LogicNode;
            astore 6 /* sym */
        start local 6 // org.graalvm.compiler.nodes.LogicNode sym
        48: .line 194
            aload 6 /* sym */
            ifnull 50
        49: .line 195
            aload 6 /* sym */
            areturn
        end local 6 // org.graalvm.compiler.nodes.LogicNode sym
        50: .line 201
      StackMap locals:
      StackMap stack:
            aload 2 /* forX */
            instanceof org.graalvm.compiler.nodes.calc.IntegerBelowNode
            ifeq 60
            aload 3 /* forY */
            instanceof org.graalvm.compiler.nodes.calc.IntegerLessThanNode
            ifeq 60
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isXNegated:()Z
            ifne 60
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isYNegated:()Z
            ifne 60
        51: .line 202
            aload 2 /* forX */
            checkcast org.graalvm.compiler.nodes.calc.IntegerBelowNode
            astore 6 /* xNode */
        start local 6 // org.graalvm.compiler.nodes.calc.IntegerBelowNode xNode
        52: .line 203
            aload 3 /* forY */
            checkcast org.graalvm.compiler.nodes.calc.IntegerLessThanNode
            astore 7 /* yNode */
        start local 7 // org.graalvm.compiler.nodes.calc.IntegerLessThanNode yNode
        53: .line 204
            aload 6 /* xNode */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerBelowNode.getX:()Lorg/graalvm/compiler/nodes/ValueNode;
            astore 8 /* xxNode */
        start local 8 // org.graalvm.compiler.nodes.ValueNode xxNode
        54: .line 205
            aload 7 /* yNode */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLessThanNode.getX:()Lorg/graalvm/compiler/nodes/ValueNode;
            astore 9 /* yxNode */
        start local 9 // org.graalvm.compiler.nodes.ValueNode yxNode
        55: .line 206
            aload 8 /* xxNode */
            aload 9 /* yxNode */
            if_acmpne 60
            aload 8 /* xxNode */
            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;
            checkcast org.graalvm.compiler.core.common.type.IntegerStamp
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.isPositive:()Z
            ifeq 60
        56: .line 207
            aload 6 /* xNode */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerBelowNode.getY:()Lorg/graalvm/compiler/nodes/ValueNode;
            astore 10 /* xyNode */
        start local 10 // org.graalvm.compiler.nodes.ValueNode xyNode
        57: .line 208
            aload 7 /* yNode */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLessThanNode.getY:()Lorg/graalvm/compiler/nodes/ValueNode;
            astore 11 /* yyNode */
        start local 11 // org.graalvm.compiler.nodes.ValueNode yyNode
        58: .line 209
            aload 10 /* xyNode */
            aload 11 /* yyNode */
            if_acmpne 60
        59: .line 210
            aload 2 /* forX */
            areturn
        end local 11 // org.graalvm.compiler.nodes.ValueNode yyNode
        end local 10 // org.graalvm.compiler.nodes.ValueNode xyNode
        end local 9 // org.graalvm.compiler.nodes.ValueNode yxNode
        end local 8 // org.graalvm.compiler.nodes.ValueNode xxNode
        end local 7 // org.graalvm.compiler.nodes.calc.IntegerLessThanNode yNode
        end local 6 // org.graalvm.compiler.nodes.calc.IntegerBelowNode xNode
        60: .line 217
      StackMap locals:
      StackMap stack:
            aload 3 /* forY */
            instanceof org.graalvm.compiler.nodes.ShortCircuitOrNode
            ifeq 68
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isXNegated:()Z
            ifne 68
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isYNegated:()Z
            ifne 68
        61: .line 218
            aload 3 /* forY */
            checkcast org.graalvm.compiler.nodes.ShortCircuitOrNode
            astore 6 /* yNode */
        start local 6 // org.graalvm.compiler.nodes.ShortCircuitOrNode yNode
        62: .line 219
            aload 6 /* yNode */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isXNegated:()Z
            ifne 68
        63: .line 220
            aload 2 /* forX */
            aload 6 /* yNode */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.getX:()Lorg/graalvm/compiler/nodes/LogicNode;
            invokestatic org.graalvm.compiler.nodes.ShortCircuitOrNode.simplifyComparison:(Lorg/graalvm/compiler/nodes/LogicNode;Lorg/graalvm/compiler/nodes/LogicNode;)Lorg/graalvm/compiler/nodes/LogicNode;
            astore 7 /* sym */
        start local 7 // org.graalvm.compiler.nodes.LogicNode sym
        64: .line 221
            aload 7 /* sym */
            ifnull 68
        65: .line 222
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.getShortCircuitProbability:()D
            dstore 8 /* p1 */
        start local 8 // double p1
        66: .line 223
            aload 6 /* yNode */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.getShortCircuitProbability:()D
            dstore 10 /* p2 */
        start local 10 // double p2
        67: .line 224
            new org.graalvm.compiler.nodes.ShortCircuitOrNode
            dup
            aload 7 /* sym */
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isXNegated:()Z
            aload 6 /* yNode */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.getY:()Lorg/graalvm/compiler/nodes/LogicNode;
            aload 6 /* yNode */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isYNegated:()Z
            dload 8 /* p1 */
            dconst_1
            dload 8 /* p1 */
            dsub
            dload 10 /* p2 */
            dmul
            dadd
            invokespecial org.graalvm.compiler.nodes.ShortCircuitOrNode.<init>:(Lorg/graalvm/compiler/nodes/LogicNode;ZLorg/graalvm/compiler/nodes/LogicNode;ZD)V
            areturn
        end local 10 // double p2
        end local 8 // double p1
        end local 7 // org.graalvm.compiler.nodes.LogicNode sym
        end local 6 // org.graalvm.compiler.nodes.ShortCircuitOrNode yNode
        68: .line 229
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            areturn
        end local 5 // jdk.vm.ci.meta.TriState impliedForY
        end local 4 // org.graalvm.compiler.nodes.ShortCircuitOrNode ret
        end local 3 // org.graalvm.compiler.nodes.LogicNode forY
        end local 2 // org.graalvm.compiler.nodes.LogicNode forX
        end local 1 // org.graalvm.compiler.graph.spi.CanonicalizerTool tool
        end local 0 // org.graalvm.compiler.nodes.ShortCircuitOrNode this
      LocalVariableTable:
        Start  End  Slot         Name  Signature
            0   69     0         this  Lorg/graalvm/compiler/nodes/ShortCircuitOrNode;
            0   69     1         tool  Lorg/graalvm/compiler/graph/spi/CanonicalizerTool;
            0   69     2         forX  Lorg/graalvm/compiler/nodes/LogicNode;
            0   69     3         forY  Lorg/graalvm/compiler/nodes/LogicNode;
            1   69     4          ret  Lorg/graalvm/compiler/nodes/ShortCircuitOrNode;
           25   29     5        inner  Lorg/graalvm/compiler/nodes/ShortCircuitOrNode;
           31   35     5        inner  Lorg/graalvm/compiler/nodes/ShortCircuitOrNode;
           38   69     5  impliedForY  Ljdk/vm/ci/meta/TriState;
           40   46     6      yResult  Z
           48   50     6          sym  Lorg/graalvm/compiler/nodes/LogicNode;
           52   60     6        xNode  Lorg/graalvm/compiler/nodes/calc/IntegerBelowNode;
           53   60     7        yNode  Lorg/graalvm/compiler/nodes/calc/IntegerLessThanNode;
           54   60     8       xxNode  Lorg/graalvm/compiler/nodes/ValueNode;
           55   60     9       yxNode  Lorg/graalvm/compiler/nodes/ValueNode;
           57   60    10       xyNode  Lorg/graalvm/compiler/nodes/ValueNode;
           58   60    11       yyNode  Lorg/graalvm/compiler/nodes/ValueNode;
           62   68     6        yNode  Lorg/graalvm/compiler/nodes/ShortCircuitOrNode;
           64   68     7          sym  Lorg/graalvm/compiler/nodes/LogicNode;
           66   68     8           p1  D
           67   68    10           p2  D
    MethodParameters:
      Name  Flags
      tool  
      forX  
      forY  

  private static org.graalvm.compiler.nodes.LogicNode simplifyComparison(org.graalvm.compiler.nodes.LogicNode, org.graalvm.compiler.nodes.LogicNode);
    descriptor: (Lorg/graalvm/compiler/nodes/LogicNode;Lorg/graalvm/compiler/nodes/LogicNode;)Lorg/graalvm/compiler/nodes/LogicNode;
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=2, locals=3, args_size=2
        start local 0 // org.graalvm.compiler.nodes.LogicNode forX
        start local 1 // org.graalvm.compiler.nodes.LogicNode forY
         0: .line 233
            aload 0 /* forX */
            aload 1 /* forY */
            invokestatic org.graalvm.compiler.nodes.ShortCircuitOrNode.simplifyComparisonOrdered:(Lorg/graalvm/compiler/nodes/LogicNode;Lorg/graalvm/compiler/nodes/LogicNode;)Lorg/graalvm/compiler/nodes/LogicNode;
            astore 2 /* sym */
        start local 2 // org.graalvm.compiler.nodes.LogicNode sym
         1: .line 234
            aload 2 /* sym */
            ifnonnull 3
         2: .line 235
            aload 1 /* forY */
            aload 0 /* forX */
            invokestatic org.graalvm.compiler.nodes.ShortCircuitOrNode.simplifyComparisonOrdered:(Lorg/graalvm/compiler/nodes/LogicNode;Lorg/graalvm/compiler/nodes/LogicNode;)Lorg/graalvm/compiler/nodes/LogicNode;
            areturn
         3: .line 237
      StackMap locals: org.graalvm.compiler.nodes.LogicNode
      StackMap stack:
            aload 2 /* sym */
            areturn
        end local 2 // org.graalvm.compiler.nodes.LogicNode sym
        end local 1 // org.graalvm.compiler.nodes.LogicNode forY
        end local 0 // org.graalvm.compiler.nodes.LogicNode forX
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    4     0  forX  Lorg/graalvm/compiler/nodes/LogicNode;
            0    4     1  forY  Lorg/graalvm/compiler/nodes/LogicNode;
            1    4     2   sym  Lorg/graalvm/compiler/nodes/LogicNode;
    MethodParameters:
      Name  Flags
      forX  
      forY  

  private static org.graalvm.compiler.nodes.LogicNode simplifyComparisonOrdered(org.graalvm.compiler.nodes.LogicNode, org.graalvm.compiler.nodes.LogicNode);
    descriptor: (Lorg/graalvm/compiler/nodes/LogicNode;Lorg/graalvm/compiler/nodes/LogicNode;)Lorg/graalvm/compiler/nodes/LogicNode;
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=3, locals=8, args_size=2
        start local 0 // org.graalvm.compiler.nodes.LogicNode forX
        start local 1 // org.graalvm.compiler.nodes.LogicNode forY
         0: .line 243
            aload 0 /* forX */
            instanceof org.graalvm.compiler.nodes.calc.IntegerLessThanNode
            ifeq 11
            aload 1 /* forY */
            instanceof org.graalvm.compiler.nodes.calc.IntegerLessThanNode
            ifeq 11
         1: .line 244
            aload 0 /* forX */
            checkcast org.graalvm.compiler.nodes.calc.IntegerLessThanNode
            astore 2 /* xNode */
        start local 2 // org.graalvm.compiler.nodes.calc.IntegerLessThanNode xNode
         2: .line 245
            aload 1 /* forY */
            checkcast org.graalvm.compiler.nodes.calc.IntegerLessThanNode
            astore 3 /* yNode */
        start local 3 // org.graalvm.compiler.nodes.calc.IntegerLessThanNode yNode
         3: .line 246
            aload 2 /* xNode */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLessThanNode.getY:()Lorg/graalvm/compiler/nodes/ValueNode;
            astore 4 /* xyNode */
        start local 4 // org.graalvm.compiler.nodes.ValueNode xyNode
         4: .line 247
            aload 4 /* xyNode */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.isConstant:()Z
            ifeq 11
            getstatic org.graalvm.compiler.core.common.type.IntegerStamp.OPS:Lorg/graalvm/compiler/core/common/type/ArithmeticOpTable;
            invokevirtual org.graalvm.compiler.core.common.type.ArithmeticOpTable.getAdd:()Lorg/graalvm/compiler/core/common/type/ArithmeticOpTable$BinaryOp;
            aload 4 /* xyNode */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.asConstant:()Ljdk/vm/ci/meta/Constant;
            invokevirtual org.graalvm.compiler.core.common.type.ArithmeticOpTable$BinaryOp.isNeutral:(Ljdk/vm/ci/meta/Constant;)Z
            ifeq 11
         5: .line 248
            aload 3 /* yNode */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLessThanNode.getX:()Lorg/graalvm/compiler/nodes/ValueNode;
            astore 5 /* yxNode */
        start local 5 // org.graalvm.compiler.nodes.ValueNode yxNode
         6: .line 249
            aload 5 /* yxNode */
            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;
            checkcast org.graalvm.compiler.core.common.type.IntegerStamp
            astore 6 /* stamp */
        start local 6 // org.graalvm.compiler.core.common.type.IntegerStamp stamp
         7: .line 250
            aload 6 /* stamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.isPositive:()Z
            ifeq 11
         8: .line 251
            aload 2 /* xNode */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLessThanNode.getX:()Lorg/graalvm/compiler/nodes/ValueNode;
            aload 3 /* yNode */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLessThanNode.getY:()Lorg/graalvm/compiler/nodes/ValueNode;
            if_acmpne 11
         9: .line 252
            aload 2 /* xNode */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLessThanNode.getX:()Lorg/graalvm/compiler/nodes/ValueNode;
            astore 7 /* u */
        start local 7 // org.graalvm.compiler.nodes.ValueNode u
        10: .line 253
            aload 5 /* yxNode */
            aload 7 /* u */
            getstatic org.graalvm.compiler.nodes.NodeView.DEFAULT:Lorg/graalvm/compiler/nodes/NodeView;
            invokestatic org.graalvm.compiler.nodes.calc.IntegerBelowNode.create:(Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/NodeView;)Lorg/graalvm/compiler/nodes/LogicNode;
            areturn
        end local 7 // org.graalvm.compiler.nodes.ValueNode u
        end local 6 // org.graalvm.compiler.core.common.type.IntegerStamp stamp
        end local 5 // org.graalvm.compiler.nodes.ValueNode yxNode
        end local 4 // org.graalvm.compiler.nodes.ValueNode xyNode
        end local 3 // org.graalvm.compiler.nodes.calc.IntegerLessThanNode yNode
        end local 2 // org.graalvm.compiler.nodes.calc.IntegerLessThanNode xNode
        11: .line 259
      StackMap locals:
      StackMap stack:
            aconst_null
            areturn
        end local 1 // org.graalvm.compiler.nodes.LogicNode forY
        end local 0 // org.graalvm.compiler.nodes.LogicNode forX
      LocalVariableTable:
        Start  End  Slot    Name  Signature
            0   12     0    forX  Lorg/graalvm/compiler/nodes/LogicNode;
            0   12     1    forY  Lorg/graalvm/compiler/nodes/LogicNode;
            2   11     2   xNode  Lorg/graalvm/compiler/nodes/calc/IntegerLessThanNode;
            3   11     3   yNode  Lorg/graalvm/compiler/nodes/calc/IntegerLessThanNode;
            4   11     4  xyNode  Lorg/graalvm/compiler/nodes/ValueNode;
            6   11     5  yxNode  Lorg/graalvm/compiler/nodes/ValueNode;
            7   11     6   stamp  Lorg/graalvm/compiler/core/common/type/IntegerStamp;
           10   11     7       u  Lorg/graalvm/compiler/nodes/ValueNode;
    MethodParameters:
      Name  Flags
      forX  
      forY  

  private static org.graalvm.compiler.nodes.LogicNode optimizeShortCircuit(org.graalvm.compiler.nodes.ShortCircuitOrNode, boolean, boolean, boolean);
    descriptor: (Lorg/graalvm/compiler/nodes/ShortCircuitOrNode;ZZZ)Lorg/graalvm/compiler/nodes/LogicNode;
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=8, locals=9, args_size=4
        start local 0 // org.graalvm.compiler.nodes.ShortCircuitOrNode inner
        start local 1 // boolean innerNegated
        start local 2 // boolean matchNegated
        start local 3 // boolean matchIsInnerX
         0: .line 264
            iload 3 /* matchIsInnerX */
            ifeq 3
         1: .line 265
            aload 0 /* inner */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isXNegated:()Z
            istore 4 /* innerMatchNegated */
        start local 4 // boolean innerMatchNegated
         2: .line 266
            goto 4
        end local 4 // boolean innerMatchNegated
         3: .line 267
      StackMap locals:
      StackMap stack:
            aload 0 /* inner */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isYNegated:()Z
            istore 4 /* innerMatchNegated */
        start local 4 // boolean innerMatchNegated
         4: .line 269
      StackMap locals: int
      StackMap stack:
            iload 1 /* innerNegated */
            ifne 8
         5: .line 276
            iload 4 /* innerMatchNegated */
            iload 2 /* matchNegated */
            if_icmpne 7
         6: .line 282
            aload 0 /* inner */
            areturn
         7: .line 289
      StackMap locals:
      StackMap stack:
            invokestatic org.graalvm.compiler.nodes.LogicConstantNode.tautology:()Lorg/graalvm/compiler/nodes/LogicConstantNode;
            areturn
         8: .line 292
      StackMap locals:
      StackMap stack:
            iload 4 /* innerMatchNegated */
            iload 2 /* matchNegated */
            if_icmpne 22
         9: .line 297
            aload 0 /* inner */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isXNegated:()Z
            istore 5 /* newInnerXNegated */
        start local 5 // boolean newInnerXNegated
        10: .line 298
            aload 0 /* inner */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isYNegated:()Z
            istore 6 /* newInnerYNegated */
        start local 6 // boolean newInnerYNegated
        11: .line 299
            aload 0 /* inner */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.getShortCircuitProbability:()D
            dstore 7 /* newProbability */
        start local 7 // double newProbability
        12: .line 300
            iload 3 /* matchIsInnerX */
            ifeq 17
        13: .line 301
            iload 6 /* newInnerYNegated */
            ifeq 14
            iconst_0
            goto 15
      StackMap locals: int int double
      StackMap stack:
        14: iconst_1
      StackMap locals:
      StackMap stack: int
        15: istore 6 /* newInnerYNegated */
        16: .line 302
            goto 21
        17: .line 303
      StackMap locals:
      StackMap stack:
            iload 5 /* newInnerXNegated */
            ifeq 18
            iconst_0
            goto 19
      StackMap locals:
      StackMap stack:
        18: iconst_1
      StackMap locals:
      StackMap stack: int
        19: istore 5 /* newInnerXNegated */
        20: .line 304
            dconst_1
            dload 7 /* newProbability */
            dsub
            dstore 7 /* newProbability */
        21: .line 307
      StackMap locals:
      StackMap stack:
            new org.graalvm.compiler.nodes.ShortCircuitOrNode
            dup
            aload 0 /* inner */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.getX:()Lorg/graalvm/compiler/nodes/LogicNode;
            iload 5 /* newInnerXNegated */
            aload 0 /* inner */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.getY:()Lorg/graalvm/compiler/nodes/LogicNode;
            iload 6 /* newInnerYNegated */
            dload 7 /* newProbability */
            invokespecial org.graalvm.compiler.nodes.ShortCircuitOrNode.<init>:(Lorg/graalvm/compiler/nodes/LogicNode;ZLorg/graalvm/compiler/nodes/LogicNode;ZD)V
            areturn
        end local 7 // double newProbability
        end local 6 // boolean newInnerYNegated
        end local 5 // boolean newInnerXNegated
        22: .line 313
      StackMap locals:
      StackMap stack:
            aload 0 /* inner */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.getY:()Lorg/graalvm/compiler/nodes/LogicNode;
            astore 5 /* result */
        start local 5 // org.graalvm.compiler.nodes.LogicNode result
        23: .line 314
            iload 3 /* matchIsInnerX */
            ifeq 25
        24: .line 315
            aload 0 /* inner */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.getX:()Lorg/graalvm/compiler/nodes/LogicNode;
            astore 5 /* result */
        25: .line 318
      StackMap locals: org.graalvm.compiler.nodes.LogicNode
      StackMap stack:
            iload 2 /* matchNegated */
            ifeq 27
        26: .line 319
            aload 5 /* result */
            invokestatic org.graalvm.compiler.nodes.LogicNegationNode.create:(Lorg/graalvm/compiler/nodes/LogicNode;)Lorg/graalvm/compiler/nodes/LogicNode;
            areturn
        27: .line 321
      StackMap locals:
      StackMap stack:
            aload 5 /* result */
            areturn
        end local 5 // org.graalvm.compiler.nodes.LogicNode result
        end local 4 // boolean innerMatchNegated
        end local 3 // boolean matchIsInnerX
        end local 2 // boolean matchNegated
        end local 1 // boolean innerNegated
        end local 0 // org.graalvm.compiler.nodes.ShortCircuitOrNode inner
      LocalVariableTable:
        Start  End  Slot               Name  Signature
            0   28     0              inner  Lorg/graalvm/compiler/nodes/ShortCircuitOrNode;
            0   28     1       innerNegated  Z
            0   28     2       matchNegated  Z
            0   28     3      matchIsInnerX  Z
            2    3     4  innerMatchNegated  Z
            4   28     4  innerMatchNegated  Z
           10   22     5   newInnerXNegated  Z
           11   22     6   newInnerYNegated  Z
           12   22     7     newProbability  D
           23   28     5             result  Lorg/graalvm/compiler/nodes/LogicNode;
    MethodParameters:
               Name  Flags
      inner          
      innerNegated   
      matchNegated   
      matchIsInnerX  

  public org.graalvm.compiler.graph.Node canonical(org.graalvm.compiler.graph.spi.CanonicalizerTool, org.graalvm.compiler.graph.Node, org.graalvm.compiler.graph.Node);
    descriptor: (Lorg/graalvm/compiler/graph/spi/CanonicalizerTool;Lorg/graalvm/compiler/graph/Node;Lorg/graalvm/compiler/graph/Node;)Lorg/graalvm/compiler/graph/Node;
    flags: (0x1041) ACC_PUBLIC, ACC_BRIDGE, ACC_SYNTHETIC
    Code:
      stack=4, locals=4, args_size=4
         0: .line 1
            aload 0
            aload 1
            aload 2
            checkcast org.graalvm.compiler.nodes.LogicNode
            aload 3
            checkcast org.graalvm.compiler.nodes.LogicNode
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.canonical:(Lorg/graalvm/compiler/graph/spi/CanonicalizerTool;Lorg/graalvm/compiler/nodes/LogicNode;Lorg/graalvm/compiler/nodes/LogicNode;)Lorg/graalvm/compiler/nodes/LogicNode;
            areturn
      LocalVariableTable:
        Start  End  Slot  Name  Signature

  public org.graalvm.compiler.graph.Node getX();
    descriptor: ()Lorg/graalvm/compiler/graph/Node;
    flags: (0x1041) ACC_PUBLIC, ACC_BRIDGE, ACC_SYNTHETIC
    Code:
      stack=1, locals=1, args_size=1
         0: .line 1
            aload 0
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.getX:()Lorg/graalvm/compiler/nodes/LogicNode;
            areturn
      LocalVariableTable:
        Start  End  Slot  Name  Signature

  public org.graalvm.compiler.graph.Node getY();
    descriptor: ()Lorg/graalvm/compiler/graph/Node;
    flags: (0x1041) ACC_PUBLIC, ACC_BRIDGE, ACC_SYNTHETIC
    Code:
      stack=1, locals=1, args_size=1
         0: .line 1
            aload 0
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.getY:()Lorg/graalvm/compiler/nodes/LogicNode;
            areturn
      LocalVariableTable:
        Start  End  Slot  Name  Signature
}
Signature: Lorg/graalvm/compiler/nodes/LogicNode;Lorg/graalvm/compiler/graph/IterableNodeType;Lorg/graalvm/compiler/graph/spi/Canonicalizable$Binary<Lorg/graalvm/compiler/nodes/LogicNode;>;
SourceFile: "ShortCircuitOrNode.java"
InnerClasses:
  public abstract BinaryOp = org.graalvm.compiler.core.common.type.ArithmeticOpTable$BinaryOp of org.graalvm.compiler.core.common.type.ArithmeticOpTable
  public abstract Add = org.graalvm.compiler.core.common.type.ArithmeticOpTable$BinaryOp$Add of org.graalvm.compiler.core.common.type.ArithmeticOpTable$BinaryOp
  public abstract Input = org.graalvm.compiler.graph.Node$Input of org.graalvm.compiler.graph.Node
  public abstract Binary = org.graalvm.compiler.graph.spi.Canonicalizable$Binary of org.graalvm.compiler.graph.spi.Canonicalizable
    RuntimeVisibleAnnotations: 
      org.graalvm.compiler.nodeinfo.NodeInfo(cycles = org.graalvm.compiler.nodeinfo.NodeCycles.CYCLES_0:Lorg/graalvm/compiler/nodeinfo/NodeCycles;, size = org.graalvm.compiler.nodeinfo.NodeSize.SIZE_0:Lorg/graalvm/compiler/nodeinfo/NodeSize;)
/

java/ 11/ jdk.internal.vm.compiler/org/graalvm/compiler/nodes/ShortCircuitOrNode.class
