Searched refs:ValThree (Results 1 – 1 of 1) sorted by relevance
286 isl::val ValThree = isl::val(IslCtx.get(), 3); in TEST() local298 isl::pw_aff AffThree = isl::aff(LS, ValThree); in TEST()344 EXPECT_EQ(AffNegFour / ValThree, AffNegOne); in TEST()361 EXPECT_EQ(ValThree % AffTwo, AffOne); in TEST()367 EXPECT_EQ(AffNegFour % ValThree, AffNegOne); in TEST()