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 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
         0: .line 33
            aload 0 /* this */
            invokespecial java.lang.Object.<init>:()V
            return
        end local 0 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
      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 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
         0: .line 37
            ldc -2147483648
            lstore 1 /* a */
        start local 1 // long a
         1: .line 38
            ldc -1
            lstore 3 /* b */
        start local 3 // long b
         2: .line 39
            lload 1 /* a */
            lload 3 /* b */
            bipush 32
            invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.subtractionOverflows:(JJI)Z
            invokestatic org.junit.Assert.assertFalse:(Z)V
         3: .line 40
            return
        end local 3 // long b
        end local 1 // long a
        end local 0 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
      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 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
         0: .line 44
            ldc 2147483647
            lstore 1 /* a */
        start local 1 // long a
         1: .line 45
            ldc 2147483647
            lstore 3 /* b */
        start local 3 // long b
         2: .line 46
            lload 1 /* a */
            lload 3 /* b */
            bipush 32
            invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.subtractionOverflows:(JJI)Z
            invokestatic org.junit.Assert.assertFalse:(Z)V
         3: .line 47
            return
        end local 3 // long b
        end local 1 // long a
        end local 0 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
      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 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
         0: .line 51
            ldc -2147483648
            lstore 1 /* a */
        start local 1 // long a
         1: .line 52
            ldc -2147483648
            lstore 3 /* b */
        start local 3 // long b
         2: .line 53
            lload 1 /* a */
            lload 3 /* b */
            bipush 32
            invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.subtractionOverflows:(JJI)Z
            invokestatic org.junit.Assert.assertFalse:(Z)V
         3: .line 54
            return
        end local 3 // long b
        end local 1 // long a
        end local 0 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
      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 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
         0: .line 58
            ldc -2147483648
            lstore 1 /* a */
        start local 1 // long a
         1: .line 59
            lconst_1
            lstore 3 /* b */
        start local 3 // long b
         2: .line 60
            lload 1 /* a */
            lload 3 /* b */
            bipush 32
            invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.subtractionOverflows:(JJI)Z
            invokestatic org.junit.Assert.assertTrue:(Z)V
         3: .line 61
            return
        end local 3 // long b
        end local 1 // long a
        end local 0 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
      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 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
         0: .line 65
            ldc 2147483647
            lstore 1 /* a */
        start local 1 // long a
         1: .line 66
            lconst_1
            lstore 3 /* b */
        start local 3 // long b
         2: .line 67
            lload 1 /* a */
            lload 3 /* b */
            bipush 32
            invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.subtractionOverflows:(JJI)Z
            invokestatic org.junit.Assert.assertFalse:(Z)V
         3: .line 68
            return
        end local 3 // long b
        end local 1 // long a
        end local 0 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
      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 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
         0: .line 72
            ldc 2147483647
            lstore 1 /* a */
        start local 1 // long a
         1: .line 73
            ldc -2147483648
            lstore 3 /* b */
        start local 3 // long b
         2: .line 74
            lload 1 /* a */
            lload 3 /* b */
            bipush 32
            invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.subtractionOverflows:(JJI)Z
            invokestatic org.junit.Assert.assertTrue:(Z)V
         3: .line 75
            return
        end local 3 // long b
        end local 1 // long a
        end local 0 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
      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 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
         0: .line 79
            ldc 2147483647
            lstore 1 /* a */
        start local 1 // long a
         1: .line 80
            ldc 2147483647
            lstore 3 /* b */
        start local 3 // long b
         2: .line 81
            lload 1 /* a */
            lload 3 /* b */
            bipush 64
            invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.subtractionOverflows:(JJI)Z
            invokestatic org.junit.Assert.assertFalse:(Z)V
         3: .line 82
            return
        end local 3 // long b
        end local 1 // long a
        end local 0 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
      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 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
         0: .line 86
            ldc 9223372036854775807
            lstore 1 /* a */
        start local 1 // long a
         1: .line 87
            ldc 2
            lstore 3 /* b */
        start local 3 // long b
         2: .line 88
            lload 1 /* a */
            lload 3 /* b */
            bipush 64
            invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.subtractionOverflows:(JJI)Z
            invokestatic org.junit.Assert.assertFalse:(Z)V
         3: .line 89
            return
        end local 3 // long b
        end local 1 // long a
        end local 0 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
      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 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
         0: .line 93
            ldc 9223372036854775807
            lstore 1 /* a */
        start local 1 // long a
         1: .line 94
            ldc 9223372036854775807
            lstore 3 /* b */
        start local 3 // long b
         2: .line 95
            lload 1 /* a */
            lload 3 /* b */
            bipush 64
            invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.subtractionOverflows:(JJI)Z
            invokestatic org.junit.Assert.assertFalse:(Z)V
         3: .line 96
            return
        end local 3 // long b
        end local 1 // long a
        end local 0 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
      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 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
         0: .line 100
            ldc -9223372036854775807
            lstore 1 /* a */
        start local 1 // long a
         1: .line 101
            ldc 9223372036854775807
            lstore 3 /* b */
        start local 3 // long b
         2: .line 102
            lload 1 /* a */
            lload 3 /* b */
            bipush 64
            invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.subtractionOverflows:(JJI)Z
            invokestatic org.junit.Assert.assertTrue:(Z)V
         3: .line 103
            return
        end local 3 // long b
        end local 1 // long a
        end local 0 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
      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 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
         0: .line 107
            ldc -9223372036854775807
            lstore 1 /* a */
        start local 1 // long a
         1: .line 108
            ldc -9223372036854775807
            lstore 3 /* b */
        start local 3 // long b
         2: .line 109
            lload 1 /* a */
            lload 3 /* b */
            bipush 64
            invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.subtractionOverflows:(JJI)Z
            invokestatic org.junit.Assert.assertFalse:(Z)V
         3: .line 110
            return
        end local 3 // long b
        end local 1 // long a
        end local 0 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
      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 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
         0: .line 114
            ldc 9223372036854775807
            lstore 1 /* a */
        start local 1 // long a
         1: .line 115
            ldc -9223372036854775807
            lstore 3 /* b */
        start local 3 // long b
         2: .line 116
            lload 1 /* a */
            lload 3 /* b */
            bipush 64
            invokestatic org.graalvm.compiler.core.common.type.IntegerStamp.subtractionOverflows:(JJI)Z
            invokestatic org.junit.Assert.assertTrue:(Z)V
         3: .line 117
            return
        end local 3 // long b
        end local 1 // long a
        end local 0 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
      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 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
         0: .line 121
            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 /* s1 */
        start local 1 // org.graalvm.compiler.core.common.type.IntegerStamp s1
         1: .line 122
            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 /* s2 */
        start local 2 // org.graalvm.compiler.core.common.type.IntegerStamp s2
         2: .line 123
            aload 1 /* s1 */
            aload 2 /* s2 */
            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: .line 124
            return
        end local 2 // org.graalvm.compiler.core.common.type.IntegerStamp s2
        end local 1 // org.graalvm.compiler.core.common.type.IntegerStamp s1
        end local 0 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
      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 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
         0: .line 128
            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 /* s1 */
        start local 1 // org.graalvm.compiler.core.common.type.IntegerStamp s1
         1: .line 129
            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 /* s2 */
        start local 2 // org.graalvm.compiler.core.common.type.IntegerStamp s2
         2: .line 130
            aload 1 /* s1 */
            aload 2 /* s2 */
            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: .line 131
            return
        end local 2 // org.graalvm.compiler.core.common.type.IntegerStamp s2
        end local 1 // org.graalvm.compiler.core.common.type.IntegerStamp s1
        end local 0 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
      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 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
         0: .line 135
            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 /* s1 */
        start local 1 // org.graalvm.compiler.core.common.type.IntegerStamp s1
         1: .line 136
            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 /* s2 */
        start local 2 // org.graalvm.compiler.core.common.type.IntegerStamp s2
         2: .line 137
            aload 1 /* s1 */
            aload 2 /* s2 */
            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: .line 138
            return
        end local 2 // org.graalvm.compiler.core.common.type.IntegerStamp s2
        end local 1 // org.graalvm.compiler.core.common.type.IntegerStamp s1
        end local 0 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
      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 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
         0: .line 142
            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 /* s1 */
        start local 1 // org.graalvm.compiler.core.common.type.IntegerStamp s1
         1: .line 143
            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 /* s2 */
        start local 2 // org.graalvm.compiler.core.common.type.IntegerStamp s2
         2: .line 144
            aload 1 /* s1 */
            aload 2 /* s2 */
            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: .line 145
            return
        end local 2 // org.graalvm.compiler.core.common.type.IntegerStamp s2
        end local 1 // org.graalvm.compiler.core.common.type.IntegerStamp s1
        end local 0 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
      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 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
         0: .line 149
            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 /* s1 */
        start local 1 // org.graalvm.compiler.core.common.type.IntegerStamp s1
         1: .line 150
            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 /* s2 */
        start local 2 // org.graalvm.compiler.core.common.type.IntegerStamp s2
         2: .line 151
            aload 1 /* s1 */
            aload 2 /* s2 */
            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: .line 152
            return
        end local 2 // org.graalvm.compiler.core.common.type.IntegerStamp s2
        end local 1 // org.graalvm.compiler.core.common.type.IntegerStamp s1
        end local 0 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
      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 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
         0: .line 156
            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 /* s1 */
        start local 1 // org.graalvm.compiler.core.common.type.IntegerStamp s1
         1: .line 157
            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 /* s2 */
        start local 2 // org.graalvm.compiler.core.common.type.IntegerStamp s2
         2: .line 158
            aload 1 /* s1 */
            aload 2 /* s2 */
            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: .line 159
            return
        end local 2 // org.graalvm.compiler.core.common.type.IntegerStamp s2
        end local 1 // org.graalvm.compiler.core.common.type.IntegerStamp s1
        end local 0 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
      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 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
         0: .line 163
            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 /* s1 */
        start local 1 // org.graalvm.compiler.core.common.type.IntegerStamp s1
         1: .line 164
            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 /* s2 */
        start local 2 // org.graalvm.compiler.core.common.type.IntegerStamp s2
         2: .line 165
            aload 1 /* s1 */
            aload 2 /* s2 */
            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: .line 166
            return
        end local 2 // org.graalvm.compiler.core.common.type.IntegerStamp s2
        end local 1 // org.graalvm.compiler.core.common.type.IntegerStamp s1
        end local 0 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
      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 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
         0: .line 170
            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 /* s1 */
        start local 1 // org.graalvm.compiler.core.common.type.IntegerStamp s1
         1: .line 171
            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 /* s2 */
        start local 2 // org.graalvm.compiler.core.common.type.IntegerStamp s2
         2: .line 172
            aload 1 /* s1 */
            aload 2 /* s2 */
            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: .line 173
            return
        end local 2 // org.graalvm.compiler.core.common.type.IntegerStamp s2
        end local 1 // org.graalvm.compiler.core.common.type.IntegerStamp s1
        end local 0 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
      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 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
         0: .line 177
            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 /* s1 */
        start local 1 // org.graalvm.compiler.core.common.type.IntegerStamp s1
         1: .line 178
            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 /* s2 */
        start local 2 // org.graalvm.compiler.core.common.type.IntegerStamp s2
         2: .line 179
            aload 1 /* s1 */
            aload 2 /* s2 */
            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: .line 180
            return
        end local 2 // org.graalvm.compiler.core.common.type.IntegerStamp s2
        end local 1 // org.graalvm.compiler.core.common.type.IntegerStamp s1
        end local 0 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
      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 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
         0: .line 184
            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 /* s1 */
        start local 1 // org.graalvm.compiler.core.common.type.IntegerStamp s1
         1: .line 185
            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 /* s2 */
        start local 2 // org.graalvm.compiler.core.common.type.IntegerStamp s2
         2: .line 186
            aload 1 /* s1 */
            aload 2 /* s2 */
            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: .line 187
            return
        end local 2 // org.graalvm.compiler.core.common.type.IntegerStamp s2
        end local 1 // org.graalvm.compiler.core.common.type.IntegerStamp s1
        end local 0 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
      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 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
         0: .line 191
            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 /* s1 */
        start local 1 // org.graalvm.compiler.core.common.type.IntegerStamp s1
         1: .line 192
            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 /* s2 */
        start local 2 // org.graalvm.compiler.core.common.type.IntegerStamp s2
         2: .line 193
            aload 1 /* s1 */
            aload 2 /* s2 */
            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: .line 194
            return
        end local 2 // org.graalvm.compiler.core.common.type.IntegerStamp s2
        end local 1 // org.graalvm.compiler.core.common.type.IntegerStamp s1
        end local 0 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
      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 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
         0: .line 198
            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 /* s1 */
        start local 1 // org.graalvm.compiler.core.common.type.IntegerStamp s1
         1: .line 199
            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 /* s2 */
        start local 2 // org.graalvm.compiler.core.common.type.IntegerStamp s2
         2: .line 200
            aload 1 /* s1 */
            aload 2 /* s2 */
            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: .line 201
            return
        end local 2 // org.graalvm.compiler.core.common.type.IntegerStamp s2
        end local 1 // org.graalvm.compiler.core.common.type.IntegerStamp s1
        end local 0 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
      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 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
         0: .line 205
            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 /* s1 */
        start local 1 // org.graalvm.compiler.core.common.type.IntegerStamp s1
         1: .line 206
            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 /* s2 */
        start local 2 // org.graalvm.compiler.core.common.type.IntegerStamp s2
         2: .line 207
            aload 1 /* s1 */
            aload 2 /* s2 */
            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: .line 208
            return
        end local 2 // org.graalvm.compiler.core.common.type.IntegerStamp s2
        end local 1 // org.graalvm.compiler.core.common.type.IntegerStamp s1
        end local 0 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
      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 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
         0: .line 212
            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 /* s1 */
        start local 1 // org.graalvm.compiler.core.common.type.IntegerStamp s1
         1: .line 213
            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 /* s2 */
        start local 2 // org.graalvm.compiler.core.common.type.IntegerStamp s2
         2: .line 214
            aload 1 /* s1 */
            aload 2 /* s2 */
            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: .line 215
            return
        end local 2 // org.graalvm.compiler.core.common.type.IntegerStamp s2
        end local 1 // org.graalvm.compiler.core.common.type.IntegerStamp s1
        end local 0 // org.graalvm.compiler.replacements.test.IntegerSubOverflowsTest this
      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"