| 1379 | } |
| 1380 | |
| 1381 | template<typename T> void PushIndirect(T val, Type type, BitWidth bit_width) { |
| 1382 | auto byte_width = Align(bit_width); |
| 1383 | auto iloc = buf_.size(); |
| 1384 | Write(val, byte_width); |
| 1385 | stack_.push_back(Value(static_cast<uint64_t>(iloc), type, bit_width)); |
| 1386 | } |
| 1387 | |
| 1388 | static BitWidth WidthB(size_t byte_width) { |
| 1389 | switch (byte_width) { |
no test coverage detected