Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Return to more structured type rules for block and if #1148

Merged
merged 8 commits into from
Sep 6, 2017
Merged

Return to more structured type rules for block and if #1148

merged 8 commits into from
Sep 6, 2017

Commits on Aug 25, 2017

  1. if a block has a concrete final element (or a break with a value), th… 

    …en even if it has an unreachable child, keep it with that concrete type. this means we no longe allow the silly case of a block with an unreachable in the middle and a concrete as the final element while the block is unreachable - after this change, the block would have the type of the final element
    @kripken
    kripken committed Aug 25, 2017
    Configuration menu
    Copy the full SHA
    0ece2b9 View commit details
    Browse the repository at this point in the history

Commits on Aug 27, 2017

  1. if an if has a concrete element in one arm, make it have that type as… 

    … a result, even if the if condition is unreachable, to parallel block
    @kripken
    kripken committed Aug 27, 2017
    Configuration menu
    Copy the full SHA
    d31d98e View commit details
    Browse the repository at this point in the history

  2. update TypeUpdater

    @kripken
    kripken committed Aug 27, 2017
    Configuration menu
    Copy the full SHA
    2f33046 View commit details
    Browse the repository at this point in the history

  3. spec fixes

    @kripken
    kripken committed Aug 27, 2017
    Configuration menu
    Copy the full SHA
    c40a872 View commit details
    Browse the repository at this point in the history

Commits on Aug 29, 2017

  1. make type rules for brs and switches simpler, ignore whether they are… 

    … taken or not. whether they are dead code should not affect how they influence other types in our IR

disable wasm2wasm tests FIXME
    @kripken
    kripken committed Aug 29, 2017
    Configuration menu
    Copy the full SHA
    2b73e69 View commit details
    Browse the repository at this point in the history

Commits on Aug 30, 2017

  1. don't optimize unreachable code in optimize-expressions (we don't wan… 

    …t to anyhow, and it's more complicated and error prone)
    @kripken
    kripken committed Aug 30, 2017
    Configuration menu
    Copy the full SHA
    1ae7726 View commit details
    Browse the repository at this point in the history

Commits on Sep 5, 2017

  1. Merge branch 'master' into no-concrete-final-if-block-is-not-concrete

    @kripken
    kripken committed Sep 5, 2017
    Configuration menu
    Copy the full SHA
    e5a7be1 View commit details
    Browse the repository at this point in the history

  2. update

    @kripken
    kripken committed Sep 5, 2017
    Configuration menu
    Copy the full SHA
    4ee9ef1 View commit details
    Browse the repository at this point in the history