(&self, addr: DataAddr)
| 132 | /// resolve a data address to the global store address |
| 133 | #[inline] |
| 134 | pub(crate) fn resolve_data_addr(&self, addr: DataAddr) -> DataAddr { |
| 135 | match self.0.data_addrs.get(addr as usize) { |
| 136 | Some(addr) => *addr, |
| 137 | None => { |
| 138 | cold_path(); |
| 139 | unreachable!("invalid data address: {addr}") |
| 140 | } |
| 141 | } |
| 142 | } |
| 143 | |
| 144 | /// resolve an element address to the global store address |
| 145 | #[inline] |
no test coverage detected