Function philoxBump

src/backend/cpu/kernel/random_engine_philox.hpp:67–70

}

void philoxBump(uint* const k) {
    k[0] += w32_0;
    k[1] += w32_1;
}

void philoxRound(const uint* const k, uint* const c) {
    uint hi0, lo0, hi1, lo1;