# expected: 0000000000000000, 00000000000dead0, c1b080e900, -dead0, 54a029
    .text
_start:
    li x2, 0xdead0
    li x3, 0x0
    li x4, 0x1
    li x5, (-1)
    li x6, 0xdead0
    li x7, (-2355)

    # Mul 0
    mul x31, x2, x3

    # Basic multiplications
    mul x31, x2, x4
    mul x31, x2, x6

    # Overflow
    mul x31, x5, x2

    # Signed * signed
    mul x31, x7, x7