Signed versions of bit-manipulation intrinsics cannot be tested as thoroughly as the unsigned versions. This is due to the signed to unsigned conversion overflows which we cannot avoid due to their definition (see #778 for more details, and #880 #883 for other examples).