fix: correct bitsize in signed division

compiler/noirc_evaluator/src/acir/acir_context/mod.rs

@@ -1106,7 +1106,7 @@ impl<F: AcirField, B: BlackBoxFunctionSolver<F>> AcirContext<F, B> {
 
         // Performs the division using the unsigned values of lhs and rhs
         let (q1, r1) =
-            self.euclidean_division_var(unsigned_lhs, unsigned_rhs, bit_size - 1, predicate)?;
+            self.euclidean_division_var(unsigned_lhs, unsigned_rhs, bit_size, predicate)?;
 
         // Unsigned to signed: derive q and r from q1,r1 and the signs of lhs and rhs
         // Quotient sign is lhs sign * rhs sign, whose resulting sign bit is the XOR of the sign bits

test_programs/execution_success/regression_8726/Nargo.toml

@@ -0,0 +1,6 @@
+[package]
+name = "regression_8726"
+type = "bin"
+authors = [""]
+
+[dependencies]

test_programs/execution_success/regression_8726/Prover.toml

@@ -0,0 +1 @@
+x = "-9223372036854775808" # MIN I64

test_programs/execution_success/regression_8726/src/main.nr

@@ -0,0 +1,4 @@
+fn main(x: i64) -> pub i64 {
+    let y = x / x;
+    x / y
+}