raaz-0.3.0: libverse/blake2b/c/portable.c
#include <stdint.h>
#include <verse.h>
#define XOR ^
void verse_blake2b_c_portable_iter(uint64_t(*bPtr)[16],
uint64_t cTr, uint64_t(*v0),
uint64_t(*v1), uint64_t v2[8])
{
auto uint64_t v3;
auto uint64_t v4;
auto uint64_t v5;
auto uint64_t v6;
auto uint64_t v7;
auto uint64_t v8;
auto uint64_t v9;
auto uint64_t v10;
auto uint64_t v11;
auto uint64_t v12;
auto uint64_t v13;
auto uint64_t v14;
auto uint64_t v15;
auto uint64_t v16;
auto uint64_t v17;
auto uint64_t v18;
auto uint64_t v19;
auto uint64_t v20;
auto uint64_t v21;
auto uint64_t v22;
auto uint64_t v23;
auto uint64_t v24;
auto uint64_t v25;
auto uint64_t v26;
auto uint64_t v27;
auto uint64_t v28;
auto uint64_t v29;
auto uint64_t v30;
auto uint64_t v31;
auto uint64_t v32;
auto uint64_t v33;
auto uint64_t v34;
auto uint64_t v35;
auto uint64_t v36;
auto uint64_t v37;
auto uint64_t v38;
auto uint64_t v39;
auto uint64_t v40;
auto uint64_t v41;
auto uint64_t v42;
auto uint64_t v43;
auto uint64_t v44;
auto uint64_t v45;
auto uint64_t v46;
v45 = *v0;
v46 = *v1;
v3 = v2[0];
v4 = v2[1];
v5 = v2[2];
v6 = v2[3];
v7 = v2[4];
v8 = v2[5];
v9 = v2[6];
v10 = v2[7];
while (cTr > 0) {
v44 = v46;
v44 >>= 63;
v43 = v46 & 0x7fffffffffffffffULL;
v43 += 0x0000000000000080ULL;
v43 >>= 63;
v43 += v44;
v43 >>= 1;
v45 += v43;
v46 += 0x0000000000000080ULL;
v27 = v3;
v31 = v4;
v35 = v5;
v39 = v6;
v28 = v7;
v32 = v8;
v36 = v9;
v40 = v10;
v29 = 0x6a09e667f3bcc908ULL;
v33 = 0xbb67ae8584caa73bULL;
v37 = 0x3c6ef372fe94f82bULL;
v41 = 0xa54ff53a5f1d36f1ULL;
v30 = 0x510e527fade682d1ULL XOR v46;
v34 = 0x9b05688c2b3e6c1fULL XOR v45;
v38 = 0x1f83d9abfb41bd6bULL;
v42 = 0x5be0cd19137e2179ULL;
v11 = verse_from_le64((*bPtr)[0]);
v12 = verse_from_le64((*bPtr)[1]);
v13 = verse_from_le64((*bPtr)[2]);
v14 = verse_from_le64((*bPtr)[3]);
v15 = verse_from_le64((*bPtr)[4]);
v16 = verse_from_le64((*bPtr)[5]);
v17 = verse_from_le64((*bPtr)[6]);
v18 = verse_from_le64((*bPtr)[7]);
v19 = verse_from_le64((*bPtr)[8]);
v20 = verse_from_le64((*bPtr)[9]);
v21 = verse_from_le64((*bPtr)[10]);
v22 = verse_from_le64((*bPtr)[11]);
v23 = verse_from_le64((*bPtr)[12]);
v24 = verse_from_le64((*bPtr)[13]);
v25 = verse_from_le64((*bPtr)[14]);
v26 = verse_from_le64((*bPtr)[15]);
v27 += v28;
v27 += v11;
v30 ^= v27;
v30 = verse_rotR64(v30, 32);
v29 += v30;
v28 ^= v29;
v28 = verse_rotR64(v28, 24);
v27 += v28;
v27 += v12;
v30 ^= v27;
v30 = verse_rotR64(v30, 16);
v29 += v30;
v28 ^= v29;
v28 = verse_rotR64(v28, 63);
v31 += v32;
v31 += v13;
v34 ^= v31;
v34 = verse_rotR64(v34, 32);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 24);
v31 += v32;
v31 += v14;
v34 ^= v31;
v34 = verse_rotR64(v34, 16);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 63);
v35 += v36;
v35 += v15;
v38 ^= v35;
v38 = verse_rotR64(v38, 32);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 24);
v35 += v36;
v35 += v16;
v38 ^= v35;
v38 = verse_rotR64(v38, 16);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 63);
v39 += v40;
v39 += v17;
v42 ^= v39;
v42 = verse_rotR64(v42, 32);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 24);
v39 += v40;
v39 += v18;
v42 ^= v39;
v42 = verse_rotR64(v42, 16);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 63);
v27 += v32;
v27 += v19;
v42 ^= v27;
v42 = verse_rotR64(v42, 32);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 24);
v27 += v32;
v27 += v20;
v42 ^= v27;
v42 = verse_rotR64(v42, 16);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 63);
v31 += v36;
v31 += v21;
v30 ^= v31;
v30 = verse_rotR64(v30, 32);
v41 += v30;
v36 ^= v41;
v36 = verse_rotR64(v36, 24);
v31 += v36;
v31 += v22;
v30 ^= v31;
v30 = verse_rotR64(v30, 16);
v41 += v30;
v36 ^= v41;
v36 = verse_rotR64(v36, 63);
v35 += v40;
v35 += v23;
v34 ^= v35;
v34 = verse_rotR64(v34, 32);
v29 += v34;
v40 ^= v29;
v40 = verse_rotR64(v40, 24);
v35 += v40;
v35 += v24;
v34 ^= v35;
v34 = verse_rotR64(v34, 16);
v29 += v34;
v40 ^= v29;
v40 = verse_rotR64(v40, 63);
v39 += v28;
v39 += v25;
v38 ^= v39;
v38 = verse_rotR64(v38, 32);
v33 += v38;
v28 ^= v33;
v28 = verse_rotR64(v28, 24);
v39 += v28;
v39 += v26;
v38 ^= v39;
v38 = verse_rotR64(v38, 16);
v33 += v38;
v28 ^= v33;
v28 = verse_rotR64(v28, 63);
v27 += v28;
v27 += v25;
v30 ^= v27;
v30 = verse_rotR64(v30, 32);
v29 += v30;
v28 ^= v29;
v28 = verse_rotR64(v28, 24);
v27 += v28;
v27 += v21;
v30 ^= v27;
v30 = verse_rotR64(v30, 16);
v29 += v30;
v28 ^= v29;
v28 = verse_rotR64(v28, 63);
v31 += v32;
v31 += v15;
v34 ^= v31;
v34 = verse_rotR64(v34, 32);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 24);
v31 += v32;
v31 += v19;
v34 ^= v31;
v34 = verse_rotR64(v34, 16);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 63);
v35 += v36;
v35 += v20;
v38 ^= v35;
v38 = verse_rotR64(v38, 32);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 24);
v35 += v36;
v35 += v26;
v38 ^= v35;
v38 = verse_rotR64(v38, 16);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 63);
v39 += v40;
v39 += v24;
v42 ^= v39;
v42 = verse_rotR64(v42, 32);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 24);
v39 += v40;
v39 += v17;
v42 ^= v39;
v42 = verse_rotR64(v42, 16);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 63);
v27 += v32;
v27 += v12;
v42 ^= v27;
v42 = verse_rotR64(v42, 32);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 24);
v27 += v32;
v27 += v23;
v42 ^= v27;
v42 = verse_rotR64(v42, 16);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 63);
v31 += v36;
v31 += v11;
v30 ^= v31;
v30 = verse_rotR64(v30, 32);
v41 += v30;
v36 ^= v41;
v36 = verse_rotR64(v36, 24);
v31 += v36;
v31 += v13;
v30 ^= v31;
v30 = verse_rotR64(v30, 16);
v41 += v30;
v36 ^= v41;
v36 = verse_rotR64(v36, 63);
v35 += v40;
v35 += v22;
v34 ^= v35;
v34 = verse_rotR64(v34, 32);
v29 += v34;
v40 ^= v29;
v40 = verse_rotR64(v40, 24);
v35 += v40;
v35 += v18;
v34 ^= v35;
v34 = verse_rotR64(v34, 16);
v29 += v34;
v40 ^= v29;
v40 = verse_rotR64(v40, 63);
v39 += v28;
v39 += v16;
v38 ^= v39;
v38 = verse_rotR64(v38, 32);
v33 += v38;
v28 ^= v33;
v28 = verse_rotR64(v28, 24);
v39 += v28;
v39 += v14;
v38 ^= v39;
v38 = verse_rotR64(v38, 16);
v33 += v38;
v28 ^= v33;
v28 = verse_rotR64(v28, 63);
v27 += v28;
v27 += v22;
v30 ^= v27;
v30 = verse_rotR64(v30, 32);
v29 += v30;
v28 ^= v29;
v28 = verse_rotR64(v28, 24);
v27 += v28;
v27 += v19;
v30 ^= v27;
v30 = verse_rotR64(v30, 16);
v29 += v30;
v28 ^= v29;
v28 = verse_rotR64(v28, 63);
v31 += v32;
v31 += v23;
v34 ^= v31;
v34 = verse_rotR64(v34, 32);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 24);
v31 += v32;
v31 += v11;
v34 ^= v31;
v34 = verse_rotR64(v34, 16);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 63);
v35 += v36;
v35 += v16;
v38 ^= v35;
v38 = verse_rotR64(v38, 32);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 24);
v35 += v36;
v35 += v13;
v38 ^= v35;
v38 = verse_rotR64(v38, 16);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 63);
v39 += v40;
v39 += v26;
v42 ^= v39;
v42 = verse_rotR64(v42, 32);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 24);
v39 += v40;
v39 += v24;
v42 ^= v39;
v42 = verse_rotR64(v42, 16);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 63);
v27 += v32;
v27 += v21;
v42 ^= v27;
v42 = verse_rotR64(v42, 32);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 24);
v27 += v32;
v27 += v25;
v42 ^= v27;
v42 = verse_rotR64(v42, 16);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 63);
v31 += v36;
v31 += v14;
v30 ^= v31;
v30 = verse_rotR64(v30, 32);
v41 += v30;
v36 ^= v41;
v36 = verse_rotR64(v36, 24);
v31 += v36;
v31 += v17;
v30 ^= v31;
v30 = verse_rotR64(v30, 16);
v41 += v30;
v36 ^= v41;
v36 = verse_rotR64(v36, 63);
v35 += v40;
v35 += v18;
v34 ^= v35;
v34 = verse_rotR64(v34, 32);
v29 += v34;
v40 ^= v29;
v40 = verse_rotR64(v40, 24);
v35 += v40;
v35 += v12;
v34 ^= v35;
v34 = verse_rotR64(v34, 16);
v29 += v34;
v40 ^= v29;
v40 = verse_rotR64(v40, 63);
v39 += v28;
v39 += v20;
v38 ^= v39;
v38 = verse_rotR64(v38, 32);
v33 += v38;
v28 ^= v33;
v28 = verse_rotR64(v28, 24);
v39 += v28;
v39 += v15;
v38 ^= v39;
v38 = verse_rotR64(v38, 16);
v33 += v38;
v28 ^= v33;
v28 = verse_rotR64(v28, 63);
v27 += v28;
v27 += v18;
v30 ^= v27;
v30 = verse_rotR64(v30, 32);
v29 += v30;
v28 ^= v29;
v28 = verse_rotR64(v28, 24);
v27 += v28;
v27 += v20;
v30 ^= v27;
v30 = verse_rotR64(v30, 16);
v29 += v30;
v28 ^= v29;
v28 = verse_rotR64(v28, 63);
v31 += v32;
v31 += v14;
v34 ^= v31;
v34 = verse_rotR64(v34, 32);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 24);
v31 += v32;
v31 += v12;
v34 ^= v31;
v34 = verse_rotR64(v34, 16);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 63);
v35 += v36;
v35 += v24;
v38 ^= v35;
v38 = verse_rotR64(v38, 32);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 24);
v35 += v36;
v35 += v23;
v38 ^= v35;
v38 = verse_rotR64(v38, 16);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 63);
v39 += v40;
v39 += v22;
v42 ^= v39;
v42 = verse_rotR64(v42, 32);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 24);
v39 += v40;
v39 += v25;
v42 ^= v39;
v42 = verse_rotR64(v42, 16);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 63);
v27 += v32;
v27 += v13;
v42 ^= v27;
v42 = verse_rotR64(v42, 32);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 24);
v27 += v32;
v27 += v17;
v42 ^= v27;
v42 = verse_rotR64(v42, 16);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 63);
v31 += v36;
v31 += v16;
v30 ^= v31;
v30 = verse_rotR64(v30, 32);
v41 += v30;
v36 ^= v41;
v36 = verse_rotR64(v36, 24);
v31 += v36;
v31 += v21;
v30 ^= v31;
v30 = verse_rotR64(v30, 16);
v41 += v30;
v36 ^= v41;
v36 = verse_rotR64(v36, 63);
v35 += v40;
v35 += v15;
v34 ^= v35;
v34 = verse_rotR64(v34, 32);
v29 += v34;
v40 ^= v29;
v40 = verse_rotR64(v40, 24);
v35 += v40;
v35 += v11;
v34 ^= v35;
v34 = verse_rotR64(v34, 16);
v29 += v34;
v40 ^= v29;
v40 = verse_rotR64(v40, 63);
v39 += v28;
v39 += v26;
v38 ^= v39;
v38 = verse_rotR64(v38, 32);
v33 += v38;
v28 ^= v33;
v28 = verse_rotR64(v28, 24);
v39 += v28;
v39 += v19;
v38 ^= v39;
v38 = verse_rotR64(v38, 16);
v33 += v38;
v28 ^= v33;
v28 = verse_rotR64(v28, 63);
v27 += v28;
v27 += v20;
v30 ^= v27;
v30 = verse_rotR64(v30, 32);
v29 += v30;
v28 ^= v29;
v28 = verse_rotR64(v28, 24);
v27 += v28;
v27 += v11;
v30 ^= v27;
v30 = verse_rotR64(v30, 16);
v29 += v30;
v28 ^= v29;
v28 = verse_rotR64(v28, 63);
v31 += v32;
v31 += v16;
v34 ^= v31;
v34 = verse_rotR64(v34, 32);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 24);
v31 += v32;
v31 += v18;
v34 ^= v31;
v34 = verse_rotR64(v34, 16);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 63);
v35 += v36;
v35 += v13;
v38 ^= v35;
v38 = verse_rotR64(v38, 32);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 24);
v35 += v36;
v35 += v15;
v38 ^= v35;
v38 = verse_rotR64(v38, 16);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 63);
v39 += v40;
v39 += v21;
v42 ^= v39;
v42 = verse_rotR64(v42, 32);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 24);
v39 += v40;
v39 += v26;
v42 ^= v39;
v42 = verse_rotR64(v42, 16);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 63);
v27 += v32;
v27 += v25;
v42 ^= v27;
v42 = verse_rotR64(v42, 32);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 24);
v27 += v32;
v27 += v12;
v42 ^= v27;
v42 = verse_rotR64(v42, 16);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 63);
v31 += v36;
v31 += v22;
v30 ^= v31;
v30 = verse_rotR64(v30, 32);
v41 += v30;
v36 ^= v41;
v36 = verse_rotR64(v36, 24);
v31 += v36;
v31 += v23;
v30 ^= v31;
v30 = verse_rotR64(v30, 16);
v41 += v30;
v36 ^= v41;
v36 = verse_rotR64(v36, 63);
v35 += v40;
v35 += v17;
v34 ^= v35;
v34 = verse_rotR64(v34, 32);
v29 += v34;
v40 ^= v29;
v40 = verse_rotR64(v40, 24);
v35 += v40;
v35 += v19;
v34 ^= v35;
v34 = verse_rotR64(v34, 16);
v29 += v34;
v40 ^= v29;
v40 = verse_rotR64(v40, 63);
v39 += v28;
v39 += v14;
v38 ^= v39;
v38 = verse_rotR64(v38, 32);
v33 += v38;
v28 ^= v33;
v28 = verse_rotR64(v28, 24);
v39 += v28;
v39 += v24;
v38 ^= v39;
v38 = verse_rotR64(v38, 16);
v33 += v38;
v28 ^= v33;
v28 = verse_rotR64(v28, 63);
v27 += v28;
v27 += v13;
v30 ^= v27;
v30 = verse_rotR64(v30, 32);
v29 += v30;
v28 ^= v29;
v28 = verse_rotR64(v28, 24);
v27 += v28;
v27 += v23;
v30 ^= v27;
v30 = verse_rotR64(v30, 16);
v29 += v30;
v28 ^= v29;
v28 = verse_rotR64(v28, 63);
v31 += v32;
v31 += v17;
v34 ^= v31;
v34 = verse_rotR64(v34, 32);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 24);
v31 += v32;
v31 += v21;
v34 ^= v31;
v34 = verse_rotR64(v34, 16);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 63);
v35 += v36;
v35 += v11;
v38 ^= v35;
v38 = verse_rotR64(v38, 32);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 24);
v35 += v36;
v35 += v22;
v38 ^= v35;
v38 = verse_rotR64(v38, 16);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 63);
v39 += v40;
v39 += v19;
v42 ^= v39;
v42 = verse_rotR64(v42, 32);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 24);
v39 += v40;
v39 += v14;
v42 ^= v39;
v42 = verse_rotR64(v42, 16);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 63);
v27 += v32;
v27 += v15;
v42 ^= v27;
v42 = verse_rotR64(v42, 32);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 24);
v27 += v32;
v27 += v24;
v42 ^= v27;
v42 = verse_rotR64(v42, 16);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 63);
v31 += v36;
v31 += v18;
v30 ^= v31;
v30 = verse_rotR64(v30, 32);
v41 += v30;
v36 ^= v41;
v36 = verse_rotR64(v36, 24);
v31 += v36;
v31 += v16;
v30 ^= v31;
v30 = verse_rotR64(v30, 16);
v41 += v30;
v36 ^= v41;
v36 = verse_rotR64(v36, 63);
v35 += v40;
v35 += v26;
v34 ^= v35;
v34 = verse_rotR64(v34, 32);
v29 += v34;
v40 ^= v29;
v40 = verse_rotR64(v40, 24);
v35 += v40;
v35 += v25;
v34 ^= v35;
v34 = verse_rotR64(v34, 16);
v29 += v34;
v40 ^= v29;
v40 = verse_rotR64(v40, 63);
v39 += v28;
v39 += v12;
v38 ^= v39;
v38 = verse_rotR64(v38, 32);
v33 += v38;
v28 ^= v33;
v28 = verse_rotR64(v28, 24);
v39 += v28;
v39 += v20;
v38 ^= v39;
v38 = verse_rotR64(v38, 16);
v33 += v38;
v28 ^= v33;
v28 = verse_rotR64(v28, 63);
v27 += v28;
v27 += v23;
v30 ^= v27;
v30 = verse_rotR64(v30, 32);
v29 += v30;
v28 ^= v29;
v28 = verse_rotR64(v28, 24);
v27 += v28;
v27 += v16;
v30 ^= v27;
v30 = verse_rotR64(v30, 16);
v29 += v30;
v28 ^= v29;
v28 = verse_rotR64(v28, 63);
v31 += v32;
v31 += v12;
v34 ^= v31;
v34 = verse_rotR64(v34, 32);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 24);
v31 += v32;
v31 += v26;
v34 ^= v31;
v34 = verse_rotR64(v34, 16);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 63);
v35 += v36;
v35 += v25;
v38 ^= v35;
v38 = verse_rotR64(v38, 32);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 24);
v35 += v36;
v35 += v24;
v38 ^= v35;
v38 = verse_rotR64(v38, 16);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 63);
v39 += v40;
v39 += v15;
v42 ^= v39;
v42 = verse_rotR64(v42, 32);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 24);
v39 += v40;
v39 += v21;
v42 ^= v39;
v42 = verse_rotR64(v42, 16);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 63);
v27 += v32;
v27 += v11;
v42 ^= v27;
v42 = verse_rotR64(v42, 32);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 24);
v27 += v32;
v27 += v18;
v42 ^= v27;
v42 = verse_rotR64(v42, 16);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 63);
v31 += v36;
v31 += v17;
v30 ^= v31;
v30 = verse_rotR64(v30, 32);
v41 += v30;
v36 ^= v41;
v36 = verse_rotR64(v36, 24);
v31 += v36;
v31 += v14;
v30 ^= v31;
v30 = verse_rotR64(v30, 16);
v41 += v30;
v36 ^= v41;
v36 = verse_rotR64(v36, 63);
v35 += v40;
v35 += v20;
v34 ^= v35;
v34 = verse_rotR64(v34, 32);
v29 += v34;
v40 ^= v29;
v40 = verse_rotR64(v40, 24);
v35 += v40;
v35 += v13;
v34 ^= v35;
v34 = verse_rotR64(v34, 16);
v29 += v34;
v40 ^= v29;
v40 = verse_rotR64(v40, 63);
v39 += v28;
v39 += v19;
v38 ^= v39;
v38 = verse_rotR64(v38, 32);
v33 += v38;
v28 ^= v33;
v28 = verse_rotR64(v28, 24);
v39 += v28;
v39 += v22;
v38 ^= v39;
v38 = verse_rotR64(v38, 16);
v33 += v38;
v28 ^= v33;
v28 = verse_rotR64(v28, 63);
v27 += v28;
v27 += v24;
v30 ^= v27;
v30 = verse_rotR64(v30, 32);
v29 += v30;
v28 ^= v29;
v28 = verse_rotR64(v28, 24);
v27 += v28;
v27 += v22;
v30 ^= v27;
v30 = verse_rotR64(v30, 16);
v29 += v30;
v28 ^= v29;
v28 = verse_rotR64(v28, 63);
v31 += v32;
v31 += v18;
v34 ^= v31;
v34 = verse_rotR64(v34, 32);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 24);
v31 += v32;
v31 += v25;
v34 ^= v31;
v34 = verse_rotR64(v34, 16);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 63);
v35 += v36;
v35 += v23;
v38 ^= v35;
v38 = verse_rotR64(v38, 32);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 24);
v35 += v36;
v35 += v12;
v38 ^= v35;
v38 = verse_rotR64(v38, 16);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 63);
v39 += v40;
v39 += v14;
v42 ^= v39;
v42 = verse_rotR64(v42, 32);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 24);
v39 += v40;
v39 += v20;
v42 ^= v39;
v42 = verse_rotR64(v42, 16);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 63);
v27 += v32;
v27 += v16;
v42 ^= v27;
v42 = verse_rotR64(v42, 32);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 24);
v27 += v32;
v27 += v11;
v42 ^= v27;
v42 = verse_rotR64(v42, 16);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 63);
v31 += v36;
v31 += v26;
v30 ^= v31;
v30 = verse_rotR64(v30, 32);
v41 += v30;
v36 ^= v41;
v36 = verse_rotR64(v36, 24);
v31 += v36;
v31 += v15;
v30 ^= v31;
v30 = verse_rotR64(v30, 16);
v41 += v30;
v36 ^= v41;
v36 = verse_rotR64(v36, 63);
v35 += v40;
v35 += v19;
v34 ^= v35;
v34 = verse_rotR64(v34, 32);
v29 += v34;
v40 ^= v29;
v40 = verse_rotR64(v40, 24);
v35 += v40;
v35 += v17;
v34 ^= v35;
v34 = verse_rotR64(v34, 16);
v29 += v34;
v40 ^= v29;
v40 = verse_rotR64(v40, 63);
v39 += v28;
v39 += v13;
v38 ^= v39;
v38 = verse_rotR64(v38, 32);
v33 += v38;
v28 ^= v33;
v28 = verse_rotR64(v28, 24);
v39 += v28;
v39 += v21;
v38 ^= v39;
v38 = verse_rotR64(v38, 16);
v33 += v38;
v28 ^= v33;
v28 = verse_rotR64(v28, 63);
v27 += v28;
v27 += v17;
v30 ^= v27;
v30 = verse_rotR64(v30, 32);
v29 += v30;
v28 ^= v29;
v28 = verse_rotR64(v28, 24);
v27 += v28;
v27 += v26;
v30 ^= v27;
v30 = verse_rotR64(v30, 16);
v29 += v30;
v28 ^= v29;
v28 = verse_rotR64(v28, 63);
v31 += v32;
v31 += v25;
v34 ^= v31;
v34 = verse_rotR64(v34, 32);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 24);
v31 += v32;
v31 += v20;
v34 ^= v31;
v34 = verse_rotR64(v34, 16);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 63);
v35 += v36;
v35 += v22;
v38 ^= v35;
v38 = verse_rotR64(v38, 32);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 24);
v35 += v36;
v35 += v14;
v38 ^= v35;
v38 = verse_rotR64(v38, 16);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 63);
v39 += v40;
v39 += v11;
v42 ^= v39;
v42 = verse_rotR64(v42, 32);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 24);
v39 += v40;
v39 += v19;
v42 ^= v39;
v42 = verse_rotR64(v42, 16);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 63);
v27 += v32;
v27 += v23;
v42 ^= v27;
v42 = verse_rotR64(v42, 32);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 24);
v27 += v32;
v27 += v13;
v42 ^= v27;
v42 = verse_rotR64(v42, 16);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 63);
v31 += v36;
v31 += v24;
v30 ^= v31;
v30 = verse_rotR64(v30, 32);
v41 += v30;
v36 ^= v41;
v36 = verse_rotR64(v36, 24);
v31 += v36;
v31 += v18;
v30 ^= v31;
v30 = verse_rotR64(v30, 16);
v41 += v30;
v36 ^= v41;
v36 = verse_rotR64(v36, 63);
v35 += v40;
v35 += v12;
v34 ^= v35;
v34 = verse_rotR64(v34, 32);
v29 += v34;
v40 ^= v29;
v40 = verse_rotR64(v40, 24);
v35 += v40;
v35 += v15;
v34 ^= v35;
v34 = verse_rotR64(v34, 16);
v29 += v34;
v40 ^= v29;
v40 = verse_rotR64(v40, 63);
v39 += v28;
v39 += v21;
v38 ^= v39;
v38 = verse_rotR64(v38, 32);
v33 += v38;
v28 ^= v33;
v28 = verse_rotR64(v28, 24);
v39 += v28;
v39 += v16;
v38 ^= v39;
v38 = verse_rotR64(v38, 16);
v33 += v38;
v28 ^= v33;
v28 = verse_rotR64(v28, 63);
v27 += v28;
v27 += v21;
v30 ^= v27;
v30 = verse_rotR64(v30, 32);
v29 += v30;
v28 ^= v29;
v28 = verse_rotR64(v28, 24);
v27 += v28;
v27 += v13;
v30 ^= v27;
v30 = verse_rotR64(v30, 16);
v29 += v30;
v28 ^= v29;
v28 = verse_rotR64(v28, 63);
v31 += v32;
v31 += v19;
v34 ^= v31;
v34 = verse_rotR64(v34, 32);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 24);
v31 += v32;
v31 += v15;
v34 ^= v31;
v34 = verse_rotR64(v34, 16);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 63);
v35 += v36;
v35 += v18;
v38 ^= v35;
v38 = verse_rotR64(v38, 32);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 24);
v35 += v36;
v35 += v17;
v38 ^= v35;
v38 = verse_rotR64(v38, 16);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 63);
v39 += v40;
v39 += v12;
v42 ^= v39;
v42 = verse_rotR64(v42, 32);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 24);
v39 += v40;
v39 += v16;
v42 ^= v39;
v42 = verse_rotR64(v42, 16);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 63);
v27 += v32;
v27 += v26;
v42 ^= v27;
v42 = verse_rotR64(v42, 32);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 24);
v27 += v32;
v27 += v22;
v42 ^= v27;
v42 = verse_rotR64(v42, 16);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 63);
v31 += v36;
v31 += v20;
v30 ^= v31;
v30 = verse_rotR64(v30, 32);
v41 += v30;
v36 ^= v41;
v36 = verse_rotR64(v36, 24);
v31 += v36;
v31 += v25;
v30 ^= v31;
v30 = verse_rotR64(v30, 16);
v41 += v30;
v36 ^= v41;
v36 = verse_rotR64(v36, 63);
v35 += v40;
v35 += v14;
v34 ^= v35;
v34 = verse_rotR64(v34, 32);
v29 += v34;
v40 ^= v29;
v40 = verse_rotR64(v40, 24);
v35 += v40;
v35 += v23;
v34 ^= v35;
v34 = verse_rotR64(v34, 16);
v29 += v34;
v40 ^= v29;
v40 = verse_rotR64(v40, 63);
v39 += v28;
v39 += v24;
v38 ^= v39;
v38 = verse_rotR64(v38, 32);
v33 += v38;
v28 ^= v33;
v28 = verse_rotR64(v28, 24);
v39 += v28;
v39 += v11;
v38 ^= v39;
v38 = verse_rotR64(v38, 16);
v33 += v38;
v28 ^= v33;
v28 = verse_rotR64(v28, 63);
v27 += v28;
v27 += v11;
v30 ^= v27;
v30 = verse_rotR64(v30, 32);
v29 += v30;
v28 ^= v29;
v28 = verse_rotR64(v28, 24);
v27 += v28;
v27 += v12;
v30 ^= v27;
v30 = verse_rotR64(v30, 16);
v29 += v30;
v28 ^= v29;
v28 = verse_rotR64(v28, 63);
v31 += v32;
v31 += v13;
v34 ^= v31;
v34 = verse_rotR64(v34, 32);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 24);
v31 += v32;
v31 += v14;
v34 ^= v31;
v34 = verse_rotR64(v34, 16);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 63);
v35 += v36;
v35 += v15;
v38 ^= v35;
v38 = verse_rotR64(v38, 32);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 24);
v35 += v36;
v35 += v16;
v38 ^= v35;
v38 = verse_rotR64(v38, 16);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 63);
v39 += v40;
v39 += v17;
v42 ^= v39;
v42 = verse_rotR64(v42, 32);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 24);
v39 += v40;
v39 += v18;
v42 ^= v39;
v42 = verse_rotR64(v42, 16);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 63);
v27 += v32;
v27 += v19;
v42 ^= v27;
v42 = verse_rotR64(v42, 32);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 24);
v27 += v32;
v27 += v20;
v42 ^= v27;
v42 = verse_rotR64(v42, 16);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 63);
v31 += v36;
v31 += v21;
v30 ^= v31;
v30 = verse_rotR64(v30, 32);
v41 += v30;
v36 ^= v41;
v36 = verse_rotR64(v36, 24);
v31 += v36;
v31 += v22;
v30 ^= v31;
v30 = verse_rotR64(v30, 16);
v41 += v30;
v36 ^= v41;
v36 = verse_rotR64(v36, 63);
v35 += v40;
v35 += v23;
v34 ^= v35;
v34 = verse_rotR64(v34, 32);
v29 += v34;
v40 ^= v29;
v40 = verse_rotR64(v40, 24);
v35 += v40;
v35 += v24;
v34 ^= v35;
v34 = verse_rotR64(v34, 16);
v29 += v34;
v40 ^= v29;
v40 = verse_rotR64(v40, 63);
v39 += v28;
v39 += v25;
v38 ^= v39;
v38 = verse_rotR64(v38, 32);
v33 += v38;
v28 ^= v33;
v28 = verse_rotR64(v28, 24);
v39 += v28;
v39 += v26;
v38 ^= v39;
v38 = verse_rotR64(v38, 16);
v33 += v38;
v28 ^= v33;
v28 = verse_rotR64(v28, 63);
v27 += v28;
v27 += v25;
v30 ^= v27;
v30 = verse_rotR64(v30, 32);
v29 += v30;
v28 ^= v29;
v28 = verse_rotR64(v28, 24);
v27 += v28;
v27 += v21;
v30 ^= v27;
v30 = verse_rotR64(v30, 16);
v29 += v30;
v28 ^= v29;
v28 = verse_rotR64(v28, 63);
v31 += v32;
v31 += v15;
v34 ^= v31;
v34 = verse_rotR64(v34, 32);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 24);
v31 += v32;
v31 += v19;
v34 ^= v31;
v34 = verse_rotR64(v34, 16);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 63);
v35 += v36;
v35 += v20;
v38 ^= v35;
v38 = verse_rotR64(v38, 32);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 24);
v35 += v36;
v35 += v26;
v38 ^= v35;
v38 = verse_rotR64(v38, 16);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 63);
v39 += v40;
v39 += v24;
v42 ^= v39;
v42 = verse_rotR64(v42, 32);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 24);
v39 += v40;
v39 += v17;
v42 ^= v39;
v42 = verse_rotR64(v42, 16);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 63);
v27 += v32;
v27 += v12;
v42 ^= v27;
v42 = verse_rotR64(v42, 32);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 24);
v27 += v32;
v27 += v23;
v42 ^= v27;
v42 = verse_rotR64(v42, 16);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 63);
v31 += v36;
v31 += v11;
v30 ^= v31;
v30 = verse_rotR64(v30, 32);
v41 += v30;
v36 ^= v41;
v36 = verse_rotR64(v36, 24);
v31 += v36;
v31 += v13;
v30 ^= v31;
v30 = verse_rotR64(v30, 16);
v41 += v30;
v36 ^= v41;
v36 = verse_rotR64(v36, 63);
v35 += v40;
v35 += v22;
v34 ^= v35;
v34 = verse_rotR64(v34, 32);
v29 += v34;
v40 ^= v29;
v40 = verse_rotR64(v40, 24);
v35 += v40;
v35 += v18;
v34 ^= v35;
v34 = verse_rotR64(v34, 16);
v29 += v34;
v40 ^= v29;
v40 = verse_rotR64(v40, 63);
v39 += v28;
v39 += v16;
v38 ^= v39;
v38 = verse_rotR64(v38, 32);
v33 += v38;
v28 ^= v33;
v28 = verse_rotR64(v28, 24);
v39 += v28;
v39 += v14;
v38 ^= v39;
v38 = verse_rotR64(v38, 16);
v33 += v38;
v28 ^= v33;
v28 = verse_rotR64(v28, 63);
v3 ^= v27;
v3 ^= v29;
v4 ^= v31;
v4 ^= v33;
v5 ^= v35;
v5 ^= v37;
v6 ^= v39;
v6 ^= v41;
v7 ^= v28;
v7 ^= v30;
v8 ^= v32;
v8 ^= v34;
v9 ^= v36;
v9 ^= v38;
v10 ^= v40;
v10 ^= v42;
++bPtr;
--cTr;
};
v0[0] = v45;
v1[0] = v46;
v2[0] = v3;
v2[1] = v4;
v2[2] = v5;
v2[3] = v6;
v2[4] = v7;
v2[5] = v8;
v2[6] = v9;
v2[7] = v10;
}
void verse_blake2b_c_portable_last(uint64_t v0[16],
uint64_t v1, uint64_t v2,
uint64_t v3, uint64_t v4,
uint64_t v5, uint64_t v6[8])
{
auto uint64_t v7;
auto uint64_t v8;
auto uint64_t v9;
auto uint64_t v10;
auto uint64_t v11;
auto uint64_t v12;
auto uint64_t v13;
auto uint64_t v14;
auto uint64_t v15;
auto uint64_t v16;
auto uint64_t v17;
auto uint64_t v18;
auto uint64_t v19;
auto uint64_t v20;
auto uint64_t v21;
auto uint64_t v22;
auto uint64_t v23;
auto uint64_t v24;
auto uint64_t v25;
auto uint64_t v26;
auto uint64_t v27;
auto uint64_t v28;
auto uint64_t v29;
auto uint64_t v30;
auto uint64_t v31;
auto uint64_t v32;
auto uint64_t v33;
auto uint64_t v34;
auto uint64_t v35;
auto uint64_t v36;
auto uint64_t v37;
auto uint64_t v38;
auto uint64_t v39;
auto uint64_t v40;
auto uint64_t v41;
auto uint64_t v42;
auto uint64_t v43;
auto uint64_t v44;
auto uint64_t v45;
auto uint64_t v46;
auto uint64_t v47;
auto uint64_t v48;
v7 = v6[0];
v8 = v6[1];
v9 = v6[2];
v10 = v6[3];
v11 = v6[4];
v12 = v6[5];
v13 = v6[6];
v14 = v6[7];
v48 = v3;
v48 >>= 63;
v47 = v3 & 0x7fffffffffffffffULL;
v47 += v1;
v47 >>= 63;
v47 += v48;
v47 >>= 1;
v2 += v47;
v3 += v1;
v31 = v7;
v35 = v8;
v39 = v9;
v43 = v10;
v32 = v11;
v36 = v12;
v40 = v13;
v44 = v14;
v33 = 0x6a09e667f3bcc908ULL;
v37 = 0xbb67ae8584caa73bULL;
v41 = 0x3c6ef372fe94f82bULL;
v45 = 0xa54ff53a5f1d36f1ULL;
v34 = 0x510e527fade682d1ULL XOR v3;
v38 = 0x9b05688c2b3e6c1fULL XOR v2;
v42 = 0x1f83d9abfb41bd6bULL XOR v4;
v46 = 0x5be0cd19137e2179ULL XOR v5;
v15 = verse_from_le64(v0[0]);
v16 = verse_from_le64(v0[1]);
v17 = verse_from_le64(v0[2]);
v18 = verse_from_le64(v0[3]);
v19 = verse_from_le64(v0[4]);
v20 = verse_from_le64(v0[5]);
v21 = verse_from_le64(v0[6]);
v22 = verse_from_le64(v0[7]);
v23 = verse_from_le64(v0[8]);
v24 = verse_from_le64(v0[9]);
v25 = verse_from_le64(v0[10]);
v26 = verse_from_le64(v0[11]);
v27 = verse_from_le64(v0[12]);
v28 = verse_from_le64(v0[13]);
v29 = verse_from_le64(v0[14]);
v30 = verse_from_le64(v0[15]);
v31 += v32;
v31 += v15;
v34 ^= v31;
v34 = verse_rotR64(v34, 32);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 24);
v31 += v32;
v31 += v16;
v34 ^= v31;
v34 = verse_rotR64(v34, 16);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 63);
v35 += v36;
v35 += v17;
v38 ^= v35;
v38 = verse_rotR64(v38, 32);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 24);
v35 += v36;
v35 += v18;
v38 ^= v35;
v38 = verse_rotR64(v38, 16);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 63);
v39 += v40;
v39 += v19;
v42 ^= v39;
v42 = verse_rotR64(v42, 32);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 24);
v39 += v40;
v39 += v20;
v42 ^= v39;
v42 = verse_rotR64(v42, 16);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 63);
v43 += v44;
v43 += v21;
v46 ^= v43;
v46 = verse_rotR64(v46, 32);
v45 += v46;
v44 ^= v45;
v44 = verse_rotR64(v44, 24);
v43 += v44;
v43 += v22;
v46 ^= v43;
v46 = verse_rotR64(v46, 16);
v45 += v46;
v44 ^= v45;
v44 = verse_rotR64(v44, 63);
v31 += v36;
v31 += v23;
v46 ^= v31;
v46 = verse_rotR64(v46, 32);
v41 += v46;
v36 ^= v41;
v36 = verse_rotR64(v36, 24);
v31 += v36;
v31 += v24;
v46 ^= v31;
v46 = verse_rotR64(v46, 16);
v41 += v46;
v36 ^= v41;
v36 = verse_rotR64(v36, 63);
v35 += v40;
v35 += v25;
v34 ^= v35;
v34 = verse_rotR64(v34, 32);
v45 += v34;
v40 ^= v45;
v40 = verse_rotR64(v40, 24);
v35 += v40;
v35 += v26;
v34 ^= v35;
v34 = verse_rotR64(v34, 16);
v45 += v34;
v40 ^= v45;
v40 = verse_rotR64(v40, 63);
v39 += v44;
v39 += v27;
v38 ^= v39;
v38 = verse_rotR64(v38, 32);
v33 += v38;
v44 ^= v33;
v44 = verse_rotR64(v44, 24);
v39 += v44;
v39 += v28;
v38 ^= v39;
v38 = verse_rotR64(v38, 16);
v33 += v38;
v44 ^= v33;
v44 = verse_rotR64(v44, 63);
v43 += v32;
v43 += v29;
v42 ^= v43;
v42 = verse_rotR64(v42, 32);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 24);
v43 += v32;
v43 += v30;
v42 ^= v43;
v42 = verse_rotR64(v42, 16);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 63);
v31 += v32;
v31 += v29;
v34 ^= v31;
v34 = verse_rotR64(v34, 32);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 24);
v31 += v32;
v31 += v25;
v34 ^= v31;
v34 = verse_rotR64(v34, 16);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 63);
v35 += v36;
v35 += v19;
v38 ^= v35;
v38 = verse_rotR64(v38, 32);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 24);
v35 += v36;
v35 += v23;
v38 ^= v35;
v38 = verse_rotR64(v38, 16);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 63);
v39 += v40;
v39 += v24;
v42 ^= v39;
v42 = verse_rotR64(v42, 32);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 24);
v39 += v40;
v39 += v30;
v42 ^= v39;
v42 = verse_rotR64(v42, 16);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 63);
v43 += v44;
v43 += v28;
v46 ^= v43;
v46 = verse_rotR64(v46, 32);
v45 += v46;
v44 ^= v45;
v44 = verse_rotR64(v44, 24);
v43 += v44;
v43 += v21;
v46 ^= v43;
v46 = verse_rotR64(v46, 16);
v45 += v46;
v44 ^= v45;
v44 = verse_rotR64(v44, 63);
v31 += v36;
v31 += v16;
v46 ^= v31;
v46 = verse_rotR64(v46, 32);
v41 += v46;
v36 ^= v41;
v36 = verse_rotR64(v36, 24);
v31 += v36;
v31 += v27;
v46 ^= v31;
v46 = verse_rotR64(v46, 16);
v41 += v46;
v36 ^= v41;
v36 = verse_rotR64(v36, 63);
v35 += v40;
v35 += v15;
v34 ^= v35;
v34 = verse_rotR64(v34, 32);
v45 += v34;
v40 ^= v45;
v40 = verse_rotR64(v40, 24);
v35 += v40;
v35 += v17;
v34 ^= v35;
v34 = verse_rotR64(v34, 16);
v45 += v34;
v40 ^= v45;
v40 = verse_rotR64(v40, 63);
v39 += v44;
v39 += v26;
v38 ^= v39;
v38 = verse_rotR64(v38, 32);
v33 += v38;
v44 ^= v33;
v44 = verse_rotR64(v44, 24);
v39 += v44;
v39 += v22;
v38 ^= v39;
v38 = verse_rotR64(v38, 16);
v33 += v38;
v44 ^= v33;
v44 = verse_rotR64(v44, 63);
v43 += v32;
v43 += v20;
v42 ^= v43;
v42 = verse_rotR64(v42, 32);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 24);
v43 += v32;
v43 += v18;
v42 ^= v43;
v42 = verse_rotR64(v42, 16);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 63);
v31 += v32;
v31 += v26;
v34 ^= v31;
v34 = verse_rotR64(v34, 32);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 24);
v31 += v32;
v31 += v23;
v34 ^= v31;
v34 = verse_rotR64(v34, 16);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 63);
v35 += v36;
v35 += v27;
v38 ^= v35;
v38 = verse_rotR64(v38, 32);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 24);
v35 += v36;
v35 += v15;
v38 ^= v35;
v38 = verse_rotR64(v38, 16);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 63);
v39 += v40;
v39 += v20;
v42 ^= v39;
v42 = verse_rotR64(v42, 32);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 24);
v39 += v40;
v39 += v17;
v42 ^= v39;
v42 = verse_rotR64(v42, 16);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 63);
v43 += v44;
v43 += v30;
v46 ^= v43;
v46 = verse_rotR64(v46, 32);
v45 += v46;
v44 ^= v45;
v44 = verse_rotR64(v44, 24);
v43 += v44;
v43 += v28;
v46 ^= v43;
v46 = verse_rotR64(v46, 16);
v45 += v46;
v44 ^= v45;
v44 = verse_rotR64(v44, 63);
v31 += v36;
v31 += v25;
v46 ^= v31;
v46 = verse_rotR64(v46, 32);
v41 += v46;
v36 ^= v41;
v36 = verse_rotR64(v36, 24);
v31 += v36;
v31 += v29;
v46 ^= v31;
v46 = verse_rotR64(v46, 16);
v41 += v46;
v36 ^= v41;
v36 = verse_rotR64(v36, 63);
v35 += v40;
v35 += v18;
v34 ^= v35;
v34 = verse_rotR64(v34, 32);
v45 += v34;
v40 ^= v45;
v40 = verse_rotR64(v40, 24);
v35 += v40;
v35 += v21;
v34 ^= v35;
v34 = verse_rotR64(v34, 16);
v45 += v34;
v40 ^= v45;
v40 = verse_rotR64(v40, 63);
v39 += v44;
v39 += v22;
v38 ^= v39;
v38 = verse_rotR64(v38, 32);
v33 += v38;
v44 ^= v33;
v44 = verse_rotR64(v44, 24);
v39 += v44;
v39 += v16;
v38 ^= v39;
v38 = verse_rotR64(v38, 16);
v33 += v38;
v44 ^= v33;
v44 = verse_rotR64(v44, 63);
v43 += v32;
v43 += v24;
v42 ^= v43;
v42 = verse_rotR64(v42, 32);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 24);
v43 += v32;
v43 += v19;
v42 ^= v43;
v42 = verse_rotR64(v42, 16);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 63);
v31 += v32;
v31 += v22;
v34 ^= v31;
v34 = verse_rotR64(v34, 32);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 24);
v31 += v32;
v31 += v24;
v34 ^= v31;
v34 = verse_rotR64(v34, 16);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 63);
v35 += v36;
v35 += v18;
v38 ^= v35;
v38 = verse_rotR64(v38, 32);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 24);
v35 += v36;
v35 += v16;
v38 ^= v35;
v38 = verse_rotR64(v38, 16);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 63);
v39 += v40;
v39 += v28;
v42 ^= v39;
v42 = verse_rotR64(v42, 32);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 24);
v39 += v40;
v39 += v27;
v42 ^= v39;
v42 = verse_rotR64(v42, 16);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 63);
v43 += v44;
v43 += v26;
v46 ^= v43;
v46 = verse_rotR64(v46, 32);
v45 += v46;
v44 ^= v45;
v44 = verse_rotR64(v44, 24);
v43 += v44;
v43 += v29;
v46 ^= v43;
v46 = verse_rotR64(v46, 16);
v45 += v46;
v44 ^= v45;
v44 = verse_rotR64(v44, 63);
v31 += v36;
v31 += v17;
v46 ^= v31;
v46 = verse_rotR64(v46, 32);
v41 += v46;
v36 ^= v41;
v36 = verse_rotR64(v36, 24);
v31 += v36;
v31 += v21;
v46 ^= v31;
v46 = verse_rotR64(v46, 16);
v41 += v46;
v36 ^= v41;
v36 = verse_rotR64(v36, 63);
v35 += v40;
v35 += v20;
v34 ^= v35;
v34 = verse_rotR64(v34, 32);
v45 += v34;
v40 ^= v45;
v40 = verse_rotR64(v40, 24);
v35 += v40;
v35 += v25;
v34 ^= v35;
v34 = verse_rotR64(v34, 16);
v45 += v34;
v40 ^= v45;
v40 = verse_rotR64(v40, 63);
v39 += v44;
v39 += v19;
v38 ^= v39;
v38 = verse_rotR64(v38, 32);
v33 += v38;
v44 ^= v33;
v44 = verse_rotR64(v44, 24);
v39 += v44;
v39 += v15;
v38 ^= v39;
v38 = verse_rotR64(v38, 16);
v33 += v38;
v44 ^= v33;
v44 = verse_rotR64(v44, 63);
v43 += v32;
v43 += v30;
v42 ^= v43;
v42 = verse_rotR64(v42, 32);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 24);
v43 += v32;
v43 += v23;
v42 ^= v43;
v42 = verse_rotR64(v42, 16);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 63);
v31 += v32;
v31 += v24;
v34 ^= v31;
v34 = verse_rotR64(v34, 32);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 24);
v31 += v32;
v31 += v15;
v34 ^= v31;
v34 = verse_rotR64(v34, 16);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 63);
v35 += v36;
v35 += v20;
v38 ^= v35;
v38 = verse_rotR64(v38, 32);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 24);
v35 += v36;
v35 += v22;
v38 ^= v35;
v38 = verse_rotR64(v38, 16);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 63);
v39 += v40;
v39 += v17;
v42 ^= v39;
v42 = verse_rotR64(v42, 32);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 24);
v39 += v40;
v39 += v19;
v42 ^= v39;
v42 = verse_rotR64(v42, 16);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 63);
v43 += v44;
v43 += v25;
v46 ^= v43;
v46 = verse_rotR64(v46, 32);
v45 += v46;
v44 ^= v45;
v44 = verse_rotR64(v44, 24);
v43 += v44;
v43 += v30;
v46 ^= v43;
v46 = verse_rotR64(v46, 16);
v45 += v46;
v44 ^= v45;
v44 = verse_rotR64(v44, 63);
v31 += v36;
v31 += v29;
v46 ^= v31;
v46 = verse_rotR64(v46, 32);
v41 += v46;
v36 ^= v41;
v36 = verse_rotR64(v36, 24);
v31 += v36;
v31 += v16;
v46 ^= v31;
v46 = verse_rotR64(v46, 16);
v41 += v46;
v36 ^= v41;
v36 = verse_rotR64(v36, 63);
v35 += v40;
v35 += v26;
v34 ^= v35;
v34 = verse_rotR64(v34, 32);
v45 += v34;
v40 ^= v45;
v40 = verse_rotR64(v40, 24);
v35 += v40;
v35 += v27;
v34 ^= v35;
v34 = verse_rotR64(v34, 16);
v45 += v34;
v40 ^= v45;
v40 = verse_rotR64(v40, 63);
v39 += v44;
v39 += v21;
v38 ^= v39;
v38 = verse_rotR64(v38, 32);
v33 += v38;
v44 ^= v33;
v44 = verse_rotR64(v44, 24);
v39 += v44;
v39 += v23;
v38 ^= v39;
v38 = verse_rotR64(v38, 16);
v33 += v38;
v44 ^= v33;
v44 = verse_rotR64(v44, 63);
v43 += v32;
v43 += v18;
v42 ^= v43;
v42 = verse_rotR64(v42, 32);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 24);
v43 += v32;
v43 += v28;
v42 ^= v43;
v42 = verse_rotR64(v42, 16);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 63);
v31 += v32;
v31 += v17;
v34 ^= v31;
v34 = verse_rotR64(v34, 32);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 24);
v31 += v32;
v31 += v27;
v34 ^= v31;
v34 = verse_rotR64(v34, 16);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 63);
v35 += v36;
v35 += v21;
v38 ^= v35;
v38 = verse_rotR64(v38, 32);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 24);
v35 += v36;
v35 += v25;
v38 ^= v35;
v38 = verse_rotR64(v38, 16);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 63);
v39 += v40;
v39 += v15;
v42 ^= v39;
v42 = verse_rotR64(v42, 32);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 24);
v39 += v40;
v39 += v26;
v42 ^= v39;
v42 = verse_rotR64(v42, 16);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 63);
v43 += v44;
v43 += v23;
v46 ^= v43;
v46 = verse_rotR64(v46, 32);
v45 += v46;
v44 ^= v45;
v44 = verse_rotR64(v44, 24);
v43 += v44;
v43 += v18;
v46 ^= v43;
v46 = verse_rotR64(v46, 16);
v45 += v46;
v44 ^= v45;
v44 = verse_rotR64(v44, 63);
v31 += v36;
v31 += v19;
v46 ^= v31;
v46 = verse_rotR64(v46, 32);
v41 += v46;
v36 ^= v41;
v36 = verse_rotR64(v36, 24);
v31 += v36;
v31 += v28;
v46 ^= v31;
v46 = verse_rotR64(v46, 16);
v41 += v46;
v36 ^= v41;
v36 = verse_rotR64(v36, 63);
v35 += v40;
v35 += v22;
v34 ^= v35;
v34 = verse_rotR64(v34, 32);
v45 += v34;
v40 ^= v45;
v40 = verse_rotR64(v40, 24);
v35 += v40;
v35 += v20;
v34 ^= v35;
v34 = verse_rotR64(v34, 16);
v45 += v34;
v40 ^= v45;
v40 = verse_rotR64(v40, 63);
v39 += v44;
v39 += v30;
v38 ^= v39;
v38 = verse_rotR64(v38, 32);
v33 += v38;
v44 ^= v33;
v44 = verse_rotR64(v44, 24);
v39 += v44;
v39 += v29;
v38 ^= v39;
v38 = verse_rotR64(v38, 16);
v33 += v38;
v44 ^= v33;
v44 = verse_rotR64(v44, 63);
v43 += v32;
v43 += v16;
v42 ^= v43;
v42 = verse_rotR64(v42, 32);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 24);
v43 += v32;
v43 += v24;
v42 ^= v43;
v42 = verse_rotR64(v42, 16);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 63);
v31 += v32;
v31 += v27;
v34 ^= v31;
v34 = verse_rotR64(v34, 32);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 24);
v31 += v32;
v31 += v20;
v34 ^= v31;
v34 = verse_rotR64(v34, 16);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 63);
v35 += v36;
v35 += v16;
v38 ^= v35;
v38 = verse_rotR64(v38, 32);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 24);
v35 += v36;
v35 += v30;
v38 ^= v35;
v38 = verse_rotR64(v38, 16);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 63);
v39 += v40;
v39 += v29;
v42 ^= v39;
v42 = verse_rotR64(v42, 32);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 24);
v39 += v40;
v39 += v28;
v42 ^= v39;
v42 = verse_rotR64(v42, 16);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 63);
v43 += v44;
v43 += v19;
v46 ^= v43;
v46 = verse_rotR64(v46, 32);
v45 += v46;
v44 ^= v45;
v44 = verse_rotR64(v44, 24);
v43 += v44;
v43 += v25;
v46 ^= v43;
v46 = verse_rotR64(v46, 16);
v45 += v46;
v44 ^= v45;
v44 = verse_rotR64(v44, 63);
v31 += v36;
v31 += v15;
v46 ^= v31;
v46 = verse_rotR64(v46, 32);
v41 += v46;
v36 ^= v41;
v36 = verse_rotR64(v36, 24);
v31 += v36;
v31 += v22;
v46 ^= v31;
v46 = verse_rotR64(v46, 16);
v41 += v46;
v36 ^= v41;
v36 = verse_rotR64(v36, 63);
v35 += v40;
v35 += v21;
v34 ^= v35;
v34 = verse_rotR64(v34, 32);
v45 += v34;
v40 ^= v45;
v40 = verse_rotR64(v40, 24);
v35 += v40;
v35 += v18;
v34 ^= v35;
v34 = verse_rotR64(v34, 16);
v45 += v34;
v40 ^= v45;
v40 = verse_rotR64(v40, 63);
v39 += v44;
v39 += v24;
v38 ^= v39;
v38 = verse_rotR64(v38, 32);
v33 += v38;
v44 ^= v33;
v44 = verse_rotR64(v44, 24);
v39 += v44;
v39 += v17;
v38 ^= v39;
v38 = verse_rotR64(v38, 16);
v33 += v38;
v44 ^= v33;
v44 = verse_rotR64(v44, 63);
v43 += v32;
v43 += v23;
v42 ^= v43;
v42 = verse_rotR64(v42, 32);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 24);
v43 += v32;
v43 += v26;
v42 ^= v43;
v42 = verse_rotR64(v42, 16);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 63);
v31 += v32;
v31 += v28;
v34 ^= v31;
v34 = verse_rotR64(v34, 32);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 24);
v31 += v32;
v31 += v26;
v34 ^= v31;
v34 = verse_rotR64(v34, 16);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 63);
v35 += v36;
v35 += v22;
v38 ^= v35;
v38 = verse_rotR64(v38, 32);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 24);
v35 += v36;
v35 += v29;
v38 ^= v35;
v38 = verse_rotR64(v38, 16);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 63);
v39 += v40;
v39 += v27;
v42 ^= v39;
v42 = verse_rotR64(v42, 32);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 24);
v39 += v40;
v39 += v16;
v42 ^= v39;
v42 = verse_rotR64(v42, 16);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 63);
v43 += v44;
v43 += v18;
v46 ^= v43;
v46 = verse_rotR64(v46, 32);
v45 += v46;
v44 ^= v45;
v44 = verse_rotR64(v44, 24);
v43 += v44;
v43 += v24;
v46 ^= v43;
v46 = verse_rotR64(v46, 16);
v45 += v46;
v44 ^= v45;
v44 = verse_rotR64(v44, 63);
v31 += v36;
v31 += v20;
v46 ^= v31;
v46 = verse_rotR64(v46, 32);
v41 += v46;
v36 ^= v41;
v36 = verse_rotR64(v36, 24);
v31 += v36;
v31 += v15;
v46 ^= v31;
v46 = verse_rotR64(v46, 16);
v41 += v46;
v36 ^= v41;
v36 = verse_rotR64(v36, 63);
v35 += v40;
v35 += v30;
v34 ^= v35;
v34 = verse_rotR64(v34, 32);
v45 += v34;
v40 ^= v45;
v40 = verse_rotR64(v40, 24);
v35 += v40;
v35 += v19;
v34 ^= v35;
v34 = verse_rotR64(v34, 16);
v45 += v34;
v40 ^= v45;
v40 = verse_rotR64(v40, 63);
v39 += v44;
v39 += v23;
v38 ^= v39;
v38 = verse_rotR64(v38, 32);
v33 += v38;
v44 ^= v33;
v44 = verse_rotR64(v44, 24);
v39 += v44;
v39 += v21;
v38 ^= v39;
v38 = verse_rotR64(v38, 16);
v33 += v38;
v44 ^= v33;
v44 = verse_rotR64(v44, 63);
v43 += v32;
v43 += v17;
v42 ^= v43;
v42 = verse_rotR64(v42, 32);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 24);
v43 += v32;
v43 += v25;
v42 ^= v43;
v42 = verse_rotR64(v42, 16);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 63);
v31 += v32;
v31 += v21;
v34 ^= v31;
v34 = verse_rotR64(v34, 32);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 24);
v31 += v32;
v31 += v30;
v34 ^= v31;
v34 = verse_rotR64(v34, 16);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 63);
v35 += v36;
v35 += v29;
v38 ^= v35;
v38 = verse_rotR64(v38, 32);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 24);
v35 += v36;
v35 += v24;
v38 ^= v35;
v38 = verse_rotR64(v38, 16);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 63);
v39 += v40;
v39 += v26;
v42 ^= v39;
v42 = verse_rotR64(v42, 32);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 24);
v39 += v40;
v39 += v18;
v42 ^= v39;
v42 = verse_rotR64(v42, 16);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 63);
v43 += v44;
v43 += v15;
v46 ^= v43;
v46 = verse_rotR64(v46, 32);
v45 += v46;
v44 ^= v45;
v44 = verse_rotR64(v44, 24);
v43 += v44;
v43 += v23;
v46 ^= v43;
v46 = verse_rotR64(v46, 16);
v45 += v46;
v44 ^= v45;
v44 = verse_rotR64(v44, 63);
v31 += v36;
v31 += v27;
v46 ^= v31;
v46 = verse_rotR64(v46, 32);
v41 += v46;
v36 ^= v41;
v36 = verse_rotR64(v36, 24);
v31 += v36;
v31 += v17;
v46 ^= v31;
v46 = verse_rotR64(v46, 16);
v41 += v46;
v36 ^= v41;
v36 = verse_rotR64(v36, 63);
v35 += v40;
v35 += v28;
v34 ^= v35;
v34 = verse_rotR64(v34, 32);
v45 += v34;
v40 ^= v45;
v40 = verse_rotR64(v40, 24);
v35 += v40;
v35 += v22;
v34 ^= v35;
v34 = verse_rotR64(v34, 16);
v45 += v34;
v40 ^= v45;
v40 = verse_rotR64(v40, 63);
v39 += v44;
v39 += v16;
v38 ^= v39;
v38 = verse_rotR64(v38, 32);
v33 += v38;
v44 ^= v33;
v44 = verse_rotR64(v44, 24);
v39 += v44;
v39 += v19;
v38 ^= v39;
v38 = verse_rotR64(v38, 16);
v33 += v38;
v44 ^= v33;
v44 = verse_rotR64(v44, 63);
v43 += v32;
v43 += v25;
v42 ^= v43;
v42 = verse_rotR64(v42, 32);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 24);
v43 += v32;
v43 += v20;
v42 ^= v43;
v42 = verse_rotR64(v42, 16);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 63);
v31 += v32;
v31 += v25;
v34 ^= v31;
v34 = verse_rotR64(v34, 32);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 24);
v31 += v32;
v31 += v17;
v34 ^= v31;
v34 = verse_rotR64(v34, 16);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 63);
v35 += v36;
v35 += v23;
v38 ^= v35;
v38 = verse_rotR64(v38, 32);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 24);
v35 += v36;
v35 += v19;
v38 ^= v35;
v38 = verse_rotR64(v38, 16);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 63);
v39 += v40;
v39 += v22;
v42 ^= v39;
v42 = verse_rotR64(v42, 32);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 24);
v39 += v40;
v39 += v21;
v42 ^= v39;
v42 = verse_rotR64(v42, 16);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 63);
v43 += v44;
v43 += v16;
v46 ^= v43;
v46 = verse_rotR64(v46, 32);
v45 += v46;
v44 ^= v45;
v44 = verse_rotR64(v44, 24);
v43 += v44;
v43 += v20;
v46 ^= v43;
v46 = verse_rotR64(v46, 16);
v45 += v46;
v44 ^= v45;
v44 = verse_rotR64(v44, 63);
v31 += v36;
v31 += v30;
v46 ^= v31;
v46 = verse_rotR64(v46, 32);
v41 += v46;
v36 ^= v41;
v36 = verse_rotR64(v36, 24);
v31 += v36;
v31 += v26;
v46 ^= v31;
v46 = verse_rotR64(v46, 16);
v41 += v46;
v36 ^= v41;
v36 = verse_rotR64(v36, 63);
v35 += v40;
v35 += v24;
v34 ^= v35;
v34 = verse_rotR64(v34, 32);
v45 += v34;
v40 ^= v45;
v40 = verse_rotR64(v40, 24);
v35 += v40;
v35 += v29;
v34 ^= v35;
v34 = verse_rotR64(v34, 16);
v45 += v34;
v40 ^= v45;
v40 = verse_rotR64(v40, 63);
v39 += v44;
v39 += v18;
v38 ^= v39;
v38 = verse_rotR64(v38, 32);
v33 += v38;
v44 ^= v33;
v44 = verse_rotR64(v44, 24);
v39 += v44;
v39 += v27;
v38 ^= v39;
v38 = verse_rotR64(v38, 16);
v33 += v38;
v44 ^= v33;
v44 = verse_rotR64(v44, 63);
v43 += v32;
v43 += v28;
v42 ^= v43;
v42 = verse_rotR64(v42, 32);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 24);
v43 += v32;
v43 += v15;
v42 ^= v43;
v42 = verse_rotR64(v42, 16);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 63);
v31 += v32;
v31 += v15;
v34 ^= v31;
v34 = verse_rotR64(v34, 32);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 24);
v31 += v32;
v31 += v16;
v34 ^= v31;
v34 = verse_rotR64(v34, 16);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 63);
v35 += v36;
v35 += v17;
v38 ^= v35;
v38 = verse_rotR64(v38, 32);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 24);
v35 += v36;
v35 += v18;
v38 ^= v35;
v38 = verse_rotR64(v38, 16);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 63);
v39 += v40;
v39 += v19;
v42 ^= v39;
v42 = verse_rotR64(v42, 32);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 24);
v39 += v40;
v39 += v20;
v42 ^= v39;
v42 = verse_rotR64(v42, 16);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 63);
v43 += v44;
v43 += v21;
v46 ^= v43;
v46 = verse_rotR64(v46, 32);
v45 += v46;
v44 ^= v45;
v44 = verse_rotR64(v44, 24);
v43 += v44;
v43 += v22;
v46 ^= v43;
v46 = verse_rotR64(v46, 16);
v45 += v46;
v44 ^= v45;
v44 = verse_rotR64(v44, 63);
v31 += v36;
v31 += v23;
v46 ^= v31;
v46 = verse_rotR64(v46, 32);
v41 += v46;
v36 ^= v41;
v36 = verse_rotR64(v36, 24);
v31 += v36;
v31 += v24;
v46 ^= v31;
v46 = verse_rotR64(v46, 16);
v41 += v46;
v36 ^= v41;
v36 = verse_rotR64(v36, 63);
v35 += v40;
v35 += v25;
v34 ^= v35;
v34 = verse_rotR64(v34, 32);
v45 += v34;
v40 ^= v45;
v40 = verse_rotR64(v40, 24);
v35 += v40;
v35 += v26;
v34 ^= v35;
v34 = verse_rotR64(v34, 16);
v45 += v34;
v40 ^= v45;
v40 = verse_rotR64(v40, 63);
v39 += v44;
v39 += v27;
v38 ^= v39;
v38 = verse_rotR64(v38, 32);
v33 += v38;
v44 ^= v33;
v44 = verse_rotR64(v44, 24);
v39 += v44;
v39 += v28;
v38 ^= v39;
v38 = verse_rotR64(v38, 16);
v33 += v38;
v44 ^= v33;
v44 = verse_rotR64(v44, 63);
v43 += v32;
v43 += v29;
v42 ^= v43;
v42 = verse_rotR64(v42, 32);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 24);
v43 += v32;
v43 += v30;
v42 ^= v43;
v42 = verse_rotR64(v42, 16);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 63);
v31 += v32;
v31 += v29;
v34 ^= v31;
v34 = verse_rotR64(v34, 32);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 24);
v31 += v32;
v31 += v25;
v34 ^= v31;
v34 = verse_rotR64(v34, 16);
v33 += v34;
v32 ^= v33;
v32 = verse_rotR64(v32, 63);
v35 += v36;
v35 += v19;
v38 ^= v35;
v38 = verse_rotR64(v38, 32);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 24);
v35 += v36;
v35 += v23;
v38 ^= v35;
v38 = verse_rotR64(v38, 16);
v37 += v38;
v36 ^= v37;
v36 = verse_rotR64(v36, 63);
v39 += v40;
v39 += v24;
v42 ^= v39;
v42 = verse_rotR64(v42, 32);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 24);
v39 += v40;
v39 += v30;
v42 ^= v39;
v42 = verse_rotR64(v42, 16);
v41 += v42;
v40 ^= v41;
v40 = verse_rotR64(v40, 63);
v43 += v44;
v43 += v28;
v46 ^= v43;
v46 = verse_rotR64(v46, 32);
v45 += v46;
v44 ^= v45;
v44 = verse_rotR64(v44, 24);
v43 += v44;
v43 += v21;
v46 ^= v43;
v46 = verse_rotR64(v46, 16);
v45 += v46;
v44 ^= v45;
v44 = verse_rotR64(v44, 63);
v31 += v36;
v31 += v16;
v46 ^= v31;
v46 = verse_rotR64(v46, 32);
v41 += v46;
v36 ^= v41;
v36 = verse_rotR64(v36, 24);
v31 += v36;
v31 += v27;
v46 ^= v31;
v46 = verse_rotR64(v46, 16);
v41 += v46;
v36 ^= v41;
v36 = verse_rotR64(v36, 63);
v35 += v40;
v35 += v15;
v34 ^= v35;
v34 = verse_rotR64(v34, 32);
v45 += v34;
v40 ^= v45;
v40 = verse_rotR64(v40, 24);
v35 += v40;
v35 += v17;
v34 ^= v35;
v34 = verse_rotR64(v34, 16);
v45 += v34;
v40 ^= v45;
v40 = verse_rotR64(v40, 63);
v39 += v44;
v39 += v26;
v38 ^= v39;
v38 = verse_rotR64(v38, 32);
v33 += v38;
v44 ^= v33;
v44 = verse_rotR64(v44, 24);
v39 += v44;
v39 += v22;
v38 ^= v39;
v38 = verse_rotR64(v38, 16);
v33 += v38;
v44 ^= v33;
v44 = verse_rotR64(v44, 63);
v43 += v32;
v43 += v20;
v42 ^= v43;
v42 = verse_rotR64(v42, 32);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 24);
v43 += v32;
v43 += v18;
v42 ^= v43;
v42 = verse_rotR64(v42, 16);
v37 += v42;
v32 ^= v37;
v32 = verse_rotR64(v32, 63);
v7 ^= v31;
v7 ^= v33;
v8 ^= v35;
v8 ^= v37;
v9 ^= v39;
v9 ^= v41;
v10 ^= v43;
v10 ^= v45;
v11 ^= v32;
v11 ^= v34;
v12 ^= v36;
v12 ^= v38;
v13 ^= v40;
v13 ^= v42;
v14 ^= v44;
v14 ^= v46;
v6[0] = v7;
v6[1] = v8;
v6[2] = v9;
v6[3] = v10;
v6[4] = v11;
v6[5] = v12;
v6[6] = v13;
v6[7] = v14;
}