TMin - TMin是否产生溢出

最开始考虑到二进制补码的减法的原则：$a{-}^{t}b=a{+}^t({-}^{t}b)$，而TMin的负仍为TMin，因此我认为TMin - TMin应该等同于TMin+TMin，所以自然算是产生了溢出。
但是在学习setl指令时，书上讲setb是根据SF^OF来进行判断的，因此我认为，cmpl $0x80000000, $0x80000000（即运算$0x80000000 - $0x80000000）之后，OF=1，SF=0，则setb的结果应该是1，所以得到了悖论$0x80000000 < $0x80000000。
纠结很久，直到自己实实在在地打了一遍汇编代码：

get_OFxorSF:
	movl	%ecx, %eax
	subl	%edx, %eax
	setl	%al
	movzbq	%al, %eax
	ret
get_SF:
	movl	%ecx, %eax
	subl	%edx, %eax
	sets	%al
	movzbq	%al, %eax
	ret

结果发现，当0x80000000-0x80000000时，OF^SF和SF都被置为0。因此OF也为0，即TMin-TMin并未发生溢出。
而当我把上述指令的subl改为addl后，结果是：OF^SF被置为1，SF被置为0，即TMin+TMin发生了溢出。
总结，出现这种纠结，还是对于溢出的定义理解不够深入，溢出，是指计算机计算后得出的结果与单纯的算数运算所得结果不同。 所以说TMin-TMin=0当然不会产生溢出。