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 0: aload 0
invokespecial org.graalvm.compiler.replacements.test.IntegerExactFoldTest$Operation.<init>:()V
return
end local 0 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 start local 1 start local 3 start local 5 start local 7 start local 9 start local 10 start local 11 0: iconst_0
istore 12
start local 12 1: lload 1
lstore 13
start local 13 2: goto 17
3: StackMap locals: int long
StackMap stack:
lload 5
lstore 15
start local 15 4: goto 13
5: StackMap locals: long
StackMap stack:
lload 13
lload 15
iload 9
invokestatic org.graalvm.compiler.replacements.test.IntegerExactFoldTest$MulOperation.mulExact:(JJI)J
lstore 17
start local 17 6: aload 11
lload 17
invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.contains:(J)Z
invokestatic org.junit.Assert.assertTrue:(Z)V
end local 17 7: goto 10
StackMap locals:
StackMap stack: java.lang.ArithmeticException
8: pop
9: iconst_1
istore 12
10: StackMap locals:
StackMap stack:
lload 15
ldc 9223372036854775807
lcmp
ifne 12
11: goto 14
12: StackMap locals:
StackMap stack:
lload 15
lconst_1
ladd
lstore 15
StackMap locals:
StackMap stack:
13: lload 15
lload 7
lcmp
ifle 5
end local 15 14: StackMap locals:
StackMap stack:
lload 13
ldc 9223372036854775807
lcmp
ifne 16
15: goto 18
16: StackMap locals:
StackMap stack:
lload 13
lconst_1
ladd
lstore 13
StackMap locals:
StackMap stack:
17: lload 13
lload 3
lcmp
ifle 3
end local 13 18: StackMap locals:
StackMap stack:
iload 10
invokestatic java.lang.Boolean.valueOf:(Z)Ljava/lang/Boolean;
iload 12
invokestatic java.lang.Boolean.valueOf:(Z)Ljava/lang/Boolean;
invokestatic org.junit.Assert.assertEquals:(Ljava/lang/Object;Ljava/lang/Object;)V
19: return
end local 12 end local 11 end local 10 end local 9 end local 7 end local 5 end local 3 end local 1 end local 0 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 start local 2 start local 4 0: iload 4
bipush 32
if_icmpne 2
1: lload 0
l2i
lload 2
l2i
invokestatic java.lang.Math.multiplyExact:(II)I
i2l
lreturn
2: StackMap locals:
StackMap stack:
lload 0
lload 2
invokestatic java.lang.Math.multiplyExact:(JJ)J
lreturn
end local 4 end local 2 end local 0 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 start local 1 0: iload 0
iload 1
invokestatic java.lang.Math.multiplyExact:(II)I
ireturn
end local 1 end local 0 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 start local 2 0: lload 0
lload 2
invokestatic java.lang.Math.multiplyExact:(JJ)J
lreturn
end local 2 end local 0 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