// File: /workspace/github_c_makefile_star2_O0/oridb[P]mc/parse/use.c
// Function: tyunpickle
static Type *
tyunpickle(FILE *fd)
{
	size_t i, j, n;
	Type *ty;
	Ty t;

	t = rdbyte(fd);
	ty = mktype(Zloc, t);
	ty->isimport = 1;
	if (rdbyte(fd) == Vishidden)
		ty->ishidden = 1;
	ty->nspec = rdint(fd);
	ty->spec = malloc(ty->nspec * sizeof(Traitspec*));
	for (i = 0; i < ty->nspec; i++) {
		ty->spec[i] = zalloc(sizeof(Traitspec));
		n = rdint(fd);
		ty->spec[i]->ntrait = n;
		ty->spec[i]->trait = malloc(n * sizeof(Node*));
		for (j = 0; j < ty->spec[i]->ntrait; j++)
			ty->spec[i]->trait[j] = unpickle(fd);
		rdtype(fd, &ty->spec[i]->param);
		if (rdbool(fd))
			rdtype(fd, &ty->spec[i]->aux);
	}
	rdtype(fd, &ty->seqaux);
	ty->nsub = rdint(fd);
	if (ty->nsub > 0)
		ty->sub = zalloc(ty->nsub * sizeof(Type *));
	switch (ty->type) {
	case Tyunres:
		ty->name = unpickle(fd);
		break;
	case Typaram:
		n = rdint(fd);
		for (i = 0; i < n; i++)
			rdtrait(fd, NULL, ty);
		ty->pname = rdstr(fd);
		break;
	case Tystruct:
		ty->nmemb = rdint(fd);
		ty->sdecls = zalloc(ty->nmemb * sizeof(Node *));
		for (i = 0; i < ty->nmemb; i++)
			ty->sdecls[i] = unpickle(fd);
		break;
	case Tyunion:
		ty->nmemb = rdint(fd);
		ty->udecls = zalloc(ty->nmemb * sizeof(Node *));
		for (i = 0; i < ty->nmemb; i++)
			ty->udecls[i] = rducon(fd, ty);
		break;
	case Tyarray:
		rdtype(fd, &ty->sub[0]);
		ty->asize = unpickle(fd);
		ty->nmemb = 1;
		break;
	case Tyslice:
		rdtype(fd, &ty->sub[0]);
		break;
	case Tyname:
		ty->name = unpickle(fd);
		ty->narg = rdint(fd);
		ty->arg = zalloc(ty->narg * sizeof(Type *));
		for (i = 0; i < ty->narg; i++)
			rdtype(fd, &ty->arg[i]);
		rdtype(fd, &ty->sub[0]);
		break;
	case Tygeneric:
		ty->name = unpickle(fd);
		ty->ngparam = rdint(fd);
		ty->gparam = zalloc(ty->ngparam * sizeof(Type *));
		for (i = 0; i < ty->ngparam; i++)
			rdtype(fd, &ty->gparam[i]);
		rdtype(fd, &ty->sub[0]);
		break;
	default:
		for (i = 0; i < ty->nsub; i++)
			rdtype(fd, &ty->sub[i]);
		break;
	}
	return ty;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x40, %rsp
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rdi
callq 0x49f70
movsbl %al, %eax
movl %eax, -0x2c(%rbp)
movl $0xffffffff, -0x34(%rbp) # imm = 0xFFFFFFFF
movl $0x0, -0x30(%rbp)
movl -0x2c(%rbp), %esi
movq -0x34(%rbp), %rdi
callq 0x36c10
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rax
movb $0x1, 0x94(%rax)
movq -0x8(%rbp), %rdi
callq 0x49f70
movsbl %al, %eax
cmpl $0x2, %eax
jne 0x3c9b0
movq -0x28(%rbp), %rax
movb $0x1, 0x92(%rax)
movq -0x8(%rbp), %rdi
callq 0x49ff0
movq %rax, %rcx
movq -0x28(%rbp), %rax
movq %rcx, 0x20(%rax)
movq -0x28(%rbp), %rax
movq 0x20(%rax), %rdi
shlq $0x3, %rdi
callq 0x6280
movq %rax, %rcx
movq -0x28(%rbp), %rax
movq %rcx, 0x18(%rax)
movq $0x0, -0x10(%rbp)
movq -0x10(%rbp), %rax
movq -0x28(%rbp), %rcx
cmpq 0x20(%rcx), %rax
jae 0x3cb11
movl $0x20, %edi
callq 0x48160
movq %rax, %rdx
movq -0x28(%rbp), %rax
movq 0x18(%rax), %rax
movq -0x10(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x8(%rbp), %rdi
callq 0x49ff0
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rcx
movq -0x28(%rbp), %rax
movq 0x18(%rax), %rax
movq -0x10(%rbp), %rdx
movq (%rax,%rdx,8), %rax
movq %rcx, 0x8(%rax)
movq -0x20(%rbp), %rdi
shlq $0x3, %rdi
callq 0x6280
movq %rax, %rcx
movq -0x28(%rbp), %rax
movq 0x18(%rax), %rax
movq -0x10(%rbp), %rdx
movq (%rax,%rdx,8), %rax
movq %rcx, (%rax)
movq $0x0, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq -0x28(%rbp), %rcx
movq 0x18(%rcx), %rcx
movq -0x10(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
cmpq 0x8(%rcx), %rax
jae 0x3cab6
movq -0x8(%rbp), %rdi
callq 0x3c110
movq %rax, %rdx
movq -0x28(%rbp), %rax
movq 0x18(%rax), %rax
movq -0x10(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq (%rax), %rax
movq -0x18(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x18(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x18(%rbp)
jmp 0x3ca67
movq -0x8(%rbp), %rdi
movq -0x28(%rbp), %rax
movq 0x18(%rax), %rax
movq -0x10(%rbp), %rcx
movq (%rax,%rcx,8), %rsi
addq $0x10, %rsi
callq 0x3ced0
movq -0x8(%rbp), %rdi
callq 0x4a320
cmpl $0x0, %eax
je 0x3cafe
movq -0x8(%rbp), %rdi
movq -0x28(%rbp), %rax
movq 0x18(%rax), %rax
movq -0x10(%rbp), %rcx
movq (%rax,%rcx,8), %rsi
addq $0x18, %rsi
callq 0x3ced0
jmp 0x3cb00
movq -0x10(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x10(%rbp)
jmp 0x3c9e8
movq -0x8(%rbp), %rdi
movq -0x28(%rbp), %rsi
addq $0x28, %rsi
callq 0x3ced0
movq -0x8(%rbp), %rdi
callq 0x49ff0
movq %rax, %rcx
movq -0x28(%rbp), %rax
movq %rcx, 0x70(%rax)
movq -0x28(%rbp), %rax
cmpq $0x0, 0x70(%rax)
jbe 0x3cb5d
movq -0x28(%rbp), %rax
movq 0x70(%rax), %rdi
shlq $0x3, %rdi
callq 0x48160
movq %rax, %rcx
movq -0x28(%rbp), %rax
movq %rcx, 0x68(%rax)
movq -0x28(%rbp), %rax
movl (%rax), %eax
addl $-0x14, %eax
movl %eax, %ecx
movq %rcx, -0x40(%rbp)
subl $0x9, %eax
ja 0x3ce7f
movq -0x40(%rbp), %rax
leaq 0x176c4(%rip), %rcx     # 0x54244
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq -0x8(%rbp), %rdi
callq 0x3c110
movq %rax, %rcx
movq -0x28(%rbp), %rax
movq %rcx, 0x88(%rax)
jmp 0x3cec1
movq -0x8(%rbp), %rdi
callq 0x49ff0
movq %rax, -0x20(%rbp)
movq $0x0, -0x10(%rbp)
movq -0x10(%rbp), %rax
cmpq -0x20(%rbp), %rax
jae 0x3cbe3
movq -0x8(%rbp), %rdi
movq -0x28(%rbp), %rdx
xorl %eax, %eax
movl %eax, %esi
callq 0x3f800
movq -0x10(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x10(%rbp)
jmp 0x3cbba
movq -0x8(%rbp), %rdi
callq 0x4a090
movq %rax, %rcx
movq -0x28(%rbp), %rax
movq %rcx, 0x88(%rax)
jmp 0x3cec1
movq -0x8(%rbp), %rdi
callq 0x49ff0
movq %rax, %rcx
movq -0x28(%rbp), %rax
movq %rcx, 0x78(%rax)
movq -0x28(%rbp), %rax
movq 0x78(%rax), %rdi
shlq $0x3, %rdi
callq 0x48160
movq %rax, %rcx
movq -0x28(%rbp), %rax
movq %rcx, 0x88(%rax)
movq $0x0, -0x10(%rbp)
movq -0x10(%rbp), %rax
movq -0x28(%rbp), %rcx
cmpq 0x78(%rcx), %rax
jae 0x3cc75
movq -0x8(%rbp), %rdi
callq 0x3c110
movq %rax, %rdx
movq -0x28(%rbp), %rax
movq 0x88(%rax), %rax
movq -0x10(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x10(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x10(%rbp)
jmp 0x3cc3a
jmp 0x3cec1
movq -0x8(%rbp), %rdi
callq 0x49ff0
movq %rax, %rcx
movq -0x28(%rbp), %rax
movq %rcx, 0x78(%rax)
movq -0x28(%rbp), %rax
movq 0x78(%rax), %rdi
shlq $0x3, %rdi
callq 0x48160
movq %rax, %rcx
movq -0x28(%rbp), %rax
movq %rcx, 0x88(%rax)
movq $0x0, -0x10(%rbp)
movq -0x10(%rbp), %rax
movq -0x28(%rbp), %rcx
cmpq 0x78(%rcx), %rax
jae 0x3ccf4
movq -0x8(%rbp), %rdi
movq -0x28(%rbp), %rsi
callq 0x3f930
movq %rax, %rdx
movq -0x28(%rbp), %rax
movq 0x88(%rax), %rax
movq -0x10(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x10(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x10(%rbp)
jmp 0x3ccb5
jmp 0x3cec1
movq -0x8(%rbp), %rdi
movq -0x28(%rbp), %rax
movq 0x68(%rax), %rsi
callq 0x3ced0
movq -0x8(%rbp), %rdi
callq 0x3c110
movq %rax, %rcx
movq -0x28(%rbp), %rax
movq %rcx, 0x88(%rax)
movq -0x28(%rbp), %rax
movq $0x1, 0x78(%rax)
jmp 0x3cec1
movq -0x8(%rbp), %rdi
movq -0x28(%rbp), %rax
movq 0x68(%rax), %rsi
callq 0x3ced0
jmp 0x3cec1
movq -0x8(%rbp), %rdi
callq 0x3c110
movq %rax, %rcx
movq -0x28(%rbp), %rax
movq %rcx, 0x88(%rax)
movq -0x8(%rbp), %rdi
callq 0x49ff0
movq %rax, %rcx
movq -0x28(%rbp), %rax
movq %rcx, 0x48(%rax)
movq -0x28(%rbp), %rax
movq 0x48(%rax), %rdi
shlq $0x3, %rdi
callq 0x48160
movq %rax, %rcx
movq -0x28(%rbp), %rax
movq %rcx, 0x40(%rax)
movq $0x0, -0x10(%rbp)
movq -0x10(%rbp), %rax
movq -0x28(%rbp), %rcx
cmpq 0x48(%rcx), %rax
jae 0x3cdcf
movq -0x8(%rbp), %rdi
movq -0x28(%rbp), %rax
movq 0x40(%rax), %rsi
movq -0x10(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rsi
callq 0x3ced0
movq -0x10(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x10(%rbp)
jmp 0x3cd97
movq -0x8(%rbp), %rdi
movq -0x28(%rbp), %rax
movq 0x68(%rax), %rsi
callq 0x3ced0
jmp 0x3cec1
movq -0x8(%rbp), %rdi
callq 0x3c110
movq %rax, %rcx
movq -0x28(%rbp), %rax
movq %rcx, 0x88(%rax)
movq -0x8(%rbp), %rdi
callq 0x49ff0
movq %rax, %rcx
movq -0x28(%rbp), %rax
movq %rcx, 0x38(%rax)
movq -0x28(%rbp), %rax
movq 0x38(%rax), %rdi
shlq $0x3, %rdi
callq 0x48160
movq %rax, %rcx
movq -0x28(%rbp), %rax
movq %rcx, 0x30(%rax)
movq $0x0, -0x10(%rbp)
movq -0x10(%rbp), %rax
movq -0x28(%rbp), %rcx
cmpq 0x38(%rcx), %rax
jae 0x3ce6c
movq -0x8(%rbp), %rdi
movq -0x28(%rbp), %rax
movq 0x30(%rax), %rsi
movq -0x10(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rsi
callq 0x3ced0
movq -0x10(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x10(%rbp)
jmp 0x3ce34
movq -0x8(%rbp), %rdi
movq -0x28(%rbp), %rax
movq 0x68(%rax), %rsi
callq 0x3ced0
jmp 0x3cec1
movq $0x0, -0x10(%rbp)
movq -0x10(%rbp), %rax
movq -0x28(%rbp), %rcx
cmpq 0x70(%rcx), %rax
jae 0x3cebf
movq -0x8(%rbp), %rdi
movq -0x28(%rbp), %rax
movq 0x68(%rax), %rsi
movq -0x10(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rsi
callq 0x3ced0
movq -0x10(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x10(%rbp)
jmp 0x3ce87
jmp 0x3cec1
movq -0x28(%rbp), %rax
addq $0x40, %rsp
popq %rbp
retq
nopl (%rax,%rax)