70 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 --split-input-file --spirv-save-validation-files-with-prefix=%t/module %s %}6// RUN: %if spirv-tools %{ spirv-val %t %}7 8spirv.module Physical64 OpenCL requires #spirv.vce<v1.0, [Kernel, Addresses, Vector16, Linkage], []> {9 spirv.func @float_insts(%arg0 : f32) "None" {10 // CHECK: {{%.*}} = spirv.CL.exp {{%.*}} : f3211 %0 = spirv.CL.exp %arg0 : f3212 // CHECK: {{%.*}} = spirv.CL.fabs {{%.*}} : f3213 %1 = spirv.CL.fabs %arg0 : f3214 // CHECK: {{%.*}} = spirv.CL.sin {{%.*}} : f3215 %2 = spirv.CL.sin %arg0 : f3216 // CHECK: {{%.*}} = spirv.CL.cos {{%.*}} : f3217 %3 = spirv.CL.cos %arg0 : f3218 // CHECK: {{%.*}} = spirv.CL.log {{%.*}} : f3219 %4 = spirv.CL.log %arg0 : f3220 // CHECK: {{%.*}} = spirv.CL.sqrt {{%.*}} : f3221 %5 = spirv.CL.sqrt %arg0 : f3222 // CHECK: {{%.*}} = spirv.CL.ceil {{%.*}} : f3223 %6 = spirv.CL.ceil %arg0 : f3224 // CHECK: {{%.*}} = spirv.CL.floor {{%.*}} : f3225 %7 = spirv.CL.floor %arg0 : f3226 // CHECK: {{%.*}} = spirv.CL.pow {{%.*}}, {{%.*}} : f3227 %8 = spirv.CL.pow %arg0, %arg0 : f3228 // CHECK: {{%.*}} = spirv.CL.rsqrt {{%.*}} : f3229 %9 = spirv.CL.rsqrt %arg0 : f3230 // CHECK: {{%.*}} = spirv.CL.erf {{%.*}} : f3231 %10 = spirv.CL.erf %arg0 : f3232 spirv.Return33 }34 35 spirv.func @integer_insts(%arg0 : i32) "None" {36 // CHECK: {{%.*}} = spirv.CL.s_abs {{%.*}} : i3237 %0 = spirv.CL.s_abs %arg0 : i3238 spirv.Return39 }40 41 spirv.func @vector_size16(%arg0 : vector<16xf32>) "None" {42 // CHECK: {{%.*}} = spirv.CL.fabs {{%.*}} : vector<16xf32>43 %0 = spirv.CL.fabs %arg0 : vector<16xf32>44 spirv.Return45 }46 47 spirv.func @fma(%arg0 : f32, %arg1 : f32, %arg2 : f32) "None" {48 // CHECK: spirv.CL.fma {{%[^,]*}}, {{%[^,]*}}, {{%[^,]*}} : f3249 %13 = spirv.CL.fma %arg0, %arg1, %arg2 : f3250 spirv.Return51 }52 53 spirv.func @maxmin(%arg0 : f32, %arg1 : f32, %arg2 : i32, %arg3 : i32) "None" {54 // CHECK: {{%.*}} = spirv.CL.fmax {{%.*}}, {{%.*}} : f3255 %1 = spirv.CL.fmax %arg0, %arg1 : f3256 // CHECK: {{%.*}} = spirv.CL.s_max {{%.*}}, {{%.*}} : i3257 %2 = spirv.CL.s_max %arg2, %arg3 : i3258 // CHECK: {{%.*}} = spirv.CL.u_max {{%.*}}, {{%.*}} : i3259 %3 = spirv.CL.u_max %arg2, %arg3 : i3260 61 // CHECK: {{%.*}} = spirv.CL.fmin {{%.*}}, {{%.*}} : f3262 %4 = spirv.CL.fmin %arg0, %arg1 : f3263 // CHECK: {{%.*}} = spirv.CL.s_min {{%.*}}, {{%.*}} : i3264 %5 = spirv.CL.s_min %arg2, %arg3 : i3265 // CHECK: {{%.*}} = spirv.CL.u_min {{%.*}}, {{%.*}} : i3266 %6 = spirv.CL.u_min %arg2, %arg3 : i3267 spirv.Return68 }69}70