[PATCH] InstSimplify: The upper bound of X / C was missing a rounding step

[Nick Lewycky]

LGTM

FYI, this testcase should also be canonicalized by instcombine, which makes
sense to add now that instsimplify isn't catch it ;-)

http://reviews.llvm.org/D4502