IntegerSubOverflowsTest.java revision 12651:6ef01bd40ce2 
1/*
2 * Copyright (c) 2016, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation.
8 *
9 * This code is distributed in the hope that it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
12 * version 2 for more details (a copy is included in the LICENSE file that
13 * accompanied this code).
14 *
15 * You should have received a copy of the GNU General Public License version
16 * 2 along with this work; if not, write to the Free Software Foundation,
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 */
23package org.graalvm.compiler.replacements.test;
24
25import org.junit.Assert;
26import org.junit.Test;
27
28import org.graalvm.compiler.core.common.type.IntegerStamp;
29import org.graalvm.compiler.core.common.type.StampFactory;
30
31public class IntegerSubOverflowsTest {
32
33    @Test
34    public void testOverflowCheck() {
35        long a = Integer.MIN_VALUE;
36        long b = -1;
37        Assert.assertFalse(IntegerStamp.subtractionOverflows(a, b, 32));
38    }
39
40    @Test
41    public void testOverflowCheck01() {
42        long a = Integer.MAX_VALUE;
43        long b = Integer.MAX_VALUE;
44        Assert.assertFalse(IntegerStamp.subtractionOverflows(a, b, 32));
45    }
46
47    @Test
48    public void testOverflowCheck02() {
49        long a = Integer.MIN_VALUE;
50        long b = Integer.MIN_VALUE;
51        Assert.assertFalse(IntegerStamp.subtractionOverflows(a, b, 32));
52    }
53
54    @Test
55    public void testOverflowCheck03() {
56        long a = Integer.MIN_VALUE;
57        long b = 1;
58        Assert.assertTrue(IntegerStamp.subtractionOverflows(a, b, 32));
59    }
60
61    @Test
62    public void testOverflowCheck04() {
63        long a = Integer.MAX_VALUE;
64        long b = 1;
65        Assert.assertFalse(IntegerStamp.subtractionOverflows(a, b, 32));
66    }
67
68    @Test
69    public void testOverflowCheck05() {
70        long a = Integer.MAX_VALUE;
71        long b = Integer.MIN_VALUE;
72        Assert.assertTrue(IntegerStamp.subtractionOverflows(a, b, 32));
73    }
74
75    @Test
76    public void testOverflowCheck06() {
77        long a = Integer.MAX_VALUE;
78        long b = Integer.MAX_VALUE;
79        Assert.assertFalse(IntegerStamp.subtractionOverflows(a, b, 64));
80    }
81
82    @Test
83    public void testOverflowCheck07() {
84        long a = Long.MAX_VALUE;
85        long b = 2;
86        Assert.assertFalse(IntegerStamp.subtractionOverflows(a, b, 64));
87    }
88
89    @Test
90    public void testOverflowCheck08() {
91        long a = Long.MAX_VALUE;
92        long b = Long.MAX_VALUE;
93        Assert.assertFalse(IntegerStamp.subtractionOverflows(a, b, 64));
94    }
95
96    @Test
97    public void testOverflowCheck09() {
98        long a = -Long.MAX_VALUE;
99        long b = Long.MAX_VALUE;
100        Assert.assertTrue(IntegerStamp.subtractionOverflows(a, b, 64));
101    }
102
103    @Test
104    public void testOverflowCheck10() {
105        long a = -Long.MAX_VALUE;
106        long b = -Long.MAX_VALUE;
107        Assert.assertFalse(IntegerStamp.subtractionOverflows(a, b, 64));
108    }
109
110    @Test
111    public void testOverflowCheck11() {
112        long a = Long.MAX_VALUE;
113        long b = -Long.MAX_VALUE;
114        Assert.assertTrue(IntegerStamp.subtractionOverflows(a, b, 64));
115    }
116
117    @Test
118    public void testOverflowCheckStamp() {
119        IntegerStamp s1 = StampFactory.forInteger(32, Integer.MIN_VALUE, Integer.MIN_VALUE);
120        IntegerStamp s2 = StampFactory.forInteger(32, -1, -1);
121        Assert.assertFalse(IntegerStamp.subtractionCanOverflow(s1, s2));
122    }
123
124    @Test
125    public void testOverflowCheckStamp01() {
126        IntegerStamp s1 = StampFactory.forInteger(32, Integer.MAX_VALUE, Integer.MAX_VALUE);
127        IntegerStamp s2 = StampFactory.forInteger(32, Integer.MAX_VALUE, Integer.MAX_VALUE);
128        Assert.assertFalse(IntegerStamp.subtractionCanOverflow(s1, s2));
129    }
130
131    @Test
132    public void testOverflowCheckStamp02() {
133        IntegerStamp s1 = StampFactory.forInteger(32, Integer.MIN_VALUE, Integer.MIN_VALUE);
134        IntegerStamp s2 = StampFactory.forInteger(32, Integer.MIN_VALUE, Integer.MIN_VALUE);
135        Assert.assertFalse(IntegerStamp.subtractionCanOverflow(s1, s2));
136    }
137
138    @Test
139    public void testOverflowCheckStamp03() {
140        IntegerStamp s1 = StampFactory.forInteger(32, Integer.MIN_VALUE, Integer.MIN_VALUE);
141        IntegerStamp s2 = StampFactory.forInteger(32, 1, 1);
142        Assert.assertTrue(IntegerStamp.subtractionCanOverflow(s1, s2));
143    }
144
145    @Test
146    public void testOverflowCheckStamp04() {
147        IntegerStamp s1 = StampFactory.forInteger(8, Byte.MIN_VALUE, Byte.MIN_VALUE);
148        IntegerStamp s2 = StampFactory.forInteger(8, -1, -1);
149        Assert.assertFalse(IntegerStamp.subtractionCanOverflow(s1, s2));
150    }
151
152    @Test
153    public void testOverflowCheckStamp05() {
154        IntegerStamp s1 = StampFactory.forInteger(8, Byte.MAX_VALUE, Byte.MAX_VALUE);
155        IntegerStamp s2 = StampFactory.forInteger(8, Byte.MAX_VALUE, Byte.MAX_VALUE);
156        Assert.assertFalse(IntegerStamp.subtractionCanOverflow(s1, s2));
157    }
158
159    @Test
160    public void testOverflowCheckStamp06() {
161        IntegerStamp s1 = StampFactory.forInteger(8, Byte.MIN_VALUE, Byte.MIN_VALUE);
162        IntegerStamp s2 = StampFactory.forInteger(8, Byte.MIN_VALUE, Byte.MIN_VALUE);
163        Assert.assertFalse(IntegerStamp.subtractionCanOverflow(s1, s2));
164    }
165
166    @Test
167    public void testOverflowCheckStamp07() {
168        IntegerStamp s1 = StampFactory.forInteger(8, Byte.MIN_VALUE, Byte.MIN_VALUE);
169        IntegerStamp s2 = StampFactory.forInteger(8, 1, 1);
170        Assert.assertTrue(IntegerStamp.subtractionCanOverflow(s1, s2));
171    }
172
173    @Test
174    public void testOverflowCheckStamp08() {
175        IntegerStamp s1 = StampFactory.forInteger(64, Long.MIN_VALUE, Long.MIN_VALUE);
176        IntegerStamp s2 = StampFactory.forInteger(64, -1, -1);
177        Assert.assertFalse(IntegerStamp.subtractionCanOverflow(s1, s2));
178    }
179
180    @Test
181    public void testOverflowCheckStamp09() {
182        IntegerStamp s1 = StampFactory.forInteger(64, Long.MAX_VALUE, Long.MAX_VALUE);
183        IntegerStamp s2 = StampFactory.forInteger(64, Long.MAX_VALUE, Long.MAX_VALUE);
184        Assert.assertFalse(IntegerStamp.subtractionCanOverflow(s1, s2));
185    }
186
187    @Test
188    public void testOverflowCheckStamp10() {
189        IntegerStamp s1 = StampFactory.forInteger(64, Long.MIN_VALUE, Long.MIN_VALUE);
190        IntegerStamp s2 = StampFactory.forInteger(64, Long.MIN_VALUE, Long.MIN_VALUE);
191        Assert.assertFalse(IntegerStamp.subtractionCanOverflow(s1, s2));
192    }
193
194    @Test
195    public void testOverflowCheckStamp11() {
196        IntegerStamp s1 = StampFactory.forInteger(64, Long.MIN_VALUE, Long.MIN_VALUE);
197        IntegerStamp s2 = StampFactory.forInteger(64, 1, 1);
198        Assert.assertTrue(IntegerStamp.subtractionCanOverflow(s1, s2));
199    }
200
201    @Test
202    public void testOverflowBIgStamps01() {
203        IntegerStamp s1 = StampFactory.forInteger(64, Long.MIN_VALUE, Long.MAX_VALUE);
204        IntegerStamp s2 = StampFactory.forInteger(64, Long.MIN_VALUE, Long.MAX_VALUE);
205        Assert.assertTrue(IntegerStamp.subtractionCanOverflow(s1, s2));
206    }
207
208    @Test
209    public void testOverflowBIgStamps02() {
210        IntegerStamp s1 = StampFactory.forInteger(64, Long.MIN_VALUE, Long.MAX_VALUE);
211        IntegerStamp s2 = StampFactory.forInteger(64, Long.MIN_VALUE, Long.MIN_VALUE);
212        Assert.assertTrue(IntegerStamp.subtractionCanOverflow(s1, s2));
213    }
214}
215