final class org.graalvm.compiler.replacements.test.IntegerExactFoldTest$MulOperation 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$MulOperation
  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$MulOperation this
         0: .line 258
            aload 0 /* this */
            invokespecial org.graalvm.compiler.replacements.test.IntegerExactFoldTest$Operation.<init>:()V
            return
        end local 0 // org.graalvm.compiler.replacements.test.IntegerExactFoldTest$MulOperation this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lorg/graalvm/compiler/replacements/test/IntegerExactFoldTest$MulOperation;

  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=19, args_size=8
        start local 0 // org.graalvm.compiler.replacements.test.IntegerExactFoldTest$MulOperation 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 262
            iconst_0
            istore 12 /* overflowOccurred */
        start local 12 // boolean overflowOccurred
         1: .line 264
            lload 1 /* lowerBoundA */
            lstore 13 /* l1 */
        start local 13 // long l1
         2: goto 17
         3: .line 265
      StackMap locals: int long
      StackMap stack:
            lload 5 /* lowerBoundB */
            lstore 15 /* l2 */
        start local 15 // long l2
         4: goto 13
         5: .line 267
      StackMap locals: long
      StackMap stack:
            lload 13 /* l1 */
            lload 15 /* l2 */
            iload 9 /* bits */
            invokestatic org.graalvm.compiler.replacements.test.IntegerExactFoldTest$MulOperation.mulExact:(JJI)J
            lstore 17 /* res */
        start local 17 // long res
         6: .line 268
            aload 11 /* resultStamp */
            lload 17 /* res */
            invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.contains:(J)Z
            invokestatic org.junit.Assert.assertTrue:(Z)V
        end local 17 // long res
         7: .line 269
            goto 10
      StackMap locals:
      StackMap stack: java.lang.ArithmeticException
         8: pop
         9: .line 270
            iconst_1
            istore 12 /* overflowOccurred */
        10: .line 272
      StackMap locals:
      StackMap stack:
            lload 15 /* l2 */
            ldc 9223372036854775807
            lcmp
            ifne 12
        11: .line 274
            goto 14
        12: .line 265
      StackMap locals:
      StackMap stack:
            lload 15 /* l2 */
            lconst_1
            ladd
            lstore 15 /* l2 */
      StackMap locals:
      StackMap stack:
        13: lload 15 /* l2 */
            lload 7 /* upperBoundB */
            lcmp
            ifle 5
        end local 15 // long l2
        14: .line 277
      StackMap locals:
      StackMap stack:
            lload 13 /* l1 */
            ldc 9223372036854775807
            lcmp
            ifne 16
        15: .line 279
            goto 18
        16: .line 264
      StackMap locals:
      StackMap stack:
            lload 13 /* l1 */
            lconst_1
            ladd
            lstore 13 /* l1 */
      StackMap locals:
      StackMap stack:
        17: lload 13 /* l1 */
            lload 3 /* upperBoundA */
            lcmp
            ifle 3
        end local 13 // long l1
        18: .line 283
      StackMap locals:
      StackMap stack:
            iload 10 /* overflowExpected */
            invokestatic java.lang.Boolean.valueOf:(Z)Ljava/lang/Boolean;
            iload 12 /* overflowOccurred */
            invokestatic java.lang.Boolean.valueOf:(Z)Ljava/lang/Boolean;
            invokestatic org.junit.Assert.assertEquals:(Ljava/lang/Object;Ljava/lang/Object;)V
        19: .line 284
            return
        end local 12 // boolean overflowOccurred
        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$MulOperation this
      LocalVariableTable:
        Start  End  Slot              Name  Signature
            0   20     0              this  Lorg/graalvm/compiler/replacements/test/IntegerExactFoldTest$MulOperation;
            0   20     1       lowerBoundA  J
            0   20     3       upperBoundA  J
            0   20     5       lowerBoundB  J
            0   20     7       upperBoundB  J
            0   20     9              bits  I
            0   20    10  overflowExpected  Z
            0   20    11       resultStamp  Lorg/graalvm/compiler/core/common/type/IntegerStamp;
            1   20    12  overflowOccurred  Z
            2   18    13                l1  J
            4   14    15                l2  J
            6    7    17               res  J
      Exception table:
        from    to  target  type
           5     7       8  Class java.lang.ArithmeticException
    MethodParameters:
                  Name  Flags
      lowerBoundA       
      upperBoundA       
      lowerBoundB       
      upperBoundB       
      bits              
      overflowExpected  
      resultStamp       

  private static long mulExact(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 287
            iload 4 /* bits */
            bipush 32
            if_icmpne 2
         1: .line 288
            lload 0 /* x */
            l2i
            lload 2 /* y */
            l2i
            invokestatic java.lang.Math.multiplyExact:(II)I
            i2l
            lreturn
         2: .line 290
      StackMap locals:
      StackMap stack:
            lload 0 /* x */
            lload 2 /* y */
            invokestatic java.lang.Math.multiplyExact:(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 296
            iload 0 /* a */
            iload 1 /* b */
            invokestatic java.lang.Math.multiplyExact:(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 301
            lload 0 /* a */
            lload 2 /* b */
            invokestatic java.lang.Math.multiplyExact:(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 MulOperation = org.graalvm.compiler.replacements.test.IntegerExactFoldTest$MulOperation of org.graalvm.compiler.replacements.test.IntegerExactFoldTest
  private abstract Operation = org.graalvm.compiler.replacements.test.IntegerExactFoldTest$Operation of org.graalvm.compiler.replacements.test.IntegerExactFoldTest