// File: /workspace/github_c_makefile_star2_O3/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 %r15
pushq %r14
pushq %rbx
xorl %ecx, %ecx
leaq 0xf26a(%rip), %rdx      # 0x27bf0
leaq 0xf063(%rip), %rsi      # 0x279f0
leaq 0x22bc8c(%rip), %rax    # 0x244620
xorl %edi, %edi
leaq (%rax,%rdi), %r8
movq %r8, (%rsi)
movl $0x4, (%rdx)
leaq (%rdi,%rax), %r9
addq $0x40, %r9
movq %r9, -0x28(%r9)
leaq 0xc0(%rdi,%rax), %r10
movq %r10, -0x30(%r9)
movl %ecx, -0x40(%r9)
leaq 0x80(%rdi,%rax), %r11
movq %r11, -0x28(%r11)
movq %r8, -0x30(%r11)
movl %ecx, -0x40(%r11)
movq %r10, 0x18(%r11)
movq %r9, 0x10(%r11)
movl %ecx, (%r11)
movq %r8, 0x58(%r11)
movq %r11, 0x50(%r11)
movl %ecx, 0x40(%r11)
addq $0x100, %rdi            # imm = 0x100
incl %ecx
addq $0x4, %rdx
addq $0x8, %rsi
cmpq $0x600, %rdi            # imm = 0x600
jne 0x18996
movl $0x4, %ecx
movl %ecx, 0x22bc15(%rip)    # 0x244624
leaq 0x22c00a(%rip), %rdx    # 0x244a20
movq %rdx, 0x22bc23(%rip)    # 0x244640
movq %rax, 0x22bc24(%rip)    # 0x244648
movl $0x1, %esi
movl %esi, 0x22bc35(%rip)    # 0x244664
leaq 0x22bcea(%rip), %rdx    # 0x244720
movq %rdx, 0x22bc43(%rip)    # 0x244680
leaq 0x22bc1c(%rip), %r8     # 0x244660
movq %r8, 0x22bc3d(%rip)     # 0x244688
movl $0x2, %edx
movl %edx, 0x22bc4e(%rip)    # 0x2446a4
leaq 0x22bdc3(%rip), %rdi    # 0x244820
movq %rdi, 0x22bc5c(%rip)    # 0x2446c0
leaq 0x22bc35(%rip), %rbx    # 0x2446a0
movq %rbx, 0x22bc56(%rip)    # 0x2446c8
movl $0x3, %edi
movl %edi, 0x22bc67(%rip)    # 0x2446e4
leaq 0x22be9c(%rip), %r9     # 0x244920
movq %r9, 0x22bc75(%rip)     # 0x244700
leaq 0x22bc4e(%rip), %r14    # 0x2446e0
movq %r14, 0x22bc6f(%rip)    # 0x244708
xorl %r10d, %r10d
movl %r10d, 0x22bc81(%rip)   # 0x244724
movq %r8, 0x22bc96(%rip)     # 0x244740
movq %r8, 0x22bc97(%rip)     # 0x244748
movl %ecx, 0x22bcad(%rip)    # 0x244764
leaq 0x22c022(%rip), %r8     # 0x244ae0
movq %r8, 0x22bcbb(%rip)     # 0x244780
leaq 0x22bc94(%rip), %r8     # 0x244760
movq %r8, 0x22bcb5(%rip)     # 0x244788
movl $0x5, %r11d
movl %r11d, 0x22bcc4(%rip)   # 0x2447a4
leaq 0x22c039(%rip), %r9     # 0x244b20
movq %r9, 0x22bcd2(%rip)     # 0x2447c0
leaq 0x22bcab(%rip), %r9     # 0x2447a0
movq %r9, 0x22bccc(%rip)     # 0x2447c8
movl %edx, 0x22bce2(%rip)    # 0x2447e4
leaq 0x22bd57(%rip), %r15    # 0x244860
movq %r15, 0x22bcf0(%rip)    # 0x244800
leaq 0x22bcc9(%rip), %r15    # 0x2447e0
movq %r15, 0x22bcea(%rip)    # 0x244808
movl %r10d, 0x22bcff(%rip)   # 0x244824
movq %rbx, 0x22bd14(%rip)    # 0x244840
movq %rbx, 0x22bd15(%rip)    # 0x244848
movl %esi, 0x22bd2b(%rip)    # 0x244864
movq %r15, 0x22bd40(%rip)    # 0x244880
movq %r15, 0x22bd41(%rip)    # 0x244888
movl %r11d, 0x22bd56(%rip)   # 0x2448a4
leaq 0x22c08b(%rip), %rbx    # 0x244be0
movq %rbx, 0x22bd64(%rip)    # 0x2448c0
leaq 0x22bd3d(%rip), %rbx    # 0x2448a0
movq %rbx, 0x22bd5e(%rip)    # 0x2448c8
movl %edi, 0x22bd74(%rip)    # 0x2448e4
leaq 0x22bde9(%rip), %r15    # 0x244960
movq %r15, 0x22bd82(%rip)    # 0x244900
leaq 0x22bd5b(%rip), %r15    # 0x2448e0
movq %r15, 0x22bd7c(%rip)    # 0x244908
movl %r10d, 0x22bd91(%rip)   # 0x244924
movq %r14, 0x22bda6(%rip)    # 0x244940
movq %r14, 0x22bda7(%rip)    # 0x244948
movl %edx, 0x22bdbd(%rip)    # 0x244964
movq %r15, 0x22bdd2(%rip)    # 0x244980
movq %r15, 0x22bdd3(%rip)    # 0x244988
movl %r11d, 0x22bde8(%rip)   # 0x2449a4
leaq 0x22bfdd(%rip), %r14    # 0x244ba0
movq %r14, 0x22bdf6(%rip)    # 0x2449c0
leaq 0x22bdcf(%rip), %r14    # 0x2449a0
movq %r14, 0x22bdf0(%rip)    # 0x2449c8
movl %ecx, 0x22be06(%rip)    # 0x2449e4
leaq 0x22be7b(%rip), %r15    # 0x244a60
movq %r15, 0x22be14(%rip)    # 0x244a00
leaq 0x22bded(%rip), %r15    # 0x2449e0
movq %r15, 0x22be0e(%rip)    # 0x244a08
movl %r10d, 0x22be23(%rip)   # 0x244a24
movq %rax, 0x22be38(%rip)    # 0x244a40
movq %rax, 0x22be39(%rip)    # 0x244a48
movl %edi, 0x22be4f(%rip)    # 0x244a64
movq %r15, 0x22be64(%rip)    # 0x244a80
movq %r15, 0x22be65(%rip)    # 0x244a88
movl %r11d, 0x22be7a(%rip)   # 0x244aa4
leaq 0x22bf2f(%rip), %rax    # 0x244b60
movq %rax, 0x22be88(%rip)    # 0x244ac0
leaq 0x22be61(%rip), %rax    # 0x244aa0
movq %rax, 0x22be82(%rip)    # 0x244ac8
movl %esi, 0x22be98(%rip)    # 0x244ae4
movq %r8, 0x22bead(%rip)     # 0x244b00
movq %r8, 0x22beae(%rip)     # 0x244b08
movl %esi, 0x22bec4(%rip)    # 0x244b24
movq %r9, 0x22bed9(%rip)     # 0x244b40
movq %r9, 0x22beda(%rip)     # 0x244b48
movl %ecx, 0x22bef0(%rip)    # 0x244b64
movq %rax, 0x22bf05(%rip)    # 0x244b80
movq %rax, 0x22bf06(%rip)    # 0x244b88
movl %edi, 0x22bf1c(%rip)    # 0x244ba4
movq %r14, 0x22bf31(%rip)    # 0x244bc0
movq %r14, 0x22bf32(%rip)    # 0x244bc8
movl %edx, 0x22bf48(%rip)    # 0x244be4
movq %rbx, 0x22bf5d(%rip)    # 0x244c00
movq %rbx, 0x22bf5e(%rip)    # 0x244c08
movl $0x6, 0x22b95c(%rip)    # 0x244610
movl $0x18, 0x22b956(%rip)   # 0x244614
popq %rbx
popq %r14
popq %r15
retq