15 lines · plain
1// RUN: mlir-opt -test-type-interfaces -allow-unregistered-dialect -verify-diagnostics %s2 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' - 42 - Int TestC}}7// expected-remark@below {{'!test.test_type' - 3.140000e+00 - Float TestC}}8// expected-remark@below {{'!test.test_type' - TestD}}9// expected-remark@below {{'!test.test_type' - TestRet}}10// expected-remark@below {{'!test.test_type' - TestE}}11%foo0 = "foo.test"() : () -> (!test.test_type)12 13// Type without the test interface.14%foo1 = "foo.test"() : () -> (i32)15