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

E.g. -5 % 5 is 0 with srem and 1 with urem.

Also addresses Frits van Bommel's comments.

llvm-svn: 120049