mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Improve docs for GenKill and GenKillSet

Browse Source
This commit is contained in:
Dylan MacKenzie 2020-01-14 15:05:16 -08:00
parent 2727f10b21
commit b70898d5ee
1 changed files with 8 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
src/librustc_mir/dataflow/generic/mod.rs
View File

@ -273,21 +273,19 @@ fn apply_call_return_effect(
}
/// The legal operations for a transfer function in a gen/kill problem.
pub trait GenKill<T>: Sized {
/// Inserts `elem` into the `gen` set, removing it the `kill` set if present.
pub trait GenKill<T> {
/// Inserts `elem` into the state vector.
fn gen(&mut self, elem: T);
/// Inserts `elem` into the `kill` set, removing it the `gen` set if present.
/// Removes `elem` from the state vector.
fn kill(&mut self, elem: T);
/// Inserts the given elements into the `gen` set, removing them from the `kill` set if present.
fn gen_all(&mut self, elems: impl IntoIterator<Item = T>) {
for elem in elems {
self.gen(elem);
}
}
/// Inserts the given elements into the `kill` set, removing them from the `gen` set if present.
fn kill_all(&mut self, elems: impl IntoIterator<Item = T>) {
for elem in elems {
self.kill(elem);
@ -296,6 +294,10 @@ fn kill_all(&mut self, elems: impl IntoIterator<Item = T>) {
}
/// Stores a transfer function for a gen/kill problem.
///
/// Calling `gen`/`kill` on a `GenKillSet` will "build up" a transfer function so that it can be
/// applied to a state vector efficiently. When there are multiple calls to `gen` and/or `kill` for
/// the same element, the most recent one takes precedence.
#[derive(Clone)]
pub struct GenKillSet<T: Idx> {
gen: HybridBitSet<T>,
@ -311,7 +313,7 @@ pub fn identity(universe: usize) -> Self {
}
}
/// Applies this transfer function to the given bitset.
/// Applies this transfer function to the given state vector.
pub fn apply(&self, state: &mut BitSet<T>) {
state.union(&self.gen);
state.subtract(&self.kill);