public abstract class org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp extends org.graalvm.compiler.nodes.calc.CompareNode$CompareOp
  minor version: 0
  major version: 59
  flags: flags: (0x0421) ACC_PUBLIC, ACC_SUPER, ACC_ABSTRACT
  this_class: org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp
  super_class: org.graalvm.compiler.nodes.calc.CompareNode$CompareOp
{
  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 118
            ldc Lorg/graalvm/compiler/nodes/calc/IntegerLowerThanNode;
            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.IntegerLowerThanNode$LowerOp.$assertionsDisabled:Z
            return
      LocalVariableTable:
        Start  End  Slot  Name  Signature

  public void <init>();
    descriptor: ()V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp this
         0: .line 118
            aload 0 /* this */
            invokespecial org.graalvm.compiler.nodes.calc.CompareNode$CompareOp.<init>:()V
            return
        end local 0 // org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lorg/graalvm/compiler/nodes/calc/IntegerLowerThanNode$LowerOp;

  public org.graalvm.compiler.nodes.LogicNode canonical(jdk.vm.ci.meta.ConstantReflectionProvider, jdk.vm.ci.meta.MetaAccessProvider, org.graalvm.compiler.options.OptionValues, java.lang.Integer, org.graalvm.compiler.core.common.calc.Condition, boolean, org.graalvm.compiler.nodes.ValueNode, org.graalvm.compiler.nodes.ValueNode, org.graalvm.compiler.nodes.NodeView);
    descriptor: (Ljdk/vm/ci/meta/ConstantReflectionProvider;Ljdk/vm/ci/meta/MetaAccessProvider;Lorg/graalvm/compiler/options/OptionValues;Ljava/lang/Integer;Lorg/graalvm/compiler/core/common/calc/Condition;ZLorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/NodeView;)Lorg/graalvm/compiler/nodes/LogicNode;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=10, locals=12, args_size=10
        start local 0 // org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp this
        start local 1 // jdk.vm.ci.meta.ConstantReflectionProvider constantReflection
        start local 2 // jdk.vm.ci.meta.MetaAccessProvider metaAccess
        start local 3 // org.graalvm.compiler.options.OptionValues options
        start local 4 // java.lang.Integer smallestCompareWidth
        start local 5 // org.graalvm.compiler.core.common.calc.Condition condition
        start local 6 // boolean unorderedIsTrue
        start local 7 // org.graalvm.compiler.nodes.ValueNode forX
        start local 8 // org.graalvm.compiler.nodes.ValueNode forY
        start local 9 // org.graalvm.compiler.nodes.NodeView view
         0: .line 122
            aload 0 /* this */
            aload 1 /* constantReflection */
            aload 2 /* metaAccess */
            aload 3 /* options */
            aload 4 /* smallestCompareWidth */
            aload 5 /* condition */
            iload 6 /* unorderedIsTrue */
            aload 7 /* forX */
            aload 8 /* forY */
            aload 9 /* view */
            invokespecial org.graalvm.compiler.nodes.calc.CompareNode$CompareOp.canonical:(Ljdk/vm/ci/meta/ConstantReflectionProvider;Ljdk/vm/ci/meta/MetaAccessProvider;Lorg/graalvm/compiler/options/OptionValues;Ljava/lang/Integer;Lorg/graalvm/compiler/core/common/calc/Condition;ZLorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/NodeView;)Lorg/graalvm/compiler/nodes/LogicNode;
            astore 10 /* result */
        start local 10 // org.graalvm.compiler.nodes.LogicNode result
         1: .line 123
            aload 10 /* result */
            ifnull 3
         2: .line 124
            aload 10 /* result */
            areturn
         3: .line 126
      StackMap locals: org.graalvm.compiler.nodes.LogicNode
      StackMap stack:
            aload 0 /* this */
            aload 7 /* forX */
            aload 8 /* forY */
            aload 9 /* view */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.findSynonym:(Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/NodeView;)Lorg/graalvm/compiler/nodes/LogicNode;
            astore 11 /* synonym */
        start local 11 // org.graalvm.compiler.nodes.LogicNode synonym
         4: .line 127
            aload 11 /* synonym */
            ifnull 6
         5: .line 128
            aload 11 /* synonym */
            areturn
         6: .line 130
      StackMap locals: org.graalvm.compiler.nodes.LogicNode
      StackMap stack:
            aconst_null
            areturn
        end local 11 // org.graalvm.compiler.nodes.LogicNode synonym
        end local 10 // org.graalvm.compiler.nodes.LogicNode result
        end local 9 // org.graalvm.compiler.nodes.NodeView view
        end local 8 // org.graalvm.compiler.nodes.ValueNode forY
        end local 7 // org.graalvm.compiler.nodes.ValueNode forX
        end local 6 // boolean unorderedIsTrue
        end local 5 // org.graalvm.compiler.core.common.calc.Condition condition
        end local 4 // java.lang.Integer smallestCompareWidth
        end local 3 // org.graalvm.compiler.options.OptionValues options
        end local 2 // jdk.vm.ci.meta.MetaAccessProvider metaAccess
        end local 1 // jdk.vm.ci.meta.ConstantReflectionProvider constantReflection
        end local 0 // org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp this
      LocalVariableTable:
        Start  End  Slot                  Name  Signature
            0    7     0                  this  Lorg/graalvm/compiler/nodes/calc/IntegerLowerThanNode$LowerOp;
            0    7     1    constantReflection  Ljdk/vm/ci/meta/ConstantReflectionProvider;
            0    7     2            metaAccess  Ljdk/vm/ci/meta/MetaAccessProvider;
            0    7     3               options  Lorg/graalvm/compiler/options/OptionValues;
            0    7     4  smallestCompareWidth  Ljava/lang/Integer;
            0    7     5             condition  Lorg/graalvm/compiler/core/common/calc/Condition;
            0    7     6       unorderedIsTrue  Z
            0    7     7                  forX  Lorg/graalvm/compiler/nodes/ValueNode;
            0    7     8                  forY  Lorg/graalvm/compiler/nodes/ValueNode;
            0    7     9                  view  Lorg/graalvm/compiler/nodes/NodeView;
            1    7    10                result  Lorg/graalvm/compiler/nodes/LogicNode;
            4    7    11               synonym  Lorg/graalvm/compiler/nodes/LogicNode;
    MethodParameters:
                      Name  Flags
      constantReflection    
      metaAccess            
      options               
      smallestCompareWidth  
      condition             
      unorderedIsTrue       
      forX                  
      forY                  
      view                  

  protected abstract long upperBound(org.graalvm.compiler.core.common.type.IntegerStamp);
    descriptor: (Lorg/graalvm/compiler/core/common/type/IntegerStamp;)J
    flags: (0x0404) ACC_PROTECTED, ACC_ABSTRACT
    MethodParameters:
       Name  Flags
      stamp  

  protected abstract long lowerBound(org.graalvm.compiler.core.common.type.IntegerStamp);
    descriptor: (Lorg/graalvm/compiler/core/common/type/IntegerStamp;)J
    flags: (0x0404) ACC_PROTECTED, ACC_ABSTRACT
    MethodParameters:
       Name  Flags
      stamp  

  protected abstract int compare(long, long);
    descriptor: (JJ)I
    flags: (0x0404) ACC_PROTECTED, ACC_ABSTRACT
    MethodParameters:
      Name  Flags
      a     
      b     

  protected abstract long min(long, long);
    descriptor: (JJ)J
    flags: (0x0404) ACC_PROTECTED, ACC_ABSTRACT
    MethodParameters:
      Name  Flags
      a     
      b     

  protected abstract long max(long, long);
    descriptor: (JJ)J
    flags: (0x0404) ACC_PROTECTED, ACC_ABSTRACT
    MethodParameters:
      Name  Flags
      a     
      b     

  protected long min(long, long, int);
    descriptor: (JJI)J
    flags: (0x0004) ACC_PROTECTED
    Code:
      stack=7, locals=6, args_size=4
        start local 0 // org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp this
        start local 1 // long a
        start local 3 // long b
        start local 5 // int bits
         0: .line 144
            aload 0 /* this */
            aload 0 /* this */
            lload 1 /* a */
            iload 5 /* bits */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.cast:(JI)J
            aload 0 /* this */
            lload 3 /* b */
            iload 5 /* bits */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.cast:(JI)J
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.min:(JJ)J
            lreturn
        end local 5 // int bits
        end local 3 // long b
        end local 1 // long a
        end local 0 // org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lorg/graalvm/compiler/nodes/calc/IntegerLowerThanNode$LowerOp;
            0    1     1     a  J
            0    1     3     b  J
            0    1     5  bits  I
    MethodParameters:
      Name  Flags
      a     
      b     
      bits  

  protected long max(long, long, int);
    descriptor: (JJI)J
    flags: (0x0004) ACC_PROTECTED
    Code:
      stack=7, locals=6, args_size=4
        start local 0 // org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp this
        start local 1 // long a
        start local 3 // long b
        start local 5 // int bits
         0: .line 148
            aload 0 /* this */
            aload 0 /* this */
            lload 1 /* a */
            iload 5 /* bits */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.cast:(JI)J
            aload 0 /* this */
            lload 3 /* b */
            iload 5 /* bits */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.cast:(JI)J
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.max:(JJ)J
            lreturn
        end local 5 // int bits
        end local 3 // long b
        end local 1 // long a
        end local 0 // org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lorg/graalvm/compiler/nodes/calc/IntegerLowerThanNode$LowerOp;
            0    1     1     a  J
            0    1     3     b  J
            0    1     5  bits  I
    MethodParameters:
      Name  Flags
      a     
      b     
      bits  

  protected abstract long cast(long, int);
    descriptor: (JI)J
    flags: (0x0404) ACC_PROTECTED, ACC_ABSTRACT
    MethodParameters:
      Name  Flags
      a     
      bits  

  protected abstract long minValue(int);
    descriptor: (I)J
    flags: (0x0404) ACC_PROTECTED, ACC_ABSTRACT
    MethodParameters:
      Name  Flags
      bits  

  protected abstract long maxValue(int);
    descriptor: (I)J
    flags: (0x0404) ACC_PROTECTED, ACC_ABSTRACT
    MethodParameters:
      Name  Flags
      bits  

  protected abstract org.graalvm.compiler.core.common.type.IntegerStamp forInteger(int, long, long);
    descriptor: (IJJ)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
    flags: (0x0404) ACC_PROTECTED, ACC_ABSTRACT
    MethodParameters:
      Name  Flags
      bits  
      min   
      max   

  protected abstract org.graalvm.compiler.core.common.calc.Condition getCondition();
    descriptor: ()Lorg/graalvm/compiler/core/common/calc/Condition;
    flags: (0x0404) ACC_PROTECTED, ACC_ABSTRACT

  protected abstract org.graalvm.compiler.nodes.calc.IntegerLowerThanNode createNode(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/IntegerLowerThanNode;
    flags: (0x0404) ACC_PROTECTED, ACC_ABSTRACT
    MethodParameters:
      Name  Flags
      x     
      y     

  public org.graalvm.compiler.nodes.LogicNode create(org.graalvm.compiler.nodes.ValueNode, org.graalvm.compiler.nodes.ValueNode, org.graalvm.compiler.nodes.NodeView);
    descriptor: (Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/NodeView;)Lorg/graalvm/compiler/nodes/LogicNode;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=5, locals=5, args_size=4
        start local 0 // org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp this
        start local 1 // org.graalvm.compiler.nodes.ValueNode x
        start local 2 // org.graalvm.compiler.nodes.ValueNode y
        start local 3 // org.graalvm.compiler.nodes.NodeView view
         0: .line 164
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.getCondition:()Lorg/graalvm/compiler/core/common/calc/Condition;
            aload 1 /* x */
            aload 2 /* y */
            iconst_0
            aload 3 /* view */
            invokestatic org.graalvm.compiler.nodes.calc.CompareNode.tryConstantFoldPrimitive:(Lorg/graalvm/compiler/core/common/calc/Condition;Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;ZLorg/graalvm/compiler/nodes/NodeView;)Lorg/graalvm/compiler/nodes/LogicNode;
            astore 4 /* result */
        start local 4 // org.graalvm.compiler.nodes.LogicNode result
         1: .line 165
            aload 4 /* result */
            ifnull 3
         2: .line 166
            aload 4 /* result */
            areturn
         3: .line 168
      StackMap locals: org.graalvm.compiler.nodes.LogicNode
      StackMap stack:
            aload 0 /* this */
            aload 1 /* x */
            aload 2 /* y */
            aload 3 /* view */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.findSynonym:(Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/NodeView;)Lorg/graalvm/compiler/nodes/LogicNode;
            astore 4 /* result */
         4: .line 169
            aload 4 /* result */
            ifnull 6
         5: .line 170
            aload 4 /* result */
            areturn
         6: .line 172
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            aload 1 /* x */
            aload 2 /* y */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.createNode:(Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;)Lorg/graalvm/compiler/nodes/calc/IntegerLowerThanNode;
            areturn
        end local 4 // org.graalvm.compiler.nodes.LogicNode result
        end local 3 // org.graalvm.compiler.nodes.NodeView view
        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.IntegerLowerThanNode$LowerOp this
      LocalVariableTable:
        Start  End  Slot    Name  Signature
            0    7     0    this  Lorg/graalvm/compiler/nodes/calc/IntegerLowerThanNode$LowerOp;
            0    7     1       x  Lorg/graalvm/compiler/nodes/ValueNode;
            0    7     2       y  Lorg/graalvm/compiler/nodes/ValueNode;
            0    7     3    view  Lorg/graalvm/compiler/nodes/NodeView;
            1    7     4  result  Lorg/graalvm/compiler/nodes/LogicNode;
    MethodParameters:
      Name  Flags
      x     
      y     
      view  

  protected org.graalvm.compiler.nodes.LogicNode findSynonym(org.graalvm.compiler.nodes.ValueNode, org.graalvm.compiler.nodes.ValueNode, org.graalvm.compiler.nodes.NodeView);
    descriptor: (Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/NodeView;)Lorg/graalvm/compiler/nodes/LogicNode;
    flags: (0x0004) ACC_PROTECTED
    Code:
      stack=7, locals=9, args_size=4
        start local 0 // org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp this
        start local 1 // org.graalvm.compiler.nodes.ValueNode forX
        start local 2 // org.graalvm.compiler.nodes.ValueNode forY
        start local 3 // org.graalvm.compiler.nodes.NodeView view
         0: .line 177
            aload 1 /* forX */
            invokestatic org.graalvm.compiler.nodes.util.GraphUtil.unproxify:(Lorg/graalvm/compiler/nodes/ValueNode;)Lorg/graalvm/compiler/nodes/ValueNode;
            aload 2 /* forY */
            invokestatic org.graalvm.compiler.nodes.util.GraphUtil.unproxify:(Lorg/graalvm/compiler/nodes/ValueNode;)Lorg/graalvm/compiler/nodes/ValueNode;
            if_acmpne 2
         1: .line 178
            invokestatic org.graalvm.compiler.nodes.LogicConstantNode.contradiction:()Lorg/graalvm/compiler/nodes/LogicConstantNode;
            areturn
         2: .line 180
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            aload 1 /* forX */
            aload 3 /* view */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.stamp:(Lorg/graalvm/compiler/nodes/NodeView;)Lorg/graalvm/compiler/core/common/type/Stamp;
            aload 2 /* forY */
            aload 3 /* 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.IntegerLowerThanNode$LowerOp.tryFold:(Lorg/graalvm/compiler/core/common/type/Stamp;Lorg/graalvm/compiler/core/common/type/Stamp;)Ljdk/vm/ci/meta/TriState;
            astore 4 /* fold */
        start local 4 // jdk.vm.ci.meta.TriState fold
         3: .line 181
            aload 4 /* fold */
            invokevirtual jdk.vm.ci.meta.TriState.isTrue:()Z
            ifeq 5
         4: .line 182
            invokestatic org.graalvm.compiler.nodes.LogicConstantNode.tautology:()Lorg/graalvm/compiler/nodes/LogicConstantNode;
            areturn
         5: .line 183
      StackMap locals: jdk.vm.ci.meta.TriState
      StackMap stack:
            aload 4 /* fold */
            invokevirtual jdk.vm.ci.meta.TriState.isFalse:()Z
            ifeq 7
         6: .line 184
            invokestatic org.graalvm.compiler.nodes.LogicConstantNode.contradiction:()Lorg/graalvm/compiler/nodes/LogicConstantNode;
            areturn
         7: .line 186
      StackMap locals:
      StackMap stack:
            aload 2 /* forY */
            aload 3 /* view */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.stamp:(Lorg/graalvm/compiler/nodes/NodeView;)Lorg/graalvm/compiler/core/common/type/Stamp;
            instanceof org.graalvm.compiler.core.common.type.IntegerStamp
            ifeq 30
         8: .line 187
            aload 2 /* forY */
            aload 3 /* 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
            astore 5 /* yStamp */
        start local 5 // org.graalvm.compiler.core.common.type.IntegerStamp yStamp
         9: .line 188
            aload 5 /* yStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.getBits:()I
            istore 6 /* bits */
        start local 6 // int bits
        10: .line 189
            aload 1 /* forX */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.isJavaConstant:()Z
            ifeq 14
            aload 2 /* forY */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.isConstant:()Z
            ifne 14
        11: .line 191
            aload 1 /* forX */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.asJavaConstant:()Ljdk/vm/ci/meta/JavaConstant;
            invokeinterface jdk.vm.ci.meta.JavaConstant.asLong:()J
            lstore 7 /* xValue */
        start local 7 // long xValue
        12: .line 192
            lload 7 /* xValue */
            aload 0 /* this */
            iload 6 /* bits */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.maxValue:(I)J
            lcmp
            ifeq 14
        13: .line 194
            aload 0 /* this */
            aload 2 /* forY */
            aload 5 /* yStamp */
            lload 7 /* xValue */
            lconst_1
            ladd
            invokestatic org.graalvm.compiler.nodes.ConstantNode.forIntegerStamp:(Lorg/graalvm/compiler/core/common/type/Stamp;J)Lorg/graalvm/compiler/nodes/ConstantNode;
            aload 3 /* view */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.create:(Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/NodeView;)Lorg/graalvm/compiler/nodes/LogicNode;
            invokestatic org.graalvm.compiler.nodes.LogicNegationNode.create:(Lorg/graalvm/compiler/nodes/LogicNode;)Lorg/graalvm/compiler/nodes/LogicNode;
            areturn
        end local 7 // long xValue
        14: .line 197
      StackMap locals: org.graalvm.compiler.core.common.type.IntegerStamp int
      StackMap stack:
            aload 2 /* forY */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.isJavaConstant:()Z
            ifeq 20
        15: .line 198
            aload 2 /* forY */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.asJavaConstant:()Ljdk/vm/ci/meta/JavaConstant;
            invokeinterface jdk.vm.ci.meta.JavaConstant.asLong:()J
            lstore 7 /* yValue */
        start local 7 // long yValue
        16: .line 199
            lload 7 /* yValue */
            aload 0 /* this */
            iload 6 /* bits */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.maxValue:(I)J
            lcmp
            ifne 18
        17: .line 201
            aload 1 /* forX */
            aload 2 /* forY */
            aload 3 /* view */
            invokestatic org.graalvm.compiler.nodes.calc.IntegerEqualsNode.create:(Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/NodeView;)Lorg/graalvm/compiler/nodes/LogicNode;
            invokestatic org.graalvm.compiler.nodes.LogicNegationNode.create:(Lorg/graalvm/compiler/nodes/LogicNode;)Lorg/graalvm/compiler/nodes/LogicNode;
            areturn
        18: .line 203
      StackMap locals: long
      StackMap stack:
            lload 7 /* yValue */
            aload 0 /* this */
            iload 6 /* bits */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.minValue:(I)J
            lconst_1
            ladd
            lcmp
            ifne 25
        19: .line 205
            aload 1 /* forX */
            aload 5 /* yStamp */
            aload 0 /* this */
            iload 6 /* bits */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.minValue:(I)J
            invokestatic org.graalvm.compiler.nodes.ConstantNode.forIntegerStamp:(Lorg/graalvm/compiler/core/common/type/Stamp;J)Lorg/graalvm/compiler/nodes/ConstantNode;
            aload 3 /* view */
            invokestatic org.graalvm.compiler.nodes.calc.IntegerEqualsNode.create:(Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/NodeView;)Lorg/graalvm/compiler/nodes/LogicNode;
            areturn
        end local 7 // long yValue
        20: .line 207
      StackMap locals:
      StackMap stack:
            aload 2 /* forY */
            instanceof org.graalvm.compiler.nodes.calc.AddNode
            ifeq 25
        21: .line 208
            aload 2 /* forY */
            checkcast org.graalvm.compiler.nodes.calc.AddNode
            astore 7 /* addNode */
        start local 7 // org.graalvm.compiler.nodes.calc.AddNode addNode
        22: .line 209
            aload 0 /* this */
            aload 1 /* forX */
            aload 7 /* addNode */
            iconst_0
            iconst_1
            aload 3 /* view */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.canonicalizeXLowerXPlusA:(Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/calc/AddNode;ZZLorg/graalvm/compiler/nodes/NodeView;)Lorg/graalvm/compiler/nodes/LogicNode;
            astore 8 /* canonical */
        start local 8 // org.graalvm.compiler.nodes.LogicNode canonical
        23: .line 210
            aload 8 /* canonical */
            ifnull 25
        24: .line 211
            aload 8 /* canonical */
            areturn
        end local 8 // org.graalvm.compiler.nodes.LogicNode canonical
        end local 7 // org.graalvm.compiler.nodes.calc.AddNode addNode
        25: .line 214
      StackMap locals:
      StackMap stack:
            aload 1 /* forX */
            instanceof org.graalvm.compiler.nodes.calc.AddNode
            ifeq 30
        26: .line 215
            aload 1 /* forX */
            checkcast org.graalvm.compiler.nodes.calc.AddNode
            astore 7 /* addNode */
        start local 7 // org.graalvm.compiler.nodes.calc.AddNode addNode
        27: .line 216
            aload 0 /* this */
            aload 2 /* forY */
            aload 7 /* addNode */
            iconst_1
            iconst_0
            aload 3 /* view */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.canonicalizeXLowerXPlusA:(Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/calc/AddNode;ZZLorg/graalvm/compiler/nodes/NodeView;)Lorg/graalvm/compiler/nodes/LogicNode;
            astore 8 /* canonical */
        start local 8 // org.graalvm.compiler.nodes.LogicNode canonical
        28: .line 217
            aload 8 /* canonical */
            ifnull 30
        29: .line 218
            aload 8 /* canonical */
            areturn
        end local 8 // org.graalvm.compiler.nodes.LogicNode canonical
        end local 7 // org.graalvm.compiler.nodes.calc.AddNode addNode
        end local 6 // int bits
        end local 5 // org.graalvm.compiler.core.common.type.IntegerStamp yStamp
        30: .line 222
      StackMap locals:
      StackMap stack:
            aconst_null
            areturn
        end local 4 // jdk.vm.ci.meta.TriState fold
        end local 3 // org.graalvm.compiler.nodes.NodeView view
        end local 2 // org.graalvm.compiler.nodes.ValueNode forY
        end local 1 // org.graalvm.compiler.nodes.ValueNode forX
        end local 0 // org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp this
      LocalVariableTable:
        Start  End  Slot       Name  Signature
            0   31     0       this  Lorg/graalvm/compiler/nodes/calc/IntegerLowerThanNode$LowerOp;
            0   31     1       forX  Lorg/graalvm/compiler/nodes/ValueNode;
            0   31     2       forY  Lorg/graalvm/compiler/nodes/ValueNode;
            0   31     3       view  Lorg/graalvm/compiler/nodes/NodeView;
            3   31     4       fold  Ljdk/vm/ci/meta/TriState;
            9   30     5     yStamp  Lorg/graalvm/compiler/core/common/type/IntegerStamp;
           10   30     6       bits  I
           12   14     7     xValue  J
           16   20     7     yValue  J
           22   25     7    addNode  Lorg/graalvm/compiler/nodes/calc/AddNode;
           23   25     8  canonical  Lorg/graalvm/compiler/nodes/LogicNode;
           27   30     7    addNode  Lorg/graalvm/compiler/nodes/calc/AddNode;
           28   30     8  canonical  Lorg/graalvm/compiler/nodes/LogicNode;
    MethodParameters:
      Name  Flags
      forX  
      forY  
      view  

  private org.graalvm.compiler.nodes.LogicNode canonicalizeXLowerXPlusA(org.graalvm.compiler.nodes.ValueNode, org.graalvm.compiler.nodes.calc.AddNode, boolean, boolean, org.graalvm.compiler.nodes.NodeView);
    descriptor: (Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/calc/AddNode;ZZLorg/graalvm/compiler/nodes/NodeView;)Lorg/graalvm/compiler/nodes/LogicNode;
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=5, locals=9, args_size=6
        start local 0 // org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp this
        start local 1 // org.graalvm.compiler.nodes.ValueNode forX
        start local 2 // org.graalvm.compiler.nodes.calc.AddNode addNode
        start local 3 // boolean mirrored
        start local 4 // boolean strict
        start local 5 // org.graalvm.compiler.nodes.NodeView view
         0: .line 229
            aload 2 /* addNode */
            invokevirtual org.graalvm.compiler.nodes.calc.AddNode.getX:()Lorg/graalvm/compiler/nodes/ValueNode;
            aload 1 /* forX */
            if_acmpne 7
            aload 2 /* addNode */
            invokevirtual org.graalvm.compiler.nodes.calc.AddNode.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;
            instanceof org.graalvm.compiler.core.common.type.IntegerStamp
            ifeq 7
         1: .line 230
            aload 2 /* addNode */
            invokevirtual org.graalvm.compiler.nodes.calc.AddNode.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;
            checkcast org.graalvm.compiler.core.common.type.IntegerStamp
            astore 8 /* aStamp */
        start local 8 // org.graalvm.compiler.core.common.type.IntegerStamp aStamp
         2: .line 231
            aload 0 /* this */
            iload 3 /* mirrored */
            iload 4 /* strict */
            aload 8 /* aStamp */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.getSucceedingStampForXLowerXPlusA:(ZZLorg/graalvm/compiler/core/common/type/IntegerStamp;)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
            astore 6 /* succeedingXStamp */
        start local 6 // org.graalvm.compiler.core.common.type.IntegerStamp succeedingXStamp
         3: .line 232
            aload 8 /* aStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.lowerBound:()J
            aload 8 /* aStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.upperBound:()J
            lcmp
            ifne 4
            iconst_1
            goto 5
      StackMap locals: org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp org.graalvm.compiler.nodes.ValueNode org.graalvm.compiler.nodes.calc.AddNode int int org.graalvm.compiler.nodes.NodeView org.graalvm.compiler.core.common.type.IntegerStamp top org.graalvm.compiler.core.common.type.IntegerStamp
      StackMap stack:
         4: iconst_0
      StackMap locals:
      StackMap stack: int
         5: istore 7 /* exact */
        end local 8 // org.graalvm.compiler.core.common.type.IntegerStamp aStamp
        start local 7 // boolean exact
         6: .line 233
            goto 15
        end local 7 // boolean exact
        end local 6 // org.graalvm.compiler.core.common.type.IntegerStamp succeedingXStamp
      StackMap locals: org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp org.graalvm.compiler.nodes.ValueNode org.graalvm.compiler.nodes.calc.AddNode int int org.graalvm.compiler.nodes.NodeView
      StackMap stack:
         7: aload 2 /* addNode */
            invokevirtual org.graalvm.compiler.nodes.calc.AddNode.getY:()Lorg/graalvm/compiler/nodes/ValueNode;
            aload 1 /* forX */
            if_acmpne 14
            aload 2 /* addNode */
            invokevirtual org.graalvm.compiler.nodes.calc.AddNode.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;
            instanceof org.graalvm.compiler.core.common.type.IntegerStamp
            ifeq 14
         8: .line 234
            aload 2 /* addNode */
            invokevirtual org.graalvm.compiler.nodes.calc.AddNode.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;
            checkcast org.graalvm.compiler.core.common.type.IntegerStamp
            astore 8 /* aStamp */
        start local 8 // org.graalvm.compiler.core.common.type.IntegerStamp aStamp
         9: .line 235
            aload 0 /* this */
            iload 3 /* mirrored */
            iload 4 /* strict */
            aload 8 /* aStamp */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.getSucceedingStampForXLowerXPlusA:(ZZLorg/graalvm/compiler/core/common/type/IntegerStamp;)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
            astore 6 /* succeedingXStamp */
        start local 6 // org.graalvm.compiler.core.common.type.IntegerStamp succeedingXStamp
        10: .line 236
            aload 8 /* aStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.lowerBound:()J
            aload 8 /* aStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.upperBound:()J
            lcmp
            ifne 11
            iconst_1
            goto 12
      StackMap locals: org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp org.graalvm.compiler.nodes.ValueNode org.graalvm.compiler.nodes.calc.AddNode int int org.graalvm.compiler.nodes.NodeView org.graalvm.compiler.core.common.type.IntegerStamp top org.graalvm.compiler.core.common.type.IntegerStamp
      StackMap stack:
        11: iconst_0
      StackMap locals:
      StackMap stack: int
        12: istore 7 /* exact */
        end local 8 // org.graalvm.compiler.core.common.type.IntegerStamp aStamp
        start local 7 // boolean exact
        13: .line 237
            goto 15
        end local 7 // boolean exact
        end local 6 // org.graalvm.compiler.core.common.type.IntegerStamp succeedingXStamp
        14: .line 238
      StackMap locals: org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp org.graalvm.compiler.nodes.ValueNode org.graalvm.compiler.nodes.calc.AddNode int int org.graalvm.compiler.nodes.NodeView
      StackMap stack:
            aconst_null
            areturn
        start local 6 // org.graalvm.compiler.core.common.type.IntegerStamp succeedingXStamp
        start local 7 // boolean exact
        15: .line 240
      StackMap locals: org.graalvm.compiler.core.common.type.IntegerStamp int
      StackMap stack:
            aload 6 /* succeedingXStamp */
            aload 1 /* forX */
            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.core.common.type.IntegerStamp.join:(Lorg/graalvm/compiler/core/common/type/Stamp;)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.isEmpty:()Z
            ifeq 17
        16: .line 241
            invokestatic org.graalvm.compiler.nodes.LogicConstantNode.contradiction:()Lorg/graalvm/compiler/nodes/LogicConstantNode;
            areturn
        17: .line 242
      StackMap locals:
      StackMap stack:
            iload 7 /* exact */
            ifeq 24
            aload 6 /* succeedingXStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.isEmpty:()Z
            ifne 24
        18: .line 243
            aload 6 /* succeedingXStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.getBits:()I
            istore 8 /* bits */
        start local 8 // int bits
        19: .line 244
            aload 0 /* this */
            aload 0 /* this */
            aload 6 /* succeedingXStamp */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.lowerBound:(Lorg/graalvm/compiler/core/common/type/IntegerStamp;)J
            aload 0 /* this */
            iload 8 /* bits */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.minValue:(I)J
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.compare:(JJ)I
            ifle 22
        20: .line 245
            getstatic org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.$assertionsDisabled:Z
            ifne 21
            aload 0 /* this */
            aload 6 /* succeedingXStamp */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.upperBound:(Lorg/graalvm/compiler/core/common/type/IntegerStamp;)J
            aload 0 /* this */
            iload 8 /* bits */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.maxValue:(I)J
            lcmp
            ifeq 21
            new java.lang.AssertionError
            dup
            invokespecial java.lang.AssertionError.<init>:()V
            athrow
        21: .line 247
      StackMap locals: int
      StackMap stack:
            aload 0 /* this */
            aload 1 /* forX */
            aload 6 /* succeedingXStamp */
            aload 0 /* this */
            aload 6 /* succeedingXStamp */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.lowerBound:(Lorg/graalvm/compiler/core/common/type/IntegerStamp;)J
            invokestatic org.graalvm.compiler.nodes.ConstantNode.forIntegerStamp:(Lorg/graalvm/compiler/core/common/type/Stamp;J)Lorg/graalvm/compiler/nodes/ConstantNode;
            aload 5 /* view */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.create:(Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/NodeView;)Lorg/graalvm/compiler/nodes/LogicNode;
            invokestatic org.graalvm.compiler.nodes.LogicNegationNode.create:(Lorg/graalvm/compiler/nodes/LogicNode;)Lorg/graalvm/compiler/nodes/LogicNode;
            areturn
        22: .line 248
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            aload 0 /* this */
            aload 6 /* succeedingXStamp */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.upperBound:(Lorg/graalvm/compiler/core/common/type/IntegerStamp;)J
            aload 0 /* this */
            iload 8 /* bits */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.maxValue:(I)J
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.compare:(JJ)I
            ifge 24
        23: .line 250
            aload 0 /* this */
            aload 6 /* succeedingXStamp */
            aload 0 /* this */
            aload 6 /* succeedingXStamp */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.upperBound:(Lorg/graalvm/compiler/core/common/type/IntegerStamp;)J
            invokestatic org.graalvm.compiler.nodes.ConstantNode.forIntegerStamp:(Lorg/graalvm/compiler/core/common/type/Stamp;J)Lorg/graalvm/compiler/nodes/ConstantNode;
            aload 1 /* forX */
            aload 5 /* view */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.create:(Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/NodeView;)Lorg/graalvm/compiler/nodes/LogicNode;
            invokestatic org.graalvm.compiler.nodes.LogicNegationNode.create:(Lorg/graalvm/compiler/nodes/LogicNode;)Lorg/graalvm/compiler/nodes/LogicNode;
            areturn
        end local 8 // int bits
        24: .line 253
      StackMap locals:
      StackMap stack:
            aconst_null
            areturn
        end local 7 // boolean exact
        end local 6 // org.graalvm.compiler.core.common.type.IntegerStamp succeedingXStamp
        end local 5 // org.graalvm.compiler.nodes.NodeView view
        end local 4 // boolean strict
        end local 3 // boolean mirrored
        end local 2 // org.graalvm.compiler.nodes.calc.AddNode addNode
        end local 1 // org.graalvm.compiler.nodes.ValueNode forX
        end local 0 // org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp this
      LocalVariableTable:
        Start  End  Slot              Name  Signature
            0   25     0              this  Lorg/graalvm/compiler/nodes/calc/IntegerLowerThanNode$LowerOp;
            0   25     1              forX  Lorg/graalvm/compiler/nodes/ValueNode;
            0   25     2           addNode  Lorg/graalvm/compiler/nodes/calc/AddNode;
            0   25     3          mirrored  Z
            0   25     4            strict  Z
            0   25     5              view  Lorg/graalvm/compiler/nodes/NodeView;
            3    7     6  succeedingXStamp  Lorg/graalvm/compiler/core/common/type/IntegerStamp;
           10   14     6  succeedingXStamp  Lorg/graalvm/compiler/core/common/type/IntegerStamp;
           15   25     6  succeedingXStamp  Lorg/graalvm/compiler/core/common/type/IntegerStamp;
            6    7     7             exact  Z
           13   14     7             exact  Z
           15   25     7             exact  Z
            2    6     8            aStamp  Lorg/graalvm/compiler/core/common/type/IntegerStamp;
            9   13     8            aStamp  Lorg/graalvm/compiler/core/common/type/IntegerStamp;
           19   24     8              bits  I
    MethodParameters:
          Name  Flags
      forX      
      addNode   
      mirrored  
      strict    
      view      

  protected 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: (0x0004) ACC_PROTECTED
    Code:
      stack=5, locals=5, args_size=3
        start local 0 // org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp 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 257
            aload 1 /* xStampGeneric */
            instanceof org.graalvm.compiler.core.common.type.IntegerStamp
            ifeq 7
            aload 2 /* yStampGeneric */
            instanceof org.graalvm.compiler.core.common.type.IntegerStamp
            ifeq 7
         1: .line 258
            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 259
            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
         3: .line 260
            aload 0 /* this */
            aload 0 /* this */
            aload 3 /* xStamp */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.upperBound:(Lorg/graalvm/compiler/core/common/type/IntegerStamp;)J
            aload 0 /* this */
            aload 4 /* yStamp */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.lowerBound:(Lorg/graalvm/compiler/core/common/type/IntegerStamp;)J
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.compare:(JJ)I
            ifge 5
         4: .line 261
            getstatic jdk.vm.ci.meta.TriState.TRUE:Ljdk/vm/ci/meta/TriState;
            areturn
         5: .line 263
      StackMap locals: org.graalvm.compiler.core.common.type.IntegerStamp org.graalvm.compiler.core.common.type.IntegerStamp
      StackMap stack:
            aload 0 /* this */
            aload 0 /* this */
            aload 3 /* xStamp */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.lowerBound:(Lorg/graalvm/compiler/core/common/type/IntegerStamp;)J
            aload 0 /* this */
            aload 4 /* yStamp */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.upperBound:(Lorg/graalvm/compiler/core/common/type/IntegerStamp;)J
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.compare:(JJ)I
            iflt 7
         6: .line 264
            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
         7: .line 267
      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.IntegerLowerThanNode$LowerOp this
      LocalVariableTable:
        Start  End  Slot           Name  Signature
            0    8     0           this  Lorg/graalvm/compiler/nodes/calc/IntegerLowerThanNode$LowerOp;
            0    8     1  xStampGeneric  Lorg/graalvm/compiler/core/common/type/Stamp;
            0    8     2  yStampGeneric  Lorg/graalvm/compiler/core/common/type/Stamp;
            2    7     3         xStamp  Lorg/graalvm/compiler/core/common/type/IntegerStamp;
            3    7     4         yStamp  Lorg/graalvm/compiler/core/common/type/IntegerStamp;
    MethodParameters:
               Name  Flags
      xStampGeneric  
      yStampGeneric  

  protected org.graalvm.compiler.core.common.type.IntegerStamp getSucceedingStampForX(org.graalvm.compiler.core.common.type.IntegerStamp, org.graalvm.compiler.core.common.type.IntegerStamp, boolean, boolean);
    descriptor: (Lorg/graalvm/compiler/core/common/type/IntegerStamp;Lorg/graalvm/compiler/core/common/type/IntegerStamp;ZZ)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
    flags: (0x0004) ACC_PROTECTED
    Code:
      stack=6, locals=8, args_size=5
        start local 0 // org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp this
        start local 1 // org.graalvm.compiler.core.common.type.IntegerStamp xStamp
        start local 2 // org.graalvm.compiler.core.common.type.IntegerStamp yStamp
        start local 3 // boolean mirror
        start local 4 // boolean strict
         0: .line 271
            aload 1 /* xStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.getBits:()I
            istore 5 /* bits */
        start local 5 // int bits
         1: .line 272
            getstatic org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.$assertionsDisabled:Z
            ifne 2
            aload 2 /* yStamp */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.getBits:()I
            iload 5 /* bits */
            if_icmpeq 2
            new java.lang.AssertionError
            dup
            invokespecial java.lang.AssertionError.<init>:()V
            athrow
         2: .line 273
      StackMap locals: int
      StackMap stack:
            iload 3 /* mirror */
            ifeq 10
         3: .line 274
            aload 0 /* this */
            aload 2 /* yStamp */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.lowerBound:(Lorg/graalvm/compiler/core/common/type/IntegerStamp;)J
            lstore 6 /* low */
        start local 6 // long low
         4: .line 275
            iload 4 /* strict */
            ifeq 8
         5: .line 276
            lload 6 /* low */
            aload 0 /* this */
            iload 5 /* bits */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.maxValue:(I)J
            lcmp
            ifne 7
         6: .line 277
            aconst_null
            areturn
         7: .line 279
      StackMap locals: long
      StackMap stack:
            lload 6 /* low */
            lconst_1
            ladd
            lstore 6 /* low */
         8: .line 281
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            lload 6 /* low */
            aload 0 /* this */
            aload 1 /* xStamp */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.lowerBound:(Lorg/graalvm/compiler/core/common/type/IntegerStamp;)J
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.compare:(JJ)I
            ifle 17
         9: .line 282
            aload 0 /* this */
            iload 5 /* bits */
            lload 6 /* low */
            aload 0 /* this */
            aload 1 /* xStamp */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.upperBound:(Lorg/graalvm/compiler/core/common/type/IntegerStamp;)J
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.forInteger:(IJJ)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
            areturn
        end local 6 // long low
        10: .line 286
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            aload 2 /* yStamp */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.upperBound:(Lorg/graalvm/compiler/core/common/type/IntegerStamp;)J
            lstore 6 /* low */
        start local 6 // long low
        11: .line 287
            iload 4 /* strict */
            ifeq 15
        12: .line 288
            lload 6 /* low */
            aload 0 /* this */
            iload 5 /* bits */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.minValue:(I)J
            lcmp
            ifne 14
        13: .line 289
            aconst_null
            areturn
        14: .line 291
      StackMap locals: long
      StackMap stack:
            lload 6 /* low */
            lconst_1
            lsub
            lstore 6 /* low */
        15: .line 293
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            lload 6 /* low */
            aload 0 /* this */
            aload 1 /* xStamp */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.upperBound:(Lorg/graalvm/compiler/core/common/type/IntegerStamp;)J
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.compare:(JJ)I
            ifge 17
        16: .line 294
            aload 0 /* this */
            iload 5 /* bits */
            aload 0 /* this */
            aload 1 /* xStamp */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.lowerBound:(Lorg/graalvm/compiler/core/common/type/IntegerStamp;)J
            lload 6 /* low */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.forInteger:(IJJ)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
            areturn
        end local 6 // long low
        17: .line 297
      StackMap locals:
      StackMap stack:
            aconst_null
            areturn
        end local 5 // int bits
        end local 4 // boolean strict
        end local 3 // boolean mirror
        end local 2 // org.graalvm.compiler.core.common.type.IntegerStamp yStamp
        end local 1 // org.graalvm.compiler.core.common.type.IntegerStamp xStamp
        end local 0 // org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp this
      LocalVariableTable:
        Start  End  Slot    Name  Signature
            0   18     0    this  Lorg/graalvm/compiler/nodes/calc/IntegerLowerThanNode$LowerOp;
            0   18     1  xStamp  Lorg/graalvm/compiler/core/common/type/IntegerStamp;
            0   18     2  yStamp  Lorg/graalvm/compiler/core/common/type/IntegerStamp;
            0   18     3  mirror  Z
            0   18     4  strict  Z
            1   18     5    bits  I
            4   10     6     low  J
           11   17     6     low  J
    MethodParameters:
        Name  Flags
      xStamp  
      yStamp  
      mirror  
      strict  

  protected org.graalvm.compiler.core.common.type.IntegerStamp getSucceedingStampForXLowerXPlusA(boolean, boolean, org.graalvm.compiler.core.common.type.IntegerStamp);
    descriptor: (ZZLorg/graalvm/compiler/core/common/type/IntegerStamp;)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
    flags: (0x0004) ACC_PROTECTED
    Code:
      stack=11, locals=13, args_size=4
        start local 0 // org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp this
        start local 1 // boolean mirrored
        start local 2 // boolean strict
        start local 3 // org.graalvm.compiler.core.common.type.IntegerStamp a
         0: .line 301
            aload 3 /* a */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.getBits:()I
            istore 4 /* bits */
        start local 4 // int bits
         1: .line 302
            aload 0 /* this */
            iload 4 /* bits */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.minValue:(I)J
            lstore 5 /* min */
        start local 5 // long min
         2: .line 303
            aload 0 /* this */
            iload 4 /* bits */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.maxValue:(I)J
            lstore 7 /* max */
        start local 7 // long max
         3: .line 318
            iload 1 /* mirrored */
            ifeq 7
         4: .line 319
            aload 3 /* a */
            lconst_0
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.contains:(J)Z
            ifeq 6
         5: .line 321
            aload 3 /* a */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.unrestricted:()Lorg/graalvm/compiler/core/common/type/IntegerStamp;
            areturn
         6: .line 323
      StackMap locals: int long long
      StackMap stack:
            aload 0 /* this */
            iload 4 /* bits */
            aload 0 /* this */
            lload 7 /* max */
            aload 3 /* a */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.lowerBound:()J
            lsub
            lconst_1
            ladd
            lload 7 /* max */
            aload 3 /* a */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.upperBound:()J
            lsub
            lconst_1
            ladd
            iload 4 /* bits */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.min:(JJI)J
            lload 7 /* max */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.forInteger:(IJJ)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
            areturn
         7: .line 325
      StackMap locals:
      StackMap stack:
            aload 3 /* a */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.lowerBound:()J
            lstore 9 /* aLower */
        start local 9 // long aLower
         8: .line 326
            aload 3 /* a */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.upperBound:()J
            lstore 11 /* aUpper */
        start local 11 // long aUpper
         9: .line 327
            iload 2 /* strict */
            ifeq 16
        10: .line 328
            lload 9 /* aLower */
            lconst_0
            lcmp
            ifne 12
        11: .line 329
            lconst_1
            lstore 9 /* aLower */
        12: .line 331
      StackMap locals: long long
      StackMap stack:
            lload 11 /* aUpper */
            lconst_0
            lcmp
            ifne 14
        13: .line 332
            ldc -1
            lstore 11 /* aUpper */
        14: .line 334
      StackMap locals:
      StackMap stack:
            lload 9 /* aLower */
            lload 11 /* aUpper */
            lcmp
            ifle 16
        15: .line 336
            aload 3 /* a */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.empty:()Lorg/graalvm/compiler/core/common/type/IntegerStamp;
            areturn
        16: .line 339
      StackMap locals:
      StackMap stack:
            lload 9 /* aLower */
            lconst_0
            lcmp
            ifge 18
            lload 11 /* aUpper */
            lconst_0
            lcmp
            ifle 18
        17: .line 341
            aload 3 /* a */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.unrestricted:()Lorg/graalvm/compiler/core/common/type/IntegerStamp;
            areturn
        18: .line 343
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            iload 4 /* bits */
            lload 5 /* min */
            aload 0 /* this */
            lload 7 /* max */
            lload 9 /* aLower */
            lsub
            lload 7 /* max */
            lload 11 /* aUpper */
            lsub
            iload 4 /* bits */
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.max:(JJI)J
            invokevirtual org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp.forInteger:(IJJ)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
            areturn
        end local 11 // long aUpper
        end local 9 // long aLower
        end local 7 // long max
        end local 5 // long min
        end local 4 // int bits
        end local 3 // org.graalvm.compiler.core.common.type.IntegerStamp a
        end local 2 // boolean strict
        end local 1 // boolean mirrored
        end local 0 // org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp this
      LocalVariableTable:
        Start  End  Slot      Name  Signature
            0   19     0      this  Lorg/graalvm/compiler/nodes/calc/IntegerLowerThanNode$LowerOp;
            0   19     1  mirrored  Z
            0   19     2    strict  Z
            0   19     3         a  Lorg/graalvm/compiler/core/common/type/IntegerStamp;
            1   19     4      bits  I
            2   19     5       min  J
            3   19     7       max  J
            8   19     9    aLower  J
            9   19    11    aUpper  J
    MethodParameters:
          Name  Flags
      mirrored  
      strict    
      a         
}
SourceFile: "IntegerLowerThanNode.java"
NestHost: org.graalvm.compiler.nodes.calc.IntegerLowerThanNode
InnerClasses:
  public abstract CompareOp = org.graalvm.compiler.nodes.calc.CompareNode$CompareOp of org.graalvm.compiler.nodes.calc.CompareNode
  public abstract LowerOp = org.graalvm.compiler.nodes.calc.IntegerLowerThanNode$LowerOp of org.graalvm.compiler.nodes.calc.IntegerLowerThanNode