mlir/test/IR/affine-walk.mlir

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