c_test:     file format elf32-littleriscv


Disassembly of section .text:

80000000 <main>:
80000000:	fe010113          	addi	sp,sp,-32
80000004:	00812e23          	sw	s0,28(sp)
80000008:	02010413          	addi	s0,sp,32
8000000c:	0000d7b7          	lui	a5,0xd
80000010:	3ad78793          	addi	a5,a5,941 # d3ad <main-0x7fff2c53>
80000014:	fef42623          	sw	a5,-20(s0)
80000018:	000017b7          	lui	a5,0x1
8000001c:	23478793          	addi	a5,a5,564 # 1234 <main-0x7fffedcc>
80000020:	fef42423          	sw	a5,-24(s0)
80000024:	fe842783          	lw	a5,-24(s0)
80000028:	fef42223          	sw	a5,-28(s0)
8000002c:	fec42783          	lw	a5,-20(s0)
80000030:	fef42423          	sw	a5,-24(s0)
80000034:	fe442783          	lw	a5,-28(s0)
80000038:	fef42623          	sw	a5,-20(s0)
8000003c:	fec42703          	lw	a4,-20(s0)
80000040:	fe842783          	lw	a5,-24(s0)
80000044:	00e7d863          	bge	a5,a4,80000054 <main+0x54>
80000048:	00100793          	addi	a5,zero,1
8000004c:	fef42623          	sw	a5,-20(s0)
80000050:	00c0006f          	jal	zero,8000005c <main+0x5c>
80000054:	00300793          	addi	a5,zero,3
80000058:	fef42423          	sw	a5,-24(s0)
8000005c:	00000793          	addi	a5,zero,0
80000060:	00078513          	addi	a0,a5,0
80000064:	01c12403          	lw	s0,28(sp)
80000068:	02010113          	addi	sp,sp,32
8000006c:	00008067          	jalr	zero,0(ra)