1 // RUN: mlir-opt -test-derived-attr -verify-diagnostics %s | FileCheck %s
3 // CHECK-LABEL: verifyDerivedAttributes
4 func.func @verifyDerivedAttributes() {
5 // expected-remark @+2 {{element_dtype = f32}}
6 // expected-remark @+1 {{num_elements = 10}}
7 %0 = "test.derived_type_attr"() : () -> tensor<10xf32>
9 // expected-remark @+2 {{element_dtype = i79}}
10 // expected-remark @+1 {{num_elements = 12}}
11 %1 = "test.derived_type_attr"() : () -> tensor<12xi79>
13 // expected-remark @+2 {{element_dtype = complex<f32>}}
14 // expected-remark @+1 {{num_elements = 12}}
15 %2 = "test.derived_type_attr"() : () -> tensor<12xcomplex<f32>>