The helper set-nzcv-from-registers calls additional helpers overflow and carry, which compute their results from the addition of two integers. However, the cmp instruction computes the subtraction of two integers, and this wasn't reflected in the usage of this helper function.
The helper
set-nzcv-from-registerscalls additional helpersoverflowandcarry, which compute their results from the addition of two integers. However, thecmpinstruction computes the subtraction of two integers, and this wasn't reflected in the usage of this helper function.Also, the
t2ADDrssemantics had a typo in it.