Mercurialhg/bck2brwsr / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | raw | help
vm/src/test/java/org/apidesign/vm4brwsr/NumberTest.java
author Martin Soch <Martin.Soch@oracle.com>
Mon, 04 Feb 2013 09:41:33 +0100
brancharithmetic
changeset 657 b42bfe334128
parent 630 04e312a7887e
child 669 3754580b6c67
permissions -rw-r--r--
Support for Long multiplication + 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 longNegate1() throws Exception {

   155         final long res = -0x00fa37d7763e0ca1l;

   156         assertExec("Long negate",

   157             Numbers.class, "negL__J_3B", 

   158             Double.valueOf(res),

   159                 new byte[] { (byte)0x00, (byte)0xfa, (byte)0x37, (byte)0xd7, (byte)0x76, (byte)0x3e, (byte)0x0c, (byte)0xa1 }

   160         );

   161     }

   162     

   163     @Test public void longNegate2() throws Exception {

   164         final long res = -0x80fa37d7763e0ca1l;

   165         assertExec("Long negate",

   166             Numbers.class, "negL__J_3B", 

   167             Double.valueOf(res),

   168                 new byte[] { (byte)0x80, (byte)0xfa, (byte)0x37, (byte)0xd7, (byte)0x76, (byte)0x3e, (byte)0x0c, (byte)0xa1 }

   169         );

   170     }

   171     

   172     @Test public void longAddOverflow() throws Exception {

   173         final long res = Long.MAX_VALUE + 1l;

   174         assertExec("Addition 1+MAX",

   175             Numbers.class, "addL__J_3B_3B", 

   176             Double.valueOf(res),

   177                 new byte[] { (byte)0x7f, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff },

   178                 new byte[] { (byte)0, (byte)0, (byte)0, (byte)0, (byte)0, (byte)0, (byte)0, (byte)1 }

   179         );

   180     }

   181     

   182     @Test public void longAddMaxAndMax() throws Exception {

   183         final long res = Long.MAX_VALUE + Long.MAX_VALUE;

   184         assertExec("Addition MAX+MAX",

   185             Numbers.class, "addL__J_3B_3B", 

   186             Double.valueOf(res),

   187             new byte[] { (byte)0x7f, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff },

   188             new byte[] { (byte)0x7f, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff }

   189         );

   190     }

   191     

   192     @Test public void longSubUnderflow() throws Exception {

   193         final long res = Long.MIN_VALUE - 1l;

   194         assertExec("Subtraction MIN-1",

   195             Numbers.class, "subL__J_3B_3B", 

   196             Double.valueOf(res),

   197                 new byte[] { (byte)0x80, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00 },

   198                 new byte[] { (byte)0, (byte)0, (byte)0, (byte)0, (byte)0, (byte)0, (byte)0, (byte)1 }

   199         );

   200     }

   201     

   202     @Test public void longSubMinAndMin() throws Exception {

   203         final long res = Long.MIN_VALUE - Long.MIN_VALUE;

   204         assertExec("Subtraction MIN-MIN",

   205             Numbers.class, "subL__J_3B_3B", 

   206             Double.valueOf(res),

   207             new byte[] { (byte)0x80, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00 },

   208             new byte[] { (byte)0x80, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00 }

   209         );

   210     }

   211     

   212     @Test public void longSubMinAndMax() throws Exception {

   213         final long res = Long.MIN_VALUE - Long.MAX_VALUE;

   214         assertExec("Subtraction MIN-MAX",

   215             Numbers.class, "subL__J_3B_3B", 

   216             Double.valueOf(res),

   217             new byte[] { (byte)0x80, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00 },

   218             new byte[] { (byte)0x7f, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff }

   219         );

   220     }

   221     

   222     @Test public void longMultiplyMax() throws Exception {

   223         final long res = Long.MAX_VALUE * 2l;

   224         assertExec("Multiplication MAX*2",

   225             Numbers.class, "mulL__J_3B_3B",

   226             Double.valueOf(res),

   227             new byte[] { (byte)0x7f, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff },

   228             new byte[] { (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x02 }

   229         );

   230     }

   231     

   232     @Test public void longMultiplyMaxAndMax() throws Exception {

   233         final long res = Long.MAX_VALUE * Long.MAX_VALUE;

   234         assertExec("Multiplication MAX*MAX",

   235             Numbers.class, "mulL__J_3B_3B",

   236             Double.valueOf(res),

   237             new byte[] { (byte)0x7f, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff },

   238             new byte[] { (byte)0x7f, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff }

   239         );

   240     }

   241     

   242     @Test public void longMultiplyMin() throws Exception {

   243         final long res = Long.MIN_VALUE * 2l;

   244         assertExec("Multiplication MIN*2",

   245             Numbers.class, "mulL__J_3B_3B",

   246             Double.valueOf(res),

   247             new byte[] { (byte)0x80, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00 },

   248             new byte[] { (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x02 }

   249         );

   250     }

   251     

   252     @Test public void longMultiplyMinAndMin() throws Exception {

   253         final long res = Long.MIN_VALUE * Long.MIN_VALUE;

   254         assertExec("Multiplication MIN*2",

   255             Numbers.class, "mulL__J_3B_3B",

   256             Double.valueOf(res),

   257             new byte[] { (byte)0x80, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00 },

   258             new byte[] { (byte)0x80, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00 }

   259         );

   260     }

   261     

   262     @Test public void longMultiplyPrecision() throws Exception {

   263         final long res = 0x00fa37d7763e0ca1l * 0xa7b3432fff00123el;

   264         assertExec("Multiplication",

   265             Numbers.class, "mulL__J_3B_3B",

   266             Double.valueOf(res),

   267             new byte[] { (byte)0x00, (byte)0xfa, (byte)0x37, (byte)0xd7, (byte)0x76, (byte)0x3e, (byte)0x0c, (byte)0xa1 },

   268             new byte[] { (byte)0xa7, (byte)0xb3, (byte)0x43, (byte)0x2f, (byte)0xff, (byte)0x00, (byte)0x12, (byte)0x3e }

   269         );

   270     }

   271     

   272     @Test public void longShiftL1() throws Exception {

   273         final long res = 0x00fa37d7763e0ca1l << 5;

   274         assertExec("Long << 5",

   275             Numbers.class, "shlL__J_3BI", 

   276             Double.valueOf(res),

   277                 new byte[] { (byte)0x00, (byte)0xfa, (byte)0x37, (byte)0xd7, (byte)0x76, (byte)0x3e, (byte)0x0c, (byte)0xa1 },

   278                 5);

   279     }

   280     

   281     @Test public void longShiftL2() throws Exception {

   282         final long res = 0x00fa37d7763e0ca1l << 32;

   283         assertExec("Long << 32",

   284             Numbers.class, "shlL__J_3BI", 

   285             Double.valueOf(res),

   286                 new byte[] { (byte)0x00, (byte)0xfa, (byte)0x37, (byte)0xd7, (byte)0x76, (byte)0x3e, (byte)0x0c, (byte)0xa1 },

   287                 32);

   288     }

   289     

   290     @Test public void longShiftL3() throws Exception {

   291         final long res = 0x00fa37d7763e0ca1l << 45;

   292         assertExec("Long << 45",

   293             Numbers.class, "shlL__J_3BI", 

   294             Double.valueOf(res),

   295                 new byte[] { (byte)0x00, (byte)0xfa, (byte)0x37, (byte)0xd7, (byte)0x76, (byte)0x3e, (byte)0x0c, (byte)0xa1 },

   296                 45);

   297     }

   298     

   299     @Test public void longShiftR1() throws Exception {

   300         final long res = 0x00fa37d7763e0ca1l >> 5;

   301         assertExec("Long >> 5",

   302             Numbers.class, "shrL__J_3BI", 

   303             Double.valueOf(res),

   304                 new byte[] { (byte)0x00, (byte)0xfa, (byte)0x37, (byte)0xd7, (byte)0x76, (byte)0x3e, (byte)0x0c, (byte)0xa1 },

   305                 5);

   306     }

   307     

   308     @Test public void longShiftR2() throws Exception {

   309         final long res = 0x00fa37d7763e0ca1l >> 32;

   310         assertExec("Long >> 32",

   311             Numbers.class, "shrL__J_3BI", 

   312             Double.valueOf(res),

   313                 new byte[] { (byte)0x00, (byte)0xfa, (byte)0x37, (byte)0xd7, (byte)0x76, (byte)0x3e, (byte)0x0c, (byte)0xa1 },

   314                 32);

   315     }

   316     

   317     @Test public void longShiftR3() throws Exception {

   318         final long res = 0x00fa37d7763e0ca1l >> 45;

   319         assertExec("Long >> 45",

   320             Numbers.class, "shrL__J_3BI", 

   321             Double.valueOf(res),

   322                 new byte[] { (byte)0x00, (byte)0xfa, (byte)0x37, (byte)0xd7, (byte)0x76, (byte)0x3e, (byte)0x0c, (byte)0xa1 },

   323                 45);

   324     }

   325     

   326     @Test public void longUShiftR1() throws Exception {

   327         final long res = 0x00fa37d7763e0ca1l >>> 5;

   328         assertExec("Long >>> 5",

   329             Numbers.class, "ushrL__J_3BI", 

   330             Double.valueOf(res),

   331                 new byte[] { (byte)0x00, (byte)0xfa, (byte)0x37, (byte)0xd7, (byte)0x76, (byte)0x3e, (byte)0x0c, (byte)0xa1 },

   332                 5);

   333     }

   334     

   335     @Test public void longUShiftR2() throws Exception {

   336         final long res = 0x00fa37d7763e0ca1l >>> 45;

   337         assertExec("Long >>> 45",

   338             Numbers.class, "ushrL__J_3BI", 

   339             Double.valueOf(res),

   340                 new byte[] { (byte)0x00, (byte)0xfa, (byte)0x37, (byte)0xd7, (byte)0x76, (byte)0x3e, (byte)0x0c, (byte)0xa1 },

   341                 45);

   342     }

   343     

   344     @Test public void longUShiftR3() throws Exception {

   345         final long res = 0xf0fa37d7763e0ca1l >>> 5;

   346         assertExec("Long >>> 5",

   347             Numbers.class, "ushrL__J_3BI", 

   348             Double.valueOf(res),

   349                 new byte[] { (byte)0xf0, (byte)0xfa, (byte)0x37, (byte)0xd7, (byte)0x76, (byte)0x3e, (byte)0x0c, (byte)0xa1 },

   350                 5);

   351     }

   352     

   353     @Test public void longUShiftR4() throws Exception {

   354         final long res = 0xf0fa37d7763e0ca1l >>> 45;

   355         assertExec("Long >>> 45",

   356             Numbers.class, "ushrL__J_3BI", 

   357             Double.valueOf(res),

   358                 new byte[] { (byte)0xf0, (byte)0xfa, (byte)0x37, (byte)0xd7, (byte)0x76, (byte)0x3e, (byte)0x0c, (byte)0xa1 },

   359                 45);

   360     }

   361     

   362     @Test public void longAnd() throws Exception {

   363         final long res = 0x00fa37d7763e0ca1l & 0xa7b3432fff00123el;

   364         assertExec("LOng binary AND",

   365             Numbers.class, "andL__J_3B_3B", 

   366             Double.valueOf(res),

   367             new byte[] { (byte)0x00, (byte)0xfa, (byte)0x37, (byte)0xd7, (byte)0x76, (byte)0x3e, (byte)0x0c, (byte)0xa1 },

   368             new byte[] { (byte)0xa7, (byte)0xb3, (byte)0x43, (byte)0x2f, (byte)0xff, (byte)0x00, (byte)0x12, (byte)0x3e }

   369         );

   370     }

   371     

   372     @Test public void longOr() throws Exception {

   373         final long res = 0x00fa37d7763e0ca1l | 0xa7b3432fff00123el;

   374         assertExec("Long binary OR",

   375             Numbers.class, "orL__J_3B_3B", 

   376             Double.valueOf(res),

   377             new byte[] { (byte)0x00, (byte)0xfa, (byte)0x37, (byte)0xd7, (byte)0x76, (byte)0x3e, (byte)0x0c, (byte)0xa1 },

   378             new byte[] { (byte)0xa7, (byte)0xb3, (byte)0x43, (byte)0x2f, (byte)0xff, (byte)0x00, (byte)0x12, (byte)0x3e }

   379         );

   380     }

   381     

   382     @Test public void longXor1() throws Exception {

   383         final long res = 0x00fa37d7763e0ca1l ^ 0xa7b3432fff00123el;

   384         assertExec("Long binary XOR",

   385             Numbers.class, "xorL__J_3B_3B", 

   386             Double.valueOf(res),

   387             new byte[] { (byte)0x00, (byte)0xfa, (byte)0x37, (byte)0xd7, (byte)0x76, (byte)0x3e, (byte)0x0c, (byte)0xa1 },

   388             new byte[] { (byte)0xa7, (byte)0xb3, (byte)0x43, (byte)0x2f, (byte)0xff, (byte)0x00, (byte)0x12, (byte)0x3e }

   389         );

   390     }

   391     

   392     @Test public void longXor2() throws Exception {

   393         final long res = 0x00fa37d7763e0ca1l ^ 0x00000000ff00123el;

   394         assertExec("Long binary XOR",

   395             Numbers.class, "xorL__J_3B_3B", 

   396             Double.valueOf(res),

   397             new byte[] { (byte)0x00, (byte)0xfa, (byte)0x37, (byte)0xd7, (byte)0x76, (byte)0x3e, (byte)0x0c, (byte)0xa1 },

   398             new byte[] { (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0xff, (byte)0x00, (byte)0x12, (byte)0x3e }

   399         );

   400     }

   401     

   402     @Test public void longXor3() throws Exception {

   403         final long res = 0x00000000763e0ca1l ^ 0x00000000ff00123el;

   404         assertExec("Long binary XOR",

   405             Numbers.class, "xorL__J_3B_3B", 

   406             Double.valueOf(res),

   407             new byte[] { (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x76, (byte)0x3e, (byte)0x0c, (byte)0xa1 },

   408             new byte[] { (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0xff, (byte)0x00, (byte)0x12, (byte)0x3e }

   409         );

   410     }

   411     

   412     private static CharSequence codeSeq;

   413     private static Invocable code;

   414 

   415     @BeforeClass

   416     public void compileTheCode() throws Exception {

   417         if (codeSeq == null) {

   418             StringBuilder sb = new StringBuilder();

   419             code = StaticMethodTest.compileClass(sb, "org/apidesign/vm4brwsr/Numbers");

   420             codeSeq = sb;

   421         }

   422     }

   423 

   424     private static void assertExec(

   425         String msg, Class<?> clazz, String method, Object expRes, Object... args) throws Exception

   426     {

   427         Object ret = TestUtils.execCode(code, codeSeq, msg, clazz, method, expRes, args);

   428         if (ret == null) {

   429             return;

   430         }

   431         if (expRes instanceof Double && ret instanceof Double) {

   432             double expD = ((Double)expRes).doubleValue();

   433             double retD = ((Double)ret).doubleValue();

   434             assertEquals(retD, expD, 0.000004, msg + " "

   435                     + StaticMethodTest.dumpJS(codeSeq));

   436             return;

   437         }

   438         assertEquals(ret, expRes, msg + " " + StaticMethodTest.dumpJS(codeSeq));

   439     }

   440     

   441 }
hg/bck2brwsr