use crate::{Expr, Name};
use std::collections::HashMap;
#[allow(dead_code)]
pub struct WindowIterator<'a, T> {
pub(super) data: &'a [T],
pub(super) pos: usize,
pub(super) window: usize,
}
#[allow(dead_code)]
impl<'a, T> WindowIterator<'a, T> {
pub fn new(data: &'a [T], window: usize) -> Self {
Self {
data,
pos: 0,
window,
}
}
}
#[allow(dead_code)]
pub struct MinHeap<T: Ord> {
data: Vec<T>,
}
#[allow(dead_code)]
impl<T: Ord> MinHeap<T> {
pub fn new() -> Self {
Self { data: Vec::new() }
}
pub fn push(&mut self, val: T) {
self.data.push(val);
self.sift_up(self.data.len() - 1);
}
pub fn pop(&mut self) -> Option<T> {
if self.data.is_empty() {
return None;
}
let n = self.data.len();
self.data.swap(0, n - 1);
let min = self.data.pop();
if !self.data.is_empty() {
self.sift_down(0);
}
min
}
pub fn peek(&self) -> Option<&T> {
self.data.first()
}
pub fn len(&self) -> usize {
self.data.len()
}
pub fn is_empty(&self) -> bool {
self.data.is_empty()
}
fn sift_up(&mut self, mut i: usize) {
while i > 0 {
let parent = (i - 1) / 2;
if self.data[i] < self.data[parent] {
self.data.swap(i, parent);
i = parent;
} else {
break;
}
}
}
fn sift_down(&mut self, mut i: usize) {
let n = self.data.len();
loop {
let left = 2 * i + 1;
let right = 2 * i + 2;
let mut smallest = i;
if left < n && self.data[left] < self.data[smallest] {
smallest = left;
}
if right < n && self.data[right] < self.data[smallest] {
smallest = right;
}
if smallest == i {
break;
}
self.data.swap(i, smallest);
i = smallest;
}
}
}
#[derive(Clone, Copy, PartialEq, Eq, Hash, Debug)]
pub enum FfiSafety {
Safe,
Unsafe,
System,
}
#[allow(dead_code)]
pub struct Stopwatch {
start: std::time::Instant,
splits: Vec<f64>,
}
#[allow(dead_code)]
impl Stopwatch {
pub fn start() -> Self {
Self {
start: std::time::Instant::now(),
splits: Vec::new(),
}
}
pub fn split(&mut self) {
self.splits.push(self.elapsed_ms());
}
pub fn elapsed_ms(&self) -> f64 {
self.start.elapsed().as_secs_f64() * 1000.0
}
pub fn splits(&self) -> &[f64] {
&self.splits
}
pub fn num_splits(&self) -> usize {
self.splits.len()
}
}
#[allow(dead_code)]
pub struct ConfigNode {
key: String,
value: Option<String>,
children: Vec<ConfigNode>,
}
#[allow(dead_code)]
impl ConfigNode {
pub fn leaf(key: impl Into<String>, value: impl Into<String>) -> Self {
Self {
key: key.into(),
value: Some(value.into()),
children: Vec::new(),
}
}
pub fn section(key: impl Into<String>) -> Self {
Self {
key: key.into(),
value: None,
children: Vec::new(),
}
}
pub fn add_child(&mut self, child: ConfigNode) {
self.children.push(child);
}
pub fn key(&self) -> &str {
&self.key
}
pub fn value(&self) -> Option<&str> {
self.value.as_deref()
}
pub fn num_children(&self) -> usize {
self.children.len()
}
pub fn lookup(&self, path: &str) -> Option<&str> {
let mut parts = path.splitn(2, '.');
let head = parts.next()?;
let tail = parts.next();
if head != self.key {
return None;
}
match tail {
None => self.value.as_deref(),
Some(rest) => self.children.iter().find_map(|c| c.lookup_relative(rest)),
}
}
fn lookup_relative(&self, path: &str) -> Option<&str> {
let mut parts = path.splitn(2, '.');
let head = parts.next()?;
let tail = parts.next();
if head != self.key {
return None;
}
match tail {
None => self.value.as_deref(),
Some(rest) => self.children.iter().find_map(|c| c.lookup_relative(rest)),
}
}
}
#[allow(dead_code)]
pub struct SparseVec<T: Default + Clone + PartialEq> {
entries: std::collections::HashMap<usize, T>,
default_: T,
logical_len: usize,
}
#[allow(dead_code)]
impl<T: Default + Clone + PartialEq> SparseVec<T> {
pub fn new(len: usize) -> Self {
Self {
entries: std::collections::HashMap::new(),
default_: T::default(),
logical_len: len,
}
}
pub fn set(&mut self, idx: usize, val: T) {
if val == self.default_ {
self.entries.remove(&idx);
} else {
self.entries.insert(idx, val);
}
}
pub fn get(&self, idx: usize) -> &T {
self.entries.get(&idx).unwrap_or(&self.default_)
}
pub fn len(&self) -> usize {
self.logical_len
}
pub fn is_empty(&self) -> bool {
self.len() == 0
}
pub fn nnz(&self) -> usize {
self.entries.len()
}
}
#[allow(dead_code)]
pub struct Fixture {
data: std::collections::HashMap<String, String>,
}
#[allow(dead_code)]
impl Fixture {
pub fn new() -> Self {
Self {
data: std::collections::HashMap::new(),
}
}
pub fn set(&mut self, key: impl Into<String>, val: impl Into<String>) {
self.data.insert(key.into(), val.into());
}
pub fn get(&self, key: &str) -> Option<&str> {
self.data.get(key).map(|s| s.as_str())
}
pub fn len(&self) -> usize {
self.data.len()
}
pub fn is_empty(&self) -> bool {
self.len() == 0
}
}
#[allow(dead_code)]
pub struct WriteOnce<T> {
value: std::cell::Cell<Option<T>>,
}
#[allow(dead_code)]
impl<T: Copy> WriteOnce<T> {
pub fn new() -> Self {
Self {
value: std::cell::Cell::new(None),
}
}
pub fn write(&self, val: T) -> bool {
if self.value.get().is_some() {
return false;
}
self.value.set(Some(val));
true
}
pub fn read(&self) -> Option<T> {
self.value.get()
}
pub fn is_written(&self) -> bool {
self.value.get().is_some()
}
}
#[allow(dead_code)]
pub struct PathBuf {
components: Vec<String>,
}
#[allow(dead_code)]
impl PathBuf {
pub fn new() -> Self {
Self {
components: Vec::new(),
}
}
pub fn push(&mut self, comp: impl Into<String>) {
self.components.push(comp.into());
}
pub fn pop(&mut self) {
self.components.pop();
}
pub fn as_str(&self) -> String {
self.components.join("/")
}
pub fn depth(&self) -> usize {
self.components.len()
}
pub fn clear(&mut self) {
self.components.clear();
}
}
#[allow(dead_code)]
#[allow(missing_docs)]
pub struct RewriteRule {
pub name: String,
pub lhs: String,
pub rhs: String,
pub conditional: bool,
}
#[allow(dead_code)]
impl RewriteRule {
pub fn unconditional(
name: impl Into<String>,
lhs: impl Into<String>,
rhs: impl Into<String>,
) -> Self {
Self {
name: name.into(),
lhs: lhs.into(),
rhs: rhs.into(),
conditional: false,
}
}
pub fn conditional(
name: impl Into<String>,
lhs: impl Into<String>,
rhs: impl Into<String>,
) -> Self {
Self {
name: name.into(),
lhs: lhs.into(),
rhs: rhs.into(),
conditional: true,
}
}
pub fn display(&self) -> String {
format!("{}: {} → {}", self.name, self.lhs, self.rhs)
}
}
#[allow(dead_code)]
#[allow(missing_docs)]
pub enum DecisionNode {
Leaf(String),
Branch {
key: String,
val: String,
yes_branch: Box<DecisionNode>,
no_branch: Box<DecisionNode>,
},
}
#[allow(dead_code)]
impl DecisionNode {
pub fn evaluate(&self, ctx: &std::collections::HashMap<String, String>) -> &str {
match self {
DecisionNode::Leaf(action) => action.as_str(),
DecisionNode::Branch {
key,
val,
yes_branch,
no_branch,
} => {
let actual = ctx.get(key).map(|s| s.as_str()).unwrap_or("");
if actual == val.as_str() {
yes_branch.evaluate(ctx)
} else {
no_branch.evaluate(ctx)
}
}
}
}
pub fn depth(&self) -> usize {
match self {
DecisionNode::Leaf(_) => 0,
DecisionNode::Branch {
yes_branch,
no_branch,
..
} => 1 + yes_branch.depth().max(no_branch.depth()),
}
}
}
#[allow(dead_code)]
pub struct SlidingSum {
window: Vec<f64>,
capacity: usize,
pos: usize,
sum: f64,
count: usize,
}
#[allow(dead_code)]
impl SlidingSum {
pub fn new(capacity: usize) -> Self {
Self {
window: vec![0.0; capacity],
capacity,
pos: 0,
sum: 0.0,
count: 0,
}
}
pub fn push(&mut self, val: f64) {
let oldest = self.window[self.pos];
self.sum -= oldest;
self.sum += val;
self.window[self.pos] = val;
self.pos = (self.pos + 1) % self.capacity;
if self.count < self.capacity {
self.count += 1;
}
}
pub fn sum(&self) -> f64 {
self.sum
}
pub fn mean(&self) -> Option<f64> {
if self.count == 0 {
None
} else {
Some(self.sum / self.count as f64)
}
}
pub fn count(&self) -> usize {
self.count
}
}
#[derive(Clone, Debug, PartialEq)]
pub enum FfiValue {
Bool(bool),
UInt(u64),
Int(i64),
Float(f64),
Str(String),
Bytes(Vec<u8>),
Unit,
}
impl FfiValue {
pub fn try_from_expr(expr: &Expr, ty: &FfiType) -> Result<Self, FfiError> {
match (expr, ty) {
(Expr::Lit(crate::Literal::Nat(n)), FfiType::UInt64) => Ok(FfiValue::UInt(*n)),
(Expr::Lit(crate::Literal::Nat(n)), FfiType::UInt32) => {
if *n <= u32::MAX as u64 {
Ok(FfiValue::UInt(*n))
} else {
Err(FfiError::ValueOutOfRange(format!(
"u32 range exceeded: {}",
n
)))
}
}
(Expr::Lit(crate::Literal::Nat(n)), FfiType::Int64) => {
if *n <= i64::MAX as u64 {
Ok(FfiValue::Int(*n as i64))
} else {
Err(FfiError::ValueOutOfRange(format!(
"i64 range exceeded: {}",
n
)))
}
}
(Expr::Lit(crate::Literal::Str(s)), FfiType::String) => Ok(FfiValue::Str(s.clone())),
_ => Err(FfiError::TypeMismatch(format!(
"Cannot convert {:?} to {:?}",
expr, ty
))),
}
}
pub fn to_expr(&self) -> Expr {
match self {
FfiValue::Bool(b) => Expr::Const(
if *b {
Name::str("True")
} else {
Name::str("False")
},
vec![],
),
FfiValue::UInt(n) => Expr::Lit(crate::Literal::Nat(*n)),
FfiValue::Int(n) => {
if *n >= 0 {
Expr::Lit(crate::Literal::Nat(*n as u64))
} else {
Expr::Const(Name::str("Int.neg"), vec![])
}
}
FfiValue::Float(f) => Expr::Lit(crate::Literal::Str(f.to_string())),
FfiValue::Str(s) => Expr::Lit(crate::Literal::Str(s.clone())),
FfiValue::Bytes(bs) => Expr::Lit(crate::Literal::Str(
bs.iter().map(|b| format!("{:02x}", b)).collect::<String>(),
)),
FfiValue::Unit => Expr::Sort(crate::Level::zero()),
}
}
}
#[allow(dead_code)]
pub struct StatSummary {
count: u64,
sum: f64,
min: f64,
max: f64,
}
#[allow(dead_code)]
impl StatSummary {
pub fn new() -> Self {
Self {
count: 0,
sum: 0.0,
min: f64::INFINITY,
max: f64::NEG_INFINITY,
}
}
pub fn record(&mut self, val: f64) {
self.count += 1;
self.sum += val;
if val < self.min {
self.min = val;
}
if val > self.max {
self.max = val;
}
}
pub fn mean(&self) -> Option<f64> {
if self.count == 0 {
None
} else {
Some(self.sum / self.count as f64)
}
}
pub fn min(&self) -> Option<f64> {
if self.count == 0 {
None
} else {
Some(self.min)
}
}
pub fn max(&self) -> Option<f64> {
if self.count == 0 {
None
} else {
Some(self.max)
}
}
pub fn count(&self) -> u64 {
self.count
}
}
#[derive(Clone, PartialEq, Eq, Hash, Debug)]
pub enum FfiType {
Bool,
UInt8,
UInt16,
UInt32,
UInt64,
Int8,
Int16,
Int32,
Int64,
Float32,
Float64,
String,
ByteArray,
Unit,
Ptr(Box<FfiType>),
Fn(Vec<FfiType>, Box<FfiType>),
OxiLean(String),
}
impl FfiType {
pub fn is_ffi_safe(&self) -> bool {
match self {
FfiType::Bool
| FfiType::UInt8
| FfiType::UInt16
| FfiType::UInt32
| FfiType::UInt64
| FfiType::Int8
| FfiType::Int16
| FfiType::Int32
| FfiType::Int64
| FfiType::Float32
| FfiType::Float64
| FfiType::String
| FfiType::ByteArray
| FfiType::Unit => true,
FfiType::Ptr(inner) => inner.is_ffi_safe(),
FfiType::Fn(params, ret) => params.iter().all(|t| t.is_ffi_safe()) && ret.is_ffi_safe(),
FfiType::OxiLean(_) => false,
}
}
pub fn size_bytes(&self) -> Option<usize> {
match self {
FfiType::Bool => Some(1),
FfiType::UInt8 | FfiType::Int8 => Some(1),
FfiType::UInt16 | FfiType::Int16 => Some(2),
FfiType::UInt32 | FfiType::Int32 => Some(4),
FfiType::UInt64 | FfiType::Int64 => Some(8),
FfiType::Float32 => Some(4),
FfiType::Float64 => Some(8),
FfiType::Unit => Some(0),
FfiType::Ptr(_) => Some(std::mem::size_of::<*const ()>()),
FfiType::String | FfiType::ByteArray => None,
FfiType::Fn(_, _) => Some(std::mem::size_of::<*const ()>()),
FfiType::OxiLean(_) => None,
}
}
}
#[allow(dead_code)]
pub struct TransformStat {
before: StatSummary,
after: StatSummary,
}
#[allow(dead_code)]
impl TransformStat {
pub fn new() -> Self {
Self {
before: StatSummary::new(),
after: StatSummary::new(),
}
}
pub fn record_before(&mut self, v: f64) {
self.before.record(v);
}
pub fn record_after(&mut self, v: f64) {
self.after.record(v);
}
pub fn mean_ratio(&self) -> Option<f64> {
let b = self.before.mean()?;
let a = self.after.mean()?;
if b.abs() < f64::EPSILON {
return None;
}
Some(a / b)
}
}
#[allow(dead_code)]
pub struct StringPool {
free: Vec<String>,
}
#[allow(dead_code)]
impl StringPool {
pub fn new() -> Self {
Self { free: Vec::new() }
}
pub fn take(&mut self) -> String {
self.free.pop().unwrap_or_default()
}
pub fn give(&mut self, mut s: String) {
s.clear();
self.free.push(s);
}
pub fn free_count(&self) -> usize {
self.free.len()
}
}
#[allow(dead_code)]
pub struct SmallMap<K: Ord + Clone, V: Clone> {
entries: Vec<(K, V)>,
}
#[allow(dead_code)]
impl<K: Ord + Clone, V: Clone> SmallMap<K, V> {
pub fn new() -> Self {
Self {
entries: Vec::new(),
}
}
pub fn insert(&mut self, key: K, val: V) {
match self.entries.binary_search_by_key(&&key, |(k, _)| k) {
Ok(i) => self.entries[i].1 = val,
Err(i) => self.entries.insert(i, (key, val)),
}
}
pub fn get(&self, key: &K) -> Option<&V> {
self.entries
.binary_search_by_key(&key, |(k, _)| k)
.ok()
.map(|i| &self.entries[i].1)
}
pub fn len(&self) -> usize {
self.entries.len()
}
pub fn is_empty(&self) -> bool {
self.entries.is_empty()
}
pub fn keys(&self) -> Vec<&K> {
self.entries.iter().map(|(k, _)| k).collect()
}
pub fn values(&self) -> Vec<&V> {
self.entries.iter().map(|(_, v)| v).collect()
}
}
#[allow(dead_code)]
pub enum Either2<A, B> {
First(A),
Second(B),
}
#[allow(dead_code)]
impl<A, B> Either2<A, B> {
pub fn is_first(&self) -> bool {
matches!(self, Either2::First(_))
}
pub fn is_second(&self) -> bool {
matches!(self, Either2::Second(_))
}
pub fn first(self) -> Option<A> {
match self {
Either2::First(a) => Some(a),
_ => None,
}
}
pub fn second(self) -> Option<B> {
match self {
Either2::Second(b) => Some(b),
_ => None,
}
}
pub fn map_first<C, F: FnOnce(A) -> C>(self, f: F) -> Either2<C, B> {
match self {
Either2::First(a) => Either2::First(f(a)),
Either2::Second(b) => Either2::Second(b),
}
}
}
#[allow(dead_code)]
pub struct SimpleDag {
edges: Vec<Vec<usize>>,
}
#[allow(dead_code)]
impl SimpleDag {
pub fn new(n: usize) -> Self {
Self {
edges: vec![Vec::new(); n],
}
}
pub fn add_edge(&mut self, from: usize, to: usize) {
if from < self.edges.len() {
self.edges[from].push(to);
}
}
pub fn successors(&self, node: usize) -> &[usize] {
self.edges.get(node).map(|v| v.as_slice()).unwrap_or(&[])
}
pub fn can_reach(&self, from: usize, to: usize) -> bool {
let mut visited = vec![false; self.edges.len()];
self.dfs(from, to, &mut visited)
}
fn dfs(&self, cur: usize, target: usize, visited: &mut Vec<bool>) -> bool {
if cur == target {
return true;
}
if cur >= visited.len() || visited[cur] {
return false;
}
visited[cur] = true;
for &next in self.successors(cur) {
if self.dfs(next, target, visited) {
return true;
}
}
false
}
pub fn topological_sort(&self) -> Option<Vec<usize>> {
let n = self.edges.len();
let mut in_degree = vec![0usize; n];
for succs in &self.edges {
for &s in succs {
if s < n {
in_degree[s] += 1;
}
}
}
let mut queue: std::collections::VecDeque<usize> =
(0..n).filter(|&i| in_degree[i] == 0).collect();
let mut order = Vec::new();
while let Some(node) = queue.pop_front() {
order.push(node);
for &s in self.successors(node) {
if s < n {
in_degree[s] -= 1;
if in_degree[s] == 0 {
queue.push_back(s);
}
}
}
}
if order.len() == n {
Some(order)
} else {
None
}
}
pub fn num_nodes(&self) -> usize {
self.edges.len()
}
}
#[derive(Clone, Debug)]
pub struct FfiSignature {
pub params: Vec<FfiType>,
pub ret_type: Box<FfiType>,
}
impl FfiSignature {
pub fn new(params: Vec<FfiType>, ret_type: Box<FfiType>) -> Self {
FfiSignature { params, ret_type }
}
pub fn validate(&self) -> Result<(), FfiError> {
for param in &self.params {
if !param.is_ffi_safe() {
return Err(FfiError::InvalidSignature(format!(
"Unsafe parameter type: {}",
param
)));
}
}
if !self.ret_type.is_ffi_safe() {
return Err(FfiError::InvalidSignature(format!(
"Unsafe return type: {}",
self.ret_type
)));
}
Ok(())
}
pub fn matches_expr(&self, expr: &Expr) -> bool {
matches!(expr, Expr::Const(_, _))
}
}
#[allow(dead_code)]
pub struct NonEmptyVec<T> {
head: T,
tail: Vec<T>,
}
#[allow(dead_code)]
impl<T> NonEmptyVec<T> {
pub fn singleton(val: T) -> Self {
Self {
head: val,
tail: Vec::new(),
}
}
pub fn push(&mut self, val: T) {
self.tail.push(val);
}
pub fn first(&self) -> &T {
&self.head
}
pub fn last(&self) -> &T {
self.tail.last().unwrap_or(&self.head)
}
pub fn len(&self) -> usize {
1 + self.tail.len()
}
pub fn is_empty(&self) -> bool {
self.len() == 0
}
pub fn to_vec(&self) -> Vec<&T> {
let mut v = vec![&self.head];
v.extend(self.tail.iter());
v
}
}
#[allow(dead_code)]
pub struct StackCalc {
stack: Vec<i64>,
}
#[allow(dead_code)]
impl StackCalc {
pub fn new() -> Self {
Self { stack: Vec::new() }
}
pub fn push(&mut self, n: i64) {
self.stack.push(n);
}
pub fn add(&mut self) {
let b = self
.stack
.pop()
.expect("stack must have at least two values for add");
let a = self
.stack
.pop()
.expect("stack must have at least two values for add");
self.stack.push(a + b);
}
pub fn sub(&mut self) {
let b = self
.stack
.pop()
.expect("stack must have at least two values for sub");
let a = self
.stack
.pop()
.expect("stack must have at least two values for sub");
self.stack.push(a - b);
}
pub fn mul(&mut self) {
let b = self
.stack
.pop()
.expect("stack must have at least two values for mul");
let a = self
.stack
.pop()
.expect("stack must have at least two values for mul");
self.stack.push(a * b);
}
pub fn peek(&self) -> Option<i64> {
self.stack.last().copied()
}
pub fn depth(&self) -> usize {
self.stack.len()
}
}
#[allow(dead_code)]
pub struct LabelSet {
labels: Vec<String>,
}
#[allow(dead_code)]
impl LabelSet {
pub fn new() -> Self {
Self { labels: Vec::new() }
}
pub fn add(&mut self, label: impl Into<String>) {
let s = label.into();
if !self.labels.contains(&s) {
self.labels.push(s);
}
}
pub fn has(&self, label: &str) -> bool {
self.labels.iter().any(|l| l == label)
}
pub fn count(&self) -> usize {
self.labels.len()
}
pub fn all(&self) -> &[String] {
&self.labels
}
}
#[allow(dead_code)]
pub struct VersionedRecord<T: Clone> {
history: Vec<T>,
}
#[allow(dead_code)]
impl<T: Clone> VersionedRecord<T> {
pub fn new(initial: T) -> Self {
Self {
history: vec![initial],
}
}
pub fn update(&mut self, val: T) {
self.history.push(val);
}
pub fn current(&self) -> &T {
self.history
.last()
.expect("VersionedRecord history is always non-empty after construction")
}
pub fn at_version(&self, n: usize) -> Option<&T> {
self.history.get(n)
}
pub fn version(&self) -> usize {
self.history.len() - 1
}
pub fn has_history(&self) -> bool {
self.history.len() > 1
}
}
#[allow(dead_code)]
pub struct RewriteRuleSet {
rules: Vec<RewriteRule>,
}
#[allow(dead_code)]
impl RewriteRuleSet {
pub fn new() -> Self {
Self { rules: Vec::new() }
}
pub fn add(&mut self, rule: RewriteRule) {
self.rules.push(rule);
}
pub fn len(&self) -> usize {
self.rules.len()
}
pub fn is_empty(&self) -> bool {
self.rules.is_empty()
}
pub fn conditional_rules(&self) -> Vec<&RewriteRule> {
self.rules.iter().filter(|r| r.conditional).collect()
}
pub fn unconditional_rules(&self) -> Vec<&RewriteRule> {
self.rules.iter().filter(|r| !r.conditional).collect()
}
pub fn get(&self, name: &str) -> Option<&RewriteRule> {
self.rules.iter().find(|r| r.name == name)
}
}
#[derive(Clone, Debug)]
pub struct ExternDecl {
pub name: Name,
pub type_expr: Expr,
pub lib_name: String,
pub symbol_name: String,
pub safety: FfiSafety,
pub calling_convention: CallingConvention,
pub signature: FfiSignature,
}
impl ExternDecl {
pub fn new(
name: Name,
type_expr: Expr,
lib_name: String,
symbol_name: String,
safety: FfiSafety,
calling_convention: CallingConvention,
signature: FfiSignature,
) -> Self {
ExternDecl {
name,
type_expr,
lib_name,
symbol_name,
safety,
calling_convention,
signature,
}
}
pub fn validate(&self) -> Result<(), FfiError> {
self.signature.validate()?;
if self.lib_name.is_empty() {
return Err(FfiError::InvalidSignature(
"Library name cannot be empty".to_string(),
));
}
if self.symbol_name.is_empty() {
return Err(FfiError::InvalidSignature(
"Symbol name cannot be empty".to_string(),
));
}
Ok(())
}
}
pub struct BuiltinExterns;
impl BuiltinExterns {
pub fn register_builtins(registry: &mut ExternRegistry) -> Result<(), FfiError> {
Self::register_io(registry)?;
Self::register_string(registry)?;
Self::register_arithmetic(registry)?;
Ok(())
}
pub(crate) fn register_io(registry: &mut ExternRegistry) -> Result<(), FfiError> {
registry.register(ExternDecl::new(
Name::str("builtin_print"),
Expr::Const(Name::str("String"), vec![]),
"libc".to_string(),
"puts".to_string(),
FfiSafety::System,
CallingConvention::C,
FfiSignature::new(vec![FfiType::String], Box::new(FfiType::Int32)),
))?;
registry.register(ExternDecl::new(
Name::str("builtin_print_int"),
Expr::Const(Name::str("Nat"), vec![]),
"libc".to_string(),
"printf".to_string(),
FfiSafety::System,
CallingConvention::C,
FfiSignature::new(
vec![FfiType::String, FfiType::UInt64],
Box::new(FfiType::Int32),
),
))?;
Ok(())
}
pub(crate) fn register_string(registry: &mut ExternRegistry) -> Result<(), FfiError> {
registry.register(ExternDecl::new(
Name::str("builtin_strlen"),
Expr::Const(Name::str("String"), vec![]),
"libc".to_string(),
"strlen".to_string(),
FfiSafety::Unsafe,
CallingConvention::C,
FfiSignature::new(vec![FfiType::String], Box::new(FfiType::UInt64)),
))?;
registry.register(ExternDecl::new(
Name::str("builtin_strcmp"),
Expr::Const(Name::str("String"), vec![]),
"libc".to_string(),
"strcmp".to_string(),
FfiSafety::Unsafe,
CallingConvention::C,
FfiSignature::new(
vec![FfiType::String, FfiType::String],
Box::new(FfiType::Int32),
),
))?;
Ok(())
}
pub(crate) fn register_arithmetic(registry: &mut ExternRegistry) -> Result<(), FfiError> {
registry.register(ExternDecl::new(
Name::str("builtin_abs"),
Expr::Const(Name::str("Int"), vec![]),
"libc".to_string(),
"abs".to_string(),
FfiSafety::Safe,
CallingConvention::C,
FfiSignature::new(vec![FfiType::Int32], Box::new(FfiType::Int32)),
))?;
registry.register(ExternDecl::new(
Name::str("builtin_sqrt"),
Expr::Const(Name::str("Float"), vec![]),
"libm".to_string(),
"sqrt".to_string(),
FfiSafety::Safe,
CallingConvention::C,
FfiSignature::new(vec![FfiType::Float64], Box::new(FfiType::Float64)),
))?;
Ok(())
}
}
#[derive(Clone, Debug, PartialEq, Eq)]
pub struct LibraryVersion {
pub name: String,
pub major: u32,
pub minor: u32,
pub patch: u32,
}
impl LibraryVersion {
pub fn new(name: &str, major: u32, minor: u32, patch: u32) -> Self {
Self {
name: name.to_string(),
major,
minor,
patch,
}
}
pub fn at_least(&self, major: u32, minor: u32, patch: u32) -> bool {
(self.major, self.minor, self.patch) >= (major, minor, patch)
}
}
#[derive(Clone, Debug)]
pub struct SymbolMetadata {
pub symbol: String,
pub library: String,
pub weak: bool,
pub thread_local: bool,
}
impl SymbolMetadata {
pub fn new(symbol: &str, library: &str) -> Self {
Self {
symbol: symbol.to_string(),
library: library.to_string(),
weak: false,
thread_local: false,
}
}
pub fn with_weak(mut self) -> Self {
self.weak = true;
self
}
pub fn with_thread_local(mut self) -> Self {
self.thread_local = true;
self
}
}
#[allow(dead_code)]
pub struct RawFnPtr {
ptr: usize,
arity: usize,
name: String,
}
#[allow(dead_code)]
impl RawFnPtr {
pub fn new(ptr: usize, arity: usize, name: impl Into<String>) -> Self {
Self {
ptr,
arity,
name: name.into(),
}
}
pub fn arity(&self) -> usize {
self.arity
}
pub fn name(&self) -> &str {
&self.name
}
pub fn raw(&self) -> usize {
self.ptr
}
}
#[allow(dead_code)]
pub struct TransitiveClosure {
adj: Vec<Vec<usize>>,
n: usize,
}
#[allow(dead_code)]
impl TransitiveClosure {
pub fn new(n: usize) -> Self {
Self {
adj: vec![Vec::new(); n],
n,
}
}
pub fn add_edge(&mut self, from: usize, to: usize) {
if from < self.n {
self.adj[from].push(to);
}
}
pub fn reachable_from(&self, start: usize) -> Vec<usize> {
let mut visited = vec![false; self.n];
let mut queue = std::collections::VecDeque::new();
queue.push_back(start);
while let Some(node) = queue.pop_front() {
if node >= self.n || visited[node] {
continue;
}
visited[node] = true;
for &next in &self.adj[node] {
queue.push_back(next);
}
}
(0..self.n).filter(|&i| visited[i]).collect()
}
pub fn can_reach(&self, from: usize, to: usize) -> bool {
self.reachable_from(from).contains(&to)
}
}
#[allow(dead_code)]
pub struct FlatSubstitution {
pairs: Vec<(String, String)>,
}
#[allow(dead_code)]
impl FlatSubstitution {
pub fn new() -> Self {
Self { pairs: Vec::new() }
}
pub fn add(&mut self, from: impl Into<String>, to: impl Into<String>) {
self.pairs.push((from.into(), to.into()));
}
pub fn apply(&self, s: &str) -> String {
let mut result = s.to_string();
for (from, to) in &self.pairs {
result = result.replace(from.as_str(), to.as_str());
}
result
}
pub fn len(&self) -> usize {
self.pairs.len()
}
pub fn is_empty(&self) -> bool {
self.pairs.is_empty()
}
}
pub struct ExternRegistry {
decls: HashMap<(String, String), ExternDecl>,
name_map: HashMap<String, (String, String)>,
}
impl ExternRegistry {
pub fn new() -> Self {
ExternRegistry {
decls: HashMap::new(),
name_map: HashMap::new(),
}
}
pub fn register(&mut self, decl: ExternDecl) -> Result<(), FfiError> {
decl.validate()?;
let key = (decl.lib_name.clone(), decl.symbol_name.clone());
if self.decls.contains_key(&key) {
return Err(FfiError::DuplicateSymbol(format!(
"{}::{}",
decl.lib_name, decl.symbol_name
)));
}
let name_str = decl.name.to_string();
if self.name_map.contains_key(&name_str) {
return Err(FfiError::DuplicateSymbol(name_str));
}
self.name_map.insert(name_str, key.clone());
self.decls.insert(key, decl);
Ok(())
}
pub fn lookup(&self, name: &Name) -> Result<&ExternDecl, FfiError> {
let name_str = name.to_string();
let key = self
.name_map
.get(&name_str)
.ok_or_else(|| FfiError::SymbolNotFound(name_str.clone()))?;
self.decls
.get(key)
.ok_or(FfiError::SymbolNotFound(name_str))
}
pub fn lookup_by_symbol(
&self,
lib_name: &str,
symbol_name: &str,
) -> Result<&ExternDecl, FfiError> {
let key = (lib_name.to_string(), symbol_name.to_string());
self.decls
.get(&key)
.ok_or_else(|| FfiError::SymbolNotFound(format!("{}::{}", lib_name, symbol_name)))
}
pub fn validate_all(&self) -> Result<(), FfiError> {
for decl in self.decls.values() {
decl.validate()?;
}
Ok(())
}
pub fn all_decls(&self) -> impl Iterator<Item = &ExternDecl> {
self.decls.values()
}
pub fn count(&self) -> usize {
self.decls.len()
}
}
#[allow(dead_code)]
pub struct TokenBucket {
capacity: u64,
tokens: u64,
refill_per_ms: u64,
last_refill: std::time::Instant,
}
#[allow(dead_code)]
impl TokenBucket {
pub fn new(capacity: u64, refill_per_ms: u64) -> Self {
Self {
capacity,
tokens: capacity,
refill_per_ms,
last_refill: std::time::Instant::now(),
}
}
pub fn try_consume(&mut self, n: u64) -> bool {
self.refill();
if self.tokens >= n {
self.tokens -= n;
true
} else {
false
}
}
fn refill(&mut self) {
let now = std::time::Instant::now();
let elapsed_ms = now.duration_since(self.last_refill).as_millis() as u64;
if elapsed_ms > 0 {
let new_tokens = elapsed_ms * self.refill_per_ms;
self.tokens = (self.tokens + new_tokens).min(self.capacity);
self.last_refill = now;
}
}
pub fn available(&self) -> u64 {
self.tokens
}
pub fn capacity(&self) -> u64 {
self.capacity
}
}
#[allow(dead_code)]
pub struct PrefixCounter {
children: std::collections::HashMap<char, PrefixCounter>,
count: usize,
}
#[allow(dead_code)]
impl PrefixCounter {
pub fn new() -> Self {
Self {
children: std::collections::HashMap::new(),
count: 0,
}
}
pub fn record(&mut self, s: &str) {
self.count += 1;
let mut node = self;
for c in s.chars() {
node = node.children.entry(c).or_default();
node.count += 1;
}
}
pub fn count_with_prefix(&self, prefix: &str) -> usize {
let mut node = self;
for c in prefix.chars() {
match node.children.get(&c) {
Some(n) => node = n,
None => return 0,
}
}
node.count
}
}
#[allow(dead_code)]
pub struct FocusStack<T> {
items: Vec<T>,
}
#[allow(dead_code)]
impl<T> FocusStack<T> {
pub fn new() -> Self {
Self { items: Vec::new() }
}
pub fn focus(&mut self, item: T) {
self.items.push(item);
}
pub fn blur(&mut self) -> Option<T> {
self.items.pop()
}
pub fn current(&self) -> Option<&T> {
self.items.last()
}
pub fn depth(&self) -> usize {
self.items.len()
}
pub fn is_empty(&self) -> bool {
self.items.is_empty()
}
}
#[derive(Clone, Copy, PartialEq, Eq, Hash, Debug)]
pub enum CallingConvention {
Rust,
C,
System,
}
#[derive(Clone, PartialEq, Eq, Hash, Debug)]
pub enum FfiError {
SymbolNotFound(String),
LibraryNotFound(String),
TypeMismatch(String),
ValueOutOfRange(String),
InvalidSignature(String),
DuplicateSymbol(String),
ValidationFailed(String),
}
#[derive(Clone, Debug, Default)]
pub struct LibraryManifest {
pub entries: Vec<LibraryVersion>,
}
impl LibraryManifest {
pub fn new() -> Self {
Self::default()
}
pub fn require(&mut self, lib: LibraryVersion) {
self.entries.push(lib);
}
pub fn requires_lib(&self, name: &str) -> bool {
self.entries.iter().any(|l| l.name == name)
}
pub fn len(&self) -> usize {
self.entries.len()
}
pub fn is_empty(&self) -> bool {
self.entries.is_empty()
}
}