int __ssat(int val, unsigned sat);
__ssat inserts a SSAT instruction. __ssat returns val saturated to the signed range of sat where sat is a compile time constant.