| 1722 | } |
| 1723 | |
| 1724 | void Memory::markByVal(unsigned bid, bool is_const) { |
| 1725 | assert(is_globalvar(bid, false)); |
| 1726 | byval_blks.emplace_back(bid, is_const); |
| 1727 | } |
| 1728 | |
| 1729 | expr Memory::mkInput(const char *name, const ParamAttrs &attrs0) { |
| 1730 | unsigned max_bid = has_null_block + num_globals_src + next_ptr_input++; |