Rerun autogen

Signed-off-by: Hanno Becker <[email protected]>

Author: hanno-becker

dev/x86_64/src/x86_64_mulcache_twiddles.i

@@ -15,12 +15,15 @@
  */
 
 - 1103,
-    555, -1251, 1550, 422, 177, -291, 1574, -246, 1159, -777, -602, -1590, -872, 418, -156, 430,
-    843, 871, 105, 587, -235, -460, 1653, 778, -147, 1483, 1119, 644, 349, 329, -75, 817, 603, 1322,
-    -1465, -1215, 1218, -874, -1187, -1185, -1278, -1510, -870, -108, 996, 958, 1522, 1097, 610,
-    -1285, 384, -136, -1335, 220, -1659, -1530, 794, -854, 478, -308, 991, -1460, 1628, -335,
-    -11477, -32227, 20494, -27738, 945, -14883, 6182, 32010, 10631, 29175, -28762, -18486, 17560,
-    -14430, -5276, 11182, 13387, -14233, -21655, 13131, -4587, 23092, 5493, -32502, 30317, -18741,
-    12639, 20100, 18525, 19529, -12619, -31183, 25435, -7382, 24391, -20927, 10946, 24214, 16989,
-    10335, -7934, -22502, 10906, 31636, 28644, 23998, -17422, 20297, 2146, 15355, -32384, -6280,
-    -14903, -11044, 14469, -21498, -20198, 23210, -17442, -23860, -20257, 7756, 23132,
+    555, -1251, 1550, 422, 177, -291, 1574, -246, 1159, -777, -602, -1590, -872,
+    418, -156, 430, 843, 871, 105, 587, -235, -460, 1653, 778, -147, 1483, 1119,
+    644, 349, 329, -75, 817, 603, 1322, -1465, -1215, 1218, -874, -1187, -1185,
+    -1278, -1510, -870, -108, 996, 958, 1522, 1097, 610, -1285, 384, -136,
+    -1335, 220, -1659, -1530, 794, -854, 478, -308, 991, -1460, 1628, -335,
+    -11477, -32227, 20494, -27738, 945, -14883, 6182, 32010, 10631, 29175,
+    -28762, -18486, 17560, -14430, -5276, 11182, 13387, -14233, -21655, 13131,
+    -4587, 23092, 5493, -32502, 30317, -18741, 12639, 20100, 18525, 19529,
+    -12619, -31183, 25435, -7382, 24391, -20927, 10946, 24214, 16989, 10335,
+    -7934, -22502, 10906, 31636, 28644, 23998, -17422, 20297, 2146, 15355,
+    -32384, -6280, -14903, -11044, 14469, -21498, -20198, 23210, -17442, -23860,
+    -20257, 7756, 23132,

mlkem/src/native/x86_64/src/x86_64_mulcache_twiddles.i

@@ -15,12 +15,15 @@
  */
 
 - 1103,
-    555, -1251, 1550, 422, 177, -291, 1574, -246, 1159, -777, -602, -1590, -872, 418, -156, 430,
-    843, 871, 105, 587, -235, -460, 1653, 778, -147, 1483, 1119, 644, 349, 329, -75, 817, 603, 1322,
-    -1465, -1215, 1218, -874, -1187, -1185, -1278, -1510, -870, -108, 996, 958, 1522, 1097, 610,
-    -1285, 384, -136, -1335, 220, -1659, -1530, 794, -854, 478, -308, 991, -1460, 1628, -335,
-    -11477, -32227, 20494, -27738, 945, -14883, 6182, 32010, 10631, 29175, -28762, -18486, 17560,
-    -14430, -5276, 11182, 13387, -14233, -21655, 13131, -4587, 23092, 5493, -32502, 30317, -18741,
-    12639, 20100, 18525, 19529, -12619, -31183, 25435, -7382, 24391, -20927, 10946, 24214, 16989,
-    10335, -7934, -22502, 10906, 31636, 28644, 23998, -17422, 20297, 2146, 15355, -32384, -6280,
-    -14903, -11044, 14469, -21498, -20198, 23210, -17442, -23860, -20257, 7756, 23132,
+    555, -1251, 1550, 422, 177, -291, 1574, -246, 1159, -777, -602, -1590, -872,
+    418, -156, 430, 843, 871, 105, 587, -235, -460, 1653, 778, -147, 1483, 1119,
+    644, 349, 329, -75, 817, 603, 1322, -1465, -1215, 1218, -874, -1187, -1185,
+    -1278, -1510, -870, -108, 996, 958, 1522, 1097, 610, -1285, 384, -136,
+    -1335, 220, -1659, -1530, 794, -854, 478, -308, 991, -1460, 1628, -335,
+    -11477, -32227, 20494, -27738, 945, -14883, 6182, 32010, 10631, 29175,
+    -28762, -18486, 17560, -14430, -5276, 11182, 13387, -14233, -21655, 13131,
+    -4587, 23092, 5493, -32502, 30317, -18741, 12639, 20100, 18525, 19529,
+    -12619, -31183, 25435, -7382, 24391, -20927, 10946, 24214, 16989, 10335,
+    -7934, -22502, 10906, 31636, 28644, 23998, -17422, 20297, 2146, 15355,
+    -32384, -6280, -14903, -11044, 14469, -21498, -20198, 23210, -17442, -23860,
+    -20257, 7756, 23132,