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

/* Make an octahedron using the first 24 edges */
{
   int i;
   EDGE *buffer;

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

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

// Assembly:
pushq %rbp
movq %rsp, %rbp
movl $0x0, -0x4(%rbp)
cmpl $0x5, -0x4(%rbp)
jg 0x280b1
movl -0x4(%rbp), %eax
shll $0x2, %eax
movslq %eax, %rcx
leaq 0x23268b(%rip), %rax    # 0x25a630
shlq $0x6, %rcx
addq %rcx, %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rdx
movslq -0x4(%rbp), %rcx
leaq 0x15a41(%rip), %rax     # 0x3da00
movq %rdx, (%rax,%rcx,8)
movslq -0x4(%rbp), %rcx
leaq 0x15c32(%rip), %rax     # 0x3dc00
movl $0x4, (%rax,%rcx,4)
movq -0x10(%rbp), %rcx
addq $0x40, %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x18(%rax)
movq -0x10(%rbp), %rcx
addq $0xc0, %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 $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 $-0xc0, %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 0x27f8b
leaq 0x232578(%rip), %rax    # 0x25a630
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movl $0x4, 0x4(%rax)
movq -0x10(%rbp), %rax
leaq 0x23255e(%rip), %rcx    # 0x25a630
addq $0x400, %rcx            # imm = 0x400
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 0x232525(%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 $0x2, 0x4(%rax)
movq -0x10(%rbp), %rax
leaq 0x2324ec(%rip), %rcx    # 0x25a630
addq $0x200, %rcx            # imm = 0x200
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 0x2324b3(%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 $0x0, 0x4(%rax)
movq -0x10(%rbp), %rax
leaq 0x23247a(%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 $0x4, 0x4(%rax)
movq -0x10(%rbp), %rax
leaq 0x232440(%rip), %rcx    # 0x25a630
addq $0x4c0, %rcx            # imm = 0x4C0
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 0x232407(%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 $0x2, 0x4(%rax)
movq -0x10(%rbp), %rax
leaq 0x2323ce(%rip), %rcx    # 0x25a630
addq $0x240, %rcx            # imm = 0x240
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 0x232395(%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 $0x1, 0x4(%rax)
movq -0x10(%rbp), %rax
leaq 0x232358(%rip), %rcx    # 0x25a630
addq $0x1c0, %rcx            # imm = 0x1C0
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 0x23231b(%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 $0x3, 0x4(%rax)
movq -0x10(%rbp), %rax
leaq 0x2322e2(%rip), %rcx    # 0x25a630
addq $0x340, %rcx            # imm = 0x340
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 0x2322a9(%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 $0x2, 0x4(%rax)
movq -0x10(%rbp), %rax
leaq 0x23226c(%rip), %rcx    # 0x25a630
addq $0x2c0, %rcx            # imm = 0x2C0
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 0x23222f(%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 $0x4, 0x4(%rax)
movq -0x10(%rbp), %rax
leaq 0x2321f6(%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 $0x0, 0x4(%rax)
movq -0x10(%rbp), %rax
leaq 0x2321bd(%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 $0x3, 0x4(%rax)
movq -0x10(%rbp), %rax
leaq 0x232187(%rip), %rcx    # 0x25a630
addq $0x3c0, %rcx            # imm = 0x3C0
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 0x23214a(%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 $0x1, 0x4(%rax)
movq -0x10(%rbp), %rax
leaq 0x232111(%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 $0x1, 0x4(%rax)
movq -0x10(%rbp), %rax
leaq 0x2320d4(%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 $0x4, 0x4(%rax)
movq -0x10(%rbp), %rax
leaq 0x232097(%rip), %rcx    # 0x25a630
addq $0x480, %rcx            # imm = 0x480
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 0x23205a(%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 $0x2, 0x4(%rax)
movq -0x10(%rbp), %rax
leaq 0x23201d(%rip), %rcx    # 0x25a630
addq $0x280, %rcx            # imm = 0x280
movq %rcx, 0x20(%rax)
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x28(%rax)
movl $0x6, 0x231fe8(%rip)    # 0x25a620
movl $0x18, 0x231fe2(%rip)   # 0x25a624
popq %rbp
retq
nopw %cs:(%rax,%rax)