(&mut self, value: Value)
| 286 | } |
| 287 | |
| 288 | fn subsume(&mut self, value: Value) -> Value { |
| 289 | trace!("subsume: {}", value); |
| 290 | self.ctx.subsume_values.insert(value); |
| 291 | self.ctx.stats.subsume += 1; |
| 292 | value |
| 293 | } |
| 294 | |
| 295 | fn splat64(&mut self, val: u64) -> Constant { |
| 296 | let val = u128::from(val); |