Module fixed_point_scratch 

Reusable host-side scratch for fixed-point graph preparation.

use weir::fixed_point_scratch::FixedPointScratch;

let scratch = FixedPointScratch::default();

Reusable host scratch for GPU-driven fixed-point dataflow loops.

This module owns the per-session buffers that are safe to reuse across reaching, liveness, points-to, and future fixed-point analyses. The graph and transfer semantics stay in each analysis module; this file only owns scratch lifetime and reuse.

Structs

FixedPointScratch

Caller-owned scratch for Weir fixed-point GPU wrappers.

FrontierDensityTelemetry

Frontier density counters captured by a fixed-point scratch session.

ScratchPool

Generic retention pool for reusable host-side scratch vectors.

Enums

FrontierExecutionMode

Execution family suggested by observed fixed-point frontier density.

Functions

count_changed_domain_bits

count_set_domain_bits