// File: /workspace/github_c_makefile_star2_O0/azhai[P]mlite/mlite.c
// Function: pp_setvec
cell pp_setvec(cell x) {
	cell	fill = cadddr(x);
	int	i, k = vector_len(car(x));
	int	p0 = integer_value("setvec", cadr(x));
	int	pn = integer_value("setvec", caddr(x));
	cell	*v = vector(car(x));
	cell	n;

	if (p0 < 0 || p0 > k || pn < p0 || pn > k) {
		n = node(caddr(x), NIL);
		n = node(cadr(x), n);
		return error("setvec: bad range", n);
	}
	for (i=p0; i<pn; i++)
		v[i] = fill;
	return car(x);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x40, %rsp
movq %rdi, -0x10(%rbp)
movq 0xea8d(%rip), %rax      # 0x28180
movq 0xeed6(%rip), %rcx      # 0x285d0
movq 0xeecf(%rip), %rdx      # 0x285d0
movq 0xeec8(%rip), %rsi      # 0x285d0
movq -0x10(%rbp), %rdi
movq (%rsi,%rdi,8), %rsi
movq (%rdx,%rsi,8), %rdx
movq (%rcx,%rdx,8), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x18(%rbp)
movq 0xeed1(%rip), %rax      # 0x285f8
movq 0xeea2(%rip), %rcx      # 0x285d0
movq 0xea4b(%rip), %rdx      # 0x28180
movq -0x10(%rbp), %rsi
movq (%rdx,%rsi,8), %rdx
movq (%rcx,%rdx,8), %rcx
subq $0x1, %rcx
movq (%rax,%rcx,8), %rax
addq $0x8, %rax
subq $0x1, %rax
shrq $0x3, %rax
addq $0x3, %rax
subq $0x3, %rax
movl %eax, -0x20(%rbp)
movq 0xea19(%rip), %rax      # 0x28180
movq 0xee62(%rip), %rcx      # 0x285d0
movq -0x10(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
movq (%rax,%rcx,8), %rsi
leaq 0x781e(%rip), %rdi      # 0x20f9f
callq 0x4960
movl %eax, -0x24(%rbp)
movq 0xe9f0(%rip), %rax      # 0x28180
movq 0xee39(%rip), %rcx      # 0x285d0
movq 0xee32(%rip), %rdx      # 0x285d0
movq -0x10(%rbp), %rsi
movq (%rdx,%rsi,8), %rdx
movq (%rcx,%rdx,8), %rcx
movq (%rax,%rcx,8), %rsi
leaq 0x77ea(%rip), %rdi      # 0x20f9f
callq 0x4960
movl %eax, -0x28(%rbp)
movq 0xee34(%rip), %rax      # 0x285f8
movq 0xee05(%rip), %rcx      # 0x285d0
movq 0xe9ae(%rip), %rdx      # 0x28180
movq -0x10(%rbp), %rsi
movq (%rdx,%rsi,8), %rdx
movq (%rcx,%rdx,8), %rcx
shlq $0x3, %rcx
addq %rcx, %rax
movq %rax, -0x30(%rbp)
cmpl $0x0, -0x24(%rbp)
jl 0x19807
movl -0x24(%rbp), %eax
cmpl -0x20(%rbp), %eax
jg 0x19807
movl -0x28(%rbp), %eax
cmpl -0x24(%rbp), %eax
jl 0x19807
movl -0x28(%rbp), %eax
cmpl -0x20(%rbp), %eax
jle 0x1987d
movq 0xe972(%rip), %rax      # 0x28180
movq 0xedbb(%rip), %rcx      # 0x285d0
movq 0xedb4(%rip), %rdx      # 0x285d0
movq -0x10(%rbp), %rsi
movq (%rdx,%rsi,8), %rdx
movq (%rcx,%rdx,8), %rcx
movq (%rax,%rcx,8), %rdi
movq $-0x1, %rsi
xorl %edx, %edx
callq 0x3780
movq %rax, -0x38(%rbp)
movq 0xe93b(%rip), %rax      # 0x28180
movq 0xed84(%rip), %rcx      # 0x285d0
movq -0x10(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
movq (%rax,%rcx,8), %rdi
movq -0x38(%rbp), %rsi
xorl %edx, %edx
callq 0x3780
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rsi
leaq 0x7734(%rip), %rdi      # 0x20fa6
callq 0x34b0
movq %rax, -0x8(%rbp)
jmp 0x198b9
movl -0x24(%rbp), %eax
movl %eax, -0x1c(%rbp)
movl -0x1c(%rbp), %eax
cmpl -0x28(%rbp), %eax
jge 0x198a6
movq -0x18(%rbp), %rdx
movq -0x30(%rbp), %rax
movslq -0x1c(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movl -0x1c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x1c(%rbp)
jmp 0x19883
movq 0xe8d3(%rip), %rax      # 0x28180
movq -0x10(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rbp)
movq -0x8(%rbp), %rax
addq $0x40, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)