- x65 = (x64 + (x63 + (x62 + x61)));
- x66 = (x65 & UINT32_C(0xffffffff));
- x67 = (x4 + (x3 + (x2 + x1)));
- x68 = (x8 + (x7 + (x6 + x5)));
- x69 = (x12 + (x11 + (x10 + x9)));
- x70 = (x16 + (x15 + (x14 + x13)));
- x71 = (x20 + (x19 + (x18 + x17)));
- x72 = (x24 + (x23 + (x22 + x21)));
- x73 = (x28 + (x27 + (x26 + x25)));
- x74 = (x32 + (x31 + (x30 + x29)));
- x75 = (x36 + (x35 + (x34 + x33)));
- x76 = (x40 + (x39 + (x38 + x37)));
- x77 = (x44 + (x43 + (x42 + x41)));
- x78 = (x48 + (x47 + (x46 + x45)));
- x79 = (x52 + (x51 + (x50 + x49)));
- x80 = (x56 + (x55 + (x54 + x53)));
- x81 = (x60 + (x59 + (x58 + x57)));
- x82 = (x81 & UINT32_C(0xffffffff));
- x83 = (x80 & UINT32_C(0xffffffff));
- x84 = (x79 & UINT32_C(0xffffffff));
- x85 = (x78 & UINT32_C(0xffffffff));
- x86 = (x77 & UINT32_C(0xffffffff));
- x87 = (x76 & UINT32_C(0xffffffff));
- x88 = (x75 & UINT32_C(0xffffffff));
- x89 = (x74 & UINT32_C(0xffffffff));
- x90 = (x73 & UINT32_C(0xffffffff));
- x91 = (x72 & UINT32_C(0xffffffff));
- x92 = (x71 & UINT32_C(0xffffffff));
- x93 = (x70 & UINT32_C(0xffffffff));
- x94 = (x69 & UINT32_C(0xffffffff));
- x95 = (x68 & UINT32_C(0xffffffff));
- out1[0] = x66;
- out1[1] = x82;
- out1[2] = x83;
- out1[3] = x84;
- out1[4] = x85;
- out1[5] = x86;
- out1[6] = x87;
+ x65 = (x63 + (uint32_t)x64);
+ x66 = (x62 + x65);
+ x67 = (x61 + x66);
+ x68 = (x59 + (uint32_t)x60);
+ x69 = (x58 + x68);
+ x70 = (x57 + x69);
+ x71 = (x55 + (uint32_t)x56);
+ x72 = (x54 + x71);
+ x73 = (x53 + x72);
+ x74 = (x51 + (uint32_t)x52);
+ x75 = (x50 + x74);
+ x76 = (x49 + x75);
+ x77 = (x47 + (uint32_t)x48);
+ x78 = (x46 + x77);
+ x79 = (x45 + x78);
+ x80 = (x43 + (uint32_t)x44);
+ x81 = (x42 + x80);
+ x82 = (x41 + x81);
+ x83 = (x39 + (uint32_t)x40);
+ x84 = (x38 + x83);
+ x85 = (x37 + x84);
+ x86 = (x35 + (uint32_t)x36);
+ x87 = (x34 + x86);
+ x88 = (x33 + x87);
+ x89 = (x31 + (uint32_t)x32);
+ x90 = (x30 + x89);
+ x91 = (x29 + x90);
+ x92 = (x27 + (uint32_t)x28);
+ x93 = (x26 + x92);
+ x94 = (x25 + x93);
+ x95 = (x23 + (uint32_t)x24);
+ x96 = (x22 + x95);
+ x97 = (x21 + x96);
+ x98 = (x19 + (uint32_t)x20);
+ x99 = (x18 + x98);
+ x100 = (x17 + x99);
+ x101 = (x15 + (uint32_t)x16);
+ x102 = (x14 + x101);
+ x103 = (x13 + x102);
+ x104 = (x11 + (uint32_t)x12);
+ x105 = (x10 + x104);
+ x106 = (x9 + x105);
+ x107 = (x7 + (uint32_t)x8);
+ x108 = (x6 + x107);
+ x109 = (x5 + x108);
+ x110 = (x3 + (uint32_t)x4);
+ x111 = (x2 + x110);
+ x112 = (x1 + x111);
+ out1[0] = x67;
+ out1[1] = x70;
+ out1[2] = x73;
+ out1[3] = x76;
+ out1[4] = x79;
+ out1[5] = x82;
+ out1[6] = x85;