Lines Matching defs:Computed

31                                             const KnownBits &Computed,
37     if (Exact.hasConflict() || Computed == Exact)
40     if (Computed.Zero.isSubsetOf(Exact.Zero) &&
41         Computed.One.isSubsetOf(Exact.One))
50   Result << "Computed = " << Computed << ", Exact = " << Exact;
59       KnownBits Computed = BitsFn(Known);
72         EXPECT_TRUE(checkResult(Name, Exact, Computed, Known, CheckOptimality));
85         KnownBits Computed = BitsFn(Known1, Known2);
100           EXPECT_TRUE(checkResult(Name, Exact, Computed, {Known1, Known2},
107           EXPECT_TRUE(Computed.isZero());
139         KnownBits Computed =
142           EXPECT_EQ(Exact, Computed);
198       KnownBits Computed = KnownBits::computeForAddSub(
200       EXPECT_TRUE(checkResult(Name, Exact, Computed, {Known1, Known2},
252         KnownBits Computed =
255           EXPECT_EQ(Exact, Computed);
818         KnownBits Computed = KnownBits::mul(Known1, Known2);
838           Computed.Zero &= Mask;
839           Computed.One &= Mask;
840           EXPECT_TRUE(checkResult("mul", Exact, Computed, {Known1, Known2},