llvm-project

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