// File: /workspace/github_c_makefile_star2_O0/michaelforney[P]cproc/qbe.c
// Function: funcinit
void
funcinit(struct func *func, struct decl *d, struct init *init, bool hasinit)
{
	struct lvalue dst;
	struct value *src, *v;
	unsigned long long offset = 0, max = 0;
	size_t i, w;

	funcalloc(func, d);
	if (!hasinit)
		return;
	for (; init; init = init->next) {
		zero(func, d->value, d->type->align, offset, init->start);
		dst.bits = init->bits;
		if (init->expr->kind == EXPRSTRING) {
			w = init->expr->type->base->size;
			for (i = 0; i < init->expr->u.string.size && i * w < init->end - init->start; ++i) {
				v = mkintconst(init->start + i * w);
				dst.addr = funcinst(func, IADD, ptrclass, d->value, v);
				switch (w) {
				case 1: v = mkintconst(((unsigned char *)init->expr->u.string.data)[i]); break;
				case 2: v = mkintconst(((uint_least16_t *)init->expr->u.string.data)[i]); break;
				case 4: v = mkintconst(((uint_least32_t *)init->expr->u.string.data)[i]); break;
				}
				funcstore(func, init->expr->type->base, QUALNONE, dst, v);
			}
			offset = init->start + i * w;
		} else {
			if (offset < init->end && (dst.bits.before || dst.bits.after))
				zero(func, d->value, d->type->align, offset, init->end);
			dst.addr = d->value;
			/*
			QBE's memopt does not eliminate the store for ptr + 0,
			so only emit the add if the offset is non-zero
			*/
			if (init->start > 0)
				dst.addr = funcinst(func, IADD, ptrclass, dst.addr, mkintconst(init->start));
			src = funcexpr(func, init->expr);
			funcstore(func, init->expr->type, QUALNONE, dst, src);
			offset = init->end;
		}
		if (max < offset)
			max = offset;
	}
	zero(func, d->value, d->type->align, max, d->type->size);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x80, %rsp
movb %cl, %al
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
andb $0x1, %al
movb %al, -0x19(%rbp)
movq $0x0, -0x48(%rbp)
movq $0x0, -0x50(%rbp)
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0x132a0
testb $0x1, -0x19(%rbp)
jne 0x15af6
jmp 0x15df4
jmp 0x15af8
cmpq $0x0, -0x18(%rbp)
je 0x15dc8
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rsi
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
movl 0x8(%rax), %edx
movq -0x48(%rbp), %rcx
movq -0x18(%rbp), %rax
movq (%rax), %r8
callq 0x15e00
movq -0x18(%rbp), %rax
movl 0x18(%rax), %eax
movl %eax, -0x28(%rbp)
movq -0x18(%rbp), %rax
movq 0x10(%rax), %rax
cmpl $0x2, (%rax)
jne 0x15cc7
movq -0x18(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x20(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, -0x60(%rbp)
movq $0x0, -0x58(%rbp)
movq -0x58(%rbp), %rcx
movq -0x18(%rbp), %rax
movq 0x10(%rax), %rdx
xorl %eax, %eax
cmpq 0x30(%rdx), %rcx
movb %al, -0x61(%rbp)
jae 0x15b9d
movq -0x58(%rbp), %rax
imulq -0x60(%rbp), %rax
movq -0x18(%rbp), %rcx
movq 0x8(%rcx), %rcx
movq -0x18(%rbp), %rdx
subq (%rdx), %rcx
cmpq %rcx, %rax
setb %al
movb %al, -0x61(%rbp)
movb -0x61(%rbp), %al
testb $0x1, %al
jne 0x15ba9
jmp 0x15cab
movq -0x18(%rbp), %rax
movq (%rax), %rdi
movq -0x58(%rbp), %rax
movq -0x60(%rbp), %rcx
imulq %rcx, %rax
addq %rax, %rdi
callq 0x12cc0
movq %rax, -0x40(%rbp)
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rcx
movq -0x40(%rbp), %r8
movl $0x1, %esi
movl $0x6c, %edx
callq 0x15860
movq %rax, -0x30(%rbp)
movq -0x60(%rbp), %rax
movq %rax, -0x70(%rbp)
subq $0x1, %rax
je 0x15c13
jmp 0x15bfb
movq -0x70(%rbp), %rax
subq $0x2, %rax
je 0x15c34
jmp 0x15c07
movq -0x70(%rbp), %rax
subq $0x4, %rax
je 0x15c55
jmp 0x15c73
movq -0x18(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x38(%rax), %rax
movq -0x58(%rbp), %rcx
movzbl (%rax,%rcx), %eax
movl %eax, %edi
callq 0x12cc0
movq %rax, -0x40(%rbp)
jmp 0x15c73
movq -0x18(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x38(%rax), %rax
movq -0x58(%rbp), %rcx
movzwl (%rax,%rcx,2), %eax
movl %eax, %edi
callq 0x12cc0
movq %rax, -0x40(%rbp)
jmp 0x15c73
movq -0x18(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x38(%rax), %rax
movq -0x58(%rbp), %rcx
movl (%rax,%rcx,4), %eax
movl %eax, %edi
callq 0x12cc0
movq %rax, -0x40(%rbp)
movq -0x8(%rbp), %rdi
movq -0x18(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x20(%rax), %rsi
movq -0x40(%rbp), %r9
movq -0x30(%rbp), %rcx
movq -0x28(%rbp), %r8
xorl %edx, %edx
callq 0x134e0
movq -0x58(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x58(%rbp)
jmp 0x15b65
movq -0x18(%rbp), %rax
movq (%rax), %rax
movq -0x58(%rbp), %rcx
imulq -0x60(%rbp), %rcx
addq %rcx, %rax
movq %rax, -0x48(%rbp)
jmp 0x15da3
movq -0x48(%rbp), %rax
movq -0x18(%rbp), %rcx
cmpq 0x8(%rcx), %rax
jae 0x15d0f
movswl -0x28(%rbp), %eax
cmpl $0x0, %eax
jne 0x15ce7
movswl -0x26(%rbp), %eax
cmpl $0x0, %eax
je 0x15d0f
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rsi
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
movl 0x8(%rax), %edx
movq -0x48(%rbp), %rcx
movq -0x18(%rbp), %rax
movq 0x8(%rax), %r8
callq 0x15e00
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x30(%rbp)
movq -0x18(%rbp), %rax
cmpq $0x0, (%rax)
jbe 0x15d5f
movq -0x8(%rbp), %rax
movq %rax, -0x80(%rbp)
movq -0x30(%rbp), %rax
movq %rax, -0x78(%rbp)
movq -0x18(%rbp), %rax
movq (%rax), %rdi
callq 0x12cc0
movq -0x80(%rbp), %rdi
movq -0x78(%rbp), %rcx
movq %rax, %r8
movl $0x1, %esi
movl $0x6c, %edx
callq 0x15860
movq %rax, -0x30(%rbp)
movq -0x8(%rbp), %rdi
movq -0x18(%rbp), %rax
movq 0x10(%rax), %rsi
callq 0x13fe0
movq %rax, -0x38(%rbp)
movq -0x8(%rbp), %rdi
movq -0x18(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rsi
movq -0x38(%rbp), %r9
movq -0x30(%rbp), %rcx
movq -0x28(%rbp), %r8
xorl %edx, %edx
callq 0x134e0
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x48(%rbp)
movq -0x50(%rbp), %rax
cmpq -0x48(%rbp), %rax
jae 0x15db5
movq -0x48(%rbp), %rax
movq %rax, -0x50(%rbp)
jmp 0x15db7
movq -0x18(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x18(%rbp)
jmp 0x15af8
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rsi
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
movl 0x8(%rax), %edx
movq -0x50(%rbp), %rcx
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %r8
callq 0x15e00
addq $0x80, %rsp
popq %rbp
retq
nopl (%rax)