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 38
            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 46
            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 47
            aload 0 /* this */
            aload 1 /* x */
            putfield org.graalvm.compiler.nodes.ShortCircuitOrNode.x:Lorg/graalvm/compiler/nodes/LogicNode;
         2: .line 48
            aload 0 /* this */
            iload 2 /* xNegated */
            putfield org.graalvm.compiler.nodes.ShortCircuitOrNode.xNegated:Z
         3: .line 49
            aload 0 /* this */
            aload 3 /* y */
            putfield org.graalvm.compiler.nodes.ShortCircuitOrNode.y:Lorg/graalvm/compiler/nodes/LogicNode;
         4: .line 50
            aload 0 /* this */
            iload 4 /* yNegated */
            putfield org.graalvm.compiler.nodes.ShortCircuitOrNode.yNegated:Z
         5: .line 51
            aload 0 /* this */
            dload 5 /* shortCircuitProbability */
            putfield org.graalvm.compiler.nodes.ShortCircuitOrNode.shortCircuitProbability:D
         6: .line 52
            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 56
            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 61
            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 65
            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 69
            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 77
            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 81
            aload 1 /* forX */
            astore 3 /* xCond */
        start local 3 // org.graalvm.compiler.nodes.LogicNode xCond
         1: .line 82
            aload 0 /* this */
            getfield org.graalvm.compiler.nodes.ShortCircuitOrNode.xNegated:Z
            istore 4 /* xNeg */
        start local 4 // boolean xNeg
         2: .line 83
            goto 7
         3: .line 84
      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 85
            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 83
      StackMap locals:
      StackMap stack:
            aload 3 /* xCond */
            instanceof org.graalvm.compiler.nodes.LogicNegationNode
            ifne 3
         8: .line 88
            aload 2 /* forY */
            astore 5 /* yCond */
        start local 5 // org.graalvm.compiler.nodes.LogicNode yCond
         9: .line 89
            aload 0 /* this */
            getfield org.graalvm.compiler.nodes.ShortCircuitOrNode.yNegated:Z
            istore 6 /* yNeg */
        start local 6 // boolean yNeg
        10: .line 90
            goto 15
        11: .line 91
      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 92
            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 90
      StackMap locals:
      StackMap stack:
            aload 5 /* yCond */
            instanceof org.graalvm.compiler.nodes.LogicNegationNode
            ifne 11
        16: .line 95
            aload 3 /* xCond */
            aload 1 /* forX */
            if_acmpne 17
            aload 5 /* yCond */
            aload 2 /* forY */
            if_acmpeq 18
        17: .line 96
      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 98
      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=4, locals=6, 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 104
            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 105
            aload 4 /* ret */
            aload 0 /* this */
            if_acmpeq 3
         2: .line 106
            aload 4 /* ret */
            areturn
         3: .line 109
      StackMap locals: org.graalvm.compiler.nodes.ShortCircuitOrNode
      StackMap stack:
            aload 2 /* forX */
            aload 3 /* forY */
            if_acmpne 11
         4: .line 116
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isXNegated:()Z
            ifeq 8
         5: .line 117
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isYNegated:()Z
            ifeq 7
         6: .line 119
            aload 2 /* forX */
            invokestatic org.graalvm.compiler.nodes.LogicNegationNode.create:(Lorg/graalvm/compiler/nodes/LogicNode;)Lorg/graalvm/compiler/nodes/LogicNode;
            areturn
         7: .line 122
      StackMap locals:
      StackMap stack:
            invokestatic org.graalvm.compiler.nodes.LogicConstantNode.tautology:()Lorg/graalvm/compiler/nodes/LogicConstantNode;
            areturn
         8: .line 125
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isYNegated:()Z
            ifeq 10
         9: .line 127
            invokestatic org.graalvm.compiler.nodes.LogicConstantNode.tautology:()Lorg/graalvm/compiler/nodes/LogicConstantNode;
            areturn
        10: .line 130
      StackMap locals:
      StackMap stack:
            aload 2 /* forX */
            areturn
        11: .line 134
      StackMap locals:
      StackMap stack:
            aload 2 /* forX */
            instanceof org.graalvm.compiler.nodes.LogicConstantNode
            ifeq 17
        12: .line 135
            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 136
            invokestatic org.graalvm.compiler.nodes.LogicConstantNode.tautology:()Lorg/graalvm/compiler/nodes/LogicConstantNode;
            areturn
        14: .line 138
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isYNegated:()Z
            ifeq 16
        15: .line 139
            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 141
      StackMap locals:
      StackMap stack:
            aload 3 /* forY */
            areturn
        17: .line 145
      StackMap locals:
      StackMap stack:
            aload 3 /* forY */
            instanceof org.graalvm.compiler.nodes.LogicConstantNode
            ifeq 23
        18: .line 146
            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 147
            invokestatic org.graalvm.compiler.nodes.LogicConstantNode.tautology:()Lorg/graalvm/compiler/nodes/LogicConstantNode;
            areturn
        20: .line 149
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isXNegated:()Z
            ifeq 22
        21: .line 150
            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 152
      StackMap locals:
      StackMap stack:
            aload 2 /* forX */
            areturn
        23: .line 157
      StackMap locals:
      StackMap stack:
            aload 2 /* forX */
            instanceof org.graalvm.compiler.nodes.ShortCircuitOrNode
            ifeq 29
        24: .line 158
            aload 2 /* forX */
            checkcast org.graalvm.compiler.nodes.ShortCircuitOrNode
            astore 5 /* inner */
        start local 5 // org.graalvm.compiler.nodes.ShortCircuitOrNode inner
        25: .line 159
            aload 3 /* forY */
            aload 5 /* inner */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.getX:()Lorg/graalvm/compiler/nodes/LogicNode;
            if_acmpne 27
        26: .line 160
            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 161
      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 162
            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 164
      StackMap locals:
      StackMap stack:
            aload 3 /* forY */
            instanceof org.graalvm.compiler.nodes.ShortCircuitOrNode
            ifeq 35
        30: .line 165
            aload 3 /* forY */
            checkcast org.graalvm.compiler.nodes.ShortCircuitOrNode
            astore 5 /* inner */
        start local 5 // org.graalvm.compiler.nodes.ShortCircuitOrNode inner
        31: .line 166
            aload 5 /* inner */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.getX:()Lorg/graalvm/compiler/nodes/LogicNode;
            aload 2 /* forX */
            if_acmpne 33
        32: .line 167
            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 168
      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 169
            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 172
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            areturn
        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   36     0   this  Lorg/graalvm/compiler/nodes/ShortCircuitOrNode;
            0   36     1   tool  Lorg/graalvm/compiler/graph/spi/CanonicalizerTool;
            0   36     2   forX  Lorg/graalvm/compiler/nodes/LogicNode;
            0   36     3   forY  Lorg/graalvm/compiler/nodes/LogicNode;
            1   36     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;
    MethodParameters:
      Name  Flags
      tool  
      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 177
            iload 3 /* matchIsInnerX */
            ifeq 3
         1: .line 178
            aload 0 /* inner */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isXNegated:()Z
            istore 4 /* innerMatchNegated */
        start local 4 // boolean innerMatchNegated
         2: .line 179
            goto 4
        end local 4 // boolean innerMatchNegated
         3: .line 180
      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 182
      StackMap locals: int
      StackMap stack:
            iload 1 /* innerNegated */
            ifne 8
         5: .line 189
            iload 4 /* innerMatchNegated */
            iload 2 /* matchNegated */
            if_icmpne 7
         6: .line 195
            aload 0 /* inner */
            areturn
         7: .line 202
      StackMap locals:
      StackMap stack:
            invokestatic org.graalvm.compiler.nodes.LogicConstantNode.tautology:()Lorg/graalvm/compiler/nodes/LogicConstantNode;
            areturn
         8: .line 205
      StackMap locals:
      StackMap stack:
            iload 4 /* innerMatchNegated */
            iload 2 /* matchNegated */
            if_icmpne 22
         9: .line 210
            aload 0 /* inner */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isXNegated:()Z
            istore 5 /* newInnerXNegated */
        start local 5 // boolean newInnerXNegated
        10: .line 211
            aload 0 /* inner */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isYNegated:()Z
            istore 6 /* newInnerYNegated */
        start local 6 // boolean newInnerYNegated
        11: .line 212
            aload 0 /* inner */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.getShortCircuitProbability:()D
            dstore 7 /* newProbability */
        start local 7 // double newProbability
        12: .line 213
            iload 3 /* matchIsInnerX */
            ifeq 17
        13: .line 214
            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 215
            goto 21
        17: .line 216
      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 217
            dconst_1
            dload 7 /* newProbability */
            dsub
            dstore 7 /* newProbability */
        21: .line 220
      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 226
      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 227
            iload 3 /* matchIsInnerX */
            ifeq 25
        24: .line 228
            aload 0 /* inner */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.getX:()Lorg/graalvm/compiler/nodes/LogicNode;
            astore 5 /* result */
        25: .line 231
      StackMap locals: org.graalvm.compiler.nodes.LogicNode
      StackMap stack:
            iload 2 /* matchNegated */
            ifeq 27
        26: .line 232
            aload 5 /* result */
            invokestatic org.graalvm.compiler.nodes.LogicNegationNode.create:(Lorg/graalvm/compiler/nodes/LogicNode;)Lorg/graalvm/compiler/nodes/LogicNode;
            areturn
        27: .line 234
      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 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;)