134bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle/*
234bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle * Copyright (C) 2014 The Android Open Source Project
334bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle *
434bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle * Licensed under the Apache License, Version 2.0 (the "License");
534bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle * you may not use this file except in compliance with the License.
634bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle * You may obtain a copy of the License at
734bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle *
834bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle *      http://www.apache.org/licenses/LICENSE-2.0
934bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle *
1034bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle * Unless required by applicable law or agreed to in writing, software
1134bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle * distributed under the License is distributed on an "AS IS" BASIS,
1234bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
1334bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle * See the License for the specific language governing permissions and
1434bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle * limitations under the License.
1534bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle */
1634bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle
17c2abe2fe9036b57c581e3003d0b820d1c54dbd30Roland Levillain// Note that $opt$ is a marker for the optimizing compiler to test
1834bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle// it does compile the method.
1934bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravlepublic class Main {
2034bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle
2134bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle  public static void expectEquals(int expected, int result) {
2234bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle    if (expected != result) {
2334bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle      throw new Error("Expected: " + expected + ", found: " + result);
2434bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle    }
2534bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle  }
2634bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle
2734bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle  public static void expectEquals(long expected, long result) {
2834bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle    if (expected != result) {
2934bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle      throw new Error("Expected: " + expected + ", found: " + result);
3034bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle    }
3134bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle  }
3234bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle
33b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle  public static void expectEquals(float expected, float result) {
34b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    if (expected != result) {
35b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle      throw new Error("Expected: " + expected + ", found: " + result);
36b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    }
37b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle  }
38b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle
39b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle  public static void expectEquals(double expected, double result) {
40b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    if (expected != result) {
41b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle      throw new Error("Expected: " + expected + ", found: " + result);
42b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    }
43b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle  }
44b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle
45b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle  public static void expectApproxEquals(float a, float b, float maxDelta) {
46b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    boolean aproxEquals = (a > b)
47b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle      ? ((a - b) < maxDelta)
48b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle      : ((b - a) < maxDelta);
49b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    if (!aproxEquals) {
50b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle      throw new Error("Expected: " + a + ", found: " + b + ", with delta: " + maxDelta);
51b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    }
52b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle  }
53b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle
54b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle  public static void expectApproxEquals(double a, double b, double maxDelta) {
55b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    boolean aproxEquals = (a > b)
56b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle      ? ((a - b) < maxDelta)
57b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle      : ((b - a) < maxDelta);
58b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    if (!aproxEquals) {
59b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle      throw new Error("Expected: " + a + ", found: " + b + ", with delta: " + maxDelta);
60b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    }
61b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle  }
62b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle
63b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle  public static void expectNaN(float a) {
64b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    if (a == a) {
65b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle      throw new Error("Expected NaN: " + a);
66b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    }
67b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle  }
68b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle
69b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle  public static void expectNaN(double a) {
70b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    if (a == a) {
71b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle      throw new Error("Expected NaN: " + a);
72b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    }
73b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle  }
74b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle
7534bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle  public static void main(String[] args) {
7634bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle    mul();
7734bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle  }
7834bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle
7934bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle  public static void mul() {
80b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    mulInt();
81b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    mulLong();
82b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    mulFloat();
83b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    mulDouble();
84b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle  }
85b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle
86b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle  private static void mulInt() {
8734bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle    expectEquals(15, $opt$Mul(5, 3));
88b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectEquals(0, $opt$Mul(0, 0));
8934bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle    expectEquals(0, $opt$Mul(0, 3));
9034bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle    expectEquals(0, $opt$Mul(3, 0));
9134bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle    expectEquals(-3, $opt$Mul(1, -3));
9234bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle    expectEquals(36, $opt$Mul(-12, -3));
9334bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle    expectEquals(33, $opt$Mul(1, 3) * 11);
9434bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle    expectEquals(671088645, $opt$Mul(134217729, 5)); // (2^27 + 1) * 5
95b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle  }
9634bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle
97b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle  private static void mulLong() {
9834bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle    expectEquals(15L, $opt$Mul(5L, 3L));
99b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectEquals(0L, $opt$Mul(0L, 0L));
10034bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle    expectEquals(0L, $opt$Mul(0L, 3L));
10134bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle    expectEquals(0L, $opt$Mul(3L, 0L));
10234bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle    expectEquals(-3L, $opt$Mul(1L, -3L));
10334bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle    expectEquals(36L, $opt$Mul(-12L, -3L));
1049574c4b5f5ef039d694ac12c97e25ca02eca83c0Nicolas Geoffray    expectEquals(33L, $opt$Mul(1L, 3L) * 11L);
10534bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle    expectEquals(240518168583L, $opt$Mul(34359738369L, 7L)); // (2^35 + 1) * 7
10688cb1755e1d6acaed0f66ce65d7a2a4465053342Roland Levillain  }
10788cb1755e1d6acaed0f66ce65d7a2a4465053342Roland Levillain
108b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle  private static void mulFloat() {
109b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectApproxEquals(15F, $opt$Mul(5F, 3F), 0.0001F);
110b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectApproxEquals(0F, $opt$Mul(0F, 0F), 0.0001F);
111b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectApproxEquals(0F, $opt$Mul(0F, 3F), 0.0001F);
112b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectApproxEquals(0F, $opt$Mul(3F, 0F), 0.0001F);
113b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectApproxEquals(-3F, $opt$Mul(1F, -3F), 0.0001F);
114b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectApproxEquals(36F, $opt$Mul(-12F, -3F), 0.0001F);
115b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectApproxEquals(33F, $opt$Mul(1F, 3F) * 11F, 0.0001F);
116b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectApproxEquals(0.02F, 0.1F * 0.2F, 0.0001F);
117b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectApproxEquals(-0.1F, -0.5F * 0.2F, 0.0001F);
118b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle
119b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectNaN($opt$Mul(0F, Float.POSITIVE_INFINITY));
120b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectNaN($opt$Mul(0F, Float.NEGATIVE_INFINITY));
121b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectNaN($opt$Mul(Float.NaN, 11F));
122b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectNaN($opt$Mul(Float.NaN, -11F));
123b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectNaN($opt$Mul(Float.NaN, Float.NEGATIVE_INFINITY));
124b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectNaN($opt$Mul(Float.NaN, Float.POSITIVE_INFINITY));
125b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle
126b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectEquals(Float.POSITIVE_INFINITY, $opt$Mul(2F, 3.40282346638528860e+38F));
127b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectEquals(Float.POSITIVE_INFINITY, $opt$Mul(2F, Float.POSITIVE_INFINITY));
128b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectEquals(Float.NEGATIVE_INFINITY, $opt$Mul(-2F, Float.POSITIVE_INFINITY));
129b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectEquals(Float.NEGATIVE_INFINITY, $opt$Mul(-2F, 3.40282346638528860e+38F));
130b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectEquals(Float.NEGATIVE_INFINITY, $opt$Mul(2F, Float.NEGATIVE_INFINITY));
131b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectEquals(Float.POSITIVE_INFINITY, $opt$Mul(-2F, Float.NEGATIVE_INFINITY));
132b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectEquals(Float.NEGATIVE_INFINITY, $opt$Mul(Float.POSITIVE_INFINITY, Float.NEGATIVE_INFINITY));
133b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectEquals(Float.POSITIVE_INFINITY, $opt$Mul(Float.POSITIVE_INFINITY, Float.POSITIVE_INFINITY));
134b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectEquals(Float.POSITIVE_INFINITY, $opt$Mul(Float.NEGATIVE_INFINITY, Float.NEGATIVE_INFINITY));
135b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle  }
136b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle
137b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle  private static void mulDouble() {
138b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectApproxEquals(15D, $opt$Mul(5D, 3D), 0.0001D);
139b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectApproxEquals(0D, $opt$Mul(0D, 0D), 0.0001D);
140b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectApproxEquals(0D, $opt$Mul(0D, 3D), 0.0001D);
141b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectApproxEquals(0D, $opt$Mul(3D, 0D), 0.0001D);
142b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectApproxEquals(-3D, $opt$Mul(1D, -3D), 0.0001D);
143b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectApproxEquals(36D, $opt$Mul(-12D, -3D), 0.0001D);
144b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectApproxEquals(33D, $opt$Mul(1D, 3D) * 11D, 0.0001D);
145b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectApproxEquals(0.02D, 0.1D * 0.2D, 0.0001D);
146b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectApproxEquals(-0.1D, -0.5D * 0.2D, 0.0001D);
147b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle
148b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectNaN($opt$Mul(0D, Double.POSITIVE_INFINITY));
149b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectNaN($opt$Mul(0D, Double.NEGATIVE_INFINITY));
150b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectNaN($opt$Mul(Double.NaN, 11D));
151b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectNaN($opt$Mul(Double.NaN, -11D));
152b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectNaN($opt$Mul(Double.NaN, Double.NEGATIVE_INFINITY));
153b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectNaN($opt$Mul(Double.NaN, Double.POSITIVE_INFINITY));
154b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle
155b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectEquals(Double.POSITIVE_INFINITY, $opt$Mul(2D, 1.79769313486231570e+308));
156b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectEquals(Double.POSITIVE_INFINITY, $opt$Mul(2D, Double.POSITIVE_INFINITY));
157b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectEquals(Double.NEGATIVE_INFINITY, $opt$Mul(-2D, Double.POSITIVE_INFINITY));
158b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectEquals(Double.NEGATIVE_INFINITY, $opt$Mul(-2D, 1.79769313486231570e+308));
159b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectEquals(Double.NEGATIVE_INFINITY, $opt$Mul(2D, Double.NEGATIVE_INFINITY));
160b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectEquals(Double.POSITIVE_INFINITY, $opt$Mul(-2D, Double.NEGATIVE_INFINITY));
161b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectEquals(Double.NEGATIVE_INFINITY, $opt$Mul(Double.POSITIVE_INFINITY, Double.NEGATIVE_INFINITY));
162b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectEquals(Double.POSITIVE_INFINITY, $opt$Mul(Double.POSITIVE_INFINITY, Double.POSITIVE_INFINITY));
163b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    expectEquals(Double.POSITIVE_INFINITY, $opt$Mul(Double.NEGATIVE_INFINITY, Double.NEGATIVE_INFINITY));
164b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle  }
165b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle
16634bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle  static int $opt$Mul(int a, int b) {
16734bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle    return a * b;
16834bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle  }
16934bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle
17034bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle  static long $opt$Mul(long a, long b) {
17134bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle    return a * b;
17234bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle  }
17334bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle
174b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle  static float $opt$Mul(float a, float b) {
175b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    return a * b;
176b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle  }
177b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle
178b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle  static double $opt$Mul(double a, double b) {
179b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle    return a * b;
180b5bfa96ff20e86316961327dec5c859239dab6a0Calin Juravle  }
18134bacdf7eb46c0ffbf24ba7aa14a904bc9176fb2Calin Juravle}
182