// File: /workspace/github_c_makefile_star2_O0/mohuangrui[P]ArtraCFD/data_stream.c
// Function: WritePolyStateData
void WritePolyStateData(const int pm, const int pn, FILE *fp, const Geometry *const geo)
{
    const char *fmtI = "  %.6g, %.6g, %.6g, %.6g, %.6g, %.6g, %.6g, %.6g, %.6g, %.6g, %.6g, %.6g, %.6g, %.6g, %.6g, %d\n";
    const char *fmtJ = "  %.6g, %.6g, %.6g, %.6g, %.6g, %.6g, %.6g, %.6g, %.6g, %.6g, %.6g, %.6g, %.6g, %.6g, %.6g, %.6g\n";
    const Polyhedron *poly = NULL;
    for (int n = pm; n < pn; ++n) {
        poly = geo->poly + n;
        fprintf(fp, fmtI,
                poly->O[X], poly->O[Y], poly->O[Z], poly->r,
                poly->V[TO][X], poly->V[TO][Y], poly->V[TO][Z],
                poly->W[TO][X], poly->W[TO][Y], poly->W[TO][Z],
                poly->rho, poly->T, poly->cf,
                poly->area, poly->volume, poly->mid);
        fprintf(fp, fmtJ,
                poly->at[TO][X], poly->at[TO][Y], poly->at[TO][Z],
                poly->ar[TO][X], poly->ar[TO][Y], poly->ar[TO][Z],
                poly->at[TN][X], poly->at[TN][Y], poly->at[TN][Z],
                poly->g[X], poly->g[Y], poly->g[Z],
                poly->ar[TN][X], poly->ar[TN][Y], poly->ar[TN][Z],
                poly->to);
    }
    return;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x80, %rsp
movl %edi, -0x4(%rbp)
movl %esi, -0x8(%rbp)
movq %rdx, -0x10(%rbp)
movq %rcx, -0x18(%rbp)
leaq 0x158eb(%rip), %rax     # 0x27a7b
movq %rax, -0x20(%rbp)
leaq 0x15940(%rip), %rax     # 0x27adb
movq %rax, -0x28(%rbp)
movq $0x0, -0x30(%rbp)
movl -0x4(%rbp), %eax
movl %eax, -0x34(%rbp)
movl -0x34(%rbp), %eax
cmpl -0x8(%rbp), %eax
jge 0x123e4
movq -0x18(%rbp), %rax
movq 0x10(%rax), %rax
movslq -0x34(%rbp), %rcx
imulq $0x238, %rcx, %rcx      # imm = 0x238
addq %rcx, %rax
movq %rax, -0x30(%rbp)
movq -0x10(%rbp), %rdi
movq -0x20(%rbp), %rsi
movq -0x30(%rbp), %rax
movsd 0x20(%rax), %xmm0
movq -0x30(%rbp), %rax
movsd 0x28(%rax), %xmm1
movq -0x30(%rbp), %rax
movsd 0x30(%rax), %xmm2
movq -0x30(%rbp), %rax
movsd 0x18(%rax), %xmm3
movq -0x30(%rbp), %rax
movsd 0x80(%rax), %xmm4
movq -0x30(%rbp), %rax
movsd 0x88(%rax), %xmm5
movq -0x30(%rbp), %rax
movsd 0x90(%rax), %xmm6
movq -0x30(%rbp), %rax
movsd 0xb0(%rax), %xmm7
movq -0x30(%rbp), %rax
movsd 0xb8(%rax), %xmm14
movq -0x30(%rbp), %rax
movsd 0xc0(%rax), %xmm13
movq -0x30(%rbp), %rax
movsd 0x1a8(%rax), %xmm12
movq -0x30(%rbp), %rax
movsd 0x1b0(%rax), %xmm11
movq -0x30(%rbp), %rax
movsd 0x1b8(%rax), %xmm10
movq -0x30(%rbp), %rax
movsd 0x1c0(%rax), %xmm9
movq -0x30(%rbp), %rax
movsd 0x1c8(%rax), %xmm8
movq -0x30(%rbp), %rax
movl 0x10(%rax), %edx
movsd %xmm14, (%rsp)
movsd %xmm13, 0x8(%rsp)
movsd %xmm12, 0x10(%rsp)
movsd %xmm11, 0x18(%rsp)
movsd %xmm10, 0x20(%rsp)
movsd %xmm9, 0x28(%rsp)
movsd %xmm8, 0x30(%rsp)
movb $0x8, %al
callq 0x2140
movq -0x10(%rbp), %rdi
movq -0x28(%rbp), %rsi
movq -0x30(%rbp), %rax
movsd 0xe0(%rax), %xmm0
movq -0x30(%rbp), %rax
movsd 0xe8(%rax), %xmm1
movq -0x30(%rbp), %rax
movsd 0xf0(%rax), %xmm2
movq -0x30(%rbp), %rax
movsd 0x128(%rax), %xmm3
movq -0x30(%rbp), %rax
movsd 0x130(%rax), %xmm4
movq -0x30(%rbp), %rax
movsd 0x138(%rax), %xmm5
movq -0x30(%rbp), %rax
movsd 0xf8(%rax), %xmm6
movq -0x30(%rbp), %rax
movsd 0x100(%rax), %xmm7
movq -0x30(%rbp), %rax
movsd 0x108(%rax), %xmm15
movq -0x30(%rbp), %rax
movsd 0x110(%rax), %xmm14
movq -0x30(%rbp), %rax
movsd 0x118(%rax), %xmm13
movq -0x30(%rbp), %rax
movsd 0x120(%rax), %xmm12
movq -0x30(%rbp), %rax
movsd 0x140(%rax), %xmm11
movq -0x30(%rbp), %rax
movsd 0x148(%rax), %xmm10
movq -0x30(%rbp), %rax
movsd 0x150(%rax), %xmm9
movq -0x30(%rbp), %rax
movsd 0x1a0(%rax), %xmm8
movsd %xmm15, (%rsp)
movsd %xmm14, 0x8(%rsp)
movsd %xmm13, 0x10(%rsp)
movsd %xmm12, 0x18(%rsp)
movsd %xmm11, 0x20(%rsp)
movsd %xmm10, 0x28(%rsp)
movsd %xmm9, 0x30(%rsp)
movsd %xmm8, 0x38(%rsp)
movb $0x8, %al
callq 0x2140
movl -0x34(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x34(%rbp)
jmp 0x121ad
addq $0x80, %rsp
popq %rbp
retq
nopl (%rax)