public class org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest
minor version: 0
major version: 59
flags: flags: (0x0021) ACC_PUBLIC, ACC_SUPER
this_class: org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest
super_class: java.lang.Object
{
public void <init>();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=1, locals=1, args_size=1
start local 0 0: aload 0
invokespecial java.lang.Object.<init>:()V
return
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 1 0 this Lorg/graalvm/compiler/replacements/test/IntegerSubOverflowsTest;
public void testOverflowCheck();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=5, locals=5, args_size=1
start local 0 0: ldc -2147483648
lstore 1
start local 1 1: ldc -1
lstore 3
start local 3 2: lload 1
lload 3
bipush 32
invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.subtractionOverflows:(JJI)Z
invokestatic org.junit.Assert.assertFalse:(Z)V
3: return
end local 3 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 4 0 this Lorg/graalvm/compiler/replacements/test/IntegerSubOverflowsTest;
1 4 1 a J
2 4 3 b J
RuntimeVisibleAnnotations:
org.junit.Test()
public void testOverflowCheck01();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=5, locals=5, args_size=1
start local 0 0: ldc 2147483647
lstore 1
start local 1 1: ldc 2147483647
lstore 3
start local 3 2: lload 1
lload 3
bipush 32
invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.subtractionOverflows:(JJI)Z
invokestatic org.junit.Assert.assertFalse:(Z)V
3: return
end local 3 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 4 0 this Lorg/graalvm/compiler/replacements/test/IntegerSubOverflowsTest;
1 4 1 a J
2 4 3 b J
RuntimeVisibleAnnotations:
org.junit.Test()
public void testOverflowCheck02();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=5, locals=5, args_size=1
start local 0 0: ldc -2147483648
lstore 1
start local 1 1: ldc -2147483648
lstore 3
start local 3 2: lload 1
lload 3
bipush 32
invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.subtractionOverflows:(JJI)Z
invokestatic org.junit.Assert.assertFalse:(Z)V
3: return
end local 3 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 4 0 this Lorg/graalvm/compiler/replacements/test/IntegerSubOverflowsTest;
1 4 1 a J
2 4 3 b J
RuntimeVisibleAnnotations:
org.junit.Test()
public void testOverflowCheck03();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=5, locals=5, args_size=1
start local 0 0: ldc -2147483648
lstore 1
start local 1 1: lconst_1
lstore 3
start local 3 2: lload 1
lload 3
bipush 32
invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.subtractionOverflows:(JJI)Z
invokestatic org.junit.Assert.assertTrue:(Z)V
3: return
end local 3 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 4 0 this Lorg/graalvm/compiler/replacements/test/IntegerSubOverflowsTest;
1 4 1 a J
2 4 3 b J
RuntimeVisibleAnnotations:
org.junit.Test()
public void testOverflowCheck04();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=5, locals=5, args_size=1
start local 0 0: ldc 2147483647
lstore 1
start local 1 1: lconst_1
lstore 3
start local 3 2: lload 1
lload 3
bipush 32
invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.subtractionOverflows:(JJI)Z
invokestatic org.junit.Assert.assertFalse:(Z)V
3: return
end local 3 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 4 0 this Lorg/graalvm/compiler/replacements/test/IntegerSubOverflowsTest;
1 4 1 a J
2 4 3 b J
RuntimeVisibleAnnotations:
org.junit.Test()
public void testOverflowCheck05();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=5, locals=5, args_size=1
start local 0 0: ldc 2147483647
lstore 1
start local 1 1: ldc -2147483648
lstore 3
start local 3 2: lload 1
lload 3
bipush 32
invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.subtractionOverflows:(JJI)Z
invokestatic org.junit.Assert.assertTrue:(Z)V
3: return
end local 3 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 4 0 this Lorg/graalvm/compiler/replacements/test/IntegerSubOverflowsTest;
1 4 1 a J
2 4 3 b J
RuntimeVisibleAnnotations:
org.junit.Test()
public void testOverflowCheck06();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=5, locals=5, args_size=1
start local 0 0: ldc 2147483647
lstore 1
start local 1 1: ldc 2147483647
lstore 3
start local 3 2: lload 1
lload 3
bipush 64
invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.subtractionOverflows:(JJI)Z
invokestatic org.junit.Assert.assertFalse:(Z)V
3: return
end local 3 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 4 0 this Lorg/graalvm/compiler/replacements/test/IntegerSubOverflowsTest;
1 4 1 a J
2 4 3 b J
RuntimeVisibleAnnotations:
org.junit.Test()
public void testOverflowCheck07();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=5, locals=5, args_size=1
start local 0 0: ldc 9223372036854775807
lstore 1
start local 1 1: ldc 2
lstore 3
start local 3 2: lload 1
lload 3
bipush 64
invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.subtractionOverflows:(JJI)Z
invokestatic org.junit.Assert.assertFalse:(Z)V
3: return
end local 3 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 4 0 this Lorg/graalvm/compiler/replacements/test/IntegerSubOverflowsTest;
1 4 1 a J
2 4 3 b J
RuntimeVisibleAnnotations:
org.junit.Test()
public void testOverflowCheck08();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=5, locals=5, args_size=1
start local 0 0: ldc 9223372036854775807
lstore 1
start local 1 1: ldc 9223372036854775807
lstore 3
start local 3 2: lload 1
lload 3
bipush 64
invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.subtractionOverflows:(JJI)Z
invokestatic org.junit.Assert.assertFalse:(Z)V
3: return
end local 3 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 4 0 this Lorg/graalvm/compiler/replacements/test/IntegerSubOverflowsTest;
1 4 1 a J
2 4 3 b J
RuntimeVisibleAnnotations:
org.junit.Test()
public void testOverflowCheck09();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=5, locals=5, args_size=1
start local 0 0: ldc -9223372036854775807
lstore 1
start local 1 1: ldc 9223372036854775807
lstore 3
start local 3 2: lload 1
lload 3
bipush 64
invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.subtractionOverflows:(JJI)Z
invokestatic org.junit.Assert.assertTrue:(Z)V
3: return
end local 3 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 4 0 this Lorg/graalvm/compiler/replacements/test/IntegerSubOverflowsTest;
1 4 1 a J
2 4 3 b J
RuntimeVisibleAnnotations:
org.junit.Test()
public void testOverflowCheck10();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=5, locals=5, args_size=1
start local 0 0: ldc -9223372036854775807
lstore 1
start local 1 1: ldc -9223372036854775807
lstore 3
start local 3 2: lload 1
lload 3
bipush 64
invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.subtractionOverflows:(JJI)Z
invokestatic org.junit.Assert.assertFalse:(Z)V
3: return
end local 3 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 4 0 this Lorg/graalvm/compiler/replacements/test/IntegerSubOverflowsTest;
1 4 1 a J
2 4 3 b J
RuntimeVisibleAnnotations:
org.junit.Test()
public void testOverflowCheck11();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=5, locals=5, args_size=1
start local 0 0: ldc 9223372036854775807
lstore 1
start local 1 1: ldc -9223372036854775807
lstore 3
start local 3 2: lload 1
lload 3
bipush 64
invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.subtractionOverflows:(JJI)Z
invokestatic org.junit.Assert.assertTrue:(Z)V
3: return
end local 3 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 4 0 this Lorg/graalvm/compiler/replacements/test/IntegerSubOverflowsTest;
1 4 1 a J
2 4 3 b J
RuntimeVisibleAnnotations:
org.junit.Test()
public void testOverflowCheckStamp();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=5, locals=3, args_size=1
start local 0 0: bipush 32
ldc -2147483648
ldc -2147483648
invokestatic org.graalvm.compiler.core.common.type.StampFactory.forInteger:(IJJ)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
astore 1
start local 1 1: bipush 32
ldc -1
ldc -1
invokestatic org.graalvm.compiler.core.common.type.StampFactory.forInteger:(IJJ)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
astore 2
start local 2 2: aload 1
aload 2
invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.subtractionCanOverflow:(Lorg/graalvm/compiler/core/common/type/IntegerStamp;Lorg/graalvm/compiler/core/common/type/IntegerStamp;)Z
invokestatic org.junit.Assert.assertFalse:(Z)V
3: return
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 4 0 this Lorg/graalvm/compiler/replacements/test/IntegerSubOverflowsTest;
1 4 1 s1 Lorg/graalvm/compiler/core/common/type/IntegerStamp;
2 4 2 s2 Lorg/graalvm/compiler/core/common/type/IntegerStamp;
RuntimeVisibleAnnotations:
org.junit.Test()
public void testOverflowCheckStamp01();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=5, locals=3, args_size=1
start local 0 0: bipush 32
ldc 2147483647
ldc 2147483647
invokestatic org.graalvm.compiler.core.common.type.StampFactory.forInteger:(IJJ)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
astore 1
start local 1 1: bipush 32
ldc 2147483647
ldc 2147483647
invokestatic org.graalvm.compiler.core.common.type.StampFactory.forInteger:(IJJ)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
astore 2
start local 2 2: aload 1
aload 2
invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.subtractionCanOverflow:(Lorg/graalvm/compiler/core/common/type/IntegerStamp;Lorg/graalvm/compiler/core/common/type/IntegerStamp;)Z
invokestatic org.junit.Assert.assertFalse:(Z)V
3: return
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 4 0 this Lorg/graalvm/compiler/replacements/test/IntegerSubOverflowsTest;
1 4 1 s1 Lorg/graalvm/compiler/core/common/type/IntegerStamp;
2 4 2 s2 Lorg/graalvm/compiler/core/common/type/IntegerStamp;
RuntimeVisibleAnnotations:
org.junit.Test()
public void testOverflowCheckStamp02();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=5, locals=3, args_size=1
start local 0 0: bipush 32
ldc -2147483648
ldc -2147483648
invokestatic org.graalvm.compiler.core.common.type.StampFactory.forInteger:(IJJ)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
astore 1
start local 1 1: bipush 32
ldc -2147483648
ldc -2147483648
invokestatic org.graalvm.compiler.core.common.type.StampFactory.forInteger:(IJJ)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
astore 2
start local 2 2: aload 1
aload 2
invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.subtractionCanOverflow:(Lorg/graalvm/compiler/core/common/type/IntegerStamp;Lorg/graalvm/compiler/core/common/type/IntegerStamp;)Z
invokestatic org.junit.Assert.assertFalse:(Z)V
3: return
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 4 0 this Lorg/graalvm/compiler/replacements/test/IntegerSubOverflowsTest;
1 4 1 s1 Lorg/graalvm/compiler/core/common/type/IntegerStamp;
2 4 2 s2 Lorg/graalvm/compiler/core/common/type/IntegerStamp;
RuntimeVisibleAnnotations:
org.junit.Test()
public void testOverflowCheckStamp03();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=5, locals=3, args_size=1
start local 0 0: bipush 32
ldc -2147483648
ldc -2147483648
invokestatic org.graalvm.compiler.core.common.type.StampFactory.forInteger:(IJJ)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
astore 1
start local 1 1: bipush 32
lconst_1
lconst_1
invokestatic org.graalvm.compiler.core.common.type.StampFactory.forInteger:(IJJ)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
astore 2
start local 2 2: aload 1
aload 2
invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.subtractionCanOverflow:(Lorg/graalvm/compiler/core/common/type/IntegerStamp;Lorg/graalvm/compiler/core/common/type/IntegerStamp;)Z
invokestatic org.junit.Assert.assertTrue:(Z)V
3: return
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 4 0 this Lorg/graalvm/compiler/replacements/test/IntegerSubOverflowsTest;
1 4 1 s1 Lorg/graalvm/compiler/core/common/type/IntegerStamp;
2 4 2 s2 Lorg/graalvm/compiler/core/common/type/IntegerStamp;
RuntimeVisibleAnnotations:
org.junit.Test()
public void testOverflowCheckStamp04();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=5, locals=3, args_size=1
start local 0 0: bipush 8
ldc -128
ldc -128
invokestatic org.graalvm.compiler.core.common.type.StampFactory.forInteger:(IJJ)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
astore 1
start local 1 1: bipush 8
ldc -1
ldc -1
invokestatic org.graalvm.compiler.core.common.type.StampFactory.forInteger:(IJJ)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
astore 2
start local 2 2: aload 1
aload 2
invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.subtractionCanOverflow:(Lorg/graalvm/compiler/core/common/type/IntegerStamp;Lorg/graalvm/compiler/core/common/type/IntegerStamp;)Z
invokestatic org.junit.Assert.assertFalse:(Z)V
3: return
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 4 0 this Lorg/graalvm/compiler/replacements/test/IntegerSubOverflowsTest;
1 4 1 s1 Lorg/graalvm/compiler/core/common/type/IntegerStamp;
2 4 2 s2 Lorg/graalvm/compiler/core/common/type/IntegerStamp;
RuntimeVisibleAnnotations:
org.junit.Test()
public void testOverflowCheckStamp05();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=5, locals=3, args_size=1
start local 0 0: bipush 8
ldc 127
ldc 127
invokestatic org.graalvm.compiler.core.common.type.StampFactory.forInteger:(IJJ)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
astore 1
start local 1 1: bipush 8
ldc 127
ldc 127
invokestatic org.graalvm.compiler.core.common.type.StampFactory.forInteger:(IJJ)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
astore 2
start local 2 2: aload 1
aload 2
invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.subtractionCanOverflow:(Lorg/graalvm/compiler/core/common/type/IntegerStamp;Lorg/graalvm/compiler/core/common/type/IntegerStamp;)Z
invokestatic org.junit.Assert.assertFalse:(Z)V
3: return
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 4 0 this Lorg/graalvm/compiler/replacements/test/IntegerSubOverflowsTest;
1 4 1 s1 Lorg/graalvm/compiler/core/common/type/IntegerStamp;
2 4 2 s2 Lorg/graalvm/compiler/core/common/type/IntegerStamp;
RuntimeVisibleAnnotations:
org.junit.Test()
public void testOverflowCheckStamp06();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=5, locals=3, args_size=1
start local 0 0: bipush 8
ldc -128
ldc -128
invokestatic org.graalvm.compiler.core.common.type.StampFactory.forInteger:(IJJ)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
astore 1
start local 1 1: bipush 8
ldc -128
ldc -128
invokestatic org.graalvm.compiler.core.common.type.StampFactory.forInteger:(IJJ)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
astore 2
start local 2 2: aload 1
aload 2
invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.subtractionCanOverflow:(Lorg/graalvm/compiler/core/common/type/IntegerStamp;Lorg/graalvm/compiler/core/common/type/IntegerStamp;)Z
invokestatic org.junit.Assert.assertFalse:(Z)V
3: return
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 4 0 this Lorg/graalvm/compiler/replacements/test/IntegerSubOverflowsTest;
1 4 1 s1 Lorg/graalvm/compiler/core/common/type/IntegerStamp;
2 4 2 s2 Lorg/graalvm/compiler/core/common/type/IntegerStamp;
RuntimeVisibleAnnotations:
org.junit.Test()
public void testOverflowCheckStamp07();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=5, locals=3, args_size=1
start local 0 0: bipush 8
ldc -128
ldc -128
invokestatic org.graalvm.compiler.core.common.type.StampFactory.forInteger:(IJJ)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
astore 1
start local 1 1: bipush 8
lconst_1
lconst_1
invokestatic org.graalvm.compiler.core.common.type.StampFactory.forInteger:(IJJ)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
astore 2
start local 2 2: aload 1
aload 2
invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.subtractionCanOverflow:(Lorg/graalvm/compiler/core/common/type/IntegerStamp;Lorg/graalvm/compiler/core/common/type/IntegerStamp;)Z
invokestatic org.junit.Assert.assertTrue:(Z)V
3: return
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 4 0 this Lorg/graalvm/compiler/replacements/test/IntegerSubOverflowsTest;
1 4 1 s1 Lorg/graalvm/compiler/core/common/type/IntegerStamp;
2 4 2 s2 Lorg/graalvm/compiler/core/common/type/IntegerStamp;
RuntimeVisibleAnnotations:
org.junit.Test()
public void testOverflowCheckStamp08();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=5, locals=3, args_size=1
start local 0 0: bipush 64
ldc -9223372036854775808
ldc -9223372036854775808
invokestatic org.graalvm.compiler.core.common.type.StampFactory.forInteger:(IJJ)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
astore 1
start local 1 1: bipush 64
ldc -1
ldc -1
invokestatic org.graalvm.compiler.core.common.type.StampFactory.forInteger:(IJJ)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
astore 2
start local 2 2: aload 1
aload 2
invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.subtractionCanOverflow:(Lorg/graalvm/compiler/core/common/type/IntegerStamp;Lorg/graalvm/compiler/core/common/type/IntegerStamp;)Z
invokestatic org.junit.Assert.assertFalse:(Z)V
3: return
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 4 0 this Lorg/graalvm/compiler/replacements/test/IntegerSubOverflowsTest;
1 4 1 s1 Lorg/graalvm/compiler/core/common/type/IntegerStamp;
2 4 2 s2 Lorg/graalvm/compiler/core/common/type/IntegerStamp;
RuntimeVisibleAnnotations:
org.junit.Test()
public void testOverflowCheckStamp09();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=5, locals=3, args_size=1
start local 0 0: bipush 64
ldc 9223372036854775807
ldc 9223372036854775807
invokestatic org.graalvm.compiler.core.common.type.StampFactory.forInteger:(IJJ)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
astore 1
start local 1 1: bipush 64
ldc 9223372036854775807
ldc 9223372036854775807
invokestatic org.graalvm.compiler.core.common.type.StampFactory.forInteger:(IJJ)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
astore 2
start local 2 2: aload 1
aload 2
invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.subtractionCanOverflow:(Lorg/graalvm/compiler/core/common/type/IntegerStamp;Lorg/graalvm/compiler/core/common/type/IntegerStamp;)Z
invokestatic org.junit.Assert.assertFalse:(Z)V
3: return
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 4 0 this Lorg/graalvm/compiler/replacements/test/IntegerSubOverflowsTest;
1 4 1 s1 Lorg/graalvm/compiler/core/common/type/IntegerStamp;
2 4 2 s2 Lorg/graalvm/compiler/core/common/type/IntegerStamp;
RuntimeVisibleAnnotations:
org.junit.Test()
public void testOverflowCheckStamp10();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=5, locals=3, args_size=1
start local 0 0: bipush 64
ldc -9223372036854775808
ldc -9223372036854775808
invokestatic org.graalvm.compiler.core.common.type.StampFactory.forInteger:(IJJ)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
astore 1
start local 1 1: bipush 64
ldc -9223372036854775808
ldc -9223372036854775808
invokestatic org.graalvm.compiler.core.common.type.StampFactory.forInteger:(IJJ)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
astore 2
start local 2 2: aload 1
aload 2
invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.subtractionCanOverflow:(Lorg/graalvm/compiler/core/common/type/IntegerStamp;Lorg/graalvm/compiler/core/common/type/IntegerStamp;)Z
invokestatic org.junit.Assert.assertFalse:(Z)V
3: return
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 4 0 this Lorg/graalvm/compiler/replacements/test/IntegerSubOverflowsTest;
1 4 1 s1 Lorg/graalvm/compiler/core/common/type/IntegerStamp;
2 4 2 s2 Lorg/graalvm/compiler/core/common/type/IntegerStamp;
RuntimeVisibleAnnotations:
org.junit.Test()
public void testOverflowCheckStamp11();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=5, locals=3, args_size=1
start local 0 0: bipush 64
ldc -9223372036854775808
ldc -9223372036854775808
invokestatic org.graalvm.compiler.core.common.type.StampFactory.forInteger:(IJJ)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
astore 1
start local 1 1: bipush 64
lconst_1
lconst_1
invokestatic org.graalvm.compiler.core.common.type.StampFactory.forInteger:(IJJ)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
astore 2
start local 2 2: aload 1
aload 2
invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.subtractionCanOverflow:(Lorg/graalvm/compiler/core/common/type/IntegerStamp;Lorg/graalvm/compiler/core/common/type/IntegerStamp;)Z
invokestatic org.junit.Assert.assertTrue:(Z)V
3: return
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 4 0 this Lorg/graalvm/compiler/replacements/test/IntegerSubOverflowsTest;
1 4 1 s1 Lorg/graalvm/compiler/core/common/type/IntegerStamp;
2 4 2 s2 Lorg/graalvm/compiler/core/common/type/IntegerStamp;
RuntimeVisibleAnnotations:
org.junit.Test()
public void testOverflowBIgStamps01();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=5, locals=3, args_size=1
start local 0 0: bipush 64
ldc -9223372036854775808
ldc 9223372036854775807
invokestatic org.graalvm.compiler.core.common.type.StampFactory.forInteger:(IJJ)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
astore 1
start local 1 1: bipush 64
ldc -9223372036854775808
ldc 9223372036854775807
invokestatic org.graalvm.compiler.core.common.type.StampFactory.forInteger:(IJJ)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
astore 2
start local 2 2: aload 1
aload 2
invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.subtractionCanOverflow:(Lorg/graalvm/compiler/core/common/type/IntegerStamp;Lorg/graalvm/compiler/core/common/type/IntegerStamp;)Z
invokestatic org.junit.Assert.assertTrue:(Z)V
3: return
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 4 0 this Lorg/graalvm/compiler/replacements/test/IntegerSubOverflowsTest;
1 4 1 s1 Lorg/graalvm/compiler/core/common/type/IntegerStamp;
2 4 2 s2 Lorg/graalvm/compiler/core/common/type/IntegerStamp;
RuntimeVisibleAnnotations:
org.junit.Test()
public void testOverflowBIgStamps02();
descriptor: ()V
flags: (0x0001) ACC_PUBLIC
Code:
stack=5, locals=3, args_size=1
start local 0 0: bipush 64
ldc -9223372036854775808
ldc 9223372036854775807
invokestatic org.graalvm.compiler.core.common.type.StampFactory.forInteger:(IJJ)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
astore 1
start local 1 1: bipush 64
ldc -9223372036854775808
ldc -9223372036854775808
invokestatic org.graalvm.compiler.core.common.type.StampFactory.forInteger:(IJJ)Lorg/graalvm/compiler/core/common/type/IntegerStamp;
astore 2
start local 2 2: aload 1
aload 2
invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.subtractionCanOverflow:(Lorg/graalvm/compiler/core/common/type/IntegerStamp;Lorg/graalvm/compiler/core/common/type/IntegerStamp;)Z
invokestatic org.junit.Assert.assertTrue:(Z)V
3: return
end local 2 end local 1 end local 0 LocalVariableTable:
Start End Slot Name Signature
0 4 0 this Lorg/graalvm/compiler/replacements/test/IntegerSubOverflowsTest;
1 4 1 s1 Lorg/graalvm/compiler/core/common/type/IntegerStamp;
2 4 2 s2 Lorg/graalvm/compiler/core/common/type/IntegerStamp;
RuntimeVisibleAnnotations:
org.junit.Test()
}
SourceFile: "IntegerSubOverflowsTest.java"