> riscv64-linux-gnu-objdump (though it produces incorrect output for instructions like addi and slli

The assembler accepts either syntax:

    user@starfive:~$ echo add a0,a0,13 \; addi a1,a1,420 | as
    user@starfive:~$ objdump -d a.out
    
    a.out:     file format elf64-littleriscv
    
    
    Disassembly of section .text:
    
    0000000000000000 <.text>:
       0:   00d50513                add     a0,a0,13
       4:   1a458593                add     a1,a1,420

Also, objdump will print them as `addi` if you give the `-Mno-aliases` option.