vm/src/test/java/org/apidesign/vm4brwsr/NumberTest.java
author Martin Soch <Martin.Soch@oracle.com>
Thu, 31 Jan 2013 20:37:12 +0100
brancharithmetic
changeset 628 e606853325f1
parent 627 4c2b92281cdc
child 629 2d537f8cd604
permissions -rw-r--r--
Long binary XOR implementation + tests
     1 /**
     2  * Back 2 Browser Bytecode Translator
     3  * Copyright (C) 2012 Jaroslav Tulach <jaroslav.tulach@apidesign.org>
     4  *
     5  * This program is free software: you can redistribute it and/or modify
     6  * it under the terms of the GNU General Public License as published by
     7  * the Free Software Foundation, version 2 of the License.
     8  *
     9  * This program is distributed in the hope that it will be useful,
    10  * but WITHOUT ANY WARRANTY; without even the implied warranty of
    11  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    12  * GNU General Public License for more details.
    13  *
    14  * You should have received a copy of the GNU General Public License
    15  * along with this program. Look for COPYING file in the top folder.
    16  * If not, see http://opensource.org/licenses/GPL-2.0.
    17  */
    18 package org.apidesign.vm4brwsr;
    19 
    20 import javax.script.Invocable;
    21 import javax.script.ScriptException;
    22 import static org.testng.Assert.*;
    23 import org.testng.annotations.BeforeClass;
    24 import org.testng.annotations.Test;
    25 
    26 /**
    27  *
    28  * @author Jaroslav Tulach <jtulach@netbeans.org>
    29  */
    30 public class NumberTest {
    31     @Test public void integerFromString() throws Exception {
    32         assertExec("Can convert string to integer", Integer.class, "parseInt__ILjava_lang_String_2",
    33             Double.valueOf(333), "333"
    34         );
    35     }
    36 
    37     @Test public void doubleFromString() throws Exception {
    38         assertExec("Can convert string to double", Double.class, "parseDouble__DLjava_lang_String_2",
    39             Double.valueOf(33.3), "33.3"
    40         );
    41     }
    42 
    43     @Test public void autoboxDouble() throws Exception {
    44         assertExec("Autoboxing of doubles is OK", Numbers.class, "autoboxDblToString__Ljava_lang_String_2",
    45             "3.3"
    46         );
    47     }
    48     
    49     @Test public void javalog1000() throws Exception {
    50         assertEquals(3.0, Math.log10(1000.0), 0.00003, "log_10(1000) == 3");
    51     }
    52 
    53     @Test public void jslog1000() throws Exception {
    54         assertExec("log_10(1000) == 3", Math.class, "log10__DD", 
    55             Double.valueOf(3.0), 1000.0
    56         );
    57     }
    58     
    59     @Test public void javaRem() {
    60         assertEquals(3, Numbers.rem(303, 10));
    61     }
    62     @Test public void jsRem() throws Exception {
    63         assertExec("Should be three", Numbers.class, "rem__III", 
    64             Double.valueOf(3.0), 303, 10
    65         );
    66     }
    67     
    68     @Test public void deserializeInt() throws Exception {
    69         int exp = Numbers.deserInt();
    70         assertExec("Should be the same", Numbers.class, "deserInt__I", 
    71             Double.valueOf(exp)
    72         );
    73     }
    74 
    75     @Test public void deserializeSimpleLong() throws Exception {
    76         assertExec("Should be 3454", Numbers.class, "deserLong__J_3B", 
    77             Double.valueOf(3454), 
    78             new byte[] { (byte)0, (byte)0, (byte)0, (byte)0, (byte)0, (byte)0, (byte)13, (byte)126 }
    79         );
    80     }
    81     /* XXX: JavaScript cannot represent as big longs as Java. 
    82     @Test public void deserializeLargeLong() throws Exception {
    83         final byte[] arr = new byte[] {
    84             (byte)64, (byte)8, (byte)0, (byte)0, (byte)0, (byte)0, (byte)0, (byte)0
    85         };
    86         long exp = Numbers.deserLong(arr);
    87         assertExec("Should be " + exp, "org_apidesign_vm4brwsr_Numbers_deserLong__JAB", 
    88             Double.valueOf(exp), arr);
    89     }
    90     */
    91     
    92     @Test public void deserializeFloatInJava() throws Exception {
    93         float f = 54324.32423f;
    94         float r = Numbers.deserFloat();
    95         assertEquals(r, f, "Floats are the same");
    96     }
    97     
    98     @Test public void deserializeFloatInJS() throws Exception {
    99         float f = 54324.32423f;
   100         assertExec("Should be the same", Numbers.class, "deserFloat__F", 
   101             Double.valueOf(f)
   102         );
   103     }
   104 
   105     @Test public void deserializeDoubleInJava() throws Exception {
   106         double f = 3.0;
   107         double r = Numbers.deserDouble();
   108         assertEquals(r, f, 0.001, "Doubles are the same");
   109     }
   110     
   111     @Test public void deserializeDoubleInJS() throws Exception {
   112         double f = 3.0;
   113         assertExec("Should be the same", Numbers.class, "deserDouble__D", f);
   114     }
   115     /*
   116     @Test public void serDouble() throws IOException {
   117         double f = 3.0;
   118         ByteArrayOutputStream os = new ByteArrayOutputStream();
   119         DataOutputStream d = new DataOutputStream(os);
   120         d.writeLong(3454);
   121         d.close();
   122         
   123         StringBuilder sb = new StringBuilder();
   124         byte[] arr = os.toByteArray();
   125         for (int i = 0; i < arr.length; i++) {
   126             sb.append("(byte)").append(arr[i]).append(", ");
   127         }
   128         fail("" + sb);
   129     }
   130 */    
   131     @Test public void fiveInStringJS() throws Exception {
   132         String s = Numbers.intToString();
   133         assertExec("Should be the same: " + s, 
   134             Numbers.class, "intToString__Ljava_lang_String_2", 
   135             s
   136         );
   137     }
   138 
   139     @Test public void sevenInStringJS() throws Exception {
   140         String s = Numbers.floatToString();
   141         assertExec("Should be the same: " + s, 
   142             Numbers.class, "floatToString__Ljava_lang_String_2", 
   143             s
   144         );
   145     }
   146     
   147     @Test public void longConversion() throws Exception {
   148         assertExec("Long from cPool",
   149             Numbers.class, "conversionL__J", 
   150             Double.valueOf(Long.MAX_VALUE)
   151         );
   152     }
   153     
   154     @Test public void longAddOverflow() throws Exception {
   155         final long res = Long.MAX_VALUE + 1l;
   156         assertExec("Addition 1+MAX",
   157             Numbers.class, "addL__J_3B_3B", 
   158             Double.valueOf(res),
   159                 new byte[] { (byte)0x7f, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff },
   160                 new byte[] { (byte)0, (byte)0, (byte)0, (byte)0, (byte)0, (byte)0, (byte)0, (byte)1 }
   161         );
   162     }
   163     
   164     @Test public void longAddMaxAndMax() throws Exception {
   165         final long res = Long.MAX_VALUE + Long.MAX_VALUE;
   166         assertExec("Addition MAX+MAX",
   167             Numbers.class, "addL__J_3B_3B", 
   168             Double.valueOf(res),
   169             new byte[] { (byte)0x7f, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff },
   170             new byte[] { (byte)0x7f, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff }
   171         );
   172     }
   173     
   174     @Test public void longSubUnderflow() throws Exception {
   175         final long res = Long.MIN_VALUE - 1l;
   176         assertExec("Subtraction MIN-1",
   177             Numbers.class, "subL__J_3B_3B", 
   178             Double.valueOf(res),
   179                 new byte[] { (byte)0x80, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00 },
   180                 new byte[] { (byte)0, (byte)0, (byte)0, (byte)0, (byte)0, (byte)0, (byte)0, (byte)1 }
   181         );
   182     }
   183     
   184     @Test public void longSubMinAndMin() throws Exception {
   185         final long res = Long.MIN_VALUE - Long.MIN_VALUE;
   186         assertExec("Subtraction MIN-MIN",
   187             Numbers.class, "subL__J_3B_3B", 
   188             Double.valueOf(res),
   189             new byte[] { (byte)0x80, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00 },
   190             new byte[] { (byte)0x80, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00 }
   191         );
   192     }
   193     
   194     @Test public void longSubMinAndMax() throws Exception {
   195         final long res = Long.MIN_VALUE - Long.MAX_VALUE;
   196         assertExec("Subtraction MIN-MAX",
   197             Numbers.class, "subL__J_3B_3B", 
   198             Double.valueOf(res),
   199             new byte[] { (byte)0x80, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00 },
   200             new byte[] { (byte)0x7f, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff }
   201         );
   202     }
   203     
   204     @Test public void longShiftL1() throws Exception {
   205         final long res = 0x00fa37d7763e0ca1l << 5;
   206         assertExec("Long << 5",
   207             Numbers.class, "shlL__J_3BI", 
   208             Double.valueOf(res),
   209                 new byte[] { (byte)0x00, (byte)0xfa, (byte)0x37, (byte)0xd7, (byte)0x76, (byte)0x3e, (byte)0x0c, (byte)0xa1 },
   210                 5);
   211     }
   212     
   213     @Test public void longShiftL2() throws Exception {
   214         final long res = 0x00fa37d7763e0ca1l << 32;
   215         assertExec("Long << 32",
   216             Numbers.class, "shlL__J_3BI", 
   217             Double.valueOf(res),
   218                 new byte[] { (byte)0x00, (byte)0xfa, (byte)0x37, (byte)0xd7, (byte)0x76, (byte)0x3e, (byte)0x0c, (byte)0xa1 },
   219                 32);
   220     }
   221     
   222     @Test public void longShiftL3() throws Exception {
   223         final long res = 0x00fa37d7763e0ca1l << 45;
   224         assertExec("Long << 45",
   225             Numbers.class, "shlL__J_3BI", 
   226             Double.valueOf(res),
   227                 new byte[] { (byte)0x00, (byte)0xfa, (byte)0x37, (byte)0xd7, (byte)0x76, (byte)0x3e, (byte)0x0c, (byte)0xa1 },
   228                 45);
   229     }
   230     
   231     @Test public void longShiftR1() throws Exception {
   232         final long res = 0x00fa37d7763e0ca1l >> 5;
   233         assertExec("Long >> 5",
   234             Numbers.class, "shrL__J_3BI", 
   235             Double.valueOf(res),
   236                 new byte[] { (byte)0x00, (byte)0xfa, (byte)0x37, (byte)0xd7, (byte)0x76, (byte)0x3e, (byte)0x0c, (byte)0xa1 },
   237                 5);
   238     }
   239     
   240     @Test public void longShiftR2() throws Exception {
   241         final long res = 0x00fa37d7763e0ca1l >> 32;
   242         assertExec("Long >> 32",
   243             Numbers.class, "shrL__J_3BI", 
   244             Double.valueOf(res),
   245                 new byte[] { (byte)0x00, (byte)0xfa, (byte)0x37, (byte)0xd7, (byte)0x76, (byte)0x3e, (byte)0x0c, (byte)0xa1 },
   246                 32);
   247     }
   248     
   249     @Test public void longShiftR3() throws Exception {
   250         final long res = 0x00fa37d7763e0ca1l >> 45;
   251         assertExec("Long >> 45",
   252             Numbers.class, "shrL__J_3BI", 
   253             Double.valueOf(res),
   254                 new byte[] { (byte)0x00, (byte)0xfa, (byte)0x37, (byte)0xd7, (byte)0x76, (byte)0x3e, (byte)0x0c, (byte)0xa1 },
   255                 45);
   256     }
   257     
   258     @Test public void longAnd() throws Exception {
   259         final long res = 0x00fa37d7763e0ca1l & 0xa7b3432fff00123el;
   260         assertExec("LOng binary AND",
   261             Numbers.class, "andL__J_3B_3B", 
   262             Double.valueOf(res),
   263             new byte[] { (byte)0x00, (byte)0xfa, (byte)0x37, (byte)0xd7, (byte)0x76, (byte)0x3e, (byte)0x0c, (byte)0xa1 },
   264             new byte[] { (byte)0xa7, (byte)0xb3, (byte)0x43, (byte)0x2f, (byte)0xff, (byte)0x00, (byte)0x12, (byte)0x3e }
   265         );
   266     }
   267     
   268     @Test public void longOr() throws Exception {
   269         final long res = 0x00fa37d7763e0ca1l | 0xa7b3432fff00123el;
   270         assertExec("Long binary OR",
   271             Numbers.class, "orL__J_3B_3B", 
   272             Double.valueOf(res),
   273             new byte[] { (byte)0x00, (byte)0xfa, (byte)0x37, (byte)0xd7, (byte)0x76, (byte)0x3e, (byte)0x0c, (byte)0xa1 },
   274             new byte[] { (byte)0xa7, (byte)0xb3, (byte)0x43, (byte)0x2f, (byte)0xff, (byte)0x00, (byte)0x12, (byte)0x3e }
   275         );
   276     }
   277     
   278     @Test public void longXor1() throws Exception {
   279         final long res = 0x00fa37d7763e0ca1l ^ 0xa7b3432fff00123el;
   280         assertExec("Long binary XOR",
   281             Numbers.class, "xorL__J_3B_3B", 
   282             Double.valueOf(res),
   283             new byte[] { (byte)0x00, (byte)0xfa, (byte)0x37, (byte)0xd7, (byte)0x76, (byte)0x3e, (byte)0x0c, (byte)0xa1 },
   284             new byte[] { (byte)0xa7, (byte)0xb3, (byte)0x43, (byte)0x2f, (byte)0xff, (byte)0x00, (byte)0x12, (byte)0x3e }
   285         );
   286     }
   287     
   288     @Test public void longXor2() throws Exception {
   289         final long res = 0x00fa37d7763e0ca1l ^ 0x00000000ff00123el;
   290         assertExec("Long binary XOR",
   291             Numbers.class, "xorL__J_3B_3B", 
   292             Double.valueOf(res),
   293             new byte[] { (byte)0x00, (byte)0xfa, (byte)0x37, (byte)0xd7, (byte)0x76, (byte)0x3e, (byte)0x0c, (byte)0xa1 },
   294             new byte[] { (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0xff, (byte)0x00, (byte)0x12, (byte)0x3e }
   295         );
   296     }
   297     
   298     @Test public void longXor3() throws Exception {
   299         final long res = 0x00000000763e0ca1l ^ 0x00000000ff00123el;
   300         assertExec("Long binary XOR",
   301             Numbers.class, "xorL__J_3B_3B", 
   302             Double.valueOf(res),
   303             new byte[] { (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x76, (byte)0x3e, (byte)0x0c, (byte)0xa1 },
   304             new byte[] { (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0xff, (byte)0x00, (byte)0x12, (byte)0x3e }
   305         );
   306     }
   307     
   308     private static CharSequence codeSeq;
   309     private static Invocable code;
   310 
   311     @BeforeClass
   312     public void compileTheCode() throws Exception {
   313         if (codeSeq == null) {
   314             StringBuilder sb = new StringBuilder();
   315             code = StaticMethodTest.compileClass(sb, "org/apidesign/vm4brwsr/Numbers");
   316             codeSeq = sb;
   317         }
   318     }
   319 
   320     private static void assertExec(
   321         String msg, Class<?> clazz, String method, Object expRes, Object... args) throws Exception
   322     {
   323         Object ret = TestUtils.execCode(code, codeSeq, msg, clazz, method, expRes, args);
   324         if (ret == null) {
   325             return;
   326         }
   327         if (expRes instanceof Double && ret instanceof Double) {
   328             double expD = ((Double)expRes).doubleValue();
   329             double retD = ((Double)ret).doubleValue();
   330             assertEquals(retD, expD, 0.000004, msg + " "
   331                     + StaticMethodTest.dumpJS(codeSeq));
   332             return;
   333         }
   334         assertEquals(ret, expRes, msg + " " + StaticMethodTest.dumpJS(codeSeq));
   335     }
   336     
   337 }