vyre-lower 0.6.2

Substrate-neutral lowering: vyre Program → KernelDescriptor consumed by vyre-emit-* crates.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

//! Weir alias-fact import boundary for descriptor rewrites.
//!
//! Vyre's rewrite legality checks consume substrate-neutral alias facts.
//! This module gives Weir integrations an explicit API surface while
//! preserving the canonical fact representation used by the existing passes.

pub use crate::analyses::alias_facts::{AliasFactSet, NoAliasFact};

#[cfg(test)]
mod tests {
    use super::*;

    #[test]
    fn weir_alias_api_preserves_bidirectional_no_alias_facts() {
        let mut facts = AliasFactSet::default();
        facts.insert_no_alias(NoAliasFact {
            left_binding: 0,
            left_index: 10,
            right_binding: 1,
            right_index: 20,
        });

        assert!(facts.proves_no_alias(0, 10, 1, 20));
        assert!(facts.proves_no_alias(1, 20, 0, 10));
    }
}