souffle-haskell-2.1.0: cbits/souffle/utility/MiscUtil.h
/*
* Souffle - A Datalog Compiler
* Copyright (c) 2013, Oracle and/or its affiliates. All rights reserved
* Licensed under the Universal Permissive License v 1.0 as shown at:
* - https://opensource.org/licenses/UPL
* - <souffle root>/licenses/SOUFFLE-UPL.txt
*/
/************************************************************************
*
* @file MiscUtil.h
*
* @brief Datalog project utilities
*
***********************************************************************/
#pragma once
#include "tinyformat.h"
#include <cassert>
#include <chrono>
#include <cstdlib>
#include <iostream>
#include <memory>
#include <utility>
#ifdef _WIN32
#include <fcntl.h>
#include <io.h>
#include <stdlib.h>
#include <windows.h>
/**
* Windows headers define these and they interfere with the standard library
* functions.
*/
#undef min
#undef max
/**
* On windows, the following gcc builtins are missing.
*
* In the case of popcountll, __popcnt64 is the windows equivalent.
*
* For ctz and ctzll, BitScanForward and BitScanForward64 are the respective
* windows equivalents. However ctz is used in a constexpr context, and we can't
* use BitScanForward, so we implement it ourselves.
*/
#define __builtin_popcountll __popcnt64
#if _MSC_VER < 1924
constexpr unsigned long __builtin_ctz(unsigned long value) {
unsigned long trailing_zeroes = 0;
while ((value = value >> 1) ^ 1) {
++trailing_zeroes;
}
return trailing_zeroes;
}
inline unsigned long __builtin_ctzll(unsigned long long value) {
unsigned long trailing_zero = 0;
if (_BitScanForward64(&trailing_zero, value)) {
return trailing_zero;
} else {
return 64;
}
}
#endif // _MSC_VER < 1924
#endif
// -------------------------------------------------------------------------------
// Timing Utils
// -------------------------------------------------------------------------------
namespace souffle {
// a type def for a time point
using time_point = std::chrono::high_resolution_clock::time_point;
using std::chrono::microseconds;
// a shortcut for taking the current time
inline time_point now() {
return std::chrono::high_resolution_clock::now();
}
// a shortcut for obtaining the time difference in milliseconds
inline long duration_in_us(const time_point& start, const time_point& end) {
return static_cast<long>(std::chrono::duration_cast<std::chrono::microseconds>(end - start).count());
}
// a shortcut for obtaining the time difference in nanoseconds
inline long duration_in_ns(const time_point& start, const time_point& end) {
return static_cast<long>(std::chrono::duration_cast<std::chrono::nanoseconds>(end - start).count());
}
// -------------------------------------------------------------------------------
// Cloning Utilities
// -------------------------------------------------------------------------------
template <typename A>
std::unique_ptr<A> clone(const A* node) {
return node ? std::unique_ptr<A>(node->clone()) : nullptr;
}
template <typename A>
std::unique_ptr<A> clone(const std::unique_ptr<A>& node) {
return node ? std::unique_ptr<A>(node->clone()) : nullptr;
}
template <typename A, typename B>
auto clone(const std::pair<A, B>& p) {
return std::make_pair(clone(p.first), clone(p.second));
}
// -------------------------------------------------------------------------------
// Comparison Utilities
// -------------------------------------------------------------------------------
/**
* Compares two values referenced by a pointer where the case where both
* pointers are null is also considered equivalent.
*/
template <typename T>
bool equal_ptr(const T* a, const T* b) {
if (a == nullptr && b == nullptr) {
return true;
}
if (a != nullptr && b != nullptr) {
return *a == *b;
}
return false;
}
/**
* Compares two values referenced by a pointer where the case where both
* pointers are null is also considered equivalent.
*/
template <typename T>
bool equal_ptr(const std::unique_ptr<T>& a, const std::unique_ptr<T>& b) {
return equal_ptr(a.get(), b.get());
}
template <typename A, typename B>
using copy_const_t = std::conditional_t<std::is_const_v<A>, const B, B>;
/**
* Helpers for `dynamic_cast`ing without having to specify redundant type qualifiers.
* e.g. `as<AstLiteral>(p)` instead of `dynamic_cast<const AstLiteral*>(p.get())`.
*/
template <typename B, typename A>
auto as(A* x) {
static_assert(std::is_base_of_v<A, B>,
"`as<B, A>` does not allow cross-type dyn casts. "
"(i.e. `as<B, A>` where `B <: A` is not true.) "
"Such a cast is likely a mistake or typo.");
return dynamic_cast<copy_const_t<A, B>*>(x);
}
template <typename B, typename A>
std::enable_if_t<std::is_base_of_v<A, B>, copy_const_t<A, B>*> as(A& x) {
return as<B>(&x);
}
template <typename B, typename A>
B* as(const std::unique_ptr<A>& x) {
return as<B>(x.get());
}
/**
* Checks if the object of type Source can be casted to type Destination.
*/
template <typename B, typename A>
bool isA(A* x) {
return dynamic_cast<copy_const_t<A, B>*>(x) != nullptr;
}
template <typename B, typename A>
std::enable_if_t<std::is_base_of_v<A, B>, bool> isA(A& x) {
return isA<B>(&x);
}
template <typename B, typename A>
bool isA(const std::unique_ptr<A>& x) {
return isA<B>(x.get());
}
// -------------------------------------------------------------------------------
// Error Utilities
// -------------------------------------------------------------------------------
template <typename... Args>
[[noreturn]] void fatal(const char* format, const Args&... args) {
tfm::format(std::cerr, format, args...);
std::cerr << "\n";
assert(false && "fatal error; see std err");
abort();
}
// HACK: Workaround to suppress spurious reachability warnings.
#define UNREACHABLE_BAD_CASE_ANALYSIS fatal("unhandled switch branch");
} // namespace souffle