Lines Matching refs:SDBMSumExpr

47   auto sumExpr = expr.dyn_cast<SDBMSumExpr>();  in TEST()
60   auto sumExpr = expr.dyn_cast<SDBMSumExpr>();  in TEST()
83   auto sum = negatedSum.getVar().dyn_cast<SDBMSumExpr>();  in TEST()
125   auto sumExpr = expr.dyn_cast<SDBMSumExpr>();  in TEST()
138   auto lhs = diffOfSums.getLHS().dyn_cast<SDBMSumExpr>();  in TEST()
297   SDBMStripeExpr::get(SDBMSumExpr::get(var, cst2), cst2);  in TEST()
333   auto expr = SDBMSumExpr::get(var, cst2);  in TEST()
336   auto expr2 = SDBMSumExpr::get(stripe, cst2);  in TEST()
341   EXPECT_EQ(expr, SDBMSumExpr::get(var, cst2));  in TEST()
345   EXPECT_TRUE(generic.isa<SDBMSumExpr>());  in TEST()
396   auto inner = SDBMSumExpr::get(var, cst2);  in TEST()
404   auto sum = SDBMSumExpr::get(outerStripe, cst2);  in TEST()
413       SDBMStripeExpr::get(SDBMSumExpr::get(stripeSum, cst2), cst7);  in TEST()