Searched refs:KnownSMax (Results 1 – 1 of 1) sorted by relevance
111 KnownBits KnownSMax(KnownAnd); in TEST() local148 KnownSMax.One &= Res; in TEST()149 KnownSMax.Zero &= ~Res; in TEST()217 EXPECT_EQ(KnownSMax, ComputedSMax); in TEST()