Steve Block | 6ded16b | 2010-05-10 14:33:55 +0100 | [diff] [blame^] | 1 | // Copyright 2006-2008 the V8 project authors. All rights reserved. |
| 2 | |
| 3 | #include <stdlib.h> |
| 4 | |
| 5 | #include "v8.h" |
| 6 | |
| 7 | #include "platform.h" |
| 8 | #include "cctest.h" |
| 9 | #include "diy-fp.h" |
| 10 | |
| 11 | |
| 12 | using namespace v8::internal; |
| 13 | |
| 14 | |
| 15 | TEST(Subtract) { |
| 16 | DiyFp diy_fp1 = DiyFp(3, 0); |
| 17 | DiyFp diy_fp2 = DiyFp(1, 0); |
| 18 | DiyFp diff = DiyFp::Minus(diy_fp1, diy_fp2); |
| 19 | |
| 20 | CHECK(2 == diff.f()); // NOLINT |
| 21 | CHECK_EQ(0, diff.e()); |
| 22 | diy_fp1.Subtract(diy_fp2); |
| 23 | CHECK(2 == diy_fp1.f()); // NOLINT |
| 24 | CHECK_EQ(0, diy_fp1.e()); |
| 25 | } |
| 26 | |
| 27 | |
| 28 | TEST(Multiply) { |
| 29 | DiyFp diy_fp1 = DiyFp(3, 0); |
| 30 | DiyFp diy_fp2 = DiyFp(2, 0); |
| 31 | DiyFp product = DiyFp::Times(diy_fp1, diy_fp2); |
| 32 | |
| 33 | CHECK(0 == product.f()); // NOLINT |
| 34 | CHECK_EQ(64, product.e()); |
| 35 | diy_fp1.Multiply(diy_fp2); |
| 36 | CHECK(0 == diy_fp1.f()); // NOLINT |
| 37 | CHECK_EQ(64, diy_fp1.e()); |
| 38 | |
| 39 | diy_fp1 = DiyFp(V8_2PART_UINT64_C(0x80000000, 00000000), 11); |
| 40 | diy_fp2 = DiyFp(2, 13); |
| 41 | product = DiyFp::Times(diy_fp1, diy_fp2); |
| 42 | CHECK(1 == product.f()); // NOLINT |
| 43 | CHECK_EQ(11 + 13 + 64, product.e()); |
| 44 | |
| 45 | // Test rounding. |
| 46 | diy_fp1 = DiyFp(V8_2PART_UINT64_C(0x80000000, 00000001), 11); |
| 47 | diy_fp2 = DiyFp(1, 13); |
| 48 | product = DiyFp::Times(diy_fp1, diy_fp2); |
| 49 | CHECK(1 == product.f()); // NOLINT |
| 50 | CHECK_EQ(11 + 13 + 64, product.e()); |
| 51 | |
| 52 | diy_fp1 = DiyFp(V8_2PART_UINT64_C(0x7fffffff, ffffffff), 11); |
| 53 | diy_fp2 = DiyFp(1, 13); |
| 54 | product = DiyFp::Times(diy_fp1, diy_fp2); |
| 55 | CHECK(0 == product.f()); // NOLINT |
| 56 | CHECK_EQ(11 + 13 + 64, product.e()); |
| 57 | |
| 58 | // Halfway cases are allowed to round either way. So don't check for it. |
| 59 | |
| 60 | // Big numbers. |
| 61 | diy_fp1 = DiyFp(V8_2PART_UINT64_C(0xFFFFFFFF, FFFFFFFF), 11); |
| 62 | diy_fp2 = DiyFp(V8_2PART_UINT64_C(0xFFFFFFFF, FFFFFFFF), 13); |
| 63 | // 128bit result: 0xfffffffffffffffe0000000000000001 |
| 64 | product = DiyFp::Times(diy_fp1, diy_fp2); |
| 65 | CHECK(V8_2PART_UINT64_C(0xFFFFFFFF, FFFFFFFe) == product.f()); |
| 66 | CHECK_EQ(11 + 13 + 64, product.e()); |
| 67 | } |