>>866
オーバーフローで未定義の動作って時点で
genericな話としてはすでに結論が出ちまってる

だから議論を続けられるとしたら処理系依存ありってことで・・・

* (a-b)>0
mov a,r1
mov b,r2
sub r2,r1

* a>b
mov a,r1
mov b,r2
cmp r2,r1

おまえさんとこの汗では
subtractとcompareはどう違うんだ？