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 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$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 start local 1 start local 3 start local 5 start local 7 start local 9 start local 10 start local 11 0: lload 1
lload 5
iload 9
invokestatic org.graalvm.compiler.replacements.test.IntegerExactFoldTest$AddOperation.addExact:(JJI)J
lstore 12
start local 12 1: aload 11
lload 12
invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.contains:(J)Z
pop
2: lload 3
lload 7
iload 9
invokestatic org.graalvm.compiler.replacements.test.IntegerExactFoldTest$AddOperation.addExact:(JJI)J
lstore 12
3: aload 11
lload 12
invokevirtual org.graalvm.compiler.core.common.type.IntegerStamp.contains:(J)Z
pop
4: iload 10
invokestatic org.junit.Assert.assertFalse:(Z)V
end local 12 5: goto 8
StackMap locals:
StackMap stack: java.lang.ArithmeticException
6: pop
7: iload 10
invokestatic org.junit.Assert.assertTrue:(Z)V
8: StackMap locals:
StackMap stack:
return
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 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 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.addExact:(II)I
i2l
lreturn
2: StackMap locals:
StackMap stack:
lload 0
lload 2
invokestatic java.lang.Math.addExact:(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.addExact:(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.addExact:(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 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