chore: restore debug info

noir-lang · Jan 10, 2024 · 3b6f123 · 3b6f123
1 parent 63cacee
commit 3b6f123
Show file tree

Hide file tree

Showing 2 changed files with 21 additions and 0 deletions.
diff --git a/compiler/noirc_evaluator/src/brillig/brillig_ir.rs b/compiler/noirc_evaluator/src/brillig/brillig_ir.rs
@@ -689,6 +689,11 @@ impl BrilligContext {
         value_to_truncate: RegisterIndex,
         bit_size: u32,
     ) {
+        self.debug_show.truncate_instruction(
+            destination_of_truncated_value,
+            value_to_truncate,
+            bit_size,
+        );
         assert!(
             bit_size <= BRILLIG_INTEGER_ARITHMETIC_BIT_SIZE,
             "tried to truncate to a bit size greater than allowed {bit_size}"

diff --git a/compiler/noirc_evaluator/src/brillig/brillig_ir/debug_show.rs b/compiler/noirc_evaluator/src/brillig/brillig_ir/debug_show.rs
@@ -325,6 +325,22 @@ impl DebugShow {
         );
     }
 
+    /// Debug function for cast_instruction
+    pub(crate) fn truncate_instruction(
+        &self,
+        destination: RegisterIndex,
+        source: RegisterIndex,
+        target_bit_size: u32,
+    ) {
+        debug_println!(
+            self.enable_debug_trace,
+            "  TRUNCATE {} FROM {} TO {} BITS",
+            destination,
+            source,
+            target_bit_size
+        );
+    }
+
     /// Debug function for black_box_op
     pub(crate) fn black_box_op_instruction(&self, op: BlackBoxOp) {
         match op {