public class org.graalvm.compiler.replacements.nodes.arithmetic.IntegerSubExactOverflowNode extends org.graalvm.compiler.replacements.nodes.arithmetic.IntegerExactOverflowNode implements org.graalvm.compiler.graph.spi.Simplifiable
  minor version: 0
  major version: 59
  flags: flags: (0x0021) ACC_PUBLIC, ACC_SUPER
  this_class: org.graalvm.compiler.replacements.nodes.arithmetic.IntegerSubExactOverflowNode
  super_class: org.graalvm.compiler.replacements.nodes.arithmetic.IntegerExactOverflowNode
{
  public static final org.graalvm.compiler.graph.NodeClass<org.graalvm.compiler.replacements.nodes.arithmetic.IntegerSubExactOverflowNode> TYPE;
    descriptor: Lorg/graalvm/compiler/graph/NodeClass;
    flags: (0x0019) ACC_PUBLIC, ACC_STATIC, ACC_FINAL
    Signature: Lorg/graalvm/compiler/graph/NodeClass<Lorg/graalvm/compiler/replacements/nodes/arithmetic/IntegerSubExactOverflowNode;>;

  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 47
            ldc Lorg/graalvm/compiler/replacements/nodes/arithmetic/IntegerSubExactOverflowNode;
            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.replacements.nodes.arithmetic.IntegerSubExactOverflowNode.$assertionsDisabled:Z
         3: .line 48
            ldc Lorg/graalvm/compiler/replacements/nodes/arithmetic/IntegerSubExactOverflowNode;
            invokestatic org.graalvm.compiler.graph.NodeClass.create:(Ljava/lang/Class;)Lorg/graalvm/compiler/graph/NodeClass;
            putstatic org.graalvm.compiler.replacements.nodes.arithmetic.IntegerSubExactOverflowNode.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=4, locals=3, args_size=3
        start local 0 // org.graalvm.compiler.replacements.nodes.arithmetic.IntegerSubExactOverflowNode this
        start local 1 // org.graalvm.compiler.nodes.ValueNode x
        start local 2 // org.graalvm.compiler.nodes.ValueNode y
         0: .line 51
            aload 0 /* this */
            getstatic org.graalvm.compiler.replacements.nodes.arithmetic.IntegerSubExactOverflowNode.TYPE:Lorg/graalvm/compiler/graph/NodeClass;
            aload 1 /* x */
            aload 2 /* y */
            invokespecial org.graalvm.compiler.replacements.nodes.arithmetic.IntegerExactOverflowNode.<init>:(Lorg/graalvm/compiler/graph/NodeClass;Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;)V
         1: .line 52
            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.replacements.nodes.arithmetic.IntegerSubExactOverflowNode this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    2     0  this  Lorg/graalvm/compiler/replacements/nodes/arithmetic/IntegerSubExactOverflowNode;
            0    2     1     x  Lorg/graalvm/compiler/nodes/ValueNode;
            0    2     2     y  Lorg/graalvm/compiler/nodes/ValueNode;
    MethodParameters:
      Name  Flags
      x     
      y     

  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.replacements.nodes.arithmetic.IntegerSubExactOverflowNode 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 56
            aload 2 /* forX */
            invokestatic org.graalvm.compiler.nodes.util.GraphUtil.unproxify:(Lorg/graalvm/compiler/nodes/ValueNode;)Lorg/graalvm/compiler/nodes/ValueNode;
            aload 3 /* forY */
            invokestatic org.graalvm.compiler.nodes.util.GraphUtil.unproxify:(Lorg/graalvm/compiler/nodes/ValueNode;)Lorg/graalvm/compiler/nodes/ValueNode;
            if_acmpne 2
         1: .line 57
            iconst_0
            invokestatic org.graalvm.compiler.nodes.LogicConstantNode.forBoolean:(Z)Lorg/graalvm/compiler/nodes/LogicConstantNode;
            areturn
         2: .line 59
      StackMap locals:
      StackMap stack:
            aload 2 /* forX */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.isConstant:()Z
            ifeq 4
            aload 3 /* forY */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.isConstant:()Z
            ifeq 4
         3: .line 60
            aload 2 /* forX */
            aload 3 /* forY */
            invokestatic org.graalvm.compiler.replacements.nodes.arithmetic.IntegerSubExactOverflowNode.canonicalXYconstant:(Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;)Lorg/graalvm/compiler/nodes/LogicConstantNode;
            areturn
         4: .line 61
      StackMap locals:
      StackMap stack:
            aload 3 /* forY */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.isConstant:()Z
            ifeq 8
         5: .line 62
            aload 3 /* forY */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.asJavaConstant:()Ljdk/vm/ci/meta/JavaConstant;
            invokeinterface jdk.vm.ci.meta.JavaConstant.asLong:()J
            lstore 4 /* c */
        start local 4 // long c
         6: .line 63
            lload 4 /* c */
            lconst_0
            lcmp
            ifne 8
         7: .line 64
            iconst_0
            invokestatic org.graalvm.compiler.nodes.LogicConstantNode.forBoolean:(Z)Lorg/graalvm/compiler/nodes/LogicConstantNode;
            areturn
        end local 4 // long c
         8: .line 67
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.graalvm.compiler.replacements.nodes.arithmetic.IntegerSubExactOverflowNode.x:Lorg/graalvm/compiler/nodes/ValueNode;
            getstatic org.graalvm.compiler.nodes.NodeView.DEFAULT:Lorg/graalvm/compiler/nodes/NodeView;
            invokevirtual org.graalvm.compiler.nodes.ValueNode.stamp:(Lorg/graalvm/compiler/nodes/NodeView;)Lorg/graalvm/compiler/core/common/type/Stamp;
            checkcast org.graalvm.compiler.core.common.type.IntegerStamp
            aload 0 /* this */
            getfield org.graalvm.compiler.replacements.nodes.arithmetic.IntegerSubExactOverflowNode.y:Lorg/graalvm/compiler/nodes/ValueNode;
            getstatic org.graalvm.compiler.nodes.NodeView.DEFAULT:Lorg/graalvm/compiler/nodes/NodeView;
            invokevirtual org.graalvm.compiler.nodes.ValueNode.stamp:(Lorg/graalvm/compiler/nodes/NodeView;)Lorg/graalvm/compiler/core/common/type/Stamp;
            checkcast org.graalvm.compiler.core.common.type.IntegerStamp
            invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.subtractionCanOverflow:(Lorg/graalvm/compiler/core/common/type/IntegerStamp;Lorg/graalvm/compiler/core/common/type/IntegerStamp;)Z
            ifne 10
         9: .line 68
            iconst_0
            invokestatic org.graalvm.compiler.nodes.LogicConstantNode.forBoolean:(Z)Lorg/graalvm/compiler/nodes/LogicConstantNode;
            areturn
        10: .line 70
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            areturn
        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.replacements.nodes.arithmetic.IntegerSubExactOverflowNode this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0   11     0  this  Lorg/graalvm/compiler/replacements/nodes/arithmetic/IntegerSubExactOverflowNode;
            0   11     1  tool  Lorg/graalvm/compiler/graph/spi/CanonicalizerTool;
            0   11     2  forX  Lorg/graalvm/compiler/nodes/ValueNode;
            0   11     3  forY  Lorg/graalvm/compiler/nodes/ValueNode;
            6    8     4     c  J
    MethodParameters:
      Name  Flags
      tool  
      forX  
      forY  

  private static org.graalvm.compiler.nodes.LogicConstantNode canonicalXYconstant(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/LogicConstantNode;
    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 74
            aload 0 /* forX */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.asJavaConstant:()Ljdk/vm/ci/meta/JavaConstant;
            astore 2 /* xConst */
        start local 2 // jdk.vm.ci.meta.JavaConstant xConst
         1: .line 75
            aload 1 /* forY */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.asJavaConstant:()Ljdk/vm/ci/meta/JavaConstant;
            astore 3 /* yConst */
        start local 3 // jdk.vm.ci.meta.JavaConstant yConst
         2: .line 76
            getstatic org.graalvm.compiler.replacements.nodes.arithmetic.IntegerSubExactOverflowNode.$assertionsDisabled:Z
            ifne 3
            aload 2 /* xConst */
            invokeinterface jdk.vm.ci.meta.JavaConstant.getJavaKind:()Ljdk/vm/ci/meta/JavaKind;
            aload 3 /* yConst */
            invokeinterface jdk.vm.ci.meta.JavaConstant.getJavaKind:()Ljdk/vm/ci/meta/JavaKind;
            if_acmpeq 3
            new java.lang.AssertionError
            dup
            invokespecial java.lang.AssertionError.<init>:()V
            athrow
         3: .line 78
      StackMap locals: jdk.vm.ci.meta.JavaConstant jdk.vm.ci.meta.JavaConstant
      StackMap stack:
            aload 2 /* xConst */
            invokeinterface jdk.vm.ci.meta.JavaConstant.getJavaKind:()Ljdk/vm/ci/meta/JavaKind;
            getstatic jdk.vm.ci.meta.JavaKind.Int:Ljdk/vm/ci/meta/JavaKind;
            if_acmpne 6
         4: .line 79
            aload 2 /* xConst */
            invokeinterface jdk.vm.ci.meta.JavaConstant.asInt:()I
            aload 3 /* yConst */
            invokeinterface jdk.vm.ci.meta.JavaConstant.asInt:()I
            invokestatic java.lang.Math.subtractExact:(II)I
            pop
         5: .line 80
            goto 11
         6: .line 81
      StackMap locals:
      StackMap stack:
            getstatic org.graalvm.compiler.replacements.nodes.arithmetic.IntegerSubExactOverflowNode.$assertionsDisabled:Z
            ifne 7
            aload 2 /* xConst */
            invokeinterface jdk.vm.ci.meta.JavaConstant.getJavaKind:()Ljdk/vm/ci/meta/JavaKind;
            getstatic jdk.vm.ci.meta.JavaKind.Long:Ljdk/vm/ci/meta/JavaKind;
            if_acmpeq 7
            new java.lang.AssertionError
            dup
            invokespecial java.lang.AssertionError.<init>:()V
            athrow
         7: .line 82
      StackMap locals:
      StackMap stack:
            aload 2 /* xConst */
            invokeinterface jdk.vm.ci.meta.JavaConstant.asLong:()J
            aload 3 /* yConst */
            invokeinterface jdk.vm.ci.meta.JavaConstant.asLong:()J
            invokestatic java.lang.Math.subtractExact:(JJ)J
            pop2
         8: .line 84
            goto 11
      StackMap locals:
      StackMap stack: java.lang.ArithmeticException
         9: pop
        10: .line 86
            iconst_1
            invokestatic org.graalvm.compiler.nodes.LogicConstantNode.forBoolean:(Z)Lorg/graalvm/compiler/nodes/LogicConstantNode;
            areturn
        11: .line 89
      StackMap locals:
      StackMap stack:
            iconst_0
            invokestatic org.graalvm.compiler.nodes.LogicConstantNode.forBoolean:(Z)Lorg/graalvm/compiler/nodes/LogicConstantNode;
            areturn
        end local 3 // jdk.vm.ci.meta.JavaConstant yConst
        end local 2 // jdk.vm.ci.meta.JavaConstant xConst
        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   12     0    forX  Lorg/graalvm/compiler/nodes/ValueNode;
            0   12     1    forY  Lorg/graalvm/compiler/nodes/ValueNode;
            1   12     2  xConst  Ljdk/vm/ci/meta/JavaConstant;
            2   12     3  yConst  Ljdk/vm/ci/meta/JavaConstant;
      Exception table:
        from    to  target  type
           3     8       9  Class java.lang.ArithmeticException
    MethodParameters:
      Name  Flags
      forX  
      forY  

  protected org.graalvm.compiler.replacements.nodes.arithmetic.IntegerExactArithmeticSplitNode createSplit(org.graalvm.compiler.core.common.type.Stamp, org.graalvm.compiler.nodes.AbstractBeginNode, org.graalvm.compiler.nodes.AbstractBeginNode);
    descriptor: (Lorg/graalvm/compiler/core/common/type/Stamp;Lorg/graalvm/compiler/nodes/AbstractBeginNode;Lorg/graalvm/compiler/nodes/AbstractBeginNode;)Lorg/graalvm/compiler/replacements/nodes/arithmetic/IntegerExactArithmeticSplitNode;
    flags: (0x0004) ACC_PROTECTED
    Code:
      stack=7, locals=4, args_size=4
        start local 0 // org.graalvm.compiler.replacements.nodes.arithmetic.IntegerSubExactOverflowNode this
        start local 1 // org.graalvm.compiler.core.common.type.Stamp splitStamp
        start local 2 // org.graalvm.compiler.nodes.AbstractBeginNode next
        start local 3 // org.graalvm.compiler.nodes.AbstractBeginNode overflow
         0: .line 94
            new org.graalvm.compiler.replacements.nodes.arithmetic.IntegerSubExactSplitNode
            dup
            aload 1 /* splitStamp */
            aload 0 /* this */
            getfield org.graalvm.compiler.replacements.nodes.arithmetic.IntegerSubExactOverflowNode.x:Lorg/graalvm/compiler/nodes/ValueNode;
            aload 0 /* this */
            getfield org.graalvm.compiler.replacements.nodes.arithmetic.IntegerSubExactOverflowNode.y:Lorg/graalvm/compiler/nodes/ValueNode;
            aload 2 /* next */
            aload 3 /* overflow */
            invokespecial org.graalvm.compiler.replacements.nodes.arithmetic.IntegerSubExactSplitNode.<init>:(Lorg/graalvm/compiler/core/common/type/Stamp;Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/AbstractBeginNode;Lorg/graalvm/compiler/nodes/AbstractBeginNode;)V
            areturn
        end local 3 // org.graalvm.compiler.nodes.AbstractBeginNode overflow
        end local 2 // org.graalvm.compiler.nodes.AbstractBeginNode next
        end local 1 // org.graalvm.compiler.core.common.type.Stamp splitStamp
        end local 0 // org.graalvm.compiler.replacements.nodes.arithmetic.IntegerSubExactOverflowNode this
      LocalVariableTable:
        Start  End  Slot        Name  Signature
            0    1     0        this  Lorg/graalvm/compiler/replacements/nodes/arithmetic/IntegerSubExactOverflowNode;
            0    1     1  splitStamp  Lorg/graalvm/compiler/core/common/type/Stamp;
            0    1     2        next  Lorg/graalvm/compiler/nodes/AbstractBeginNode;
            0    1     3    overflow  Lorg/graalvm/compiler/nodes/AbstractBeginNode;
    MethodParameters:
            Name  Flags
      splitStamp  
      next        
      overflow    

  protected java.lang.Class<? extends org.graalvm.compiler.nodes.calc.BinaryNode> getCoupledType();
    descriptor: ()Ljava/lang/Class;
    flags: (0x0004) ACC_PROTECTED
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // org.graalvm.compiler.replacements.nodes.arithmetic.IntegerSubExactOverflowNode this
         0: .line 99
            ldc Lorg/graalvm/compiler/replacements/nodes/arithmetic/IntegerSubExactNode;
            areturn
        end local 0 // org.graalvm.compiler.replacements.nodes.arithmetic.IntegerSubExactOverflowNode this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lorg/graalvm/compiler/replacements/nodes/arithmetic/IntegerSubExactOverflowNode;
    Signature: ()Ljava/lang/Class<+Lorg/graalvm/compiler/nodes/calc/BinaryNode;>;

  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.replacements.nodes.arithmetic.IntegerSubExactOverflowNode.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
}
SourceFile: "IntegerSubExactOverflowNode.java"
    RuntimeVisibleAnnotations: 
      org.graalvm.compiler.nodeinfo.NodeInfo(cycles = org.graalvm.compiler.nodeinfo.NodeCycles.CYCLES_2:Lorg/graalvm/compiler/nodeinfo/NodeCycles;, size = org.graalvm.compiler.nodeinfo.NodeSize.SIZE_2:Lorg/graalvm/compiler/nodeinfo/NodeSize;)