// File: /workspace/github_c_makefile_star2_O0/mishun[P]plantri/plantri.c
// Function: make_cube
static void
make_cube(void)

/* Make a cube using the first 24 edges */
{
   int i;
   EDGE *buffer;

    for (i=0; i<8; i++)
      { buffer=edges+3*i;
        firstedge[i]=buffer; degree[i]=3;
        buffer->next=buffer+1; buffer->prev=buffer+2; buffer->start=i;
        buffer++; buffer->next=buffer+1; buffer->prev=buffer-1; buffer->start=i;
        buffer++; buffer->next=buffer-2; buffer->prev=buffer-1; buffer->start=i;
      }

    buffer=edges; /* edge number 0 */
    buffer->end=4;
    buffer->invers=edges+12;
    buffer->min=buffer;
    
    buffer++; /* edge number 1 */
    buffer->end=3;
    buffer->invers=edges+11;
    buffer->min=buffer;
    
    buffer++; /* edge number 2 */
    buffer->end=1;
    buffer->invers=edges+4;
    buffer->min=buffer;
    
    buffer++; /* edge number 3 */
    buffer->end=5;
    buffer->invers=edges+15;
    buffer->min=buffer;
    
    buffer++; /* edge number 4 */
    buffer->end=0;
    buffer->invers=edges+2;
    buffer->min=buffer->invers;
    
    buffer++; /* edge number 5 */
    buffer->end=2;
    buffer->invers=edges+7;
    buffer->min=buffer;
    
    buffer++; /* edge number 6 */
    buffer->end=6;
    buffer->invers=edges+18;
    buffer->min=buffer;
    
    buffer++; /* edge number 7 */
    buffer->end=1;
    buffer->invers=edges+5;
    buffer->min=buffer->invers;
    
    buffer++; /* edge number 8 */
    buffer->end=3;
    buffer->invers=edges+10;
    buffer->min=buffer;
    
    buffer++; /* edge number 9 */
    buffer->end=7;
    buffer->invers=edges+21;
    buffer->min=buffer;
    
    buffer++; /* edge number 10 */
    buffer->end=2;
    buffer->invers=edges+8;
    buffer->min=buffer->invers;
    
    buffer++; /* edge number 11 */
    buffer->end=0;
    buffer->invers=edges+1;
    buffer->min=buffer->invers;
    
    buffer++; /* edge number 12 */
    buffer->end=0;
    buffer->invers=edges;
    buffer->min=buffer->invers;
    
    buffer++; /* edge number 13 */
    buffer->end=5;
    buffer->invers=edges+17;
    buffer->min=buffer;
    
    buffer++; /* edge number 14 */
    buffer->end=7;
    buffer->invers=edges+22;
    buffer->min=buffer;
    
    buffer++; /* edge number 15 */
    buffer->end=1;
    buffer->invers=edges+3;
    buffer->min=buffer->invers;
     
    buffer++; /* edge number 16 */
    buffer->end=6;
    buffer->invers=edges+20;
    buffer->min=buffer;
    
    buffer++; /* edge number 17 */
    buffer->end=4;
    buffer->invers=edges+13;
    buffer->min=buffer->invers;
    
    buffer++; /* edge number 18 */
    buffer->end=2;
    buffer->invers=edges+6;
    buffer->min=buffer->invers;
    
    buffer++; /* edge number 19  */
    buffer->end=7;
    buffer->invers=edges+23;
    buffer->min=buffer;
    
    buffer++; /* edge number 20 */
    buffer->end=5;
    buffer->invers=edges+16;
    buffer->min=buffer->invers;
    
    buffer++; /* edge number 21 */
    buffer->end=3;
    buffer->invers=edges+9;
    buffer->min=buffer->invers;
    
    buffer++; /* edge number 22 */
    buffer->end=4;
    buffer->invers=edges+14;
    buffer->min=buffer->invers;
    
    buffer++; /* edge number 23 */
    buffer->end=6;
    buffer->invers=edges+19;
    buffer->min=buffer->invers;

    nv=8;
    ne=24;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movl $0x0, -0x4(%rbp)
cmpl $0x8, -0x4(%rbp)
jge 0x13267
imull $0x3, -0x4(%rbp), %eax
movslq %eax, %rcx
leaq 0x24749d(%rip), %rax    # 0x25a630
shlq $0x6, %rcx
addq %rcx, %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rdx
movslq -0x4(%rbp), %rcx
leaq 0x2a853(%rip), %rax     # 0x3da00
movq %rdx, (%rax,%rcx,8)
movslq -0x4(%rbp), %rcx
leaq 0x2aa44(%rip), %rax     # 0x3dc00
movl $0x3, (%rax,%rcx,4)
movq -0x10(%rbp), %rcx
addq $0x40, %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x18(%rax)
movq -0x10(%rbp), %rcx
addq $0x80, %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x10(%rax)
movl -0x4(%rbp), %ecx
movq -0x10(%rbp), %rax
movl %ecx, (%rax)
movq -0x10(%rbp), %rax
addq $0x40, %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rcx
addq $0x40, %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x18(%rax)
movq -0x10(%rbp), %rcx
addq $-0x40, %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x10(%rax)
movl -0x4(%rbp), %ecx
movq -0x10(%rbp), %rax
movl %ecx, (%rax)
movq -0x10(%rbp), %rax
addq $0x40, %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rcx
addq $-0x80, %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x18(%rax)
movq -0x10(%rbp), %rcx
addq $-0x40, %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x10(%rax)
movl -0x4(%rbp), %ecx
movq -0x10(%rbp), %rax
movl %ecx, (%rax)
movl -0x4(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x4(%rbp)
jmp 0x1317b
leaq 0x2473c2(%rip), %rax    # 0x25a630
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movl $0x4, 0x4(%rax)
movq -0x10(%rbp), %rax
leaq 0x2473a8(%rip), %rcx    # 0x25a630
addq $0x300, %rcx            # imm = 0x300
movq %rcx, 0x20(%rax)
movq -0x10(%rbp), %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x28(%rax)
movq -0x10(%rbp), %rax
addq $0x40, %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movl $0x3, 0x4(%rax)
movq -0x10(%rbp), %rax
leaq 0x24736f(%rip), %rcx    # 0x25a630
addq $0x2c0, %rcx            # imm = 0x2C0
movq %rcx, 0x20(%rax)
movq -0x10(%rbp), %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x28(%rax)
movq -0x10(%rbp), %rax
addq $0x40, %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movl $0x1, 0x4(%rax)
movq -0x10(%rbp), %rax
leaq 0x247336(%rip), %rcx    # 0x25a630
addq $0x100, %rcx            # imm = 0x100
movq %rcx, 0x20(%rax)
movq -0x10(%rbp), %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x28(%rax)
movq -0x10(%rbp), %rax
addq $0x40, %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movl $0x5, 0x4(%rax)
movq -0x10(%rbp), %rax
leaq 0x2472fd(%rip), %rcx    # 0x25a630
addq $0x3c0, %rcx            # imm = 0x3C0
movq %rcx, 0x20(%rax)
movq -0x10(%rbp), %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x28(%rax)
movq -0x10(%rbp), %rax
addq $0x40, %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movl $0x0, 0x4(%rax)
movq -0x10(%rbp), %rax
leaq 0x2472c4(%rip), %rcx    # 0x25a630
addq $0x80, %rcx
movq %rcx, 0x20(%rax)
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x28(%rax)
movq -0x10(%rbp), %rax
addq $0x40, %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movl $0x2, 0x4(%rax)
movq -0x10(%rbp), %rax
leaq 0x247287(%rip), %rcx    # 0x25a630
addq $0x1c0, %rcx            # imm = 0x1C0
movq %rcx, 0x20(%rax)
movq -0x10(%rbp), %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x28(%rax)
movq -0x10(%rbp), %rax
addq $0x40, %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movl $0x6, 0x4(%rax)
movq -0x10(%rbp), %rax
leaq 0x24724e(%rip), %rcx    # 0x25a630
addq $0x480, %rcx            # imm = 0x480
movq %rcx, 0x20(%rax)
movq -0x10(%rbp), %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x28(%rax)
movq -0x10(%rbp), %rax
addq $0x40, %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movl $0x1, 0x4(%rax)
movq -0x10(%rbp), %rax
leaq 0x247215(%rip), %rcx    # 0x25a630
addq $0x140, %rcx            # imm = 0x140
movq %rcx, 0x20(%rax)
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x28(%rax)
movq -0x10(%rbp), %rax
addq $0x40, %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movl $0x3, 0x4(%rax)
movq -0x10(%rbp), %rax
leaq 0x2471d8(%rip), %rcx    # 0x25a630
addq $0x280, %rcx            # imm = 0x280
movq %rcx, 0x20(%rax)
movq -0x10(%rbp), %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x28(%rax)
movq -0x10(%rbp), %rax
addq $0x40, %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movl $0x7, 0x4(%rax)
movq -0x10(%rbp), %rax
leaq 0x24719f(%rip), %rcx    # 0x25a630
addq $0x540, %rcx            # imm = 0x540
movq %rcx, 0x20(%rax)
movq -0x10(%rbp), %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x28(%rax)
movq -0x10(%rbp), %rax
addq $0x40, %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movl $0x2, 0x4(%rax)
movq -0x10(%rbp), %rax
leaq 0x247166(%rip), %rcx    # 0x25a630
addq $0x200, %rcx            # imm = 0x200
movq %rcx, 0x20(%rax)
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x28(%rax)
movq -0x10(%rbp), %rax
addq $0x40, %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movl $0x0, 0x4(%rax)
movq -0x10(%rbp), %rax
leaq 0x247129(%rip), %rcx    # 0x25a630
addq $0x40, %rcx
movq %rcx, 0x20(%rax)
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x28(%rax)
movq -0x10(%rbp), %rax
addq $0x40, %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movl $0x0, 0x4(%rax)
movq -0x10(%rbp), %rax
leaq 0x2470ef(%rip), %rcx    # 0x25a630
movq %rcx, 0x20(%rax)
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x28(%rax)
movq -0x10(%rbp), %rax
addq $0x40, %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movl $0x5, 0x4(%rax)
movq -0x10(%rbp), %rax
leaq 0x2470b9(%rip), %rcx    # 0x25a630
addq $0x440, %rcx            # imm = 0x440
movq %rcx, 0x20(%rax)
movq -0x10(%rbp), %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x28(%rax)
movq -0x10(%rbp), %rax
addq $0x40, %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movl $0x7, 0x4(%rax)
movq -0x10(%rbp), %rax
leaq 0x247080(%rip), %rcx    # 0x25a630
addq $0x580, %rcx            # imm = 0x580
movq %rcx, 0x20(%rax)
movq -0x10(%rbp), %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x28(%rax)
movq -0x10(%rbp), %rax
addq $0x40, %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movl $0x1, 0x4(%rax)
movq -0x10(%rbp), %rax
leaq 0x247047(%rip), %rcx    # 0x25a630
addq $0xc0, %rcx
movq %rcx, 0x20(%rax)
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x28(%rax)
movq -0x10(%rbp), %rax
addq $0x40, %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movl $0x6, 0x4(%rax)
movq -0x10(%rbp), %rax
leaq 0x24700a(%rip), %rcx    # 0x25a630
addq $0x500, %rcx            # imm = 0x500
movq %rcx, 0x20(%rax)
movq -0x10(%rbp), %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x28(%rax)
movq -0x10(%rbp), %rax
addq $0x40, %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movl $0x4, 0x4(%rax)
movq -0x10(%rbp), %rax
leaq 0x246fd1(%rip), %rcx    # 0x25a630
addq $0x340, %rcx            # imm = 0x340
movq %rcx, 0x20(%rax)
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x28(%rax)
movq -0x10(%rbp), %rax
addq $0x40, %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movl $0x2, 0x4(%rax)
movq -0x10(%rbp), %rax
leaq 0x246f94(%rip), %rcx    # 0x25a630
addq $0x180, %rcx            # imm = 0x180
movq %rcx, 0x20(%rax)
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x28(%rax)
movq -0x10(%rbp), %rax
addq $0x40, %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movl $0x7, 0x4(%rax)
movq -0x10(%rbp), %rax
leaq 0x246f57(%rip), %rcx    # 0x25a630
addq $0x5c0, %rcx            # imm = 0x5C0
movq %rcx, 0x20(%rax)
movq -0x10(%rbp), %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x28(%rax)
movq -0x10(%rbp), %rax
addq $0x40, %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movl $0x5, 0x4(%rax)
movq -0x10(%rbp), %rax
leaq 0x246f1e(%rip), %rcx    # 0x25a630
addq $0x400, %rcx            # imm = 0x400
movq %rcx, 0x20(%rax)
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x28(%rax)
movq -0x10(%rbp), %rax
addq $0x40, %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movl $0x3, 0x4(%rax)
movq -0x10(%rbp), %rax
leaq 0x246ee1(%rip), %rcx    # 0x25a630
addq $0x240, %rcx            # imm = 0x240
movq %rcx, 0x20(%rax)
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x28(%rax)
movq -0x10(%rbp), %rax
addq $0x40, %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movl $0x4, 0x4(%rax)
movq -0x10(%rbp), %rax
leaq 0x246ea4(%rip), %rcx    # 0x25a630
addq $0x380, %rcx            # imm = 0x380
movq %rcx, 0x20(%rax)
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x28(%rax)
movq -0x10(%rbp), %rax
addq $0x40, %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movl $0x6, 0x4(%rax)
movq -0x10(%rbp), %rax
leaq 0x246e67(%rip), %rcx    # 0x25a630
addq $0x4c0, %rcx            # imm = 0x4C0
movq %rcx, 0x20(%rax)
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x28(%rax)
movl $0x8, 0x246e32(%rip)    # 0x25a620
movl $0x18, 0x246e2c(%rip)   # 0x25a624
popq %rbp
retq
nopw (%rax,%rax)