11135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle/* 21135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle * Copyright (C) 2014 The Android Open Source Project 31135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle * 41135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle * Licensed under the Apache License, Version 2.0 (the "License"); 51135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle * you may not use this file except in compliance with the License. 61135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle * You may obtain a copy of the License at 71135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle * 81135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle * http://www.apache.org/licenses/LICENSE-2.0 91135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle * 101135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle * Unless required by applicable law or agreed to in writing, software 111135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle * distributed under the License is distributed on an "AS IS" BASIS, 121135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 131135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle * See the License for the specific language governing permissions and 141135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle * limitations under the License. 151135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle */ 161135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle 17c2abe2fe9036b57c581e3003d0b820d1c54dbd30Roland Levillain// Note that $opt$ is a marker for the optimizing compiler to test 181135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle// it does compile the method. 191135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravlepublic class Main { 201135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle 211135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle public static void expectEquals(int expected, int result) { 221135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle if (expected != result) { 231135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle throw new Error("Expected: " + expected + ", found: " + result); 241135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle } 251135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle } 261135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle 271135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle public static void expectEquals(long expected, long result) { 281135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle if (expected != result) { 291135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle throw new Error("Expected: " + expected + ", found: " + result); 301135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle } 311135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle } 321135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle 331135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle public static void expectEquals(float expected, float result) { 341135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle if (expected != result) { 351135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle throw new Error("Expected: " + expected + ", found: " + result); 361135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle } 371135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle } 381135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle 391135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle public static void expectEquals(double expected, double result) { 401135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle if (expected != result) { 411135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle throw new Error("Expected: " + expected + ", found: " + result); 421135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle } 431135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle } 441135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle 451135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle public static void expectApproxEquals(float a, float b) { 461135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle float maxDelta = 0.0001F; 471135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle boolean aproxEquals = (a > b) ? ((a - b) < maxDelta) : ((b - a) < maxDelta); 481135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle if (!aproxEquals) { 491135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle throw new Error("Expected: " + a + ", found: " + b + ", with delta: " + maxDelta + " " + (a - b)); 501135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle } 511135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle } 521135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle 531135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle public static void expectApproxEquals(double a, double b) { 541135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle double maxDelta = 0.00001D; 551135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle boolean aproxEquals = (a > b) ? ((a - b) < maxDelta) : ((b - a) < maxDelta); 561135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle if (!aproxEquals) { 571135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle throw new Error("Expected: " + a + ", found: " + b + ", with delta: " + maxDelta + " " + (a - b)); 581135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle } 591135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle } 601135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle 611135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle public static void expectNaN(float a) { 621135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle if (a == a) { 631135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle throw new Error("Expected NaN: " + a); 641135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle } 651135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle } 661135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle 671135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle public static void expectNaN(double a) { 681135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle if (a == a) { 691135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle throw new Error("Expected NaN: " + a); 701135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle } 711135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle } 721135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle 731135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle public static void main(String[] args) { 741135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle subInt(); 751135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle subLong(); 761135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle subFloat(); 771135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle subDouble(); 781135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle } 791135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle 801135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle private static void subInt() { 811135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectEquals(2, $opt$Sub(5, 3)); 821135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectEquals(0, $opt$Sub(0, 0)); 831135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectEquals(-3, $opt$Sub(0, 3)); 841135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectEquals(3, $opt$Sub(3, 0)); 851135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectEquals(4, $opt$Sub(1, -3)); 861135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectEquals(-9, $opt$Sub(-12, -3)); 871135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectEquals(134217724, $opt$Sub(134217729, 5)); // (2^27 + 1) - 5 881135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle } 891135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle 901135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle private static void subLong() { 911135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectEquals(2L, $opt$Sub(5L, 3L)); 921135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectEquals(0L, $opt$Sub(0L, 0L)); 931135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectEquals(-3L, $opt$Sub(0L, 3L)); 941135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectEquals(3L, $opt$Sub(3L, 0L)); 951135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectEquals(4L, $opt$Sub(1L, -3L)); 961135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectEquals(-9L, $opt$Sub(-12L, -3L)); 971135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectEquals(134217724L, $opt$Sub(134217729L, 5L)); // (2^27 + 1) - 5 981135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectEquals(34359738362L, $opt$Sub(34359738369L, 7L)); // (2^35 + 1) - 7 991135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle } 1001135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle 1011135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle private static void subFloat() { 1021135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectApproxEquals(2F, $opt$Sub(5F, 3F)); 1031135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectApproxEquals(0F, $opt$Sub(0F, 0F)); 1041135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectApproxEquals(-3F, $opt$Sub(0F, 3F)); 1051135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectApproxEquals(3F, $opt$Sub(3F, 0F)); 1061135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectApproxEquals(4F, $opt$Sub(1F, -3F)); 1071135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectApproxEquals(-9F, $opt$Sub(-12F, -3F)); 1081135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectApproxEquals(34359738362F, $opt$Sub(34359738369F, 7F)); // (2^35 + 1) - 7 1091135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectApproxEquals(-0.1F, $opt$Sub(0.1F, 0.2F)); 1101135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectApproxEquals(0.2F, $opt$Sub(-0.5F, -0.7F)); 1111135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle 1121135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectNaN($opt$Sub(Float.NEGATIVE_INFINITY, Float.NEGATIVE_INFINITY)); 1131135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectNaN($opt$Sub(Float.POSITIVE_INFINITY, Float.POSITIVE_INFINITY)); 1141135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectNaN($opt$Sub(Float.NaN, 11F)); 1151135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectNaN($opt$Sub(Float.NaN, -11F)); 1161135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectNaN($opt$Sub(Float.NaN, Float.NEGATIVE_INFINITY)); 1171135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectNaN($opt$Sub(Float.NaN, Float.POSITIVE_INFINITY)); 1181135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle 1191135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectEquals(Float.NEGATIVE_INFINITY, $opt$Sub(-Float.MAX_VALUE, Float.MAX_VALUE)); 1201135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectEquals(Float.NEGATIVE_INFINITY, $opt$Sub(2F, Float.POSITIVE_INFINITY)); 1211135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectEquals(Float.POSITIVE_INFINITY, $opt$Sub(Float.MAX_VALUE, -Float.MAX_VALUE)); 1221135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectEquals(Float.POSITIVE_INFINITY, $opt$Sub(2F, Float.NEGATIVE_INFINITY)); 1231135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectEquals(Float.POSITIVE_INFINITY, $opt$Sub(Float.POSITIVE_INFINITY, Float.NEGATIVE_INFINITY)); 1241135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectEquals(Float.NEGATIVE_INFINITY, $opt$Sub(Float.NEGATIVE_INFINITY, Float.POSITIVE_INFINITY)); 1251135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle } 1261135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle 1271135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle private static void subDouble() { 1281135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectApproxEquals(2D, $opt$Sub(5D, 3D)); 1291135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectApproxEquals(0D, $opt$Sub(0D, 0D)); 1301135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectApproxEquals(-3D, $opt$Sub(0D, 3D)); 1311135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectApproxEquals(3D, $opt$Sub(3D, 0D)); 1321135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectApproxEquals(4D, $opt$Sub(1D, -3D)); 1331135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectApproxEquals(-9D, $opt$Sub(-12D, -3D)); 1341135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectApproxEquals(134217724D, $opt$Sub(134217729D, 5D)); // (2^27 + 1) - 5 1351135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectApproxEquals(34359738362D, $opt$Sub(34359738369D, 7D)); // (2^35 + 1) - 7 1361135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectApproxEquals(-0.1D, $opt$Sub(0.1D, 0.2D)); 1371135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectApproxEquals(0.2D, $opt$Sub(-0.5D, -0.7D)); 1381135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle 1391135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectNaN($opt$Sub(Double.NEGATIVE_INFINITY, Double.NEGATIVE_INFINITY)); 1401135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectNaN($opt$Sub(Double.POSITIVE_INFINITY, Double.POSITIVE_INFINITY)); 1411135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectNaN($opt$Sub(Double.NaN, 11D)); 1421135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectNaN($opt$Sub(Double.NaN, -11D)); 1431135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectNaN($opt$Sub(Double.NaN, Double.NEGATIVE_INFINITY)); 1441135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectNaN($opt$Sub(Double.NaN, Double.POSITIVE_INFINITY)); 1451135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle 1461135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectEquals(Double.NEGATIVE_INFINITY, $opt$Sub(-Double.MAX_VALUE, Double.MAX_VALUE)); 1471135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectEquals(Double.NEGATIVE_INFINITY, $opt$Sub(2D, Double.POSITIVE_INFINITY)); 1481135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectEquals(Double.POSITIVE_INFINITY, $opt$Sub(Double.MAX_VALUE, -Double.MAX_VALUE)); 1491135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectEquals(Double.POSITIVE_INFINITY, $opt$Sub(2D, Double.NEGATIVE_INFINITY)); 1501135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectEquals(Double.POSITIVE_INFINITY, $opt$Sub(Double.POSITIVE_INFINITY, Double.NEGATIVE_INFINITY)); 1511135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle expectEquals(Double.NEGATIVE_INFINITY, $opt$Sub(Double.NEGATIVE_INFINITY, Double.POSITIVE_INFINITY)); 1521135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle } 1531135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle 1541135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle static int $opt$Sub(int a, int b) { 1551135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle return a - b; 1561135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle } 1571135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle 1581135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle static long $opt$Sub(long a, long b) { 1591135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle return a - b; 1601135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle } 1611135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle 1621135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle static float $opt$Sub(float a, float b) { 1631135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle return a - b; 1641135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle } 1651135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle 1661135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle static double $opt$Sub(double a, double b) { 1671135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle return a - b; 1681135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle } 1691135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle 1701135168a1a9e2a6493657be8c5e91d67e5f224a7Calin Juravle} 171