From 50aa90cc2ba55fdb5f44cfc2d1478bdb4bf6c99e Mon Sep 17 00:00:00 2001 From: TomAFrench Date: Tue, 25 Jul 2023 21:43:20 +0000 Subject: [PATCH] chore: comment change --- .../src/ssa_refactor/acir_gen/acir_ir/generated_acir.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/crates/noirc_evaluator/src/ssa_refactor/acir_gen/acir_ir/generated_acir.rs b/crates/noirc_evaluator/src/ssa_refactor/acir_gen/acir_ir/generated_acir.rs index 465333b6219..cc9e563ee19 100644 --- a/crates/noirc_evaluator/src/ssa_refactor/acir_gen/acir_ir/generated_acir.rs +++ b/crates/noirc_evaluator/src/ssa_refactor/acir_gen/acir_ir/generated_acir.rs @@ -695,6 +695,7 @@ impl GeneratedAcir { // // 2^{max_bits} is of max_bits+1 bit size // If a>b, then a-b is less than 2^{max_bits} - 1, so 2^{max_bits} + a - b is less than 2^{max_bits} + 2^{max_bits} - 1 = 2^{max_bits+1} - 1 + // If a <= b, then 2^{max_bits} + a - b is less than 2^{max_bits} <= 2^{max_bits+1} - 1 // This means that both operands of the division have at most max_bits+1 bit size. // // case: a == b