Das Schnippsel
Code:
	ldi r24, 0x01	 ;  result
	ldi r25, 0x80	 ;  result
	brcc 0f
	ldi r24, 0xff	 ;  result
	ldi r25, 0x7f	 ;  result
in pseudo bedeutet doch

Code:
x := 0x8001
IF carry != 0
THEN
    x := 0x7fff
FI
was gleichbedeutend ist mit

Code:
x := 0x8001
IF carry != 0
THEN
    x := x-2
FI
100% gleich ist's allerdings nicht, weil die Maschine danach einen anderen Status hat. Der Maschinenstatus wird danach jedoch nicht mehr verwendet.