java/13 : jdk.internal.vm.compiler/org/graalvm/compiler/replacements/nodes/arithmetic/IntegerAddExactNode.class

IntegerAddExactNode
https://openjdk.java.net/
GPLv2 + Classpath Exception
public final class org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode extends org.graalvm.compiler.nodes.calc.AddNode implements org.graalvm.compiler.nodes.extended.GuardedNode, 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;>;

  protected org.graalvm.compiler.nodes.extended.GuardingNode guard;
    descriptor: Lorg/graalvm/compiler/nodes/extended/GuardingNode;
    flags: (0x0004) ACC_PROTECTED
    RuntimeVisibleAnnotations: 
      org.graalvm.compiler.graph.Node$Input(value = org.graalvm.compiler.nodeinfo.InputType.Guard:Lorg/graalvm/compiler/nodeinfo/InputType;)

  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 56
            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 57
            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, org.graalvm.compiler.nodes.extended.GuardingNode);
    descriptor: (Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/extended/GuardingNode;)V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=4, locals=4, args_size=4
        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
        start local 3 // org.graalvm.compiler.nodes.extended.GuardingNode guard
         0: .line 62
            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 63
            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 64
            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 org.graalvm.compiler.nodes.extended.GuardingNode
      StackMap stack:
         3: new java.lang.AssertionError
            dup
            invokespecial java.lang.AssertionError.<init>:()V
            athrow
         4: .line 65
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            aload 3 /* guard */
            putfield org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode.guard:Lorg/graalvm/compiler/nodes/extended/GuardingNode;
         5: .line 66
            return
        end local 3 // org.graalvm.compiler.nodes.extended.GuardingNode guard
        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    6     0   this  Lorg/graalvm/compiler/replacements/nodes/arithmetic/IntegerAddExactNode;
            0    6     1      x  Lorg/graalvm/compiler/nodes/ValueNode;
            0    6     2      y  Lorg/graalvm/compiler/nodes/ValueNode;
            0    6     3  guard  Lorg/graalvm/compiler/nodes/extended/GuardingNode;
    MethodParameters:
       Name  Flags
      x      
      y      
      guard  

  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 76
            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 81
            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 82
            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 84
            aload 3 /* a */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.getBits:()I
            istore 5 /* bits */
        start local 5 // int bits
         3: .line 85
            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 87
      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 88
            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 89
            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 90
            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 91
            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 93
            lload 12 /* newDownMask */
            lload 6 /* defaultMask */
            land
            lstore 12 /* newDownMask */
        10: .line 94
            lload 14 /* newUpMask */
            lload 6 /* defaultMask */
            land
            lstore 14 /* newUpMask */
        11: .line 98
            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 99
            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 100
            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 101
            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 102
            iload 20 /* lowerOverflowsPositively */
            ifeq 18
        16: .line 103
            iload 5 /* bits */
            invokestatic jdk.vm.ci.code.CodeUtil.maxValue:(I)J
            lstore 16 /* newLowerBound */
        start local 16 // long newLowerBound
        17: .line 104
            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 105
            iload 5 /* bits */
            invokestatic jdk.vm.ci.code.CodeUtil.minValue:(I)J
            lstore 16 /* newLowerBound */
        start local 16 // long newLowerBound
        20: .line 106
            goto 22
        end local 16 // long newLowerBound
        21: .line 107
      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 110
      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 111
            iload 5 /* bits */
            invokestatic jdk.vm.ci.code.CodeUtil.maxValue:(I)J
            lstore 18 /* newUpperBound */
        start local 18 // long newUpperBound
        24: .line 112
            goto 29
        end local 18 // long newUpperBound
      StackMap locals:
      StackMap stack:
        25: iload 23 /* upperOverflowsNegatively */
            ifeq 28
        26: .line 113
            iload 5 /* bits */
            invokestatic jdk.vm.ci.code.CodeUtil.minValue:(I)J
            lstore 18 /* newUpperBound */
        start local 18 // long newUpperBound
        27: .line 114
            goto 29
        end local 18 // long newUpperBound
        28: .line 115
      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 118
      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 119
            lload 14 /* newUpMask */
            aload 24 /* limit */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.upMask:()J
            land
            lstore 14 /* newUpMask */
        31: .line 120
            lload 18 /* newUpperBound */
            lload 14 /* newUpMask */
            land
            iload 5 /* bits */
            invokestatic jdk.vm.ci.code.CodeUtil.signExtend:(JI)J
            lstore 18 /* newUpperBound */
        32: .line 121
            lload 12 /* newDownMask */
            aload 24 /* limit */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.downMask:()J
            lor
            lstore 12 /* newDownMask */
        33: .line 122
            lload 16 /* newLowerBound */
            lload 12 /* newDownMask */
            lor
            lstore 16 /* newLowerBound */
        34: .line 123
            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=5, 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 128
            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 129
            new org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode
            dup
            aload 3 /* forY */
            aload 2 /* forX */
            aload 0 /* this */
            getfield org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode.guard:Lorg/graalvm/compiler/nodes/extended/GuardingNode;
            invokespecial org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode.<init>:(Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/extended/GuardingNode;)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 131
      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 132
            aload 0 /* this */
            aload 2 /* forX */
            aload 3 /* forY */
            invokevirtual org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode.canonicalXYconstant:(Lorg/graalvm/compiler/nodes/ValueNode;Lorg/graalvm/compiler/nodes/ValueNode;)Lorg/graalvm/compiler/nodes/ValueNode;
            areturn
         4: .line 133
      StackMap locals:
      StackMap stack:
            aload 3 /* forY */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.isConstant:()Z
            ifeq 8
         5: .line 134
            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 135
            lload 4 /* c */
            lconst_0
            lcmp
            ifne 8
         7: .line 136
            aload 2 /* forX */
            areturn
        end local 4 // long c
         8: .line 139
      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 10
         9: .line 140
            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
        10: .line 142
      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   11     0  this  Lorg/graalvm/compiler/replacements/nodes/arithmetic/IntegerAddExactNode;
            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 org.graalvm.compiler.nodes.ValueNode 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/ValueNode;
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=4, locals=5, args_size=3
        start local 0 // org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode this
        start local 1 // org.graalvm.compiler.nodes.ValueNode forX
        start local 2 // org.graalvm.compiler.nodes.ValueNode forY
         0: .line 146
            aload 1 /* forX */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.asJavaConstant:()Ljdk/vm/ci/meta/JavaConstant;
            astore 3 /* xConst */
        start local 3 // jdk.vm.ci.meta.JavaConstant xConst
         1: .line 147
            aload 2 /* forY */
            invokevirtual org.graalvm.compiler.nodes.ValueNode.asJavaConstant:()Ljdk/vm/ci/meta/JavaConstant;
            astore 4 /* yConst */
        start local 4 // jdk.vm.ci.meta.JavaConstant yConst
         2: .line 148
            getstatic org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode.$assertionsDisabled:Z
            ifne 3
            aload 3 /* xConst */
            invokeinterface jdk.vm.ci.meta.JavaConstant.getJavaKind:()Ljdk/vm/ci/meta/JavaKind;
            aload 4 /* 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 150
      StackMap locals: jdk.vm.ci.meta.JavaConstant jdk.vm.ci.meta.JavaConstant
      StackMap stack:
            aload 3 /* 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 151
            aload 3 /* xConst */
            invokeinterface jdk.vm.ci.meta.JavaConstant.asInt:()I
            aload 4 /* 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;
         5: areturn
         6: .line 153
      StackMap locals:
      StackMap stack:
            getstatic org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode.$assertionsDisabled:Z
            ifne 7
            aload 3 /* 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 154
      StackMap locals:
      StackMap stack:
            aload 3 /* xConst */
            invokeinterface jdk.vm.ci.meta.JavaConstant.asLong:()J
            aload 4 /* 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;
         8: areturn
         9: .line 156
      StackMap locals:
      StackMap stack: java.lang.ArithmeticException
            pop
        10: .line 159
            aload 0 /* this */
            areturn
        end local 4 // jdk.vm.ci.meta.JavaConstant yConst
        end local 3 // jdk.vm.ci.meta.JavaConstant xConst
        end local 2 // org.graalvm.compiler.nodes.ValueNode forY
        end local 1 // org.graalvm.compiler.nodes.ValueNode forX
        end local 0 // org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode this
      LocalVariableTable:
        Start  End  Slot    Name  Signature
            0   11     0    this  Lorg/graalvm/compiler/replacements/nodes/arithmetic/IntegerAddExactNode;
            0   11     1    forX  Lorg/graalvm/compiler/nodes/ValueNode;
            0   11     2    forY  Lorg/graalvm/compiler/nodes/ValueNode;
            1   11     3  xConst  Ljdk/vm/ci/meta/JavaConstant;
            2   11     4  yConst  Ljdk/vm/ci/meta/JavaConstant;
      Exception table:
        from    to  target  type
           3     5       9  Class java.lang.ArithmeticException
           6     8       9  Class java.lang.ArithmeticException
    MethodParameters:
      Name  Flags
      forX  
      forY  

  public org.graalvm.compiler.nodes.extended.GuardingNode getGuard();
    descriptor: ()Lorg/graalvm/compiler/nodes/extended/GuardingNode;
    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 164
            aload 0 /* this */
            getfield org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode.guard:Lorg/graalvm/compiler/nodes/extended/GuardingNode;
            areturn
        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 void setGuard(org.graalvm.compiler.nodes.extended.GuardingNode);
    descriptor: (Lorg/graalvm/compiler/nodes/extended/GuardingNode;)V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=3, locals=2, args_size=2
        start local 0 // org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode this
        start local 1 // org.graalvm.compiler.nodes.extended.GuardingNode guard
         0: .line 169
            aload 0 /* this */
            aload 0 /* this */
            getfield org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode.guard:Lorg/graalvm/compiler/nodes/extended/GuardingNode;
            aload 1 /* guard */
            invokevirtual org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode.updateUsagesInterface:(Lorg/graalvm/compiler/graph/NodeInterface;Lorg/graalvm/compiler/graph/NodeInterface;)V
         1: .line 170
            aload 0 /* this */
            aload 1 /* guard */
            putfield org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode.guard:Lorg/graalvm/compiler/nodes/extended/GuardingNode;
         2: .line 171
            return
        end local 1 // org.graalvm.compiler.nodes.extended.GuardingNode guard
        end local 0 // org.graalvm.compiler.replacements.nodes.arithmetic.IntegerAddExactNode this
      LocalVariableTable:
        Start  End  Slot   Name  Signature
            0    3     0   this  Lorg/graalvm/compiler/replacements/nodes/arithmetic/IntegerAddExactNode;
            0    3     1  guard  Lorg/graalvm/compiler/nodes/extended/GuardingNode;
    MethodParameters:
       Name  Flags
      guard  

  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"
InnerClasses:
  public abstract Input = org.graalvm.compiler.graph.Node$Input of org.graalvm.compiler.graph.Node
    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;)
/

java/ 13/ jdk.internal.vm.compiler/org/graalvm/compiler/replacements/nodes/arithmetic/IntegerAddExactNode.class
