4f02d49a80
For compiling with -Wimplicit-fallthrough we need to fix the fallthrough annotations in the libvixl code. This is based on the following upstream vixl commit by Martyn Capewell: https://git.linaro.org/arm/vixl.git/commit/?id=de326f850f736c3a337 "GCC 7 enables switch/case fallthrough checking, but this fails in VIXL, because the annotation we use is Clang specific. Also, fix a missing annotation in the disassembler." Signed-off-by: Thomas Huth <thuth@redhat.com> Reviewed-by: Peter Maydell <peter.maydell@linaro.org> Message-Id: <20201211152426.350966-2-thuth@redhat.com> Signed-off-by: Thomas Huth <thuth@redhat.com>
154 lines
5.2 KiB
C++
154 lines
5.2 KiB
C++
// Copyright 2015, ARM Limited
|
|
// All rights reserved.
|
|
//
|
|
// Redistribution and use in source and binary forms, with or without
|
|
// modification, are permitted provided that the following conditions are met:
|
|
//
|
|
// * Redistributions of source code must retain the above copyright notice,
|
|
// this list of conditions and the following disclaimer.
|
|
// * Redistributions in binary form must reproduce the above copyright notice,
|
|
// this list of conditions and the following disclaimer in the documentation
|
|
// and/or other materials provided with the distribution.
|
|
// * Neither the name of ARM Limited nor the names of its contributors may be
|
|
// used to endorse or promote products derived from this software without
|
|
// specific prior written permission.
|
|
//
|
|
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND
|
|
// ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
|
|
// WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
|
|
// DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
|
|
// FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
|
|
// DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
|
|
// SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
|
|
// CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
|
|
// OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
|
|
// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
|
|
|
#ifndef VIXL_GLOBALS_H
|
|
#define VIXL_GLOBALS_H
|
|
|
|
// Get standard C99 macros for integer types.
|
|
#ifndef __STDC_CONSTANT_MACROS
|
|
#define __STDC_CONSTANT_MACROS
|
|
#endif
|
|
|
|
#ifndef __STDC_LIMIT_MACROS
|
|
#define __STDC_LIMIT_MACROS
|
|
#endif
|
|
|
|
#ifndef __STDC_FORMAT_MACROS
|
|
#define __STDC_FORMAT_MACROS
|
|
#endif
|
|
|
|
#include <stdint.h>
|
|
#include <inttypes.h>
|
|
|
|
#include <assert.h>
|
|
#include <stdarg.h>
|
|
#include <stdio.h>
|
|
#include <stdint.h>
|
|
#include <stdlib.h>
|
|
#include <stddef.h>
|
|
#include "vixl/platform.h"
|
|
|
|
|
|
typedef uint8_t byte;
|
|
|
|
// Type for half-precision (16 bit) floating point numbers.
|
|
typedef uint16_t float16;
|
|
|
|
const int KBytes = 1024;
|
|
const int MBytes = 1024 * KBytes;
|
|
|
|
#define VIXL_ABORT() \
|
|
do { printf("in %s, line %i", __FILE__, __LINE__); abort(); } while (false)
|
|
#ifdef VIXL_DEBUG
|
|
#define VIXL_ASSERT(condition) assert(condition)
|
|
#define VIXL_CHECK(condition) VIXL_ASSERT(condition)
|
|
#define VIXL_UNIMPLEMENTED() \
|
|
do { fprintf(stderr, "UNIMPLEMENTED\t"); VIXL_ABORT(); } while (false)
|
|
#define VIXL_UNREACHABLE() \
|
|
do { fprintf(stderr, "UNREACHABLE\t"); VIXL_ABORT(); } while (false)
|
|
#else
|
|
#define VIXL_ASSERT(condition) ((void) 0)
|
|
#define VIXL_CHECK(condition) assert(condition)
|
|
#define VIXL_UNIMPLEMENTED() ((void) 0)
|
|
#define VIXL_UNREACHABLE() ((void) 0)
|
|
#endif
|
|
// This is not as powerful as template based assertions, but it is simple.
|
|
// It assumes that the descriptions are unique. If this starts being a problem,
|
|
// we can switch to a different implemention.
|
|
#define VIXL_CONCAT(a, b) a##b
|
|
#define VIXL_STATIC_ASSERT_LINE(line, condition) \
|
|
typedef char VIXL_CONCAT(STATIC_ASSERT_LINE_, line)[(condition) ? 1 : -1] \
|
|
__attribute__((unused))
|
|
#define VIXL_STATIC_ASSERT(condition) \
|
|
VIXL_STATIC_ASSERT_LINE(__LINE__, condition)
|
|
|
|
template <typename T1>
|
|
inline void USE(T1) {}
|
|
|
|
template <typename T1, typename T2>
|
|
inline void USE(T1, T2) {}
|
|
|
|
template <typename T1, typename T2, typename T3>
|
|
inline void USE(T1, T2, T3) {}
|
|
|
|
template <typename T1, typename T2, typename T3, typename T4>
|
|
inline void USE(T1, T2, T3, T4) {}
|
|
|
|
#define VIXL_ALIGNMENT_EXCEPTION() \
|
|
do { fprintf(stderr, "ALIGNMENT EXCEPTION\t"); VIXL_ABORT(); } while (0)
|
|
|
|
// The clang::fallthrough attribute is used along with the Wimplicit-fallthrough
|
|
// argument to annotate intentional fall-through between switch labels.
|
|
// For more information please refer to:
|
|
// http://clang.llvm.org/docs/AttributeReference.html#fallthrough-clang-fallthrough
|
|
#ifndef __has_warning
|
|
#define __has_warning(x) 0
|
|
#endif
|
|
|
|
// Fallthrough annotation for Clang and C++11(201103L).
|
|
#if __has_warning("-Wimplicit-fallthrough") && __cplusplus >= 201103L
|
|
#define VIXL_FALLTHROUGH() [[clang::fallthrough]] //NOLINT
|
|
// Fallthrough annotation for GCC >= 7.
|
|
#elif __GNUC__ >= 7
|
|
#define VIXL_FALLTHROUGH() __attribute__((fallthrough))
|
|
#else
|
|
#define VIXL_FALLTHROUGH() do {} while (0)
|
|
#endif
|
|
|
|
#if __cplusplus >= 201103L
|
|
#define VIXL_NO_RETURN [[noreturn]] //NOLINT
|
|
#else
|
|
#define VIXL_NO_RETURN __attribute__((noreturn))
|
|
#endif
|
|
|
|
// Some functions might only be marked as "noreturn" for the DEBUG build. This
|
|
// macro should be used for such cases (for more details see what
|
|
// VIXL_UNREACHABLE expands to).
|
|
#ifdef VIXL_DEBUG
|
|
#define VIXL_DEBUG_NO_RETURN VIXL_NO_RETURN
|
|
#else
|
|
#define VIXL_DEBUG_NO_RETURN
|
|
#endif
|
|
|
|
#ifdef VIXL_INCLUDE_SIMULATOR
|
|
#ifndef VIXL_GENERATE_SIMULATOR_INSTRUCTIONS_VALUE
|
|
#define VIXL_GENERATE_SIMULATOR_INSTRUCTIONS_VALUE 1
|
|
#endif
|
|
#else
|
|
#ifndef VIXL_GENERATE_SIMULATOR_INSTRUCTIONS_VALUE
|
|
#define VIXL_GENERATE_SIMULATOR_INSTRUCTIONS_VALUE 0
|
|
#endif
|
|
#if VIXL_GENERATE_SIMULATOR_INSTRUCTIONS_VALUE
|
|
#warning "Generating Simulator instructions without Simulator support."
|
|
#endif
|
|
#endif
|
|
|
|
#ifdef USE_SIMULATOR
|
|
#error "Please see the release notes for USE_SIMULATOR."
|
|
#endif
|
|
|
|
#endif // VIXL_GLOBALS_H
|