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

    # Mul 0
    mulh x31, x2, x3

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

    # Overflow
    mulh x31, x5, x2