diff --git a/src/compiler/libcl/stdint.h b/src/compiler/libcl/stdint.h
index 677b10d3833..9bdbb1685de 100644
--- a/src/compiler/libcl/stdint.h
+++ b/src/compiler/libcl/stdint.h
@@ -39,7 +39,10 @@ typedef uint64_t uintmax_t;
 #define INT32_MIN (-2147483648)
 #define INT64_MIN (-9223372036854775807l - 1)
 
+#define UINT8_MAX 255
 #define INT8_MAX 127
+#define UINT16_MAX 65535
 #define INT16_MAX 32767
+#define UINT32_MAX 4294967295U
 #define INT32_MAX 2147483647
 #define INT64_MAX 9223372036854775807l