vortex_runtime.elf:     file format elf32-littleriscv


Disassembly of section .text:

80000000 <_start>:
80000000:	00000597          	auipc	a1,0x0
80000004:	02058593          	addi	a1,a1,32 # 80000020 <vx_set_sp>
80000008:	00400513          	li	a0,4
8000000c:	00b5106b          	0xb5106b
80000010:	010000ef          	jal	ra,80000020 <vx_set_sp>
80000014:	744000ef          	jal	ra,80000758 <main>
80000018:	00000513          	li	a0,0
8000001c:	0005006b          	0x5006b

80000020 <vx_set_sp>:
80000020:	00400513          	li	a0,4
80000024:	0005006b          	0x5006b
80000028:	021026f3          	csrr	a3,0x21
8000002c:	00f69693          	slli	a3,a3,0xf
80000030:	02002673          	csrr	a2,0x20
80000034:	00a61593          	slli	a1,a2,0xa
80000038:	00261613          	slli	a2,a2,0x2
8000003c:	6ffff137          	lui	sp,0x6ffff
80000040:	40b10133          	sub	sp,sp,a1
80000044:	40d10133          	sub	sp,sp,a3
80000048:	00c10133          	add	sp,sp,a2
8000004c:	021026f3          	csrr	a3,0x21
80000050:	00068663          	beqz	a3,8000005c <RETURN>
80000054:	00000513          	li	a0,0
80000058:	0005006b          	0x5006b

8000005c <RETURN>:
8000005c:	00008067          	ret

80000060 <vx_wspawn>:
80000060:	00b5106b          	0xb5106b
80000064:	00008067          	ret

80000068 <vx_tmc>:
80000068:	0005006b          	0x5006b
8000006c:	00008067          	ret

80000070 <vx_barrier>:
80000070:	00b5406b          	0xb5406b
80000074:	00008067          	ret

80000078 <vx_split>:
80000078:	0005206b          	0x5206b
8000007c:	00008067          	ret

80000080 <vx_join>:
80000080:	0000306b          	0x306b
80000084:	00008067          	ret

80000088 <vx_warpID>:
80000088:	02102573          	csrr	a0,0x21
8000008c:	00008067          	ret

80000090 <vx_threadID>:
80000090:	02002573          	csrr	a0,0x20
80000094:	00008067          	ret

80000098 <vx_resetStack>:
80000098:	00400513          	li	a0,4
8000009c:	0005006b          	0x5006b
800000a0:	021026f3          	csrr	a3,0x21
800000a4:	00f69693          	slli	a3,a3,0xf
800000a8:	02002673          	csrr	a2,0x20
800000ac:	00a61593          	slli	a1,a2,0xa
800000b0:	00261613          	slli	a2,a2,0x2
800000b4:	6ffff137          	lui	sp,0x6ffff
800000b8:	40b10133          	sub	sp,sp,a1
800000bc:	40d10133          	sub	sp,sp,a3
800000c0:	00c10133          	add	sp,sp,a2
800000c4:	021026f3          	csrr	a3,0x21
800000c8:	00068663          	beqz	a3,800000d4 <RETURN>
800000cc:	00000513          	li	a0,0
800000d0:	0005006b          	0x5006b

800000d4 <RETURN>:
800000d4:	00008067          	ret

800000d8 <vx_print_str>:
800000d8:	ff410113          	addi	sp,sp,-12 # 6fffeff4 <_start-0x1000100c>
800000dc:	00112023          	sw	ra,0(sp)
800000e0:	00b12223          	sw	a1,4(sp)

800000e4 <bl>:
800000e4:	00054583          	lbu	a1,0(a0)
800000e8:	00058863          	beqz	a1,800000f8 <be>
800000ec:	01c000ef          	jal	ra,80000108 <vx_printc>
800000f0:	00150513          	addi	a0,a0,1
800000f4:	ff1ff06f          	j	800000e4 <bl>

800000f8 <be>:
800000f8:	00012083          	lw	ra,0(sp)
800000fc:	00412583          	lw	a1,4(sp)
80000100:	00c10113          	addi	sp,sp,12
80000104:	00008067          	ret

80000108 <vx_printc>:
80000108:	000102b7          	lui	t0,0x10
8000010c:	00b2a023          	sw	a1,0(t0) # 10000 <_start-0x7fff0000>
80000110:	00008067          	ret

80000114 <vx_print_hex>:
80000114:	fe010113          	addi	sp,sp,-32
80000118:	00112e23          	sw	ra,28(sp)
8000011c:	00812c23          	sw	s0,24(sp)
80000120:	02010413          	addi	s0,sp,32
80000124:	fea42623          	sw	a0,-20(s0)
80000128:	810007b7          	lui	a5,0x81000
8000012c:	fec42703          	lw	a4,-20(s0)
80000130:	00271713          	slli	a4,a4,0x2
80000134:	11878793          	addi	a5,a5,280 # 81000118 <z+0xfffffe94>
80000138:	00f707b3          	add	a5,a4,a5
8000013c:	0007a783          	lw	a5,0(a5)
80000140:	00078513          	mv	a0,a5
80000144:	f95ff0ef          	jal	ra,800000d8 <vx_print_str>
80000148:	00000013          	nop
8000014c:	01c12083          	lw	ra,28(sp)
80000150:	01812403          	lw	s0,24(sp)
80000154:	02010113          	addi	sp,sp,32
80000158:	00008067          	ret

8000015c <vx_printf>:
8000015c:	fe010113          	addi	sp,sp,-32
80000160:	00112e23          	sw	ra,28(sp)
80000164:	00812c23          	sw	s0,24(sp)
80000168:	02010413          	addi	s0,sp,32
8000016c:	fea42623          	sw	a0,-20(s0)
80000170:	feb42423          	sw	a1,-24(s0)
80000174:	fec42503          	lw	a0,-20(s0)
80000178:	f61ff0ef          	jal	ra,800000d8 <vx_print_str>
8000017c:	fe842503          	lw	a0,-24(s0)
80000180:	f95ff0ef          	jal	ra,80000114 <vx_print_hex>
80000184:	810007b7          	lui	a5,0x81000
80000188:	04078513          	addi	a0,a5,64 # 81000040 <z+0xfffffdbc>
8000018c:	f4dff0ef          	jal	ra,800000d8 <vx_print_str>
80000190:	00000013          	nop
80000194:	01c12083          	lw	ra,28(sp)
80000198:	01812403          	lw	s0,24(sp)
8000019c:	02010113          	addi	sp,sp,32
800001a0:	00008067          	ret

800001a4 <setup_call>:
800001a4:	fe010113          	addi	sp,sp,-32
800001a8:	00112e23          	sw	ra,28(sp)
800001ac:	00812c23          	sw	s0,24(sp)
800001b0:	02010413          	addi	s0,sp,32
800001b4:	810007b7          	lui	a5,0x81000
800001b8:	2607a783          	lw	a5,608(a5) # 81000260 <z+0xffffffdc>
800001bc:	00078513          	mv	a0,a5
800001c0:	ea9ff0ef          	jal	ra,80000068 <vx_tmc>
800001c4:	810007b7          	lui	a5,0x81000
800001c8:	25c7a703          	lw	a4,604(a5) # 8100025c <z+0xffffffd8>
800001cc:	810007b7          	lui	a5,0x81000
800001d0:	2587a783          	lw	a5,600(a5) # 81000258 <z+0xffffffd4>
800001d4:	00078513          	mv	a0,a5
800001d8:	000700e7          	jalr	a4
800001dc:	eadff0ef          	jal	ra,80000088 <vx_warpID>
800001e0:	fea42623          	sw	a0,-20(s0)
800001e4:	fec42783          	lw	a5,-20(s0)
800001e8:	00078863          	beqz	a5,800001f8 <setup_call+0x54>
800001ec:	00000513          	li	a0,0
800001f0:	e79ff0ef          	jal	ra,80000068 <vx_tmc>
800001f4:	00c0006f          	j	80000200 <setup_call+0x5c>
800001f8:	00100513          	li	a0,1
800001fc:	e6dff0ef          	jal	ra,80000068 <vx_tmc>
80000200:	00000013          	nop
80000204:	01c12083          	lw	ra,28(sp)
80000208:	01812403          	lw	s0,24(sp)
8000020c:	02010113          	addi	sp,sp,32
80000210:	00008067          	ret

80000214 <vx_spawnWarps>:
80000214:	fe010113          	addi	sp,sp,-32
80000218:	00112e23          	sw	ra,28(sp)
8000021c:	00812c23          	sw	s0,24(sp)
80000220:	02010413          	addi	s0,sp,32
80000224:	fea42623          	sw	a0,-20(s0)
80000228:	feb42423          	sw	a1,-24(s0)
8000022c:	fec42223          	sw	a2,-28(s0)
80000230:	fed42023          	sw	a3,-32(s0)
80000234:	810007b7          	lui	a5,0x81000
80000238:	fe442703          	lw	a4,-28(s0)
8000023c:	24e7ae23          	sw	a4,604(a5) # 8100025c <z+0xffffffd8>
80000240:	810007b7          	lui	a5,0x81000
80000244:	fe042703          	lw	a4,-32(s0)
80000248:	24e7ac23          	sw	a4,600(a5) # 81000258 <z+0xffffffd4>
8000024c:	810007b7          	lui	a5,0x81000
80000250:	fe842703          	lw	a4,-24(s0)
80000254:	26e7a023          	sw	a4,608(a5) # 81000260 <z+0xffffffdc>
80000258:	fe442783          	lw	a5,-28(s0)
8000025c:	00078593          	mv	a1,a5
80000260:	fec42503          	lw	a0,-20(s0)
80000264:	dfdff0ef          	jal	ra,80000060 <vx_wspawn>
80000268:	f3dff0ef          	jal	ra,800001a4 <setup_call>
8000026c:	00000013          	nop
80000270:	01c12083          	lw	ra,28(sp)
80000274:	01812403          	lw	s0,24(sp)
80000278:	02010113          	addi	sp,sp,32
8000027c:	00008067          	ret

80000280 <test_tmc>:
80000280:	fe010113          	addi	sp,sp,-32
80000284:	00112e23          	sw	ra,28(sp)
80000288:	00812c23          	sw	s0,24(sp)
8000028c:	02010413          	addi	s0,sp,32
80000290:	810007b7          	lui	a5,0x81000
80000294:	08478513          	addi	a0,a5,132 # 81000084 <z+0xfffffe00>
80000298:	e41ff0ef          	jal	ra,800000d8 <vx_print_str>
8000029c:	00400513          	li	a0,4
800002a0:	dc9ff0ef          	jal	ra,80000068 <vx_tmc>
800002a4:	dedff0ef          	jal	ra,80000090 <vx_threadID>
800002a8:	fea42623          	sw	a0,-20(s0)
800002ac:	fec42703          	lw	a4,-20(s0)
800002b0:	810007b7          	lui	a5,0x81000
800002b4:	fec42683          	lw	a3,-20(s0)
800002b8:	00269693          	slli	a3,a3,0x2
800002bc:	26478793          	addi	a5,a5,612 # 81000264 <z+0xffffffe0>
800002c0:	00f687b3          	add	a5,a3,a5
800002c4:	00e7a023          	sw	a4,0(a5)
800002c8:	00100513          	li	a0,1
800002cc:	d9dff0ef          	jal	ra,80000068 <vx_tmc>
800002d0:	810007b7          	lui	a5,0x81000
800002d4:	2647a783          	lw	a5,612(a5) # 81000264 <z+0xffffffe0>
800002d8:	00078513          	mv	a0,a5
800002dc:	e39ff0ef          	jal	ra,80000114 <vx_print_hex>
800002e0:	810007b7          	lui	a5,0x81000
800002e4:	09078513          	addi	a0,a5,144 # 81000090 <z+0xfffffe0c>
800002e8:	df1ff0ef          	jal	ra,800000d8 <vx_print_str>
800002ec:	810007b7          	lui	a5,0x81000
800002f0:	26478793          	addi	a5,a5,612 # 81000264 <z+0xffffffe0>
800002f4:	0047a783          	lw	a5,4(a5)
800002f8:	00078513          	mv	a0,a5
800002fc:	e19ff0ef          	jal	ra,80000114 <vx_print_hex>
80000300:	810007b7          	lui	a5,0x81000
80000304:	09078513          	addi	a0,a5,144 # 81000090 <z+0xfffffe0c>
80000308:	dd1ff0ef          	jal	ra,800000d8 <vx_print_str>
8000030c:	810007b7          	lui	a5,0x81000
80000310:	26478793          	addi	a5,a5,612 # 81000264 <z+0xffffffe0>
80000314:	0087a783          	lw	a5,8(a5)
80000318:	00078513          	mv	a0,a5
8000031c:	df9ff0ef          	jal	ra,80000114 <vx_print_hex>
80000320:	810007b7          	lui	a5,0x81000
80000324:	09078513          	addi	a0,a5,144 # 81000090 <z+0xfffffe0c>
80000328:	db1ff0ef          	jal	ra,800000d8 <vx_print_str>
8000032c:	810007b7          	lui	a5,0x81000
80000330:	26478793          	addi	a5,a5,612 # 81000264 <z+0xffffffe0>
80000334:	00c7a783          	lw	a5,12(a5)
80000338:	00078513          	mv	a0,a5
8000033c:	dd9ff0ef          	jal	ra,80000114 <vx_print_hex>
80000340:	810007b7          	lui	a5,0x81000
80000344:	09078513          	addi	a0,a5,144 # 81000090 <z+0xfffffe0c>
80000348:	d91ff0ef          	jal	ra,800000d8 <vx_print_str>
8000034c:	00000013          	nop
80000350:	01c12083          	lw	ra,28(sp)
80000354:	01812403          	lw	s0,24(sp)
80000358:	02010113          	addi	sp,sp,32
8000035c:	00008067          	ret

80000360 <test_divergence>:
80000360:	fe010113          	addi	sp,sp,-32
80000364:	00112e23          	sw	ra,28(sp)
80000368:	00812c23          	sw	s0,24(sp)
8000036c:	02010413          	addi	s0,sp,32
80000370:	d21ff0ef          	jal	ra,80000090 <vx_threadID>
80000374:	fea42623          	sw	a0,-20(s0)
80000378:	fec42783          	lw	a5,-20(s0)
8000037c:	0027b793          	sltiu	a5,a5,2
80000380:	fef405a3          	sb	a5,-21(s0)
80000384:	feb44783          	lbu	a5,-21(s0)
80000388:	00078513          	mv	a0,a5
8000038c:	cedff0ef          	jal	ra,80000078 <vx_split>
80000390:	feb44783          	lbu	a5,-21(s0)
80000394:	06078463          	beqz	a5,800003fc <test_divergence+0x9c>
80000398:	fec42783          	lw	a5,-20(s0)
8000039c:	0017b793          	seqz	a5,a5
800003a0:	fef40523          	sb	a5,-22(s0)
800003a4:	fea44783          	lbu	a5,-22(s0)
800003a8:	00078513          	mv	a0,a5
800003ac:	ccdff0ef          	jal	ra,80000078 <vx_split>
800003b0:	fea44783          	lbu	a5,-22(s0)
800003b4:	02078263          	beqz	a5,800003d8 <test_divergence+0x78>
800003b8:	810007b7          	lui	a5,0x81000
800003bc:	fec42703          	lw	a4,-20(s0)
800003c0:	00271713          	slli	a4,a4,0x2
800003c4:	26478793          	addi	a5,a5,612 # 81000264 <z+0xffffffe0>
800003c8:	00f707b3          	add	a5,a4,a5
800003cc:	00a00713          	li	a4,10
800003d0:	00e7a023          	sw	a4,0(a5)
800003d4:	0200006f          	j	800003f4 <test_divergence+0x94>
800003d8:	810007b7          	lui	a5,0x81000
800003dc:	fec42703          	lw	a4,-20(s0)
800003e0:	00271713          	slli	a4,a4,0x2
800003e4:	26478793          	addi	a5,a5,612 # 81000264 <z+0xffffffe0>
800003e8:	00f707b3          	add	a5,a4,a5
800003ec:	00b00713          	li	a4,11
800003f0:	00e7a023          	sw	a4,0(a5)
800003f4:	c8dff0ef          	jal	ra,80000080 <vx_join>
800003f8:	0640006f          	j	8000045c <test_divergence+0xfc>
800003fc:	fec42783          	lw	a5,-20(s0)
80000400:	0037b793          	sltiu	a5,a5,3
80000404:	fef404a3          	sb	a5,-23(s0)
80000408:	fe944783          	lbu	a5,-23(s0)
8000040c:	00078513          	mv	a0,a5
80000410:	c69ff0ef          	jal	ra,80000078 <vx_split>
80000414:	fe944783          	lbu	a5,-23(s0)
80000418:	02078263          	beqz	a5,8000043c <test_divergence+0xdc>
8000041c:	810007b7          	lui	a5,0x81000
80000420:	fec42703          	lw	a4,-20(s0)
80000424:	00271713          	slli	a4,a4,0x2
80000428:	26478793          	addi	a5,a5,612 # 81000264 <z+0xffffffe0>
8000042c:	00f707b3          	add	a5,a4,a5
80000430:	00c00713          	li	a4,12
80000434:	00e7a023          	sw	a4,0(a5)
80000438:	0200006f          	j	80000458 <test_divergence+0xf8>
8000043c:	810007b7          	lui	a5,0x81000
80000440:	fec42703          	lw	a4,-20(s0)
80000444:	00271713          	slli	a4,a4,0x2
80000448:	26478793          	addi	a5,a5,612 # 81000264 <z+0xffffffe0>
8000044c:	00f707b3          	add	a5,a4,a5
80000450:	00d00713          	li	a4,13
80000454:	00e7a023          	sw	a4,0(a5)
80000458:	c29ff0ef          	jal	ra,80000080 <vx_join>
8000045c:	c25ff0ef          	jal	ra,80000080 <vx_join>
80000460:	810007b7          	lui	a5,0x81000
80000464:	2647a783          	lw	a5,612(a5) # 81000264 <z+0xffffffe0>
80000468:	00078513          	mv	a0,a5
8000046c:	ca9ff0ef          	jal	ra,80000114 <vx_print_hex>
80000470:	810007b7          	lui	a5,0x81000
80000474:	09078513          	addi	a0,a5,144 # 81000090 <z+0xfffffe0c>
80000478:	c61ff0ef          	jal	ra,800000d8 <vx_print_str>
8000047c:	810007b7          	lui	a5,0x81000
80000480:	26478793          	addi	a5,a5,612 # 81000264 <z+0xffffffe0>
80000484:	0047a783          	lw	a5,4(a5)
80000488:	00078513          	mv	a0,a5
8000048c:	c89ff0ef          	jal	ra,80000114 <vx_print_hex>
80000490:	810007b7          	lui	a5,0x81000
80000494:	09078513          	addi	a0,a5,144 # 81000090 <z+0xfffffe0c>
80000498:	c41ff0ef          	jal	ra,800000d8 <vx_print_str>
8000049c:	810007b7          	lui	a5,0x81000
800004a0:	26478793          	addi	a5,a5,612 # 81000264 <z+0xffffffe0>
800004a4:	0087a783          	lw	a5,8(a5)
800004a8:	00078513          	mv	a0,a5
800004ac:	c69ff0ef          	jal	ra,80000114 <vx_print_hex>
800004b0:	810007b7          	lui	a5,0x81000
800004b4:	09078513          	addi	a0,a5,144 # 81000090 <z+0xfffffe0c>
800004b8:	c21ff0ef          	jal	ra,800000d8 <vx_print_str>
800004bc:	810007b7          	lui	a5,0x81000
800004c0:	26478793          	addi	a5,a5,612 # 81000264 <z+0xffffffe0>
800004c4:	00c7a783          	lw	a5,12(a5)
800004c8:	00078513          	mv	a0,a5
800004cc:	c49ff0ef          	jal	ra,80000114 <vx_print_hex>
800004d0:	810007b7          	lui	a5,0x81000
800004d4:	09078513          	addi	a0,a5,144 # 81000090 <z+0xfffffe0c>
800004d8:	c01ff0ef          	jal	ra,800000d8 <vx_print_str>
800004dc:	00000013          	nop
800004e0:	01c12083          	lw	ra,28(sp)
800004e4:	01812403          	lw	s0,24(sp)
800004e8:	02010113          	addi	sp,sp,32
800004ec:	00008067          	ret

800004f0 <simple_kernel>:
800004f0:	fe010113          	addi	sp,sp,-32
800004f4:	00112e23          	sw	ra,28(sp)
800004f8:	00812c23          	sw	s0,24(sp)
800004fc:	02010413          	addi	s0,sp,32
80000500:	b89ff0ef          	jal	ra,80000088 <vx_warpID>
80000504:	fea42623          	sw	a0,-20(s0)
80000508:	810007b7          	lui	a5,0x81000
8000050c:	fec42703          	lw	a4,-20(s0)
80000510:	00271713          	slli	a4,a4,0x2
80000514:	27478793          	addi	a5,a5,628 # 81000274 <z+0xfffffff0>
80000518:	00f707b3          	add	a5,a4,a5
8000051c:	fec42703          	lw	a4,-20(s0)
80000520:	00e7a023          	sw	a4,0(a5)
80000524:	fec42783          	lw	a5,-20(s0)
80000528:	00078663          	beqz	a5,80000534 <simple_kernel+0x44>
8000052c:	00000513          	li	a0,0
80000530:	b39ff0ef          	jal	ra,80000068 <vx_tmc>
80000534:	00000013          	nop
80000538:	01c12083          	lw	ra,28(sp)
8000053c:	01812403          	lw	s0,24(sp)
80000540:	02010113          	addi	sp,sp,32
80000544:	00008067          	ret

80000548 <test_wsapwn>:
80000548:	fe010113          	addi	sp,sp,-32
8000054c:	00112e23          	sw	ra,28(sp)
80000550:	00812c23          	sw	s0,24(sp)
80000554:	02010413          	addi	s0,sp,32
80000558:	800007b7          	lui	a5,0x80000
8000055c:	4f078793          	addi	a5,a5,1264 # 800004f0 <z+0xff00026c>
80000560:	fef42623          	sw	a5,-20(s0)
80000564:	fec42583          	lw	a1,-20(s0)
80000568:	00400513          	li	a0,4
8000056c:	af5ff0ef          	jal	ra,80000060 <vx_wspawn>
80000570:	f81ff0ef          	jal	ra,800004f0 <simple_kernel>
80000574:	810007b7          	lui	a5,0x81000
80000578:	2747a783          	lw	a5,628(a5) # 81000274 <z+0xfffffff0>
8000057c:	00078513          	mv	a0,a5
80000580:	b95ff0ef          	jal	ra,80000114 <vx_print_hex>
80000584:	810007b7          	lui	a5,0x81000
80000588:	09078513          	addi	a0,a5,144 # 81000090 <z+0xfffffe0c>
8000058c:	b4dff0ef          	jal	ra,800000d8 <vx_print_str>
80000590:	810007b7          	lui	a5,0x81000
80000594:	27478793          	addi	a5,a5,628 # 81000274 <z+0xfffffff0>
80000598:	0047a783          	lw	a5,4(a5)
8000059c:	00078513          	mv	a0,a5
800005a0:	b75ff0ef          	jal	ra,80000114 <vx_print_hex>
800005a4:	810007b7          	lui	a5,0x81000
800005a8:	09078513          	addi	a0,a5,144 # 81000090 <z+0xfffffe0c>
800005ac:	b2dff0ef          	jal	ra,800000d8 <vx_print_str>
800005b0:	810007b7          	lui	a5,0x81000
800005b4:	27478793          	addi	a5,a5,628 # 81000274 <z+0xfffffff0>
800005b8:	0087a783          	lw	a5,8(a5)
800005bc:	00078513          	mv	a0,a5
800005c0:	b55ff0ef          	jal	ra,80000114 <vx_print_hex>
800005c4:	810007b7          	lui	a5,0x81000
800005c8:	09078513          	addi	a0,a5,144 # 81000090 <z+0xfffffe0c>
800005cc:	b0dff0ef          	jal	ra,800000d8 <vx_print_str>
800005d0:	810007b7          	lui	a5,0x81000
800005d4:	27478793          	addi	a5,a5,628 # 81000274 <z+0xfffffff0>
800005d8:	00c7a783          	lw	a5,12(a5)
800005dc:	00078513          	mv	a0,a5
800005e0:	b35ff0ef          	jal	ra,80000114 <vx_print_hex>
800005e4:	810007b7          	lui	a5,0x81000
800005e8:	09078513          	addi	a0,a5,144 # 81000090 <z+0xfffffe0c>
800005ec:	aedff0ef          	jal	ra,800000d8 <vx_print_str>
800005f0:	00000013          	nop
800005f4:	01c12083          	lw	ra,28(sp)
800005f8:	01812403          	lw	s0,24(sp)
800005fc:	02010113          	addi	sp,sp,32
80000600:	00008067          	ret

80000604 <intrinsics_tests>:
80000604:	ff010113          	addi	sp,sp,-16
80000608:	00112623          	sw	ra,12(sp)
8000060c:	00812423          	sw	s0,8(sp)
80000610:	01010413          	addi	s0,sp,16
80000614:	c6dff0ef          	jal	ra,80000280 <test_tmc>
80000618:	810007b7          	lui	a5,0x81000
8000061c:	09478513          	addi	a0,a5,148 # 81000094 <z+0xfffffe10>
80000620:	ab9ff0ef          	jal	ra,800000d8 <vx_print_str>
80000624:	00400513          	li	a0,4
80000628:	a41ff0ef          	jal	ra,80000068 <vx_tmc>
8000062c:	d35ff0ef          	jal	ra,80000360 <test_divergence>
80000630:	00100513          	li	a0,1
80000634:	a35ff0ef          	jal	ra,80000068 <vx_tmc>
80000638:	810007b7          	lui	a5,0x81000
8000063c:	0a878513          	addi	a0,a5,168 # 810000a8 <z+0xfffffe24>
80000640:	a99ff0ef          	jal	ra,800000d8 <vx_print_str>
80000644:	f05ff0ef          	jal	ra,80000548 <test_wsapwn>
80000648:	00000013          	nop
8000064c:	00c12083          	lw	ra,12(sp)
80000650:	00812403          	lw	s0,8(sp)
80000654:	01010113          	addi	sp,sp,16
80000658:	00008067          	ret

8000065c <mat_add_kernel>:
8000065c:	fc010113          	addi	sp,sp,-64
80000660:	02112e23          	sw	ra,60(sp)
80000664:	02812c23          	sw	s0,56(sp)
80000668:	04010413          	addi	s0,sp,64
8000066c:	fca42623          	sw	a0,-52(s0)
80000670:	fcc42783          	lw	a5,-52(s0)
80000674:	fef42623          	sw	a5,-20(s0)
80000678:	a11ff0ef          	jal	ra,80000088 <vx_warpID>
8000067c:	fea42423          	sw	a0,-24(s0)
80000680:	a11ff0ef          	jal	ra,80000090 <vx_threadID>
80000684:	fea42223          	sw	a0,-28(s0)
80000688:	fec42783          	lw	a5,-20(s0)
8000068c:	0107a783          	lw	a5,16(a5)
80000690:	fe842703          	lw	a4,-24(s0)
80000694:	00f77e63          	bgeu	a4,a5,800006b0 <mat_add_kernel+0x54>
80000698:	fec42783          	lw	a5,-20(s0)
8000069c:	00c7a783          	lw	a5,12(a5)
800006a0:	fe442703          	lw	a4,-28(s0)
800006a4:	00f77663          	bgeu	a4,a5,800006b0 <mat_add_kernel+0x54>
800006a8:	00100793          	li	a5,1
800006ac:	0080006f          	j	800006b4 <mat_add_kernel+0x58>
800006b0:	00000793          	li	a5,0
800006b4:	fef401a3          	sb	a5,-29(s0)
800006b8:	fe344783          	lbu	a5,-29(s0)
800006bc:	0017f793          	andi	a5,a5,1
800006c0:	fef401a3          	sb	a5,-29(s0)
800006c4:	fe344783          	lbu	a5,-29(s0)
800006c8:	00078513          	mv	a0,a5
800006cc:	9adff0ef          	jal	ra,80000078 <vx_split>
800006d0:	fe344783          	lbu	a5,-29(s0)
800006d4:	06078663          	beqz	a5,80000740 <mat_add_kernel+0xe4>
800006d8:	fec42783          	lw	a5,-20(s0)
800006dc:	00c7a703          	lw	a4,12(a5)
800006e0:	fe842783          	lw	a5,-24(s0)
800006e4:	02f707b3          	mul	a5,a4,a5
800006e8:	fe442703          	lw	a4,-28(s0)
800006ec:	00f707b3          	add	a5,a4,a5
800006f0:	fcf42e23          	sw	a5,-36(s0)
800006f4:	fec42783          	lw	a5,-20(s0)
800006f8:	0007a703          	lw	a4,0(a5)
800006fc:	fdc42783          	lw	a5,-36(s0)
80000700:	00279793          	slli	a5,a5,0x2
80000704:	00f707b3          	add	a5,a4,a5
80000708:	0007a683          	lw	a3,0(a5)
8000070c:	fec42783          	lw	a5,-20(s0)
80000710:	0047a703          	lw	a4,4(a5)
80000714:	fdc42783          	lw	a5,-36(s0)
80000718:	00279793          	slli	a5,a5,0x2
8000071c:	00f707b3          	add	a5,a4,a5
80000720:	0007a703          	lw	a4,0(a5)
80000724:	fec42783          	lw	a5,-20(s0)
80000728:	0087a603          	lw	a2,8(a5)
8000072c:	fdc42783          	lw	a5,-36(s0)
80000730:	00279793          	slli	a5,a5,0x2
80000734:	00f607b3          	add	a5,a2,a5
80000738:	00e68733          	add	a4,a3,a4
8000073c:	00e7a023          	sw	a4,0(a5)
80000740:	941ff0ef          	jal	ra,80000080 <vx_join>
80000744:	00000013          	nop
80000748:	03c12083          	lw	ra,60(sp)
8000074c:	03812403          	lw	s0,56(sp)
80000750:	04010113          	addi	sp,sp,64
80000754:	00008067          	ret

80000758 <main>:
80000758:	ff010113          	addi	sp,sp,-16
8000075c:	00112623          	sw	ra,12(sp)
80000760:	00812423          	sw	s0,8(sp)
80000764:	01010413          	addi	s0,sp,16
80000768:	00100513          	li	a0,1
8000076c:	8fdff0ef          	jal	ra,80000068 <vx_tmc>
80000770:	b11ff0ef          	jal	ra,80000280 <test_tmc>
80000774:	810007b7          	lui	a5,0x81000
80000778:	0f478513          	addi	a0,a5,244 # 810000f4 <z+0xfffffe70>
8000077c:	95dff0ef          	jal	ra,800000d8 <vx_print_str>
80000780:	00400513          	li	a0,4
80000784:	8e5ff0ef          	jal	ra,80000068 <vx_tmc>
80000788:	bd9ff0ef          	jal	ra,80000360 <test_divergence>
8000078c:	00100513          	li	a0,1
80000790:	8d9ff0ef          	jal	ra,80000068 <vx_tmc>
80000794:	810007b7          	lui	a5,0x81000
80000798:	10878513          	addi	a0,a5,264 # 81000108 <z+0xfffffe84>
8000079c:	93dff0ef          	jal	ra,800000d8 <vx_print_str>
800007a0:	da9ff0ef          	jal	ra,80000548 <test_wsapwn>
800007a4:	00000793          	li	a5,0
800007a8:	00078513          	mv	a0,a5
800007ac:	00c12083          	lw	ra,12(sp)
800007b0:	00812403          	lw	s0,8(sp)
800007b4:	01010113          	addi	sp,sp,16
800007b8:	00008067          	ret

Disassembly of section .rodata:

81000000 <.rodata>:
81000000:	0030                	addi	a2,sp,8
81000002:	0000                	unimp
81000004:	0031                	c.nop	12
81000006:	0000                	unimp
81000008:	0032                	c.slli	zero,0xc
8100000a:	0000                	unimp
8100000c:	00000033          	add	zero,zero,zero
81000010:	0034                	addi	a3,sp,8
81000012:	0000                	unimp
81000014:	0035                	c.nop	13
81000016:	0000                	unimp
81000018:	0036                	c.slli	zero,0xd
8100001a:	0000                	unimp
8100001c:	00000037          	lui	zero,0x0
81000020:	0038                	addi	a4,sp,8
81000022:	0000                	unimp
81000024:	0039                	c.nop	14
81000026:	0000                	unimp
81000028:	0061                	c.nop	24
8100002a:	0000                	unimp
8100002c:	0062                	c.slli	zero,0x18
8100002e:	0000                	unimp
81000030:	00000063          	beqz	zero,81000030 <main+0xfff8d8>
81000034:	0064                	addi	s1,sp,12
81000036:	0000                	unimp
81000038:	0065                	c.nop	25
8100003a:	0000                	unimp
8100003c:	0066                	c.slli	zero,0x19
8100003e:	0000                	unimp
81000040:	000a                	c.slli	zero,0x2
81000042:	0000                	unimp
81000044:	0030                	addi	a2,sp,8
81000046:	0000                	unimp
81000048:	0031                	c.nop	12
8100004a:	0000                	unimp
8100004c:	0032                	c.slli	zero,0xc
8100004e:	0000                	unimp
81000050:	00000033          	add	zero,zero,zero
81000054:	0034                	addi	a3,sp,8
81000056:	0000                	unimp
81000058:	0035                	c.nop	13
8100005a:	0000                	unimp
8100005c:	0036                	c.slli	zero,0xd
8100005e:	0000                	unimp
81000060:	00000037          	lui	zero,0x0
81000064:	0038                	addi	a4,sp,8
81000066:	0000                	unimp
81000068:	0039                	c.nop	14
8100006a:	0000                	unimp
8100006c:	0061                	c.nop	24
8100006e:	0000                	unimp
81000070:	0062                	c.slli	zero,0x18
81000072:	0000                	unimp
81000074:	00000063          	beqz	zero,81000074 <main+0xfff91c>
81000078:	0064                	addi	s1,sp,12
8100007a:	0000                	unimp
8100007c:	0065                	c.nop	25
8100007e:	0000                	unimp
81000080:	0066                	c.slli	zero,0x19
81000082:	0000                	unimp
81000084:	6574                	flw	fa3,76(a0)
81000086:	745f7473          	csrrci	s0,0x745,30
8100008a:	636d                	lui	t1,0x1b
8100008c:	000a                	c.slli	zero,0x2
8100008e:	0000                	unimp
81000090:	000a                	c.slli	zero,0x2
81000092:	0000                	unimp
81000094:	6574                	flw	fa3,76(a0)
81000096:	645f7473          	csrrci	s0,0x645,30
8100009a:	7669                	lui	a2,0xffffa
8100009c:	7265                	lui	tp,0xffff9
8100009e:	636e6567          	0x636e6567
810000a2:	0a65                	addi	s4,s4,25
810000a4:	0000                	unimp
810000a6:	0000                	unimp
810000a8:	6574                	flw	fa3,76(a0)
810000aa:	735f7473          	csrrci	s0,0x735,30
810000ae:	6170                	flw	fa2,68(a0)
810000b0:	000a6e77          	0xa6e77
810000b4:	0030                	addi	a2,sp,8
810000b6:	0000                	unimp
810000b8:	0031                	c.nop	12
810000ba:	0000                	unimp
810000bc:	0032                	c.slli	zero,0xc
810000be:	0000                	unimp
810000c0:	00000033          	add	zero,zero,zero
810000c4:	0034                	addi	a3,sp,8
810000c6:	0000                	unimp
810000c8:	0035                	c.nop	13
810000ca:	0000                	unimp
810000cc:	0036                	c.slli	zero,0xd
810000ce:	0000                	unimp
810000d0:	00000037          	lui	zero,0x0
810000d4:	0038                	addi	a4,sp,8
810000d6:	0000                	unimp
810000d8:	0039                	c.nop	14
810000da:	0000                	unimp
810000dc:	0061                	c.nop	24
810000de:	0000                	unimp
810000e0:	0062                	c.slli	zero,0x18
810000e2:	0000                	unimp
810000e4:	00000063          	beqz	zero,810000e4 <main+0xfff98c>
810000e8:	0064                	addi	s1,sp,12
810000ea:	0000                	unimp
810000ec:	0065                	c.nop	25
810000ee:	0000                	unimp
810000f0:	0066                	c.slli	zero,0x19
810000f2:	0000                	unimp
810000f4:	6574                	flw	fa3,76(a0)
810000f6:	645f7473          	csrrci	s0,0x645,30
810000fa:	7669                	lui	a2,0xffffa
810000fc:	7265                	lui	tp,0xffff9
810000fe:	636e6567          	0x636e6567
81000102:	0a65                	addi	s4,s4,25
81000104:	0000                	unimp
81000106:	0000                	unimp
81000108:	6574                	flw	fa3,76(a0)
8100010a:	775f7473          	csrrci	s0,0x775,30
8100010e:	77617073          	csrci	0x776,2
81000112:	0a6e                	slli	s4,s4,0x1b
	...

Disassembly of section .data:

81000118 <hextoa>:
81000118:	0000                	unimp
8100011a:	8100                	0x8100
8100011c:	0004                	0x4
8100011e:	8100                	0x8100
81000120:	0008                	0x8
81000122:	8100                	0x8100
81000124:	000c                	0xc
81000126:	8100                	0x8100
81000128:	0010                	0x10
8100012a:	8100                	0x8100
8100012c:	0014                	0x14
8100012e:	8100                	0x8100
81000130:	0018                	0x18
81000132:	8100                	0x8100
81000134:	001c                	0x1c
81000136:	8100                	0x8100
81000138:	0020                	addi	s0,sp,8
8100013a:	8100                	0x8100
8100013c:	0024                	addi	s1,sp,8
8100013e:	8100                	0x8100
81000140:	0028                	addi	a0,sp,8
81000142:	8100                	0x8100
81000144:	002c                	addi	a1,sp,8
81000146:	8100                	0x8100
81000148:	0030                	addi	a2,sp,8
8100014a:	8100                	0x8100
8100014c:	0034                	addi	a3,sp,8
8100014e:	8100                	0x8100
81000150:	0038                	addi	a4,sp,8
81000152:	8100                	0x8100
81000154:	003c                	addi	a5,sp,8
81000156:	8100                	0x8100

81000158 <hextoa>:
81000158:	0044                	addi	s1,sp,4
8100015a:	8100                	0x8100
8100015c:	0048                	addi	a0,sp,4
8100015e:	8100                	0x8100
81000160:	004c                	addi	a1,sp,4
81000162:	8100                	0x8100
81000164:	0050                	addi	a2,sp,4
81000166:	8100                	0x8100
81000168:	0054                	addi	a3,sp,4
8100016a:	8100                	0x8100
8100016c:	0058                	addi	a4,sp,4
8100016e:	8100                	0x8100
81000170:	005c                	addi	a5,sp,4
81000172:	8100                	0x8100
81000174:	0060                	addi	s0,sp,12
81000176:	8100                	0x8100
81000178:	0064                	addi	s1,sp,12
8100017a:	8100                	0x8100
8100017c:	0068                	addi	a0,sp,12
8100017e:	8100                	0x8100
81000180:	006c                	addi	a1,sp,12
81000182:	8100                	0x8100
81000184:	0070                	addi	a2,sp,12
81000186:	8100                	0x8100
81000188:	0074                	addi	a3,sp,12
8100018a:	8100                	0x8100
8100018c:	0078                	addi	a4,sp,12
8100018e:	8100                	0x8100
81000190:	007c                	addi	a5,sp,12
81000192:	8100                	0x8100
81000194:	0080                	addi	s0,sp,64
81000196:	8100                	0x8100

81000198 <hextoa>:
81000198:	00b4                	addi	a3,sp,72
8100019a:	8100                	0x8100
8100019c:	00b8                	addi	a4,sp,72
8100019e:	8100                	0x8100
810001a0:	00bc                	addi	a5,sp,72
810001a2:	8100                	0x8100
810001a4:	00c0                	addi	s0,sp,68
810001a6:	8100                	0x8100
810001a8:	00c4                	addi	s1,sp,68
810001aa:	8100                	0x8100
810001ac:	00c8                	addi	a0,sp,68
810001ae:	8100                	0x8100
810001b0:	00cc                	addi	a1,sp,68
810001b2:	8100                	0x8100
810001b4:	00d0                	addi	a2,sp,68
810001b6:	8100                	0x8100
810001b8:	00d4                	addi	a3,sp,68
810001ba:	8100                	0x8100
810001bc:	00d8                	addi	a4,sp,68
810001be:	8100                	0x8100
810001c0:	00dc                	addi	a5,sp,68
810001c2:	8100                	0x8100
810001c4:	00e0                	addi	s0,sp,76
810001c6:	8100                	0x8100
810001c8:	00e4                	addi	s1,sp,76
810001ca:	8100                	0x8100
810001cc:	00e8                	addi	a0,sp,76
810001ce:	8100                	0x8100
810001d0:	00ec                	addi	a1,sp,76
810001d2:	8100                	0x8100
810001d4:	00f0                	addi	a2,sp,76
810001d6:	8100                	0x8100

810001d8 <x>:
810001d8:	0001                	nop
810001da:	0000                	unimp
810001dc:	0001                	nop
810001de:	0000                	unimp
810001e0:	0001                	nop
810001e2:	0000                	unimp
810001e4:	0001                	nop
810001e6:	0000                	unimp
810001e8:	0001                	nop
810001ea:	0000                	unimp
810001ec:	0001                	nop
810001ee:	0000                	unimp
810001f0:	0001                	nop
810001f2:	0000                	unimp
810001f4:	0001                	nop
810001f6:	0000                	unimp
810001f8:	0001                	nop
810001fa:	0000                	unimp
810001fc:	0001                	nop
810001fe:	0000                	unimp
81000200:	0001                	nop
81000202:	0000                	unimp
81000204:	0001                	nop
81000206:	0000                	unimp
81000208:	0001                	nop
8100020a:	0000                	unimp
8100020c:	0001                	nop
8100020e:	0000                	unimp
81000210:	0001                	nop
81000212:	0000                	unimp
81000214:	0001                	nop
	...

81000218 <y>:
81000218:	0006                	c.slli	zero,0x1
8100021a:	0000                	unimp
8100021c:	0006                	c.slli	zero,0x1
8100021e:	0000                	unimp
81000220:	0006                	c.slli	zero,0x1
81000222:	0000                	unimp
81000224:	0006                	c.slli	zero,0x1
81000226:	0000                	unimp
81000228:	0006                	c.slli	zero,0x1
8100022a:	0000                	unimp
8100022c:	0006                	c.slli	zero,0x1
8100022e:	0000                	unimp
81000230:	0006                	c.slli	zero,0x1
81000232:	0000                	unimp
81000234:	0006                	c.slli	zero,0x1
81000236:	0000                	unimp
81000238:	0006                	c.slli	zero,0x1
8100023a:	0000                	unimp
8100023c:	0006                	c.slli	zero,0x1
8100023e:	0000                	unimp
81000240:	0006                	c.slli	zero,0x1
81000242:	0000                	unimp
81000244:	0006                	c.slli	zero,0x1
81000246:	0000                	unimp
81000248:	0006                	c.slli	zero,0x1
8100024a:	0000                	unimp
8100024c:	0006                	c.slli	zero,0x1
8100024e:	0000                	unimp
81000250:	0006                	c.slli	zero,0x1
81000252:	0000                	unimp
81000254:	0006                	c.slli	zero,0x1
	...

Disassembly of section .bss:

81000258 <global_argument_struct>:
81000258:	0000                	unimp
	...

8100025c <global_function_pointer>:
8100025c:	0000                	unimp
	...

81000260 <global_num_threads>:
81000260:	0000                	unimp
	...

81000264 <arr>:
	...

81000274 <wsapwn_arr>:
	...

81000284 <z>:
	...

Disassembly of section .comment:

82000000 <.comment>:
82000000:	3a434347          	fmsub.d	ft6,ft6,ft4,ft7,rmm
82000004:	2820                	fld	fs0,80(s0)
82000006:	29554e47          	fmsub.s	ft8,fa0,fs5,ft5,rmm
8200000a:	3820                	fld	fs0,112(s0)
8200000c:	322e                	fld	ft4,232(sp)
8200000e:	302e                	fld	ft0,232(sp)
	...