The srem -> urem transform is not safe for any divisor that's not a power of two.