Ich glaube, dass es dann so geht.
LDV a1
RAR // Dann stimmen alle Bits bis auf ggf. das erste
wenn beim 1. eine 1 ist, dann ist das ja wegen
der Zweierkomp.darst. eine negative Zahl.
Nur dann ist was zu tun, ansonsten stimmt es ja
schon . Also
JMN label1
label2 HALT
label1 STV a2 // "Der Wert mit dem falschen" 1. Bit wird gespeichert
ADD a2 // und mit sich selbst addiert. Dadurch sind sie "richtigen"
Bits alle vorne im Akku nur das letzte stimmt nicht, aber
es ist garantiert eine 0.
RAR // Dann stimmt es jetzt
JMP label2