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