// File: /workspace/github_cpp_makefile_star2_O2/MarkCBell[P]twister/./twister/kernel/twister.cpp
// Function: annulus::drill()
void annulus::drill()
{
	output_debugging("drill", 2);
	
	manifold *M = sq[0]->home;
	
	// First find out if we need a new layer.
	bool need_new_layer = false;
	for (int i = 0; i < length; i++)
		if (! sq[i]->get_status())
		{
			need_new_layer = true;
			break;
		}
	
	if (need_new_layer) M->insert_layer();
	
	for (int i = 0; i < length; i++)
		sq[i]->set_status(false);
	
	// For each cube in the thickened annulus replace its child (in the new layer) by a gadget.
	std::vector<cube*> new_cubes;
	for (int i = 0; i < length; i++)
		new_cubes.push_back(convert_cube_to_gadget(sq[i], upright[i]));
	
	// Gadget pups can't get horizontal gluing information from their parents.
	// So we must provide it now.
	for (int i = 0; i < length; i++)
	{
		int j = (i + 1) % length;
		// Glue pup_gadgets together.
		tetra *current_top_back = new_cubes[i]->get_tetra(low, left)->get_child();
		tetra *next_top_front = new_cubes[j]->get_tetra(top, left)->get_child();
		tetra *current_bottom_back = new_cubes[i]->get_tetra(low, right)->get_child();
		tetra *next_bottom_front = new_cubes[j]->get_tetra(top, right)->get_child();
		
		// (*1*) Gadgets were designed so this was true. :)
		current_top_back->gluesym(next_top_front, 0, perm(0,1,3,2));
		current_bottom_back->gluesym(next_bottom_front, 0, perm(0,1,3,2));
		
		glue_cubes(new_cubes[i], new_cubes[j], upright[i], upright[j]);
	}
	
	for (int i = 0; i < length; i++)
		delete new_cubes[i];
	
	return;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x58, %rsp
movq %rdi, %r12
leaq 0x5026(%rip), %rsi      # 0x115f0
leaq 0x38(%rsp), %rdi
movq %rsp, %rdx
callq 0x3e82
leaq 0x38(%rsp), %rdi
pushq $0x2
popq %rsi
callq 0x3d1a
leaq 0x38(%rsp), %rdi
callq 0x3458
movq 0x8(%r12), %rcx
movq (%rcx), %rax
movq 0x38(%rax), %rdi
movl (%r12), %eax
xorl %esi, %esi
testl %eax, %eax
movl $0x0, %edx
cmovgl %eax, %edx
cmpq %rsi, %rdx
je 0xc632
movq (%rcx,%rsi,8), %r8
incq %rsi
cmpb $0x0, 0x32(%r8)
jne 0xc60a
callq 0xc7d2
movl (%r12), %eax
movq 0x8(%r12), %rcx
xorl %edx, %edx
testl %eax, %eax
cmovgl %eax, %edx
xorl %esi, %esi
cmpq %rsi, %rdx
je 0xc646
movq (%rcx,%rsi,8), %rdi
movb $0x0, 0x32(%rdi)
incq %rsi
jmp 0xc634
movq %rsp, %r14
andq $0x0, 0x10(%r14)
xorps %xmm0, %xmm0
movaps %xmm0, (%r14)
xorl %ebx, %ebx
leaq 0x28(%rsp), %r15
cltq
cmpq %rax, %rbx
jge 0xc693
movq 0x8(%r12), %rax
movq 0x10(%r12), %rcx
movq (%rax,%rbx,8), %rdi
movzbl (%rcx,%rbx), %esi
callq 0xacdc
movq %rax, 0x28(%rsp)
movq %r14, %rdi
movq %r15, %rsi
callq 0x6a7c
incq %rbx
movl (%r12), %eax
jmp 0xc65c
xorl %ebx, %ebx
leaq 0x28(%rsp), %r14
movq %r12, 0x18(%rsp)
movslq (%r12), %rcx
cmpq %rcx, %rbx
jge 0xc767
movq (%rsp), %rsi
movq (%rsi,%rbx,8), %rdi
leal 0x1(%rbx), %eax
cltd
idivl %ecx
movl %edx, %r13d
movq 0x10(%rdi), %rax
movq 0x28(%rdi), %rcx
movq 0x88(%rax), %r12
movq (%rsi,%r13,8), %rax
movq (%rax), %rdx
movq 0x18(%rax), %rax
movq 0x88(%rdx), %r15
movq 0x88(%rcx), %rbp
movq 0x88(%rax), %rax
movq %rax, 0x20(%rsp)
movq %r14, %rdi
xorl %esi, %esi
pushq $0x1
popq %rdx
pushq $0x3
popq %rcx
pushq $0x2
popq %r8
callq 0x6790
movq %r12, %rdi
movq %r15, %rsi
xorl %edx, %edx
movq %r14, %rcx
callq 0xa5d2
movq %r14, %rdi
xorl %esi, %esi
pushq $0x1
popq %rdx
pushq $0x3
popq %rcx
pushq $0x2
popq %r8
callq 0x6790
movq %rbp, %rdi
movq 0x20(%rsp), %rsi
xorl %edx, %edx
movq %r14, %rcx
callq 0xa5d2
movq (%rsp), %rax
movq (%rax,%rbx,8), %rdi
movq (%rax,%r13,8), %rsi
movq 0x18(%rsp), %r12
movq 0x10(%r12), %rax
movzbl (%rax,%rbx), %edx
movzbl (%rax,%r13), %ecx
incq %rbx
callq 0xac47
jmp 0xc69f
xorl %ebx, %ebx
pushq $0x40
popq %r14
movslq %ecx, %rax
cmpq %rax, %rbx
jge 0xc78e
movq (%rsp), %rax
movq (%rax,%rbx,8), %rdi
movq %r14, %rsi
callq 0x3250
incq %rbx
movl (%r12), %ecx
jmp 0xc76d
movq %rsp, %rdi
callq 0x6f9c
addq $0x58, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
leaq 0x38(%rsp), %rdi
callq 0x3458
jmp 0xc7ca
movq %rax, %rbx
jmp 0xc7ca
jmp 0xc7bf
jmp 0xc7bf
jmp 0xc7bf
movq %rax, %rbx
movq %rsp, %rdi
callq 0x6f9c
movq %rbx, %rdi
callq 0x33d0