Skip to main content

analyze_sink_labels

hydro_lang::compile::consistency_label

Function analyze_sink_labels 

Source 
pub fn analyze_sink_labels(ir: &[HydroRoot]) -> Vec<SinkConsistency>
Expand description

Analyze all observable sinks in the IR, producing consistency labels equivalent to coord-analysis.

For each sink:

  1. Derives the “best possible” label from the sink’s output collection kind
  2. Walks backward through the IR checking for untrusted ObserveNonDet nodes that aren’t resolved by a commutative+idempotent fold downstream — if unresolved, downgrades to Inconsistent