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