/**

 * Back 2 Browser Bytecode Translator

 * Copyright (C) 2012 Jaroslav Tulach <jaroslav.tulach@apidesign.org>

 *

 * This program is free software: you can redistribute it and/or modify

 * it under the terms of the GNU General Public License as published by

 * the Free Software Foundation, version 2 of the License.

 *

 * This program is distributed in the hope that it will be useful,

 * but WITHOUT ANY WARRANTY; without even the implied warranty of

 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

 * GNU General Public License for more details.

 *

 * You should have received a copy of the GNU General Public License

 * along with this program. Look for COPYING file in the top folder.

 * If not, see http://opensource.org/licenses/GPL-2.0.

 */

package org.apidesign.vm4brwsr;

import static org.testng.Assert.*;

import org.testng.annotations.BeforeClass;

import org.testng.annotations.Test;

/**

 *

 * @author Jaroslav Tulach <jtulach@netbeans.org>

 */

public class NumberTest {

    @Test public void integerFromString() throws Exception {

        assertExec("Can convert string to integer", Integer.class, "parseInt__ILjava_lang_String_2",

            Double.valueOf(333), "333"

        );

    }

    @Test public void doubleFromString() throws Exception {

        assertExec("Can convert string to double", Double.class, "parseDouble__DLjava_lang_String_2",

            Double.valueOf(33.3), "33.3"

        );

    }

    @Test public void autoboxDouble() throws Exception {

        assertExec("Autoboxing of doubles is OK", Numbers.class, "autoboxDblToString__Ljava_lang_String_2",

            "3.3"

        );

    }

    @Test public void javalog1000() throws Exception {

        assertEquals(3.0, Math.log10(1000.0), 0.00003, "log_10(1000) == 3");

    }

    @Test public void jslog1000() throws Exception {

        assertExec("log_10(1000) == 3", Math.class, "log10__DD", 

            Double.valueOf(3.0), 1000.0

        );

    }

    @Test public void javaRem() {

        assertEquals(3, Numbers.rem(303, 10));

    }

    @Test public void jsRem() throws Exception {

        assertExec("Should be three", Numbers.class, "rem__III", 

            Double.valueOf(3.0), 303, 10

        );

    }

    @Test public void deserializeInt() throws Exception {

        int exp = Numbers.deserInt();

        assertExec("Should be the same", Numbers.class, "deserInt__I", 

            Double.valueOf(exp)

        );

    }

    @Test public void deserializeSimpleLong() throws Exception {

        assertExec("Should be 3454", Numbers.class, "deserLong__J_3B", 

            Double.valueOf(3454), 

            new byte[] { (byte)0, (byte)0, (byte)0, (byte)0, (byte)0, (byte)0, (byte)13, (byte)126 }

        );

    }

    /* XXX: JavaScript cannot represent as big longs as Java. 

    @Test public void deserializeLargeLong() throws Exception {

        final byte[] arr = new byte[] {

            (byte)64, (byte)8, (byte)0, (byte)0, (byte)0, (byte)0, (byte)0, (byte)0

        };

        long exp = Numbers.deserLong(arr);

        assertExec("Should be " + exp, "org_apidesign_vm4brwsr_Numbers_deserLong__JAB", 

            Double.valueOf(exp), arr);

    }

    */

    @Test public void deserializeFloatInJava() throws Exception {

        float f = 54324.32423f;

        float r = Numbers.deserFloat();

        assertEquals(r, f, "Floats are the same");

    }

    @Test public void deserializeFloatInJS() throws Exception {

        float f = 54324.32423f;

        assertExec("Should be the same", Numbers.class, "deserFloat__F", 

            Double.valueOf(f)

        );

    }

    @Test public void deserializeDoubleInJava() throws Exception {

        double f = 3.0;

        double r = Numbers.deserDouble();

        assertEquals(r, f, 0.001, "Doubles are the same");

    }

    @Test public void deserializeDoubleInJS() throws Exception {

        double f = 3.0;

        assertExec("Should be the same", Numbers.class, "deserDouble__D", f);

    }

    /*

    @Test public void serDouble() throws IOException {

        double f = 3.0;

        ByteArrayOutputStream os = new ByteArrayOutputStream();

        DataOutputStream d = new DataOutputStream(os);

        d.writeLong(3454);

        d.close();

        StringBuilder sb = new StringBuilder();

        byte[] arr = os.toByteArray();

        for (int i = 0; i < arr.length; i++) {

            sb.append("(byte)").append(arr[i]).append(", ");

        }

        fail("" + sb);

    }

*/    

    @Test public void fiveInStringJS() throws Exception {

        String s = Numbers.intToString();

        assertExec("Should be the same: " + s, 

            Numbers.class, "intToString__Ljava_lang_String_2", 

            s

        );

    }

    @Test public void sevenInStringJS() throws Exception {

        String s = Numbers.floatToString();

        assertExec("Should be the same: " + s, 

            Numbers.class, "floatToString__Ljava_lang_String_2", 

            s

        );

    }

    @Test public void longConversion() throws Exception {

        assertExec("Long from cPool",

            Numbers.class, "conversionL__J", 

            Double.valueOf(Long.MAX_VALUE)

        );

    }

    @Test public void longNegate1() throws Exception {

        final long res = -0x00fa37d7763e0ca1l;

        assertExec("Long negate",

            Numbers.class, "negL__J_3B", 

            Double.valueOf(res),

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

        );

    }

    @Test public void longNegate2() throws Exception {

        final long res = -0x80fa37d7763e0ca1l;

        assertExec("Long negate",

            Numbers.class, "negL__J_3B", 

            Double.valueOf(res),

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

        );

    }

    @Test public void longNegate3() throws Exception {

        final long res = -0xfffffffffffffeddl;

        assertExec("Long negate",

            Numbers.class, "negL__J_3B",

            Double.valueOf(res),

                new byte[] { (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xfe, (byte)0xdd }

        );

    }

    @Test public void longAddOverflow() throws Exception {

        final long res = Long.MAX_VALUE + 1l;

        assertExec("Addition 1+MAX",

            Numbers.class, "addL__J_3B_3B", 

            Double.valueOf(res),

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

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

        );

    }

    @Test public void longAddMaxAndMax() throws Exception {

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

        assertExec("Addition MAX+MAX",

            Numbers.class, "addL__J_3B_3B", 

            Double.valueOf(res),

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

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

        );

    }

    @Test public void longSubUnderflow() throws Exception {

        final long res = Long.MIN_VALUE - 1l;

        assertExec("Subtraction MIN-1",

            Numbers.class, "subL__J_3B_3B", 

            Double.valueOf(res),

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

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

        );

    }

    @Test public void longSubMinAndMin() throws Exception {

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

        assertExec("Subtraction MIN-MIN",

            Numbers.class, "subL__J_3B_3B", 

            Double.valueOf(res),

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

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

        );

    }

    @Test public void longSubMinAndMax() throws Exception {

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

        assertExec("Subtraction MIN-MAX",

            Numbers.class, "subL__J_3B_3B", 

            Double.valueOf(res),

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

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

        );

    }

    @Test public void longMultiplyMax() throws Exception {

        final long res = Long.MAX_VALUE * 2l;

        assertExec("Multiplication MAX*2",

            Numbers.class, "mulL__J_3B_3B",

            Double.valueOf(res),

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

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

        );

    }

    @Test public void longMultiplyMaxAndMax() throws Exception {

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

        assertExec("Multiplication MAX*MAX",

            Numbers.class, "mulL__J_3B_3B",

            Double.valueOf(res),

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

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

        );

    }

    @Test public void longMultiplyMin() throws Exception {

        final long res = Long.MIN_VALUE * 2l;

        assertExec("Multiplication MIN*2",

            Numbers.class, "mulL__J_3B_3B",

            Double.valueOf(res),

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

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

        );

    }

    @Test public void longMultiplyMinAndMin() throws Exception {

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

        assertExec("Multiplication MIN*2",

            Numbers.class, "mulL__J_3B_3B",

            Double.valueOf(res),

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

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

        );

    }

    @Test public void longMultiplyPrecision() throws Exception {

        final long res = 0x00fa37d7763e0ca1l * 0xa7b3432fff00123el;

        assertExec("Multiplication",

            Numbers.class, "mulL__J_3B_3B",

            Double.valueOf(res),

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

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

        );

    }

    @Test public void longDivideSmallPositiveNumbers() throws Exception {

        final long res = 0xabcdef / 0x123;

        assertExec("Division Small Positive Numbers",

            Numbers.class, "divL__J_3B_3B",

            Double.valueOf(res),

            new byte[] { (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0xab, (byte)0xcd, (byte)0xef },

            new byte[] { (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x01, (byte)0x23 }

        );

    }

    @Test public void longDivideSmallNegativeNumbers() throws Exception {

        final long res = -0xabcdef / -0x123;

        assertExec("Division Small Negative Numbers",

            Numbers.class, "divL__J_3B_3B",

            Double.valueOf(res),

            new byte[] { (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0x54, (byte)0x32, (byte)0x11 },

            new byte[] { (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xfe, (byte)0xdd }

        );

    }

    @Test public void longDivideSmallMixedNumbers() throws Exception {

        final long res = 0xabcdef / -0x123;

        assertExec("Division Small Mixed Numbers",

            Numbers.class, "divL__J_3B_3B",

            Double.valueOf(res),

            new byte[] { (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0xab, (byte)0xcd, (byte)0xef },

            new byte[] { (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xfe, (byte)0xdd }

        );

    }

    @Test public void longDividePositiveNumbersOneDigitDenom()

            throws Exception {

        final long res = 0xabcdef0102ffffL / 0x654;

        assertExec("Division Positive Numbers One Digit Denom",

            Numbers.class, "divL__J_3B_3B",

            Double.valueOf(res),

            new byte[] { (byte)0x00, (byte)0xab, (byte)0xcd, (byte)0xef, (byte)0x01, (byte)0x02, (byte)0xff, (byte)0xff },

            new byte[] { (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x06, (byte)0x54 }

        );

    }

    @Test public void longDivideNegativeNumbersOneDigitDenom()

            throws Exception {

        final long res = -0xabcdef0102ffffL / -0x654;

        assertExec("Division Negative Numbers One Digit Denom",

            Numbers.class, "divL__J_3B_3B",

            Double.valueOf(res),

            new byte[] { (byte)0xff, (byte)0x54, (byte)0x32, (byte)0x10, (byte)0xfe, (byte)0xfd, (byte)0x00, (byte)0x01 },

            new byte[] { (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xf9, (byte)0xac }

        );

    }

    @Test public void longDivideMixedNumbersOneDigitDenom()

            throws Exception {

        final long res = -0xabcdef0102ffffL / 0x654;

        assertExec("Division Mixed Numbers One Digit Denom",

            Numbers.class, "divL__J_3B_3B",

            Double.valueOf(res),

            new byte[] { (byte)0xff, (byte)0x54, (byte)0x32, (byte)0x10, (byte)0xfe, (byte)0xfd, (byte)0x00, (byte)0x01 },

            new byte[] { (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x06, (byte)0x54 }

        );

    }

    @Test public void longDividePositiveNumbersMultiDigitDenom()

            throws Exception {

        final long res = 0x7ffefc003322aabbL / 0x89ab1000L;

        assertExec("Division Positive Numbers Multi Digit Denom",

            Numbers.class, "divL__J_3B_3B",

            Double.valueOf(res),

            new byte[] { (byte)0x7f, (byte)0xfe, (byte)0xfc, (byte)0x00, (byte)0x33, (byte)0x22, (byte)0xaa, (byte)0xbb },

            new byte[] { (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x89, (byte)0xab, (byte)0x10, (byte)0x00 }

        );

    }

    @Test public void longDivideNegativeNumbersMultiDigitDenom()

            throws Exception {

        final long res = -0x7ffefc003322aabbL / -0x123489ab1001L;

        assertExec("Division Negative Numbers Multi Digit Denom",

            Numbers.class, "divL__J_3B_3B",

            Double.valueOf(res),

            new byte[] { (byte)0x80, (byte)0x01, (byte)0x03, (byte)0xff, (byte)0xcc, (byte)0xdd, (byte)0x55, (byte)0x45 },

            new byte[] { (byte)0xff, (byte)0xff, (byte)0xed, (byte)0xcb, (byte)0x76, (byte)0x54, (byte)0xef, (byte)0xff }

        );

    }

    @Test public void longDivideMixedNumbersMultiDigitDenom()

            throws Exception {

        final long res = 0x7ffefc003322aabbL / -0x38f49b0b7574e36L;

        assertExec("Division Mixed Numbers Multi Digit Denom",

            Numbers.class, "divL__J_3B_3B",

            Double.valueOf(res),

            new byte[] { (byte)0x7f, (byte)0xfe, (byte)0xfc, (byte)0x00, (byte)0x33, (byte)0x22, (byte)0xaa, (byte)0xbb },

            new byte[] { (byte)0xfc, (byte)0x70, (byte)0xb6, (byte)0x4f, (byte)0x48, (byte)0xa8, (byte)0xb1, (byte)0xca }

        );

    }

    @Test public void longDivideWithOverflow() throws Exception {

        final long res = 0x8000fffe0000L / 0x8000ffffL;

        assertExec("Division With Overflow",

            Numbers.class, "divL__J_3B_3B",

            Double.valueOf(res),

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

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

        );

    }

    @Test public void longDivideWithCorrection() throws Exception {

        final long res = 0x7fff800000000000L / 0x800000000001L;

        assertExec("Division With Correction",

            Numbers.class, "divL__J_3B_3B",

            Double.valueOf(res),

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

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

        );

    }

    @Test public void longModuloSmallPositiveNumbers() throws Exception {

        final long res = 0xabcdef % 0x123;

        assertExec("Modulo Small Positive Numbers",

            Numbers.class, "modL__J_3B_3B",

            Double.valueOf(res),

            new byte[] { (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0xab, (byte)0xcd, (byte)0xef },

            new byte[] { (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x01, (byte)0x23 }

        );

    }

    @Test public void longModuloSmallNegativeNumbers() throws Exception {

        final long res = -0xabcdef % -0x123;

        assertExec("Modulo Small Negative Numbers",

            Numbers.class, "modL__J_3B_3B",

            Double.valueOf(res),

            new byte[] { (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0x54, (byte)0x32, (byte)0x11 },

            new byte[] { (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xfe, (byte)0xdd }

        );

    }

    @Test public void longModuloSmallMixedNumbers() throws Exception {

        final long res = 0xabcdef % -0x123;

        assertExec("Modulo Small Mixed Numbers",

            Numbers.class, "modL__J_3B_3B",

            Double.valueOf(res),

            new byte[] { (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0xab, (byte)0xcd, (byte)0xef },

            new byte[] { (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xfe, (byte)0xdd }

        );

    }

    @Test public void longModuloPositiveNumbersOneDigitDenom()

            throws Exception {

        final long res = 0xabcdef0102ffffL % 0x654;

        assertExec("Modulo Positive Numbers One Digit Denom",

            Numbers.class, "modL__J_3B_3B",

            Double.valueOf(res),

            new byte[] { (byte)0x00, (byte)0xab, (byte)0xcd, (byte)0xef, (byte)0x01, (byte)0x02, (byte)0xff, (byte)0xff },

            new byte[] { (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x06, (byte)0x54 }

        );

    }

    @Test public void longModuloNegativeNumbersOneDigitDenom()

            throws Exception {

        final long res = -0xabcdef0102ffffL % -0x654;

        assertExec("Modulo Negative Numbers One Digit Denom",

            Numbers.class, "modL__J_3B_3B",

            Double.valueOf(res),

            new byte[] { (byte)0xff, (byte)0x54, (byte)0x32, (byte)0x10, (byte)0xfe, (byte)0xfd, (byte)0x00, (byte)0x01 },

            new byte[] { (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xff, (byte)0xf9, (byte)0xac }

        );

    }

    @Test public void longModuloMixedNumbersOneDigitDenom()

            throws Exception {

        final long res = -0xabcdef0102ffffL % 0x654;

        assertExec("Modulo Mixed Numbers One Digit Denom",

            Numbers.class, "modL__J_3B_3B",

            Double.valueOf(res),

            new byte[] { (byte)0xff, (byte)0x54, (byte)0x32, (byte)0x10, (byte)0xfe, (byte)0xfd, (byte)0x00, (byte)0x01 },

            new byte[] { (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x06, (byte)0x54 }

        );

    }

    @Test public void longModuloPositiveNumbersMultiDigitDenom()

            throws Exception {

        final long res = 0x7ffefc003322aabbL % 0x89ab1000L;

        assertExec("Modulo Positive Numbers Multi Digit Denom",

            Numbers.class, "modL__J_3B_3B",

            Double.valueOf(res),

            new byte[] { (byte)0x7f, (byte)0xfe, (byte)0xfc, (byte)0x00, (byte)0x33, (byte)0x22, (byte)0xaa, (byte)0xbb },

            new byte[] { (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x89, (byte)0xab, (byte)0x10, (byte)0x00 }

        );

    }

    @Test public void longModuloNegativeNumbersMultiDigitDenom()

            throws Exception {

        final long res = -0x7ffefc003322aabbL % -0x123489ab1001L;

        assertExec("Modulo Negative Numbers Multi Digit Denom",

            Numbers.class, "modL__J_3B_3B",

            Double.valueOf(res),

            new byte[] { (byte)0x80, (byte)0x01, (byte)0x03, (byte)0xff, (byte)0xcc, (byte)0xdd, (byte)0x55, (byte)0x45 },

            new byte[] { (byte)0xff, (byte)0xff, (byte)0xed, (byte)0xcb, (byte)0x76, (byte)0x54, (byte)0xef, (byte)0xff }

        );

    }

    @Test public void longModuloMixedNumbersMultiDigitDenom()

            throws Exception {

        final long res = 0x7ffefc003322aabbL % -0x38f49b0b7574e36L;

        assertExec("Modulo Mixed Numbers Multi Digit Denom",

            Numbers.class, "modL__J_3B_3B",

            Double.valueOf(res),

            new byte[] { (byte)0x7f, (byte)0xfe, (byte)0xfc, (byte)0x00, (byte)0x33, (byte)0x22, (byte)0xaa, (byte)0xbb },

            new byte[] { (byte)0xfc, (byte)0x70, (byte)0xb6, (byte)0x4f, (byte)0x48, (byte)0xa8, (byte)0xb1, (byte)0xca }

        );

    }

    @Test public void longModuloWithOverflow() throws Exception {

        final long res = 0x8000fffe0000L % 0x8000ffffL;

        assertExec("Modulo With Overflow",

            Numbers.class, "modL__J_3B_3B",

            Double.valueOf(res),

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

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

        );

    }

    @Test public void longModuloWithCorrection() throws Exception {

        final long res = 0x7fff800000000000L % 0x800000000001L;

        assertExec("Modulo With Correction",

            Numbers.class, "modL__J_3B_3B",

            Double.valueOf(res),

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

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

        );

    }

    @Test public void longShiftL1() throws Exception {

        final long res = 0x00fa37d7763e0ca1l << 5;

        assertExec("Long << 5",

            Numbers.class, "shlL__J_3BI", 

            Double.valueOf(res),

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

                5);

    }

    @Test public void longShiftL2() throws Exception {

        final long res = 0x00fa37d7763e0ca1l << 32;

        assertExec("Long << 32",

            Numbers.class, "shlL__J_3BI", 

            Double.valueOf(res),

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

                32);

    }

    @Test public void longShiftL3() throws Exception {

        final long res = 0x00fa37d7763e0ca1l << 45;

        assertExec("Long << 45",

            Numbers.class, "shlL__J_3BI", 

            Double.valueOf(res),

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

                45);

    }

    @Test public void longShiftR1() throws Exception {

        final long res = 0x00fa37d7763e0ca1l >> 5;

        assertExec("Long >> 5",

            Numbers.class, "shrL__J_3BI", 

            Double.valueOf(res),

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

                5);

    }

    @Test public void longShiftR2() throws Exception {

        final long res = 0x00fa37d7763e0ca1l >> 32;

        assertExec("Long >> 32",

            Numbers.class, "shrL__J_3BI", 

            Double.valueOf(res),

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

                32);

    }

    @Test public void longShiftR3() throws Exception {

        final long res = 0x00fa37d7763e0ca1l >> 45;

        assertExec("Long >> 45",

            Numbers.class, "shrL__J_3BI", 

            Double.valueOf(res),

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

                45);

    }

    @Test public void longUShiftR1() throws Exception {

        final long res = 0x00fa37d7763e0ca1l >>> 5;

        assertExec("Long >>> 5",

            Numbers.class, "ushrL__J_3BI", 

            Double.valueOf(res),

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

                5);

    }

    @Test public void longUShiftR2() throws Exception {

        final long res = 0x00fa37d7763e0ca1l >>> 45;

        assertExec("Long >>> 45",

            Numbers.class, "ushrL__J_3BI", 

            Double.valueOf(res),

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

                45);

    }

    @Test public void longUShiftR3() throws Exception {

        final long res = 0xf0fa37d7763e0ca1l >>> 5;

        assertExec("Long >>> 5",

            Numbers.class, "ushrL__J_3BI", 

            Double.valueOf(res),

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

                5);

    }

    @Test public void longUShiftR4() throws Exception {

        final long res = 0xf0fa37d7763e0ca1l >>> 45;

        assertExec("Long >>> 45",

            Numbers.class, "ushrL__J_3BI", 

            Double.valueOf(res),

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

                45);

    }

    @Test public void longAnd() throws Exception {

        final long res = 0x00fa37d7763e0ca1l & 0xa7b3432fff00123el;

        assertExec("LOng binary AND",

            Numbers.class, "andL__J_3B_3B", 

            Double.valueOf(res),

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

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

        );

    }

    @Test public void longOr() throws Exception {

        final long res = 0x00fa37d7763e0ca1l | 0xa7b3432fff00123el;

        assertExec("Long binary OR",

            Numbers.class, "orL__J_3B_3B", 

            Double.valueOf(res),

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

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

        );

    }

    @Test public void longXor1() throws Exception {

        final long res = 0x00fa37d7763e0ca1l ^ 0xa7b3432fff00123el;

        assertExec("Long binary XOR",

            Numbers.class, "xorL__J_3B_3B", 

            Double.valueOf(res),

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

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

        );

    }

    @Test public void longXor2() throws Exception {

        final long res = 0x00fa37d7763e0ca1l ^ 0x00000000ff00123el;

        assertExec("Long binary XOR",

            Numbers.class, "xorL__J_3B_3B", 

            Double.valueOf(res),

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

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

        );

    }

    @Test public void longXor3() throws Exception {

        final long res = 0x00000000763e0ca1l ^ 0x00000000ff00123el;

        assertExec("Long binary XOR",

            Numbers.class, "xorL__J_3B_3B", 

            Double.valueOf(res),

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

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

        );

    }

    @Test public void longCompareSameNumbers() throws Exception {

        assertExec("Long compare same numbers",

            Numbers.class, "compareL__I_3B_3BI",

            0.0,

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

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

            0

        );

    }

    @Test public void longComparePositiveNumbers() throws Exception {

        assertExec("Long compare positive numbers",

            Numbers.class, "compareL__I_3B_3BI",

            -1.0,

            new byte[] { (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x20, (byte)0x00, (byte)0x00 },

            new byte[] { (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x00, (byte)0x10, (byte)0x00, (byte)0x00, (byte)0x00 },

            0

        );

    }

    @Test public void longCompareNegativeNumbers() throws Exception {

        assertExec("Long compare negative numbers",

            Numbers.class, "compareL__I_3B_3BI",

            1.0,

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

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

            0

        );

    }

    @Test public void longCompareMixedNumbers() throws Exception {

        assertExec("Long compare mixed numbers",

            Numbers.class, "compareL__I_3B_3BI",

            -1.0,

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

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

            0

        );

    }

    private static TestVM code;

    @BeforeClass

    public void compileTheCode() throws Exception {

        code = TestVM.compileClass("org/apidesign/vm4brwsr/Numbers");

    }

    private static void assertExec(

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

    {

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

        if (ret == null) {

            return;

        }

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

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

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

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

                    + code.toString());

            return;

        }

        assertEquals(ret, expRes, msg + " " + code.toString());

    }

}