# expected: 0000000000000000, 0000000000000000, c1b080e9, deacf, deacf
    .text
_start:
    li x2, 0xdead0
    li x3, 0x0
    li x4, 0x1
    li x5, (-1)
    li x6, 0xdead0
    li x7, 0xdead00000000

    # Mul 0
    mulhu x31, x2, x3

    # Basic multiplications
    mulhu x31, x2, x4
    mulhu x31, x7, x7

    # Overflow
    mulhu x31, x5, x2
    mulhu x31, x2, x5