gmqcc/opts.def

/*
 * Copyright (C) 2012, 2013
 *     Wolfgang Bumiller
 *     Dale Weiler
 *
 * Permission is hereby granted, free of charge, to any person obtaining a copy of
 * this software and associated documentation files (the "Software"), to deal in
 * the Software without restriction, including without limitation the rights to
 * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies
 * of the Software, and to permit persons to whom the Software is furnished to do
 * so, subject to the following conditions:
 *
 * The above copyright notice and this permission notice shall be included in all
 * copies or substantial portions of the Software.
 *
 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
 * SOFTWARE.
 */
#ifndef GMQCC_DEFINE_FLAG
#   define GMQCC_DEFINE_FLAG(x)
#endif

/* codegen flags */
#ifdef GMQCC_TYPE_FLAGS
    GMQCC_DEFINE_FLAG(DARKPLACES_STRING_TABLE_BUG)
    GMQCC_DEFINE_FLAG(ADJUST_VECTOR_FIELDS)
    GMQCC_DEFINE_FLAG(FTEPP)
    GMQCC_DEFINE_FLAG(FTEPP_PREDEFS)
    GMQCC_DEFINE_FLAG(RELAXED_SWITCH)
    GMQCC_DEFINE_FLAG(SHORT_LOGIC)
    GMQCC_DEFINE_FLAG(PERL_LOGIC)
    GMQCC_DEFINE_FLAG(TRANSLATABLE_STRINGS)
    GMQCC_DEFINE_FLAG(INITIALIZED_NONCONSTANTS)
    GMQCC_DEFINE_FLAG(ASSIGN_FUNCTION_TYPES)
    GMQCC_DEFINE_FLAG(LNO)
    GMQCC_DEFINE_FLAG(CORRECT_TERNARY)
    GMQCC_DEFINE_FLAG(SINGLE_VECTOR_DEFS)
    GMQCC_DEFINE_FLAG(CORRECT_LOGIC)
    GMQCC_DEFINE_FLAG(TRUE_EMPTY_STRINGS)
    GMQCC_DEFINE_FLAG(FALSE_EMPTY_STRINGS)
    GMQCC_DEFINE_FLAG(UTF8)
    GMQCC_DEFINE_FLAG(BAIL_ON_WERROR)
    GMQCC_DEFINE_FLAG(LOOP_LABELS)
    GMQCC_DEFINE_FLAG(UNTYPED_NIL)
    GMQCC_DEFINE_FLAG(PERMISSIVE)
#endif

/* warning flags */
#ifdef GMQCC_TYPE_WARNS
    GMQCC_DEFINE_FLAG(DEBUG)
    GMQCC_DEFINE_FLAG(UNUSED_VARIABLE)
    GMQCC_DEFINE_FLAG(USED_UNINITIALIZED)
    GMQCC_DEFINE_FLAG(UNKNOWN_CONTROL_SEQUENCE)
    GMQCC_DEFINE_FLAG(EXTENSIONS)
    GMQCC_DEFINE_FLAG(FIELD_REDECLARED)
    GMQCC_DEFINE_FLAG(MISSING_RETURN_VALUES)
    GMQCC_DEFINE_FLAG(INVALID_PARAMETER_COUNT)
    GMQCC_DEFINE_FLAG(LOCAL_SHADOWS)
    GMQCC_DEFINE_FLAG(LOCAL_CONSTANTS)
    GMQCC_DEFINE_FLAG(VOID_VARIABLES)
    GMQCC_DEFINE_FLAG(IMPLICIT_FUNCTION_POINTER)
    GMQCC_DEFINE_FLAG(VARIADIC_FUNCTION)
    GMQCC_DEFINE_FLAG(FRAME_MACROS)
    GMQCC_DEFINE_FLAG(EFFECTLESS_STATEMENT)
    GMQCC_DEFINE_FLAG(END_SYS_FIELDS)
    GMQCC_DEFINE_FLAG(ASSIGN_FUNCTION_TYPES)
    GMQCC_DEFINE_FLAG(PREPROCESSOR)
    GMQCC_DEFINE_FLAG(MULTIFILE_IF)
    GMQCC_DEFINE_FLAG(DOUBLE_DECLARATION)
    GMQCC_DEFINE_FLAG(CONST_VAR)
    GMQCC_DEFINE_FLAG(MULTIBYTE_CHARACTER)
    GMQCC_DEFINE_FLAG(TERNARY_PRECEDENCE)
    GMQCC_DEFINE_FLAG(UNKNOWN_PRAGMAS)
    GMQCC_DEFINE_FLAG(UNREACHABLE_CODE)
    GMQCC_DEFINE_FLAG(CPP)
    GMQCC_DEFINE_FLAG(UNKNOWN_ATTRIBUTE)
    GMQCC_DEFINE_FLAG(RESERVED_NAMES)
    GMQCC_DEFINE_FLAG(UNINITIALIZED_CONSTANT)
    GMQCC_DEFINE_FLAG(UNINITIALIZED_GLOBAL)
    GMQCC_DEFINE_FLAG(DIFFERENT_QUALIFIERS)
    GMQCC_DEFINE_FLAG(DIFFERENT_ATTRIBUTES)
    GMQCC_DEFINE_FLAG(DEPRECATED)
    GMQCC_DEFINE_FLAG(PARENTHESIS)
#endif

#ifdef GMQCC_TYPE_OPTIMIZATIONS
    GMQCC_DEFINE_FLAG(PEEPHOLE,             1)
    GMQCC_DEFINE_FLAG(LOCAL_TEMPS,          3)
    GMQCC_DEFINE_FLAG(GLOBAL_TEMPS,         3)
    GMQCC_DEFINE_FLAG(TAIL_RECURSION,       1)
    GMQCC_DEFINE_FLAG(TAIL_CALLS,           2)
    GMQCC_DEFINE_FLAG(OVERLAP_LOCALS,       3)
    GMQCC_DEFINE_FLAG(STRIP_CONSTANT_NAMES, 1)
    GMQCC_DEFINE_FLAG(OVERLAP_STRINGS,      2)
    GMQCC_DEFINE_FLAG(CALL_STORES,          1)
    GMQCC_DEFINE_FLAG(VOID_RETURN,          1)
    GMQCC_DEFINE_FLAG(VECTOR_COMPONENTS,    1)
#endif

/* some cleanup so we don't have to */
#undef GMQCC_TYPE_FLAGS
#undef GMQCC_TYPE_WARNS
#undef GMQCC_DEFINE_FLAG
Make warns.def and flags.def into a single opts.def. 2012-11-10 21:13:09 +00:00			`/*`
Happy new years! 2013-01-01 05:08:55 +00:00			`* Copyright (C) 2012, 2013`
Make warns.def and flags.def into a single opts.def. 2012-11-10 21:13:09 +00:00			`* Wolfgang Bumiller`
			`* Dale Weiler`
			`*`
			`* Permission is hereby granted, free of charge, to any person obtaining a copy of`
			`* this software and associated documentation files (the "Software"), to deal in`
			`* the Software without restriction, including without limitation the rights to`
			`* use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies`
			`* of the Software, and to permit persons to whom the Software is furnished to do`
			`* so, subject to the following conditions:`
			`*`
			`* The above copyright notice and this permission notice shall be included in all`
			`* copies or substantial portions of the Software.`
			`*`
			`* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR`
			`* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,`
			`* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE`
			`* AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER`
			`* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,`
			`* OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE`
			`* SOFTWARE.`
			`*/`
			`#ifndef GMQCC_DEFINE_FLAG`
			`# define GMQCC_DEFINE_FLAG(x)`
			`#endif`

			`/* codegen flags */`
			`#ifdef GMQCC_TYPE_FLAGS`
			`GMQCC_DEFINE_FLAG(DARKPLACES_STRING_TABLE_BUG)`
			`GMQCC_DEFINE_FLAG(ADJUST_VECTOR_FIELDS)`
The ftepp now always outputs into a string buffer, with -E the buffer will be dumped to stdout or the via -o specified file, without -E it'll be passed to the parser to be compiled 2012-11-18 12:33:53 +00:00			`GMQCC_DEFINE_FLAG(FTEPP)`
Added ftepp predefs flag (ability to turn on/off predefs) disabled by default (even with -ftepp), enabled with -E, to enable use -fftepp-predefs. 2012-12-24 00:21:55 +00:00			`GMQCC_DEFINE_FLAG(FTEPP_PREDEFS)`
-frelaxed-switch to enable switch on non-constant cases 2012-11-19 21:27:58 +00:00			`GMQCC_DEFINE_FLAG(RELAXED_SWITCH)`
experimental -fshort-logic, currently perl-like - might have to use NOT(NOT(x)) to fix this 2012-11-21 15:08:08 +00:00			`GMQCC_DEFINE_FLAG(SHORT_LOGIC)`
-fperl-logic, off by default, so casting to boolean now 2012-11-21 18:40:11 +00:00			`GMQCC_DEFINE_FLAG(PERL_LOGIC)`
Guard translatable strings by -ftranslatable-strings, defaults to ON with -std=fteqcc 2012-11-25 17:25:01 +00:00			`GMQCC_DEFINE_FLAG(TRANSLATABLE_STRINGS)`
constant flag, -finitialized-nonconstants to turn initialized globals into mutable variables 2012-11-25 18:35:00 +00:00			`GMQCC_DEFINE_FLAG(INITIALIZED_NONCONSTANTS)`
introducing -fassign-function-types, previously guarded by std==qcc this is now the flag to cause a warning (-Wassign-function-types) instead of an error when assigning functions of wrong types 2012-11-25 22:27:48 +00:00			`GMQCC_DEFINE_FLAG(ASSIGN_FUNCTION_TYPES)`
All ir_instrs now get their lex-context, so that we can create an LNO file with -flno 2012-11-30 17:19:26 +00:00			`GMQCC_DEFINE_FLAG(LNO)`
-fcorrect-ternary; by default -std=fteqcc now uses fteqcc's wrong ternary precedence parsing 2012-12-01 12:42:16 +00:00			`GMQCC_DEFINE_FLAG(CORRECT_TERNARY)`
Revert "Fix FTFBS stuff" This reverts commit 2cc51b8eb060e6efab5b56cf471594911a79c5c1. 2012-12-19 21:15:38 +00:00			`GMQCC_DEFINE_FLAG(SINGLE_VECTOR_DEFS)`
Adding -fcorrect-logic, -ftrue-empty-strings, -ffalse-empty-strings flags; not used yet 2012-12-20 17:59:05 +00:00			`GMQCC_DEFINE_FLAG(CORRECT_LOGIC)`
			`GMQCC_DEFINE_FLAG(TRUE_EMPTY_STRINGS)`
			`GMQCC_DEFINE_FLAG(FALSE_EMPTY_STRINGS)`
-futf8 implementation 2012-12-22 21:34:57 +00:00			`GMQCC_DEFINE_FLAG(UTF8)`
-fbail-on-werror option 2012-12-27 11:46:36 +00:00			`GMQCC_DEFINE_FLAG(BAIL_ON_WERROR)`
parsing of loop labels 2012-12-27 22:43:20 +00:00			`GMQCC_DEFINE_FLAG(LOOP_LABELS)`
'nil' global with -funtyped-nil 2012-12-28 17:16:19 +00:00			`GMQCC_DEFINE_FLAG(UNTYPED_NIL)`
-Wreserved-names, -fpermissive allows local variables named 'nil' to be created even with -funtyped-nil, they supersede the global untyped 'nil' 2012-12-28 17:22:09 +00:00			`GMQCC_DEFINE_FLAG(PERMISSIVE)`
Make warns.def and flags.def into a single opts.def. 2012-11-10 21:13:09 +00:00			`#endif`

			`/* warning flags */`
			`#ifdef GMQCC_TYPE_WARNS`
			`GMQCC_DEFINE_FLAG(DEBUG)`
			`GMQCC_DEFINE_FLAG(UNUSED_VARIABLE)`
			`GMQCC_DEFINE_FLAG(USED_UNINITIALIZED)`
			`GMQCC_DEFINE_FLAG(UNKNOWN_CONTROL_SEQUENCE)`
			`GMQCC_DEFINE_FLAG(EXTENSIONS)`
			`GMQCC_DEFINE_FLAG(FIELD_REDECLARED)`
			`GMQCC_DEFINE_FLAG(MISSING_RETURN_VALUES)`
Changing -Wtoo-few-parameters to -Winvalid-parameter-count; removing hardcoded COMPILER_GMQCC code which makes invalid parameter counts an error and instead make -std=gmqcc imply -Werror-invalid-parameter-count 2012-12-31 11:29:25 +00:00			`GMQCC_DEFINE_FLAG(INVALID_PARAMETER_COUNT)`
Make warns.def and flags.def into a single opts.def. 2012-11-10 21:13:09 +00:00			`GMQCC_DEFINE_FLAG(LOCAL_SHADOWS)`
			`GMQCC_DEFINE_FLAG(LOCAL_CONSTANTS)`
			`GMQCC_DEFINE_FLAG(VOID_VARIABLES)`
			`GMQCC_DEFINE_FLAG(IMPLICIT_FUNCTION_POINTER)`
			`GMQCC_DEFINE_FLAG(VARIADIC_FUNCTION)`
			`GMQCC_DEFINE_FLAG(FRAME_MACROS)`
			`GMQCC_DEFINE_FLAG(EFFECTLESS_STATEMENT)`
			`GMQCC_DEFINE_FLAG(END_SYS_FIELDS)`
			`GMQCC_DEFINE_FLAG(ASSIGN_FUNCTION_TYPES)`
## concatenation, -Wpreprocessor warning about redefining macros, #undef 2012-11-16 21:54:59 +00:00			`GMQCC_DEFINE_FLAG(PREPROCESSOR)`
Since like with parsing, the preprocessor state has to be preserved across files for macros, we do that now, and with that introduce a new warning: -Wmultifile-if in case an #if spans over several command-line-provided source files (or progs.src file provided for that matter) 2012-11-18 10:54:11 +00:00			`GMQCC_DEFINE_FLAG(MULTIFILE_IF)`
warn about double function declarations... 2012-11-23 21:22:22 +00:00			`GMQCC_DEFINE_FLAG(DOUBLE_DECLARATION)`
-Wconst-var 2012-11-25 14:56:13 +00:00			`GMQCC_DEFINE_FLAG(CONST_VAR)`
handling TOKEN_CHARCONST - -Wmultibyte-character 2012-11-25 21:11:21 +00:00			`GMQCC_DEFINE_FLAG(MULTIBYTE_CHARACTER)`
-Wternary-precedence; sight this is tough 2012-12-01 11:35:46 +00:00			`GMQCC_DEFINE_FLAG(TERNARY_PRECEDENCE)`
Added -Wunknown-pragmas 2012-12-17 16:14:04 +00:00			`GMQCC_DEFINE_FLAG(UNKNOWN_PRAGMAS)`
Turn -fallow-unreachable-code into a -Wunreachable-code 2012-12-20 15:29:32 +00:00			`GMQCC_DEFINE_FLAG(UNREACHABLE_CODE)`
added -Wcpp (for turning off cpp warnings defined with #warning like GCC/clang/pathscale .. no more [-Wunused-variable]) 2012-12-21 03:12:58 +00:00			`GMQCC_DEFINE_FLAG(CPP)`
-Wunknown-attribute; and don't error on unknown attributes 2012-12-22 17:16:41 +00:00			`GMQCC_DEFINE_FLAG(UNKNOWN_ATTRIBUTE)`
-Wreserved-names, -fpermissive allows local variables named 'nil' to be created even with -funtyped-nil, they supersede the global untyped 'nil' 2012-12-28 17:22:09 +00:00			`GMQCC_DEFINE_FLAG(RESERVED_NAMES)`
-Wuninitialized-const, -Wuninitialized-global 2012-12-28 18:07:43 +00:00			`GMQCC_DEFINE_FLAG(UNINITIALIZED_CONSTANT)`
			`GMQCC_DEFINE_FLAG(UNINITIALIZED_GLOBAL)`
-Wdifferent-qualifiers, -Wdifferent-attributes 2012-12-29 16:36:27 +00:00			`GMQCC_DEFINE_FLAG(DIFFERENT_QUALIFIERS)`
			`GMQCC_DEFINE_FLAG(DIFFERENT_ATTRIBUTES)`
Implement [[deprecated]] general attribute, will mark functions as deprecated. Making calls to functions marked as such will trigger a compiler warning. Enabled by default. 2012-12-30 06:43:07 +00:00			`GMQCC_DEFINE_FLAG(DEPRECATED)`
Adding -Wparenthesis, fixing constant folding of && and \|\| 2012-12-31 10:11:46 +00:00			`GMQCC_DEFINE_FLAG(PARENTHESIS)`
Make warns.def and flags.def into a single opts.def. 2012-11-10 21:13:09 +00:00			`#endif`

-O now, additionally to taking a number, can work like -W and -f to take an actual optimization name 2012-11-30 10:05:58 +00:00			`#ifdef GMQCC_TYPE_OPTIMIZATIONS`
Added ftepp predefs flag (ability to turn on/off predefs) disabled by default (even with -ftepp), enabled with -E, to enable use -fftepp-predefs. 2012-12-24 00:21:55 +00:00			`GMQCC_DEFINE_FLAG(PEEPHOLE, 1)`
			`GMQCC_DEFINE_FLAG(LOCAL_TEMPS, 3)`
-Oglobal-temps 2012-12-26 22:18:45 +00:00			`GMQCC_DEFINE_FLAG(GLOBAL_TEMPS, 3)`
Added ftepp predefs flag (ability to turn on/off predefs) disabled by default (even with -ftepp), enabled with -E, to enable use -fftepp-predefs. 2012-12-24 00:21:55 +00:00			`GMQCC_DEFINE_FLAG(TAIL_RECURSION, 1)`
			`GMQCC_DEFINE_FLAG(TAIL_CALLS, 2)`
			`GMQCC_DEFINE_FLAG(OVERLAP_LOCALS, 3)`
-Ostrip-constant-names 2012-12-23 21:58:46 +00:00			`GMQCC_DEFINE_FLAG(STRIP_CONSTANT_NAMES, 1)`
The very aggressive -Ooverlap-strings 2012-12-25 19:38:05 +00:00			`GMQCC_DEFINE_FLAG(OVERLAP_STRINGS, 2)`
-Ocall-stores as part of -O1: instead of having CALL instructions issue STOREs for every parameter, use the newly introduced 'lock' flag to make the operations generating the call's parameters generate them right into the OFS_PARM if there's no interfering CALL in between 2012-12-25 22:25:59 +00:00			`GMQCC_DEFINE_FLAG(CALL_STORES, 1)`
-Ovoid-return - the last INSTR_RETURN of a void functions is replaced by INSTR_DONE to reduce the instruction count 2012-12-26 09:24:33 +00:00			`GMQCC_DEFINE_FLAG(VOID_RETURN, 1)`
-Ovector-components 2012-12-29 14:05:04 +00:00			`GMQCC_DEFINE_FLAG(VECTOR_COMPONENTS, 1)`
-O now, additionally to taking a number, can work like -W and -f to take an actual optimization name 2012-11-30 10:05:58 +00:00			`#endif`

Make warns.def and flags.def into a single opts.def. 2012-11-10 21:13:09 +00:00			`/* some cleanup so we don't have to */`
			`#undef GMQCC_TYPE_FLAGS`
			`#undef GMQCC_TYPE_WARNS`
			`#undef GMQCC_DEFINE_FLAG`