( inc and dec ) ( S -> S ) @{ literal }++ (literal) 1 ADD JCC ( S -> S ) @{ literal }-- (literal) 1 SUB JCC ( comparison functions ) ( S S -> S ) @{ a b }< (a) (b) 0 CMP JCC ( S S -> S ) @{ a b }> (a) (b) 1 CMP JCC ( S S -> S ) @{ a b }<= (a) (b) 2 CMP JCC ( S S -> S ) @{ a b }>= (a) (b) 3 CMP JCC ( S S -> S ) @{ a b }= (a) (b) 4 CMP JCC ( S S -> S ) @{ a b }! (a) (b) 5 CMP JCC ( S -> S ) @{ a }=+ (a) 6 CMP JCC ( S -> S ) @{ a }=- (a) 7 CMP JCC ( output ) ( ... -> ) @{ ... }*>> (...) 0 555 0cC OUT JCC ( S -> ) @{ addr }>> (addr) 1 555 0cC OUT JCC ( ... -> ) @{ ... }*I>> (...) 0 555 0cI OUT JCC ( S -> ) @{ addr }I>> (addr) 1 555 0cI OUT JCC