checkasm.h 17 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407
  1. /*
  2. * Assembly testing and benchmarking tool
  3. * Copyright (c) 2015 Henrik Gramner
  4. * Copyright (c) 2008 Loren Merritt
  5. *
  6. * This file is part of FFmpeg.
  7. *
  8. * FFmpeg is free software; you can redistribute it and/or modify
  9. * it under the terms of the GNU General Public License as published by
  10. * the Free Software Foundation; either version 2 of the License, or
  11. * (at your option) any later version.
  12. *
  13. * FFmpeg is distributed in the hope that it will be useful,
  14. * but WITHOUT ANY WARRANTY; without even the implied warranty of
  15. * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  16. * GNU General Public License for more details.
  17. *
  18. * You should have received a copy of the GNU General Public License along
  19. * with FFmpeg; if not, write to the Free Software Foundation, Inc.,
  20. * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
  21. */
  22. #ifndef TESTS_CHECKASM_CHECKASM_H
  23. #define TESTS_CHECKASM_CHECKASM_H
  24. #include <stdint.h>
  25. #include "config.h"
  26. #if CONFIG_LINUX_PERF
  27. #include <unistd.h> // read(3)
  28. #include <sys/ioctl.h>
  29. #include <asm/unistd.h>
  30. #include <linux/perf_event.h>
  31. #elif CONFIG_MACOS_KPERF
  32. #include "libavutil/macos_kperf.h"
  33. #endif
  34. #include "libavutil/avstring.h"
  35. #include "libavutil/cpu.h"
  36. #include "libavutil/emms.h"
  37. #include "libavutil/internal.h"
  38. #include "libavutil/lfg.h"
  39. #include "libavutil/timer.h"
  40. #ifdef _WIN32
  41. #include <windows.h>
  42. #if ARCH_X86_32
  43. #include <setjmp.h>
  44. typedef jmp_buf checkasm_context;
  45. #define checkasm_save_context() checkasm_handle_signal(setjmp(checkasm_context_buf))
  46. #define checkasm_load_context(s) longjmp(checkasm_context_buf, s)
  47. #elif WINAPI_FAMILY_PARTITION(WINAPI_PARTITION_DESKTOP)
  48. /* setjmp/longjmp on Windows on architectures using SEH (all except x86_32)
  49. * will try to use SEH to unwind the stack, which doesn't work for assembly
  50. * functions without unwind information. */
  51. typedef struct { CONTEXT c; int status; } checkasm_context;
  52. #define checkasm_save_context() \
  53. (checkasm_context_buf.status = 0, \
  54. RtlCaptureContext(&checkasm_context_buf.c), \
  55. checkasm_handle_signal(checkasm_context_buf.status))
  56. #define checkasm_load_context(s) \
  57. (checkasm_context_buf.status = s, \
  58. RtlRestoreContext(&checkasm_context_buf.c, NULL))
  59. #else
  60. #define checkasm_context void*
  61. #define checkasm_save_context() 0
  62. #define checkasm_load_context() do {} while (0)
  63. #endif
  64. #elif defined(_WASI_EMULATED_SIGNAL)
  65. #define checkasm_context void*
  66. #define checkasm_save_context() 0
  67. #define checkasm_load_context() do {} while (0)
  68. #else
  69. #include <setjmp.h>
  70. typedef sigjmp_buf checkasm_context;
  71. #define checkasm_save_context() checkasm_handle_signal(sigsetjmp(checkasm_context_buf, 1))
  72. #define checkasm_load_context(s) siglongjmp(checkasm_context_buf, s)
  73. #endif
  74. void checkasm_check_aacencdsp(void);
  75. void checkasm_check_aacpsdsp(void);
  76. void checkasm_check_ac3dsp(void);
  77. void checkasm_check_afir(void);
  78. void checkasm_check_alacdsp(void);
  79. void checkasm_check_audiodsp(void);
  80. void checkasm_check_av_tx(void);
  81. void checkasm_check_blend(void);
  82. void checkasm_check_blockdsp(void);
  83. void checkasm_check_bswapdsp(void);
  84. void checkasm_check_colorspace(void);
  85. void checkasm_check_diracdsp(void);
  86. void checkasm_check_exrdsp(void);
  87. void checkasm_check_fdctdsp(void);
  88. void checkasm_check_fixed_dsp(void);
  89. void checkasm_check_flacdsp(void);
  90. void checkasm_check_float_dsp(void);
  91. void checkasm_check_fmtconvert(void);
  92. void checkasm_check_g722dsp(void);
  93. void checkasm_check_h263dsp(void);
  94. void checkasm_check_h264chroma(void);
  95. void checkasm_check_h264dsp(void);
  96. void checkasm_check_h264pred(void);
  97. void checkasm_check_h264qpel(void);
  98. void checkasm_check_hevc_add_res(void);
  99. void checkasm_check_hevc_deblock(void);
  100. void checkasm_check_hevc_idct(void);
  101. void checkasm_check_hevc_pel(void);
  102. void checkasm_check_hevc_sao(void);
  103. void checkasm_check_huffyuvdsp(void);
  104. void checkasm_check_idctdsp(void);
  105. void checkasm_check_jpeg2000dsp(void);
  106. void checkasm_check_llauddsp(void);
  107. void checkasm_check_lls(void);
  108. void checkasm_check_llviddsp(void);
  109. void checkasm_check_llviddspenc(void);
  110. void checkasm_check_lpc(void);
  111. void checkasm_check_motion(void);
  112. void checkasm_check_mpegvideoencdsp(void);
  113. void checkasm_check_nlmeans(void);
  114. void checkasm_check_opusdsp(void);
  115. void checkasm_check_pixblockdsp(void);
  116. void checkasm_check_sbrdsp(void);
  117. void checkasm_check_rv34dsp(void);
  118. void checkasm_check_rv40dsp(void);
  119. void checkasm_check_svq1enc(void);
  120. void checkasm_check_synth_filter(void);
  121. void checkasm_check_sw_gbrp(void);
  122. void checkasm_check_sw_range_convert(void);
  123. void checkasm_check_sw_rgb(void);
  124. void checkasm_check_sw_scale(void);
  125. void checkasm_check_sw_yuv2rgb(void);
  126. void checkasm_check_sw_yuv2yuv(void);
  127. void checkasm_check_takdsp(void);
  128. void checkasm_check_utvideodsp(void);
  129. void checkasm_check_v210dec(void);
  130. void checkasm_check_v210enc(void);
  131. void checkasm_check_vc1dsp(void);
  132. void checkasm_check_vf_bwdif(void);
  133. void checkasm_check_vf_eq(void);
  134. void checkasm_check_vf_gblur(void);
  135. void checkasm_check_vf_hflip(void);
  136. void checkasm_check_vf_threshold(void);
  137. void checkasm_check_vf_sobel(void);
  138. void checkasm_check_vp8dsp(void);
  139. void checkasm_check_vp9dsp(void);
  140. void checkasm_check_videodsp(void);
  141. void checkasm_check_vorbisdsp(void);
  142. void checkasm_check_vvc_alf(void);
  143. void checkasm_check_vvc_mc(void);
  144. struct CheckasmPerf;
  145. void *checkasm_check_func(void *func, const char *name, ...) av_printf_format(2, 3);
  146. int checkasm_bench_func(void);
  147. void checkasm_fail_func(const char *msg, ...) av_printf_format(1, 2);
  148. struct CheckasmPerf *checkasm_get_perf_context(void);
  149. void checkasm_report(const char *name, ...) av_printf_format(1, 2);
  150. void checkasm_set_signal_handler_state(int enabled);
  151. int checkasm_handle_signal(int s);
  152. extern checkasm_context checkasm_context_buf;
  153. /* float compare utilities */
  154. int float_near_ulp(float a, float b, unsigned max_ulp);
  155. int float_near_abs_eps(float a, float b, float eps);
  156. int float_near_abs_eps_ulp(float a, float b, float eps, unsigned max_ulp);
  157. int float_near_ulp_array(const float *a, const float *b, unsigned max_ulp,
  158. unsigned len);
  159. int float_near_abs_eps_array(const float *a, const float *b, float eps,
  160. unsigned len);
  161. int float_near_abs_eps_array_ulp(const float *a, const float *b, float eps,
  162. unsigned max_ulp, unsigned len);
  163. int double_near_abs_eps(double a, double b, double eps);
  164. int double_near_abs_eps_array(const double *a, const double *b, double eps,
  165. unsigned len);
  166. extern AVLFG checkasm_lfg;
  167. #define rnd() av_lfg_get(&checkasm_lfg)
  168. static av_unused void *func_ref, *func_new;
  169. extern uint64_t bench_runs;
  170. /* Decide whether or not the specified function needs to be tested */
  171. #define check_func(func, ...) (checkasm_save_context(), func_ref = checkasm_check_func((func_new = func), __VA_ARGS__))
  172. /* Declare the function prototype. The first argument is the return value, the remaining
  173. * arguments are the function parameters. Naming parameters is optional. */
  174. #define declare_func(ret, ...) declare_new(ret, __VA_ARGS__) typedef ret func_type(__VA_ARGS__)
  175. #define declare_func_float(ret, ...) declare_new_float(ret, __VA_ARGS__) typedef ret func_type(__VA_ARGS__)
  176. #define declare_func_emms(cpu_flags, ret, ...) declare_new_emms(cpu_flags, ret, __VA_ARGS__) typedef ret func_type(__VA_ARGS__)
  177. /* Indicate that the current test has failed */
  178. #define fail() checkasm_fail_func("%s:%d", av_basename(__FILE__), __LINE__)
  179. /* Print the test outcome */
  180. #define report checkasm_report
  181. /* Call the reference function */
  182. #define call_ref(...)\
  183. (checkasm_set_signal_handler_state(1),\
  184. ((func_type *)func_ref)(__VA_ARGS__));\
  185. checkasm_set_signal_handler_state(0)
  186. #if ARCH_X86 && HAVE_X86ASM
  187. /* Verifies that clobbered callee-saved registers are properly saved and restored
  188. * and that either no MMX registers are touched or emms is issued */
  189. void checkasm_checked_call(void *func, ...);
  190. /* Verifies that clobbered callee-saved registers are properly saved and restored
  191. * and issues emms for asm functions which are not required to do so */
  192. void checkasm_checked_call_emms(void *func, ...);
  193. /* Verifies that clobbered callee-saved registers are properly saved and restored
  194. * but doesn't issue emms. Meant for dsp functions returning float or double */
  195. void checkasm_checked_call_float(void *func, ...);
  196. #if ARCH_X86_64
  197. /* Evil hack: detect incorrect assumptions that 32-bit ints are zero-extended to 64-bit.
  198. * This is done by clobbering the stack with junk around the stack pointer and calling the
  199. * assembly function through checked_call() with added dummy arguments which forces all
  200. * real arguments to be passed on the stack and not in registers. For 32-bit arguments the
  201. * upper half of the 64-bit register locations on the stack will now contain junk which will
  202. * cause misbehaving functions to either produce incorrect output or segfault. Note that
  203. * even though this works extremely well in practice, it's technically not guaranteed
  204. * and false negatives is theoretically possible, but there can never be any false positives.
  205. */
  206. void checkasm_stack_clobber(uint64_t clobber, ...);
  207. #define declare_new(ret, ...) ret (*checked_call)(void *, int, int, int, int, int, __VA_ARGS__)\
  208. = (void *)checkasm_checked_call;
  209. #define declare_new_float(ret, ...) ret (*checked_call)(void *, int, int, int, int, int, __VA_ARGS__)\
  210. = (void *)checkasm_checked_call_float;
  211. #define declare_new_emms(cpu_flags, ret, ...) \
  212. ret (*checked_call)(void *, int, int, int, int, int, __VA_ARGS__) = \
  213. ((cpu_flags) & av_get_cpu_flags()) ? (void *)checkasm_checked_call_emms : \
  214. (void *)checkasm_checked_call;
  215. #define CLOB (UINT64_C(0xdeadbeefdeadbeef))
  216. #define call_new(...) (checkasm_set_signal_handler_state(1),\
  217. checkasm_stack_clobber(CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,\
  218. CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,CLOB),\
  219. checked_call(func_new, 0, 0, 0, 0, 0, __VA_ARGS__));\
  220. checkasm_set_signal_handler_state(0)
  221. #elif ARCH_X86_32
  222. #define declare_new(ret, ...) ret (*checked_call)(void *, __VA_ARGS__) = (void *)checkasm_checked_call;
  223. #define declare_new_float(ret, ...) ret (*checked_call)(void *, __VA_ARGS__) = (void *)checkasm_checked_call_float;
  224. #define declare_new_emms(cpu_flags, ret, ...) ret (*checked_call)(void *, __VA_ARGS__) = \
  225. ((cpu_flags) & av_get_cpu_flags()) ? (void *)checkasm_checked_call_emms : \
  226. (void *)checkasm_checked_call;
  227. #define call_new(...)\
  228. (checkasm_set_signal_handler_state(1),\
  229. checked_call(func_new, __VA_ARGS__));\
  230. checkasm_set_signal_handler_state(0)
  231. #endif
  232. #elif ARCH_ARM && HAVE_ARMV5TE_EXTERNAL
  233. /* Use a dummy argument, to offset the real parameters by 2, not only 1.
  234. * This makes sure that potential 8-byte-alignment of parameters is kept the same
  235. * even when the extra parameters have been removed. */
  236. void checkasm_checked_call_vfp(void *func, int dummy, ...);
  237. void checkasm_checked_call_novfp(void *func, int dummy, ...);
  238. extern void (*checkasm_checked_call)(void *func, int dummy, ...);
  239. #define declare_new(ret, ...) ret (*checked_call)(void *, int dummy, __VA_ARGS__, \
  240. int, int, int, int, int, int, int, int, \
  241. int, int, int, int, int, int, int) = (void *)checkasm_checked_call;
  242. #define call_new(...) \
  243. (checkasm_set_signal_handler_state(1),\
  244. checked_call(func_new, 0, __VA_ARGS__, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1, 0, 0, 0, 0));\
  245. checkasm_set_signal_handler_state(0)
  246. #elif ARCH_AARCH64 && !defined(__APPLE__)
  247. void checkasm_stack_clobber(uint64_t clobber, ...);
  248. void checkasm_checked_call(void *func, ...);
  249. #define declare_new(ret, ...) ret (*checked_call)(void *, int, int, int, int, int, int, int, __VA_ARGS__,\
  250. int, int, int, int, int, int, int, int,\
  251. int, int, int, int, int, int, int)\
  252. = (void *)checkasm_checked_call;
  253. #define CLOB (UINT64_C(0xdeadbeefdeadbeef))
  254. #define call_new(...) (checkasm_set_signal_handler_state(1),\
  255. checkasm_stack_clobber(CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,\
  256. CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,CLOB),\
  257. checked_call(func_new, 0, 0, 0, 0, 0, 0, 0, __VA_ARGS__,\
  258. 7, 6, 5, 4, 3, 2, 1, 0, 0, 0, 0, 0, 0, 0, 0));\
  259. checkasm_set_signal_handler_state(0)
  260. #elif ARCH_RISCV
  261. void checkasm_set_function(void *);
  262. void *checkasm_get_wrapper(void);
  263. #if HAVE_RV && (__riscv_xlen == 64) && defined (__riscv_d)
  264. #define declare_new(ret, ...) \
  265. ret (*checked_call)(__VA_ARGS__) = checkasm_get_wrapper();
  266. #define call_new(...) \
  267. (checkasm_set_signal_handler_state(1),\
  268. checkasm_set_function(func_new), checked_call(__VA_ARGS__));\
  269. checkasm_set_signal_handler_state(0)
  270. #else
  271. #define declare_new(ret, ...)
  272. #define call_new(...)\
  273. (checkasm_set_signal_handler_state(1),\
  274. ((func_type *)func_new)(__VA_ARGS__));\
  275. checkasm_set_signal_handler_state(0)
  276. #endif
  277. #else
  278. #define declare_new(ret, ...)
  279. #define declare_new_float(ret, ...)
  280. #define declare_new_emms(cpu_flags, ret, ...)
  281. /* Call the function */
  282. #define call_new(...)\
  283. (checkasm_set_signal_handler_state(1),\
  284. ((func_type *)func_new)(__VA_ARGS__));\
  285. checkasm_set_signal_handler_state(0)
  286. #endif
  287. #ifndef declare_new_emms
  288. #define declare_new_emms(cpu_flags, ret, ...) declare_new(ret, __VA_ARGS__)
  289. #endif
  290. #ifndef declare_new_float
  291. #define declare_new_float(ret, ...) declare_new(ret, __VA_ARGS__)
  292. #endif
  293. typedef struct CheckasmPerf {
  294. int sysfd;
  295. uint64_t cycles;
  296. int iterations;
  297. } CheckasmPerf;
  298. #if defined(AV_READ_TIME) || CONFIG_LINUX_PERF || CONFIG_MACOS_KPERF
  299. #if CONFIG_LINUX_PERF
  300. #define PERF_START(t) do { \
  301. ioctl(sysfd, PERF_EVENT_IOC_RESET, 0); \
  302. ioctl(sysfd, PERF_EVENT_IOC_ENABLE, 0); \
  303. } while (0)
  304. #define PERF_STOP(t) do { \
  305. int ret; \
  306. ioctl(sysfd, PERF_EVENT_IOC_DISABLE, 0); \
  307. ret = read(sysfd, &t, sizeof(t)); \
  308. (void)ret; \
  309. } while (0)
  310. #elif CONFIG_MACOS_KPERF
  311. #define PERF_START(t) t = ff_kperf_cycles()
  312. #define PERF_STOP(t) t = ff_kperf_cycles() - t
  313. #else
  314. #define PERF_START(t) t = AV_READ_TIME()
  315. #define PERF_STOP(t) t = AV_READ_TIME() - t
  316. #endif
  317. /* Benchmark the function */
  318. #define bench_new(...)\
  319. do {\
  320. if (checkasm_bench_func()) {\
  321. struct CheckasmPerf *perf = checkasm_get_perf_context();\
  322. av_unused const int sysfd = perf->sysfd;\
  323. func_type *tfunc = func_new;\
  324. uint64_t tsum = 0;\
  325. uint64_t ti, tcount = 0;\
  326. uint64_t t = 0; \
  327. const uint64_t truns = bench_runs;\
  328. checkasm_set_signal_handler_state(1);\
  329. for (ti = 0; ti < truns; ti++) {\
  330. PERF_START(t);\
  331. tfunc(__VA_ARGS__);\
  332. tfunc(__VA_ARGS__);\
  333. tfunc(__VA_ARGS__);\
  334. tfunc(__VA_ARGS__);\
  335. PERF_STOP(t);\
  336. if (t*tcount <= tsum*4 && ti > 0) {\
  337. tsum += t;\
  338. tcount++;\
  339. }\
  340. }\
  341. emms_c();\
  342. perf->cycles += t;\
  343. perf->iterations++;\
  344. checkasm_set_signal_handler_state(0);\
  345. }\
  346. } while (0)
  347. #else
  348. #define bench_new(...) while(0)
  349. #define PERF_START(t) while(0)
  350. #define PERF_STOP(t) while(0)
  351. #endif
  352. #define DECL_CHECKASM_CHECK_FUNC(type) \
  353. int checkasm_check_##type(const char *file, int line, \
  354. const type *buf1, ptrdiff_t stride1, \
  355. const type *buf2, ptrdiff_t stride2, \
  356. int w, int h, const char *name)
  357. DECL_CHECKASM_CHECK_FUNC(uint8_t);
  358. DECL_CHECKASM_CHECK_FUNC(uint16_t);
  359. DECL_CHECKASM_CHECK_FUNC(uint32_t);
  360. DECL_CHECKASM_CHECK_FUNC(int16_t);
  361. DECL_CHECKASM_CHECK_FUNC(int32_t);
  362. #define PASTE(a,b) a ## b
  363. #define CONCAT(a,b) PASTE(a,b)
  364. #define checkasm_check(prefix, ...) CONCAT(checkasm_check_, prefix)(__FILE__, __LINE__, __VA_ARGS__)
  365. /* This assumes that there is a local variable named "bit_depth".
  366. * For tests that don't have that and only operate on a single
  367. * bitdepth, just call checkasm_check(uint8_t, ...) directly. */
  368. #define checkasm_check_pixel(buf1, stride1, buf2, stride2, ...) \
  369. ((bit_depth > 8) ? \
  370. checkasm_check(uint16_t, (const uint16_t*)buf1, stride1, \
  371. (const uint16_t*)buf2, stride2, \
  372. __VA_ARGS__) : \
  373. checkasm_check(uint8_t, (const uint8_t*) buf1, stride1, \
  374. (const uint8_t*) buf2, stride2, \
  375. __VA_ARGS__))
  376. #endif /* TESTS_CHECKASM_CHECKASM_H */