Method commit_block

compiler/src/modules/parser/mod.rs:208–241

(&mut self)

    }

    pub(super) fn commit_block(&mut self) {
        let Some(j) = self.join_stack.pop() else { return };
        let post = self.ssa_versions.clone();

        let (a, b) = match j.then {
            Some(t) => (t, post),
            None => (post, j.backup.clone()),
        };

        let mut divergent: Vec<&String> = a
            .keys()
            .chain(b.keys())
            .filter(|name| a.get(*name).unwrap_or(&0) != b.get(*name).unwrap_or(&0))
            .collect();

        // Sort for deterministic Phi order; dedup chain() duplicates from shared vars.
        divergent.sort();
        divergent.dedup();

        for name in divergent {
            let va = *a.get(name).unwrap_or(&0);
            let vb = *b.get(name).unwrap_or(&0);
            let mut ba = [0u8; 128];
            let mut bb = [0u8; 128];
            let mut bx = [0u8; 128];
            let ia = self.chunk.push_name(Self::ssa_name(name, va, &mut ba));
            let ib = self.chunk.push_name(Self::ssa_name(name, vb, &mut bb));
            let v = self.increment_version(name);
            let ix = self.chunk.push_name(Self::ssa_name(name, v, &mut bx));

            self.chunk.phi_sources.push((ia, ib));
            self.chunk.emit(OpCode::Phi, ix);
        }
    }
}

// Token-stream utilities: advance, peek, eat, diagnostics.