Skip to main content

resolve_tool_cache

axon::cache_runtime

Function resolve_tool_cache 

Source 
pub fn resolve_tool_cache<'a>(
    ir: &'a IRProgram,
    tool: &IRToolSpec,
) -> Option<&'a IRCache>
Expand description

Resolve which cache (if any) governs a tool’s memoization, given the whole program IR. Precedence: an explicit cache: none opts out; an explicit cache: <Name> selects that cache; otherwise the single default: true cache applies IFF the tool is eligible (provably pure, or its effects are a subset of the default’s apply_to_effects). Returns None when nothing caches the tool.