Searched refs:ValThree (Results 1 – 1 of 1) sorted by relevance
294 isl::val ValThree = isl::val(IslCtx.get(), 3); in TEST() local306 isl::pw_aff AffThree = isl::aff(LS, ValThree); in TEST()352 EXPECT_EQ(AffNegFour / ValThree, AffNegOne); in TEST()369 EXPECT_EQ(ValThree % AffTwo, AffOne); in TEST()375 EXPECT_EQ(AffNegFour % ValThree, AffNegOne); in TEST()