vize_l2 0.440.0

L2 - the Davinci semantic IR (codename Disegno): the neutral op family every input dialect lowers into
Documentation 
1
2
3
4
5
6
7
8
9
10
11

//! One unchanged shared retained-tree budget for ordinary and For walks.

use super::Resolver;

impl<'a, 'b, S> Resolver<'a, 'b, S> {
    #[inline(always)]
    pub(super) fn advance(&mut self, depth: usize) -> bool {
        self.visited += 1;
        depth <= 64 && self.visited <= 4096
    }
}