// File: /workspace/github_c_makefile_star2_O0/oridb[P]mc/parse/specialize.c
// Function: tyspecialize
Type *
tyspecialize(Type *orig, Tysubst *tsmap, Htab *delayed)
{
	Type *t, *ret, *tmp, *var;
	Traitspec *ts;
	size_t i, narg;
	Type **arg;

	t = tysearch(orig);
	tmp = substget(tsmap, t);
	if (tmp)
		return tysearch(tmp);
	arg = NULL;
	narg = 0;
	switch (t->type) {
	case Typaram:
		ret = mktyvar(t->loc);
		ret->trneed = bsdup(t->trneed);
		substput(tsmap, t, ret);
		for (i = 0; i < t->nspec; i++) {
			ts = zalloc(sizeof(Traitspec));
			ts->trait = t->spec[i]->trait;
			ts->ntrait = t->spec[i]->ntrait;
			ts->param = tyspecialize(t->spec[i]->param, tsmap, delayed);
			if (t->spec[i]->aux)
				ts->aux = tyspecialize(t->spec[i]->aux, tsmap, delayed);
			lappend(&ret->spec, &ret->nspec, ts);
		}
		break;
	case Tygeneric:
		var = mktyvar(t->loc);
		substput(tsmap, t, var);
		if (orig->type == Tyunres) {
			substpush(tsmap);
			for (i = 0; i < orig->narg; i++)
				substput(tsmap, t->gparam[i], orig->arg[i]);
		}
		for (i = 0; i < t->ngparam; i++)
			lappend(&arg, &narg, tyspecialize(t->gparam[i], tsmap, delayed));
		ret = mktyname(t->loc, t->name, tyspecialize(t->sub[0], tsmap, delayed));
		if (orig->type == Tyunres)
			substpop(tsmap);
		ret->arg = arg;
		ret->narg = narg;
		tytab[var->tid] = ret;
		break;
	case Tyname:
		if (!hasparams(t))
			return t;
		var = mktyvar(t->loc);
		substput(tsmap, t, var);
		for (i = 0; i < t->narg; i++)
			lappend(&arg, &narg, tyspecialize(t->arg[i], tsmap, delayed));
		ret = mktyname(t->loc, t->name, tyspecialize(t->sub[0], tsmap, delayed));
		ret->arg = arg;
		ret->narg = narg;
		tytab[var->tid] = ret;
		break;
	case Tystruct:
		ret = tydup(t);
		substput(tsmap, t, ret);
		pushstab(NULL);
		for (i = 0; i < t->nmemb; i++)
			ret->sdecls[i] = specializenode(t->sdecls[i], tsmap);
		popstab();
		break;
	case Tyunion:
		ret = tydup(t);
		substput(tsmap, t, ret);
		for (i = 0; i < t->nmemb; i++) {
			tmp = NULL;
			if (ret->udecls[i]->etype)
				tmp = tyspecialize(t->udecls[i]->etype, tsmap, delayed);
			ret->udecls[i] = mkucon(t->loc, t->udecls[i]->name, ret, tmp);
			ret->udecls[i]->utype = ret;
			ret->udecls[i]->id = i;
			ret->udecls[i]->synth = 1;
		}
		break;
	case Tyvar:
		ret = t;
		if (delayed && hthas(delayed, t)) {
			tmp = htget(delayed, t);
			htput(delayed, ret, tyspecialize(tmp, tsmap, delayed));
		}
		break;
	default:
		if (t->nsub > 0) {
			ret = tydup(t);
			substput(tsmap, t, ret);
			for (i = 0; i < t->nsub; i++)
				ret->sub[i] = tyspecialize(t->sub[i], tsmap, delayed);
		} else {
			ret = t;
		}
		break;
	}
	if (t->seqaux)
		ret->seqaux = tyspecialize(t->seqaux, tsmap, delayed);
	return ret;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xa0, %rsp
movq %rdi, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
movq %rdx, -0x20(%rbp)
movq -0x10(%rbp), %rdi
callq 0x25450
movq %rax, -0x28(%rbp)
movq -0x18(%rbp), %rdi
movq -0x28(%rbp), %rsi
callq 0x30920
movq %rax, -0x38(%rbp)
cmpq $0x0, -0x38(%rbp)
je 0x30abe
movq -0x38(%rbp), %rdi
callq 0x25450
movq %rax, -0x8(%rbp)
jmp 0x3118b
movq $0x0, -0x60(%rbp)
movq $0x0, -0x58(%rbp)
movq -0x28(%rbp), %rax
movl (%rax), %eax
addl $-0x17, %eax
movl %eax, %ecx
movq %rcx, -0x68(%rbp)
subl $0x6, %eax
ja 0x310cf
movq -0x68(%rbp), %rax
leaq 0x22617(%rip), %rcx     # 0x53108
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq -0x28(%rbp), %rax
movq 0x8(%rax), %rdi
callq 0x370c0
movq %rax, -0x30(%rbp)
movq -0x28(%rbp), %rax
movq 0x80(%rax), %rdi
callq 0x486d0
movq %rax, %rcx
movq -0x30(%rbp), %rax
movq %rcx, 0x80(%rax)
movq -0x18(%rbp), %rdi
movq -0x28(%rbp), %rsi
movq -0x30(%rbp), %rdx
callq 0x308e0
movq $0x0, -0x50(%rbp)
movq -0x50(%rbp), %rax
movq -0x28(%rbp), %rcx
cmpq 0x20(%rcx), %rax
jae 0x30c31
movl $0x20, %edi
callq 0x48160
movq %rax, -0x48(%rbp)
movq -0x28(%rbp), %rax
movq 0x18(%rax), %rax
movq -0x50(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq (%rax), %rcx
movq -0x48(%rbp), %rax
movq %rcx, (%rax)
movq -0x28(%rbp), %rax
movq 0x18(%rax), %rax
movq -0x50(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq 0x8(%rax), %rcx
movq -0x48(%rbp), %rax
movq %rcx, 0x8(%rax)
movq -0x28(%rbp), %rax
movq 0x18(%rax), %rax
movq -0x50(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq 0x10(%rax), %rdi
movq -0x18(%rbp), %rsi
movq -0x20(%rbp), %rdx
callq 0x30a70
movq %rax, %rcx
movq -0x48(%rbp), %rax
movq %rcx, 0x10(%rax)
movq -0x28(%rbp), %rax
movq 0x18(%rax), %rax
movq -0x50(%rbp), %rcx
movq (%rax,%rcx,8), %rax
cmpq $0x0, 0x18(%rax)
je 0x30c07
movq -0x28(%rbp), %rax
movq 0x18(%rax), %rax
movq -0x50(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq 0x18(%rax), %rdi
movq -0x18(%rbp), %rsi
movq -0x20(%rbp), %rdx
callq 0x30a70
movq %rax, %rcx
movq -0x48(%rbp), %rax
movq %rcx, 0x18(%rax)
movq -0x30(%rbp), %rdi
addq $0x18, %rdi
movq -0x30(%rbp), %rsi
addq $0x20, %rsi
movq -0x48(%rbp), %rdx
callq 0x48290
movq -0x50(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x50(%rbp)
jmp 0x30b42
jmp 0x31158
movq -0x28(%rbp), %rax
movq 0x8(%rax), %rdi
callq 0x370c0
movq %rax, -0x40(%rbp)
movq -0x18(%rbp), %rdi
movq -0x28(%rbp), %rsi
movq -0x40(%rbp), %rdx
callq 0x308e0
movq -0x10(%rbp), %rax
cmpl $0x1b, (%rax)
jne 0x30cb9
movq -0x18(%rbp), %rdi
callq 0x309c0
movq $0x0, -0x50(%rbp)
movq -0x50(%rbp), %rax
movq -0x10(%rbp), %rcx
cmpq 0x48(%rcx), %rax
jae 0x30cb7
movq -0x18(%rbp), %rdi
movq -0x28(%rbp), %rax
movq 0x30(%rax), %rax
movq -0x50(%rbp), %rcx
movq (%rax,%rcx,8), %rsi
movq -0x10(%rbp), %rax
movq 0x40(%rax), %rax
movq -0x50(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
callq 0x308e0
movq -0x50(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x50(%rbp)
jmp 0x30c72
jmp 0x30cb9
movq $0x0, -0x50(%rbp)
movq -0x50(%rbp), %rax
movq -0x28(%rbp), %rcx
cmpq 0x38(%rcx), %rax
jae 0x30d0a
movq -0x28(%rbp), %rax
movq 0x30(%rax), %rax
movq -0x50(%rbp), %rcx
movq (%rax,%rcx,8), %rdi
movq -0x18(%rbp), %rsi
movq -0x20(%rbp), %rdx
callq 0x30a70
movq %rax, %rdx
leaq -0x60(%rbp), %rdi
leaq -0x58(%rbp), %rsi
callq 0x48290
movq -0x50(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x50(%rbp)
jmp 0x30cc1
movq -0x28(%rbp), %rax
movq %rax, -0x70(%rbp)
movq -0x28(%rbp), %rax
movq 0x88(%rax), %rax
movq %rax, -0x78(%rbp)
movq -0x28(%rbp), %rax
movq 0x68(%rax), %rax
movq (%rax), %rdi
movq -0x18(%rbp), %rsi
movq -0x20(%rbp), %rdx
callq 0x30a70
movq -0x78(%rbp), %rsi
movq %rax, %rdx
movq -0x70(%rbp), %rax
movq 0x8(%rax), %rdi
callq 0x372e0
movq %rax, -0x30(%rbp)
movq -0x10(%rbp), %rax
cmpl $0x1b, (%rax)
jne 0x30d63
movq -0x18(%rbp), %rdi
callq 0x311a0
movq -0x60(%rbp), %rcx
movq -0x30(%rbp), %rax
movq %rcx, 0x40(%rax)
movq -0x58(%rbp), %rcx
movq -0x30(%rbp), %rax
movq %rcx, 0x48(%rax)
movq -0x30(%rbp), %rdx
leaq 0x4cf62(%rip), %rax     # 0x7dce8
movq (%rax), %rax
movq -0x40(%rbp), %rcx
movl 0x4(%rcx), %ecx
movq %rdx, (%rax,%rcx,8)
jmp 0x31158
movq -0x28(%rbp), %rdi
callq 0x37ce0
cmpl $0x0, %eax
jne 0x30db4
movq -0x28(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x3118b
movq -0x28(%rbp), %rax
movq 0x8(%rax), %rdi
callq 0x370c0
movq %rax, -0x40(%rbp)
movq -0x18(%rbp), %rdi
movq -0x28(%rbp), %rsi
movq -0x40(%rbp), %rdx
callq 0x308e0
movq $0x0, -0x50(%rbp)
movq -0x50(%rbp), %rax
movq -0x28(%rbp), %rcx
cmpq 0x48(%rcx), %rax
jae 0x30e27
movq -0x28(%rbp), %rax
movq 0x40(%rax), %rax
movq -0x50(%rbp), %rcx
movq (%rax,%rcx,8), %rdi
movq -0x18(%rbp), %rsi
movq -0x20(%rbp), %rdx
callq 0x30a70
movq %rax, %rdx
leaq -0x60(%rbp), %rdi
leaq -0x58(%rbp), %rsi
callq 0x48290
movq -0x50(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x50(%rbp)
jmp 0x30dde
movq -0x28(%rbp), %rax
movq %rax, -0x80(%rbp)
movq -0x28(%rbp), %rax
movq 0x88(%rax), %rax
movq %rax, -0x88(%rbp)
movq -0x28(%rbp), %rax
movq 0x68(%rax), %rax
movq (%rax), %rdi
movq -0x18(%rbp), %rsi
movq -0x20(%rbp), %rdx
callq 0x30a70
movq -0x88(%rbp), %rsi
movq %rax, %rdx
movq -0x80(%rbp), %rax
movq 0x8(%rax), %rdi
callq 0x372e0
movq %rax, -0x30(%rbp)
movq -0x60(%rbp), %rcx
movq -0x30(%rbp), %rax
movq %rcx, 0x40(%rax)
movq -0x58(%rbp), %rcx
movq -0x30(%rbp), %rax
movq %rcx, 0x48(%rax)
movq -0x30(%rbp), %rdx
leaq 0x4ce51(%rip), %rax     # 0x7dce8
movq (%rax), %rax
movq -0x40(%rbp), %rcx
movl 0x4(%rcx), %ecx
movq %rdx, (%rax,%rcx,8)
jmp 0x31158
movq -0x28(%rbp), %rdi
callq 0x36d20
movq %rax, -0x30(%rbp)
movq -0x18(%rbp), %rdi
movq -0x28(%rbp), %rsi
movq -0x30(%rbp), %rdx
callq 0x308e0
xorl %eax, %eax
movl %eax, %edi
callq 0x32db0
movq $0x0, -0x50(%rbp)
movq -0x50(%rbp), %rax
movq -0x28(%rbp), %rcx
cmpq 0x78(%rcx), %rax
jae 0x30f27
movq -0x28(%rbp), %rax
movq 0x88(%rax), %rax
movq -0x50(%rbp), %rcx
movq (%rax,%rcx,8), %rdi
movq -0x18(%rbp), %rsi
callq 0x311d0
movq %rax, %rdx
movq -0x30(%rbp), %rax
movq 0x88(%rax), %rax
movq -0x50(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x50(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x50(%rbp)
jmp 0x30ed9
callq 0x32e20
jmp 0x31158
movq -0x28(%rbp), %rdi
callq 0x36d20
movq %rax, -0x30(%rbp)
movq -0x18(%rbp), %rdi
movq -0x28(%rbp), %rsi
movq -0x30(%rbp), %rdx
callq 0x308e0
movq $0x0, -0x50(%rbp)
movq -0x50(%rbp), %rax
movq -0x28(%rbp), %rcx
cmpq 0x78(%rcx), %rax
jae 0x31056
movq $0x0, -0x38(%rbp)
movq -0x30(%rbp), %rax
movq 0x88(%rax), %rax
movq -0x50(%rbp), %rcx
movq (%rax,%rcx,8), %rax
cmpq $0x0, 0x28(%rax)
je 0x30fb3
movq -0x28(%rbp), %rax
movq 0x88(%rax), %rax
movq -0x50(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq 0x28(%rax), %rdi
movq -0x18(%rbp), %rsi
movq -0x20(%rbp), %rdx
callq 0x30a70
movq %rax, -0x38(%rbp)
movq -0x28(%rbp), %rax
movq -0x28(%rbp), %rcx
movq 0x88(%rcx), %rcx
movq -0x50(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
movq 0x18(%rcx), %rsi
movq -0x30(%rbp), %rdx
movq -0x38(%rbp), %rcx
movq 0x8(%rax), %rdi
callq 0x300c0
movq %rax, %rdx
movq -0x30(%rbp), %rax
movq 0x88(%rax), %rax
movq -0x50(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x30(%rbp), %rcx
movq -0x30(%rbp), %rax
movq 0x88(%rax), %rax
movq -0x50(%rbp), %rdx
movq (%rax,%rdx,8), %rax
movq %rcx, 0x20(%rax)
movq -0x50(%rbp), %rcx
movq -0x30(%rbp), %rax
movq 0x88(%rax), %rax
movq -0x50(%rbp), %rdx
movq (%rax,%rdx,8), %rax
movq %rcx, 0x8(%rax)
movq -0x30(%rbp), %rax
movq 0x88(%rax), %rax
movq -0x50(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movl $0x1, 0x10(%rax)
movq -0x50(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x50(%rbp)
jmp 0x30f57
jmp 0x31158
movq -0x28(%rbp), %rax
movq %rax, -0x30(%rbp)
cmpq $0x0, -0x20(%rbp)
je 0x310ca
movq -0x20(%rbp), %rdi
movq -0x28(%rbp), %rsi
callq 0x496f0
cmpl $0x0, %eax
je 0x310ca
movq -0x20(%rbp), %rdi
movq -0x28(%rbp), %rsi
callq 0x49490
movq %rax, -0x38(%rbp)
movq -0x20(%rbp), %rax
movq %rax, -0x98(%rbp)
movq -0x30(%rbp), %rax
movq %rax, -0x90(%rbp)
movq -0x38(%rbp), %rdi
movq -0x18(%rbp), %rsi
movq -0x20(%rbp), %rdx
callq 0x30a70
movq -0x98(%rbp), %rdi
movq -0x90(%rbp), %rsi
movq %rax, %rdx
callq 0x49100
jmp 0x31158
movq -0x28(%rbp), %rax
cmpq $0x0, 0x70(%rax)
jbe 0x3114e
movq -0x28(%rbp), %rdi
callq 0x36d20
movq %rax, -0x30(%rbp)
movq -0x18(%rbp), %rdi
movq -0x28(%rbp), %rsi
movq -0x30(%rbp), %rdx
callq 0x308e0
movq $0x0, -0x50(%rbp)
movq -0x50(%rbp), %rax
movq -0x28(%rbp), %rcx
cmpq 0x70(%rcx), %rax
jae 0x3114c
movq -0x28(%rbp), %rax
movq 0x68(%rax), %rax
movq -0x50(%rbp), %rcx
movq (%rax,%rcx,8), %rdi
movq -0x18(%rbp), %rsi
movq -0x20(%rbp), %rdx
callq 0x30a70
movq %rax, %rdx
movq -0x30(%rbp), %rax
movq 0x68(%rax), %rax
movq -0x50(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x50(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x50(%rbp)
jmp 0x31100
jmp 0x31156
movq -0x28(%rbp), %rax
movq %rax, -0x30(%rbp)
jmp 0x31158
movq -0x28(%rbp), %rax
cmpq $0x0, 0x28(%rax)
je 0x31183
movq -0x28(%rbp), %rax
movq 0x28(%rax), %rdi
movq -0x18(%rbp), %rsi
movq -0x20(%rbp), %rdx
callq 0x30a70
movq %rax, %rcx
movq -0x30(%rbp), %rax
movq %rcx, 0x28(%rax)
movq -0x30(%rbp), %rax
movq %rax, -0x8(%rbp)
movq -0x8(%rbp), %rax
addq $0xa0, %rsp
popq %rbp
retq
nopl (%rax,%rax)