GCC provides an interface to selected machine instructions from the picoChip instruction set.
int __builtin_sbc (int value)
valuethat have the same value as the sign bit. The result is the number of leading sign bits minus one, giving the number of redundant sign bits in
int __builtin_byteswap (int value)
int __builtin_brev (int value)
value. Bit 15 is swapped with bit 0, bit 14 is swapped with bit 1, and so on.
int __builtin_adds (int x, int y)
y, storing the value 32767 if the result overflows.
int __builtin_subs (int x, int y)
x, storing the value -32768 if the result overflows.
void __builtin_halt (void)