check.h 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258
  1. /* Check (assertions)
  2. * Portable Snippets - https://gitub.com/nemequ/portable-snippets
  3. * Created by Evan Nemerson <[email protected]>
  4. *
  5. * To the extent possible under law, the authors have waived all
  6. * copyright and related or neighboring rights to this code. For
  7. * details, see the Creative Commons Zero 1.0 Universal license at
  8. * https://creativecommons.org/publicdomain/zero/1.0/
  9. */
  10. #if !defined(SIMDE_CHECK_H)
  11. #define SIMDE_CHECK_H
  12. #if !defined(SIMDE_NDEBUG) && !defined(SIMDE_DEBUG)
  13. #define SIMDE_NDEBUG 1
  14. #endif
  15. #include <stdint.h>
  16. #if !defined(_WIN32)
  17. #define SIMDE_SIZE_MODIFIER "z"
  18. #define SIMDE_CHAR_MODIFIER "hh"
  19. #define SIMDE_SHORT_MODIFIER "h"
  20. #else
  21. #if defined(_M_X64) || defined(__amd64__)
  22. #define SIMDE_SIZE_MODIFIER "I64"
  23. #else
  24. #define SIMDE_SIZE_MODIFIER ""
  25. #endif
  26. #define SIMDE_CHAR_MODIFIER ""
  27. #define SIMDE_SHORT_MODIFIER ""
  28. #endif
  29. #if defined(_MSC_VER) && (_MSC_VER >= 1500)
  30. #define SIMDE__PUSH_DISABLE_MSVC_C4127 \
  31. __pragma(warning(push)) __pragma(warning(disable : 4127))
  32. #define SIMDE__POP_DISABLE_MSVC_C4127 __pragma(warning(pop))
  33. #else
  34. #define SIMDE__PUSH_DISABLE_MSVC_C4127
  35. #define SIMDE__POP_DISABLE_MSVC_C4127
  36. #endif
  37. #if !defined(simde_errorf)
  38. #include <stdio.h>
  39. #include <stdlib.h>
  40. #define simde_errorf(format, ...) \
  41. (fprintf(stderr, format, __VA_ARGS__), abort())
  42. #endif
  43. #define simde_error(msg) simde_errorf("%s", msg)
  44. #if defined(SIMDE_NDEBUG)
  45. #if defined(SIMDE_CHECK_FAIL_DEFINED)
  46. #define simde_assert(expr)
  47. #else
  48. #if defined(HEDLEY_ASSUME)
  49. #define simde_assert(expr) HEDLEY_ASSUME(expr)
  50. #elif HEDLEY_GCC_VERSION_CHECK(4, 5, 0)
  51. #define simde_assert(expr) ((void)(!!(expr) ? 1 : (__builtin_unreachable(), 1)))
  52. #elif HEDLEY_MSVC_VERSION_CHECK(13, 10, 0)
  53. #define simde_assert(expr) __assume(expr)
  54. #else
  55. #define simde_assert(expr)
  56. #endif
  57. #endif
  58. #define simde_assert_true(expr) simde_assert(expr)
  59. #define simde_assert_false(expr) simde_assert(!(expr))
  60. #define simde_assert_type_full(prefix, suffix, T, fmt, a, op, b) \
  61. simde_assert(((a)op(b)))
  62. #define simde_assert_double_equal(a, b, precision)
  63. #define simde_assert_string_equal(a, b)
  64. #define simde_assert_string_not_equal(a, b)
  65. #define simde_assert_memory_equal(size, a, b)
  66. #define simde_assert_memory_not_equal(size, a, b)
  67. #else
  68. #define simde_assert(expr) \
  69. do { \
  70. if (!HEDLEY_LIKELY(expr)) { \
  71. simde_error("assertion failed: " #expr "\n"); \
  72. } \
  73. SIMDE__PUSH_DISABLE_MSVC_C4127 \
  74. } while (0) SIMDE__POP_DISABLE_MSVC_C4127
  75. #define simde_assert_true(expr) \
  76. do { \
  77. if (!HEDLEY_LIKELY(expr)) { \
  78. simde_error("assertion failed: " #expr \
  79. " is not true\n"); \
  80. } \
  81. SIMDE__PUSH_DISABLE_MSVC_C4127 \
  82. } while (0) SIMDE__POP_DISABLE_MSVC_C4127
  83. #define simde_assert_false(expr) \
  84. do { \
  85. if (!HEDLEY_LIKELY(!(expr))) { \
  86. simde_error("assertion failed: " #expr \
  87. " is not false\n"); \
  88. } \
  89. SIMDE__PUSH_DISABLE_MSVC_C4127 \
  90. } while (0) SIMDE__POP_DISABLE_MSVC_C4127
  91. #define simde_assert_type_full(prefix, suffix, T, fmt, a, op, b) \
  92. do { \
  93. T simde_tmp_a_ = (a); \
  94. T simde_tmp_b_ = (b); \
  95. if (!(simde_tmp_a_ op simde_tmp_b_)) { \
  96. simde_errorf("assertion failed: %s %s %s (" prefix \
  97. "%" fmt suffix " %s " prefix \
  98. "%" fmt suffix ")\n", \
  99. #a, #op, #b, simde_tmp_a_, #op, \
  100. simde_tmp_b_); \
  101. } \
  102. SIMDE__PUSH_DISABLE_MSVC_C4127 \
  103. } while (0) SIMDE__POP_DISABLE_MSVC_C4127
  104. #define simde_assert_double_equal(a, b, precision) \
  105. do { \
  106. const double simde_tmp_a_ = (a); \
  107. const double simde_tmp_b_ = (b); \
  108. const double simde_tmp_diff_ = \
  109. ((simde_tmp_a_ - simde_tmp_b_) < 0) \
  110. ? -(simde_tmp_a_ - simde_tmp_b_) \
  111. : (simde_tmp_a_ - simde_tmp_b_); \
  112. if (HEDLEY_UNLIKELY(simde_tmp_diff_ > 1e-##precision)) { \
  113. simde_errorf( \
  114. "assertion failed: %s == %s (%0." #precision \
  115. "g == %0." #precision "g)\n", \
  116. #a, #b, simde_tmp_a_, simde_tmp_b_); \
  117. } \
  118. SIMDE__PUSH_DISABLE_MSVC_C4127 \
  119. } while (0) SIMDE__POP_DISABLE_MSVC_C4127
  120. #include <string.h>
  121. #define simde_assert_string_equal(a, b) \
  122. do { \
  123. const char *simde_tmp_a_ = a; \
  124. const char *simde_tmp_b_ = b; \
  125. if (HEDLEY_UNLIKELY(strcmp(simde_tmp_a_, simde_tmp_b_) != \
  126. 0)) { \
  127. simde_errorf( \
  128. "assertion failed: string %s == %s (\"%s\" == \"%s\")\n", \
  129. #a, #b, simde_tmp_a_, simde_tmp_b_); \
  130. } \
  131. SIMDE__PUSH_DISABLE_MSVC_C4127 \
  132. } while (0) SIMDE__POP_DISABLE_MSVC_C4127
  133. #define simde_assert_string_not_equal(a, b) \
  134. do { \
  135. const char *simde_tmp_a_ = a; \
  136. const char *simde_tmp_b_ = b; \
  137. if (HEDLEY_UNLIKELY(strcmp(simde_tmp_a_, simde_tmp_b_) == \
  138. 0)) { \
  139. simde_errorf( \
  140. "assertion failed: string %s != %s (\"%s\" == \"%s\")\n", \
  141. #a, #b, simde_tmp_a_, simde_tmp_b_); \
  142. } \
  143. SIMDE__PUSH_DISABLE_MSVC_C4127 \
  144. } while (0) SIMDE__POP_DISABLE_MSVC_C4127
  145. #define simde_assert_memory_equal(size, a, b) \
  146. do { \
  147. const unsigned char *simde_tmp_a_ = \
  148. (const unsigned char *)(a); \
  149. const unsigned char *simde_tmp_b_ = \
  150. (const unsigned char *)(b); \
  151. const size_t simde_tmp_size_ = (size); \
  152. if (HEDLEY_UNLIKELY(memcmp(simde_tmp_a_, simde_tmp_b_, \
  153. simde_tmp_size_)) != 0) { \
  154. size_t simde_tmp_pos_; \
  155. for (simde_tmp_pos_ = 0; \
  156. simde_tmp_pos_ < simde_tmp_size_; \
  157. simde_tmp_pos_++) { \
  158. if (simde_tmp_a_[simde_tmp_pos_] != \
  159. simde_tmp_b_[simde_tmp_pos_]) { \
  160. simde_errorf( \
  161. "assertion failed: memory %s == %s, at offset %" SIMDE_SIZE_MODIFIER \
  162. "u\n", \
  163. #a, #b, simde_tmp_pos_); \
  164. break; \
  165. } \
  166. } \
  167. } \
  168. SIMDE__PUSH_DISABLE_MSVC_C4127 \
  169. } while (0) SIMDE__POP_DISABLE_MSVC_C4127
  170. #define simde_assert_memory_not_equal(size, a, b) \
  171. do { \
  172. const unsigned char *simde_tmp_a_ = \
  173. (const unsigned char *)(a); \
  174. const unsigned char *simde_tmp_b_ = \
  175. (const unsigned char *)(b); \
  176. const size_t simde_tmp_size_ = (size); \
  177. if (HEDLEY_UNLIKELY(memcmp(simde_tmp_a_, simde_tmp_b_, \
  178. simde_tmp_size_)) == 0) { \
  179. simde_errorf( \
  180. "assertion failed: memory %s != %s (%" SIMDE_SIZE_MODIFIER \
  181. "u bytes)\n", \
  182. #a, #b, simde_tmp_size_); \
  183. } \
  184. SIMDE__PUSH_DISABLE_MSVC_C4127 \
  185. } while (0) SIMDE__POP_DISABLE_MSVC_C4127
  186. #endif
  187. #define simde_assert_type(T, fmt, a, op, b) \
  188. simde_assert_type_full("", "", T, fmt, a, op, b)
  189. #define simde_assert_char(a, op, b) \
  190. simde_assert_type_full("'\\x", "'", char, \
  191. "02" SIMDE_CHAR_MODIFIER "x", a, op, b)
  192. #define simde_assert_uchar(a, op, b) \
  193. simde_assert_type_full("'\\x", "'", unsigned char, \
  194. "02" SIMDE_CHAR_MODIFIER "x", a, op, b)
  195. #define simde_assert_short(a, op, b) \
  196. simde_assert_type(short, SIMDE_SHORT_MODIFIER "d", a, op, b)
  197. #define simde_assert_ushort(a, op, b) \
  198. simde_assert_type(unsigned short, SIMDE_SHORT_MODIFIER "u", a, op, b)
  199. #define simde_assert_int(a, op, b) simde_assert_type(int, "d", a, op, b)
  200. #define simde_assert_uint(a, op, b) \
  201. simde_assert_type(unsigned int, "u", a, op, b)
  202. #define simde_assert_long(a, op, b) simde_assert_type(long int, "ld", a, op, b)
  203. #define simde_assert_ulong(a, op, b) \
  204. simde_assert_type(unsigned long int, "lu", a, op, b)
  205. #define simde_assert_llong(a, op, b) \
  206. simde_assert_type(long long int, "lld", a, op, b)
  207. #define simde_assert_ullong(a, op, b) \
  208. simde_assert_type(unsigned long long int, "llu", a, op, b)
  209. #define simde_assert_size(a, op, b) \
  210. simde_assert_type(size_t, SIMDE_SIZE_MODIFIER "u", a, op, b)
  211. #define simde_assert_float(a, op, b) simde_assert_type(float, "f", a, op, b)
  212. #define simde_assert_double(a, op, b) simde_assert_type(double, "g", a, op, b)
  213. #define simde_assert_ptr(a, op, b) \
  214. simde_assert_type(const void *, "p", a, op, b)
  215. #define simde_assert_int8(a, op, b) simde_assert_type(int8_t, PRIi8, a, op, b)
  216. #define simde_assert_uint8(a, op, b) simde_assert_type(uint8_t, PRIu8, a, op, b)
  217. #define simde_assert_int16(a, op, b) \
  218. simde_assert_type(int16_t, PRIi16, a, op, b)
  219. #define simde_assert_uint16(a, op, b) \
  220. simde_assert_type(uint16_t, PRIu16, a, op, b)
  221. #define simde_assert_int32(a, op, b) \
  222. simde_assert_type(int32_t, PRIi32, a, op, b)
  223. #define simde_assert_uint32(a, op, b) \
  224. simde_assert_type(uint32_t, PRIu32, a, op, b)
  225. #define simde_assert_int64(a, op, b) \
  226. simde_assert_type(int64_t, PRIi64, a, op, b)
  227. #define simde_assert_uint64(a, op, b) \
  228. simde_assert_type(uint64_t, PRIu64, a, op, b)
  229. #define simde_assert_ptr_equal(a, b) simde_assert_ptr(a, ==, b)
  230. #define simde_assert_ptr_not_equal(a, b) simde_assert_ptr(a, !=, b)
  231. #define simde_assert_null(ptr) simde_assert_ptr(ptr, ==, NULL)
  232. #define simde_assert_not_null(ptr) simde_assert_ptr(ptr, !=, NULL)
  233. #define simde_assert_ptr_null(ptr) simde_assert_ptr(ptr, ==, NULL)
  234. #define simde_assert_ptr_not_null(ptr) simde_assert_ptr(ptr, !=, NULL)
  235. #endif /* !defined(SIMDE_CHECK_H) */