The current assersion about input registers is more than needed.
It requires that `dst`, `src1` and `src2` must be different from each other.
But the code only required that `dst` must be different from `src1` and `src2`.