76 lines · plain
1; RUN: llc -O0 -mtriple=spirv-unknown-unknown %s -o - | FileCheck %s2; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv-unknown-unknown %s -o - -filetype=obj | spirv-val %}3 4; Make sure dxil operation function calls for dot are generated for float type vectors.5 6; CHECK-DAG: %[[#float_16:]] = OpTypeFloat 167; CHECK-DAG: %[[#vec2_float_16:]] = OpTypeVector %[[#float_16]] 28; CHECK-DAG: %[[#vec3_float_16:]] = OpTypeVector %[[#float_16]] 39; CHECK-DAG: %[[#vec4_float_16:]] = OpTypeVector %[[#float_16]] 410; CHECK-DAG: %[[#float_32:]] = OpTypeFloat 3211; CHECK-DAG: %[[#vec2_float_32:]] = OpTypeVector %[[#float_32]] 212; CHECK-DAG: %[[#vec3_float_32:]] = OpTypeVector %[[#float_32]] 313; CHECK-DAG: %[[#vec4_float_32:]] = OpTypeVector %[[#float_32]] 414 15 16define noundef half @dot_half2(<2 x half> noundef %a, <2 x half> noundef %b) {17entry:18; CHECK: %[[#arg0:]] = OpFunctionParameter %[[#vec2_float_16]]19; CHECK: %[[#arg1:]] = OpFunctionParameter %[[#vec2_float_16]]20; CHECK: OpDot %[[#float_16]] %[[#arg0:]] %[[#arg1:]]21 %dx.dot = call half @llvm.spv.fdot.v2f16(<2 x half> %a, <2 x half> %b)22 ret half %dx.dot23}24 25define noundef half @dot_half3(<3 x half> noundef %a, <3 x half> noundef %b) {26entry:27; CHECK: %[[#arg0:]] = OpFunctionParameter %[[#vec3_float_16]]28; CHECK: %[[#arg1:]] = OpFunctionParameter %[[#vec3_float_16]]29; CHECK: OpDot %[[#float_16]] %[[#arg0:]] %[[#arg1:]]30 %dx.dot = call half @llvm.spv.fdot.v3f16(<3 x half> %a, <3 x half> %b)31 ret half %dx.dot32}33 34define noundef half @dot_half4(<4 x half> noundef %a, <4 x half> noundef %b) {35entry:36; CHECK: %[[#arg0:]] = OpFunctionParameter %[[#vec4_float_16]]37; CHECK: %[[#arg1:]] = OpFunctionParameter %[[#vec4_float_16]]38; CHECK: OpDot %[[#float_16]] %[[#arg0:]] %[[#arg1:]]39 %dx.dot = call half @llvm.spv.fdot.v4f16(<4 x half> %a, <4 x half> %b)40 ret half %dx.dot41}42 43define noundef float @dot_float2(<2 x float> noundef %a, <2 x float> noundef %b) {44entry:45; CHECK: %[[#arg0:]] = OpFunctionParameter %[[#vec2_float_32]]46; CHECK: %[[#arg1:]] = OpFunctionParameter %[[#vec2_float_32]]47; CHECK: OpDot %[[#float_32]] %[[#arg0:]] %[[#arg1:]]48 %dx.dot = call float @llvm.spv.fdot.v2f32(<2 x float> %a, <2 x float> %b)49 ret float %dx.dot50}51 52define noundef float @dot_float3(<3 x float> noundef %a, <3 x float> noundef %b) {53entry:54; CHECK: %[[#arg0:]] = OpFunctionParameter %[[#vec3_float_32]]55; CHECK: %[[#arg1:]] = OpFunctionParameter %[[#vec3_float_32]]56; CHECK: OpDot %[[#float_32]] %[[#arg0:]] %[[#arg1:]]57 %dx.dot = call float @llvm.spv.fdot.v3f32(<3 x float> %a, <3 x float> %b)58 ret float %dx.dot59}60 61define noundef float @dot_float4(<4 x float> noundef %a, <4 x float> noundef %b) {62entry:63; CHECK: %[[#arg0:]] = OpFunctionParameter %[[#vec4_float_32]]64; CHECK: %[[#arg1:]] = OpFunctionParameter %[[#vec4_float_32]]65; CHECK: OpDot %[[#float_32]] %[[#arg0:]] %[[#arg1:]]66 %dx.dot = call float @llvm.spv.fdot.v4f32(<4 x float> %a, <4 x float> %b)67 ret float %dx.dot68}69 70declare half @llvm.spv.fdot.v2f16(<2 x half> , <2 x half> )71declare half @llvm.spv.fdot.v3f16(<3 x half> , <3 x half> )72declare half @llvm.spv.fdot.v4f16(<4 x half> , <4 x half> )73declare float @llvm.spv.fdot.v2f32(<2 x float>, <2 x float>)74declare float @llvm.spv.fdot.v3f32(<3 x float>, <3 x float>)75declare float @llvm.spv.fdot.v4f32(<4 x float>, <4 x float>)76