Output of "x^2 + y^2" from 2's complement to binary (with sign)

Hi, I am using a altmult_add megafunction to generate output of x^2 + y^2 for inputs x and y, where both x and y are 2's complements. I understand that the output would always be a positiv...