test case for multiplication.  (Initial revision is copied from add_signed.ll)
test case for multiplication.  (Initial revision is copied from add_unsigned.ll)
fixed overzealous search-and-replace error
adapted for multiplication
test case for division.  (Initial revision is copied from add_signed.ll)
test case for division.  (Initial revision is copied from add_unsigned.ll)