Searched refs:ValTwo (Results 1 – 1 of 1) sorted by relevance
285 isl::val ValTwo = isl::val(IslCtx.get(), 2); in TEST() local297 isl::pw_aff AffTwo = isl::aff(LS, ValTwo); in TEST()319 EXPECT_EQ(AffTwo * ValTwo, AffFour); in TEST()320 EXPECT_EQ(ValTwo * AffTwo, AffFour); in TEST()329 EXPECT_EQ(ValTwo - AffOne, AffOne); in TEST()337 EXPECT_EQ(AffFour / ValTwo, AffTwo); in TEST()360 EXPECT_EQ(AffThree % ValTwo, AffOne); in TEST()