final class org.graalvm.compiler.replacements.test.IntegerExactFoldTest$AddOperation extends org.graalvm.compiler.replacements.test.IntegerExactFoldTest$Operation
  minor version: 0
  major version: 59
  flags: flags: (0x0030) ACC_FINAL, ACC_SUPER
  this_class: org.graalvm.compiler.replacements.test.IntegerExactFoldTest$AddOperation
  super_class: org.graalvm.compiler.replacements.test.IntegerExactFoldTest$Operation
{
  private void <init>();
    descriptor: ()V
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // org.graalvm.compiler.replacements.test.IntegerExactFoldTest$AddOperation this
         0: .line 192
            aload 0 /* this */
            invokespecial org.graalvm.compiler.replacements.test.IntegerExactFoldTest$Operation.<init>:()V
            return
        end local 0 // org.graalvm.compiler.replacements.test.IntegerExactFoldTest$AddOperation this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lorg/graalvm/compiler/replacements/test/IntegerExactFoldTest$AddOperation;

  public void verifyOverflow(long, long, long, long, int, boolean, org.graalvm.compiler.core.common.type.IntegerStamp);
    descriptor: (JJJJIZLorg/graalvm/compiler/core/common/type/IntegerStamp;)V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=5, locals=14, args_size=8
        start local 0 // org.graalvm.compiler.replacements.test.IntegerExactFoldTest$AddOperation this
        start local 1 // long lowerBoundA
        start local 3 // long upperBoundA
        start local 5 // long lowerBoundB
        start local 7 // long upperBoundB
        start local 9 // int bits
        start local 10 // boolean overflowExpected
        start local 11 // org.graalvm.compiler.core.common.type.IntegerStamp resultStamp
         0: .line 196
            lload 1 /* lowerBoundA */
            lload 5 /* lowerBoundB */
            iload 9 /* bits */
            invokestatic org.graalvm.compiler.replacements.test.IntegerExactFoldTest$AddOperation.addExact:(JJI)J
            lstore 12 /* res */
        start local 12 // long res
         1: .line 197
            aload 11 /* resultStamp */
            lload 12 /* res */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.contains:(J)Z
            pop
         2: .line 198
            lload 3 /* upperBoundA */
            lload 7 /* upperBoundB */
            iload 9 /* bits */
            invokestatic org.graalvm.compiler.replacements.test.IntegerExactFoldTest$AddOperation.addExact:(JJI)J
            lstore 12 /* res */
         3: .line 199
            aload 11 /* resultStamp */
            lload 12 /* res */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.contains:(J)Z
            pop
         4: .line 200
            iload 10 /* overflowExpected */
            invokestatic org.junit.Assert.assertFalse:(Z)V
        end local 12 // long res
         5: .line 201
            goto 8
      StackMap locals:
      StackMap stack: java.lang.ArithmeticException
         6: pop
         7: .line 202
            iload 10 /* overflowExpected */
            invokestatic org.junit.Assert.assertTrue:(Z)V
         8: .line 204
      StackMap locals:
      StackMap stack:
            return
        end local 11 // org.graalvm.compiler.core.common.type.IntegerStamp resultStamp
        end local 10 // boolean overflowExpected
        end local 9 // int bits
        end local 7 // long upperBoundB
        end local 5 // long lowerBoundB
        end local 3 // long upperBoundA
        end local 1 // long lowerBoundA
        end local 0 // org.graalvm.compiler.replacements.test.IntegerExactFoldTest$AddOperation this
      LocalVariableTable:
        Start  End  Slot              Name  Signature
            0    9     0              this  Lorg/graalvm/compiler/replacements/test/IntegerExactFoldTest$AddOperation;
            0    9     1       lowerBoundA  J
            0    9     3       upperBoundA  J
            0    9     5       lowerBoundB  J
            0    9     7       upperBoundB  J
            0    9     9              bits  I
            0    9    10  overflowExpected  Z
            0    9    11       resultStamp  Lorg/graalvm/compiler/core/common/type/IntegerStamp;
            1    5    12               res  J
      Exception table:
        from    to  target  type
           0     5       6  Class java.lang.ArithmeticException
    MethodParameters:
                  Name  Flags
      lowerBoundA       
      upperBoundA       
      lowerBoundB       
      upperBoundB       
      bits              
      overflowExpected  
      resultStamp       

  private static long addExact(long, long, int);
    descriptor: (JJI)J
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=4, locals=5, args_size=3
        start local 0 // long x
        start local 2 // long y
        start local 4 // int bits
         0: .line 207
            iload 4 /* bits */
            bipush 32
            if_icmpne 2
         1: .line 208
            lload 0 /* x */
            l2i
            lload 2 /* y */
            l2i
            invokestatic java.lang.Math.addExact:(II)I
            i2l
            lreturn
         2: .line 210
      StackMap locals:
      StackMap stack:
            lload 0 /* x */
            lload 2 /* y */
            invokestatic java.lang.Math.addExact:(JJ)J
            lreturn
        end local 4 // int bits
        end local 2 // long y
        end local 0 // long x
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    3     0     x  J
            0    3     2     y  J
            0    3     4  bits  I
    MethodParameters:
      Name  Flags
      x     
      y     
      bits  

  public static int snippetInt32(int, int);
    descriptor: (II)I
    flags: (0x0009) ACC_PUBLIC, ACC_STATIC
    Code:
      stack=2, locals=2, args_size=2
        start local 0 // int a
        start local 1 // int b
         0: .line 216
            iload 0 /* a */
            iload 1 /* b */
            invokestatic java.lang.Math.addExact:(II)I
            ireturn
        end local 1 // int b
        end local 0 // int a
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0     a  I
            0    1     1     b  I
    MethodParameters:
      Name  Flags
      a     
      b     

  public static long snippetInt64(long, long);
    descriptor: (JJ)J
    flags: (0x0009) ACC_PUBLIC, ACC_STATIC
    Code:
      stack=4, locals=4, args_size=2
        start local 0 // long a
        start local 2 // long b
         0: .line 221
            lload 0 /* a */
            lload 2 /* b */
            invokestatic java.lang.Math.addExact:(JJ)J
            lreturn
        end local 2 // long b
        end local 0 // long a
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0     a  J
            0    1     2     b  J
    MethodParameters:
      Name  Flags
      a     
      b     
}
SourceFile: "IntegerExactFoldTest.java"
NestHost: org.graalvm.compiler.replacements.test.IntegerExactFoldTest
InnerClasses:
  private final AddOperation = org.graalvm.compiler.replacements.test.IntegerExactFoldTest$AddOperation of org.graalvm.compiler.replacements.test.IntegerExactFoldTest
  private abstract Operation = org.graalvm.compiler.replacements.test.IntegerExactFoldTest$Operation of org.graalvm.compiler.replacements.test.IntegerExactFoldTest