Re-optimized Dilithium 769 iNTT

* 2966 -> 2544
slothy-optimizer · Nov 29, 2024 · 8c9991d · 8c9991d
1 parent 5a466d9
commit 8c9991d
Show file tree

Hide file tree

Showing 2 changed files with 1,038 additions and 1,034 deletions.
diff --git a/example.py b/example.py
@@ -1875,7 +1875,7 @@ def core(self, slothy):
 
         slothy.config.unsafe_address_offset_fixup = False
         slothy.fusion_loop("layer1234_loop", ssa=False)
-        slothy.config.unsafe_address_offset_fixup = True
+        # slothy.config.unsafe_address_offset_fixup = True
         slothy.optimize_loop("layer1234_loop")
         slothy.config.split_heuristic_optimize_seam = 6
         slothy.optimize_loop("layer1234_loop")
@@ -1889,12 +1889,12 @@ def core(self, slothy):
         slothy.config.outputs = ["s0", "s2"]
         slothy.config.unsafe_address_offset_fixup = False
         slothy.fusion_region(start="layer567_first_start", end="layer567_first_end", ssa=False)
-        slothy.config.unsafe_address_offset_fixup = True
+        # slothy.config.unsafe_address_offset_fixup = True
         slothy.optimize(start="layer567_first_start", end="layer567_first_end")
 
         slothy.config.unsafe_address_offset_fixup = False
         slothy.fusion_loop("layer567_loop", ssa=False)
-        slothy.config.unsafe_address_offset_fixup = True
+        # slothy.config.unsafe_address_offset_fixup = True
         slothy.optimize_loop("layer567_loop")
         slothy.config.split_heuristic_optimize_seam = 6
         slothy.optimize_loop("layer567_loop")