blob: 60e418e1e534e55ca138bcd169c6472f0df13c2e [file] [log] [blame]
Calin Juravle34bacdf2014-10-07 20:23:36 +01001/*
2 * Copyright (C) 2014 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
Roland Levillainc2abe2f2015-08-03 15:20:02 +010017// Note that $opt$ is a marker for the optimizing compiler to test
Calin Juravle34bacdf2014-10-07 20:23:36 +010018// it does compile the method.
Calin Juravle34bacdf2014-10-07 20:23:36 +010019public class Main {
20
21 public static void expectEquals(int expected, int result) {
22 if (expected != result) {
23 throw new Error("Expected: " + expected + ", found: " + result);
24 }
25 }
26
27 public static void expectEquals(long expected, long result) {
28 if (expected != result) {
29 throw new Error("Expected: " + expected + ", found: " + result);
30 }
31 }
32
Calin Juravleb5bfa962014-10-21 18:02:24 +010033 public static void expectEquals(float expected, float result) {
34 if (expected != result) {
35 throw new Error("Expected: " + expected + ", found: " + result);
36 }
37 }
38
39 public static void expectEquals(double expected, double result) {
40 if (expected != result) {
41 throw new Error("Expected: " + expected + ", found: " + result);
42 }
43 }
44
45 public static void expectApproxEquals(float a, float b, float maxDelta) {
46 boolean aproxEquals = (a > b)
47 ? ((a - b) < maxDelta)
48 : ((b - a) < maxDelta);
49 if (!aproxEquals) {
50 throw new Error("Expected: " + a + ", found: " + b + ", with delta: " + maxDelta);
51 }
52 }
53
54 public static void expectApproxEquals(double a, double b, double maxDelta) {
55 boolean aproxEquals = (a > b)
56 ? ((a - b) < maxDelta)
57 : ((b - a) < maxDelta);
58 if (!aproxEquals) {
59 throw new Error("Expected: " + a + ", found: " + b + ", with delta: " + maxDelta);
60 }
61 }
62
63 public static void expectNaN(float a) {
64 if (a == a) {
65 throw new Error("Expected NaN: " + a);
66 }
67 }
68
69 public static void expectNaN(double a) {
70 if (a == a) {
71 throw new Error("Expected NaN: " + a);
72 }
73 }
74
Calin Juravle34bacdf2014-10-07 20:23:36 +010075 public static void main(String[] args) {
76 mul();
77 }
78
79 public static void mul() {
Calin Juravleb5bfa962014-10-21 18:02:24 +010080 mulInt();
81 mulLong();
82 mulFloat();
83 mulDouble();
84 }
85
86 private static void mulInt() {
Calin Juravle34bacdf2014-10-07 20:23:36 +010087 expectEquals(15, $opt$Mul(5, 3));
Calin Juravleb5bfa962014-10-21 18:02:24 +010088 expectEquals(0, $opt$Mul(0, 0));
Calin Juravle34bacdf2014-10-07 20:23:36 +010089 expectEquals(0, $opt$Mul(0, 3));
90 expectEquals(0, $opt$Mul(3, 0));
91 expectEquals(-3, $opt$Mul(1, -3));
92 expectEquals(36, $opt$Mul(-12, -3));
93 expectEquals(33, $opt$Mul(1, 3) * 11);
94 expectEquals(671088645, $opt$Mul(134217729, 5)); // (2^27 + 1) * 5
Calin Juravleb5bfa962014-10-21 18:02:24 +010095 }
Calin Juravle34bacdf2014-10-07 20:23:36 +010096
Calin Juravleb5bfa962014-10-21 18:02:24 +010097 private static void mulLong() {
Calin Juravle34bacdf2014-10-07 20:23:36 +010098 expectEquals(15L, $opt$Mul(5L, 3L));
Calin Juravleb5bfa962014-10-21 18:02:24 +010099 expectEquals(0L, $opt$Mul(0L, 0L));
Calin Juravle34bacdf2014-10-07 20:23:36 +0100100 expectEquals(0L, $opt$Mul(0L, 3L));
101 expectEquals(0L, $opt$Mul(3L, 0L));
102 expectEquals(-3L, $opt$Mul(1L, -3L));
103 expectEquals(36L, $opt$Mul(-12L, -3L));
Nicolas Geoffray9574c4b2014-11-12 13:19:37 +0000104 expectEquals(33L, $opt$Mul(1L, 3L) * 11L);
Calin Juravle34bacdf2014-10-07 20:23:36 +0100105 expectEquals(240518168583L, $opt$Mul(34359738369L, 7L)); // (2^35 + 1) * 7
Roland Levillain88cb1752014-10-20 16:36:47 +0100106 }
107
Calin Juravleb5bfa962014-10-21 18:02:24 +0100108 private static void mulFloat() {
109 expectApproxEquals(15F, $opt$Mul(5F, 3F), 0.0001F);
110 expectApproxEquals(0F, $opt$Mul(0F, 0F), 0.0001F);
111 expectApproxEquals(0F, $opt$Mul(0F, 3F), 0.0001F);
112 expectApproxEquals(0F, $opt$Mul(3F, 0F), 0.0001F);
113 expectApproxEquals(-3F, $opt$Mul(1F, -3F), 0.0001F);
114 expectApproxEquals(36F, $opt$Mul(-12F, -3F), 0.0001F);
115 expectApproxEquals(33F, $opt$Mul(1F, 3F) * 11F, 0.0001F);
116 expectApproxEquals(0.02F, 0.1F * 0.2F, 0.0001F);
117 expectApproxEquals(-0.1F, -0.5F * 0.2F, 0.0001F);
118
119 expectNaN($opt$Mul(0F, Float.POSITIVE_INFINITY));
120 expectNaN($opt$Mul(0F, Float.NEGATIVE_INFINITY));
121 expectNaN($opt$Mul(Float.NaN, 11F));
122 expectNaN($opt$Mul(Float.NaN, -11F));
123 expectNaN($opt$Mul(Float.NaN, Float.NEGATIVE_INFINITY));
124 expectNaN($opt$Mul(Float.NaN, Float.POSITIVE_INFINITY));
125
126 expectEquals(Float.POSITIVE_INFINITY, $opt$Mul(2F, 3.40282346638528860e+38F));
127 expectEquals(Float.POSITIVE_INFINITY, $opt$Mul(2F, Float.POSITIVE_INFINITY));
128 expectEquals(Float.NEGATIVE_INFINITY, $opt$Mul(-2F, Float.POSITIVE_INFINITY));
129 expectEquals(Float.NEGATIVE_INFINITY, $opt$Mul(-2F, 3.40282346638528860e+38F));
130 expectEquals(Float.NEGATIVE_INFINITY, $opt$Mul(2F, Float.NEGATIVE_INFINITY));
131 expectEquals(Float.POSITIVE_INFINITY, $opt$Mul(-2F, Float.NEGATIVE_INFINITY));
132 expectEquals(Float.NEGATIVE_INFINITY, $opt$Mul(Float.POSITIVE_INFINITY, Float.NEGATIVE_INFINITY));
133 expectEquals(Float.POSITIVE_INFINITY, $opt$Mul(Float.POSITIVE_INFINITY, Float.POSITIVE_INFINITY));
134 expectEquals(Float.POSITIVE_INFINITY, $opt$Mul(Float.NEGATIVE_INFINITY, Float.NEGATIVE_INFINITY));
135 }
136
137 private static void mulDouble() {
138 expectApproxEquals(15D, $opt$Mul(5D, 3D), 0.0001D);
139 expectApproxEquals(0D, $opt$Mul(0D, 0D), 0.0001D);
140 expectApproxEquals(0D, $opt$Mul(0D, 3D), 0.0001D);
141 expectApproxEquals(0D, $opt$Mul(3D, 0D), 0.0001D);
142 expectApproxEquals(-3D, $opt$Mul(1D, -3D), 0.0001D);
143 expectApproxEquals(36D, $opt$Mul(-12D, -3D), 0.0001D);
144 expectApproxEquals(33D, $opt$Mul(1D, 3D) * 11D, 0.0001D);
145 expectApproxEquals(0.02D, 0.1D * 0.2D, 0.0001D);
146 expectApproxEquals(-0.1D, -0.5D * 0.2D, 0.0001D);
147
148 expectNaN($opt$Mul(0D, Double.POSITIVE_INFINITY));
149 expectNaN($opt$Mul(0D, Double.NEGATIVE_INFINITY));
150 expectNaN($opt$Mul(Double.NaN, 11D));
151 expectNaN($opt$Mul(Double.NaN, -11D));
152 expectNaN($opt$Mul(Double.NaN, Double.NEGATIVE_INFINITY));
153 expectNaN($opt$Mul(Double.NaN, Double.POSITIVE_INFINITY));
154
155 expectEquals(Double.POSITIVE_INFINITY, $opt$Mul(2D, 1.79769313486231570e+308));
156 expectEquals(Double.POSITIVE_INFINITY, $opt$Mul(2D, Double.POSITIVE_INFINITY));
157 expectEquals(Double.NEGATIVE_INFINITY, $opt$Mul(-2D, Double.POSITIVE_INFINITY));
158 expectEquals(Double.NEGATIVE_INFINITY, $opt$Mul(-2D, 1.79769313486231570e+308));
159 expectEquals(Double.NEGATIVE_INFINITY, $opt$Mul(2D, Double.NEGATIVE_INFINITY));
160 expectEquals(Double.POSITIVE_INFINITY, $opt$Mul(-2D, Double.NEGATIVE_INFINITY));
161 expectEquals(Double.NEGATIVE_INFINITY, $opt$Mul(Double.POSITIVE_INFINITY, Double.NEGATIVE_INFINITY));
162 expectEquals(Double.POSITIVE_INFINITY, $opt$Mul(Double.POSITIVE_INFINITY, Double.POSITIVE_INFINITY));
163 expectEquals(Double.POSITIVE_INFINITY, $opt$Mul(Double.NEGATIVE_INFINITY, Double.NEGATIVE_INFINITY));
164 }
165
Calin Juravle34bacdf2014-10-07 20:23:36 +0100166 static int $opt$Mul(int a, int b) {
167 return a * b;
168 }
169
170 static long $opt$Mul(long a, long b) {
171 return a * b;
172 }
173
Calin Juravleb5bfa962014-10-21 18:02:24 +0100174 static float $opt$Mul(float a, float b) {
175 return a * b;
176 }
177
178 static double $opt$Mul(double a, double b) {
179 return a * b;
180 }
Calin Juravle34bacdf2014-10-07 20:23:36 +0100181}