Lines Matching refs:product
56 DiyFp product = DiyFp::Times(diy_fp1, diy_fp2); in TEST() local
58 CHECK(0 == product.f()); // NOLINT in TEST()
59 CHECK_EQ(64, product.e()); in TEST()
66 product = DiyFp::Times(diy_fp1, diy_fp2); in TEST()
67 CHECK(1 == product.f()); // NOLINT in TEST()
68 CHECK_EQ(11 + 13 + 64, product.e()); in TEST()
73 product = DiyFp::Times(diy_fp1, diy_fp2); in TEST()
74 CHECK(1 == product.f()); // NOLINT in TEST()
75 CHECK_EQ(11 + 13 + 64, product.e()); in TEST()
79 product = DiyFp::Times(diy_fp1, diy_fp2); in TEST()
80 CHECK(0 == product.f()); // NOLINT in TEST()
81 CHECK_EQ(11 + 13 + 64, product.e()); in TEST()
89 product = DiyFp::Times(diy_fp1, diy_fp2); in TEST()
90 CHECK(V8_2PART_UINT64_C(0xFFFFFFFF, FFFFFFFe) == product.f()); in TEST()
91 CHECK_EQ(11 + 13 + 64, product.e()); in TEST()