Searched refs:KnownSLT (Results 1 – 1 of 1) sorted by relevance
358 Optional<bool> KnownSLT = KnownBits::slt(Known1, Known2); in TEST() local369 EXPECT_EQ(AllSLT || NoneSLT, KnownSLT.has_value()); in TEST()380 EXPECT_EQ(AllSLT, KnownSLT.has_value() && KnownSLT.value()); in TEST()391 EXPECT_EQ(NoneSLT, KnownSLT.has_value() && !KnownSLT.value()); in TEST()