47 lines · plain
1// RUN: mlir-opt %s -split-input-file -verify-diagnostics | FileCheck %s2 3// CHECK-LABEL: func private @compoundA()4// CHECK-SAME: #test.cmpnd_a<1, !test.smpla, [5, 6]>5func.func private @compoundA() attributes {foo = #test.cmpnd_a<1, !test.smpla, [5, 6]>}6 7// CHECK: test.result_has_same_type_as_attr #test.attr_with_self_type_param : i32 -> i328%a = test.result_has_same_type_as_attr #test.attr_with_self_type_param : i32 -> i329 10// CHECK: test.result_has_same_type_as_attr #test<attr_with_type_builder 10 : i16> : i16 -> i1611%b = test.result_has_same_type_as_attr #test<attr_with_type_builder 10 : i16> -> i1612 13// CHECK-LABEL: @qualifiedAttr()14// CHECK-SAME: #test.cmpnd_nested_outer_qual<i #test.cmpnd_nested_inner<42 <1, !test.smpla, [5, 6]>>>15func.func private @qualifiedAttr() attributes {foo = #test.cmpnd_nested_outer_qual<i #test.cmpnd_nested_inner<42 <1, !test.smpla, [5, 6]>>>}16 17// CHECK-LABEL: @overriddenAttr18// CHECK-SAME: foo = 5 : index19func.func private @overriddenAttr() attributes {20 foo = #test.override_builder<5>21}22 23// CHECK-LABEL: @decimalIntegerShapeEmpty24// CHECK-SAME: foo = #test.decimal_shape<>25func.func private @decimalIntegerShapeEmpty() attributes {26 foo = #test.decimal_shape<>27}28 29// CHECK-LABEL: @decimalIntegerShape30// CHECK-SAME: foo = #test.decimal_shape<5>31func.func private @decimalIntegerShape() attributes {32 foo = #test.decimal_shape<5>33}34 35// CHECK-LABEL: @decimalIntegerShapeMultiple36// CHECK-SAME: foo = #test.decimal_shape<0x3x7>37func.func private @decimalIntegerShapeMultiple() attributes {38 foo = #test.decimal_shape<0x3x7>39}40 41// -----42 43func.func private @hexdecimalInteger() attributes {44// expected-error @below {{expected an integer}}45 sdg = #test.decimal_shape<1x0xb>46}47