fix(gpu): fix wrong assert in division

guillermo-oyarzun · guillermo-oyarzun · commit 5de1445cbf96 · 2025-02-21T11:27:03.000+01:00
diff --git a/backends/tfhe-cuda-backend/cuda/src/integer/div_rem.cuh b/backends/tfhe-cuda-backend/cuda/src/integer/div_rem.cuh
@@ -575,8 +575,8 @@ __host__ void host_unsigned_integer_div_rem_kb(
       cuda_synchronize_stream(mem_ptr->sub_streams_3[j], gpu_indexes[j]);
     }
 
-    assert(first_trivial_block - 1 == cleaned_merged_interesting_remainder.len);
-    assert(first_trivial_block - 1 == new_remainder.len);
+    assert(first_trivial_block == cleaned_merged_interesting_remainder.len);
+    assert(first_trivial_block == new_remainder.len);
 
     remainder1.copy_from(cleaned_merged_interesting_remainder, 0,
                          first_trivial_block - 1, streams[0], gpu_indexes[0]);

Original file line number	Diff line number	Diff line change
`@@ -575,8 +575,8 @@ __host__ void host_unsigned_integer_div_rem_kb(`
`575`	`575`	`cuda_synchronize_stream(mem_ptr->sub_streams_3[j], gpu_indexes[j]);`
`576`	`576`	`}`
`577`	`577`
`578`		`- assert(first_trivial_block - 1 == cleaned_merged_interesting_remainder.len);`
`579`		`- assert(first_trivial_block - 1 == new_remainder.len);`
	`578`	`+ assert(first_trivial_block == cleaned_merged_interesting_remainder.len);`
	`579`	`+ assert(first_trivial_block == new_remainder.len);`
`580`	`580`
`581`	`581`	`remainder1.copy_from(cleaned_merged_interesting_remainder, 0,`
`582`	`582`	`first_trivial_block - 1, streams[0], gpu_indexes[0]);`