/*
 * Copyright (c) 2023-2024 Huawei Device Co., Ltd.
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 * http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

function test_create_empty_bigint(): void {
    let a = new BigInt()
    assert a.positive()
    assert a == 0n

    let b = new BigInt()
    assert b.positive()
    assert b == 0n
}

function test_invalid_bigint(): void {
    // NOTE(kkonsw): implement validation
}

function test_bigint_as_string(): void {
    assert new BigInt("10").toString() == "10"
    assert new BigInt("1000").toString() == "1000"
    assert new BigInt("-1000").toString() == "-1000"
    assert new BigInt("-1").toString() == "-1"
    assert new BigInt("-10").toString() == "-10"
    assert new BigInt("-100").toString() == "-100"
    assert new BigInt("-100000000000000").toString() == "-100000000000000"
    assert new BigInt("0").toString() == "0"
}

function test_type(): void {
    let num0 = 0n;
    let num1 = 100_100_100_100_100_100n
    let num2 = -57896044618658097711785492504343953926634992332820282019728792003956564819967n

    assert (num0 instanceof bigint)
    assert (num1 instanceof bigint)
    assert (num2 instanceof bigint)
}

function test_assignment(): void {
    let a = -24059059045444224545405903904190343043049209420234290480n
    let b = a
    assert (a instanceof bigint)
    assert (b instanceof bigint)
    assert (a == b);

    a = 123n;
    assert (a instanceof bigint)
    assert (a.toString() == "123");
    assert (a == 123n);

    const zero = 0n;
    let c = zero;
    assert (zero instanceof bigint)
    assert (c instanceof bigint)
    assert (zero == c);
}

function test_compare(): void {
    const a = 24400569094091093912039019089543850580328542852805043n
    const b = 34034240244909504590902901119302940942904944029040950n

    assert 44493059209094029409209402940924902n < 140044940590459049067274048929058908989042385n
    assert 44493059209094029409209402940924902n < a
    assert a < 34034240244909504590902901119302940942904944029040950n
    assert a < b

    assert 44493059209094029409209402940924902n <= 140044940590459049067274048929058908989042385n
    assert 44493059209094029409209402940924902n <= a
    assert a <= 34034240244909504590902901119302940942904944029040950n
    assert a <= b

    assert 44493059209094029409209402940924902n <= 44493059209094029409209402940924902n
    assert 24400569094091093912039019089543850580328542852805043n <= a
    assert a <= 24400569094091093912039019089543850580328542852805043n
    assert a <= a

    assert 40044940590459049067274048929058908989042385n > 44493059209094029409209402940924902n
    assert 34034240244909504590902901119302940942904944029040950n > a
    assert a > 140044940590459049067274048929058908989042385n
    assert b > a

    assert 40044940590459049067274048929058908989042385n >= 44493059209094029409209402940924902n
    assert 34034240244909504590902901119302940942904944029040950n >= a
    assert a >= 140044940590459049067274048929058908989042385n
    assert b >= a

    assert 44493059209094029409209402940924902n <= 44493059209094029409209402940924902n
    assert 24400569094091093912039019089543850580328542852805043n <= a
    assert a <= 24400569094091093912039019089543850580328542852805043n
    assert a <= a
}

function test_literals() : void {
    let num0 = 0n
    assert (num0.toString() == "0")

    let num1 = 127n
    assert (num1.toString() == "127")

    let num2 = 32767n
    assert (num2.toString() == "32767")

    let num3 = 2147483647n
    assert (num3.toString() == "2147483647")

    let num4 = 9223372036854775807n
    assert (num4.toString() == "9223372036854775807")

    let num5 = 170141183460469231731687303715884105727n
    assert (num5.toString() == "170141183460469231731687303715884105727")

    let num6 = 57896044618658097711785492504343953926634992332820282019728792003956564819967n
    assert (num6.toString() == "57896044618658097711785492504343953926634992332820282019728792003956564819967")

    let num1_n = -128n
    assert (num1_n.toString() == "-128")

    let num2_n = -32768n
    assert (num2_n.toString() == "-32768")

    let num3_n = -2147483648n
    assert (num3_n.toString() == "-2147483648")

    let num4_n = -9223372036854775808n
    assert (num4_n.toString() == "-9223372036854775808")

    let num5_n = -170141183460469231731687303715884105728n
    assert (num5_n.toString() == "-170141183460469231731687303715884105728")

    let num6_n = -57896044618658097711785492504343953926634992332820282019728792003956564819968n
    assert (num6_n.toString() == "-57896044618658097711785492504343953926634992332820282019728792003956564819968")

    let num1_sep = 1_991_653_125_841_217_555_434419_9091_123000000_3_3313_5775_3282_29n
    assert (num1_sep.toString() == "19916531258412175554344199091123000000333135775328229")

    let num2_sep = -422_12_3333_9844_3333_3443_34111_43434_1111_11_1_3_3_411909_990081n
    assert (num2_sep.toString() == "-4221233339844333334433411143434111111133411909990081")

    let num0_t: bigint = 0n
    assert (num0_t.toString() == "0")

    let num1_t: bigint = 57896044618658097711785492504343953926634992332820282019728792003956564819967n
    assert (num1_t.toString() == "57896044618658097711785492504343953926634992332820282019728792003956564819967")

    let num2_t: bigint = -9223372036854775808n
    assert (num2_t.toString() == "-9223372036854775808")

    let num3_t: bigint = 1_991_653_125_841_217_555_434419_9091_123000000_3_3313_5775_3282_29n
    assert (num3_t.toString() == "19916531258412175554344199091123000000333135775328229")

    let num4_t: bigint = -422_12_3333_9844_3333_3443_34111_43434_1111_11_1_3_3_411909_990081n
    assert (num4_t.toString() == "-4221233339844333334433411143434111111133411909990081")

    const num0_c = 0n
    assert (num0_c.toString() == "0")

    const num1_c = 1267650600228229401496703205376n
    assert (num1_c.toString() == "1267650600228229401496703205376")

    const num2_c = -1427247692705959881058285969449495136382746624n
    assert (num2_c.toString() == "-1427247692705959881058285969449495136382746624")

    const num3_c = 4_000_000_000_000_000_000_000_100n
    assert (num3_c.toString() == "4000000000000000000000100")

    const num4_c: bigint = -7777777_666666_55555_4444_333_22_1n
    assert (num4_c.toString() == "-7777777666666555554444333221")
}

function test_cast(): void {
    const v = 1559053
    const b: byte = 44
    const s: short = -17600
    const i: int = 1150483640
    const l: long = -8223372036854775808

    // NOTE(kkonsw): casts currently do not work
}

function test_bigint_methods(): void {
    const b: byte = 44
    const s: short = -17600
    const i: int = 1150483640
    const l: long = -8223372036854775808

    /* Testing BigInt constructor */
    let n0 = new BigInt(0)
    assert n0 == 0n
    assert(n0.toString() == "0")

    let n1 = new BigInt(654093)
    assert(n1.toString() == "654093")
    assert n1 == 654093n

    let n2 = new BigInt(b)
    assert(n2.toString() == "44")
    assert n2 == 44n

    let n3 = new BigInt(s)
    assert(n3.toString() == "-17600")
    assert n3 == -17600n

    let n4 = new BigInt(i)
    assert(n4.toString() == "1150483640")
    assert n4 == 1150483640n

    let n5 = new BigInt(l)
    assert(n5.toString() == "-8223372036854775808")
    assert n5 == -8223372036854775808n

    let dec = new BigInt("-12392320390239294724747283477947923471101032")
    assert dec == -12392320390239294724747283477947923471101032n

    const n7 = 12392320390239294724747283477947923471101032n

    /* Testing asIntN() static method */
    assert BigInt.asIntN(0, n7) == 0n
    assert BigInt.asIntN(8, n7) == 104n
    assert BigInt.asIntN(16, n7) == 27752n
    assert BigInt.asIntN(32, n7) == -737317784n
    assert BigInt.asIntN(64, n7) == -7098331616643290008n

    /* Testing asUintN() static method */
    assert BigInt.asUintN(0, n7) == 0n
    assert BigInt.asUintN(8, n7) == 104n
    assert BigInt.asUintN(16, n7) == 27752n
    assert BigInt.asUintN(32, n7) == 3557649512n
    assert BigInt.asUintN(64, n7) == 11348412457066261608n
}

function test_shift(): void {
    const a = 245599210405555256299145n
    /* Testing left shift (<<) */
    assert a << 100n == 311333986486181324779687697000809288883015536628203520n
    assert a << 0n == a

    /* Testing right shift (>>) */
    assert a >> 60n == 213023n
    assert a >> 0n == a
}

function test_scientific(): void {
    assert new BigInt(0.0e0).toString() == "0" : "BigInt(0.0e0)"
    assert new BigInt(0.0e+0).toString() == "0" : "BigInt(0.0e+0)"
    assert new BigInt(0.0e-0).toString() == "0" : "BigInt(0.0e-0).toString()"
    assert new BigInt(-0.0e0).toString() == "0" : "BigInt(-0.0e0).toString()"
    assert new BigInt(1e23).toString() == "100000000000000000000000" : "BigInt(1e22)"
    assert new BigInt(1e+23).toString() == "100000000000000000000000" : "BigInt(1e+22)"
    assert new BigInt(-1e23).toString() == "-100000000000000000000000" : "BigInt(-1e22)"
    assert new BigInt(-1e+23).toString() == "-100000000000000000000000" : "BigInt(-1e+22)"

    assert new BigInt(1.234567e10).toString() == "12345670000" : "BigInt(1.234567e10).toString()"
    assert new BigInt(1.234567e20).toString() == "123456700000000000000" : "BigInt(1.234567e20).toString()"

    assert new BigInt(1.2345678912e21).toString() == "1234567891200000000000" : "BigInt(1.2345678912e21)"
    assert new BigInt(1.2345678912e+21).toString() == "1234567891200000000000" : "BigInt(1.2345678912e+21)"
    assert new BigInt(-1.2345678912e21).toString() == "-1234567891200000000000" : "BigInt(-1.2345678912e21)"
}

function test_double(): void {
    let bigIntFromDouble = (x: number): boolean => {
        try {
            let b = new BigInt(x);
        } catch (e) {
            return e instanceof Error;
        }
        return false
    };

    assert bigIntFromDouble(0.1) : "BigInt(0.1)"
    assert bigIntFromDouble(-0.1) : "BigInt(-0.1)"
    assert bigIntFromDouble(42.1234567) : "BigInt(42.1234567)"
    assert bigIntFromDouble(1.234567e2) : "BigInt(1.234567e2)"
    assert bigIntFromDouble(1e-22) : "BigInt(1e-22)"
    assert bigIntFromDouble(-1e-22) : "BigInt(-1e-22)"
    assert bigIntFromDouble(1.88e-20) : "BigInt(1.88e-20)"
    assert bigIntFromDouble(1.2345678848e-21) : "BigInt(1.2345678484e-21)"
}

function main() : void {
    test_create_empty_bigint();
    test_bigint_as_string();
    test_invalid_bigint();
    test_type();
    test_assignment();
    test_compare();
    test_literals();
    test_cast();
    test_bigint_methods();
    test_shift();
    test_double();
    // NOTE(aakmaev): Enable after fix #17683.
    // test_scientific();
}