test/codegen/corelib/big_integer_parsed_mul_div_vm_test.dart - Issue 1945153002: Add corelib tests

Unified Diff: test/codegen/corelib/big_integer_parsed_mul_div_vm_test.dart

Issue 1945153002: Add corelib tests (Closed) Base URL: https://github.com/dart-lang/dev_compiler@master

Patch Set: error_test and range_error_test now pass Created 4 years, 7 months ago

Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.

Jump to:

View side-by-side diff with in-line comments

« no previous file with comments | « test/codegen/corelib/big_integer_parsed_div_rem_vm_test.dart ('k') | test/codegen/corelib/bit_twiddling_bigint_test.dart » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')

Index: test/codegen/corelib/big_integer_parsed_mul_div_vm_test.dart

diff --git a/test/codegen/corelib/big_integer_parsed_mul_div_vm_test.dart b/test/codegen/corelib/big_integer_parsed_mul_div_vm_test.dart

new file mode 100644

index 0000000000000000000000000000000000000000..8b003c2258550907fabee54c118a31b3d177b07f

--- /dev/null

+++ b/test/codegen/corelib/big_integer_parsed_mul_div_vm_test.dart

@@ -0,0 +1,805 @@

+// BSD-style license that can be found in the LICENSE file.

+// Testing Bigints with and without intrinsics.

+// VMOptions=

+// VMOptions=--no_intrinsify

+library big_integer_test;

+import "package:expect/expect.dart";

+mulDivParsed(String a, String b, String product) {

+ int int_a = int.parse(a);

+ int int_b = int.parse(b);

+ int int_product = int.parse(product);

+ int computed_product = int_a * int_b;

+ Expect.equals(int_product, computed_product);

+ String str_product = computed_product >= 0 ?

+ "0x${computed_product.toRadixString(16)}" :

+ "-0x${(-computed_product).toRadixString(16)}";

+ Expect.equals(product.toLowerCase(), str_product);

+ int computed_product2 = int_b * int_a;

+ Expect.equals(int_product, computed_product2);

+ String str_product2 = computed_product2 >= 0 ?

+ "0x${computed_product2.toRadixString(16)}" :

+ "-0x${(-computed_product2).toRadixString(16)}";

+ Expect.equals(product.toLowerCase(), str_product2);

+ if (int_a != 0) {

+ int computed_quotient1 = int_product ~/ int_a;

+ Expect.equals(int_b, computed_quotient1);

+ String str_quotient1 = computed_quotient1 >= 0 ?

+ "0x${computed_quotient1.toRadixString(16)}" :

+ "-0x${(-computed_quotient1).toRadixString(16)}";

+ Expect.equals(b.toLowerCase(), str_quotient1);

+ }

+ if (int_b != 0) {

+ int computed_quotient2 = int_product ~/ int_b;

+ Expect.equals(int_a, computed_quotient2);

+ String str_quotient2 = computed_quotient2 >= 0 ?

+ "0x${computed_quotient2.toRadixString(16)}" :

+ "-0x${(-computed_quotient2).toRadixString(16)}";

+ Expect.equals(a.toLowerCase(), str_quotient2);

+ }

+testBigintMultiplyDivide() {

+ String zero = "0x0";

+ String one = "0x1";

+ String minus_one = "-0x1";

+ mulDivParsed(zero, zero, zero);

+ mulDivParsed(one, one, one);

+ mulDivParsed(one, zero, zero);

+ mulDivParsed(zero, one, zero);

+ mulDivParsed(one, minus_one, minus_one);

+ mulDivParsed(minus_one, minus_one, one);

+ mulDivParsed("0x42", one, "0x42");

+ mulDivParsed("0x42", "0x2", "0x84");

+ mulDivParsed("0xFFFF", "0x2", "0x1FFFE");

+ mulDivParsed("0x3", "0x5", "0xF");

+ mulDivParsed("0xFFFFF", "0x5", "0x4FFFFB");

+ mulDivParsed("0xFFFFFFF", "0x5", "0x4FFFFFFB");

+ mulDivParsed("0xFFFFFFFF", "0x5", "0x4FFFFFFFB");

+ mulDivParsed("0xFFFFFFFFFFFFFFFF", "0x5", "0x4FFFFFFFFFFFFFFFB");

+ mulDivParsed("0xFFFFFFFFFFFFFFFF", "0x3039",

+ "0x3038FFFFFFFFFFFFCFC7");

+ mulDivParsed("0xFFFFFFFFFFFFFFFF",

+ "0xFFFFFFFFFFFFFFFFFFFFFFFFFF",

+ "0xFFFFFFFFFFFFFFFEFFFFFFFFFF0000000000000001");

+ mulDivParsed(

+ "0xFFFFFFFFFFFFFFFF000000000000000000000000000000000000000000000",

+ "0xFFFFFFFFFFFFFFFFFFFFFFFFFF00000000000000000000000000000",

+ "0xFFFFFFFFFFFFFFFEFFFFFFFFFF000000000000000100000000000000"

+ "000000000000000000000000000000000000000000000000000000000000");

+ mulDivParsed("0x10000001", "0x5", "0x50000005");

+ mulDivParsed(

+ "0x1234567890ABCDEF01234567890ABCDEF01234567890ABCDEF"

+ "01234567890ABCDEF01234567890ABCDEF",

+ "0x1234567890ABCDEF01234567890ABCDEF01234567890ABCDEF"

+ "01234567890ABCDEF01234567890ABCDEF",

+ "0x14B66DC328828BCA670CBE52943AA3894CCCE15C8F5ED1E55F"

+ "328F6D3F579F992299850C4B5B95213EF3FB7B4E73B5F43D4299"

+ "5B9F6FD5441C275F2FF89F86F28F47A94CA37481090DCCCDCA6475F09A2F2A521");

+ mulDivParsed(

+ "0x1234567890ABCDEF01234567890ABCDEF01234567890ABCDEF01234567890ABCDEF"

+ "01234567890ABCDEF",

+ "0x1234567890123456789012345678901234567890123456789012345678901234567890"

+ "123456789012345678901234567890123456789012345678901234567890123456789012"

+ "345678901234567890123456789012345678901234567890123456789012345678901234"

+ "567890123456789012345678901234567890123456789012345678901234567890123456"

+ "789012345678901234567890123456789012345678901234567890123456789012345678"

+ "90123456789012345678901234567890",

+ "0x14B66DC327D3C88D7EAA988BBFFA9BBA877826E7EDAF373907A931FBFC3A25231DF7F2"

+ "516F511FB1638F0B570F4A8F0B570F4A8F0B570F4A8F0B570F4A8F0B570F4A8F0B570F4A"

+ "8F0B570F4A8F0B570F4A8F0B570F4A8F0B570F4A8F0B570F4A8F0B570F4A8F0B570F4A8F"

+ "0B570F4A8F0B570F4A8F0B570F4A8F0B570F4A8F0B570F4A8F0B570F4A8F0B570F4A8F0B"

+ "570F4A8F0B570F4A8F0B570F4A8F0B570F4A8F0B570F4A8F0B570F4A8F0B570F4A8F0B57"

+ "0F4A8F0B570F4A8F0B570F4A8F0B570F35D89D93E776C67DD864B2034B5C739007933027"

+ "5CDFD41E07A15D0F5AD5256BED5F1CF91FBA375DE70");

+ mulDivParsed(

+ "0x1FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"

+ "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"

+ "FFFFFFFFFFFFFFFFF",

+ "0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"

+ "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF",

+ "0x1FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"

+ "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFDFFFFFFFFFFFFFFFF"

+ "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"

+ "FFFFFFFFFFFFFFFFF0000000000000000000000000000000000000000000000000000000"

+ "0000000000000000000000000000000000000000000000000000000000000000000001");

+ mulDivParsed(

+ "0x1FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"

+ "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"

+ "FFFFFFFFFFFFFFFFF",

+ "0x1FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"

+ "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"

+ "FFFFFFFFFFFFFFFFF",

+ "0x3FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"

+ "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"

+ "FFFFFFFFFFFFFFFFC0000000000000000000000000000000000000000000000000000000"

+ "000000000000000000000000000000000000000000000000000000000000000000000000"

+ "0000000000000000000000000000001");

+ // A 256 28-bit digits number squared.

+ mulDivParsed(

+ "0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"

+ "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"

+ "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF",

+ "0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"

+ "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"

+ "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF",

+ "0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"

+ "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"

+ "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFE000000"

+ "000000000000000000000000000000000000000000000000000000000000000000000000"

+ "0000000000000000000000000000000000000000000000000000000001");