config.h File Reference

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

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   " --object-bits n number of bits used for object addresses\n"

Variables
configt	config

Macro Definition Documentation

HELP_CONFIG_BACKEND

#define HELP_CONFIG_BACKEND   " --object-bits n number of bits used for object addresses\n"

Definition at line 111 of file config.h.

HELP_CONFIG_C_CPP

#define HELP_CONFIG_C_CPP

Value:

  " -I path                      set include path (C/C++)\n"                   \
  " --include file               set include file (C/C++)\n"                   \
  " -D macro                     define preprocessor macro (C/C++)\n"          \
  " --c89, --c99, --c11          set C language standard (default: "           \
                                 << (configt::ansi_ct::default_c_standard()==  \
                                     configt::ansi_ct::c_standardt::C89?"c89": \
                                     configt::ansi_ct::default_c_standard()==  \
                                     configt::ansi_ct::c_standardt::C99?"c99": \
                                     configt::ansi_ct::default_c_standard()==  \
                          configt::ansi_ct::c_standardt::C11?"c11":"") << ")\n"\
  " --cpp98, --cpp03, --cpp11    set C++ language standard (default: "         \
                                 << (configt::cppt::default_cpp_standard()==   \
                                   configt::cppt::cpp_standardt::CPP98?"cpp98":\
                                     configt::cppt::default_cpp_standard()==   \
                                   configt::cppt::cpp_standardt::CPP03?"cpp03":\
                                     configt::cppt::default_cpp_standard()==   \
                       configt::cppt::cpp_standardt::CPP11?"cpp11":"") << ")\n"\
  " --unsigned-char              make \"char\" unsigned by default\n"          \
  " --round-to-nearest, --round-to-even\n"                                     \
  "                              rounding towards nearest even (default)\n"    \
  " --round-to-plus-inf          rounding towards plus infinity\n"             \
  " --round-to-minus-inf         rounding towards minus infinity\n"            \
  " --round-to-zero              rounding towards zero\n"                      \
  " --no-library                 disable built-in abstract C library\n"        \

Definition at line 33 of file config.h.

HELP_CONFIG_LIBRARY

#define HELP_CONFIG_LIBRARY

Value:

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

Definition at line 64 of file config.h.

HELP_CONFIG_PLATFORM

#define HELP_CONFIG_PLATFORM

Value:

  " --arch <arch>                set architecture (default: "                  \
                                 << configt::this_architecture() << ")\n"      \
  "                              to one of: alpha, arm, arm64, armel, armhf,\n"\
  "                              hppa, i386, ia64, mips, mips64, mips64el,\n"  \
  "                              mipsel, mipsn32, mipsn32el, powerpc, ppc64,\n"\
  "                              ppc64le, riscv64, s390, s390x, sh4, sparc,\n" \
  "                              sparc64, v850, x32, x86_64, or none\n"        \
  " --os <os>                    set operating system (default: "              \
                                 << configt::this_operating_system() << ")\n"  \
  "                              to one of: freebsd, linux, macos, solaris,\n" \
  "                              or windows\n"                                 \
  " --i386-linux, --i386-win32, --i386-macos, --ppc-macos\n"                   \
  "   --win32, --winx64          set architecture and operating system\n"      \
  " --LP64, --ILP64, --LLP64,\n"                                               \
  "   --ILP32, --LP32            set width of int, long and pointers, but\n"   \
  "                              don't override default architecture and\n"    \
  "                              operating system\n"                           \
  " --16, --32, --64             equivalent to --LP32, --ILP32, --LP64 (on\n"  \
  "                              Windows: --LLP64)\n"                          \
  " --little-endian              allow little-endian word-byte conversions\n"  \
  " --big-endian                 allow big-endian word-byte conversions\n"     \
  " --gcc                        use GCC as preprocessor\n"                    \

Definition at line 84 of file config.h.

OPT_CONFIG_BACKEND

#define OPT_CONFIG_BACKEND   "(object-bits):" \

Definition at line 108 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 25 of file config.h.

OPT_CONFIG_JAVA

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

Definition at line 71 of file config.h.

OPT_CONFIG_LIBRARY

#define OPT_CONFIG_LIBRARY

Value:

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

Definition at line 60 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 75 of file config.h.

Variable Documentation

config

configt config

Definition at line 25 of file config.cpp.