This current implementation only works when both operands are concrete values; later we will add support for symbolic values.

llvm-svn: 47726