[DeadStoreElimination] Optimize tautological assignments (#75744)

If a store is dominated by a condition that ensures that the value being
stored in a memory location is already present at that memory location,
consider the store a noop.

Fixes #63419