"-fno-builtin " \
"-Dcl_clang_storage_class_specifiers " \
"%s " \
- "-Dcles_khr_int64 " \
"-D__CLC_INTERNAL " \
"-emit-llvm" % (target, clang_cl_includes, device_defines)
if device['gpu'] != '':
int64_count = int64_count +1
elif dst in float64_types:
float64_count = float64_count + 1
- if float64_count > 0 and int64_count > 0:
- print("#if defined(cl_khr_fp64) && defined(cles_khr_int64)")
- return True
- elif float64_count > 0:
+ if float64_count > 0:
+ #In embedded profile, if cl_khr_fp64 is supported cles_khr_int64 has to be
print("#ifdef cl_khr_fp64")
return True
elif int64_count > 0:
- print("#ifdef cles_khr_int64")
+ print("#if defined cles_khr_int64 || !defined(__EMBEDDED_PROFILE__)")
return True
return False
#ifdef cl_khr_fp64
#pragma OPENCL EXTENSION cl_khr_fp64 : enable
+
+#if defined(__EMBEDDED_PROFILE__) && !defined(cles_khr_int64)
+#error Embedded profile that supports cl_khr_fp64 also has to support cles_khr_int64
+#endif
+
+#endif
+
+#ifdef cles_khr_int64
+#pragma OPENCL EXTENSION cles_khr_int64 : enable
#endif
""")