Lines Matching full:floordiv
22 FloorDiv,
57 # if there are negative terms in ModularIndexing base, we cannot replace it with FloorDiv
65 sizevars.simplify_with_ranges(FloorDiv(r3 + i2 + i1, 32), var_ranges),
66 FloorDiv(r3 + i2 + i1, 32),
74 self.assertEqual(FloorDiv(r3 * i0, r3), i0)
102 self.assertEqual(FloorDiv(i0 * 4, 2), i0 * 2)
112 expected = FloorDiv(ModularIndexing(i2, 1, 28), 7)
159 # works for ModularIndexing + FloorDiv
160 expr5 = 197 * FloorDiv(i0, 197) + ModularIndexing(i0, 1, 197)
172 expr6 = 197 * FloorDiv(i0, 197 * 3) + ModularIndexing(i0, 3, 197)
174 self.assertEqual(simplified, FloorDiv(i0, 3))
207 expr = FloorDiv(x, 2) + FloorDiv(y, 3)
209 # FloorDiv. We return False in that case
217 expr = x * 5 + FloorDiv(y, 3)
220 expected = FloorDiv(x * 15 + y, 3)
221 self.assertEqual(expected, FloorDiv(actual, denominator))
332 expr = FloorDiv(s1, s2)
341 expr = FloorDiv(s1, s2)