parse_sequence : TWO^32 |- S (TWO^16 + TWO^16) */
| 1393 | |
| 1394 | /* parse_sequence : TWO^32 |- S (TWO^16 + TWO^16) */ |
| 1395 | bool simplicity_parse_sequence(frameItem* dst, frameItem src, const txEnv* env) { |
| 1396 | (void) env; /* env is unused. */ |
| 1397 | uint_fast32_t nSequence = simplicity_read32(&src); |
| 1398 | if (writeBit(dst, nSequence < ((uint_fast32_t)1 << 31))) { |
| 1399 | writeBit(dst, nSequence & ((uint_fast32_t)1 << 22)); |
| 1400 | simplicity_write16(dst, nSequence & 0xffff); |
| 1401 | } else { |
| 1402 | skipBits(dst, 17); |
| 1403 | } |
| 1404 | return true; |
| 1405 | } |
| 1406 | |
| 1407 | /* simplicity_tapdata_init : ONE |- CTX8 */ |
| 1408 | bool simplicity_tapdata_init(frameItem* dst, frameItem src, const txEnv* env) { |