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 */
23
24 /*
25 * @test
26 * @bug 8025657
27 * @summary Test repeating addExact
28 * @compile RepeatTest.java
29 * @run main RepeatTest
30 *
31 */
32
33 import java.lang.ArithmeticException;
34
35 public class RepeatTest {
36 public static void main(String[] args) {
37 java.util.Random rnd = new java.util.Random();
38 for (int i = 0; i < 50000; ++i) {
39 int x = Integer.MAX_VALUE - 10;
40 int y = Integer.MAX_VALUE - 10 + rnd.nextInt(5); //rnd.nextInt() / 2;
41
42 int c = rnd.nextInt() / 2;
43 int d = rnd.nextInt() / 2;
44
45 int a = addExact(x, y);
46
47 if (a != 36) {
48 throw new RuntimeException("a != 0 : " + a);
49 }
50
51 int b = nonExact(c, d);
52 int n = addExact2(c, d);
53
54
55 if (n != b) {
56 throw new RuntimeException("n != b : " + n + " != " + b);
57 }
58 }
59 }
60
61 public static int addExact2(int x, int y) {
62 int result = 0;
63 result += java.lang.Math.addExact(x, y);
64 result += java.lang.Math.addExact(x, y);
65 result += java.lang.Math.addExact(x, y);
66 result += java.lang.Math.addExact(x, y);
67 return result;
68 }
69
70 public static int addExact(int x, int y) {
71 int result = 0;
72 try {
73 result += 5;
74 result = java.lang.Math.addExact(x, y);
75 } catch (ArithmeticException e) {
76 result += 1;
77 }
78 try {
79 result += 6;
80
81 result += java.lang.Math.addExact(x, y);
82 } catch (ArithmeticException e) {
83 result += 2;
84 }
85 try {
86 result += 7;
87 result += java.lang.Math.addExact(x, y);
88 } catch (ArithmeticException e) {
89 result += 3;
90 }
91 try {
92 result += 8;
93 result += java.lang.Math.addExact(x, y);
94 } catch (ArithmeticException e) {
95 result += 4;
96 }
97 return result;
98 }
99
100 public static int nonExact(int x, int y) {
101 int result = x + y;
102 result += x + y;
103 result += x + y;
104 result += x + y;
105 return result;
106 }
107 }
|
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 */
23
24 /*
25 * @test
26 * @bug 8025657
27 * @summary Test repeating addExact
28 * @compile AddExactIRepeatTest.java Verify.java
29 * @run main AddExactIRepeatTest
30 *
31 */
32
33 public class AddExactIRepeatTest {
34 public static void main(String[] args) {
35 runTest(new Verify.AddExactI());
36 }
37
38 public static int nonExact(int x, int y, Verify.BinaryMethod method) {
39 int result = method.unchecked(x, y);
40 result += method.unchecked(x, y);
41 result += method.unchecked(x, y);
42 result += method.unchecked(x, y);
43 return result;
44 }
45
46 public static void runTest(Verify.BinaryMethod method) {
47 java.util.Random rnd = new java.util.Random();
48 for (int i = 0; i < 50000; ++i) {
49 int x = Integer.MAX_VALUE - 10;
50 int y = Integer.MAX_VALUE - 10 + rnd.nextInt(5);
51
52 int c = rnd.nextInt() / 2;
53 int d = rnd.nextInt() / 2;
54
55 int a = catchingExact(x, y, method);
56
57 if (a != 36) {
58 throw new RuntimeException("a != 36 : " + a);
59 }
60
61 int b = nonExact(c, d, method);
62 int n = exact(c, d, method);
63
64
65 if (n != b) {
66 throw new RuntimeException("n != b : " + n + " != " + b);
67 }
68 }
69 }
70
71 public static int exact(int x, int y, Verify.BinaryMethod method) {
72 int result = 0;
73 result += method.checkMethod(x, y);
74 result += method.checkMethod(x, y);
75 result += method.checkMethod(x, y);
76 result += method.checkMethod(x, y);
77 return result;
78 }
79
80 public static int catchingExact(int x, int y, Verify.BinaryMethod method) {
81 int result = 0;
82 try {
83 result += 5;
84 result = method.checkMethod(x, y);
85 } catch (ArithmeticException e) {
86 result += 1;
87 }
88 try {
89 result += 6;
90
91 result += method.checkMethod(x, y);
92 } catch (ArithmeticException e) {
93 result += 2;
94 }
95 try {
96 result += 7;
97 result += method.checkMethod(x, y);
98 } catch (ArithmeticException e) {
99 result += 3;
100 }
101 try {
102 result += 8;
103 result += method.checkMethod(x, y);
104 } catch (ArithmeticException e) {
105 result += 4;
106 }
107 return result;
108 }
109 }
|