| Calin Juravle | d2ec87d | 2014-12-08 14:24:46 +0000 | [diff] [blame^] | 1 | /* |
| 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 | |
| 17 | public class Main { |
| 18 | |
| 19 | public static void main(String[] args) { |
| 20 | remFloat(); |
| 21 | remDouble(); |
| 22 | } |
| 23 | |
| 24 | private static void remFloat() { |
| 25 | expectApproxEquals(2F, $opt$RemConst(6F)); |
| 26 | |
| 27 | expectApproxEquals(2F, $opt$Rem(5.1F, 3.1F)); |
| 28 | expectApproxEquals(2.1F, $opt$Rem(5.1F, 3F)); |
| 29 | expectApproxEquals(-2F, $opt$Rem(-5.1F, 3.1F)); |
| 30 | expectApproxEquals(-2.1F, $opt$Rem(-5.1F, -3F)); |
| 31 | |
| 32 | expectApproxEquals(2F, $opt$Rem(6F, 4F)); |
| 33 | expectApproxEquals(2F, $opt$Rem(6F, -4F)); |
| 34 | expectApproxEquals(0F, $opt$Rem(6F, 3F)); |
| 35 | expectApproxEquals(0F, $opt$Rem(6F, -3F)); |
| 36 | expectApproxEquals(0F, $opt$Rem(6F, 1F)); |
| 37 | expectApproxEquals(0F, $opt$Rem(6F, -1F)); |
| 38 | expectApproxEquals(-1F, $opt$Rem(-7F, 3F)); |
| 39 | expectApproxEquals(-1F, $opt$Rem(-7F, -3F)); |
| 40 | expectApproxEquals(0F, $opt$Rem(6F, 6F)); |
| 41 | expectApproxEquals(0F, $opt$Rem(-6F, -6F)); |
| 42 | expectApproxEquals(7F, $opt$Rem(7F, 9F)); |
| 43 | expectApproxEquals(7F, $opt$Rem(7F, -9F)); |
| 44 | expectApproxEquals(-7F, $opt$Rem(-7F, 9F)); |
| 45 | expectApproxEquals(-7F, $opt$Rem(-7F, -9F)); |
| 46 | |
| 47 | expectApproxEquals(0F, $opt$Rem(Float.MAX_VALUE, 1F)); |
| 48 | expectApproxEquals(0F, $opt$Rem(Float.MAX_VALUE, -1F)); |
| 49 | expectApproxEquals(0F, $opt$Rem(Float.MIN_VALUE, 1F)); |
| 50 | expectApproxEquals(0F, $opt$Rem(Float.MIN_VALUE, -1F)); |
| 51 | |
| 52 | expectApproxEquals(0F, $opt$Rem(0F, 7F)); |
| 53 | expectApproxEquals(0F, $opt$Rem(0F, Float.MAX_VALUE)); |
| 54 | expectApproxEquals(0F, $opt$Rem(0F, Float.MIN_VALUE)); |
| 55 | |
| 56 | expectNaN($opt$Rem(Float.NaN, 3F)); |
| 57 | expectNaN($opt$Rem(3F, Float.NaN)); |
| 58 | expectNaN($opt$Rem(Float.POSITIVE_INFINITY, Float.NEGATIVE_INFINITY)); |
| 59 | expectNaN($opt$Rem(Float.NEGATIVE_INFINITY, Float.POSITIVE_INFINITY)); |
| 60 | expectNaN($opt$Rem(3F, 0F)); |
| 61 | |
| 62 | expectApproxEquals(4F, $opt$Rem(4F, Float.POSITIVE_INFINITY)); |
| 63 | expectApproxEquals(4F, $opt$Rem(4F, Float.NEGATIVE_INFINITY)); |
| 64 | } |
| 65 | |
| 66 | private static void remDouble() { |
| 67 | expectApproxEquals(2D, $opt$RemConst(6D)); |
| 68 | |
| 69 | expectApproxEquals(2D, $opt$Rem(5.1D, 3.1D)); |
| 70 | expectApproxEquals(2.1D, $opt$Rem(5.1D, 3D)); |
| 71 | expectApproxEquals(-2D, $opt$Rem(-5.1D, 3.1D)); |
| 72 | expectApproxEquals(-2.1D, $opt$Rem(-5.1D, -3D)); |
| 73 | |
| 74 | expectApproxEquals(2D, $opt$Rem(6D, 4D)); |
| 75 | expectApproxEquals(2D, $opt$Rem(6D, -4D)); |
| 76 | expectApproxEquals(0D, $opt$Rem(6D, 3D)); |
| 77 | expectApproxEquals(0D, $opt$Rem(6D, -3D)); |
| 78 | expectApproxEquals(0D, $opt$Rem(6D, 1D)); |
| 79 | expectApproxEquals(0D, $opt$Rem(6D, -1D)); |
| 80 | expectApproxEquals(-1D, $opt$Rem(-7D, 3D)); |
| 81 | expectApproxEquals(-1D, $opt$Rem(-7D, -3D)); |
| 82 | expectApproxEquals(0D, $opt$Rem(6D, 6D)); |
| 83 | expectApproxEquals(0D, $opt$Rem(-6D, -6D)); |
| 84 | expectApproxEquals(7D, $opt$Rem(7D, 9D)); |
| 85 | expectApproxEquals(7D, $opt$Rem(7D, -9D)); |
| 86 | expectApproxEquals(-7D, $opt$Rem(-7D, 9D)); |
| 87 | expectApproxEquals(-7D, $opt$Rem(-7D, -9D)); |
| 88 | |
| 89 | expectApproxEquals(0D, $opt$Rem(Double.MAX_VALUE, 1D)); |
| 90 | expectApproxEquals(0D, $opt$Rem(Double.MAX_VALUE, -1D)); |
| 91 | expectApproxEquals(0D, $opt$Rem(Double.MIN_VALUE, 1D)); |
| 92 | expectApproxEquals(0D, $opt$Rem(Double.MIN_VALUE, -1D)); |
| 93 | |
| 94 | expectApproxEquals(0D, $opt$Rem(0D, 7D)); |
| 95 | expectApproxEquals(0D, $opt$Rem(0D, Double.MAX_VALUE)); |
| 96 | expectApproxEquals(0D, $opt$Rem(0D, Double.MIN_VALUE)); |
| 97 | |
| 98 | expectNaN($opt$Rem(Double.NaN, 3D)); |
| 99 | expectNaN($opt$Rem(3D, Double.NaN)); |
| 100 | expectNaN($opt$Rem(Double.POSITIVE_INFINITY, Double.NEGATIVE_INFINITY)); |
| 101 | expectNaN($opt$Rem(Double.NEGATIVE_INFINITY, Double.POSITIVE_INFINITY)); |
| 102 | expectNaN($opt$Rem(3D, 0D)); |
| 103 | |
| 104 | expectApproxEquals(4D, $opt$Rem(4D, Double.POSITIVE_INFINITY)); |
| 105 | expectApproxEquals(4D, $opt$Rem(4D, Double.NEGATIVE_INFINITY)); |
| 106 | } |
| 107 | |
| 108 | static float $opt$Rem(float a, float b) { |
| 109 | return a % b; |
| 110 | } |
| 111 | |
| 112 | static float $opt$RemConst(float a) { |
| 113 | return a % 4F; |
| 114 | } |
| 115 | |
| 116 | static double $opt$Rem(double a, double b) { |
| 117 | return a % b; |
| 118 | } |
| 119 | |
| 120 | static double $opt$RemConst(double a) { |
| 121 | return a % 4D; |
| 122 | } |
| 123 | |
| 124 | public static void expectApproxEquals(float a, float b) { |
| 125 | float maxDelta = 0.00001F; |
| 126 | boolean aproxEquals = (a > b) ? ((a - b) < maxDelta) : ((b - a) < maxDelta); |
| 127 | if (!aproxEquals) { |
| 128 | throw new Error("Expected: " + a + ", found: " + b |
| 129 | + ", with delta: " + maxDelta + " " + (a - b)); |
| 130 | } |
| 131 | } |
| 132 | |
| 133 | public static void expectApproxEquals(double a, double b) { |
| 134 | double maxDelta = 0.00001D; |
| 135 | boolean aproxEquals = (a > b) ? ((a - b) < maxDelta) : ((b - a) < maxDelta); |
| 136 | if (!aproxEquals) { |
| 137 | throw new Error("Expected: " + a + ", found: " |
| 138 | + b + ", with delta: " + maxDelta + " " + (a - b)); |
| 139 | } |
| 140 | } |
| 141 | |
| 142 | public static void expectNaN(float a) { |
| 143 | if (a == a) { |
| 144 | throw new Error("Expected NaN: " + a); |
| 145 | } |
| 146 | } |
| 147 | |
| 148 | public static void expectNaN(double a) { |
| 149 | if (a == a) { |
| 150 | throw new Error("Expected NaN: " + a); |
| 151 | } |
| 152 | } |
| 153 | |
| 154 | } |