java/9 : jdk.internal.vm.compiler/org/graalvm/compiler/nodes/calc/IntegerBelowNode.class

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

  static final boolean $assertionsDisabled;
    descriptor: Z
    flags: (0x1018) ACC_STATIC, ACC_FINAL, ACC_SYNTHETIC

  static void <clinit>();
    descriptor: ()V
    flags: (0x0008) ACC_STATIC
    Code:
      stack=1, locals=0, args_size=0
         0: .line 43
            ldc Lorg/graalvm/compiler/nodes/calc/IntegerBelowNode;
            invokevirtual java.lang.Class.desiredAssertionStatus:()Z
            ifne 1
            iconst_1
            goto 2
      StackMap locals:
      StackMap stack:
         1: iconst_0
      StackMap locals:
      StackMap stack: int
         2: putstatic org.graalvm.compiler.nodes.calc.IntegerBelowNode.$assertionsDisabled:Z
         3: .line 44
            ldc Lorg/graalvm/compiler/nodes/calc/IntegerBelowNode;
            invokestatic org.graalvm.compiler.graph.NodeClass.create:(Ljava/lang/Class;)Lorg/graalvm/compiler/graph/NodeClass;
            putstatic org.graalvm.compiler.nodes.calc.IntegerBelowNode.TYPE:Lorg/graalvm/compiler/graph/NodeClass;
            return
      LocalVariableTable:
        Start  End  Slot  Name  Signature

  public void <init>(org.graalvm.compiler.nodes.ValueNode, org.graalvm.compiler.nodes.ValueNode);
    descriptor: (Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;)V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=6, locals=3, args_size=3
        start local 0 // org.graalvm.compiler.nodes.calc.IntegerBelowNode this
        start local 1 // org.graalvm.compiler.nodes.ValueNode x
        start local 2 // org.graalvm.compiler.nodes.ValueNode y
         0: .line 47
            aload 0 /* this */
            getstatic org.graalvm.compiler.nodes.calc.IntegerBelowNode.TYPE:Lorg/graalvm/compiler/graph/NodeClass;
            getstatic org.graalvm.compiler.core.common.calc.Condition.BT:Lorg/graalvm/compiler/core/common/calc/Condition;
            iconst_0
            aload 1 /* x */
            aload 2 /* y */
            invokespecial org.graalvm.compiler.nodes.calc.CompareNode.<init>:(Lorg/graalvm/compiler/graph/NodeClass;Lorg/graalvm/compiler/core/common/calc/Condition;ZLorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;)V
         1: .line 48
            getstatic org.graalvm.compiler.nodes.calc.IntegerBelowNode.$assertionsDisabled:Z
            ifne 2
            aload 1 /* x */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.stamp:()Lorg/graalvm/compiler/core/common/type/Stamp;
            instanceof org.graalvm.compiler.core.common.type.IntegerStamp
            ifne 2
            new java.lang.AssertionError
            dup
            invokespecial java.lang.AssertionError.<init>:()V
            athrow
         2: .line 49
      StackMap locals: org.graalvm.compiler.nodes.calc.IntegerBelowNode org.graalvm.compiler.nodes.ValueNode org.graalvm.compiler.nodes.ValueNode
      StackMap stack:
            getstatic org.graalvm.compiler.nodes.calc.IntegerBelowNode.$assertionsDisabled:Z
            ifne 3
            aload 2 /* y */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.stamp:()Lorg/graalvm/compiler/core/common/type/Stamp;
            instanceof org.graalvm.compiler.core.common.type.IntegerStamp
            ifne 3
            new java.lang.AssertionError
            dup
            invokespecial java.lang.AssertionError.<init>:()V
            athrow
         3: .line 50
      StackMap locals:
      StackMap stack:
            return
        end local 2 // org.graalvm.compiler.nodes.ValueNode y
        end local 1 // org.graalvm.compiler.nodes.ValueNode x
        end local 0 // org.graalvm.compiler.nodes.calc.IntegerBelowNode this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    4     0  this  Lorg/graalvm/compiler/nodes/calc/IntegerBelowNode;
            0    4     1     x  Lorg/graalvm/compiler/nodes/ValueNode;
            0    4     2     y  Lorg/graalvm/compiler/nodes/ValueNode;
    MethodParameters:
      Name  Flags
      x     
      y     

  public static org.graalvm.compiler.nodes.LogicNode create(org.graalvm.compiler.nodes.ValueNode, org.graalvm.compiler.nodes.ValueNode, jdk.vm.ci.meta.ConstantReflectionProvider);
    descriptor: (Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;Ljdk/vm/ci/meta/ConstantReflectionProvider;)Lorg/graalvm/compiler/nodes/LogicNode;
    flags: (0x0009) ACC_PUBLIC, ACC_STATIC
    Code:
      stack=5, locals=4, args_size=3
        start local 0 // org.graalvm.compiler.nodes.ValueNode x
        start local 1 // org.graalvm.compiler.nodes.ValueNode y
        start local 2 // jdk.vm.ci.meta.ConstantReflectionProvider constantReflection
         0: .line 53
            getstatic org.graalvm.compiler.core.common.calc.Condition.BT:Lorg/graalvm/compiler/core/common/calc/Condition;
            aload 0 /* x */
            aload 1 /* y */
            aload 2 /* constantReflection */
            iconst_0
            invokestatic org.graalvm.compiler.nodes.calc.CompareNode.tryConstantFold:(Lorg/graalvm/compiler/core/common/calc/Condition;Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;Ljdk/vm/ci/meta/ConstantReflectionProvider;Z)Lorg/graalvm/compiler/nodes/LogicNode;
            astore 3 /* result */
        start local 3 // org.graalvm.compiler.nodes.LogicNode result
         1: .line 54
            aload 3 /* result */
            ifnull 3
         2: .line 55
            aload 3 /* result */
            areturn
         3: .line 57
      StackMap locals: org.graalvm.compiler.nodes.LogicNode
      StackMap stack:
            aload 0 /* x */
            aload 1 /* y */
            invokestatic org.graalvm.compiler.nodes.calc.IntegerBelowNode.findSynonym:(Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;)Lorg/graalvm/compiler/nodes/LogicNode;
            astore 3 /* result */
         4: .line 58
            aload 3 /* result */
            ifnull 6
         5: .line 59
            aload 3 /* result */
            areturn
         6: .line 61
      StackMap locals:
      StackMap stack:
            new org.graalvm.compiler.nodes.calc.IntegerBelowNode
            dup
            aload 0 /* x */
            aload 1 /* y */
            invokespecial org.graalvm.compiler.nodes.calc.IntegerBelowNode.<init>:(Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;)V
            areturn
        end local 3 // org.graalvm.compiler.nodes.LogicNode result
        end local 2 // jdk.vm.ci.meta.ConstantReflectionProvider constantReflection
        end local 1 // org.graalvm.compiler.nodes.ValueNode y
        end local 0 // org.graalvm.compiler.nodes.ValueNode x
      LocalVariableTable:
        Start  End  Slot                Name  Signature
            0    7     0                   x  Lorg/graalvm/compiler/nodes/ValueNode;
            0    7     1                   y  Lorg/graalvm/compiler/nodes/ValueNode;
            0    7     2  constantReflection  Ljdk/vm/ci/meta/ConstantReflectionProvider;
            1    7     3              result  Lorg/graalvm/compiler/nodes/LogicNode;
    MethodParameters:
                    Name  Flags
      x                   
      y                   
      constantReflection  

  public org.graalvm.compiler.nodes.ValueNode canonical(org.graalvm.compiler.graph.spi.CanonicalizerTool, org.graalvm.compiler.nodes.ValueNode, org.graalvm.compiler.nodes.ValueNode);
    descriptor: (Lorg/graalvm/compiler/graph/spi/CanonicalizerTool;Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;)Lorg/graalvm/compiler/nodes/ValueNode;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=4, locals=6, args_size=4
        start local 0 // org.graalvm.compiler.nodes.calc.IntegerBelowNode this
        start local 1 // org.graalvm.compiler.graph.spi.CanonicalizerTool tool
        start local 2 // org.graalvm.compiler.nodes.ValueNode forX
        start local 3 // org.graalvm.compiler.nodes.ValueNode forY
         0: .line 67
            aload 0 /* this */
            aload 1 /* tool */
            aload 2 /* forX */
            aload 3 /* forY */
            invokespecial org.graalvm.compiler.nodes.calc.CompareNode.canonical:(Lorg/graalvm/compiler/graph/spi/CanonicalizerTool;Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;)Lorg/graalvm/compiler/nodes/ValueNode;
            astore 4 /* result */
        start local 4 // org.graalvm.compiler.nodes.ValueNode result
         1: .line 68
            aload 4 /* result */
            aload 0 /* this */
            if_acmpeq 3
         2: .line 69
            aload 4 /* result */
            areturn
         3: .line 71
      StackMap locals: org.graalvm.compiler.nodes.ValueNode
      StackMap stack:
            aload 2 /* forX */
            aload 3 /* forY */
            invokestatic org.graalvm.compiler.nodes.calc.IntegerBelowNode.findSynonym:(Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;)Lorg/graalvm/compiler/nodes/LogicNode;
            astore 5 /* synonym */
        start local 5 // org.graalvm.compiler.nodes.LogicNode synonym
         4: .line 72
            aload 5 /* synonym */
            ifnull 6
         5: .line 73
            aload 5 /* synonym */
            areturn
         6: .line 75
      StackMap locals: org.graalvm.compiler.nodes.LogicNode
      StackMap stack:
            aload 2 /* forX */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.isConstant:()Z
            ifeq 8
            aload 2 /* forX */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.asJavaConstant:()Ljdk/vm/ci/meta/JavaConstant;
            invokeinterface jdk.vm.ci.meta.JavaConstant.asLong:()J
            lconst_0
            lcmp
            ifne 8
         7: .line 77
            getstatic org.graalvm.compiler.core.common.calc.Condition.EQ:Lorg/graalvm/compiler/core/common/calc/Condition;
            aload 2 /* forX */
            aload 3 /* forY */
            aload 1 /* tool */
            invokeinterface org.graalvm.compiler.graph.spi.CanonicalizerTool.getConstantReflection:()Ljdk/vm/ci/meta/ConstantReflectionProvider;
            invokestatic org.graalvm.compiler.nodes.calc.CompareNode.createCompareNode:(Lorg/graalvm/compiler/core/common/calc/Condition;Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;Ljdk/vm/ci/meta/ConstantReflectionProvider;)Lorg/graalvm/compiler/nodes/LogicNode;
            invokestatic org.graalvm.compiler.nodes.LogicNegationNode.create:(Lorg/graalvm/compiler/nodes/LogicNode;)Lorg/graalvm/compiler/nodes/LogicNode;
            areturn
         8: .line 79
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            areturn
        end local 5 // org.graalvm.compiler.nodes.LogicNode synonym
        end local 4 // org.graalvm.compiler.nodes.ValueNode result
        end local 3 // org.graalvm.compiler.nodes.ValueNode forY
        end local 2 // org.graalvm.compiler.nodes.ValueNode forX
        end local 1 // org.graalvm.compiler.graph.spi.CanonicalizerTool tool
        end local 0 // org.graalvm.compiler.nodes.calc.IntegerBelowNode this
      LocalVariableTable:
        Start  End  Slot     Name  Signature
            0    9     0     this  Lorg/graalvm/compiler/nodes/calc/IntegerBelowNode;
            0    9     1     tool  Lorg/graalvm/compiler/graph/spi/CanonicalizerTool;
            0    9     2     forX  Lorg/graalvm/compiler/nodes/ValueNode;
            0    9     3     forY  Lorg/graalvm/compiler/nodes/ValueNode;
            1    9     4   result  Lorg/graalvm/compiler/nodes/ValueNode;
            4    9     5  synonym  Lorg/graalvm/compiler/nodes/LogicNode;
    MethodParameters:
      Name  Flags
      tool  
      forX  
      forY  

  private static org.graalvm.compiler.nodes.LogicNode findSynonym(org.graalvm.compiler.nodes.ValueNode, org.graalvm.compiler.nodes.ValueNode);
    descriptor: (Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;)Lorg/graalvm/compiler/nodes/LogicNode;
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=4, locals=4, args_size=2
        start local 0 // org.graalvm.compiler.nodes.ValueNode forX
        start local 1 // org.graalvm.compiler.nodes.ValueNode forY
         0: .line 83
            aload 0 /* forX */
            invokestatic org.graalvm.compiler.nodes.util.GraphUtil.unproxify:(Lorg/graalvm/compiler/nodes/ValueNode;)Lorg/graalvm/compiler/nodes/ValueNode;
            aload 1 /* forY */
            invokestatic org.graalvm.compiler.nodes.util.GraphUtil.unproxify:(Lorg/graalvm/compiler/nodes/ValueNode;)Lorg/graalvm/compiler/nodes/ValueNode;
            if_acmpne 2
         1: .line 84
            invokestatic org.graalvm.compiler.nodes.LogicConstantNode.contradiction:()Lorg/graalvm/compiler/nodes/LogicConstantNode;
            areturn
         2: .line 85
      StackMap locals:
      StackMap stack:
            aload 0 /* forX */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.stamp:()Lorg/graalvm/compiler/core/common/type/Stamp;
            instanceof org.graalvm.compiler.core.common.type.IntegerStamp
            ifeq 10
            aload 1 /* forY */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.stamp:()Lorg/graalvm/compiler/core/common/type/Stamp;
            instanceof org.graalvm.compiler.core.common.type.IntegerStamp
            ifeq 10
         3: .line 86
            aload 0 /* forX */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.stamp:()Lorg/graalvm/compiler/core/common/type/Stamp;
            checkcast org.graalvm.compiler.core.common.type.IntegerStamp
            astore 2 /* xStamp */
        start local 2 // org.graalvm.compiler.core.common.type.IntegerStamp xStamp
         4: .line 87
            aload 1 /* forY */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.stamp:()Lorg/graalvm/compiler/core/common/type/Stamp;
            checkcast org.graalvm.compiler.core.common.type.IntegerStamp
            astore 3 /* yStamp */
        start local 3 // org.graalvm.compiler.core.common.type.IntegerStamp yStamp
         5: .line 88
            aload 3 /* yStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.isPositive:()Z
            ifeq 10
         6: .line 89
            aload 2 /* xStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.isPositive:()Z
            ifeq 8
            aload 2 /* xStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.upperBound:()J
            aload 3 /* yStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.lowerBound:()J
            lcmp
            ifge 8
         7: .line 90
            invokestatic org.graalvm.compiler.nodes.LogicConstantNode.tautology:()Lorg/graalvm/compiler/nodes/LogicConstantNode;
            areturn
         8: .line 91
      StackMap locals: org.graalvm.compiler.core.common.type.IntegerStamp org.graalvm.compiler.core.common.type.IntegerStamp
      StackMap stack:
            aload 2 /* xStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.isStrictlyNegative:()Z
            ifne 9
            aload 2 /* xStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.lowerBound:()J
            aload 3 /* yStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.upperBound:()J
            lcmp
            iflt 10
         9: .line 92
      StackMap locals:
      StackMap stack:
            invokestatic org.graalvm.compiler.nodes.LogicConstantNode.contradiction:()Lorg/graalvm/compiler/nodes/LogicConstantNode;
            areturn
        end local 3 // org.graalvm.compiler.core.common.type.IntegerStamp yStamp
        end local 2 // org.graalvm.compiler.core.common.type.IntegerStamp xStamp
        10: .line 96
      StackMap locals:
      StackMap stack:
            aconst_null
            areturn
        end local 1 // org.graalvm.compiler.nodes.ValueNode forY
        end local 0 // org.graalvm.compiler.nodes.ValueNode forX
      LocalVariableTable:
        Start  End  Slot    Name  Signature
            0   11     0    forX  Lorg/graalvm/compiler/nodes/ValueNode;
            0   11     1    forY  Lorg/graalvm/compiler/nodes/ValueNode;
            4   10     2  xStamp  Lorg/graalvm/compiler/core/common/type/IntegerStamp;
            5   10     3  yStamp  Lorg/graalvm/compiler/core/common/type/IntegerStamp;
    MethodParameters:
      Name  Flags
      forX  
      forY  

  protected org.graalvm.compiler.nodes.calc.CompareNode duplicateModified(org.graalvm.compiler.nodes.ValueNode, org.graalvm.compiler.nodes.ValueNode);
    descriptor: (Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;)Lorg/graalvm/compiler/nodes/calc/CompareNode;
    flags: (0x0004) ACC_PROTECTED
    Code:
      stack=4, locals=3, args_size=3
        start local 0 // org.graalvm.compiler.nodes.calc.IntegerBelowNode this
        start local 1 // org.graalvm.compiler.nodes.ValueNode newX
        start local 2 // org.graalvm.compiler.nodes.ValueNode newY
         0: .line 101
            new org.graalvm.compiler.nodes.calc.IntegerBelowNode
            dup
            aload 1 /* newX */
            aload 2 /* newY */
            invokespecial org.graalvm.compiler.nodes.calc.IntegerBelowNode.<init>:(Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;)V
            areturn
        end local 2 // org.graalvm.compiler.nodes.ValueNode newY
        end local 1 // org.graalvm.compiler.nodes.ValueNode newX
        end local 0 // org.graalvm.compiler.nodes.calc.IntegerBelowNode this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lorg/graalvm/compiler/nodes/calc/IntegerBelowNode;
            0    1     1  newX  Lorg/graalvm/compiler/nodes/ValueNode;
            0    1     2  newY  Lorg/graalvm/compiler/nodes/ValueNode;
    MethodParameters:
      Name  Flags
      newX  
      newY  

  public org.graalvm.compiler.core.common.type.Stamp getSucceedingStampForX(boolean);
    descriptor: (Z)Lorg/graalvm/compiler/core/common/type/Stamp;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=9, locals=11, args_size=2
        start local 0 // org.graalvm.compiler.nodes.calc.IntegerBelowNode this
        start local 1 // boolean negated
         0: .line 106
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerBelowNode.getX:()Lorg/graalvm/compiler/nodes/ValueNode;
            invokevirtual org.graalvm.compiler.nodes.ValueNode.stamp:()Lorg/graalvm/compiler/core/common/type/Stamp;
            astore 2 /* xStampGeneric */
        start local 2 // org.graalvm.compiler.core.common.type.Stamp xStampGeneric
         1: .line 107
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerBelowNode.getY:()Lorg/graalvm/compiler/nodes/ValueNode;
            invokevirtual org.graalvm.compiler.nodes.ValueNode.stamp:()Lorg/graalvm/compiler/core/common/type/Stamp;
            astore 3 /* yStampGeneric */
        start local 3 // org.graalvm.compiler.core.common.type.Stamp yStampGeneric
         2: .line 108
            aload 2 /* xStampGeneric */
            instanceof org.graalvm.compiler.core.common.type.IntegerStamp
            ifeq 19
         3: .line 109
            aload 2 /* xStampGeneric */
            checkcast org.graalvm.compiler.core.common.type.IntegerStamp
            astore 4 /* xStamp */
        start local 4 // org.graalvm.compiler.core.common.type.IntegerStamp xStamp
         4: .line 110
            aload 4 /* xStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.getBits:()I
            istore 5 /* bits */
        start local 5 // int bits
         5: .line 111
            aload 3 /* yStampGeneric */
            instanceof org.graalvm.compiler.core.common.type.IntegerStamp
            ifeq 19
         6: .line 112
            aload 3 /* yStampGeneric */
            checkcast org.graalvm.compiler.core.common.type.IntegerStamp
            astore 6 /* yStamp */
        start local 6 // org.graalvm.compiler.core.common.type.IntegerStamp yStamp
         7: .line 113
            getstatic org.graalvm.compiler.nodes.calc.IntegerBelowNode.$assertionsDisabled:Z
            ifne 8
            aload 6 /* yStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.getBits:()I
            iload 5 /* bits */
            if_icmpeq 8
            new java.lang.AssertionError
            dup
            invokespecial java.lang.AssertionError.<init>:()V
            athrow
         8: .line 114
      StackMap locals: org.graalvm.compiler.nodes.calc.IntegerBelowNode int org.graalvm.compiler.core.common.type.Stamp org.graalvm.compiler.core.common.type.Stamp org.graalvm.compiler.core.common.type.IntegerStamp int org.graalvm.compiler.core.common.type.IntegerStamp
      StackMap stack:
            iload 1 /* negated */
            ifeq 14
         9: .line 116
            aload 4 /* xStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.isPositive:()Z
            ifeq 19
            aload 6 /* yStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.isPositive:()Z
            ifeq 19
        10: .line 117
            aload 4 /* xStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.lowerBound:()J
            lstore 7 /* xLowerBound */
        start local 7 // long xLowerBound
        11: .line 118
            aload 6 /* yStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.lowerBound:()J
            lstore 9 /* yLowerBound */
        start local 9 // long yLowerBound
        12: .line 119
            lload 9 /* yLowerBound */
            lload 7 /* xLowerBound */
            lcmp
            ifle 19
        13: .line 120
            iload 5 /* bits */
            lload 9 /* yLowerBound */
            aload 4 /* xStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.upperBound:()J
            aload 4 /* xStamp */
            invokestatic org.graalvm.compiler.core.common.type.StampFactory.forIntegerWithMask:(IJJLorg/graalvm/compiler/core/common/type/IntegerStamp;)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
            areturn
        end local 9 // long yLowerBound
        end local 7 // long xLowerBound
        14: .line 125
      StackMap locals:
      StackMap stack:
            aload 6 /* yStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.isStrictlyPositive:()Z
            ifeq 19
        15: .line 127
            aload 4 /* xStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.upperBound:()J
            lstore 7 /* xUpperBound */
        start local 7 // long xUpperBound
        16: .line 128
            aload 6 /* yStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.upperBound:()J
            lstore 9 /* yUpperBound */
        start local 9 // long yUpperBound
        17: .line 129
            lload 9 /* yUpperBound */
            lload 7 /* xUpperBound */
            lcmp
            ifle 18
            aload 4 /* xStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.isPositive:()Z
            ifne 19
        18: .line 130
      StackMap locals: long long
      StackMap stack:
            iload 5 /* bits */
            lconst_0
            aload 4 /* xStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.lowerBound:()J
            invokestatic java.lang.Math.max:(JJ)J
            lload 7 /* xUpperBound */
            lload 9 /* yUpperBound */
            lconst_1
            lsub
            invokestatic java.lang.Math.min:(JJ)J
            aload 4 /* xStamp */
            invokestatic org.graalvm.compiler.core.common.type.StampFactory.forIntegerWithMask:(IJJLorg/graalvm/compiler/core/common/type/IntegerStamp;)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
            areturn
        end local 9 // long yUpperBound
        end local 7 // long xUpperBound
        end local 6 // org.graalvm.compiler.core.common.type.IntegerStamp yStamp
        end local 5 // int bits
        end local 4 // org.graalvm.compiler.core.common.type.IntegerStamp xStamp
        19: .line 136
      StackMap locals: org.graalvm.compiler.nodes.calc.IntegerBelowNode int org.graalvm.compiler.core.common.type.Stamp org.graalvm.compiler.core.common.type.Stamp
      StackMap stack:
            aconst_null
            areturn
        end local 3 // org.graalvm.compiler.core.common.type.Stamp yStampGeneric
        end local 2 // org.graalvm.compiler.core.common.type.Stamp xStampGeneric
        end local 1 // boolean negated
        end local 0 // org.graalvm.compiler.nodes.calc.IntegerBelowNode this
      LocalVariableTable:
        Start  End  Slot           Name  Signature
            0   20     0           this  Lorg/graalvm/compiler/nodes/calc/IntegerBelowNode;
            0   20     1        negated  Z
            1   20     2  xStampGeneric  Lorg/graalvm/compiler/core/common/type/Stamp;
            2   20     3  yStampGeneric  Lorg/graalvm/compiler/core/common/type/Stamp;
            4   19     4         xStamp  Lorg/graalvm/compiler/core/common/type/IntegerStamp;
            5   19     5           bits  I
            7   19     6         yStamp  Lorg/graalvm/compiler/core/common/type/IntegerStamp;
           11   14     7    xLowerBound  J
           12   14     9    yLowerBound  J
           16   19     7    xUpperBound  J
           17   19     9    yUpperBound  J
    MethodParameters:
         Name  Flags
      negated  

  public org.graalvm.compiler.core.common.type.Stamp getSucceedingStampForY(boolean);
    descriptor: (Z)Lorg/graalvm/compiler/core/common/type/Stamp;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=7, locals=11, args_size=2
        start local 0 // org.graalvm.compiler.nodes.calc.IntegerBelowNode this
        start local 1 // boolean negated
         0: .line 141
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerBelowNode.getX:()Lorg/graalvm/compiler/nodes/ValueNode;
            invokevirtual org.graalvm.compiler.nodes.ValueNode.stamp:()Lorg/graalvm/compiler/core/common/type/Stamp;
            astore 2 /* xStampGeneric */
        start local 2 // org.graalvm.compiler.core.common.type.Stamp xStampGeneric
         1: .line 142
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerBelowNode.getY:()Lorg/graalvm/compiler/nodes/ValueNode;
            invokevirtual org.graalvm.compiler.nodes.ValueNode.stamp:()Lorg/graalvm/compiler/core/common/type/Stamp;
            astore 3 /* yStampGeneric */
        start local 3 // org.graalvm.compiler.core.common.type.Stamp yStampGeneric
         2: .line 143
            aload 2 /* xStampGeneric */
            instanceof org.graalvm.compiler.core.common.type.IntegerStamp
            ifeq 22
         3: .line 144
            aload 2 /* xStampGeneric */
            checkcast org.graalvm.compiler.core.common.type.IntegerStamp
            astore 4 /* xStamp */
        start local 4 // org.graalvm.compiler.core.common.type.IntegerStamp xStamp
         4: .line 145
            aload 4 /* xStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.getBits:()I
            istore 5 /* bits */
        start local 5 // int bits
         5: .line 146
            aload 3 /* yStampGeneric */
            instanceof org.graalvm.compiler.core.common.type.IntegerStamp
            ifeq 22
         6: .line 147
            aload 3 /* yStampGeneric */
            checkcast org.graalvm.compiler.core.common.type.IntegerStamp
            astore 6 /* yStamp */
        start local 6 // org.graalvm.compiler.core.common.type.IntegerStamp yStamp
         7: .line 148
            getstatic org.graalvm.compiler.nodes.calc.IntegerBelowNode.$assertionsDisabled:Z
            ifne 8
            aload 6 /* yStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.getBits:()I
            iload 5 /* bits */
            if_icmpeq 8
            new java.lang.AssertionError
            dup
            invokespecial java.lang.AssertionError.<init>:()V
            athrow
         8: .line 149
      StackMap locals: org.graalvm.compiler.nodes.calc.IntegerBelowNode int org.graalvm.compiler.core.common.type.Stamp org.graalvm.compiler.core.common.type.Stamp org.graalvm.compiler.core.common.type.IntegerStamp int org.graalvm.compiler.core.common.type.IntegerStamp
      StackMap stack:
            iload 1 /* negated */
            ifeq 14
         9: .line 151
            aload 4 /* xStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.isPositive:()Z
            ifeq 22
        10: .line 152
            aload 4 /* xStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.upperBound:()J
            lstore 7 /* xUpperBound */
        start local 7 // long xUpperBound
        11: .line 153
            aload 6 /* yStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.upperBound:()J
            lstore 9 /* yUpperBound */
        start local 9 // long yUpperBound
        12: .line 154
            lload 7 /* xUpperBound */
            lload 9 /* yUpperBound */
            lcmp
            iflt 13
            aload 6 /* yStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.isPositive:()Z
            ifne 22
        13: .line 155
      StackMap locals: long long
      StackMap stack:
            iload 5 /* bits */
            lconst_0
            aload 6 /* yStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.lowerBound:()J
            invokestatic java.lang.Math.max:(JJ)J
            lload 7 /* xUpperBound */
            lload 9 /* yUpperBound */
            invokestatic java.lang.Math.min:(JJ)J
            aload 6 /* yStamp */
            invokestatic org.graalvm.compiler.core.common.type.StampFactory.forIntegerWithMask:(IJJLorg/graalvm/compiler/core/common/type/IntegerStamp;)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
            areturn
        end local 9 // long yUpperBound
        end local 7 // long xUpperBound
        14: .line 160
      StackMap locals:
      StackMap stack:
            aload 4 /* xStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.isPositive:()Z
            ifeq 22
            aload 6 /* yStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.isPositive:()Z
            ifeq 22
        15: .line 161
            aload 4 /* xStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.lowerBound:()J
            lstore 7 /* xLowerBound */
        start local 7 // long xLowerBound
        16: .line 162
            aload 6 /* yStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.lowerBound:()J
            lstore 9 /* yLowerBound */
        start local 9 // long yLowerBound
        17: .line 163
            lload 7 /* xLowerBound */
            iload 5 /* bits */
            invokestatic jdk.vm.ci.code.CodeUtil.maxValue:(I)J
            lcmp
            ifne 19
        18: .line 164
            aconst_null
            areturn
        19: .line 165
      StackMap locals: long long
      StackMap stack:
            lload 7 /* xLowerBound */
            lload 9 /* yLowerBound */
            lcmp
            iflt 22
        20: .line 166
            getstatic org.graalvm.compiler.nodes.calc.IntegerBelowNode.$assertionsDisabled:Z
            ifne 21
            lload 7 /* xLowerBound */
            iload 5 /* bits */
            invokestatic jdk.vm.ci.code.CodeUtil.maxValue:(I)J
            lcmp
            ifne 21
            new java.lang.AssertionError
            dup
            invokespecial java.lang.AssertionError.<init>:()V
            athrow
        21: .line 167
      StackMap locals:
      StackMap stack:
            iload 5 /* bits */
            lload 7 /* xLowerBound */
            lconst_1
            ladd
            aload 6 /* yStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.upperBound:()J
            aload 6 /* yStamp */
            invokestatic org.graalvm.compiler.core.common.type.StampFactory.forIntegerWithMask:(IJJLorg/graalvm/compiler/core/common/type/IntegerStamp;)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
            areturn
        end local 9 // long yLowerBound
        end local 7 // long xLowerBound
        end local 6 // org.graalvm.compiler.core.common.type.IntegerStamp yStamp
        end local 5 // int bits
        end local 4 // org.graalvm.compiler.core.common.type.IntegerStamp xStamp
        22: .line 173
      StackMap locals: org.graalvm.compiler.nodes.calc.IntegerBelowNode int org.graalvm.compiler.core.common.type.Stamp org.graalvm.compiler.core.common.type.Stamp
      StackMap stack:
            aconst_null
            areturn
        end local 3 // org.graalvm.compiler.core.common.type.Stamp yStampGeneric
        end local 2 // org.graalvm.compiler.core.common.type.Stamp xStampGeneric
        end local 1 // boolean negated
        end local 0 // org.graalvm.compiler.nodes.calc.IntegerBelowNode this
      LocalVariableTable:
        Start  End  Slot           Name  Signature
            0   23     0           this  Lorg/graalvm/compiler/nodes/calc/IntegerBelowNode;
            0   23     1        negated  Z
            1   23     2  xStampGeneric  Lorg/graalvm/compiler/core/common/type/Stamp;
            2   23     3  yStampGeneric  Lorg/graalvm/compiler/core/common/type/Stamp;
            4   22     4         xStamp  Lorg/graalvm/compiler/core/common/type/IntegerStamp;
            5   22     5           bits  I
            7   22     6         yStamp  Lorg/graalvm/compiler/core/common/type/IntegerStamp;
           11   14     7    xUpperBound  J
           12   14     9    yUpperBound  J
           16   22     7    xLowerBound  J
           17   22     9    yLowerBound  J
    MethodParameters:
         Name  Flags
      negated  

  public jdk.vm.ci.meta.TriState tryFold(org.graalvm.compiler.core.common.type.Stamp, org.graalvm.compiler.core.common.type.Stamp);
    descriptor: (Lorg/graalvm/compiler/core/common/type/Stamp;Lorg/graalvm/compiler/core/common/type/Stamp;)Ljdk/vm/ci/meta/TriState;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=4, locals=5, args_size=3
        start local 0 // org.graalvm.compiler.nodes.calc.IntegerBelowNode this
        start local 1 // org.graalvm.compiler.core.common.type.Stamp xStampGeneric
        start local 2 // org.graalvm.compiler.core.common.type.Stamp yStampGeneric
         0: .line 178
            aload 1 /* xStampGeneric */
            instanceof org.graalvm.compiler.core.common.type.IntegerStamp
            ifeq 9
         1: .line 179
            aload 1 /* xStampGeneric */
            checkcast org.graalvm.compiler.core.common.type.IntegerStamp
            astore 3 /* xStamp */
        start local 3 // org.graalvm.compiler.core.common.type.IntegerStamp xStamp
         2: .line 180
            aload 2 /* yStampGeneric */
            instanceof org.graalvm.compiler.core.common.type.IntegerStamp
            ifeq 9
         3: .line 181
            aload 2 /* yStampGeneric */
            checkcast org.graalvm.compiler.core.common.type.IntegerStamp
            astore 4 /* yStamp */
        start local 4 // org.graalvm.compiler.core.common.type.IntegerStamp yStamp
         4: .line 182
            aload 4 /* yStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.isPositive:()Z
            ifeq 9
         5: .line 183
            aload 3 /* xStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.isPositive:()Z
            ifeq 7
            aload 3 /* xStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.upperBound:()J
            aload 4 /* yStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.lowerBound:()J
            lcmp
            ifge 7
         6: .line 184
            getstatic jdk.vm.ci.meta.TriState.TRUE:Ljdk/vm/ci/meta/TriState;
            areturn
         7: .line 185
      StackMap locals: org.graalvm.compiler.core.common.type.IntegerStamp org.graalvm.compiler.core.common.type.IntegerStamp
      StackMap stack:
            aload 3 /* xStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.isStrictlyNegative:()Z
            ifne 8
            aload 3 /* xStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.lowerBound:()J
            aload 4 /* yStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.upperBound:()J
            lcmp
            iflt 9
         8: .line 186
      StackMap locals:
      StackMap stack:
            getstatic jdk.vm.ci.meta.TriState.FALSE:Ljdk/vm/ci/meta/TriState;
            areturn
        end local 4 // org.graalvm.compiler.core.common.type.IntegerStamp yStamp
        end local 3 // org.graalvm.compiler.core.common.type.IntegerStamp xStamp
         9: .line 191
      StackMap locals:
      StackMap stack:
            getstatic jdk.vm.ci.meta.TriState.UNKNOWN:Ljdk/vm/ci/meta/TriState;
            areturn
        end local 2 // org.graalvm.compiler.core.common.type.Stamp yStampGeneric
        end local 1 // org.graalvm.compiler.core.common.type.Stamp xStampGeneric
        end local 0 // org.graalvm.compiler.nodes.calc.IntegerBelowNode this
      LocalVariableTable:
        Start  End  Slot           Name  Signature
            0   10     0           this  Lorg/graalvm/compiler/nodes/calc/IntegerBelowNode;
            0   10     1  xStampGeneric  Lorg/graalvm/compiler/core/common/type/Stamp;
            0   10     2  yStampGeneric  Lorg/graalvm/compiler/core/common/type/Stamp;
            2    9     3         xStamp  Lorg/graalvm/compiler/core/common/type/IntegerStamp;
            4    9     4         yStamp  Lorg/graalvm/compiler/core/common/type/IntegerStamp;
    MethodParameters:
               Name  Flags
      xStampGeneric  
      yStampGeneric  

  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.ValueNode
            aload 3
            checkcast org.graalvm.compiler.nodes.ValueNode
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerBelowNode.canonical:(Lorg/graalvm/compiler/graph/spi/CanonicalizerTool;Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;)Lorg/graalvm/compiler/nodes/ValueNode;
            areturn
      LocalVariableTable:
        Start  End  Slot  Name  Signature

  protected org.graalvm.compiler.nodes.LogicNode duplicateModified(org.graalvm.compiler.nodes.ValueNode, org.graalvm.compiler.nodes.ValueNode);
    descriptor: (Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;)Lorg/graalvm/compiler/nodes/LogicNode;
    flags: (0x1044) ACC_PROTECTED, ACC_BRIDGE, ACC_SYNTHETIC
    Code:
      stack=3, locals=3, args_size=3
         0: .line 1
            aload 0
            aload 1
            aload 2
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerBelowNode.duplicateModified:(Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;)Lorg/graalvm/compiler/nodes/calc/CompareNode;
            areturn
      LocalVariableTable:
        Start  End  Slot  Name  Signature
}
SourceFile: "IntegerBelowNode.java"
    RuntimeVisibleAnnotations: 
      org.graalvm.compiler.nodeinfo.NodeInfo(shortName = "|<|")
/

java/ 9/ jdk.internal.vm.compiler/org/graalvm/compiler/nodes/calc/IntegerBelowNode.class
