I want to implement a controlled operation that involves the following: we have the following qubits: $|x_0\rangle,|x_1\rangle,|0\rangle,|1\rangle,|z_0\rangle,|z_1\rangle$. I want to add the first four qubits as $|x_0x_1\rangle$ and $|01\rangle$ where each $x_i\in\{0,1\}$ conditioned on the $|z_1\rangle$ being $0$. If the control is $1$ then do not perform the adder mod operation. So the circuit for this that I constructed is given in the figure:
Is this circuit correct?
Edit: Just to elaborate what this circuit does. It takes $3$ non-negative integer inputs $x=|x_0x_1\rangle$, $1=|01\rangle$, $z=|z_0z_1\rangle$ and adds the first two integers that are stored in the register $|x_0x_1\rangle$ and $|10\rangle$. The third integer $|z\rangle$ gives a remainder of $2$ when divided by $4$, but this can be thought of as the least significant bit being equal to $0$. Is the problem statement and circuit construction matching?