set m_op as well when doing a-(-b) => a+b peephole

pass parent scope to parse_statement_or_block

previous behavior when parsing a statement where a block is typically expected would fail to associate the statement with the parent block it's in, resulting in variable declarations ending up in global scope.

this fixes #197

fix crash when cleaning up functions related to [[accumulate]]

new makefile

tests: xor peephole optimization regression test

Signed-off-by: Wolfgang Bumiller <wry.git@bumiller.com>

ir: fix generation of multi-op vinstrs

Do not assume that the destination is a temporary location,
as our peephole optimizer will break this. For example, the
following IR code (generated via from `x ^= gety()`):

    (0) binst6 <- BITXOR   x,      call5
    (0) x <- STORE_F       binst6

after peephole optimization becomes:

    (7) x <- BITXOR        x,      call5

Therefore we cannot assume that the output of the virtual
xor instruction can be utilized as a temporary value.

BITXOR becomes `(x | y) - (x & y)`, which would wrongly be
generated as:
    x = x | y;
    temp0 = x & y;
    x = x - temp0;

While this particular case can be fixed by using temp0 first
and then x, the cross-product case would not be so simple.

Signed-off-by: Wolfgang Bumiller <wry.git@bumiller.com>
Fixes #190

introduce another vinstr temp

Some vinstrs are currently broken when using peephole
optimization as they appear as writing to a temporary ssa
output before being stored into their real destination,
causing the store to be optimized out, but the generated
code relies on having the destination as another temporary
value available.

Let's just add a 2nd temp to be used in those cases.

Signed-off-by: Wolfgang Bumiller <wry.git@bumiller.com>

Merge pull request #187 from divVerent/patch-1

Fix printing of floating poing values in -dumpfin.

Fix printing of floating poing values in -dumpfin.

%g is not lossless for single precision floats - %.9g is (other than distinguishing NaNs, who cares).

fix __builtin_nan and add some missing builtins

fix octals

fixes for progs.src

Merge branch 'master' of github.com:graphitemaster/gmqcc

added -fdefault-eraseable which is the same as adding [[eraseable]] to all definitions
instead the opposite behavior can be controlled with [[noerase]] attribute

Delete .travis.yml

error if a function is called from global scope opposed to crashing

catch broken vector member access

These kinds of expressions currently cannot be handled
without pionter support in the qcvm without scanning the
ast from within ast_member::codegen for an assignments as
seen in the added test case.

This change makes code like that return a pointer type which
will cause an error that we did not get a vector or field
back. With pointer support this pointer could actually be
used instead.

So at least it shouldn't silently produce broken code
anymore.

Signed-off-by: Wolfgang Bumiller <wry.git@bumiller.com>

add variable search order test

Signed-off-by: Wolfgang Bumiller <wry.git@bumiller.com>

Make parser_find_local only actually search locals

Fixes #163
Signed-off-by: Wolfgang Bumiller <wry.git@bumiller.com>

Revert "search for funciton param first before function locals, this fixes #163"

This reverts commit 3cf2c52fce792af3e5cc5578b336de83217e625d.

fix some UB

search for funciton param first before function locals, this fixes #163

Merge branch 'master' of github.com:graphitemaster/gmqcc

don't generate storep for vector field unless it's an ent field

Merge pull request #177 from xonotic/terencehill/warning_removal

Get rid of a warning on Windows

Merge pull request #180 from xonotic/mem_leak_fix_on_failure_paths

two small memory leak fixes on failure paths

fix writing of globaldefs for vector subcomponents so that FTE field remapping works

fix member binops on entity fields to generate STOREP, this fixes stuff like ent.vec.x += value.

cleanup: 'move of a temporary object prevents copy elision'

move more parser code to c++, fix crashes with gcc

we initialized the parser with malloc -> memset to zero ->
placement new. With gcc the latter caused the memset to be
optimized out, causing uninitialized value accesses.

cleanup some silly more warnings

cleanup: silence fallthrough warnings

Get rid of a warning on Windows

tests: add check for vector negation

qcvm: add stov builtin #16

ir: fix vector negation using the nil value

We cannot use OFS_NULL as it is only a single value and
overlaps with OFS_RETURN.

two small memory leak fixes on failure paths

sanitize: shift 1u (unsigned) for flag bits

c++: exec.cpp

c++: ir_function::m_params

c++: ir: function_allocator

c++: ir_block::m_instr

c++: ir_block::m_exits

c++: ir_block::m_entries

Cleaner way to set the mask for -Wunused-component

Just mark LOCAL_RETURN noref instead of checking for '#' in the name

Remove parser m_uses in favor of {IR,AST}_FLAG_NOREF instead

Add -Wunused-component like -Wunused-variable but warns about unused components of vector

more intelligent handling of unused vector fields

Fix #158

Fix #161

Fix #171

Fix fieldfuncs test and track unused variables through writes as well.

Don't generate unused warnings for unused constants

fix access to fields of vector members

When ast_member encounters the result of an ast_entfield it
has to replace the ast_entfield's codegen as we cannot
evaluate the field access first.

We then perform the same action as ast_entfield but call
vectorMember on the field before issuing the load/address
instruction.

This effectively turns the codegen of the following ast
structure:
    member_of {
        field_of {
            entity,
            a_vector
        }
        memberid
    }
into the one of this structure:
    field_of {
        entity,
        member_of {
            a_vector
            memberid
        }
    }

Revert "Fix ent.vec.{x,y,z} writes"

This reverts commit ad1cfcfeaab754b3a7d34a152b0d334f7f040239.

Fix ent.vec.{x,y,z} writes

Unused globals even if they have an initial value should produce unused diagnostic

Warning

update .gitignore

Merge pull request #172 from TimePath/cmake

Add CMakeLists.txt

Add CMakeLists.txt

Fixes

eh

Fix makefile

Merge branch 'master' into cleanup

oops

Fix unary negation (-)

tempcommitting a whole bunch of to-c++ conversions

remove a bunch of unnecessary c-casts to ast_expression*

Merge branch 'cleanup' of git://github.com/graphitemaster/gmqcc into cleanup

fix std::string constructed from nullptr

ast_unary::make: safer double-negation optimization check

fix backward propagateSideEffect impl

destructor call order is important here

ir_instr_delete_quick needs to clear _m_ops

ast conversion mostly finished

Same on the cleanup branch

Don't allocate globals for constants that aren't read

Constant folding for strings

Merge branch 'cleanup' of github.com:graphitemaster/gmqcc into cleanup

Constant folding for string comparisons too

Fix for loops

For now

BROKEN: more ast nodes converted

add another test that we just didn't have anywhere else yet

BROKEN: in the middle of converting ast nodes to c++ with constructors and methods

a whole lotta 'm_'s

why didn't gcc catch that...

fix for loops

for now just call the dtors like this

more c++ migration for ast/ir/code; reached a working condition here

temp committing major c++ification

making ast nodes derive from ast_expression

this can be a move

ast_expression: params -> type_params

renaming ast_function::vtype to function_type

ast_expression now derives from ast_node

renaming some ast_node members before making ast_expression an ast_node to use the compiler to help find possible clashes

Rewrite constant folder in C++