================ @@ -2579,6 +2579,14 @@ bool GVNPass::propagateEquality(Value *LHS, Value *RHS, continue; } + + // Propagate equality that result from truncation with no unsigned wrap ---------------- yashnator wrote: Adressed, thanks! https://github.com/llvm/llvm-project/pull/143273