| // 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}} |