1 2 3 4 5 6 7 8 9 10 11
use crate::ir::Expr; pub fn valid_window(window_size: u32) -> Expr { Expr::bitand( Expr::le( Expr::add(Expr::var("start"), Expr::u32(window_size)), Expr::buf_len("input"), ), Expr::lt(Expr::var("start"), Expr::buf_len("out")), ) }