fn test_inline_asm_rv64() {
    a, mut b := i64(123), i64(0)
    asm rv64 {
        // op dst, src
        mv t0, a
        mv b, t0
        ; +r (b)
        ; r (a)
        ; t0
    }
    assert a == b

    mut c := 0
    asm rv64 {
        li c, 5
        ; +r (c)
    }
    assert c == 5

    d, e, mut f := 10, 2, 0
    asm rv64 {
        mv f, d
        add f, f, e
        addi f, f, 5
        ; +r (f)
        ; r (d)
          r (e)
    }
    assert d == 10
    assert e == 2
    assert f == 17

    g, h, mut i := 2.3, 4.8, -3.5
    asm rv64 {
        fadd.d i, g, h
        ; =f (i)
        ; f (g)
          f (h)
    }
    assert g == 2.3
    assert h == 4.8
    assert i == 7.1

    n1, n2, mut sum, mut prod := 3, 5, -1, -1
    asm rv64 {
        add '%0', '%2', '%3'
        mul '%1', '%2', '%3'
        ; =&r (sum)
          =r (prod)
        ; r (n1)
          r (n2)
    }
    assert sum == 8
    assert prod == 15

    l := 5
    m := &l
    asm rv64 {
        li t0, 7
        sd t0, [m]
        ; ; r (m)
        ; memory
          t0
    }
    assert l == 7
}