1 #as: -march=rv64i -mabi=lp64
2 #objdump: -dr
3 
4 .*:     file format elf64-(little|big)riscv
5 
6 
7 Disassembly of section .text:
8 
9 0+000 <.text>:
10    0:	0010051b          	addiw	a0,zero,1
11    4:	00001537          	lui	a0,0x1
12    8:	00001537          	lui	a0,0x1
13    c:	0015051b          	addiw	a0,a0,1
14   10:	00001537          	lui	a0,0x1
15   14:	fff5051b          	addiw	a0,a0,-1
16   18:	80000537          	lui	a0,0x80000
17   1c:	fff5051b          	addiw	a0,a0,-1
18   20:	0000051b          	sext.w	a0,zero
19   24:	fff0051b          	addiw	a0,zero,-1
20   28:	80000537          	lui	a0,0x80000
21