72 lines · plain
1// RUN: mlir-translate -no-implicit-module -test-spirv-roundtrip %s | FileCheck %s2 3// RUN: %if spirv-tools %{ rm -rf %t %}4// RUN: %if spirv-tools %{ mkdir %t %}5// RUN: %if spirv-tools %{ mlir-translate --no-implicit-module --serialize-spirv --spirv-save-validation-files-with-prefix=%t/module %s %}6// RUN: %if spirv-tools %{ spirv-val %t %}7 8spirv.module Logical GLSL450 requires #spirv.vce<v1.0, [Shader, Linkage, TensorsARM, Int64], [SPV_ARM_tensors]> {9 // CHECK: spirv.func @shaped_int_arm_tensor(%arg0: !spirv.arm.tensor<2xi32>) "None" {10 spirv.func @shaped_int_arm_tensor(%arg0 : !spirv.arm.tensor<2xi32>) "None" {11 spirv.Return12 }13 14// -----15 16 // CHECK: spirv.func @shaped_rank2_int_arm_tensor(%arg0: !spirv.arm.tensor<2x3xi32>) "None" {17 spirv.func @shaped_rank2_int_arm_tensor(%arg0 : !spirv.arm.tensor<2x3xi32>) "None" {18 spirv.Return19 }20 21// -----22 23 // CHECK: spirv.func @ui64_arm_tensor_const() -> !spirv.arm.tensor<3xi64> "None" {24 spirv.func @ui64_arm_tensor_const() -> !spirv.arm.tensor<3xui64> "None" {25 // CHECK: spirv.Constant dense<[5, 6, 7]> : !spirv.arm.tensor<3xi64>26 %0 = spirv.Constant dense<[5, 6, 7]> : !spirv.arm.tensor<3xui64>27 28 spirv.ReturnValue %0: !spirv.arm.tensor<3xui64>29 }30 31// -----32 33 // CHECK: spirv.func @si32_arm_tensor_const() -> !spirv.arm.tensor<3xsi32> "None" {34 spirv.func @si32_arm_tensor_const() -> !spirv.arm.tensor<3xsi32> "None" {35 // CHECK: spirv.Constant dense<[5, 6, 7]> : !spirv.arm.tensor<3xsi32>36 %0 = spirv.Constant dense<[5, 6, 7]> : !spirv.arm.tensor<3xsi32>37 38 spirv.ReturnValue %0 : !spirv.arm.tensor<3xsi32>39 }40 41// -----42 43 // CHECK: spirv.func @float_arm_tensor_const() -> !spirv.arm.tensor<3xf32> "None" {44 spirv.func @float_arm_tensor_const() -> !spirv.arm.tensor<3xf32> "None" {45 // CHECK: spirv.Constant dense<[3.000000e+00, 4.000000e+00, 5.000000e+00]> : !spirv.arm.tensor<3xf32>46 %0 = spirv.Constant dense<[3., 4., 5.]> : !spirv.arm.tensor<3xf32>47 48 spirv.ReturnValue %0 : !spirv.arm.tensor<3xf32>49 }50 51// -----52 53 // CHECK: spirv.func @unranked_int_arm_tensor(%arg0: !spirv.arm.tensor<*xi32>) "None" {54 spirv.func @unranked_int_arm_tensor(%arg0 : !spirv.arm.tensor<*xi32>) "None" {55 spirv.Return56 }57 58// -----59 60 // CHECK: spirv.func @unshaped_int_arm_tensor(%arg0: !spirv.arm.tensor<?xi32>) "None" {61 spirv.func @unshaped_int_arm_tensor(%arg0 : !spirv.arm.tensor<?xi32>) "None" {62 spirv.Return63 }64 65// -----66 67 // CHECK: spirv.func @unshaped_int_arm_tensor_2(%arg0: !spirv.arm.tensor<?x?xi32>) "None" {68 spirv.func @unshaped_int_arm_tensor_2(%arg0 : !spirv.arm.tensor<?x?xi32>) "None" {69 spirv.Return70 }71}72