Skip to content

G
gdsl-toolkit
Commit 6b25734e authored by Julian Kranz's avatar Julian Kranz
Browse files
Options

Liveness

parent 6b1275bf
Hide whitespace changes
Inline Side-by-side
Showing with 2 additions and 0 deletions
specifications/rreil/rreil-liveness.ml
View file @ 6b25734e
......@@ -116,6 +116,7 @@ val lv-gen gens stmt =
| SEM_CBRANCH x: visit-flow 1 gens x
| SEM_FLOP x: lv-union (visit-semvar gens (sizeof-id x.flags.id) x.flags) (visit-semvarls visit-semvar gens x.rhs)
| SEM_PRIM x: visit-semvarls visit-semvar gens x.rhs
| SEM_THROW x: gens
# | SEM_LABEL x: gens
# | SEM_IF_GOTO_LABEL x: visit-lin gens 1 x.cond
# | SEM_IF_GOTO x: visit-flow gens x
......@@ -337,6 +338,7 @@ val lv-analyze initial-live stack =
| SEM_ASSIGN y: cont (lv-kill1 x.hd) (lvstate-eval state x.hd)
| SEM_FLOP y: cont (lv-kill1 x.hd) (lvstate-eval state x.hd)
| SEM_PRIM y: cont (lv-kill1 x.hd) (lvstate-eval state x.hd)
| SEM_THROW y: cont (lv-kill1 x.hd) (lvstate-eval state x.hd)
end
end
end
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment