Lines Matching refs:product
31 DiyFp product = DiyFp::Times(diy_fp1, diy_fp2);
33 CHECK(0 == product.f()); // NOLINT
34 CHECK_EQ(64, product.e());
41 product = DiyFp::Times(diy_fp1, diy_fp2);
42 CHECK(1 == product.f()); // NOLINT
43 CHECK_EQ(11 + 13 + 64, product.e());
48 product = DiyFp::Times(diy_fp1, diy_fp2);
49 CHECK(1 == product.f()); // NOLINT
50 CHECK_EQ(11 + 13 + 64, product.e());
54 product = DiyFp::Times(diy_fp1, diy_fp2);
55 CHECK(0 == product.f()); // NOLINT
56 CHECK_EQ(11 + 13 + 64, product.e());
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());