// RUN: %dxc -spirv -fspv-target-env=vulkan1.3 -T cs_6_5 -enable-16bit-types %s

RWStructuredBuffer<float> Out : register(u3);

[numthreads(1,1,1)]
void main() {
  Out[14] = dot2add(half2(65504, 1), half2(1, 65504), float(0));
  Out[15] = dot2add(half2(1, -65504), half2(-65504, 1), float(-10000000));
}