Lines Matching defs:d0

30   auto d0 = b.getAffineDimExpr(0);
33   auto sum = d0 + d1;
34   auto difference = d0 - d1;
35   auto product = d0 * d1;
36   auto remainder = d0 % d1;
92   auto d0 = b.getAffineDimExpr(0);
96   ASSERT_EQ((d0 * 6).floorDiv(2), d0 * 3);
97   ASSERT_EQ((d0 * 6).floorDiv(4).getKind(), AffineExprKind::FloorDiv);
98   ASSERT_EQ((d0 * 6).floorDiv(-2), d0 * -3);
99   ASSERT_EQ((d0 * 6 + d1).floorDiv(2), d0 * 3 + d1.floorDiv(2));
100   ASSERT_EQ((d0 * 6 + d1).floorDiv(-2), d0 * -3 + d1.floorDiv(-2));
101   ASSERT_EQ((d0 * 6 + d1).floorDiv(4).getKind(), AffineExprKind::FloorDiv);
104   ASSERT_EQ((d0 * 6).ceilDiv(2), d0 * 3);
105   ASSERT_EQ((d0 * 6).ceilDiv(4).getKind(), AffineExprKind::CeilDiv);
106   ASSERT_EQ((d0 * 6).ceilDiv(-2), d0 * -3);
112   auto d0 = b.getAffineDimExpr(0);
113   auto sum = d0 + d0.floorDiv(3).floorDiv(-3);
124   // Regression test for a bug where this was rewritten to d0 mod -2. We do not
128   auto d0 = b.getAffineDimExpr(0);
129   auto sum = d0 + d0.floorDiv(-2) * 2;
130   ASSERT_EQ(toString(sum), "d0 + (d0 floordiv -2) * 2");
141   auto d0 = b.getAffineDimExpr(0);
144   AffineExpr expr = (d0 - (d0 + 2)).floorDiv(8) % 8;