24 		x[0]  += x[4];    x[12] = rol32(x[12] ^ x[0],  16);  in chacha_permute()
25 		x[1]  += x[5];    x[13] = rol32(x[13] ^ x[1],  16);  in chacha_permute()
26 		x[2]  += x[6];    x[14] = rol32(x[14] ^ x[2],  16);  in chacha_permute()
27 		x[3]  += x[7];    x[15] = rol32(x[15] ^ x[3],  16);  in chacha_permute()
29 		x[8]  += x[12];   x[4]  = rol32(x[4]  ^ x[8],  12);  in chacha_permute()
30 		x[9]  += x[13];   x[5]  = rol32(x[5]  ^ x[9],  12);  in chacha_permute()
31 		x[10] += x[14];   x[6]  = rol32(x[6]  ^ x[10], 12);  in chacha_permute()
32 		x[11] += x[15];   x[7]  = rol32(x[7]  ^ x[11], 12);  in chacha_permute()
34 		x[0]  += x[4];    x[12] = rol32(x[12] ^ x[0],   8);  in chacha_permute()
35 		x[1]  += x[5];    x[13] = rol32(x[13] ^ x[1],   8);  in chacha_permute()
36 		x[2]  += x[6];    x[14] = rol32(x[14] ^ x[2],   8);  in chacha_permute()
37 		x[3]  += x[7];    x[15] = rol32(x[15] ^ x[3],   8);  in chacha_permute()
39 		x[8]  += x[12];   x[4]  = rol32(x[4]  ^ x[8],   7);  in chacha_permute()
40 		x[9]  += x[13];   x[5]  = rol32(x[5]  ^ x[9],   7);  in chacha_permute()
41 		x[10] += x[14];   x[6]  = rol32(x[6]  ^ x[10],  7);  in chacha_permute()
42 		x[11] += x[15];   x[7]  = rol32(x[7]  ^ x[11],  7);  in chacha_permute()
44 		x[0]  += x[5];    x[15] = rol32(x[15] ^ x[0],  16);  in chacha_permute()
45 		x[1]  += x[6];    x[12] = rol32(x[12] ^ x[1],  16);  in chacha_permute()
46 		x[2]  += x[7];    x[13] = rol32(x[13] ^ x[2],  16);  in chacha_permute()
47 		x[3]  += x[4];    x[14] = rol32(x[14] ^ x[3],  16);  in chacha_permute()
49 		x[10] += x[15];   x[5]  = rol32(x[5]  ^ x[10], 12);  in chacha_permute()
50 		x[11] += x[12];   x[6]  = rol32(x[6]  ^ x[11], 12);  in chacha_permute()
51 		x[8]  += x[13];   x[7]  = rol32(x[7]  ^ x[8],  12);  in chacha_permute()
52 		x[9]  += x[14];   x[4]  = rol32(x[4]  ^ x[9],  12);  in chacha_permute()
54 		x[0]  += x[5];    x[15] = rol32(x[15] ^ x[0],   8);  in chacha_permute()
55 		x[1]  += x[6];    x[12] = rol32(x[12] ^ x[1],   8);  in chacha_permute()
56 		x[2]  += x[7];    x[13] = rol32(x[13] ^ x[2],   8);  in chacha_permute()
57 		x[3]  += x[4];    x[14] = rol32(x[14] ^ x[3],   8);  in chacha_permute()
59 		x[10] += x[15];   x[5]  = rol32(x[5]  ^ x[10],  7);  in chacha_permute()
60 		x[11] += x[12];   x[6]  = rol32(x[6]  ^ x[11],  7);  in chacha_permute()
61 		x[8]  += x[13];   x[7]  = rol32(x[7]  ^ x[8],   7);  in chacha_permute()
62 		x[9]  += x[14];   x[4]  = rol32(x[4]  ^ x[9],   7);  in chacha_permute()