37 lines · plain
1// RUN: mlir-opt %s -allow-unregistered-dialect | mlir-opt -allow-unregistered-dialect2 3//===----------------------------------------------------------------------===//4// UnrealizedConversionCastOp5//===----------------------------------------------------------------------===//6 7%operand = "foo.op"() : () -> !foo.type8%tuple_operand = "foo.op"() : () -> !foo.tuple_type<!foo.type, !foo.type>9 10// An unrealized 0-1 conversion.11%result = unrealized_conversion_cast to !bar.tuple_type<>12 13// An unrealized 1-1 conversion.14%result1 = unrealized_conversion_cast %operand : !foo.type to !bar.lowered_type15 16// An unrealized 1-N conversion.17%results2:2 = unrealized_conversion_cast %tuple_operand : !foo.tuple_type<!foo.type, !foo.type> to !foo.type, !foo.type18 19// An unrealized N-1 conversion.20%result3 = unrealized_conversion_cast %operand, %operand : !foo.type, !foo.type to !bar.tuple_type<!foo.type, !foo.type>21 22//===----------------------------------------------------------------------===//23// VectorType24//===----------------------------------------------------------------------===//25 26// A basic 1D scalable vector27%scalable_vector_1d = "foo.op"() : () -> vector<[4]xi32>28 29// A 2D scalable vector30%scalable_vector_2d = "foo.op"() : () -> vector<[2]x[2]xf64>31 32// A 2D scalable vector with fixed-length dimensions33%scalable_vector_2d_mixed = "foo.op"() : () -> vector<2x[4]xbf16>34 35// A multi-dimensional vector with mixed scalable and fixed-length dimensions36%scalable_vector_multi_mixed = "foo.op"() : () -> vector<2x2x[4]x[4]xi8>37