public final class org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode extends org.graalvm.compiler.nodes.calc.AddNode implements org.graalvm.compiler.replacements.nodes.arithmetic.IntegerExactArithmeticNode
  minor version: 0
  major version: 59
  flags: flags: (0x0031) ACC_PUBLIC, ACC_FINAL, ACC_SUPER
  this_class: org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode
  super_class: org.graalvm.compiler.nodes.calc.AddNode
{
  public static final org.graalvm.compiler.graph.NodeClass<org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode> 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/IntegerAddExactNode;>;

  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 55
            ldc Lorg/graalvm/compiler/replacements/nodes/arithmetic/IntegerAddExactNode;
            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.IntegerAddExactNode.$assertionsDisabled:Z
         3: .line 56
            ldc Lorg/graalvm/compiler/replacements/nodes/arithmetic/IntegerAddExactNode;
            invokestatic org.graalvm.compiler.graph.NodeClass.create:(Ljava/lang/Class;)Lorg/graalvm/compiler/graph/NodeClass;
            putstatic org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode.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.IntegerAddExactNode this
        start local 1 // org.graalvm.compiler.nodes.ValueNode x
        start local 2 // org.graalvm.compiler.nodes.ValueNode y
         0: .line 59
            aload 0 /* this */
            getstatic org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode.TYPE:Lorg/graalvm/compiler/graph/NodeClass;
            aload 1 /* x */
            aload 2 /* y */
            invokespecial org.graalvm.compiler.nodes.calc.AddNode.<init>:(Lorg/graalvm/compiler/graph/NodeClass;Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;)V
         1: .line 60
            aload 0 /* this */
            aload 1 /* x */
            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;
            invokevirtual org.graalvm.compiler.core.common.type.Stamp.unrestricted:()Lorg/graalvm/compiler/core/common/type/Stamp;
            invokevirtual org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode.setStamp:(Lorg/graalvm/compiler/core/common/type/Stamp;)V
         2: .line 61
            getstatic org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode.$assertionsDisabled:Z
            ifne 4
            aload 1 /* x */
            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;
            aload 2 /* y */
            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;
            invokevirtual org.graalvm.compiler.core.common.type.Stamp.isCompatible:(Lorg/graalvm/compiler/core/common/type/Stamp;)Z
            ifeq 3
            aload 1 /* x */
            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;
            instanceof org.graalvm.compiler.core.common.type.IntegerStamp
            ifne 4
      StackMap locals: org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode org.graalvm.compiler.nodes.ValueNode org.graalvm.compiler.nodes.ValueNode
      StackMap stack:
         3: new java.lang.AssertionError
            dup
            invokespecial java.lang.AssertionError.<init>:()V
            athrow
         4: .line 62
      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.replacements.nodes.arithmetic.IntegerAddExactNode this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    5     0  this  Lorg/graalvm/compiler/replacements/nodes/arithmetic/IntegerAddExactNode;
            0    5     1     x  Lorg/graalvm/compiler/nodes/ValueNode;
            0    5     2     y  Lorg/graalvm/compiler/nodes/ValueNode;
    MethodParameters:
      Name  Flags
      x     
      y     

  public boolean inferStamp();
    descriptor: ()Z
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode this
         0: .line 72
            iconst_0
            ireturn
        end local 0 // org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lorg/graalvm/compiler/replacements/nodes/arithmetic/IntegerAddExactNode;

  public org.graalvm.compiler.core.common.type.Stamp foldStamp(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;)Lorg/graalvm/compiler/core/common/type/Stamp;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=9, locals=25, args_size=3
        start local 0 // org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode this
        start local 1 // org.graalvm.compiler.core.common.type.Stamp stampX
        start local 2 // org.graalvm.compiler.core.common.type.Stamp stampY
         0: .line 77
            aload 1 /* stampX */
            checkcast org.graalvm.compiler.core.common.type.IntegerStamp
            astore 3 /* a */
        start local 3 // org.graalvm.compiler.core.common.type.IntegerStamp a
         1: .line 78
            aload 2 /* stampY */
            checkcast org.graalvm.compiler.core.common.type.IntegerStamp
            astore 4 /* b */
        start local 4 // org.graalvm.compiler.core.common.type.IntegerStamp b
         2: .line 80
            aload 3 /* a */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.getBits:()I
            istore 5 /* bits */
        start local 5 // int bits
         3: .line 81
            getstatic org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode.$assertionsDisabled:Z
            ifne 4
            iload 5 /* bits */
            aload 4 /* b */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.getBits:()I
            if_icmpeq 4
            new java.lang.AssertionError
            dup
            invokespecial java.lang.AssertionError.<init>:()V
            athrow
         4: .line 83
      StackMap locals: org.graalvm.compiler.core.common.type.IntegerStamp org.graalvm.compiler.core.common.type.IntegerStamp int
      StackMap stack:
            iload 5 /* bits */
            invokestatic jdk.vm.ci.code.CodeUtil.mask:(I)J
            lstore 6 /* defaultMask */
        start local 6 // long defaultMask
         5: .line 84
            aload 3 /* a */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.downMask:()J
            aload 3 /* a */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.upMask:()J
            lxor
            aload 4 /* b */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.downMask:()J
            aload 4 /* b */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.upMask:()J
            lxor
            lor
            lstore 8 /* variableBits */
        start local 8 // long variableBits
         6: .line 85
            lload 8 /* variableBits */
            aload 3 /* a */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.downMask:()J
            aload 4 /* b */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.downMask:()J
            invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.carryBits:(JJ)J
            aload 3 /* a */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.upMask:()J
            aload 4 /* b */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.upMask:()J
            invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.carryBits:(JJ)J
            lxor
            lor
            lstore 10 /* variableBitsWithCarry */
        start local 10 // long variableBitsWithCarry
         7: .line 86
            aload 3 /* a */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.downMask:()J
            aload 4 /* b */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.downMask:()J
            ladd
            lload 10 /* variableBitsWithCarry */
            ldc -1
            lxor
            land
            lstore 12 /* newDownMask */
        start local 12 // long newDownMask
         8: .line 87
            aload 3 /* a */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.downMask:()J
            aload 4 /* b */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.downMask:()J
            ladd
            lload 10 /* variableBitsWithCarry */
            lor
            lstore 14 /* newUpMask */
        start local 14 // long newUpMask
         9: .line 89
            lload 12 /* newDownMask */
            lload 6 /* defaultMask */
            land
            lstore 12 /* newDownMask */
        10: .line 90
            lload 14 /* newUpMask */
            lload 6 /* defaultMask */
            land
            lstore 14 /* newUpMask */
        11: .line 94
            aload 3 /* a */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.lowerBound:()J
            aload 4 /* b */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.lowerBound:()J
            iload 5 /* bits */
            invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.addOverflowsPositively:(JJI)Z
            istore 20 /* lowerOverflowsPositively */
        start local 20 // boolean lowerOverflowsPositively
        12: .line 95
            aload 3 /* a */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.upperBound:()J
            aload 4 /* b */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.upperBound:()J
            iload 5 /* bits */
            invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.addOverflowsPositively:(JJI)Z
            istore 21 /* upperOverflowsPositively */
        start local 21 // boolean upperOverflowsPositively
        13: .line 96
            aload 3 /* a */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.lowerBound:()J
            aload 4 /* b */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.lowerBound:()J
            iload 5 /* bits */
            invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.addOverflowsNegatively:(JJI)Z
            istore 22 /* lowerOverflowsNegatively */
        start local 22 // boolean lowerOverflowsNegatively
        14: .line 97
            aload 3 /* a */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.upperBound:()J
            aload 4 /* b */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.upperBound:()J
            iload 5 /* bits */
            invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.addOverflowsNegatively:(JJI)Z
            istore 23 /* upperOverflowsNegatively */
        start local 23 // boolean upperOverflowsNegatively
        15: .line 98
            iload 20 /* lowerOverflowsPositively */
            ifeq 18
        16: .line 99
            iload 5 /* bits */
            invokestatic jdk.vm.ci.code.CodeUtil.maxValue:(I)J
            lstore 16 /* newLowerBound */
        start local 16 // long newLowerBound
        17: .line 100
            goto 22
        end local 16 // long newLowerBound
      StackMap locals: org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode org.graalvm.compiler.core.common.type.Stamp org.graalvm.compiler.core.common.type.Stamp org.graalvm.compiler.core.common.type.IntegerStamp org.graalvm.compiler.core.common.type.IntegerStamp int long long long long long top top top top int int int int
      StackMap stack:
        18: iload 22 /* lowerOverflowsNegatively */
            ifeq 21
        19: .line 101
            iload 5 /* bits */
            invokestatic jdk.vm.ci.code.CodeUtil.minValue:(I)J
            lstore 16 /* newLowerBound */
        start local 16 // long newLowerBound
        20: .line 102
            goto 22
        end local 16 // long newLowerBound
        21: .line 103
      StackMap locals:
      StackMap stack:
            aload 3 /* a */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.lowerBound:()J
            aload 4 /* b */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.lowerBound:()J
            ladd
            lload 6 /* defaultMask */
            land
            iload 5 /* bits */
            invokestatic jdk.vm.ci.code.CodeUtil.signExtend:(JI)J
            lstore 16 /* newLowerBound */
        start local 16 // long newLowerBound
        22: .line 106
      StackMap locals: org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode org.graalvm.compiler.core.common.type.Stamp org.graalvm.compiler.core.common.type.Stamp org.graalvm.compiler.core.common.type.IntegerStamp org.graalvm.compiler.core.common.type.IntegerStamp int long long long long long long top top int int int int
      StackMap stack:
            iload 21 /* upperOverflowsPositively */
            ifeq 25
        23: .line 107
            iload 5 /* bits */
            invokestatic jdk.vm.ci.code.CodeUtil.maxValue:(I)J
            lstore 18 /* newUpperBound */
        start local 18 // long newUpperBound
        24: .line 108
            goto 29
        end local 18 // long newUpperBound
      StackMap locals:
      StackMap stack:
        25: iload 23 /* upperOverflowsNegatively */
            ifeq 28
        26: .line 109
            iload 5 /* bits */
            invokestatic jdk.vm.ci.code.CodeUtil.minValue:(I)J
            lstore 18 /* newUpperBound */
        start local 18 // long newUpperBound
        27: .line 110
            goto 29
        end local 18 // long newUpperBound
        28: .line 111
      StackMap locals:
      StackMap stack:
            aload 3 /* a */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.upperBound:()J
            aload 4 /* b */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.upperBound:()J
            ladd
            lload 6 /* defaultMask */
            land
            iload 5 /* bits */
            invokestatic jdk.vm.ci.code.CodeUtil.signExtend:(JI)J
            lstore 18 /* newUpperBound */
        start local 18 // long newUpperBound
        29: .line 114
      StackMap locals: org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode org.graalvm.compiler.core.common.type.Stamp org.graalvm.compiler.core.common.type.Stamp org.graalvm.compiler.core.common.type.IntegerStamp org.graalvm.compiler.core.common.type.IntegerStamp int long long long long long long long int int int int
      StackMap stack:
            iload 5 /* bits */
            lload 16 /* newLowerBound */
            lload 18 /* newUpperBound */
            invokestatic org.graalvm.compiler.core.common.type.StampFactory.forInteger:(IJJ)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
            astore 24 /* limit */
        start local 24 // org.graalvm.compiler.core.common.type.IntegerStamp limit
        30: .line 115
            lload 14 /* newUpMask */
            aload 24 /* limit */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.upMask:()J
            land
            lstore 14 /* newUpMask */
        31: .line 116
            lload 18 /* newUpperBound */
            lload 14 /* newUpMask */
            land
            iload 5 /* bits */
            invokestatic jdk.vm.ci.code.CodeUtil.signExtend:(JI)J
            lstore 18 /* newUpperBound */
        32: .line 117
            lload 12 /* newDownMask */
            aload 24 /* limit */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.downMask:()J
            lor
            lstore 12 /* newDownMask */
        33: .line 118
            lload 16 /* newLowerBound */
            lload 12 /* newDownMask */
            lor
            lstore 16 /* newLowerBound */
        34: .line 119
            iload 5 /* bits */
            lload 16 /* newLowerBound */
            lload 18 /* newUpperBound */
            lload 12 /* newDownMask */
            lload 14 /* newUpMask */
            invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.create:(IJJJJ)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
            areturn
        end local 24 // org.graalvm.compiler.core.common.type.IntegerStamp limit
        end local 23 // boolean upperOverflowsNegatively
        end local 22 // boolean lowerOverflowsNegatively
        end local 21 // boolean upperOverflowsPositively
        end local 20 // boolean lowerOverflowsPositively
        end local 18 // long newUpperBound
        end local 16 // long newLowerBound
        end local 14 // long newUpMask
        end local 12 // long newDownMask
        end local 10 // long variableBitsWithCarry
        end local 8 // long variableBits
        end local 6 // long defaultMask
        end local 5 // int bits
        end local 4 // org.graalvm.compiler.core.common.type.IntegerStamp b
        end local 3 // org.graalvm.compiler.core.common.type.IntegerStamp a
        end local 2 // org.graalvm.compiler.core.common.type.Stamp stampY
        end local 1 // org.graalvm.compiler.core.common.type.Stamp stampX
        end local 0 // org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode this
      LocalVariableTable:
        Start  End  Slot                      Name  Signature
            0   35     0                      this  Lorg/graalvm/compiler/replacements/nodes/arithmetic/IntegerAddExactNode;
            0   35     1                    stampX  Lorg/graalvm/compiler/core/common/type/Stamp;
            0   35     2                    stampY  Lorg/graalvm/compiler/core/common/type/Stamp;
            1   35     3                         a  Lorg/graalvm/compiler/core/common/type/IntegerStamp;
            2   35     4                         b  Lorg/graalvm/compiler/core/common/type/IntegerStamp;
            3   35     5                      bits  I
            5   35     6               defaultMask  J
            6   35     8              variableBits  J
            7   35    10     variableBitsWithCarry  J
            8   35    12               newDownMask  J
            9   35    14                 newUpMask  J
           17   18    16             newLowerBound  J
           20   21    16             newLowerBound  J
           22   35    16             newLowerBound  J
           24   25    18             newUpperBound  J
           27   28    18             newUpperBound  J
           29   35    18             newUpperBound  J
           12   35    20  lowerOverflowsPositively  Z
           13   35    21  upperOverflowsPositively  Z
           14   35    22  lowerOverflowsNegatively  Z
           15   35    23  upperOverflowsNegatively  Z
           30   35    24                     limit  Lorg/graalvm/compiler/core/common/type/IntegerStamp;
    MethodParameters:
        Name  Flags
      stampX  
      stampY  

  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.IntegerAddExactNode 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 124
            aload 2 /* forX */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.isConstant:()Z
            ifeq 2
            aload 3 /* forY */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.isConstant:()Z
            ifne 2
         1: .line 125
            new org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode
            dup
            aload 3 /* forY */
            aload 2 /* forX */
            invokespecial org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode.<init>:(Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;)V
            aload 1 /* tool */
            invokevirtual org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode.canonical:(Lorg/graalvm/compiler/graph/spi/CanonicalizerTool;)Lorg/graalvm/compiler/graph/Node;
            checkcast org.graalvm.compiler.nodes.ValueNode
            areturn
         2: .line 127
      StackMap locals:
      StackMap stack:
            aload 2 /* forX */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.isConstant:()Z
            ifeq 6
         3: .line 128
            aload 2 /* forX */
            aload 3 /* forY */
            invokestatic org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode.canonicalXconstant:(Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;)Lorg/graalvm/compiler/nodes/ConstantNode;
            astore 4 /* constantNode */
        start local 4 // org.graalvm.compiler.nodes.ConstantNode constantNode
         4: .line 129
            aload 4 /* constantNode */
            ifnull 10
         5: .line 130
            aload 4 /* constantNode */
            areturn
        end local 4 // org.graalvm.compiler.nodes.ConstantNode constantNode
         6: .line 132
      StackMap locals:
      StackMap stack:
            aload 3 /* forY */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.isConstant:()Z
            ifeq 10
         7: .line 133
            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
         8: .line 134
            lload 4 /* c */
            lconst_0
            lcmp
            ifne 10
         9: .line 135
            aload 2 /* forX */
            areturn
        end local 4 // long c
        10: .line 138
      StackMap locals:
      StackMap stack:
            aload 2 /* forX */
            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 3 /* forY */
            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.addCanOverflow:(Lorg/graalvm/compiler/core/common/type/IntegerStamp;Lorg/graalvm/compiler/core/common/type/IntegerStamp;)Z
            ifne 12
        11: .line 139
            new org.graalvm.compiler.nodes.calc.AddNode
            dup
            aload 2 /* forX */
            aload 3 /* forY */
            invokespecial org.graalvm.compiler.nodes.calc.AddNode.<init>:(Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;)V
            aload 1 /* tool */
            invokevirtual org.graalvm.compiler.nodes.calc.AddNode.canonical:(Lorg/graalvm/compiler/graph/spi/CanonicalizerTool;)Lorg/graalvm/compiler/graph/Node;
            checkcast org.graalvm.compiler.nodes.ValueNode
            areturn
        12: .line 141
      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.IntegerAddExactNode this
      LocalVariableTable:
        Start  End  Slot          Name  Signature
            0   13     0          this  Lorg/graalvm/compiler/replacements/nodes/arithmetic/IntegerAddExactNode;
            0   13     1          tool  Lorg/graalvm/compiler/graph/spi/CanonicalizerTool;
            0   13     2          forX  Lorg/graalvm/compiler/nodes/ValueNode;
            0   13     3          forY  Lorg/graalvm/compiler/nodes/ValueNode;
            4    6     4  constantNode  Lorg/graalvm/compiler/nodes/ConstantNode;
            8   10     4             c  J
    MethodParameters:
      Name  Flags
      tool  
      forX  
      forY  

  private static org.graalvm.compiler.nodes.ConstantNode canonicalXconstant(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/ConstantNode;
    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 145
            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 146
            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 147
            aload 2 /* xConst */
            ifnull 11
            aload 3 /* yConst */
            ifnull 11
         3: .line 148
            getstatic org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode.$assertionsDisabled:Z
            ifne 4
            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 4
            new java.lang.AssertionError
            dup
            invokespecial java.lang.AssertionError.<init>:()V
            athrow
         4: .line 150
      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 7
         5: .line 151
            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.addExact:(II)I
            invokestatic org.graalvm.compiler.nodes.ConstantNode.forInt:(I)Lorg/graalvm/compiler/nodes/ConstantNode;
         6: areturn
         7: .line 153
      StackMap locals:
      StackMap stack:
            getstatic org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode.$assertionsDisabled:Z
            ifne 8
            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 8
            new java.lang.AssertionError
            dup
            invokespecial java.lang.AssertionError.<init>:()V
            athrow
         8: .line 154
      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.addExact:(JJ)J
            invokestatic org.graalvm.compiler.nodes.ConstantNode.forLong:(J)Lorg/graalvm/compiler/nodes/ConstantNode;
         9: areturn
        10: .line 156
      StackMap locals:
      StackMap stack: java.lang.ArithmeticException
            pop
        11: .line 160
      StackMap locals:
      StackMap stack:
            aconst_null
            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
           4     6      10  Class java.lang.ArithmeticException
           7     9      10  Class java.lang.ArithmeticException
    MethodParameters:
      Name  Flags
      forX  
      forY  

  public org.graalvm.compiler.replacements.nodes.arithmetic.IntegerExactArithmeticSplitNode createSplit(org.graalvm.compiler.nodes.AbstractBeginNode, org.graalvm.compiler.nodes.AbstractBeginNode);
    descriptor: (Lorg/graalvm/compiler/nodes/AbstractBeginNode;Lorg/graalvm/compiler/nodes/AbstractBeginNode;)Lorg/graalvm/compiler/replacements/nodes/arithmetic/IntegerExactArithmeticSplitNode;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=8, locals=3, args_size=3
        start local 0 // org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode this
        start local 1 // org.graalvm.compiler.nodes.AbstractBeginNode next
        start local 2 // org.graalvm.compiler.nodes.AbstractBeginNode deopt
         0: .line 165
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode.graph:()Lorg/graalvm/compiler/nodes/StructuredGraph;
            new org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactSplitNode
            dup
            aload 0 /* this */
            getstatic org.graalvm.compiler.nodes.NodeView.DEFAULT:Lorg/graalvm/compiler/nodes/NodeView;
            invokevirtual org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode.stamp:(Lorg/graalvm/compiler/nodes/NodeView;)Lorg/graalvm/compiler/core/common/type/Stamp;
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode.getX:()Lorg/graalvm/compiler/nodes/ValueNode;
            aload 0 /* this */
            invokevirtual org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode.getY:()Lorg/graalvm/compiler/nodes/ValueNode;
            aload 1 /* next */
            aload 2 /* deopt */
            invokespecial org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactSplitNode.<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
            invokevirtual org.graalvm.compiler.nodes.StructuredGraph.add:(Lorg/graalvm/compiler/graph/Node;)Lorg/graalvm/compiler/graph/Node;
            checkcast org.graalvm.compiler.replacements.nodes.arithmetic.IntegerExactArithmeticSplitNode
            areturn
        end local 2 // org.graalvm.compiler.nodes.AbstractBeginNode deopt
        end local 1 // org.graalvm.compiler.nodes.AbstractBeginNode next
        end local 0 // org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode this
      LocalVariableTable:
        Start  End  Slot   Name  Signature
            0    1     0   this  Lorg/graalvm/compiler/replacements/nodes/arithmetic/IntegerAddExactNode;
            0    1     1   next  Lorg/graalvm/compiler/nodes/AbstractBeginNode;
            0    1     2  deopt  Lorg/graalvm/compiler/nodes/AbstractBeginNode;
    MethodParameters:
       Name  Flags
      next   
      deopt  

  public void lower(org.graalvm.compiler.nodes.spi.LoweringTool);
    descriptor: (Lorg/graalvm/compiler/nodes/spi/LoweringTool;)V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=2, locals=2, args_size=2
        start local 0 // org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode this
        start local 1 // org.graalvm.compiler.nodes.spi.LoweringTool tool
         0: .line 170
            aload 1 /* tool */
            aload 0 /* this */
            invokestatic org.graalvm.compiler.replacements.nodes.arithmetic.IntegerExactArithmeticSplitNode.lower:(Lorg/graalvm/compiler/nodes/spi/LoweringTool;Lorg/graalvm/compiler/replacements/nodes/arithmetic/IntegerExactArithmeticNode;)V
         1: .line 171
            return
        end local 1 // org.graalvm.compiler.nodes.spi.LoweringTool tool
        end local 0 // org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    2     0  this  Lorg/graalvm/compiler/replacements/nodes/arithmetic/IntegerAddExactNode;
            0    2     1  tool  Lorg/graalvm/compiler/nodes/spi/LoweringTool;
    MethodParameters:
      Name  Flags
      tool  

  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.IntegerAddExactNode.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: "IntegerAddExactNode.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;)