| 195 | } |
| 196 | |
| 197 | static expr load_bv(const expr &var, const expr &idx0) { |
| 198 | auto bw = var.bits(); |
| 199 | if (!bw) |
| 200 | return {}; |
| 201 | if (var.isAllOnes()) |
| 202 | return true; |
| 203 | auto idx = idx0.zextOrTrunc(bw); |
| 204 | return var.lshr(idx).extract(0, 0) == 1; |
| 205 | } |
| 206 | |
| 207 | static void store_bv(Pointer &p, const expr &val, expr &local, |
| 208 | expr &non_local, bool assume_local = false, |
no test coverage detected