diff --git a/compiler/noirc_evaluator/src/ssa/ir/instruction.rs b/compiler/noirc_evaluator/src/ssa/ir/instruction.rs
index 59f88fe99eb..fa5bc0f6697 100644
--- a/compiler/noirc_evaluator/src/ssa/ir/instruction.rs
+++ b/compiler/noirc_evaluator/src/ssa/ir/instruction.rs
@@ -490,6 +490,9 @@ impl Instruction {
                 None
             }
             Instruction::Truncate { value, bit_size, max_bit_size } => {
+                if bit_size == max_bit_size {
+                    return SimplifiedTo(*value);
+                }
                 if let Some((numeric_constant, typ)) = dfg.get_numeric_constant_with_type(*value) {
                     let integer_modulus = 2_u128.pow(*bit_size);
                     let truncated = numeric_constant.to_u128() % integer_modulus;
diff --git a/test_programs/execution_success/u128/src/main.nr b/test_programs/execution_success/u128/src/main.nr
index 4c734f3a8f9..dc586408795 100644
--- a/test_programs/execution_success/u128/src/main.nr
+++ b/test_programs/execution_success/u128/src/main.nr
@@ -39,6 +39,6 @@ fn main(mut x: u32, y: u32, z: u32, big_int: U128, hexa: str<7>) {
     assert(shift >> small_int == small_int);
     assert(shift >> U128::from_integer(127) == U128::from_integer(0));
     assert(shift << U128::from_integer(127) == U128::from_integer(0));
-
+    assert(U128::from_integer(3).to_integer() == 3);
 }