| 348 | } |
| 349 | |
| 350 | expr expr::IntSMin(unsigned bits) { |
| 351 | if (bits == 0) |
| 352 | return {}; |
| 353 | expr v = mkUInt(1, 1); |
| 354 | if (bits > 1) |
| 355 | v = v.concat(mkUInt(0, bits - 1)); |
| 356 | return v; |
| 357 | } |
| 358 | |
| 359 | expr expr::IntSMax(unsigned bits) { |
| 360 | if (bits == 0) |