Lines Matching refs:floordiv
140 d3 - (d5 + 97*d0) floordiv 423 >= 0,
141 234* (d0 + d3 mod 5 floordiv 2342) mod 2309
142 + (d0 + 2038*d3) floordiv 208 >= 0,
143 239* (d0 + 2300 * d3) floordiv 2342
146 mod 2038 mod 2390 mod 2039 floordiv 55 >= 0
252 affine.if affine_set<(d0, d1) : (d0 mod 2 - 1 == 0, d0 - 2 * (d0 floordiv 2) == 0)>(%a, %b) {
286 // CHECK-DAG: #[[$map0:.*]] = affine_map<()[s0, s1] -> (-(s1 floordiv s0) + 2)>
287 // CHECK-DAG: #[[$map1:.*]] = affine_map<()[s0, s1] -> (-(s1 floordiv s0) + 42)>
289 // Tests the simplification of a semi-affine expression with a modulo operation on a floordiv and m…
292 …%a = affine.apply affine_map<(d0)[s0] ->((-((d0 floordiv s0) * s0) + s0 * s0) mod s0)> (%arg0)[%ar…
297 // Tests the simplification of a semi-affine expression with a nested floordiv and a floordiv on mo…
300 …%a = affine.apply affine_map<(d0)[s0] ->((-((d0 floordiv s0) * s0) + ((2 * s0) mod (3 * s0))) floo…
308 …%a = affine.apply affine_map<(d0)[s0] ->((-((d0 floordiv s0) * s0) + s0 * 42 + ((5-5) floordiv s0)…