fixed

commit bbfe089d04a746f0459adb7af9374c66184f867f
parent e303bda7578385f488c2f23baa2e1a6a2b0b2aaf
Author: Jared Tobin <jared@jtobin.io>
Date:   Tue, 27 Oct 2026 17:12:03 +0400

cabal: keep LLVM's x86 cmov converter off under the llvm flag

LLVM's x86 backend rewrites a conditional move whose operand is a
load as a branch, and so compiled sub_mod's borrow-masked correction
(and sub_mod#'s and sub_mod_c#'s) as a branch on the borrow: a
branch on the operands. With the converter off the correction stays
four cmovs, which Intel's DOIT list covers. NCG builds and aarch64
were unaffected.

Diffstat:
M
CHANGELOG
 | 
8
++++++++
M
ppad-fixed.cabal
 | 
5
+++++

2 files changed, 13 insertions(+), 0 deletions(-)
diff --git a/CHANGELOG b/CHANGELOG
@@ -1,5 +1,13 @@
 # Changelog
 
+- unreleased
+  * Under the llvm flag on x86_64, the library is compiled with LLVM's
+    x86 cmov converter off (-optlc=-x86-cmov-converter=false). The
+    converter rewrites a conditional move whose operand is a load as a
+    branch, and so made the borrow-masked correction of sub_mod,
+    sub_mod#, and sub_mod_c# a branch on the borrow, which depends on
+    the operands. NCG builds, and aarch64, were unaffected.
+
 - 0.2.0 (2026-08-01)
   * Addresses a couple of minor issues detected by an LLM scan:
 
diff --git a/ppad-fixed.cabal b/ppad-fixed.cabal
@@ -31,6 +31,11 @@ library
       -Wall
   if flag(llvm)
     ghc-options: -fllvm -O2
+  -- LLVM's x86 backend rewrites a cmov whose operand is a load as a
+  -- branch (its cmov converter), which makes sub_mod#'s borrow-masked
+  -- correction a branch on the borrow; keep the cmov.
+  if flag(llvm) && arch(x86_64)
+    ghc-options: -optlc=-x86-cmov-converter=false
   exposed-modules:
       Data.Choice
     , Data.Word.Limb