1// RUN: mlir-opt -test-affine-walk -verify-diagnostics %s 2 3// Test affine walk interrupt. A remark should be printed only for the first mod 4// expression encountered in post order. 5 6#map = affine_map<(i, j) -> ((i mod 4) mod 2, j)> 7 8"test.check_first_mod"() {"map" = #map} : () -> () 9// expected-remark@-1 {{mod expression}} 10 11#map_rhs_mod = affine_map<(i, j) -> (i + i mod 2, j)> 12 13"test.check_first_mod"() {"map" = #map_rhs_mod} : () -> () 14// expected-remark@-1 {{mod expression}} 15