| 18 | } |
| 19 | |
| 20 | StateValue StateValue::zext(unsigned amount) const { |
| 21 | return { value.zext(amount), |
| 22 | (bits_poison_per_byte == 1 || non_poison.isBool()) |
| 23 | ? expr(non_poison) : non_poison.zext(amount) }; |
| 24 | } |
| 25 | |
| 26 | StateValue StateValue::trunc(unsigned bw_val, unsigned bw_np) const { |
| 27 | return { value.trunc(bw_val), |