// Copyright 2016 The Fuchsia Authors
// Copyright (c) 2008 Travis Geiselbrecht
//
// Use of this source code is governed by a MIT-style
// license that can be found in the LICENSE file or at
// https://opensource.org/licenses/MIT

#pragma once

#include <magenta/compiler.h>
#include <debug.h>

#define PANIC(args...) panic(args)

#define ASSERT(x) \
    do {                                                                                          \
        if (unlikely(!(x))) {                                                                     \
            PANIC("ASSERT FAILED at (%s:%d): %s\n", __FILE__, __LINE__, #x);                      \
        }                                                                                         \
    } while (0)

#define ASSERT_MSG(x, msg, msgargs...)                                                            \
    do {                                                                                          \
        if (unlikely(!(x))) {                                                                     \
            PANIC("ASSERT FAILED at (%s:%d): %s\n" msg "\n", __FILE__, __LINE__, #x, ## msgargs); \
        }                                                                                         \
    } while (0)

// conditionally implement DEBUG_ASSERT based on LK_DEBUGLEVEL in kernel space
// user space does not currently implement DEBUG_ASSERT
#ifdef LK_DEBUGLEVEL
#define DEBUG_ASSERT_IMPLEMENTED (LK_DEBUGLEVEL > 1)
#else
#define DEBUG_ASSERT_IMPLEMENTED 0
#endif

#define DEBUG_ASSERT(x) \
    do {                                                                           \
        if (DEBUG_ASSERT_IMPLEMENTED && unlikely(!(x))) {                          \
            PANIC("DEBUG ASSERT FAILED at (%s:%d): %s\n", __FILE__, __LINE__, #x); \
        }                                                                          \
    } while (0)

#define DEBUG_ASSERT_MSG(x, msg, msgargs...)                        \
    do {                                                            \
        if (DEBUG_ASSERT_IMPLEMENTED && unlikely(!(x))) {           \
            PANIC("DEBUG ASSERT FAILED at (%s:%d): %s\n" msg "\n",  \
                  __FILE__, __LINE__, #x, ## msgargs);              \
        }                                                           \
    } while (0)

// implement _COND versions of DEBUG_ASSERT which only emit the body if
// DEBUG_ASSERT_IMPLEMENTED is set
#if DEBUG_ASSERT_IMPLEMENTED
#define DEBUG_ASSERT_COND(x) DEBUG_ASSERT(x)
#define DEBUG_ASSERT_MSG_COND(x, msg, msgargs...) DEBUG_ASSERT_MSG(x, msg, msgargs)
#else
#define DEBUG_ASSERT_COND(x) do { } while (0)
#define DEBUG_ASSERT_MSG_COND(x, msg, msgargs...) do { } while (0)
#endif

// make sure static_assert() is defined, even in C
#if !defined(__cplusplus) && !defined(static_assert)
#define static_assert(e, msg) _Static_assert(e, msg)
#endif

#define assert(x) DEBUG_ASSERT(x)