FFmpeg
checkasm.h
Go to the documentation of this file.
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 
23 #ifndef TESTS_CHECKASM_CHECKASM_H
24 #define TESTS_CHECKASM_CHECKASM_H
25 
26 #include <stdint.h>
27 #include "config.h"
28 
29 #if CONFIG_LINUX_PERF
30 #include <unistd.h> // read(3)
31 #include <sys/ioctl.h>
32 #include <asm/unistd.h>
33 #include <linux/perf_event.h>
34 #elif CONFIG_MACOS_KPERF
35 #include "libavutil/macos_kperf.h"
36 #endif
37 
38 #include "libavutil/avstring.h"
39 #include "libavutil/cpu.h"
40 #include "libavutil/emms.h"
41 #include "libavutil/internal.h"
42 #include "libavutil/lfg.h"
43 #include "libavutil/timer.h"
44 
45 #ifdef _WIN32
46 #include <windows.h>
47 #if ARCH_X86_32
48 #include <setjmp.h>
49 typedef jmp_buf checkasm_context;
50 #define checkasm_save_context() checkasm_handle_signal(setjmp(checkasm_context_buf))
51 #define checkasm_load_context(s) longjmp(checkasm_context_buf, s)
52 #elif WINAPI_FAMILY_PARTITION(WINAPI_PARTITION_DESKTOP)
53 /* setjmp/longjmp on Windows on architectures using SEH (all except x86_32)
54  * will try to use SEH to unwind the stack, which doesn't work for assembly
55  * functions without unwind information. */
56 typedef struct { CONTEXT c; int status; } checkasm_context;
57 #define checkasm_save_context() \
58  (checkasm_context_buf.status = 0, \
59  RtlCaptureContext(&checkasm_context_buf.c), \
60  checkasm_handle_signal(checkasm_context_buf.status))
61 #define checkasm_load_context(s) \
62  (checkasm_context_buf.status = s, \
63  RtlRestoreContext(&checkasm_context_buf.c, NULL))
64 #else
65 #define checkasm_context void*
66 #define checkasm_save_context() 0
67 #define checkasm_load_context() do {} while (0)
68 #endif
69 #else
70 #include <setjmp.h>
71 typedef sigjmp_buf checkasm_context;
72 #define checkasm_save_context() checkasm_handle_signal(sigsetjmp(checkasm_context_buf, 1))
73 #define checkasm_load_context(s) siglongjmp(checkasm_context_buf, s)
74 #endif
75 
76 void checkasm_check_aacencdsp(void);
77 void checkasm_check_aacpsdsp(void);
78 void checkasm_check_ac3dsp(void);
79 void checkasm_check_afir(void);
80 void checkasm_check_alacdsp(void);
81 void checkasm_check_audiodsp(void);
82 void checkasm_check_av_tx(void);
83 void checkasm_check_blend(void);
84 void checkasm_check_blockdsp(void);
85 void checkasm_check_bswapdsp(void);
86 void checkasm_check_colorspace(void);
87 void checkasm_check_exrdsp(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_h264chroma(void);
94 void checkasm_check_h264dsp(void);
95 void checkasm_check_h264pred(void);
96 void checkasm_check_h264qpel(void);
97 void checkasm_check_hevc_add_res(void);
98 void checkasm_check_hevc_deblock(void);
99 void checkasm_check_hevc_idct(void);
100 void checkasm_check_hevc_pel(void);
101 void checkasm_check_hevc_sao(void);
102 void checkasm_check_huffyuvdsp(void);
103 void checkasm_check_idctdsp(void);
104 void checkasm_check_jpeg2000dsp(void);
105 void checkasm_check_llauddsp(void);
106 void checkasm_check_llviddsp(void);
107 void checkasm_check_llviddspenc(void);
108 void checkasm_check_lpc(void);
109 void checkasm_check_motion(void);
110 void checkasm_check_nlmeans(void);
111 void checkasm_check_opusdsp(void);
112 void checkasm_check_pixblockdsp(void);
113 void checkasm_check_sbrdsp(void);
114 void checkasm_check_rv34dsp(void);
115 void checkasm_check_svq1enc(void);
116 void checkasm_check_synth_filter(void);
117 void checkasm_check_sw_gbrp(void);
118 void checkasm_check_sw_rgb(void);
119 void checkasm_check_sw_scale(void);
120 void checkasm_check_takdsp(void);
121 void checkasm_check_utvideodsp(void);
122 void checkasm_check_v210dec(void);
123 void checkasm_check_v210enc(void);
124 void checkasm_check_vc1dsp(void);
125 void checkasm_check_vf_bwdif(void);
126 void checkasm_check_vf_eq(void);
127 void checkasm_check_vf_gblur(void);
128 void checkasm_check_vf_hflip(void);
129 void checkasm_check_vf_threshold(void);
130 void checkasm_check_vf_sobel(void);
131 void checkasm_check_vp8dsp(void);
132 void checkasm_check_vp9dsp(void);
133 void checkasm_check_videodsp(void);
134 void checkasm_check_vorbisdsp(void);
135 void checkasm_check_vvc_mc(void);
136 
137 struct CheckasmPerf;
138 
139 void *checkasm_check_func(void *func, const char *name, ...) av_printf_format(2, 3);
140 int checkasm_bench_func(void);
141 void checkasm_fail_func(const char *msg, ...) av_printf_format(1, 2);
142 struct CheckasmPerf *checkasm_get_perf_context(void);
143 void checkasm_report(const char *name, ...) av_printf_format(1, 2);
144 void checkasm_set_signal_handler_state(int enabled);
145 int checkasm_handle_signal(int s);
146 extern checkasm_context checkasm_context_buf;
147 
148 /* float compare utilities */
149 int float_near_ulp(float a, float b, unsigned max_ulp);
150 int float_near_abs_eps(float a, float b, float eps);
151 int float_near_abs_eps_ulp(float a, float b, float eps, unsigned max_ulp);
152 int float_near_ulp_array(const float *a, const float *b, unsigned max_ulp,
153  unsigned len);
154 int float_near_abs_eps_array(const float *a, const float *b, float eps,
155  unsigned len);
156 int float_near_abs_eps_array_ulp(const float *a, const float *b, float eps,
157  unsigned max_ulp, unsigned len);
158 int double_near_abs_eps(double a, double b, double eps);
159 int double_near_abs_eps_array(const double *a, const double *b, double eps,
160  unsigned len);
161 
162 extern AVLFG checkasm_lfg;
163 #define rnd() av_lfg_get(&checkasm_lfg)
164 
165 static av_unused void *func_ref, *func_new;
166 
167 #define BENCH_RUNS 1000 /* Trade-off between accuracy and speed */
168 
169 /* Decide whether or not the specified function needs to be tested */
170 #define check_func(func, ...) (checkasm_save_context(), func_ref = checkasm_check_func((func_new = func), __VA_ARGS__))
171 
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 
178 /* Indicate that the current test has failed */
179 #define fail() checkasm_fail_func("%s:%d", av_basename(__FILE__), __LINE__)
180 
181 /* Print the test outcome */
182 #define report checkasm_report
183 
184 /* Call the reference function */
185 #define call_ref(...)\
186  (checkasm_set_signal_handler_state(1),\
187  ((func_type *)func_ref)(__VA_ARGS__));\
188  checkasm_set_signal_handler_state(0)
189 
190 #if ARCH_X86 && HAVE_X86ASM
191 /* Verifies that clobbered callee-saved registers are properly saved and restored
192  * and that either no MMX registers are touched or emms is issued */
193 void checkasm_checked_call(void *func, ...);
194 /* Verifies that clobbered callee-saved registers are properly saved and restored
195  * and issues emms for asm functions which are not required to do so */
196 void checkasm_checked_call_emms(void *func, ...);
197 /* Verifies that clobbered callee-saved registers are properly saved and restored
198  * but doesn't issue emms. Meant for dsp functions returning float or double */
199 void checkasm_checked_call_float(void *func, ...);
200 
201 #if ARCH_X86_64
202 /* Evil hack: detect incorrect assumptions that 32-bit ints are zero-extended to 64-bit.
203  * This is done by clobbering the stack with junk around the stack pointer and calling the
204  * assembly function through checked_call() with added dummy arguments which forces all
205  * real arguments to be passed on the stack and not in registers. For 32-bit arguments the
206  * upper half of the 64-bit register locations on the stack will now contain junk which will
207  * cause misbehaving functions to either produce incorrect output or segfault. Note that
208  * even though this works extremely well in practice, it's technically not guaranteed
209  * and false negatives is theoretically possible, but there can never be any false positives.
210  */
211 void checkasm_stack_clobber(uint64_t clobber, ...);
212 #define declare_new(ret, ...) ret (*checked_call)(void *, int, int, int, int, int, __VA_ARGS__)\
213  = (void *)checkasm_checked_call;
214 #define declare_new_float(ret, ...) ret (*checked_call)(void *, int, int, int, int, int, __VA_ARGS__)\
215  = (void *)checkasm_checked_call_float;
216 #define declare_new_emms(cpu_flags, ret, ...) \
217  ret (*checked_call)(void *, int, int, int, int, int, __VA_ARGS__) = \
218  ((cpu_flags) & av_get_cpu_flags()) ? (void *)checkasm_checked_call_emms : \
219  (void *)checkasm_checked_call;
220 #define CLOB (UINT64_C(0xdeadbeefdeadbeef))
221 #define call_new(...) (checkasm_set_signal_handler_state(1),\
222  checkasm_stack_clobber(CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,\
223  CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,CLOB),\
224  checked_call(func_new, 0, 0, 0, 0, 0, __VA_ARGS__));\
225  checkasm_set_signal_handler_state(0)
226 #elif ARCH_X86_32
227 #define declare_new(ret, ...) ret (*checked_call)(void *, __VA_ARGS__) = (void *)checkasm_checked_call;
228 #define declare_new_float(ret, ...) ret (*checked_call)(void *, __VA_ARGS__) = (void *)checkasm_checked_call_float;
229 #define declare_new_emms(cpu_flags, ret, ...) ret (*checked_call)(void *, __VA_ARGS__) = \
230  ((cpu_flags) & av_get_cpu_flags()) ? (void *)checkasm_checked_call_emms : \
231  (void *)checkasm_checked_call;
232 #define call_new(...)\
233  (checkasm_set_signal_handler_state(1),\
234  checked_call(func_new, __VA_ARGS__));\
235  checkasm_set_signal_handler_state(0)
236 #endif
237 #elif ARCH_ARM && HAVE_ARMV5TE_EXTERNAL
238 /* Use a dummy argument, to offset the real parameters by 2, not only 1.
239  * This makes sure that potential 8-byte-alignment of parameters is kept the same
240  * even when the extra parameters have been removed. */
241 void checkasm_checked_call_vfp(void *func, int dummy, ...);
242 void checkasm_checked_call_novfp(void *func, int dummy, ...);
243 extern void (*checkasm_checked_call)(void *func, int dummy, ...);
244 #define declare_new(ret, ...) ret (*checked_call)(void *, int dummy, __VA_ARGS__, \
245  int, int, int, int, int, int, int, int, \
246  int, int, int, int, int, int, int) = (void *)checkasm_checked_call;
247 #define call_new(...) \
248  (checkasm_set_signal_handler_state(1),\
249  checked_call(func_new, 0, __VA_ARGS__, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1, 0, 0, 0, 0));\
250  checkasm_set_signal_handler_state(0)
251 #elif ARCH_AARCH64 && !defined(__APPLE__)
252 void checkasm_stack_clobber(uint64_t clobber, ...);
253 void checkasm_checked_call(void *func, ...);
254 #define declare_new(ret, ...) ret (*checked_call)(void *, int, int, int, int, int, int, int, __VA_ARGS__,\
255  int, int, int, int, int, int, int, int,\
256  int, int, int, int, int, int, int)\
257  = (void *)checkasm_checked_call;
258 #define CLOB (UINT64_C(0xdeadbeefdeadbeef))
259 #define call_new(...) (checkasm_set_signal_handler_state(1),\
260  checkasm_stack_clobber(CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,\
261  CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,CLOB,CLOB),\
262  checked_call(func_new, 0, 0, 0, 0, 0, 0, 0, __VA_ARGS__,\
263  7, 6, 5, 4, 3, 2, 1, 0, 0, 0, 0, 0, 0, 0, 0));\
264  checkasm_set_signal_handler_state(0)
265 #elif ARCH_RISCV
266 void checkasm_set_function(void *);
267 void *checkasm_get_wrapper(void);
268 
269 #if HAVE_RV && (__riscv_xlen == 64) && defined (__riscv_d)
270 #define declare_new(ret, ...) \
271  ret (*checked_call)(__VA_ARGS__) = checkasm_get_wrapper();
272 #define call_new(...) \
273  (checkasm_set_signal_handler_state(1),\
274  checkasm_set_function(func_new), checked_call(__VA_ARGS__));\
275  checkasm_set_signal_handler_state(0)
276 #else
277 #define declare_new(ret, ...)
278 #define call_new(...)\
279  (checkasm_set_signal_handler_state(1),\
280  ((func_type *)func_new)(__VA_ARGS__));\
281  checkasm_set_signal_handler_state(0)
282 #endif
283 #else
284 #define declare_new(ret, ...)
285 #define declare_new_float(ret, ...)
286 #define declare_new_emms(cpu_flags, ret, ...)
287 /* Call the function */
288 #define call_new(...)\
289  (checkasm_set_signal_handler_state(1),\
290  ((func_type *)func_new)(__VA_ARGS__));\
291  checkasm_set_signal_handler_state(0)
292 #endif
293 
294 #ifndef declare_new_emms
295 #define declare_new_emms(cpu_flags, ret, ...) declare_new(ret, __VA_ARGS__)
296 #endif
297 #ifndef declare_new_float
298 #define declare_new_float(ret, ...) declare_new(ret, __VA_ARGS__)
299 #endif
300 
301 typedef struct CheckasmPerf {
302  int sysfd;
303  uint64_t cycles;
304  int iterations;
305 } CheckasmPerf;
306 
307 #if defined(AV_READ_TIME) || CONFIG_LINUX_PERF || CONFIG_MACOS_KPERF
308 
309 #if CONFIG_LINUX_PERF
310 #define PERF_START(t) do { \
311  ioctl(sysfd, PERF_EVENT_IOC_RESET, 0); \
312  ioctl(sysfd, PERF_EVENT_IOC_ENABLE, 0); \
313 } while (0)
314 #define PERF_STOP(t) do { \
315  int ret; \
316  ioctl(sysfd, PERF_EVENT_IOC_DISABLE, 0); \
317  ret = read(sysfd, &t, sizeof(t)); \
318  (void)ret; \
319 } while (0)
320 #elif CONFIG_MACOS_KPERF
321 #define PERF_START(t) t = ff_kperf_cycles()
322 #define PERF_STOP(t) t = ff_kperf_cycles() - t
323 #else
324 #define PERF_START(t) t = AV_READ_TIME()
325 #define PERF_STOP(t) t = AV_READ_TIME() - t
326 #endif
327 
328 /* Benchmark the function */
329 #define bench_new(...)\
330  do {\
331  if (checkasm_bench_func()) {\
332  struct CheckasmPerf *perf = checkasm_get_perf_context();\
333  av_unused const int sysfd = perf->sysfd;\
334  func_type *tfunc = func_new;\
335  uint64_t tsum = 0;\
336  int ti, tcount = 0;\
337  uint64_t t = 0; \
338  checkasm_set_signal_handler_state(1);\
339  for (ti = 0; ti < BENCH_RUNS; ti++) {\
340  PERF_START(t);\
341  tfunc(__VA_ARGS__);\
342  tfunc(__VA_ARGS__);\
343  tfunc(__VA_ARGS__);\
344  tfunc(__VA_ARGS__);\
345  PERF_STOP(t);\
346  if (t*tcount <= tsum*4 && ti > 0) {\
347  tsum += t;\
348  tcount++;\
349  }\
350  }\
351  emms_c();\
352  perf->cycles += t;\
353  perf->iterations++;\
354  checkasm_set_signal_handler_state(0);\
355  }\
356  } while (0)
357 #else
358 #define bench_new(...) while(0)
359 #define PERF_START(t) while(0)
360 #define PERF_STOP(t) while(0)
361 #endif
362 
363 #define DECL_CHECKASM_CHECK_FUNC(type) \
364 int checkasm_check_##type(const char *file, int line, \
365  const type *buf1, ptrdiff_t stride1, \
366  const type *buf2, ptrdiff_t stride2, \
367  int w, int h, const char *name)
368 
369 DECL_CHECKASM_CHECK_FUNC(uint8_t);
370 DECL_CHECKASM_CHECK_FUNC(uint16_t);
371 DECL_CHECKASM_CHECK_FUNC(uint32_t);
372 DECL_CHECKASM_CHECK_FUNC(int16_t);
373 DECL_CHECKASM_CHECK_FUNC(int32_t);
374 
375 #define PASTE(a,b) a ## b
376 #define CONCAT(a,b) PASTE(a,b)
377 
378 #define checkasm_check(prefix, ...) CONCAT(checkasm_check_, prefix)(__FILE__, __LINE__, __VA_ARGS__)
379 
380 #endif /* TESTS_CHECKASM_CHECKASM_H */
checkasm_check_nlmeans
void checkasm_check_nlmeans(void)
Definition: vf_nlmeans.c:31
func
int(* func)(AVBPrint *dst, const char *in, const char *arg)
Definition: jacosubdec.c:68
checkasm_lfg
AVLFG checkasm_lfg
Definition: checkasm.c:350
checkasm_check_sw_gbrp
void checkasm_check_sw_gbrp(void)
Definition: sw_gbrp.c:401
checkasm_check_vp8dsp
void checkasm_check_vp8dsp(void)
Definition: vp8dsp.c:507
name
it s the only field you need to keep assuming you have a context There is some magic you don t need to care about around this just let it vf default minimum maximum flags name is the option name
Definition: writing_filters.txt:88
checkasm_check_videodsp
void checkasm_check_videodsp(void)
Definition: videodsp.c:81
checkasm_check_vf_eq
void checkasm_check_vf_eq(void)
Definition: vf_eq.c:76
checkasm_check_v210dec
void checkasm_check_v210dec(void)
Definition: v210dec.c:47
checkasm_check_aacencdsp
void checkasm_check_aacencdsp(void)
Definition: aacencdsp.c:64
av_unused
#define av_unused
Definition: attributes.h:131
checkasm_check_hevc_idct
void checkasm_check_hevc_idct(void)
Definition: hevc_idct.c:108
checkasm_check_sw_scale
void checkasm_check_sw_scale(void)
Definition: sw_scale.c:361
checkasm_bench_func
void int checkasm_bench_func(void)
Definition: checkasm.c:938
b
#define b
Definition: input.c:41
func_ref
static av_unused void * func_ref
Definition: checkasm.h:165
checkasm_check_aacpsdsp
void checkasm_check_aacpsdsp(void)
Definition: aacpsdsp.c:234
checkasm_check_func
void * checkasm_check_func(void *func, const char *name,...) av_printf_format(2
CheckasmPerf::sysfd
int sysfd
Definition: checkasm.h:302
checkasm_check_alacdsp
void checkasm_check_alacdsp(void)
Definition: alacdsp.c:116
checkasm_check_llviddspenc
void checkasm_check_llviddspenc(void)
Definition: llviddspenc.c:104
double_near_abs_eps
int double_near_abs_eps(double a, double b, double eps)
Definition: checkasm.c:428
checkasm_check_h264dsp
void checkasm_check_h264dsp(void)
Definition: h264dsp.c:441
checkasm_check_ac3dsp
void checkasm_check_ac3dsp(void)
Definition: ac3dsp.c:64
checkasm_check_motion
void checkasm_check_motion(void)
Definition: motion.c:146
func_new
static av_unused void * func_new
Definition: checkasm.h:165
float_near_abs_eps_ulp
int float_near_abs_eps_ulp(float a, float b, float eps, unsigned max_ulp)
Definition: checkasm.c:411
CheckasmPerf
Definition: checkasm.h:301
dummy
int dummy
Definition: motion.c:66
checkasm_check_vp9dsp
void checkasm_check_vp9dsp(void)
Definition: vp9dsp.c:627
checkasm_check_vf_threshold
void checkasm_check_vf_threshold(void)
Definition: vf_threshold.c:79
checkasm_check_vf_gblur
void checkasm_check_vf_gblur(void)
Definition: vf_gblur.c:81
checkasm_check_vvc_mc
void checkasm_check_vvc_mc(void)
Definition: vvc_mc.c:325
checkasm_report
void checkasm_report(const char *name,...) av_printf_format(1
checkasm_check_float_dsp
void checkasm_check_float_dsp(void)
Definition: float_dsp.c:280
double_near_abs_eps_array
int double_near_abs_eps_array(const double *a, const double *b, double eps, unsigned len)
Definition: checkasm.c:435
checkasm_check_pixblockdsp
void checkasm_check_pixblockdsp(void)
Definition: pixblockdsp.c:82
checkasm_check_bswapdsp
void checkasm_check_bswapdsp(void)
Definition: bswapdsp.c:60
s
#define s(width, name)
Definition: cbs_vp9.c:198
checkasm_check_vf_bwdif
void checkasm_check_vf_bwdif(void)
Definition: vf_bwdif.c:72
lfg.h
checkasm_check_sw_rgb
void checkasm_check_sw_rgb(void)
Definition: sw_rgb.c:182
checkasm_check_hevc_sao
void checkasm_check_hevc_sao(void)
Definition: hevc_sao.c:141
checkasm_check_hevc_pel
void checkasm_check_hevc_pel(void)
Definition: hevc_pel.c:607
CheckasmPerf::iterations
int iterations
Definition: checkasm.h:304
checkasm_check_takdsp
void checkasm_check_takdsp(void)
Definition: takdsp.c:145
checkasm_check_fmtconvert
void checkasm_check_fmtconvert(void)
Definition: fmtconvert.c:46
checkasm_set_signal_handler_state
void void checkasm_set_signal_handler_state(int enabled)
Definition: checkasm.c:964
macos_kperf.h
float_near_abs_eps_array
int float_near_abs_eps_array(const float *a, const float *b, float eps, unsigned len)
Definition: checkasm.c:399
av_printf_format
#define av_printf_format(fmtpos, attrpos)
Definition: attributes.h:161
float_near_abs_eps_array_ulp
int float_near_abs_eps_array_ulp(const float *a, const float *b, float eps, unsigned max_ulp, unsigned len)
Definition: checkasm.c:416
timer.h
checkasm_check_vorbisdsp
void checkasm_check_vorbisdsp(void)
Definition: vorbisdsp.c:76
c
Undefined Behavior In the C some operations are like signed integer dereferencing freed accessing outside allocated Undefined Behavior must not occur in a C it is not safe even if the output of undefined operations is unused The unsafety may seem nit picking but Optimizing compilers have in fact optimized code on the assumption that no undefined Behavior occurs Optimizing code based on wrong assumptions can and has in some cases lead to effects beyond the output of computations The signed integer overflow problem in speed critical code Code which is highly optimized and works with signed integers sometimes has the problem that often the output of the computation does not c
Definition: undefined.txt:32
checkasm_check_vc1dsp
void checkasm_check_vc1dsp(void)
Definition: vc1dsp.c:441
checkasm_check_h264chroma
void checkasm_check_h264chroma(void)
Definition: h264chroma.c:81
AVLFG
Context structure for the Lagged Fibonacci PRNG.
Definition: lfg.h:33
checkasm_check_llauddsp
void checkasm_check_llauddsp(void)
Definition: llauddsp.c:108
checkasm_context_buf
checkasm_context checkasm_context_buf
Definition: checkasm.c:648
cpu.h
checkasm_check_llviddsp
void checkasm_check_llviddsp(void)
Definition: llviddsp.c:195
checkasm_check_h264pred
void checkasm_check_h264pred(void)
Definition: h264pred.c:233
a
The reader does not expect b to be semantically here and if the code is changed by maybe adding a a division or other the signedness will almost certainly be mistaken To avoid this confusion a new type was SUINT is the C unsigned type but it holds a signed int to use the same example SUINT a
Definition: undefined.txt:41
checkasm_fail_func
void checkasm_fail_func(const char *msg,...) av_printf_format(1
checkasm_check_huffyuvdsp
void checkasm_check_huffyuvdsp(void)
Definition: huffyuvdsp.c:95
CheckasmPerf::cycles
uint64_t cycles
Definition: checkasm.h:303
float_near_abs_eps
int float_near_abs_eps(float a, float b, float eps)
Definition: checkasm.c:388
checkasm_check_fixed_dsp
void checkasm_check_fixed_dsp(void)
Definition: fixed_dsp.c:133
checkasm_check_colorspace
void checkasm_check_colorspace(void)
Definition: vf_colorspace.c:309
checkasm_check_utvideodsp
void checkasm_check_utvideodsp(void)
Definition: utvideodsp.c:90
emms.h
checkasm_check_flacdsp
void checkasm_check_flacdsp(void)
Definition: flacdsp.c:79
internal.h
checkasm_check_idctdsp
void checkasm_check_idctdsp(void)
Definition: idctdsp.c:95
checkasm_check_synth_filter
void checkasm_check_synth_filter(void)
Definition: synth_filter.c:47
checkasm_check_av_tx
void checkasm_check_av_tx(void)
Definition: av_tx.c:101
checkasm_check_blockdsp
void checkasm_check_blockdsp(void)
Definition: blockdsp.c:55
checkasm_check_lpc
void checkasm_check_lpc(void)
Definition: lpc.c:60
CONTEXT
#define CONTEXT
Definition: af_asetrate.c:32
len
int len
Definition: vorbis_enc_data.h:426
checkasm_check_g722dsp
void checkasm_check_g722dsp(void)
Definition: g722dsp.c:53
checkasm_check_svq1enc
void checkasm_check_svq1enc(void)
Definition: svq1enc.c:62
checkasm_check_vf_hflip
void checkasm_check_vf_hflip(void)
Definition: vf_hflip.c:72
checkasm_check_blend
void checkasm_check_blend(void)
Definition: vf_blend.c:88
checkasm_check_afir
void checkasm_check_afir(void)
Definition: af_afir.c:144
checkasm_check_h264qpel
void checkasm_check_h264qpel(void)
Definition: h264qpel.c:51
status
ov_status_e status
Definition: dnn_backend_openvino.c:120
checkasm_get_perf_context
void struct CheckasmPerf * checkasm_get_perf_context(void)
Definition: checkasm.c:983
checkasm_check_vf_sobel
void checkasm_check_vf_sobel(void)
Definition: vf_convolution.c:100
checkasm_check_v210enc
void checkasm_check_v210enc(void)
Definition: v210enc.c:84
checkasm_check_sbrdsp
void checkasm_check_sbrdsp(void)
Definition: sbrdsp.c:257
checkasm_check_hevc_deblock
void checkasm_check_hevc_deblock(void)
Definition: hevc_deblock.c:262
checkasm_handle_signal
int checkasm_handle_signal(int s)
Definition: checkasm.c:968
DECL_CHECKASM_CHECK_FUNC
#define DECL_CHECKASM_CHECK_FUNC(type)
Definition: checkasm.h:363
checkasm_check_jpeg2000dsp
void checkasm_check_jpeg2000dsp(void)
Definition: jpeg2000dsp.c:92
checkasm_check_hevc_add_res
void checkasm_check_hevc_add_res(void)
Definition: hevc_add_res.c:87
int32_t
int32_t
Definition: audioconvert.c:56
checkasm_context
sigjmp_buf checkasm_context
Definition: checkasm.h:71
checkasm_check_rv34dsp
void checkasm_check_rv34dsp(void)
Definition: rv34dsp.c:82
avstring.h
checkasm_check_audiodsp
void checkasm_check_audiodsp(void)
Definition: audiodsp.c:52
float_near_ulp
int float_near_ulp(float a, float b, unsigned max_ulp)
Definition: checkasm.c:358
checkasm_check_exrdsp
void checkasm_check_exrdsp(void)
Definition: exrdsp.c:77
float_near_ulp_array
int float_near_ulp_array(const float *a, const float *b, unsigned max_ulp, unsigned len)
Definition: checkasm.c:376
checkasm_check_opusdsp
void checkasm_check_opusdsp(void)
Definition: opusdsp.c:85
Generated on Thu Sep 26 2024 23:16:00 for FFmpeg by   doxygen 1.8.17