[Viuavm-commits] [SCM] Viua VM branch issue/ce6f5d82/rewrite-assembler updated. v0.9.0-2176-g2c45fe6

[git]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "Viua VM".

The branch, issue/ce6f5d82/rewrite-assembler has been updated
       via  2c45fe6ec374e52a7ef074722baa7d73db28188c (commit)
       via  9724aeaf8f43fc6d4d4f65b03769fffddfeb27fc (commit)
       via  68c91d2188245a79951f493208376ba4ec8891e8 (commit)
       via  117cd029d9cda9e0e9d18da12922daa8259bf31d (commit)
       via  bdd57d64adbf4bb6c58df881a3a5b91a3b67e204 (commit)
      from  0ed7a666db4c968eea9c761f8b47a637d0d764d2 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit 2c45fe6ec374e52a7ef074722baa7d73db28188c
Author: Marek Marecki <address@hidden>
Date:   Mon Sep 24 21:30:04 2018 +0200

    Analyse contents of integer values in comparison instructions

commit 9724aeaf8f43fc6d4d4f65b03769fffddfeb27fc
Author: Marek Marecki <address@hidden>
Date:   Mon Sep 24 21:27:37 2018 +0200

    Let `idec` and `iinc` mutate values

commit 68c91d2188245a79951f493208376ba4ec8891e8
Author: Marek Marecki <address@hidden>
Date:   Mon Sep 24 21:26:53 2018 +0200

    Record value mutations and let the SA use this information
    
    Mainly for better error reporting.

commit 117cd029d9cda9e0e9d18da12922daa8259bf31d
Author: Marek Marecki <address@hidden>
Date:   Mon Sep 24 21:25:46 2018 +0200

    Allow the SA to use the information about contents of the registers when 
available
    
    For now the SA will only analyse the contents of integer values.

commit bdd57d64adbf4bb6c58df881a3a5b91a3b67e204
Author: Marek Marecki <address@hidden>
Date:   Mon Sep 24 21:22:55 2018 +0200

    Add new error type for reporting useless comparisons
    
    When the SA is able to determine that the result of a comparison
    instruction (e.g. `lt` or `eq`) is known at compile-time it will issue a
    "useless comparison" error - and tell where the operands are defined and
    mutated.

-----------------------------------------------------------------------

Summary of changes:
 include/viua/tooling/errors/compile_time.h         |   1 +
 .../tooling/libs/static_analyser/static_analyser.h |  20 +++
 src/tooling/errors/compile_time.cpp                |   1 +
 .../libs/static_analyser/static_analyser.cpp       | 147 +++++++++++++++++++--
 4 files changed, 161 insertions(+), 8 deletions(-)


hooks/post-receive
-- 
Viua VM