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

provides the new liveness analysis #1446

Merged
merged 2 commits into from
Mar 16, 2022
Merged

provides the new liveness analysis #1446

merged 2 commits into from
Mar 16, 2022

Commits on Mar 15, 2022

  1. provides the new liveness analysis 

    The new liveness analysis works with functions in the SSA and non-SSA
form and provides the extended interface that gives an easy access to
live-ins, liveouts, live and dead blocks.

The phi-nodes semantics is clearly specified and the `Blk.free_vars`
function is updated to be in line with the semantics of the SSA
nodes. The printing function of the phi-nodes is also updated. To
reflect that the phi-node is not an assignment but a selection, we use
the `<-` symbol instead of `:=` to separate the asignment operand from
the right-hand side.
    @ivg
    ivg committed Mar 15, 2022
    Configuration menu
    Copy the full SHA
    28f7a25 View commit details
    Browse the repository at this point in the history

  2. refines the definition of live-out

    @ivg
    ivg committed Mar 15, 2022
    Configuration menu
    Copy the full SHA
    d1772a3 View commit details
    Browse the repository at this point in the history