| 38 | } |
| 39 | |
| 40 | static inline uint32_t sfc64_next32(sfc64_state *state) { |
| 41 | uint64_t next; |
| 42 | if (state->has_uint32) { |
| 43 | state->has_uint32 = 0; |
| 44 | return state->uinteger; |
| 45 | } |
| 46 | next = sfc64_next(&state->s[0]); |
| 47 | state->has_uint32 = 1; |
| 48 | state->uinteger = (uint32_t)(next >> 32); |
| 49 | return (uint32_t)(next & 0xffffffff); |
| 50 | } |
| 51 | |
| 52 | void sfc64_set_seed(sfc64_state *state, uint64_t *seed); |
| 53 |
nothing calls this directly
no test coverage detected