A module for propagating forward dataflow information. The analysis
assumes that the items to be propagated can be represented as bits
and thus uses bitvectors. Your job is simply to specify the so-called
GEN and KILL bits for each expression.
EntryOrExit |
|
KillFrom |
Flag used by add_kill to indicate whether the provided kill
takes effect only when control flows directly through the node in
question, or if the kill's effect is associated with any
control-flow directly through or indirectly over the node.
|
Keyboard shortcuts
- ?
- Show this help dialog
- S
- Focus the search field
- ⇤
- Move up in search results
- ⇥
- Move down in search results
- ⏎
- Go to active search result
Search tricks
Prefix searches with a type followed by a colon (e.g.
fn:
) to restrict the search to a given type.
Accepted types are: fn
, mod
,
struct
, enum
,
trait
, typedef
(or
tdef
).