1 #as: -march=rv64gc 2 #objdump: -dr 3 4 .*:[ ]+file format .* 5 6 7 Disassembly of section .text: 8 9 0+000 <.text>: 10 [ ]+0:[ ]+2801[ ]+sext.w[ ]+a6,a6 11 [ ]+2:[ ]+2881[ ]+sext.w[ ]+a7,a7 12