// File: /workspace/github_c_makefile_star2_O1/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 0xf2f7(%rip), %rdx      # 0x27bf0
leaq 0xf0f0(%rip), %rsi      # 0x279f0
leaq 0x22bd19(%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 0x18909
movl $0x4, %ecx
movl %ecx, 0x22bca2(%rip)    # 0x244624
leaq 0x22c097(%rip), %rdx    # 0x244a20
movq %rdx, 0x22bcb0(%rip)    # 0x244640
movq %rax, 0x22bcb1(%rip)    # 0x244648
movl $0x1, %esi
movl %esi, 0x22bcc2(%rip)    # 0x244664
leaq 0x22bd77(%rip), %rdx    # 0x244720
movq %rdx, 0x22bcd0(%rip)    # 0x244680
leaq 0x22bca9(%rip), %r8     # 0x244660
movq %r8, 0x22bcca(%rip)     # 0x244688
movl $0x2, %edx
movl %edx, 0x22bcdb(%rip)    # 0x2446a4
leaq 0x22be50(%rip), %rdi    # 0x244820
movq %rdi, 0x22bce9(%rip)    # 0x2446c0
leaq 0x22bcc2(%rip), %rbx    # 0x2446a0
movq %rbx, 0x22bce3(%rip)    # 0x2446c8
movl $0x3, %edi
movl %edi, 0x22bcf4(%rip)    # 0x2446e4
leaq 0x22bf29(%rip), %r9     # 0x244920
movq %r9, 0x22bd02(%rip)     # 0x244700
leaq 0x22bcdb(%rip), %r14    # 0x2446e0
movq %r14, 0x22bcfc(%rip)    # 0x244708
xorl %r10d, %r10d
movl %r10d, 0x22bd0e(%rip)   # 0x244724
movq %r8, 0x22bd23(%rip)     # 0x244740
movq %r8, 0x22bd24(%rip)     # 0x244748
movl %ecx, 0x22bd3a(%rip)    # 0x244764
leaq 0x22c0af(%rip), %r8     # 0x244ae0
movq %r8, 0x22bd48(%rip)     # 0x244780
leaq 0x22bd21(%rip), %r8     # 0x244760
movq %r8, 0x22bd42(%rip)     # 0x244788
movl $0x5, %r11d
movl %r11d, 0x22bd51(%rip)   # 0x2447a4
leaq 0x22c0c6(%rip), %r9     # 0x244b20
movq %r9, 0x22bd5f(%rip)     # 0x2447c0
leaq 0x22bd38(%rip), %r9     # 0x2447a0
movq %r9, 0x22bd59(%rip)     # 0x2447c8
movl %edx, 0x22bd6f(%rip)    # 0x2447e4
leaq 0x22bde4(%rip), %r15    # 0x244860
movq %r15, 0x22bd7d(%rip)    # 0x244800
leaq 0x22bd56(%rip), %r15    # 0x2447e0
movq %r15, 0x22bd77(%rip)    # 0x244808
movl %r10d, 0x22bd8c(%rip)   # 0x244824
movq %rbx, 0x22bda1(%rip)    # 0x244840
movq %rbx, 0x22bda2(%rip)    # 0x244848
movl %esi, 0x22bdb8(%rip)    # 0x244864
movq %r15, 0x22bdcd(%rip)    # 0x244880
movq %r15, 0x22bdce(%rip)    # 0x244888
movl %r11d, 0x22bde3(%rip)   # 0x2448a4
leaq 0x22c118(%rip), %rbx    # 0x244be0
movq %rbx, 0x22bdf1(%rip)    # 0x2448c0
leaq 0x22bdca(%rip), %rbx    # 0x2448a0
movq %rbx, 0x22bdeb(%rip)    # 0x2448c8
movl %edi, 0x22be01(%rip)    # 0x2448e4
leaq 0x22be76(%rip), %r15    # 0x244960
movq %r15, 0x22be0f(%rip)    # 0x244900
leaq 0x22bde8(%rip), %r15    # 0x2448e0
movq %r15, 0x22be09(%rip)    # 0x244908
movl %r10d, 0x22be1e(%rip)   # 0x244924
movq %r14, 0x22be33(%rip)    # 0x244940
movq %r14, 0x22be34(%rip)    # 0x244948
movl %edx, 0x22be4a(%rip)    # 0x244964
movq %r15, 0x22be5f(%rip)    # 0x244980
movq %r15, 0x22be60(%rip)    # 0x244988
movl %r11d, 0x22be75(%rip)   # 0x2449a4
leaq 0x22c06a(%rip), %r14    # 0x244ba0
movq %r14, 0x22be83(%rip)    # 0x2449c0
leaq 0x22be5c(%rip), %r14    # 0x2449a0
movq %r14, 0x22be7d(%rip)    # 0x2449c8
movl %ecx, 0x22be93(%rip)    # 0x2449e4
leaq 0x22bf08(%rip), %r15    # 0x244a60
movq %r15, 0x22bea1(%rip)    # 0x244a00
leaq 0x22be7a(%rip), %r15    # 0x2449e0
movq %r15, 0x22be9b(%rip)    # 0x244a08
movl %r10d, 0x22beb0(%rip)   # 0x244a24
movq %rax, 0x22bec5(%rip)    # 0x244a40
movq %rax, 0x22bec6(%rip)    # 0x244a48
movl %edi, 0x22bedc(%rip)    # 0x244a64
movq %r15, 0x22bef1(%rip)    # 0x244a80
movq %r15, 0x22bef2(%rip)    # 0x244a88
movl %r11d, 0x22bf07(%rip)   # 0x244aa4
leaq 0x22bfbc(%rip), %rax    # 0x244b60
movq %rax, 0x22bf15(%rip)    # 0x244ac0
leaq 0x22beee(%rip), %rax    # 0x244aa0
movq %rax, 0x22bf0f(%rip)    # 0x244ac8
movl %esi, 0x22bf25(%rip)    # 0x244ae4
movq %r8, 0x22bf3a(%rip)     # 0x244b00
movq %r8, 0x22bf3b(%rip)     # 0x244b08
movl %esi, 0x22bf51(%rip)    # 0x244b24
movq %r9, 0x22bf66(%rip)     # 0x244b40
movq %r9, 0x22bf67(%rip)     # 0x244b48
movl %ecx, 0x22bf7d(%rip)    # 0x244b64
movq %rax, 0x22bf92(%rip)    # 0x244b80
movq %rax, 0x22bf93(%rip)    # 0x244b88
movl %edi, 0x22bfa9(%rip)    # 0x244ba4
movq %r14, 0x22bfbe(%rip)    # 0x244bc0
movq %r14, 0x22bfbf(%rip)    # 0x244bc8
movl %edx, 0x22bfd5(%rip)    # 0x244be4
movq %rbx, 0x22bfea(%rip)    # 0x244c00
movq %rbx, 0x22bfeb(%rip)    # 0x244c08
movl $0x6, 0x22b9e9(%rip)    # 0x244610
movl $0x18, 0x22b9e3(%rip)   # 0x244614
popq %rbx
popq %r14
popq %r15
retq