mlir/test/mlir-tblgen/interfaces.mlir

   1 // RUN: mlir-opt -test-type-interfaces -allow-unregistered-dialect -verify-diagnostics %s
   2
   3 // expected-remark@below {{'!test.test_type' - TestA}}
   4 // expected-remark@below {{'!test.test_type' - TestB}}
   5 // expected-remark@below {{'!test.test_type' - TestC}}
   6 // expected-remark@below {{'!test.test_type' - TestD}}
   7 // expected-remark@below {{'!test.test_type' - TestRet}}
   8 // expected-remark@below {{'!test.test_type' - TestE}}
   9 %foo0 = "foo.test"() : () -> (!test.test_type)
  10
  11 // Type without the test interface.
  12 %foo1 = "foo.test"() : () -> (i32)