2007-10-17 20:56:47 +00:00
|
|
|
//===--- AlignOf.h - Portable calculation of type alignment -----*- C++ -*-===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
2007-12-29 19:59:42 +00:00
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
2007-10-17 20:56:47 +00:00
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This file defines the AlignOf function that computes alignments for
|
|
|
|
// arbitrary types.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#ifndef LLVM_SUPPORT_ALIGNOF_H
|
|
|
|
#define LLVM_SUPPORT_ALIGNOF_H
|
|
|
|
|
2012-06-16 08:52:57 +00:00
|
|
|
#include "llvm/Support/Compiler.h"
|
|
|
|
#include <cstddef>
|
|
|
|
|
2007-10-17 20:56:47 +00:00
|
|
|
namespace llvm {
|
2009-02-20 22:51:36 +00:00
|
|
|
|
2007-10-17 20:56:47 +00:00
|
|
|
template <typename T>
|
|
|
|
struct AlignmentCalcImpl {
|
|
|
|
char x;
|
|
|
|
T t;
|
|
|
|
private:
|
|
|
|
AlignmentCalcImpl() {} // Never instantiate.
|
|
|
|
};
|
2009-02-20 22:51:36 +00:00
|
|
|
|
2007-10-17 20:56:47 +00:00
|
|
|
/// AlignOf - A templated class that contains an enum value representing
|
|
|
|
/// the alignment of the template argument. For example,
|
|
|
|
/// AlignOf<int>::Alignment represents the alignment of type "int". The
|
|
|
|
/// alignment calculated is the minimum alignment, and not necessarily
|
|
|
|
/// the "desired" alignment returned by GCC's __alignof__ (for example). Note
|
|
|
|
/// that because the alignment is an enum value, it can be used as a
|
|
|
|
/// compile-time constant (e.g., for template instantiation).
|
|
|
|
template <typename T>
|
|
|
|
struct AlignOf {
|
2008-05-05 18:30:58 +00:00
|
|
|
enum { Alignment =
|
|
|
|
static_cast<unsigned int>(sizeof(AlignmentCalcImpl<T>) - sizeof(T)) };
|
2008-04-28 17:58:20 +00:00
|
|
|
|
2008-02-11 17:24:50 +00:00
|
|
|
enum { Alignment_GreaterEqual_2Bytes = Alignment >= 2 ? 1 : 0 };
|
|
|
|
enum { Alignment_GreaterEqual_4Bytes = Alignment >= 4 ? 1 : 0 };
|
|
|
|
enum { Alignment_GreaterEqual_8Bytes = Alignment >= 8 ? 1 : 0 };
|
|
|
|
enum { Alignment_GreaterEqual_16Bytes = Alignment >= 16 ? 1 : 0 };
|
2009-02-20 22:51:36 +00:00
|
|
|
|
2008-04-28 17:58:20 +00:00
|
|
|
enum { Alignment_LessEqual_2Bytes = Alignment <= 2 ? 1 : 0 };
|
2009-02-20 22:51:36 +00:00
|
|
|
enum { Alignment_LessEqual_4Bytes = Alignment <= 4 ? 1 : 0 };
|
2008-04-28 17:58:20 +00:00
|
|
|
enum { Alignment_LessEqual_8Bytes = Alignment <= 8 ? 1 : 0 };
|
|
|
|
enum { Alignment_LessEqual_16Bytes = Alignment <= 16 ? 1 : 0 };
|
|
|
|
|
2007-10-17 20:56:47 +00:00
|
|
|
};
|
2007-10-17 22:08:55 +00:00
|
|
|
|
2010-12-07 18:11:54 +00:00
|
|
|
/// alignOf - A templated function that returns the minimum alignment of
|
2007-10-17 22:08:55 +00:00
|
|
|
/// of a type. This provides no extra functionality beyond the AlignOf
|
|
|
|
/// class besides some cosmetic cleanliness. Example usage:
|
2010-10-30 05:14:01 +00:00
|
|
|
/// alignOf<int>() returns the alignment of an int.
|
2007-10-17 22:08:55 +00:00
|
|
|
template <typename T>
|
2012-06-20 08:39:33 +00:00
|
|
|
inline unsigned alignOf() { return AlignOf<T>::Alignment; }
|
2009-02-20 22:51:36 +00:00
|
|
|
|
2012-06-16 08:52:57 +00:00
|
|
|
|
|
|
|
/// \brief Helper for building an aligned character array type.
|
|
|
|
///
|
|
|
|
/// This template is used to explicitly build up a collection of aligned
|
|
|
|
/// character types. We have to build these up using a macro and explicit
|
|
|
|
/// specialization to cope with old versions of MSVC and GCC where only an
|
|
|
|
/// integer literal can be used to specify an alignment constraint. Once built
|
|
|
|
/// up here, we can then begin to indirect between these using normal C++
|
|
|
|
/// template parameters.
|
2012-09-14 22:26:11 +00:00
|
|
|
template <size_t Alignment> struct AlignedCharArrayImpl;
|
2012-08-24 09:53:43 +00:00
|
|
|
|
|
|
|
// MSVC requires special handling here.
|
|
|
|
#ifndef _MSC_VER
|
|
|
|
|
2012-06-25 05:20:13 +00:00
|
|
|
#if __has_feature(cxx_alignas)
|
2012-06-16 08:52:57 +00:00
|
|
|
#define LLVM_ALIGNEDCHARARRAY_TEMPLATE_ALIGNMENT(x) \
|
|
|
|
template <> struct AlignedCharArrayImpl<x> { \
|
2012-09-14 22:26:11 +00:00
|
|
|
char alignas(x) aligned; \
|
2012-06-16 08:52:57 +00:00
|
|
|
}
|
2012-10-31 00:54:26 +00:00
|
|
|
#elif defined(__GNUC__) || defined(__IBM_ATTRIBUTES)
|
2012-06-16 08:52:57 +00:00
|
|
|
#define LLVM_ALIGNEDCHARARRAY_TEMPLATE_ALIGNMENT(x) \
|
|
|
|
template <> struct AlignedCharArrayImpl<x> { \
|
2012-09-14 22:26:11 +00:00
|
|
|
char aligned __attribute__((aligned(x))); \
|
2012-06-16 08:52:57 +00:00
|
|
|
}
|
|
|
|
#else
|
|
|
|
# error No supported align as directive.
|
|
|
|
#endif
|
|
|
|
|
|
|
|
LLVM_ALIGNEDCHARARRAY_TEMPLATE_ALIGNMENT(1);
|
|
|
|
LLVM_ALIGNEDCHARARRAY_TEMPLATE_ALIGNMENT(2);
|
|
|
|
LLVM_ALIGNEDCHARARRAY_TEMPLATE_ALIGNMENT(4);
|
|
|
|
LLVM_ALIGNEDCHARARRAY_TEMPLATE_ALIGNMENT(8);
|
|
|
|
LLVM_ALIGNEDCHARARRAY_TEMPLATE_ALIGNMENT(16);
|
|
|
|
LLVM_ALIGNEDCHARARRAY_TEMPLATE_ALIGNMENT(32);
|
|
|
|
LLVM_ALIGNEDCHARARRAY_TEMPLATE_ALIGNMENT(64);
|
|
|
|
LLVM_ALIGNEDCHARARRAY_TEMPLATE_ALIGNMENT(128);
|
|
|
|
LLVM_ALIGNEDCHARARRAY_TEMPLATE_ALIGNMENT(512);
|
|
|
|
LLVM_ALIGNEDCHARARRAY_TEMPLATE_ALIGNMENT(1024);
|
|
|
|
LLVM_ALIGNEDCHARARRAY_TEMPLATE_ALIGNMENT(2048);
|
|
|
|
LLVM_ALIGNEDCHARARRAY_TEMPLATE_ALIGNMENT(4096);
|
|
|
|
LLVM_ALIGNEDCHARARRAY_TEMPLATE_ALIGNMENT(8192);
|
2012-08-24 09:53:43 +00:00
|
|
|
|
|
|
|
#undef LLVM_ALIGNEDCHARARRAY_TEMPLATE_ALIGNMENT
|
|
|
|
|
|
|
|
#else // _MSC_VER
|
|
|
|
|
|
|
|
// We provide special variations of this template for the most common
|
|
|
|
// alignments because __declspec(align(...)) doesn't actually work when it is
|
|
|
|
// a member of a by-value function argument in MSVC, even if the alignment
|
|
|
|
// request is something reasonably like 8-byte or 16-byte.
|
2012-09-14 22:26:11 +00:00
|
|
|
template <> struct AlignedCharArrayImpl<1> { char aligned; };
|
|
|
|
template <> struct AlignedCharArrayImpl<2> { short aligned; };
|
|
|
|
template <> struct AlignedCharArrayImpl<4> { int aligned; };
|
|
|
|
template <> struct AlignedCharArrayImpl<8> { double aligned; };
|
2012-08-24 09:53:43 +00:00
|
|
|
|
|
|
|
#define LLVM_ALIGNEDCHARARRAY_TEMPLATE_ALIGNMENT(x) \
|
|
|
|
template <> struct AlignedCharArrayImpl<x> { \
|
2012-09-14 22:26:11 +00:00
|
|
|
__declspec(align(x)) char aligned; \
|
2012-08-24 09:53:43 +00:00
|
|
|
}
|
|
|
|
LLVM_ALIGNEDCHARARRAY_TEMPLATE_ALIGNMENT(16);
|
|
|
|
LLVM_ALIGNEDCHARARRAY_TEMPLATE_ALIGNMENT(32);
|
|
|
|
LLVM_ALIGNEDCHARARRAY_TEMPLATE_ALIGNMENT(64);
|
|
|
|
LLVM_ALIGNEDCHARARRAY_TEMPLATE_ALIGNMENT(128);
|
|
|
|
LLVM_ALIGNEDCHARARRAY_TEMPLATE_ALIGNMENT(512);
|
|
|
|
LLVM_ALIGNEDCHARARRAY_TEMPLATE_ALIGNMENT(1024);
|
|
|
|
LLVM_ALIGNEDCHARARRAY_TEMPLATE_ALIGNMENT(2048);
|
|
|
|
LLVM_ALIGNEDCHARARRAY_TEMPLATE_ALIGNMENT(4096);
|
|
|
|
LLVM_ALIGNEDCHARARRAY_TEMPLATE_ALIGNMENT(8192);
|
2012-06-16 08:52:57 +00:00
|
|
|
// Any larger and MSVC complains.
|
|
|
|
#undef LLVM_ALIGNEDCHARARRAY_TEMPLATE_ALIGNMENT
|
|
|
|
|
2012-08-24 09:53:43 +00:00
|
|
|
#endif // _MSC_VER
|
|
|
|
|
2012-08-17 01:47:25 +00:00
|
|
|
/// \brief This union template exposes a suitably aligned and sized character
|
|
|
|
/// array member which can hold elements of any of up to four types.
|
2012-06-16 08:52:57 +00:00
|
|
|
///
|
|
|
|
/// These types may be arrays, structs, or any other types. The goal is to
|
|
|
|
/// produce a union type containing a character array which, when used, forms
|
|
|
|
/// storage suitable to placement new any of these types over. Support for more
|
|
|
|
/// than four types can be added at the cost of more boiler plate.
|
|
|
|
template <typename T1,
|
|
|
|
typename T2 = char, typename T3 = char, typename T4 = char>
|
2012-08-17 01:47:25 +00:00
|
|
|
union AlignedCharArrayUnion {
|
|
|
|
private:
|
2012-06-16 08:52:57 +00:00
|
|
|
class AlignerImpl {
|
|
|
|
T1 t1; T2 t2; T3 t3; T4 t4;
|
|
|
|
|
|
|
|
AlignerImpl(); // Never defined or instantiated.
|
|
|
|
};
|
|
|
|
union SizerImpl {
|
|
|
|
char arr1[sizeof(T1)], arr2[sizeof(T2)], arr3[sizeof(T3)], arr4[sizeof(T4)];
|
|
|
|
};
|
|
|
|
|
|
|
|
public:
|
2012-08-17 01:47:25 +00:00
|
|
|
/// \brief The character array buffer for use by clients.
|
|
|
|
///
|
|
|
|
/// No other member of this union should be referenced. The exist purely to
|
|
|
|
/// constrain the layout of this character array.
|
|
|
|
char buffer[sizeof(SizerImpl)];
|
|
|
|
|
2012-09-14 22:26:11 +00:00
|
|
|
private:
|
|
|
|
// Tests seem to indicate that both Clang and GCC will properly register the
|
|
|
|
// alignment of a struct containing an aligned member, and this alignment
|
|
|
|
// should carry over to the character array in the union.
|
|
|
|
llvm::AlignedCharArrayImpl<AlignOf<AlignerImpl>::Alignment> nonce_member;
|
2012-06-16 08:52:57 +00:00
|
|
|
};
|
|
|
|
|
2007-10-17 20:56:47 +00:00
|
|
|
} // end namespace llvm
|
|
|
|
#endif
|