float3 data type in the C code generated by TVM

Question

I have a C code which is generated by TVM with llvm x86 as a target platform. In this C code there are some data types like float3, float4 and