mc2lib
|
#include <algorithm>
#include <random>
#include <stdexcept>
#include "../cats.hpp"
#include "../compiler.hpp"
Go to the source code of this file.
Namespaces | |
mc2lib | |
mc2lib::codegen | |
Code generation for memory consistency verification. | |
mc2lib::codegen::armv7 | |
Implementations of Operations for ARMv7 (incomplete). | |
Macros | |
#define | ASM_PRELUDE char *cnext__ = static_cast<char *>(code); |
#define | ASM_LEN (static_cast<std::size_t>(cnext__ - static_cast<char *>(code))) |
#define | ASM_AT (start + ASM_LEN) |
#define | ASM16(v) |
#define | ASM_PROLOGUE return ASM_LEN; |
Typedefs | |
typedef Op< Backend, EvtStateCats > | mc2lib::codegen::armv7::Operation |
typedef MemOp< Backend, EvtStateCats > | mc2lib::codegen::armv7::MemOperation |
typedef NullOp< Backend, EvtStateCats > | mc2lib::codegen::armv7::NullOperation |
#define ASM16 | ( | v | ) |
#define ASM_AT (start + ASM_LEN) |
#define ASM_LEN (static_cast<std::size_t>(cnext__ - static_cast<char *>(code))) |
#define ASM_PRELUDE char *cnext__ = static_cast<char *>(code); |
#define ASM_PROLOGUE return ASM_LEN; |