config.h File Reference

#include "ieee_float.h"
#include "irep.h"
#include <list>
#include <optional>

Include dependency graph for config.h:

Go to the source code of this file.

Classes
class	configt
	Globally accessible architectural configuration. More...
struct	configt::ansi_ct
struct	configt::cppt
struct	configt::verilogt
struct	configt::javat
struct	configt::bv_encodingt

Macros
#define	OPT_CONFIG_C_CPP
#define	HELP_CONFIG_C_CPP
#define	OPT_CONFIG_LIBRARY
#define	HELP_CONFIG_LIBRARY
#define	OPT_CONFIG_JAVA   "(classpath)(cp)(main-class)"
#define	OPT_CONFIG_PLATFORM
#define	HELP_CONFIG_PLATFORM
#define	OPT_CONFIG_BACKEND   "(object-bits):"
#define	HELP_CONFIG_BACKEND    " {y--object-bits} {un} \t number of bits used for object addresses\n"

Variables
configt	config

Macro Definition Documentation

HELP_CONFIG_BACKEND

#define HELP_CONFIG_BACKEND    " {y--object-bits} {un} \t number of bits used for object addresses\n"

Definition at line 126 of file config.h.

HELP_CONFIG_C_CPP

#define HELP_CONFIG_C_CPP

Definition at line 32 of file config.h.

HELP_CONFIG_LIBRARY

#define HELP_CONFIG_LIBRARY

Value:

  " {y--malloc-may-fail} \t allow malloc calls to return a null pointer\n"     \
  " {y--no-malloc-may-fail} \t disable potential malloc failure\n"             \
  " {y--malloc-fail-assert} \t "                                               \
  "set malloc failure mode to assert-then-assume\n"                            \
  " {y--malloc-fail-null} \t set malloc failure mode to return null\n"         \
  " {y--string-abstraction} \t track C string lengths and zero-termination\n"

Definition at line 77 of file config.h.

HELP_CONFIG_PLATFORM

#define HELP_CONFIG_PLATFORM

Value:

  " {y--arch} {uarch_name} \t "                                                \
  "set architecture (default: " +                                              \
    id2string(configt::this_architecture()) +                                  \
    ") to one of: {yalpha}, {yarm}, {yarm64}, {yarmel}, {yarmhf}, {yhppa}, "   \
    "{yi386}, {yia64}, {ymips}, {ymips64}, {ymips64el}, {ymipsel}, "           \
    "{ymipsn32}, "                                                             \
    "{ymipsn32el}, {ypowerpc}, {yppc64}, {yppc64le}, {yriscv64}, {ys390}, "    \
    "{ys390x}, {ysh4}, {ysparc}, {ysparc64}, {yv850}, {yx32}, {yx86_64}, or "  \
    "{ynone}\n"                                                                \
    " {y--os} {uos_name} \t "                                                  \
    "set operating system (default: " +                                        \
    id2string(configt::this_operating_system()) +                              \
    ") to one of: {yfreebsd}, {ylinux}, {ymacos}, {ynetbsd}, {yopenbsd}, "     \
    "{ysolaris}, {yhurd}, or {ywindows}\n"                                     \
    " {y--i386-linux}, {y--i386-win32}, {y--i386-macos}, {y--ppc-macos}, "     \
    "{y--win32}, {y--winx64} \t "                                              \
    "set architecture and operating system\n"                                  \
    " {y--LP64}, {y--ILP64}, {y--LLP64}, {y--ILP32}, {y--LP32} \t "            \
    "set width of int, long and pointers, but don't override default "         \
    "architecture and operating system\n"                                      \
    " {y--16}, {y--32}, {y--64} \t "                                           \
    "equivalent to {y--LP32}, {y--ILP32}, {y--LP64} (on Windows: "             \
    "{y--LLP64})\n"                                                            \
    " {y--little-endian} \t allow little-endian word-byte conversions\n"       \
    " {y--big-endian} \t allow big-endian word-byte conversions\n"             \
    " {y--gcc} \t use GCC as preprocessor\n"

Definition at line 96 of file config.h.

OPT_CONFIG_BACKEND

#define OPT_CONFIG_BACKEND   "(object-bits):"

Definition at line 124 of file config.h.

OPT_CONFIG_C_CPP

#define OPT_CONFIG_C_CPP

Value:

  "D:I:(include)(function)"                                                    \
  "(c89)(c99)(c11)(cpp98)(cpp03)(cpp11)"                                       \
  "(unsigned-char)"                                                            \
  "(round-to-even)(round-to-nearest)"                                          \
  "(round-to-plus-inf)(round-to-minus-inf)(round-to-zero)"                     \
  "(no-library)"

Definition at line 24 of file config.h.

OPT_CONFIG_JAVA

#define OPT_CONFIG_JAVA   "(classpath)(cp)(main-class)"

Definition at line 85 of file config.h.

OPT_CONFIG_LIBRARY

#define OPT_CONFIG_LIBRARY

Value:

  "(malloc-fail-assert)(malloc-fail-null)(malloc-may-fail)"                    \
  "(no-malloc-may-fail)"                                                       \
  "(string-abstraction)"

Definition at line 72 of file config.h.

OPT_CONFIG_PLATFORM

#define OPT_CONFIG_PLATFORM

Value:

  "(arch):(os):"                                                               \
  "(16)(32)(64)(LP64)(ILP64)(LLP64)(ILP32)(LP32)"                              \
  "(little-endian)(big-endian)"                                                \
  "(i386-linux)"                                                               \
  "(i386-win32)(win32)(winx64)"                                                \
  "(i386-macos)(ppc-macos)"                                                    \
  "(gcc)"

Definition at line 87 of file config.h.

Variable Documentation

config

configt config

extern

Definition at line 25 of file config.cpp.