Mercurial > projects > ldc
view dmd2/mars.h @ 1117:4c20fcc4252b
Fun with parameter attributes: For several of the "synthetic" parameters added
to D functions, we can apply noalias and nocapture. They are sret parameters,
'nest' pointers passed to nested functions, and _argptr:
Nocapture:
- Sret and nest are nocapture because they don't represent D-level variables,
and thus the callee can't (validly) obtain a pointer to them, let alone keep
it around after it returns.
- _argptr is nocapture because although the callee has access to it as a
pointer, that pointer is invalidated when it returns.
All three are noalias because they're function-local variables
- Sret and _argptr are noalias because they're freshly alloca'd memory only
used for a single function call that's not allowed to keep an aliasing
pointer to it around (since the parameter is nocapture).
- 'Nest' is noalias because the callee only ever has access to one such pointer
per parent function, and every parent function has a different one.
This commit also ensures attributes set on sret, _arguments and _argptr are
propagated to calls to such functions.
It also adds one exception to the general rule that attributes on function types
should propagate to calls: the type of a delegate's function pointer has a
'nest' parameter, but this can either be a true 'nest' (for delegates to nested
functions) or a 'this' (for delegates to member functions). Since 'this' is
neither noalias nor nocapture, and there's generally no way to tell which one it
is, we remove these attributes at the call site if the callee is a delegate.
author | Frits van Bommel <fvbommel wxs.nl> |
---|---|
date | Sat, 14 Mar 2009 22:15:31 +0100 |
parents | f0b6549055ab |
children | e40c65bd8c5d |
line wrap: on
line source
// Compiler implementation of the D programming language // Copyright (c) 1999-2007 by Digital Mars // All Rights Reserved // written by Walter Bright // http://www.digitalmars.com // License for redistribution is by either the Artistic License // in artistic.txt, or the GNU General Public License in gnu.txt. // See the included readme.txt for details. #ifndef DMD_MARS_H #define DMD_MARS_H #ifdef __DMC__ #pragma once #endif /* __DMC__ */ #include <stdint.h> #include <stdarg.h> #include <stddef.h> #define __STDC_FORMAT_MACROS 1 #include <inttypes.h> #include <stdarg.h> #ifdef __DMC__ #ifdef DEBUG #undef assert #define assert(e) (static_cast<void>((e) || (printf("assert %s(%d) %s\n", __FILE__, __LINE__, #e), halt()))) #endif #endif #ifdef IN_GCC /* Changes for the GDC compiler by David Friedman */ #endif #define BREAKABI 1 // 0 if not ready to break the ABI just yet #define STRUCTTHISREF V2 // if 'this' for struct is a reference, not a pointer struct Array; // LDC enum ARCH { ARCHinvalid, ARCHx86, ARCHx86_64, ARCHppc, ARCHppc_64, ARCHarm, ARCHthumb }; enum OUTPUTFLAG { OUTPUTFLAGno, OUTPUTFLAGdefault, // for the .o default OUTPUTFLAGset // for -output }; enum OS { OSinvalid, OSLinux, OSWindows, OSMacOSX, OSFreeBSD, OSSolaris, }; // Put command line switches in here struct Param { bool obj; // write object file bool link; // perform link bool verbose; // verbose compile char symdebug; // insert debug symbolic information bool optimize; // run optimizer char optimizeLevel; // optimization level ARCH cpu; // target CPU OS os; // target OS bool is64bit; // generate 64 bit code bool isLE; // generate little endian code bool useDeprecated; // allow use of deprecated features bool useAssert; // generate runtime code for assert()'s bool useInvariants; // generate class invariant checks bool useIn; // generate precondition checks bool useOut; // generate postcondition checks bool useArrayBounds; // generate array bounds checks bool useSwitchError; // check for switches without a default bool useUnitTests; // generate unittest code bool useInline; // inline expand functions bool warnings; // enable warnings bool safe; // enforce safe memory model char Dversion; // D version number char *argv0; // program name Array *imppath; // array of char*'s of where to look for import modules Array *fileImppath; // array of char*'s of where to look for file import modules char *objdir; // .obj file output directory char *objname; // .obj file output name bool doDocComments; // process embedded documentation comments char *docdir; // write documentation file to docdir directory char *docname; // write documentation file to docname Array *ddocfiles; // macro include files for Ddoc bool doHdrGeneration; // process embedded documentation comments char *hdrdir; // write 'header' file to docdir directory char *hdrname; // write 'header' file to docname unsigned debuglevel; // debug level Array *debugids; // debug identifiers unsigned versionlevel; // version level Array *versionids; // version identifiers bool dump_source; Array *defaultlibnames; // default libraries for non-debug builds Array *debuglibnames; // default libraries for debug builds char *xmlname; // filename for XML output // Hidden debug switches bool debuga; bool debugb; bool debugc; bool debugf; bool debugr; bool debugw; bool debugx; bool debugy; bool run; // run resulting executable // Linker stuff Array *objfiles; Array *linkswitches; Array *libfiles; char *deffile; char *resfile; char *exefile; // LDC stuff OUTPUTFLAG output_ll; OUTPUTFLAG output_bc; OUTPUTFLAG output_s; OUTPUTFLAG output_o; bool llvmInline; bool llvmAnnotate; bool useInlineAsm; // target stuff const char* llvmArch; const char *targetTriple; const char *dataLayout; }; struct Global { char *mars_ext; char *sym_ext; char *obj_ext; #if _WIN32 char *obj_ext_alt; #endif char *ll_ext; char *bc_ext; char *s_ext; char *doc_ext; // for Ddoc generated files char *ddoc_ext; // for Ddoc macro include files char *hdr_ext; // for D 'header' import files char *copyright; char *written; Array *path; // Array of char*'s which form the import lookup path Array *filePath; // Array of char*'s which form the file import lookup path int structalign; char *version; char *ldc_version; char *llvm_version; Param params; unsigned errors; // number of errors reported so far unsigned gag; // !=0 means gag reporting of errors Global(); }; extern Global global; /* Set if Windows Structured Exception Handling C extensions are supported. * Apparently, VC has dropped support for these? */ #define WINDOWS_SEH (_WIN32 && __DMC__) #if __GNUC__ //#define memicmp strncasecmp //#define stricmp strcasecmp #endif #ifdef __DMC__ typedef _Complex long double complex_t; #else #ifndef IN_GCC #include "complex_t.h" #endif #ifdef __APPLE__ //#include "complex.h"//This causes problems with include the c++ <complex> and not the C "complex.h" #define integer_t dmd_integer_t #endif #endif // Be careful not to care about sign when using integer_t typedef uint64_t integer_t; // Signed and unsigned variants typedef int64_t sinteger_t; typedef uint64_t uinteger_t; typedef int8_t d_int8; typedef uint8_t d_uns8; typedef int16_t d_int16; typedef uint16_t d_uns16; typedef int32_t d_int32; typedef uint32_t d_uns32; typedef int64_t d_int64; typedef uint64_t d_uns64; typedef float d_float32; typedef double d_float64; typedef long double d_float80; typedef d_uns8 d_char; typedef d_uns16 d_wchar; typedef d_uns32 d_dchar; #ifdef IN_GCC #include "d-gcc-real.h" #else typedef long double real_t; #endif // Modify OutBuffer::writewchar to write the correct size of wchar #if _WIN32 #define writewchar writeword #else // This needs a configuration test... #define writewchar write4 #endif #ifdef IN_GCC #include "d-gcc-complex_t.h" #endif // taken from GDC // for handling printf incompatibilities #if __MSVCRT__ #define PRIuSIZE "Iu" #define PRIxSIZE "Ix" #elif __MINGW32__ #define PRIuSIZE "u" #define PRIxSIZE "x" #else #define PRIuSIZE "zu" #define PRIxSIZE "zx" #endif struct Module; //typedef unsigned Loc; // file location struct Loc { char *filename; unsigned linnum; Loc() { linnum = 0; filename = NULL; } Loc(int x) { linnum = x; filename = NULL; } Loc(Module *mod, unsigned linnum); char *toChars() const; }; #ifndef GCC_SAFE_DMD #define TRUE 1 #define FALSE 0 #endif #define INTERFACE_OFFSET 0 // if 1, put classinfo as first entry // in interface vtbl[]'s #define INTERFACE_VIRTUAL 0 // 1 means if an interface appears // in the inheritance graph multiple // times, only one is used enum LINK { LINKdefault, LINKd, LINKc, LINKcpp, LINKwindows, LINKpascal, // LDC LINKintrinsic, }; enum DYNCAST { DYNCAST_OBJECT, DYNCAST_EXPRESSION, DYNCAST_DSYMBOL, DYNCAST_TYPE, DYNCAST_IDENTIFIER, DYNCAST_TUPLE, }; enum MATCH { MATCHnomatch, // no match MATCHconvert, // match with conversions #if DMDV2 MATCHconst, // match with conversion to const #endif MATCHexact // exact match }; void error(Loc loc, const char *format, ...); void verror(Loc loc, const char *format, va_list); void fatal(); void err_nomem(); void inifile(char *argv0, const char *inifile); void halt(); /*** Where to send error messages ***/ #if IN_GCC || IN_LLVM #define stdmsg stderr #else #define stdmsg stdout #endif #endif /* DMD_MARS_H */