[SYCL] Use encoding in SPIR-V for subgroup methods.

Also the following changes applied:
 - enable vector types for shuffle functions;
 - fixed multiple type definition issue;
 - fixed builtin signatures to fit GPU requirements;
 - improved LIT tests covering subgroup feature;
 - added check for global adress space of pointers used in
   load/store methods;
 - added input types verification for template methods.

Signed-off-by: Vladimir Lazarev <[email protected]>

Author: vladimirlaz

sycl/include/CL/__spirv/spirv_ops.hpp

@@ -110,6 +110,54 @@ __SPIRV_ATOMICS(__SPIRV_ATOMIC_UNSIGNED, unsigned long long)
 __SPIRV_ATOMICS(__SPIRV_ATOMIC_MINMAX, Min)
 __SPIRV_ATOMICS(__SPIRV_ATOMIC_MINMAX, Max)
 
+extern bool OpGroupAll(int32_t Scope, bool Predicate) noexcept;
+
+extern bool OpGroupAny(int32_t Scope, bool Predicate) noexcept;
+
+template <typename dataT>
+extern dataT OpGroupBroadcast(int32_t Scope, dataT Value,
+                              uint32_t LocalId) noexcept;
+
+template <typename dataT>
+extern dataT OpGroupIAdd(int32_t Scope, int32_t Op, dataT Value) noexcept;
+template <typename dataT>
+extern dataT OpGroupFAdd(int32_t Scope, int32_t Op, dataT Value) noexcept;
+template <typename dataT>
+extern dataT OpGroupUMin(int32_t Scope, int32_t Op, dataT Value) noexcept;
+template <typename dataT>
+extern dataT OpGroupSMin(int32_t Scope, int32_t Op, dataT Value) noexcept;
+template <typename dataT>
+extern dataT OpGroupFMin(int32_t Scope, int32_t Op, dataT Value) noexcept;
+template <typename dataT>
+extern dataT OpGroupUMax(int32_t Scope, int32_t Op, dataT Value) noexcept;
+template <typename dataT>
+extern dataT OpGroupSMax(int32_t Scope, int32_t Op, dataT Value) noexcept;
+template <typename dataT>
+extern dataT OpGroupFMax(int32_t Scope, int32_t Op, dataT Value) noexcept;
+template <typename dataT>
+extern dataT OpSubgroupShuffleINTEL(dataT Data, uint32_t InvocationId) noexcept;
+template <typename dataT>
+extern dataT OpSubgroupShuffleDownINTEL(dataT Current, dataT Next,
+                                        uint32_t Delta) noexcept;
+template <typename dataT>
+extern dataT OpSubgroupShuffleUpINTEL(dataT Previous, dataT Current,
+                                      uint32_t Delta) noexcept;
+template <typename dataT>
+extern dataT OpSubgroupShuffleXorINTEL(dataT Data, uint32_t Value) noexcept;
+
+template <typename dataT>
+extern dataT OpSubgroupBlockReadINTEL(const __global uint16_t *Ptr) noexcept;
+
+template <typename dataT>
+extern void OpSubgroupBlockWriteINTEL(__global uint16_t *Ptr,
+                                      dataT Data) noexcept;
+
+template <typename dataT>
+extern dataT OpSubgroupBlockReadINTEL(const __global uint32_t *Ptr) noexcept;
+
+template <typename dataT>
+extern void OpSubgroupBlockWriteINTEL(__global uint32_t *Ptr,
+                                      dataT Data) noexcept;
 #else
 
 template <typename dataT>

sycl/include/CL/__spirv/spirv_types.hpp

@@ -44,5 +44,6 @@ enum MemorySemantics {
 // Only in such cases the class is recognized as SPIRV type OpTypeEvent.
 class OpTypeEvent;
 
+enum GroupOperation { Reduce = 0, InclusiveScan = 1, ExclusiveScan = 2 };
 } // namespace __spirv
 } // namespace cl

sycl/include/CL/__spirv/spirv_vars.hpp

@@ -36,6 +36,13 @@ DEFINE_INT_ID_TO_XYZ_CONVERTER(GlobalOffset)
 
 #undef DEFINE_INT_ID_TO_XYZ_CONVERTER
 
+extern const __constant uint32_t VarSubgroupSize;
+extern const __constant uint32_t VarSubgroupMaxSize;
+extern const __constant uint32_t VarNumSubgroups;
+extern const __constant uint32_t VarNumEnqueuedSubgroups;
+extern const __constant uint32_t VarSubgroupId;
+extern const __constant uint32_t VarSubgroupLocalInvocationId;
+
 } // namespace __spirv
 } // namespace cl
 #endif // __SYCL_DEVICE_ONLY__