vm/src/test/java/org/apidesign/vm4brwsr/NumberTest.java
author Martin Soch <Martin.Soch@oracle.com>
Fri, 01 Feb 2013 06:09:18 +0100
brancharithmetic
changeset 629 2d537f8cd604
parent 628 e606853325f1
child 630 04e312a7887e
permissions -rw-r--r--
Long operator >>> and 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 longUShiftR1() throws Exception {
   259         final long res = 0x00fa37d7763e0ca1l >>> 5;
   260         assertExec("Long >>> 5",
   261             Numbers.class, "ushrL__J_3BI", 
   262             Double.valueOf(res),
   263                 new byte[] { (byte)0x00, (byte)0xfa, (byte)0x37, (byte)0xd7, (byte)0x76, (byte)0x3e, (byte)0x0c, (byte)0xa1 },
   264                 5);
   265     }
   266     
   267     @Test public void longUShiftR2() throws Exception {
   268         final long res = 0x00fa37d7763e0ca1l >>> 45;
   269         assertExec("Long >>> 45",
   270             Numbers.class, "ushrL__J_3BI", 
   271             Double.valueOf(res),
   272                 new byte[] { (byte)0x00, (byte)0xfa, (byte)0x37, (byte)0xd7, (byte)0x76, (byte)0x3e, (byte)0x0c, (byte)0xa1 },
   273                 45);
   274     }
   275     
   276     @Test public void longUShiftR3() throws Exception {
   277         final long res = 0xf0fa37d7763e0ca1l >>> 5;
   278         assertExec("Long >>> 5",
   279             Numbers.class, "ushrL__J_3BI", 
   280             Double.valueOf(res),
   281                 new byte[] { (byte)0xf0, (byte)0xfa, (byte)0x37, (byte)0xd7, (byte)0x76, (byte)0x3e, (byte)0x0c, (byte)0xa1 },
   282                 5);
   283     }
   284     
   285     @Test public void longUShiftR4() throws Exception {
   286         final long res = 0xf0fa37d7763e0ca1l >>> 45;
   287         assertExec("Long >>> 45",
   288             Numbers.class, "ushrL__J_3BI", 
   289             Double.valueOf(res),
   290                 new byte[] { (byte)0xf0, (byte)0xfa, (byte)0x37, (byte)0xd7, (byte)0x76, (byte)0x3e, (byte)0x0c, (byte)0xa1 },
   291                 45);
   292     }
   293     
   294     @Test public void longAnd() throws Exception {
   295         final long res = 0x00fa37d7763e0ca1l & 0xa7b3432fff00123el;
   296         assertExec("LOng binary AND",
   297             Numbers.class, "andL__J_3B_3B", 
   298             Double.valueOf(res),
   299             new byte[] { (byte)0x00, (byte)0xfa, (byte)0x37, (byte)0xd7, (byte)0x76, (byte)0x3e, (byte)0x0c, (byte)0xa1 },
   300             new byte[] { (byte)0xa7, (byte)0xb3, (byte)0x43, (byte)0x2f, (byte)0xff, (byte)0x00, (byte)0x12, (byte)0x3e }
   301         );
   302     }
   303     
   304     @Test public void longOr() throws Exception {
   305         final long res = 0x00fa37d7763e0ca1l | 0xa7b3432fff00123el;
   306         assertExec("Long binary OR",
   307             Numbers.class, "orL__J_3B_3B", 
   308             Double.valueOf(res),
   309             new byte[] { (byte)0x00, (byte)0xfa, (byte)0x37, (byte)0xd7, (byte)0x76, (byte)0x3e, (byte)0x0c, (byte)0xa1 },
   310             new byte[] { (byte)0xa7, (byte)0xb3, (byte)0x43, (byte)0x2f, (byte)0xff, (byte)0x00, (byte)0x12, (byte)0x3e }
   311         );
   312     }
   313     
   314     @Test public void longXor1() throws Exception {
   315         final long res = 0x00fa37d7763e0ca1l ^ 0xa7b3432fff00123el;
   316         assertExec("Long binary XOR",
   317             Numbers.class, "xorL__J_3B_3B", 
   318             Double.valueOf(res),
   319             new byte[] { (byte)0x00, (byte)0xfa, (byte)0x37, (byte)0xd7, (byte)0x76, (byte)0x3e, (byte)0x0c, (byte)0xa1 },
   320             new byte[] { (byte)0xa7, (byte)0xb3, (byte)0x43, (byte)0x2f, (byte)0xff, (byte)0x00, (byte)0x12, (byte)0x3e }
   321         );
   322     }
   323     
   324     @Test public void longXor2() throws Exception {
   325         final long res = 0x00fa37d7763e0ca1l ^ 0x00000000ff00123el;
   326         assertExec("Long binary XOR",
   327             Numbers.class, "xorL__J_3B_3B", 
   328             Double.valueOf(res),
   329             new byte[] { (byte)0x00, (byte)0xfa, (byte)0x37, (byte)0xd7, (byte)0x76, (byte)0x3e, (byte)0x0c, (byte)0xa1 },
   330             new byte[] { (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0xff, (byte)0x00, (byte)0x12, (byte)0x3e }
   331         );
   332     }
   333     
   334     @Test public void longXor3() throws Exception {
   335         final long res = 0x00000000763e0ca1l ^ 0x00000000ff00123el;
   336         assertExec("Long binary XOR",
   337             Numbers.class, "xorL__J_3B_3B", 
   338             Double.valueOf(res),
   339             new byte[] { (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x76, (byte)0x3e, (byte)0x0c, (byte)0xa1 },
   340             new byte[] { (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0xff, (byte)0x00, (byte)0x12, (byte)0x3e }
   341         );
   342     }
   343     
   344     private static CharSequence codeSeq;
   345     private static Invocable code;
   346 
   347     @BeforeClass
   348     public void compileTheCode() throws Exception {
   349         if (codeSeq == null) {
   350             StringBuilder sb = new StringBuilder();
   351             code = StaticMethodTest.compileClass(sb, "org/apidesign/vm4brwsr/Numbers");
   352             codeSeq = sb;
   353         }
   354     }
   355 
   356     private static void assertExec(
   357         String msg, Class<?> clazz, String method, Object expRes, Object... args) throws Exception
   358     {
   359         Object ret = TestUtils.execCode(code, codeSeq, msg, clazz, method, expRes, args);
   360         if (ret == null) {
   361             return;
   362         }
   363         if (expRes instanceof Double && ret instanceof Double) {
   364             double expD = ((Double)expRes).doubleValue();
   365             double retD = ((Double)ret).doubleValue();
   366             assertEquals(retD, expD, 0.000004, msg + " "
   367                     + StaticMethodTest.dumpJS(codeSeq));
   368             return;
   369         }
   370         assertEquals(ret, expRes, msg + " " + StaticMethodTest.dumpJS(codeSeq));
   371     }
   372     
   373 }