From 67cc51f01a7f2f26fa15629bf1da3a4870e053bd Mon Sep 17 00:00:00 2001 From: Griffin Berlstein Date: Fri, 2 Aug 2024 15:44:33 -0400 Subject: [PATCH] [Cider2] Use map for pins (#2244) --- .../src/flatten/structures/environment/env.rs | 66 ++++++++++++------- 1 file changed, 42 insertions(+), 24 deletions(-) diff --git a/interp/src/flatten/structures/environment/env.rs b/interp/src/flatten/structures/environment/env.rs index ee878317c..2ea02570d 100644 --- a/interp/src/flatten/structures/environment/env.rs +++ b/interp/src/flatten/structures/environment/env.rs @@ -34,9 +34,9 @@ use crate::{ serialization::{DataDump, MemoryDeclaration, PrintCode}, values::Value, }; -use ahash::HashMap; use ahash::HashSet; use ahash::HashSetExt; +use ahash::{HashMap, HashMapExt}; use itertools::Itertools; use owo_colors::OwoColorize; use slog::warn; @@ -226,27 +226,26 @@ impl Debug for CellLedger { #[derive(Debug, Clone)] struct PinnedPorts { - port_vals_list: Vec<(GlobalPortIdx, Value)>, + map: HashMap, } impl PinnedPorts { - pub fn iter(&self) -> impl Iterator + '_ { - self.port_vals_list.iter() + pub fn iter(&self) -> impl Iterator + '_ { + self.map.iter() } pub fn new() -> Self { Self { - port_vals_list: vec![], + map: HashMap::new(), } } - pub fn push(&mut self, port: GlobalPortIdx, val: Value) { - // linear scan is probably fine here since the list should be relatively small - assert!( - !self.port_vals_list.iter().any(|x| x.0 == port), - "attempting to pin the same port twice" - ); - self.port_vals_list.push((port, val)); + pub fn insert(&mut self, port: GlobalPortIdx, val: Value) { + self.map.insert(port, val); + } + + pub fn remove(&mut self, port: GlobalPortIdx) { + self.map.remove(&port); } } @@ -1088,11 +1087,9 @@ impl + Clone> Environment { self.ports[*idx].as_option().map(|x| x.val().clone()) } - /// Pins the port with the given name to the given value. This may only be - /// used for input ports on the entrypoint component (excluding the go port) - /// and will panic if used otherwise. Intended for external use. Unrelated - /// to the rust pin. - pub fn pin_value>(&mut self, port: S, val: Value) { + /// Returns an input port for the entrypoint component. Will error if the + /// port is not found. + fn get_root_input_port>(&self, port: S) -> GlobalPortIdx { let string = port.as_ref(); let root = Self::get_root(); @@ -1102,16 +1099,30 @@ impl + Clone> Environment { let found = def_list.find(|offset| { let def_idx = self.ctx.as_ref().secondary[ledger.comp_id].port_offset_map[*offset]; self.ctx.as_ref().lookup_name(self.ctx.as_ref().secondary[def_idx].name) == string - }).expect("Could not find port with given name in the entrypoint component's input ports"); + }).unwrap_or_else(|| panic!("Could not find port '{string}' in the entrypoint component's input ports")); - assert!( - found != self.ctx.as_ref().primary[ledger.comp_id].go, - "Cannot pin the go port" - ); + &ledger.index_bases + found + } + + /// Pins the port with the given name to the given value. This may only be + /// used for input ports on the entrypoint component (excluding the go port) + /// and will panic if used otherwise. Intended for external use. Unrelated + /// to the rust pin. + pub fn pin_value>(&mut self, port: S, val: Value) { + let port = self.get_root_input_port(port); + + let go = self.get_comp_go(Self::get_root()); + assert!(port != go, "Cannot pin the go port"); - let found = &ledger.index_bases + found; + self.pinned_ports.insert(port, val); + } - self.pinned_ports.push(found, val); + /// Unpins the port with the given name. This may only be + /// used for input ports on the entrypoint component (excluding the go port) + /// and will panic if used otherwise. Intended for external use. + pub fn unpin_value>(&mut self, port: S) { + let port = self.get_root_input_port(port); + self.pinned_ports.remove(port); } } @@ -1203,6 +1214,13 @@ impl + Clone> Simulator { self.env.pin_value(port, val) } + /// Unpins the port with the given name. This may only be + /// used for input ports on the entrypoint component (excluding the go port) + /// and will panic if used otherwise. Intended for external use. + pub fn unpin_value>(&mut self, port: S) { + self.env.unpin_value(port) + } + /// Lookup the value of a port on the entrypoint component by name. Will /// error if the port is not found. pub fn lookup_port_from_string(&self, port: &String) -> Option {