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