207
|
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)
|