// RUN: mlir-opt -test-affine-walk -verify-diagnostics %s

// Test affine walk interrupt. A remark should be printed only for the first mod
// expression encountered in post order.

#map = affine_map<(i, j) -> ((i mod 4) mod 2, j)>

"test.check_first_mod"() {"map" = #map} : () -> ()
// expected-remark@-1 {{mod expression}}

#map_rhs_mod = affine_map<(i, j) -> (i + i mod 2, j)>

"test.check_first_mod"() {"map" = #map_rhs_mod} : () -> ()
// expected-remark@-1 {{mod expression}}