mirror of
https://git.ffmpeg.org/ffmpeg.git
synced 2026-03-20 11:27:45 +01:00
66766bb1c7
Said function has presumably been added in order to check that we have successfully reset the floating point state after having violated the ABI/calling convention by not issuing emms in our MMX DSP routines. Yet the ability to check this should not have been made public, because there is no external need for it and because the function does not even always achieve what its documentation claims to do: It only works when inline assembly is available. It should have been implemented in emms.h like emms_c() (which is where a replacement should be put if there is still ABI-violating MMX code when av_assert0_fpu() is removed). Signed-off-by: Andreas Rheinhardt <andreas.rheinhardt@outlook.com>
126 lines
3.9 KiB
C
126 lines
3.9 KiB
C
/*
|
|
* copyright (c) 2010 Michael Niedermayer <michaelni@gmx.at>
|
|
*
|
|
* This file is part of FFmpeg.
|
|
*
|
|
* FFmpeg is free software; you can redistribute it and/or
|
|
* modify it under the terms of the GNU Lesser General Public
|
|
* License as published by the Free Software Foundation; either
|
|
* version 2.1 of the License, or (at your option) any later version.
|
|
*
|
|
* FFmpeg is distributed in the hope that it will be useful,
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
* Lesser General Public License for more details.
|
|
*
|
|
* You should have received a copy of the GNU Lesser General Public
|
|
* License along with FFmpeg; if not, write to the Free Software
|
|
* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
|
|
*/
|
|
|
|
/**
|
|
* @file
|
|
* simple assert() macros that are a bit more flexible than ISO C assert().
|
|
* @author Michael Niedermayer <michaelni@gmx.at>
|
|
*/
|
|
|
|
#ifndef AVUTIL_AVASSERT_H
|
|
#define AVUTIL_AVASSERT_H
|
|
|
|
#include <stdlib.h>
|
|
#ifdef HAVE_AV_CONFIG_H
|
|
# include "config.h"
|
|
#endif
|
|
#include "attributes.h"
|
|
#include "log.h"
|
|
#include "macros.h"
|
|
#include "version.h"
|
|
|
|
/**
|
|
* assert() equivalent, that is always enabled.
|
|
*/
|
|
#define av_assert0(cond) do { \
|
|
if (!(cond)) { \
|
|
av_log(NULL, AV_LOG_PANIC, "Assertion %s failed at %s:%d\n", \
|
|
AV_STRINGIFY(cond), __FILE__, __LINE__); \
|
|
abort(); \
|
|
} \
|
|
} while (0)
|
|
|
|
|
|
/**
|
|
* assert() equivalent, that does not lie in speed critical code.
|
|
* These asserts() thus can be enabled without fearing speed loss.
|
|
*/
|
|
#if defined(ASSERT_LEVEL) && ASSERT_LEVEL > 0
|
|
#define av_assert1(cond) av_assert0(cond)
|
|
#else
|
|
#define av_assert1(cond) ((void)0)
|
|
#endif
|
|
|
|
|
|
/**
|
|
* assert() equivalent, that does lie in speed critical code.
|
|
*/
|
|
#if defined(ASSERT_LEVEL) && ASSERT_LEVEL > 1
|
|
#define av_assert2(cond) av_assert0(cond)
|
|
#else
|
|
#define av_assert2(cond) ((void)0)
|
|
#endif
|
|
|
|
#if FF_API_ASSERT_FPU
|
|
#if defined(ASSERT_LEVEL) && ASSERT_LEVEL > 1
|
|
#define av_assert2_fpu() av_assert0_fpu()
|
|
#else
|
|
#define av_assert2_fpu() ((void)0)
|
|
#endif
|
|
/**
|
|
* Assert that floating point operations can be executed.
|
|
*
|
|
* This will av_assert0() that the cpu is not in MMX state on X86
|
|
* @deprecated without replacement
|
|
*/
|
|
attribute_deprecated
|
|
void av_assert0_fpu(void);
|
|
#endif
|
|
|
|
/**
|
|
* Asserts that are used as compiler optimization hints depending
|
|
* upon ASSERT_LEVEL and NBDEBUG.
|
|
*
|
|
* Undefined behaviour occurs if execution reaches a point marked
|
|
* with av_unreachable() or if a condition used with av_assume()
|
|
* is false.
|
|
*
|
|
* The condition used with av_assume() should not have side-effects
|
|
* and should be visible to the compiler.
|
|
*/
|
|
#if defined(ASSERT_LEVEL) ? ASSERT_LEVEL > 0 : !defined(HAVE_AV_CONFIG_H) && !defined(NDEBUG)
|
|
#define av_unreachable(msg) \
|
|
do { \
|
|
av_log(NULL, AV_LOG_PANIC, \
|
|
"Reached supposedly unreachable code at %s:%d: %s\n", \
|
|
__FILE__, __LINE__, msg); \
|
|
abort(); \
|
|
} while (0)
|
|
#define av_assume(cond) av_assert0(cond)
|
|
#else
|
|
#if AV_GCC_VERSION_AT_LEAST(4, 5) || AV_HAS_BUILTIN(__builtin_unreachable)
|
|
#define av_unreachable(msg) __builtin_unreachable()
|
|
#elif defined(_MSC_VER)
|
|
#define av_unreachable(msg) __assume(0)
|
|
#elif __STDC_VERSION__ >= 202311L
|
|
#include <stddef.h>
|
|
#define av_unreachable(msg) unreachable()
|
|
#else
|
|
#define av_unreachable(msg) ((void)0)
|
|
#endif
|
|
|
|
#define av_assume(cond) do { \
|
|
if (!(cond)) \
|
|
av_unreachable(); \
|
|
} while (0)
|
|
#endif
|
|
|
|
#endif /* AVUTIL_AVASSERT_H */
|