Searched refs:diffOfSums (Results 1 – 1 of 1) sorted by relevance
136 auto diffOfSums = ((dim(0) - 3) - (dim(1) - 5)).dyn_cast<SDBMDiffExpr>(); in TEST() local137 ASSERT_TRUE(diffOfSums); in TEST()138 auto lhs = diffOfSums.getLHS().dyn_cast<SDBMSumExpr>(); in TEST()142 EXPECT_EQ(diffOfSums.getRHS(), dim(1)); in TEST()