java/15 : 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 52
            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 60
            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 61
            aload 0 /* this */
            aload 1 /* x */
            putfield org.graalvm.compiler.nodes.ShortCircuitOrNode.x:Lorg/graalvm/compiler/nodes/LogicNode;
         2: .line 62
            aload 0 /* this */
            iload 2 /* xNegated */
            putfield org.graalvm.compiler.nodes.ShortCircuitOrNode.xNegated:Z
         3: .line 63
            aload 0 /* this */
            aload 3 /* y */
            putfield org.graalvm.compiler.nodes.ShortCircuitOrNode.y:Lorg/graalvm/compiler/nodes/LogicNode;
         4: .line 64
            aload 0 /* this */
            iload 4 /* yNegated */
            putfield org.graalvm.compiler.nodes.ShortCircuitOrNode.yNegated:Z
         5: .line 65
            aload 0 /* this */
            dload 5 /* shortCircuitProbability */
            putfield org.graalvm.compiler.nodes.ShortCircuitOrNode.shortCircuitProbability:D
         6: .line 66
            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 static org.graalvm.compiler.nodes.LogicNode create(org.graalvm.compiler.nodes.LogicNode, boolean, org.graalvm.compiler.nodes.LogicNode, boolean, double);
    descriptor: (Lorg/graalvm/compiler/nodes/LogicNode;ZLorg/graalvm/compiler/nodes/LogicNode;ZD)Lorg/graalvm/compiler/nodes/LogicNode;
    flags: (0x0009) ACC_PUBLIC, ACC_STATIC
    Code:
      stack=8, locals=6, 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 // double shortCircuitProbability
         0: .line 69
            new org.graalvm.compiler.nodes.ShortCircuitOrNode
            dup
            aload 0 /* x */
            iload 1 /* xNegated */
            aload 2 /* y */
            iload 3 /* yNegated */
            dload 4 /* shortCircuitProbability */
            invokespecial org.graalvm.compiler.nodes.ShortCircuitOrNode.<init>:(Lorg/graalvm/compiler/nodes/LogicNode;ZLorg/graalvm/compiler/nodes/LogicNode;ZD)V
            areturn
        end local 4 // double shortCircuitProbability
        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    1     0                        x  Lorg/graalvm/compiler/nodes/LogicNode;
            0    1     1                 xNegated  Z
            0    1     2                        y  Lorg/graalvm/compiler/nodes/LogicNode;
            0    1     3                 yNegated  Z
            0    1     4  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 74
            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 79
            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 83
            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 87
            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 95
            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 99
            aload 1 /* forX */
            astore 3 /* xCond */
        start local 3 // org.graalvm.compiler.nodes.LogicNode xCond
         1: .line 100
            aload 0 /* this */
            getfield org.graalvm.compiler.nodes.ShortCircuitOrNode.xNegated:Z
            istore 4 /* xNeg */
        start local 4 // boolean xNeg
         2: .line 101
            goto 7
         3: .line 102
      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 103
            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 101
      StackMap locals:
      StackMap stack:
            aload 3 /* xCond */
            instanceof org.graalvm.compiler.nodes.LogicNegationNode
            ifne 3
         8: .line 106
            aload 2 /* forY */
            astore 5 /* yCond */
        start local 5 // org.graalvm.compiler.nodes.LogicNode yCond
         9: .line 107
            aload 0 /* this */
            getfield org.graalvm.compiler.nodes.ShortCircuitOrNode.yNegated:Z
            istore 6 /* yNeg */
        start local 6 // boolean yNeg
        10: .line 108
            goto 15
        11: .line 109
      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 110
            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 108
      StackMap locals:
      StackMap stack:
            aload 5 /* yCond */
            instanceof org.graalvm.compiler.nodes.LogicNegationNode
            ifne 11
        16: .line 113
            aload 3 /* xCond */
            aload 1 /* forX */
            if_acmpne 17
            aload 5 /* yCond */
            aload 2 /* forY */
            if_acmpeq 18
        17: .line 114
      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 116
      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=13, 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 122
            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 123
            aload 4 /* ret */
            aload 0 /* this */
            if_acmpeq 3
         2: .line 124
            aload 4 /* ret */
            areturn
         3: .line 126
      StackMap locals: org.graalvm.compiler.nodes.ShortCircuitOrNode
      StackMap stack:
            aload 1 /* tool */
            invokestatic org.graalvm.compiler.nodes.NodeView.from:(Lorg/graalvm/compiler/graph/spi/CanonicalizerTool;)Lorg/graalvm/compiler/nodes/NodeView;
            astore 5 /* view */
        start local 5 // org.graalvm.compiler.nodes.NodeView view
         4: .line 128
            aload 2 /* forX */
            aload 3 /* forY */
            if_acmpne 12
         5: .line 135
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isXNegated:()Z
            ifeq 9
         6: .line 136
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isYNegated:()Z
            ifeq 8
         7: .line 138
            aload 2 /* forX */
            invokestatic org.graalvm.compiler.nodes.LogicNegationNode.create:(Lorg/graalvm/compiler/nodes/LogicNode;)Lorg/graalvm/compiler/nodes/LogicNode;
            areturn
         8: .line 141
      StackMap locals: org.graalvm.compiler.nodes.NodeView
      StackMap stack:
            invokestatic org.graalvm.compiler.nodes.LogicConstantNode.tautology:()Lorg/graalvm/compiler/nodes/LogicConstantNode;
            areturn
         9: .line 144
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isYNegated:()Z
            ifeq 11
        10: .line 146
            invokestatic org.graalvm.compiler.nodes.LogicConstantNode.tautology:()Lorg/graalvm/compiler/nodes/LogicConstantNode;
            areturn
        11: .line 149
      StackMap locals:
      StackMap stack:
            aload 2 /* forX */
            areturn
        12: .line 153
      StackMap locals:
      StackMap stack:
            aload 2 /* forX */
            instanceof org.graalvm.compiler.nodes.LogicConstantNode
            ifeq 18
        13: .line 154
            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 15
        14: .line 155
            invokestatic org.graalvm.compiler.nodes.LogicConstantNode.tautology:()Lorg/graalvm/compiler/nodes/LogicConstantNode;
            areturn
        15: .line 157
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isYNegated:()Z
            ifeq 17
        16: .line 158
            new org.graalvm.compiler.nodes.LogicNegationNode
            dup
            aload 3 /* forY */
            invokespecial org.graalvm.compiler.nodes.LogicNegationNode.<init>:(Lorg/graalvm/compiler/nodes/LogicNode;)V
            areturn
        17: .line 160
      StackMap locals:
      StackMap stack:
            aload 3 /* forY */
            areturn
        18: .line 164
      StackMap locals:
      StackMap stack:
            aload 3 /* forY */
            instanceof org.graalvm.compiler.nodes.LogicConstantNode
            ifeq 24
        19: .line 165
            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 21
        20: .line 166
            invokestatic org.graalvm.compiler.nodes.LogicConstantNode.tautology:()Lorg/graalvm/compiler/nodes/LogicConstantNode;
            areturn
        21: .line 168
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isXNegated:()Z
            ifeq 23
        22: .line 169
            new org.graalvm.compiler.nodes.LogicNegationNode
            dup
            aload 2 /* forX */
            invokespecial org.graalvm.compiler.nodes.LogicNegationNode.<init>:(Lorg/graalvm/compiler/nodes/LogicNode;)V
            areturn
        23: .line 171
      StackMap locals:
      StackMap stack:
            aload 2 /* forX */
            areturn
        24: .line 176
      StackMap locals:
      StackMap stack:
            aload 2 /* forX */
            instanceof org.graalvm.compiler.nodes.ShortCircuitOrNode
            ifeq 30
        25: .line 177
            aload 2 /* forX */
            checkcast org.graalvm.compiler.nodes.ShortCircuitOrNode
            astore 6 /* inner */
        start local 6 // org.graalvm.compiler.nodes.ShortCircuitOrNode inner
        26: .line 178
            aload 3 /* forY */
            aload 6 /* inner */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.getX:()Lorg/graalvm/compiler/nodes/LogicNode;
            if_acmpne 28
        27: .line 179
            aload 6 /* 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
        28: .line 180
      StackMap locals: org.graalvm.compiler.nodes.ShortCircuitOrNode
      StackMap stack:
            aload 3 /* forY */
            aload 6 /* inner */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.getY:()Lorg/graalvm/compiler/nodes/LogicNode;
            if_acmpne 36
        29: .line 181
            aload 6 /* 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 6 // org.graalvm.compiler.nodes.ShortCircuitOrNode inner
        30: .line 183
      StackMap locals:
      StackMap stack:
            aload 3 /* forY */
            instanceof org.graalvm.compiler.nodes.ShortCircuitOrNode
            ifeq 36
        31: .line 184
            aload 3 /* forY */
            checkcast org.graalvm.compiler.nodes.ShortCircuitOrNode
            astore 6 /* inner */
        start local 6 // org.graalvm.compiler.nodes.ShortCircuitOrNode inner
        32: .line 185
            aload 6 /* inner */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.getX:()Lorg/graalvm/compiler/nodes/LogicNode;
            aload 2 /* forX */
            if_acmpne 34
        33: .line 186
            aload 6 /* 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
        34: .line 187
      StackMap locals: org.graalvm.compiler.nodes.ShortCircuitOrNode
      StackMap stack:
            aload 6 /* inner */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.getY:()Lorg/graalvm/compiler/nodes/LogicNode;
            aload 2 /* forX */
            if_acmpne 36
        35: .line 188
            aload 6 /* 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 6 // org.graalvm.compiler.nodes.ShortCircuitOrNode inner
        36: .line 193
      StackMap locals:
      StackMap stack:
            aload 2 /* forX */
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isXNegated:()Z
            ifeq 37
            iconst_0
            goto 38
      StackMap locals:
      StackMap stack: org.graalvm.compiler.nodes.LogicNode
        37: 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 org.graalvm.compiler.nodes.NodeView
      StackMap stack: org.graalvm.compiler.nodes.LogicNode int
        38: aload 3 /* forY */
            invokevirtual org.graalvm.compiler.nodes.LogicNode.implies:(ZLorg/graalvm/compiler/nodes/LogicNode;)Ljdk/vm/ci/meta/TriState;
            astore 6 /* impliedForY */
        start local 6 // jdk.vm.ci.meta.TriState impliedForY
        39: .line 194
            aload 6 /* impliedForY */
            invokevirtual jdk.vm.ci.meta.TriState.isKnown:()Z
            ifeq 47
        40: .line 195
            aload 6 /* impliedForY */
            invokevirtual jdk.vm.ci.meta.TriState.toBoolean:()Z
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isYNegated:()Z
            ixor
            istore 7 /* yResult */
        start local 7 // boolean yResult
        41: .line 196
            iload 7 /* yResult */
            ifeq 43
        42: .line 197
            invokestatic org.graalvm.compiler.nodes.LogicConstantNode.tautology:()Lorg/graalvm/compiler/nodes/LogicConstantNode;
            goto 46
        43: .line 198
      StackMap locals: jdk.vm.ci.meta.TriState int
      StackMap stack:
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isXNegated:()Z
            ifeq 45
        44: .line 199
            aload 2 /* forX */
            invokestatic org.graalvm.compiler.nodes.LogicNegationNode.create:(Lorg/graalvm/compiler/nodes/LogicNode;)Lorg/graalvm/compiler/nodes/LogicNode;
            goto 46
        45: .line 200
      StackMap locals:
      StackMap stack:
            aload 2 /* forX */
        46: .line 196
      StackMap locals:
      StackMap stack: org.graalvm.compiler.nodes.LogicNode
            areturn
        end local 7 // boolean yResult
        47: .line 205
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isXNegated:()Z
            ifne 51
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isYNegated:()Z
            ifne 51
        48: .line 206
            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 7 /* sym */
        start local 7 // org.graalvm.compiler.nodes.LogicNode sym
        49: .line 207
            aload 7 /* sym */
            ifnull 51
        50: .line 208
            aload 7 /* sym */
            areturn
        end local 7 // org.graalvm.compiler.nodes.LogicNode sym
        51: .line 214
      StackMap locals:
      StackMap stack:
            aload 2 /* forX */
            instanceof org.graalvm.compiler.nodes.calc.IntegerBelowNode
            ifeq 61
            aload 3 /* forY */
            instanceof org.graalvm.compiler.nodes.calc.IntegerLessThanNode
            ifeq 61
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isXNegated:()Z
            ifne 61
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isYNegated:()Z
            ifne 61
        52: .line 215
            aload 2 /* forX */
            checkcast org.graalvm.compiler.nodes.calc.IntegerBelowNode
            astore 7 /* xNode */
        start local 7 // org.graalvm.compiler.nodes.calc.IntegerBelowNode xNode
        53: .line 216
            aload 3 /* forY */
            checkcast org.graalvm.compiler.nodes.calc.IntegerLessThanNode
            astore 8 /* yNode */
        start local 8 // org.graalvm.compiler.nodes.calc.IntegerLessThanNode yNode
        54: .line 217
            aload 7 /* xNode */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerBelowNode.getX:()Lorg/graalvm/compiler/nodes/ValueNode;
            astore 9 /* xxNode */
        start local 9 // org.graalvm.compiler.nodes.ValueNode xxNode
        55: .line 218
            aload 8 /* yNode */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLessThanNode.getX:()Lorg/graalvm/compiler/nodes/ValueNode;
            astore 10 /* yxNode */
        start local 10 // org.graalvm.compiler.nodes.ValueNode yxNode
        56: .line 219
            aload 9 /* xxNode */
            aload 10 /* yxNode */
            if_acmpne 61
            aload 9 /* xxNode */
            aload 5 /* view */
            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 61
        57: .line 220
            aload 7 /* xNode */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerBelowNode.getY:()Lorg/graalvm/compiler/nodes/ValueNode;
            astore 11 /* xyNode */
        start local 11 // org.graalvm.compiler.nodes.ValueNode xyNode
        58: .line 221
            aload 8 /* yNode */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLessThanNode.getY:()Lorg/graalvm/compiler/nodes/ValueNode;
            astore 12 /* yyNode */
        start local 12 // org.graalvm.compiler.nodes.ValueNode yyNode
        59: .line 222
            aload 11 /* xyNode */
            aload 12 /* yyNode */
            if_acmpne 61
        60: .line 223
            aload 2 /* forX */
            areturn
        end local 12 // org.graalvm.compiler.nodes.ValueNode yyNode
        end local 11 // org.graalvm.compiler.nodes.ValueNode xyNode
        end local 10 // org.graalvm.compiler.nodes.ValueNode yxNode
        end local 9 // org.graalvm.compiler.nodes.ValueNode xxNode
        end local 8 // org.graalvm.compiler.nodes.calc.IntegerLessThanNode yNode
        end local 7 // org.graalvm.compiler.nodes.calc.IntegerBelowNode xNode
        61: .line 230
      StackMap locals:
      StackMap stack:
            aload 3 /* forY */
            instanceof org.graalvm.compiler.nodes.ShortCircuitOrNode
            ifeq 69
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isXNegated:()Z
            ifne 69
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isYNegated:()Z
            ifne 69
        62: .line 231
            aload 3 /* forY */
            checkcast org.graalvm.compiler.nodes.ShortCircuitOrNode
            astore 7 /* yNode */
        start local 7 // org.graalvm.compiler.nodes.ShortCircuitOrNode yNode
        63: .line 232
            aload 7 /* yNode */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isXNegated:()Z
            ifne 69
        64: .line 233
            aload 2 /* forX */
            aload 7 /* 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 8 /* sym */
        start local 8 // org.graalvm.compiler.nodes.LogicNode sym
        65: .line 234
            aload 8 /* sym */
            ifnull 69
        66: .line 235
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.getShortCircuitProbability:()D
            dstore 9 /* p1 */
        start local 9 // double p1
        67: .line 236
            aload 7 /* yNode */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.getShortCircuitProbability:()D
            dstore 11 /* p2 */
        start local 11 // double p2
        68: .line 237
            new org.graalvm.compiler.nodes.ShortCircuitOrNode
            dup
            aload 8 /* sym */
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isXNegated:()Z
            aload 7 /* yNode */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.getY:()Lorg/graalvm/compiler/nodes/LogicNode;
            aload 7 /* yNode */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isYNegated:()Z
            dload 9 /* p1 */
            dconst_1
            dload 9 /* p1 */
            dsub
            dload 11 /* 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 11 // double p2
        end local 9 // double p1
        end local 8 // org.graalvm.compiler.nodes.LogicNode sym
        end local 7 // org.graalvm.compiler.nodes.ShortCircuitOrNode yNode
        69: .line 242
      StackMap locals:
      StackMap stack:
            aload 2 /* forX */
            instanceof org.graalvm.compiler.nodes.calc.CompareNode
            ifeq 81
            aload 3 /* forY */
            instanceof org.graalvm.compiler.nodes.calc.CompareNode
            ifeq 81
        70: .line 243
            aload 2 /* forX */
            checkcast org.graalvm.compiler.nodes.calc.CompareNode
            astore 7 /* xCompare */
        start local 7 // org.graalvm.compiler.nodes.calc.CompareNode xCompare
        71: .line 244
            aload 3 /* forY */
            checkcast org.graalvm.compiler.nodes.calc.CompareNode
            astore 8 /* yCompare */
        start local 8 // org.graalvm.compiler.nodes.calc.CompareNode yCompare
        72: .line 246
            aload 7 /* xCompare */
            invokevirtual org.graalvm.compiler.nodes.calc.CompareNode.getX:()Lorg/graalvm/compiler/nodes/ValueNode;
            aload 8 /* yCompare */
            invokevirtual org.graalvm.compiler.nodes.calc.CompareNode.getX:()Lorg/graalvm/compiler/nodes/ValueNode;
            if_acmpeq 73
            aload 7 /* xCompare */
            invokevirtual org.graalvm.compiler.nodes.calc.CompareNode.getX:()Lorg/graalvm/compiler/nodes/ValueNode;
            aload 8 /* yCompare */
            invokevirtual org.graalvm.compiler.nodes.calc.CompareNode.getY:()Lorg/graalvm/compiler/nodes/ValueNode;
            if_acmpne 81
        73: .line 248
      StackMap locals: org.graalvm.compiler.nodes.calc.CompareNode org.graalvm.compiler.nodes.calc.CompareNode
      StackMap stack:
            aload 7 /* xCompare */
            aload 0 /* this */
            getfield org.graalvm.compiler.nodes.ShortCircuitOrNode.xNegated:Z
            ifeq 74
            iconst_0
            goto 75
      StackMap locals:
      StackMap stack: org.graalvm.compiler.nodes.calc.CompareNode
        74: 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 org.graalvm.compiler.nodes.NodeView jdk.vm.ci.meta.TriState org.graalvm.compiler.nodes.calc.CompareNode org.graalvm.compiler.nodes.calc.CompareNode
      StackMap stack: org.graalvm.compiler.nodes.calc.CompareNode int
        75: aload 7 /* xCompare */
            invokevirtual org.graalvm.compiler.nodes.calc.CompareNode.getX:()Lorg/graalvm/compiler/nodes/ValueNode;
            aload 5 /* view */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.stamp:(Lorg/graalvm/compiler/nodes/NodeView;)Lorg/graalvm/compiler/core/common/type/Stamp;
            aload 7 /* xCompare */
            invokevirtual org.graalvm.compiler.nodes.calc.CompareNode.getY:()Lorg/graalvm/compiler/nodes/ValueNode;
            aload 5 /* view */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.stamp:(Lorg/graalvm/compiler/nodes/NodeView;)Lorg/graalvm/compiler/core/common/type/Stamp;
            invokevirtual org.graalvm.compiler.nodes.calc.CompareNode.getSucceedingStampForX:(ZLorg/graalvm/compiler/core/common/type/Stamp;Lorg/graalvm/compiler/core/common/type/Stamp;)Lorg/graalvm/compiler/core/common/type/Stamp;
            astore 9 /* succeedingStampX */
        start local 9 // org.graalvm.compiler.core.common.type.Stamp succeedingStampX
        76: .line 252
            aload 9 /* succeedingStampX */
            ifnull 81
            aload 9 /* succeedingStampX */
            invokevirtual org.graalvm.compiler.core.common.type.Stamp.isUnrestricted:()Z
            ifne 81
        77: .line 253
            new org.graalvm.compiler.nodes.ShortCircuitOrNode$ProxyCanonicalizerTool
            dup
            aload 9 /* succeedingStampX */
            aload 7 /* xCompare */
            invokevirtual org.graalvm.compiler.nodes.calc.CompareNode.getX:()Lorg/graalvm/compiler/nodes/ValueNode;
            aload 1 /* tool */
            aload 5 /* view */
            invokespecial org.graalvm.compiler.nodes.ShortCircuitOrNode$ProxyCanonicalizerTool.<init>:(Lorg/graalvm/compiler/core/common/type/Stamp;Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/graph/spi/CanonicalizerTool;Lorg/graalvm/compiler/nodes/NodeView;)V
            astore 10 /* proxyTool */
        start local 10 // org.graalvm.compiler.graph.spi.CanonicalizerTool proxyTool
        78: .line 254
            aload 8 /* yCompare */
            aload 10 /* proxyTool */
            invokevirtual org.graalvm.compiler.nodes.calc.CompareNode.canonical:(Lorg/graalvm/compiler/graph/spi/CanonicalizerTool;)Lorg/graalvm/compiler/graph/Node;
            checkcast org.graalvm.compiler.nodes.ValueNode
            astore 11 /* result */
        start local 11 // org.graalvm.compiler.nodes.ValueNode result
        79: .line 255
            aload 11 /* result */
            aload 8 /* yCompare */
            if_acmpeq 81
        80: .line 256
            aload 2 /* forX */
            aload 0 /* this */
            getfield org.graalvm.compiler.nodes.ShortCircuitOrNode.xNegated:Z
            aload 11 /* result */
            checkcast org.graalvm.compiler.nodes.LogicNode
            aload 0 /* this */
            getfield org.graalvm.compiler.nodes.ShortCircuitOrNode.yNegated:Z
            aload 0 /* this */
            getfield org.graalvm.compiler.nodes.ShortCircuitOrNode.shortCircuitProbability:D
            invokestatic org.graalvm.compiler.nodes.ShortCircuitOrNode.create:(Lorg/graalvm/compiler/nodes/LogicNode;ZLorg/graalvm/compiler/nodes/LogicNode;ZD)Lorg/graalvm/compiler/nodes/LogicNode;
            areturn
        end local 11 // org.graalvm.compiler.nodes.ValueNode result
        end local 10 // org.graalvm.compiler.graph.spi.CanonicalizerTool proxyTool
        end local 9 // org.graalvm.compiler.core.common.type.Stamp succeedingStampX
        end local 8 // org.graalvm.compiler.nodes.calc.CompareNode yCompare
        end local 7 // org.graalvm.compiler.nodes.calc.CompareNode xCompare
        81: .line 262
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            areturn
        end local 6 // jdk.vm.ci.meta.TriState impliedForY
        end local 5 // org.graalvm.compiler.nodes.NodeView view
        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   82     0              this  Lorg/graalvm/compiler/nodes/ShortCircuitOrNode;
            0   82     1              tool  Lorg/graalvm/compiler/graph/spi/CanonicalizerTool;
            0   82     2              forX  Lorg/graalvm/compiler/nodes/LogicNode;
            0   82     3              forY  Lorg/graalvm/compiler/nodes/LogicNode;
            1   82     4               ret  Lorg/graalvm/compiler/nodes/ShortCircuitOrNode;
            4   82     5              view  Lorg/graalvm/compiler/nodes/NodeView;
           26   30     6             inner  Lorg/graalvm/compiler/nodes/ShortCircuitOrNode;
           32   36     6             inner  Lorg/graalvm/compiler/nodes/ShortCircuitOrNode;
           39   82     6       impliedForY  Ljdk/vm/ci/meta/TriState;
           41   47     7           yResult  Z
           49   51     7               sym  Lorg/graalvm/compiler/nodes/LogicNode;
           53   61     7             xNode  Lorg/graalvm/compiler/nodes/calc/IntegerBelowNode;
           54   61     8             yNode  Lorg/graalvm/compiler/nodes/calc/IntegerLessThanNode;
           55   61     9            xxNode  Lorg/graalvm/compiler/nodes/ValueNode;
           56   61    10            yxNode  Lorg/graalvm/compiler/nodes/ValueNode;
           58   61    11            xyNode  Lorg/graalvm/compiler/nodes/ValueNode;
           59   61    12            yyNode  Lorg/graalvm/compiler/nodes/ValueNode;
           63   69     7             yNode  Lorg/graalvm/compiler/nodes/ShortCircuitOrNode;
           65   69     8               sym  Lorg/graalvm/compiler/nodes/LogicNode;
           67   69     9                p1  D
           68   69    11                p2  D
           71   81     7          xCompare  Lorg/graalvm/compiler/nodes/calc/CompareNode;
           72   81     8          yCompare  Lorg/graalvm/compiler/nodes/calc/CompareNode;
           76   81     9  succeedingStampX  Lorg/graalvm/compiler/core/common/type/Stamp;
           78   81    10         proxyTool  Lorg/graalvm/compiler/graph/spi/CanonicalizerTool;
           79   81    11            result  Lorg/graalvm/compiler/nodes/ValueNode;
    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 334
            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 335
            aload 2 /* sym */
            ifnonnull 3
         2: .line 336
            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 338
      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 344
            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 345
            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 346
            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 347
            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 348
            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 349
            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 350
            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 351
            aload 6 /* stamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.isPositive:()Z
            ifeq 11
         8: .line 352
            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 353
            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 354
            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 360
      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 365
            iload 3 /* matchIsInnerX */
            ifeq 3
         1: .line 366
            aload 0 /* inner */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isXNegated:()Z
            istore 4 /* innerMatchNegated */
        start local 4 // boolean innerMatchNegated
         2: .line 367
            goto 4
        end local 4 // boolean innerMatchNegated
         3: .line 368
      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 370
      StackMap locals: int
      StackMap stack:
            iload 1 /* innerNegated */
            ifne 8
         5: .line 377
            iload 4 /* innerMatchNegated */
            iload 2 /* matchNegated */
            if_icmpne 7
         6: .line 383
            aload 0 /* inner */
            areturn
         7: .line 390
      StackMap locals:
      StackMap stack:
            invokestatic org.graalvm.compiler.nodes.LogicConstantNode.tautology:()Lorg/graalvm/compiler/nodes/LogicConstantNode;
            areturn
         8: .line 393
      StackMap locals:
      StackMap stack:
            iload 4 /* innerMatchNegated */
            iload 2 /* matchNegated */
            if_icmpne 22
         9: .line 398
            aload 0 /* inner */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isXNegated:()Z
            istore 5 /* newInnerXNegated */
        start local 5 // boolean newInnerXNegated
        10: .line 399
            aload 0 /* inner */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.isYNegated:()Z
            istore 6 /* newInnerYNegated */
        start local 6 // boolean newInnerYNegated
        11: .line 400
            aload 0 /* inner */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.getShortCircuitProbability:()D
            dstore 7 /* newProbability */
        start local 7 // double newProbability
        12: .line 401
            iload 3 /* matchIsInnerX */
            ifeq 17
        13: .line 402
            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 403
            goto 21
        17: .line 404
      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 405
            dconst_1
            dload 7 /* newProbability */
            dsub
            dstore 7 /* newProbability */
        21: .line 408
      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 414
      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 415
            iload 3 /* matchIsInnerX */
            ifeq 25
        24: .line 416
            aload 0 /* inner */
            invokevirtual org.graalvm.compiler.nodes.ShortCircuitOrNode.getX:()Lorg/graalvm/compiler/nodes/LogicNode;
            astore 5 /* result */
        25: .line 419
      StackMap locals: org.graalvm.compiler.nodes.LogicNode
      StackMap stack:
            iload 2 /* matchNegated */
            ifeq 27
        26: .line 420
            aload 5 /* result */
            invokestatic org.graalvm.compiler.nodes.LogicNegationNode.create:(Lorg/graalvm/compiler/nodes/LogicNode;)Lorg/graalvm/compiler/nodes/LogicNode;
            areturn
        27: .line 422
      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"
NestMembers:
  org.graalvm.compiler.nodes.ShortCircuitOrNode$ProxyCanonicalizerTool
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
  private ProxyCanonicalizerTool = org.graalvm.compiler.nodes.ShortCircuitOrNode$ProxyCanonicalizerTool of org.graalvm.compiler.nodes.ShortCircuitOrNode
    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/ 15/ jdk.internal.vm.compiler/org/graalvm/compiler/nodes/ShortCircuitOrNode.class
