LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_c_makefile_star2_O3/mohuangrui[P]ArtraCFD/commons.c
// Function: ShowInfo
void ShowInfo(const char *fmt, ...)
{
    va_list args;
    va_start(args, fmt);
    if (0 == strcmp(fmt, "Session")) {
        fprintf(stdout, "************************************************************\n");
    } else {
        vfprintf(stdout, fmt, args);
    }
    va_end(args);
    return;
}

// Assembly:
pushq %rbx
subq $0xd0, %rsp
movq %rdi, %rbx
leaq 0x20(%rsp), %rdi
movq %rsi, 0x8(%rdi)
movq %rdx, 0x10(%rdi)
movq %rcx, 0x18(%rdi)
movq %r8, 0x20(%rdi)
movq %r9, 0x28(%rdi)
testb %al, %al
je 0x8e74
movaps %xmm0, 0x50(%rsp)
movaps %xmm1, 0x60(%rsp)
movaps %xmm2, 0x70(%rsp)
movaps %xmm3, 0x80(%rsp)
movaps %xmm4, 0x90(%rsp)
movaps %xmm5, 0xa0(%rsp)
movaps %xmm6, 0xb0(%rsp)
movaps %xmm7, 0xc0(%rsp)
movq %rdi, 0x10(%rsp)
leaq 0xe0(%rsp), %rax
movq %rax, 0x8(%rsp)
movabsq $0x3000000008, %rax     # imm = 0x3000000008
movq %rax, (%rsp)
leaq 0x1048a(%rip), %rsi     # 0x19325
movq %rbx, %rdi
callq 0x2140
movq 0x1b126(%rip), %rcx     # 0x23fd0
movq (%rcx), %rcx
testl %eax, %eax
je 0x8ec1
movq %rsp, %rdx
movq %rcx, %rdi
movq %rbx, %rsi
callq 0x21c0
jmp 0x8ed7
leaq 0x137f0(%rip), %rdi     # 0x1c6b8
movl $0x3d, %esi
movl $0x1, %edx
callq 0x2200
addq $0xd0, %rsp
popq %rbx
retq
// File: /workspace/github_c_makefile_star2_O3/mohuangrui[P]ArtraCFD/commons.c
// Function: AssignStorage
void *AssignStorage(size_t size)
{
    void *pointer = malloc(size);
    if (NULL == pointer) {
        ShowError("memory allocation failed");
    }
    memset(pointer, 0, size);
    return pointer;
}

// Assembly:
pushq %rax
movq %rdi, %rsi
movl $0x1, %edi
callq 0x2130
testq %rax, %rax
je 0x8ef5
popq %rcx
retq
leaq 0x137fa(%rip), %rdi     # 0x1c6f6
xorl %eax, %eax
callq 0x8d7e
// File: /workspace/github_c_makefile_star2_O3/mohuangrui[P]ArtraCFD/commons.c
// Function: ReadInLine
void ReadInLine(FILE *fp, const char *line)
{
    String str = {'\0'}; /* store the current read line */
    while (NULL != fgets(str, sizeof str, fp)) {
        ParseCommand(str);
        if (0 == strncmp(str, line, sizeof str)) {
            fseek(fp, 0, SEEK_CUR); /* update offset */
            break;
        }
    }
    return;
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0xd0, %rsp
movq %rsi, %r14
movq %rdi, %rbx
movq %rsp, %r15
movl $0xc8, %edx
movq %r15, %rdi
xorl %esi, %esi
callq 0x20d0
movq %r15, %rdi
movl $0xc8, %esi
movq %rbx, %rdx
callq 0x2120
testq %rax, %rax
je 0x8f71
movq %r15, %rdi
callq 0x8c2c
movl $0xc8, %edx
movq %r15, %rdi
movq %r14, %rsi
callq 0x2050
testl %eax, %eax
jne 0x8f31
movq %rbx, %rdi
xorl %esi, %esi
movl $0x1, %edx
callq 0x2190
addq $0xd0, %rsp
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O3/mohuangrui[P]ArtraCFD/commons.c
// Function: WriteToLine
void WriteToLine(FILE *fp, const char *line)
{
    String str = {'\0'}; /* store the current read line */
    fpos_t pos; /* store position indicator */
    /* find the offset */
    fgetpos(fp, &pos);
    while (NULL != fgets(str, sizeof str, fp)) {
        ParseCommand(str);
        if (0 == strncmp(str, line, sizeof str)) {
            fsetpos(fp, &pos); /* redirect to the target line */
            break;
        }
        fgetpos(fp, &pos);
    }
    return;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0xd8, %rsp
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x10(%rsp), %r15
movl $0xc8, %edx
movq %r15, %rdi
xorl %esi, %esi
callq 0x20d0
movq %rsp, %rsi
movq %rbx, %rdi
callq 0x20a0
movq %r15, %rdi
movl $0xc8, %esi
movq %rbx, %rdx
callq 0x2120
testq %rax, %rax
je 0x9017
leaq 0x10(%rsp), %r15
movq %rsp, %r12
movq %r15, %rdi
callq 0x8c2c
movl $0xc8, %edx
movq %r15, %rdi
movq %r14, %rsi
callq 0x2050
testl %eax, %eax
je 0x900c
movq %rbx, %rdi
movq %r12, %rsi
callq 0x20a0
movq %r15, %rdi
movl $0xc8, %esi
movq %rbx, %rdx
callq 0x2120
testq %rax, %rax
jne 0x8fce
jmp 0x9017
movq %rsp, %rsi
movq %rbx, %rdi
callq 0x21e0
addq $0xd8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O3/mohuangrui[P]ArtraCFD/commons.c
// Function: Fopen
FILE *Fopen(const char *fname, const char *mode)
{
    FILE *fp = fopen(fname, mode);
    if (NULL == fp) {
        ShowError("failed to open file: %s, mode: %s", fname, mode);
    }
    return fp;
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq %rdi, %r14
callq 0x21b0
testq %rax, %rax
je 0x9042
addq $0x8, %rsp
popq %rbx
popq %r14
retq
leaq 0x136c6(%rip), %rdi     # 0x1c70f
movq %r14, %rsi
movq %rbx, %rdx
xorl %eax, %eax
callq 0x8d7e
// File: /workspace/github_c_makefile_star2_O3/mohuangrui[P]ArtraCFD/commons.c
// Function: Fscanf
void Fscanf(FILE *stream, const int n, const char *fmt, ...)
{
    va_list args;
    va_start(args, fmt);
    if ((n != vfscanf(stream, fmt, args)) && (0 < n)) {
        ShowError("vfscanf failed: n: %d, fmt: %s", n, fmt);
    }
    va_end(args);
    return;
}

// Assembly:
pushq %rbp
pushq %rbx
subq $0xd8, %rsp
movq %rdx, %rbx
movl %esi, %ebp
leaq 0x20(%rsp), %rsi
movq %rcx, 0x18(%rsi)
movq %r8, 0x20(%rsi)
movq %r9, 0x28(%rsi)
testb %al, %al
je 0x90e0
movaps %xmm0, 0x50(%rsp)
movaps %xmm1, 0x60(%rsp)
movaps %xmm2, 0x70(%rsp)
movaps %xmm3, 0x80(%rsp)
movaps %xmm4, 0x90(%rsp)
movaps %xmm5, 0xa0(%rsp)
movaps %xmm6, 0xb0(%rsp)
movaps %xmm7, 0xc0(%rsp)
movq %rsp, %rdx
movq %rsi, 0x10(%rdx)
leaq 0xf0(%rsp), %rax
movq %rax, 0x8(%rdx)
movabsq $0x3000000018, %rax     # imm = 0x3000000018
movq %rax, (%rdx)
movq %rbx, %rsi
callq 0x2090
testl %ebp, %ebp
jle 0x9110
cmpl %ebp, %eax
jne 0x911a
addq $0xd8, %rsp
popq %rbx
popq %rbp
retq
leaq 0x1362e(%rip), %rdi     # 0x1c74f
movl %ebp, %esi
movq %rbx, %rdx
xorl %eax, %eax
callq 0x8d7e
// File: /workspace/github_c_makefile_star2_O3/mohuangrui[P]ArtraCFD/commons.c
// Function: Sscanf
void Sscanf(const char *str, const int n, const char *fmt, ...)
{
    va_list args;
    va_start(args, fmt);
    if ((n != vsscanf(str, fmt, args)) && (0 < n)) {
        ShowError("vsscanf failed: str: %s, fmt: %s", str, fmt);
    }
    va_end(args);
    return;
}

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
subq $0xd0, %rsp
movq %rdx, %rbx
movl %esi, %ebp
movq %rdi, %r14
leaq 0x20(%rsp), %rsi
movq %rcx, 0x18(%rsi)
movq %r8, 0x20(%rsi)
movq %r9, 0x28(%rsi)
testb %al, %al
je 0x918c
movaps %xmm0, 0x50(%rsp)
movaps %xmm1, 0x60(%rsp)
movaps %xmm2, 0x70(%rsp)
movaps %xmm3, 0x80(%rsp)
movaps %xmm4, 0x90(%rsp)
movaps %xmm5, 0xa0(%rsp)
movaps %xmm6, 0xb0(%rsp)
movaps %xmm7, 0xc0(%rsp)
movq %rsp, %rdx
movq %rsi, 0x10(%rdx)
leaq 0xf0(%rsp), %rax
movq %rax, 0x8(%rdx)
movabsq $0x3000000018, %rax     # imm = 0x3000000018
movq %rax, (%rdx)
movq %rbx, %rsi
callq 0x2180
testl %ebp, %ebp
jle 0x91bc
cmpl %ebp, %eax
jne 0x91c8
addq $0xd0, %rsp
popq %rbx
popq %r14
popq %rbp
retq
leaq 0x1359f(%rip), %rdi     # 0x1c76e
movq %r14, %rsi
movq %rbx, %rdx
xorl %eax, %eax
callq 0x8d7e
// File: /workspace/github_c_makefile_star2_O3/mohuangrui[P]ArtraCFD/commons.c
// Function: Sread
void Sread(FILE *stream, const int n, const char *fmt, ...)
{
    String str = {'\0'};
    if (NULL == fgets(str, sizeof str, stream))
    {
        ShowWarning("fgets return a NULL");
    }
    if (0 == n) {
        return;
    }
    va_list args;
    va_start(args, fmt);
    if ((n != vsscanf(str, fmt, args)) && (0 < n)) {
        ShowError("vsscanf failed: str: %s, fmt: %s", str, fmt);
    }
    va_end(args);
    return;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
subq $0x198, %rsp            # imm = 0x198
movq %rdx, %rbx
movl %esi, %ebp
movq %rdi, %r14
movq %rcx, 0x38(%rsp)
movq %r8, 0x40(%rsp)
movq %r9, 0x48(%rsp)
testb %al, %al
je 0x923b
movaps %xmm0, 0x50(%rsp)
movaps %xmm1, 0x60(%rsp)
movaps %xmm2, 0x70(%rsp)
movaps %xmm3, 0x80(%rsp)
movaps %xmm4, 0x90(%rsp)
movaps %xmm5, 0xa0(%rsp)
movaps %xmm6, 0xb0(%rsp)
movaps %xmm7, 0xc0(%rsp)
leaq 0xd0(%rsp), %r15
movl $0xc8, %edx
movq %r15, %rdi
xorl %esi, %esi
callq 0x20d0
movq %r15, %rdi
movl $0xc8, %esi
movq %r14, %rdx
callq 0x2120
testq %rax, %rax
jne 0x9275
leaq 0x13521(%rip), %rdi     # 0x1c78f
xorl %eax, %eax
callq 0x8ce5
testl %ebp, %ebp
je 0x92b6
leaq 0x20(%rsp), %rax
movq %rsp, %rdx
movq %rax, 0x10(%rdx)
leaq 0x1c0(%rsp), %rax
movq %rax, 0x8(%rdx)
movabsq $0x3000000018, %rax     # imm = 0x3000000018
movq %rax, (%rdx)
leaq 0xd0(%rsp), %rdi
movq %rbx, %rsi
callq 0x2180
testl %ebp, %ebp
jle 0x92b6
cmpl %ebp, %eax
jne 0x92c4
addq $0x198, %rsp            # imm = 0x198
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
leaq 0x134a3(%rip), %rdi     # 0x1c76e
leaq 0xd0(%rsp), %rsi
movq %rbx, %rdx
xorl %eax, %eax
callq 0x8d7e
nopl (%rax)
// File: /workspace/github_c_makefile_star2_O3/mohuangrui[P]ArtraCFD/computational_geometry.c
// Function: ConvertPolyhedron
void ConvertPolyhedron(Polyhedron *poly)
{
    /* allocate memory, assume over-estimated vertex and edge */
    AllocatePolyhedronMemory(POLYN * poly->faceN, POLYN * poly->faceN, poly->faceN, poly);
    /* convert representation */
    for (int n = 0; n < poly->faceN; ++n) {
        poly->f[n][0] = AddVertex(poly->facet[n].v0, poly);
        poly->f[n][1] = AddVertex(poly->facet[n].v1, poly);
        poly->f[n][2] = AddVertex(poly->facet[n].v2, poly);
        AddEdge(poly->f[n][0], poly->f[n][1], n, poly);
        AddEdge(poly->f[n][1], poly->f[n][2], n, poly);
        AddEdge(poly->f[n][2], poly->f[n][0], n, poly);
    }
    QuickSortEdge(poly->edgeN, poly->e);
    /* adjust the memory allocation */
    RetrieveStorage(poly->facet);
    poly->facet = NULL;
    poly->e = realloc(poly->e, poly->edgeN * sizeof(*poly->e));
    poly->Ne = realloc(poly->Ne, poly->edgeN * sizeof(*poly->Ne));
    poly->v = realloc(poly->v, poly->vertN * sizeof(*poly->v));
    poly->Nv = realloc(poly->Nv, poly->vertN * sizeof(*poly->Nv));
    return;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
movl (%rdi), %edx
leal (%rdx,%rdx,2), %edi
movl %edi, %esi
movq %rbx, %rcx
callq 0x947e
cmpl $0x0, (%rbx)
jle 0x93d4
movl $0x48, %r15d
xorl %r12d, %r12d
xorl %r14d, %r14d
movq 0x230(%rbx), %rax
leaq (%rax,%r15), %rdi
addq $-0x30, %rdi
movq %rbx, %rsi
callq 0x951a
movq 0x200(%rbx), %rcx
movl %eax, (%rcx,%r12)
movq 0x230(%rbx), %rax
leaq (%rax,%r15), %rdi
addq $-0x18, %rdi
movq %rbx, %rsi
callq 0x951a
movq 0x200(%rbx), %rcx
movl %eax, 0x4(%rcx,%r12)
movq 0x230(%rbx), %rdi
addq %r15, %rdi
movq %rbx, %rsi
callq 0x951a
movq 0x200(%rbx), %rcx
movl %eax, 0x8(%rcx,%r12)
movl (%rcx,%r12), %edi
movl 0x4(%rcx,%r12), %esi
movl %r14d, %edx
movq %rbx, %rcx
callq 0x9583
movq 0x200(%rbx), %rax
movl 0x4(%rax,%r12), %edi
movl 0x8(%rax,%r12), %esi
movl %r14d, %edx
movq %rbx, %rcx
callq 0x9583
movq 0x200(%rbx), %rax
movl (%rax,%r12), %esi
movl 0x8(%rax,%r12), %edi
movl %r14d, %edx
movq %rbx, %rcx
callq 0x9583
incq %r14
movslq (%rbx), %rax
addq $0xc, %r12
addq $0x60, %r15
cmpq %rax, %r14
jl 0x930f
movl 0x4(%rbx), %edi
movq 0x210(%rbx), %rsi
callq 0x95e9
movq 0x230(%rbx), %rdi
callq 0x8f03
movq $0x0, 0x230(%rbx)
movq 0x210(%rbx), %rdi
movslq 0x4(%rbx), %rsi
shlq $0x4, %rsi
callq 0x21a0
movq %rax, 0x210(%rbx)
movq 0x218(%rbx), %rdi
movslq 0x4(%rbx), %rax
shlq $0x3, %rax
leaq (%rax,%rax,2), %rsi
callq 0x21a0
movq %rax, 0x218(%rbx)
movq 0x220(%rbx), %rdi
movslq 0x8(%rbx), %rax
shlq $0x3, %rax
leaq (%rax,%rax,2), %rsi
callq 0x21a0
movq %rax, 0x220(%rbx)
movq 0x228(%rbx), %rdi
movslq 0x8(%rbx), %rax
shlq $0x3, %rax
leaq (%rax,%rax,2), %rsi
callq 0x21a0
movq %rax, 0x228(%rbx)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O3/mohuangrui[P]ArtraCFD/computational_geometry.c
// Function: AddVertex
static int AddVertex(const Real v[restrict], Polyhedron *poly)
{
    /* search the vertex list, if already exist, return the index */
    for (int n = 0; n < poly->vertN; ++n) {
        if ((v[X] == poly->v[n][X]) && (v[Y] == poly->v[n][Y]) &&
                (v[Z] == poly->v[n][Z])) {
            return n;
        }
    }
    /* otherwise, add to the vertex list */
    poly->v[poly->vertN][X] = v[X];
    poly->v[poly->vertN][Y] = v[Y];
    poly->v[poly->vertN][Z] = v[Z];
    ++(poly->vertN); /* increase pointer */
    return (poly->vertN - 1); /* return index */
}

// Assembly:
movslq 0x8(%rsi), %rax
movsd (%rdi), %xmm0
movq 0x220(%rsi), %rcx
testq %rax, %rax
jle 0x9567
leaq 0x10(%rcx), %r8
xorl %edx, %edx
ucomisd -0x10(%r8), %xmm0
jne 0x955b
jp 0x955b
movsd 0x8(%rdi), %xmm1
ucomisd -0x8(%r8), %xmm1
jne 0x955b
jp 0x955b
movsd 0x10(%rdi), %xmm1
ucomisd (%r8), %xmm1
jne 0x955b
jnp 0x9580
incq %rdx
addq $0x18, %r8
cmpq %rdx, %rax
jne 0x9534
leaq (%rax,%rax,2), %rdx
movsd %xmm0, (%rcx,%rdx,8)
movups 0x8(%rdi), %xmm0
movups %xmm0, 0x8(%rcx,%rdx,8)
leal 0x1(%rax), %ecx
movl %ecx, 0x8(%rsi)
retq
movl %edx, %eax
retq
// File: /workspace/github_c_makefile_star2_O3/mohuangrui[P]ArtraCFD/computational_geometry.c
// Function: AddEdge
void AddEdge(const int v0, const int v1, const int f, Polyhedron *poly)
{
    /* insert by a predefined order */
    const int vMax = (v0 > v1) ? v0 : v1;
    const int vMin = (v0 > v1) ? v1 : v0;
    /* search the edge list, if already exist, add the second face index */
    for (int n = 0; n < poly->edgeN; ++n) {
        if ((vMax == poly->e[n][0]) && (vMin == poly->e[n][1])) {
            poly->e[n][3] = f;
            return;
        }
    }
    /* otherwise, add to the edge list */
    poly->e[poly->edgeN][0] = vMax;
    poly->e[poly->edgeN][1] = vMin;
    poly->e[poly->edgeN][2] = f;
    ++(poly->edgeN); /* increase pointer */
    return;
}

// Assembly:
cmpl %esi, %edi
movl %esi, %r8d
cmovgl %edi, %r8d
cmovll %edi, %esi
movslq 0x4(%rcx), %rdi
movq 0x210(%rcx), %rax
testq %rdi, %rdi
jle 0x95bf
movq %rdi, %r9
shlq $0x4, %r9
xorl %r10d, %r10d
cmpl (%rax,%r10), %r8d
jne 0x95b6
cmpl 0x4(%rax,%r10), %esi
je 0x95e3
addq $0x10, %r10
cmpq %r10, %r9
jne 0x95a9
shlq $0x4, %rdi
movl %r8d, (%rax,%rdi)
movslq 0x4(%rcx), %rdi
shlq $0x4, %rdi
movl %esi, 0x4(%rax,%rdi)
movslq 0x4(%rcx), %rsi
shlq $0x4, %rsi
movl %edx, 0x8(%rax,%rsi)
incl 0x4(%rcx)
retq
movl %edx, 0xc(%rax,%r10)
retq
// File: /workspace/github_c_makefile_star2_O3/mohuangrui[P]ArtraCFD/computational_geometry.c
// Function: QuickSortEdge
void QuickSortEdge(const int n, int e[restrict][EVF])
{
    if (2 > n) {
        return;
    }
    int v[2] = {0};
    int temp = 0;
    int i = 0;
    int j = 0;
    v[0] = e[n/2][0];
    v[1] = e[n/2][1];
    for (i = 0, j = n - 1;; ++i, --j) {
        while ((e[i][0] < v[0]) || ((e[i][0] == v[0]) && (e[i][1] < v[1]))) {
            ++i;
        }
        while ((e[j][0] > v[0]) || ((e[j][0] == v[0]) && (e[j][1] > v[1]))) {
            --j;
        }
        if (i >= j) {
            break;
        }
        for (int k = 0; k < EVF; ++k) {
            temp = e[i][k];
            e[i][k] = e[j][k];
            e[j][k] = temp;
        }
    }
    QuickSortEdge(i, e);
    QuickSortEdge(n - i, e + i);
    return;
}

// Assembly:
cmpl $0x2, %edi
jl 0x96be
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movl %edi, %ebx
movl %ebx, %ecx
shrl %ecx
shlq $0x4, %rcx
movl (%rsi,%rcx), %eax
movl 0x4(%rsi,%rcx), %ecx
leaq -0x10(%rsi), %rdx
xorl %r14d, %r14d
movl %ebx, %edi
movslq %r14d, %r14
movq %r14, %r8
shlq $0x4, %r8
addq %rsi, %r8
movq %r14, %r9
shlq $0x4, %r9
leaq (%rsi,%r9), %r15
cmpl %eax, (%rsi,%r9)
jl 0x9639
jne 0x9642
cmpl %ecx, 0x4(%r15)
jge 0x9642
incq %r14
addq $0x10, %r8
jmp 0x9620
movslq %edi, %rdi
movq %rdi, %r9
shlq $0x4, %r9
addq %rdx, %r9
decq %rdi
movq %rdi, %r11
shlq $0x4, %r11
leaq (%rsi,%r11), %r10
cmpl %eax, (%rsi,%r11)
jg 0x966b
jne 0x9671
cmpl %ecx, 0x4(%r10)
jle 0x9671
addq $-0x10, %r9
jmp 0x964f
cmpq %rdi, %r14
jge 0x969d
movl $0x4, %r10d
movl (%r8), %r11d
movl (%r9), %ebp
movl %ebp, (%r8)
movl %r11d, (%r9)
addq $0x4, %r9
addq $0x4, %r8
decq %r10
jne 0x967c
incq %r14
jmp 0x9613
movl %r14d, %edi
callq 0x95e9
subl %r14d, %ebx
movq %r15, %rsi
cmpl $0x1, %ebx
jg 0x95fb
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/mohuangrui[P]ArtraCFD/computational_geometry.c
// Function: TransformNormal
static void TransformNormal(const Real matrix[restrict][DIMS],
        const int normalN, Real N[restrict][DIMS])
{
    RealVec tmp = {0.0};
    for (int n = 0; n < normalN; ++n) {
        tmp[X] = N[n][X];
        tmp[Y] = N[n][Y];
        tmp[Z] = N[n][Z];
        N[n][X] = Dot(matrix[X], tmp);
        N[n][Y] = Dot(matrix[Y], tmp);
        N[n][Z] = Dot(matrix[Z], tmp);
        /* normalization is needed if anisotropic transformation happens */
    }
    return;
}

// Assembly:
testl %esi, %esi
jle 0x9d7d
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rdx, %rbx
movq %rdi, %r14
leaq 0x18(%rdi), %rax
movq %rax, 0x8(%rsp)
leaq 0x30(%rdi), %r12
movl %esi, %eax
shlq $0x3, %rax
leaq (%rax,%rax,2), %rbp
xorl %r15d, %r15d
leaq 0x10(%rsp), %r13
movups (%rbx,%r15), %xmm0
movaps %xmm0, 0x10(%rsp)
movsd 0x10(%rbx,%r15), %xmm0
movsd %xmm0, 0x20(%rsp)
movq %r14, %rdi
movq %r13, %rsi
callq 0x7e36
movsd %xmm0, (%rbx,%r15)
movq 0x8(%rsp), %rdi
movq %r13, %rsi
callq 0x7e36
movsd %xmm0, 0x8(%rbx,%r15)
movq %r12, %rdi
movq %r13, %rsi
callq 0x7e36
movsd %xmm0, 0x10(%rbx,%r15)
addq $0x18, %r15
cmpq %r15, %rbp
jne 0x9d18
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/mohuangrui[P]ArtraCFD/computational_geometry.c
// Function: FindEdge
static int FindEdge(const int v0, const int v1, const int n, int e[restrict][EVF])
{
    /* obtain a predefined order */
    const int vMax = (v0 > v1) ? v0 : v1;
    const int vMin = (v0 > v1) ? v1 : v0;
    /* binary search the edge list and return the edge index */
    int i = 0;
    int j = n - 1;
    int k = 0;
    while (i <= j) {
        k = (i + j) / 2;
        if ((vMax == e[k][0]) && (vMin == e[k][1])) {
            return k;
        } else {
            if ((vMax > e[k][0]) || ((vMax == e[k][0]) && (vMin > e[k][1]))) {
                i = k + 1;
            } else {
                j = k - 1;
            }
        }
    }
    /* target was not found */
    ShowError("finding edge failed...");
    return -1;
}

// Assembly:
cmpl %esi, %edi
movl %esi, %r8d
cmovgl %edi, %r8d
cmovll %edi, %esi
testl %edx, %edx
jle 0xb5b5
decl %edx
xorl %edi, %edi
leal (%rdx,%rdi), %eax
shrl %eax
movq %rax, %r9
shlq $0x4, %r9
cmpl (%rcx,%r9), %r8d
jne 0xb5a5
addq %rcx, %r9
cmpl 0x4(%r9), %esi
je 0xb5cd
jle 0xb5ad
incl %eax
movl %eax, %edi
jmp 0xb5b1
decl %eax
movl %eax, %edx
cmpl %edx, %edi
jle 0xb58a
pushq %rax
leaq 0x112bb(%rip), %rdi     # 0x1c878
xorl %eax, %eax
callq 0x8d7e
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
addq $0x8, %rsp
retq
// File: /workspace/github_c_makefile_star2_O3/mohuangrui[P]ArtraCFD/computational_geometry.c
// Function: ComputeGeometricData
void ComputeGeometricData(const Real p[restrict], const int fid, const Polyhedron *poly,
        Real pi[restrict], Real pm[restrict], Real N[restrict])
{
    if (0 >= poly->faceN) { /* analytical polyhedron */
        Real dist = 0.0;
        N[X] = p[X] - poly->O[X];
        N[Y] = p[Y] - poly->O[Y];
        N[Z] = p[Z] - poly->O[Z];
        dist = Norm(N);
        Normalize(DIMS, dist, N);
        dist = poly->r - dist;
        pi[X] = p[X] + dist * N[X];
        pi[Y] = p[Y] + dist * N[Y];
        pi[Z] = p[Z] + dist * N[Z];
    } else { /* triangulated polyhedron */
        ComputeIntersection(p, fid, poly, pi, N);
    }
    pm[X] = pi[X] + pi[X] - p[X];
    pm[Y] = pi[Y] + pi[Y] - p[Y];
    pm[Z] = pi[Z] + pi[Z] - p[Z];
    return;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x20, %rsp
movq %r9, %r15
movq %r8, %rbx
movq %rcx, %r14
movq %rdx, %r12
movq %rdi, %r13
cmpl $0x0, (%rdx)
jle 0xb61c
movq %r13, %rdi
movq %r12, %rdx
movq %r14, %rcx
movq %r15, %r8
callq 0xb1bb
movupd (%r14), %xmm1
movupd (%r13), %xmm3
movsd 0x10(%r14), %xmm0
movsd 0x10(%r13), %xmm2
jmp 0xb6ad
movsd 0x10(%r13), %xmm0
movsd %xmm0, 0x8(%rsp)
subsd 0x30(%r12), %xmm0
movsd %xmm0, 0x10(%r15)
movupd (%r13), %xmm1
movapd %xmm1, 0x10(%rsp)
movupd 0x20(%r12), %xmm0
subpd %xmm0, %xmm1
movupd %xmm1, (%r15)
movq %r15, %rdi
callq 0x7e5b
movsd %xmm0, (%rsp)
movl $0x3, %edi
movq %r15, %rsi
callq 0x8053
movapd 0x10(%rsp), %xmm3
movsd 0x18(%r12), %xmm0
subsd (%rsp), %xmm0
movupd (%r15), %xmm2
movapd %xmm0, %xmm1
unpcklpd %xmm0, %xmm1            # xmm1 = xmm1[0],xmm0[0]
mulpd %xmm2, %xmm1
movsd 0x8(%rsp), %xmm2
addpd %xmm3, %xmm1
movupd %xmm1, (%r14)
mulsd 0x10(%r15), %xmm0
addsd %xmm2, %xmm0
movsd %xmm0, 0x10(%r14)
addpd %xmm1, %xmm1
subpd %xmm3, %xmm1
movupd %xmm1, (%rbx)
addsd %xmm0, %xmm0
subsd %xmm2, %xmm0
movsd %xmm0, 0x10(%rbx)
addq $0x20, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O3/mohuangrui[P]ArtraCFD/data_probe.c
// Function: WriteSurfaceForceData
void WriteSurfaceForceData(const Time *time, const Space *space, const Model *model)
{
    if (0 == time->dataN[PROFC]) {
        return;
    }
    FILE *fp = NULL;
    String fname = {'\0'};
    const Geometry *const geo = &(space->geo);
    const Polyhedron *poly = NULL;
    for (int n = 0; n < geo->totN; ++n) {
        poly = geo->poly + n;
        snprintf(fname, sizeof(fname), "%s%03d.csv", "surface_force_", n + 1);
        fp = Fopen(fname, "a");
        if (0 == time->stepC) { /* initialization step */
            fprintf(fp, "# time, Fpx, Fpy, Fpz, Fvx, Fvy, Fvz, Ttx, Tty, Ttz <model.mid=%d>\n", model->mid);
        }
        fprintf(fp, "%.6g, %.6g, %.6g, %.6g, %.6g, %.6g, %.6g, %.6g, %.6g, %.6g\n",
                time->now, poly->Fp[X], poly->Fp[Y], poly->Fp[Z],
                poly->Fv[X], poly->Fv[Y], poly->Fv[Z],
                poly->Tt[X], poly->Tt[Y], poly->Tt[Z]);
        fclose(fp);
    }
    return;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xe8, %rsp
movq %rdx, 0x18(%rsp)
cmpl $0x0, 0x18(%rdi)
je 0xc87e
movq %rsi, %r14
movq %rdi, %r15
leaq 0x20(%rsp), %rdi
movl $0xc8, %edx
xorl %esi, %esi
callq 0x20d0
cmpl $0x0, 0x8(%r14)
jle 0xc87e
movl $0x198, %r12d           # imm = 0x198
xorl %r13d, %r13d
movq 0x18(%r14), %rbp
incq %r13
movl $0xc8, %esi
leaq 0x20(%rsp), %rbx
movq %rbx, %rdi
leaq 0x100c3(%rip), %rdx     # 0x1c88f
leaq 0x1017d(%rip), %rcx     # 0x1c950
movl %r13d, %r8d
xorl %eax, %eax
callq 0x20b0
movq %rbx, %rdi
leaq 0x100c0(%rip), %rsi     # 0x1c8a7
callq 0x9026
movq %rax, %rbx
cmpl $0x0, 0x8(%r15)
jne 0xc80f
movq 0x18(%rsp), %rax
movl 0x24(%rax), %edx
movq %rbx, %rdi
leaq 0x10157(%rip), %rsi     # 0x1c95f
xorl %eax, %eax
callq 0x2160
movsd 0x48(%r15), %xmm0
movsd -0x40(%rbp,%r12), %xmm1
movsd -0x38(%rbp,%r12), %xmm2
movsd -0x30(%rbp,%r12), %xmm3
movsd -0x28(%rbp,%r12), %xmm4
movsd -0x20(%rbp,%r12), %xmm5
movsd -0x18(%rbp,%r12), %xmm6
movsd -0x10(%rbp,%r12), %xmm7
movups -0x8(%rbp,%r12), %xmm8
movups %xmm8, (%rsp)
movq %rbx, %rdi
leaq 0x101ce(%rip), %rsi     # 0x1ca29
movb $0x8, %al
callq 0x2160
movq %rbx, %rdi
callq 0x2080
movslq 0x8(%r14), %rax
addq $0x238, %r12            # imm = 0x238
cmpq %rax, %r13
jl 0xc7b1
addq $0xe8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/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
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x48, %rsp
movl %esi, %ebp
subl %edi, %ebp
jle 0xca80
movq %rcx, %rbx
movq %rdx, %r14
movslq %edi, %rax
imulq $0x238, %rax, %r13      # imm = 0x238
addq $0x1c8, %r13            # imm = 0x1C8
leaq 0x100d7(%rip), %r12     # 0x1ca03
movq 0x10(%rbx), %r15
movsd -0x1a8(%r15,%r13), %xmm0
movsd -0x1a0(%r15,%r13), %xmm1
movsd -0x198(%r15,%r13), %xmm2
movsd -0x1b0(%r15,%r13), %xmm3
movsd -0x148(%r15,%r13), %xmm4
movsd -0x140(%r15,%r13), %xmm5
movsd -0x138(%r15,%r13), %xmm6
movsd -0x118(%r15,%r13), %xmm7
movups -0x110(%r15,%r13), %xmm8
movups -0x20(%r15,%r13), %xmm9
movups -0x10(%r15,%r13), %xmm10
movsd (%r15,%r13), %xmm11
movl -0x1b8(%r15,%r13), %edx
movsd %xmm11, 0x30(%rsp)
movups %xmm10, 0x20(%rsp)
movups %xmm9, 0x10(%rsp)
movups %xmm8, (%rsp)
movq %r14, %rdi
leaq 0xffde(%rip), %rsi      # 0x1c9a3
movb $0x8, %al
callq 0x2160
movsd -0xe8(%r15,%r13), %xmm0
movsd -0xe0(%r15,%r13), %xmm1
movsd -0xd8(%r15,%r13), %xmm2
movsd -0xa0(%r15,%r13), %xmm3
movsd -0x98(%r15,%r13), %xmm4
movsd -0x90(%r15,%r13), %xmm5
movsd -0xd0(%r15,%r13), %xmm6
movsd -0xc8(%r15,%r13), %xmm7
movups -0xc0(%r15,%r13), %xmm8
movups -0xb0(%r15,%r13), %xmm9
movups -0x88(%r15,%r13), %xmm10
movsd -0x78(%r15,%r13), %xmm11
movsd -0x28(%r15,%r13), %xmm12
movsd %xmm12, 0x38(%rsp)
movsd %xmm11, 0x30(%rsp)
movups %xmm10, 0x20(%rsp)
movups %xmm9, 0x10(%rsp)
movups %xmm8, (%rsp)
movq %r14, %rdi
movq %r12, %rsi
movb $0x8, %al
callq 0x2160
addq $0x238, %r13            # imm = 0x238
decl %ebp
jne 0xc92c
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/mohuangrui[P]ArtraCFD/data_stream.c
// Function: WriteSpaceData
static void WriteSpaceData(const Time *time, const Space *space, const Model *model)
{
    WriteFieldData(time, space, model);
    WriteGeometryData(time, &(space->geo));
    WriteStateData(time);
    return;
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movslq 0x34(%rdi), %rax
leaq 0x16fc2(%rip), %rcx     # 0x23d60
callq *(%rcx,%rax,8)
cmpl $0x0, 0x8(%r14)
je 0xcdc0
addq $0x8, %r14
movslq 0x34(%rbx), %rax
leaq 0x16fb9(%rip), %rcx     # 0x23d70
movq %rbx, %rdi
movq %r14, %rsi
callq *(%rcx,%rax,8)
leaq 0xfd3b(%rip), %rdi      # 0x1cb02
leaq 0xef5a(%rip), %rsi      # 0x1bd28
callq 0x9026
movq %rax, %r14
leaq 0xca99(%rip), %rdi      # 0x19876
movl $0x50, %esi
movl $0x1, %edx
movq %rax, %rcx
callq 0x2200
movsd 0x48(%rbx), %xmm0
movl $0x1, %edx
ucomisd 0x40(%rbx), %xmm0
jne 0xce02
jnp 0xce0d
movl 0x8(%rbx), %eax
xorl %edx, %edx
cmpl 0x4(%rbx), %eax
sete %dl
leaq 0xfcfb(%rip), %rsi      # 0x1cb0f
movq %r14, %rdi
xorl %eax, %eax
callq 0x2160
movl 0x38(%rbx), %edx
leaq 0xfd04(%rip), %rsi      # 0x1cb2c
movq %r14, %rdi
xorl %eax, %eax
callq 0x2160
leaq 0xca3d(%rip), %rdi      # 0x19876
movl $0x50, %esi
movl $0x1, %edx
movq %r14, %rcx
callq 0x2200
movq %r14, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x2080
nop
// File: /workspace/github_c_makefile_star2_O3/mohuangrui[P]ArtraCFD/ensight_reader.c
// Function: ReadPolyState
static void ReadPolyState(const int pm, const int pn, Geometry *const geo, EnSet *enSet)
{
    snprintf(enSet->fname, sizeof(EnStr), "%s.state", enSet->bname);
    FILE *fp = Fopen(enSet->fname, "r");
    ReadPolyStateData(pm, pn, fp, geo);
    fclose(fp);
    return;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rdx, %rbx
movl %esi, %ebp
movl %edi, %r14d
leaq 0xa0(%rcx), %r15
addq $0x50, %rcx
leaq 0xe6fe(%rip), %rdx      # 0x1d495
movl $0x50, %esi
movq %r15, %rdi
xorl %eax, %eax
callq 0x20b0
leaq 0xd8f6(%rip), %rsi      # 0x1c6a3
movq %r15, %rdi
callq 0x9026
movq %rax, %r15
movl %r14d, %edi
movl %ebp, %esi
movq %rax, %rdx
movq %rbx, %rcx
callq 0xca8f
movq %r15, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0x2080
nop
// File: /workspace/github_c_makefile_star2_O3/mohuangrui[P]ArtraCFD/ensight_writer.c
// Function: WritePolyState
static void WritePolyState(const int pm, const int pn, const Geometry *const geo, EnSet *enSet)
{
    snprintf(enSet->fname, sizeof(EnStr), "%s.state", enSet->bname);
    FILE *fp = Fopen(enSet->fname, "w");
    WritePolyStateData(pm, pn, fp, geo);
    fclose(fp);
    return;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rdx, %rbx
movl %esi, %ebp
movl %edi, %r14d
leaq 0xa0(%rcx), %r15
addq $0x50, %rcx
leaq 0xcd12(%rip), %rdx      # 0x1d495
movl $0x50, %esi
movq %r15, %rdi
xorl %eax, %eax
callq 0x20b0
leaq 0xb58f(%rip), %rsi      # 0x1bd28
movq %r15, %rdi
callq 0x9026
movq %rax, %r15
movl %r14d, %edi
movl %ebp, %esi
movq %rax, %rdx
movq %rbx, %rcx
callq 0xc8f6
movq %r15, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0x2080
nop
// File: /workspace/github_c_makefile_star2_O3/mohuangrui[P]ArtraCFD/fluid_dynamics.c
// Function: RungeKutta2
static void RungeKutta2(const Real dt, const int s, Space *space, const Model *model)
{
    /* solve U1 = LLLU = 0.0 * Un + 1.0 * LLUn */
    LLLU(dt, 0.0, 1.0, TO, TO, TN, s, space, model);
    TreatBoundary(TN, space, model);
    /* solve U(n+1) = LLLU = 1.0/2.0 * Un + 1.0/2.0 * LLU1 */
    LLLU(dt, 1.0/2.0, 1.0/2.0, TO, TN, TO, s, space, model);
    TreatBoundary(TO, space, model);
    return;
}

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
subq $0x10, %rsp
movq %rdx, %rbx
movq %rsi, %r14
movl %edi, %ebp
movsd %xmm0, 0x8(%rsp)
movsd 0x851d(%rip), %xmm2     # 0x19008
xorps %xmm1, %xmm1
xorl %edi, %edi
movl $0x1, %esi
movl %ebp, %edx
movq %r14, %rcx
movq %rbx, %r8
callq 0x10c0d
movl $0x1, %edi
movq %r14, %rsi
movq %rbx, %rdx
callq 0x237c
movsd 0xbaa6(%rip), %xmm1     # 0x1c5c0
movsd 0x8(%rsp), %xmm0
movaps %xmm1, %xmm2
movl $0x1, %edi
xorl %esi, %esi
movl %ebp, %edx
movq %r14, %rcx
movq %rbx, %r8
callq 0x10c0d
xorl %edi, %edi
movq %r14, %rsi
movq %rbx, %rdx
addq $0x10, %rsp
popq %rbx
popq %r14
popq %rbp
jmp 0x237c
// File: /workspace/github_c_makefile_star2_O3/mohuangrui[P]ArtraCFD/fluid_dynamics.c
// Function: RungeKutta3
static void RungeKutta3(const Real dt, const int s, Space *space, const Model *model)
{
    /* solve U1 = LLLU = 0.0 * Un + 1.0 * LLUn */
    LLLU(dt, 0.0, 1.0, TO, TO, TN, s, space, model);
    TreatBoundary(TN, space, model);
    /* solve U2 = LLLU = 3.0/4.0 * Un + 1.0/4.0 * LLU1 */
    LLLU(dt, 3.0/4.0, 1.0/4.0, TO, TN, TM, s, space, model);
    TreatBoundary(TM, space, model);
    /* solve U(n+1) = LLLU = 1.0/3.0 * Un + 2.0/3.0 * LLU2 */
    LLLU(dt, 1.0/3.0, 2.0/3.0, TO, TM, TO, s, space, model);
    TreatBoundary(TO, space, model);
    return;
}

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
subq $0x10, %rsp
movq %rdx, %rbx
movq %rsi, %r14
movl %edi, %ebp
movsd %xmm0, 0x8(%rsp)
movsd 0x849e(%rip), %xmm2     # 0x19008
xorps %xmm1, %xmm1
xorl %edi, %edi
movl $0x1, %esi
movl %ebp, %edx
movq %r14, %rcx
movq %rbx, %r8
callq 0x10c0d
movl $0x1, %edi
movq %r14, %rsi
movq %rbx, %rdx
callq 0x237c
movsd 0xd56f(%rip), %xmm1     # 0x1e108
movsd 0xbfa7(%rip), %xmm2     # 0x1cb48
movsd 0x8(%rsp), %xmm0
movl $0x1, %edi
movl $0x2, %esi
movl %ebp, %edx
movq %r14, %rcx
movq %rbx, %r8
callq 0x10c0d
movl $0x2, %edi
movq %r14, %rsi
movq %rbx, %rdx
callq 0x237c
movsd 0xd53a(%rip), %xmm1     # 0x1e110
movsd 0xd53a(%rip), %xmm2     # 0x1e118
movsd 0x8(%rsp), %xmm0
movl $0x2, %edi
xorl %esi, %esi
movl %ebp, %edx
movq %r14, %rcx
movq %rbx, %r8
callq 0x10c0d
xorl %edi, %edi
movq %r14, %rsi
movq %rbx, %rdx
addq $0x10, %rsp
popq %rbx
popq %r14
popq %rbp
jmp 0x237c
// File: /workspace/github_c_makefile_star2_O3/mohuangrui[P]ArtraCFD/immersed_boundary.c
// Function: GetInterState
static int GetInterState(const int sid, const int k, const int j, const int i, const int did,
        const int end, const int path[restrict][DIMS], const Node *const node, const Partition *const part)
{
    /* search around the specified node to check interfacial state */
    int idx = 0; /* linear array index math variable */
    int ih = 0, jh = 0, kh = 0; /* neighbouring node */
    int flag = 0; /* control flag */
    for (int n = 0; n < end; ++n) {
        kh = k + path[n][Z];
        jh = j + path[n][Y];
        ih = i + path[n][X];
        if (!InPartBox(kh, jh, ih, part->ns[PIN])) {
            continue;
        }
        idx = IndexNode(kh, jh, ih, part->n[Y], part->n[X]);
        switch (sid) {
            case INTERL:
                if (did != node[idx].did) { /* a heterogeneous node on the path */
                    flag = 1;
                }
                break;
            case INTERG:
                if (did == node[idx].did) { /* a computational node on the path */
                    flag = 1;
                }
                break;
            default:
                break;
        }
        if (1 == flag) { /* return the layer number */
            for (int r = 1; r <= part->gl; ++r) {
                if (part->pathSep[r] > n) {
                    return r;
                }
            }
        }
    }
    return 0;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movl %r8d, 0x8(%rsp)
movl %ecx, 0x14(%rsp)
movl %edx, 0x10(%rsp)
movl %esi, 0xc(%rsp)
movl %edi, 0x4(%rsp)
testl %r9d, %r9d
jle 0x128bb
movq 0x70(%rsp), %rax
addq $0x68, %rax
movq %rax, 0x20(%rsp)
movl %r9d, %eax
movq %rax, 0x18(%rsp)
xorl %r15d, %r15d
xorl %r14d, %r14d
leaq (%r15,%r15,2), %rax
movq 0x60(%rsp), %rcx
movl 0x8(%rcx,%rax,4), %ebx
addl 0xc(%rsp), %ebx
movl 0x4(%rcx,%rax,4), %r12d
addl 0x10(%rsp), %r12d
movl (%rcx,%rax,4), %ebp
addl 0x14(%rsp), %ebp
movl %ebx, %edi
movl %r12d, %esi
movl %ebp, %edx
movq 0x20(%rsp), %rcx
callq 0x7d60
testl %eax, %eax
je 0x128ad
cmpl $0x0, 0x4(%rsp)
sete %r13b
movq 0x70(%rsp), %rax
movl 0xc(%rax), %r8d
movl 0x10(%rax), %ecx
movl %ebx, %edi
movl %r12d, %esi
movl %ebp, %edx
callq 0x7d53
cltq
movq %rax, %rcx
shlq $0x7, %rcx
leaq (%rcx,%rax,8), %rax
movl 0x8(%rsp), %ecx
movq 0x68(%rsp), %rdx
cmpl %ecx, (%rdx,%rax)
sete %al
xorb %r13b, %al
cmpl $0x1, %r14d
sete %cl
orb %al, %cl
xorl %r14d, %r14d
cmpb $0x1, %cl
jne 0x128ad
movq 0x70(%rsp), %rsi
movl 0x24(%rsi), %ecx
movl $0x1, %r14d
testl %ecx, %ecx
jle 0x128ad
xorl %eax, %eax
movslq 0x384(%rsi,%rax,4), %rdx
cmpq %rdx, %r15
jl 0x128bf
incq %rax
cmpq %rax, %rcx
jne 0x12898
incq %r15
cmpq 0x18(%rsp), %r15
jne 0x127fc
xorl %eax, %eax
jmp 0x128c1
incl %eax
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/mohuangrui[P]ArtraCFD/main.c
// Function: main
int main(int argc, char *argv[])
{
    /* declare and initialize variables */
    Control control = {
        .runMode = 'i',
        .proc = {0}};
    Time time = {0};
    Space space = {0};
    Model model = {0};
    /* perform computation */
    EnterProgram(argc, argv, &control, &space);
    Preprocess(&time, &space, &model);
    Solve(&time, &space, &model);
    Postprocess(&time, &space, &model);
    exit(EXIT_SUCCESS);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x548, %rsp            # imm = 0x548
movq %rsi, %r15
movl %edi, %ebp
movups 0xa8db(%rip), %xmm0     # 0x1e3a0
movq %rsp, %r12
movaps %xmm0, (%r12)
xorps %xmm0, %xmm0
leaq 0x10(%rsp), %rbx
movaps %xmm0, 0x50(%rbx)
movaps %xmm0, 0x40(%rbx)
movaps %xmm0, 0x30(%rbx)
movaps %xmm0, 0x20(%rbx)
movaps %xmm0, 0x10(%rbx)
movaps %xmm0, (%rbx)
movq $0x0, 0x60(%rbx)
leaq 0x118(%rsp), %r14
movl $0x430, %edx            # imm = 0x430
movq %r14, %rdi
xorl %esi, %esi
callq 0x20d0
leaq 0x80(%rsp), %r13
movl $0x98, %edx
movq %r13, %rdi
xorl %esi, %esi
callq 0x20d0
movl %ebp, %edi
movq %r15, %rsi
movq %r12, %rdx
movq %r14, %rcx
callq 0x16298
movq %rbx, %rdi
movq %r14, %rsi
movq %r13, %rdx
callq 0x16198
movq %rbx, %rdi
movq %r14, %rsi
movq %r13, %rdx
callq 0x17e44
movq %rbx, %rdi
movq %r14, %rsi
movq %r13, %rdx
callq 0x16050
xorl %edi, %edi
callq 0x21f0
nop
// File: /workspace/github_c_makefile_star2_O3/mohuangrui[P]ArtraCFD/paraview_writer.c
// Function: InitializeTransientCaseFile
static void InitializeTransientCaseFile(PvSet *pvSet)
{
    snprintf(pvSet->fname, sizeof(PvStr), "%s.pvd", pvSet->rname);
    FILE *fp = Fopen(pvSet->fname, "w");
    fprintf(fp, "<?xml version=\"1.0\"?>\n");
    fprintf(fp, "<VTKFile type=\"Collection\" version=\"1.0\" byte_order=\"%s\">\n", pvSet->byteOrder);
    fprintf(fp, "  <Collection>\n");
    fprintf(fp, "  </Collection>\n");
    fprintf(fp, "</VTKFile>\n");
    fclose(fp);
    return;
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %r14
leaq 0xa0(%rdi), %rbx
leaq 0x9abf(%rip), %rdx      # 0x1ed50
movl $0x50, %esi
movq %rbx, %rdi
movq %r14, %rcx
xorl %eax, %eax
callq 0x20b0
leaq 0x6a7e(%rip), %rsi      # 0x1bd28
movq %rbx, %rdi
callq 0x9026
movq %rax, %rbx
leaq 0xa3e4(%rip), %rdi      # 0x1f6a0
movl $0x16, %esi
movl $0x1, %edx
movq %rax, %rcx
callq 0x2200
addq $0x230, %r14            # imm = 0x230
leaq 0xa3db(%rip), %rsi      # 0x1f6b7
movq %rbx, %rdi
movq %r14, %rdx
xorl %eax, %eax
callq 0x2160
leaq 0xa402(%rip), %rdi      # 0x1f6f2
movl $0xf, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x2200
leaq 0xa3f9(%rip), %rdi      # 0x1f702
movl $0x10, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x2200
leaq 0xa3f1(%rip), %rdi      # 0x1f713
movl $0xb, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x2200
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x2080
// File: /workspace/github_c_makefile_star2_O3/mohuangrui[P]ArtraCFD/postprocess.c
// Function: Postprocess
int Postprocess(Time *time, Space *space, Model *model)
{
    ShowInfo("Postprocessing...\n");
    ShowInfo("  releasing memory...\n");
    ReleaseProgramMemory(time, space, model);
    ShowInfo("  computing finished, successfully exit.\n");
    ShowInfo("Session");
    return 0;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdx, %rbx
movq %rsi, %r15
movq %rdi, %r14
leaq 0x9b58(%rip), %rdi      # 0x1fbc3
xorl %eax, %eax
callq 0x8e15
leaq 0x9b5d(%rip), %rdi      # 0x1fbd6
xorl %eax, %eax
callq 0x8e15
movslq 0xc(%r15), %r12
cmpl 0x8(%r15), %r12d
jge 0x160eb
imulq $0x238, %r12, %r13      # imm = 0x238
addq $0x228, %r13            # imm = 0x228
movq 0x18(%r15), %rbp
movq -0x28(%rbp,%r13), %rdi
callq 0x8f03
movq -0x20(%rbp,%r13), %rdi
callq 0x8f03
movq -0x18(%rbp,%r13), %rdi
callq 0x8f03
movq -0x10(%rbp,%r13), %rdi
callq 0x8f03
movq -0x8(%rbp,%r13), %rdi
callq 0x8f03
movq (%rbp,%r13), %rdi
callq 0x8f03
incq %r12
movslq 0x8(%r15), %rax
addq $0x238, %r13            # imm = 0x238
cmpq %rax, %r12
jl 0x16098
movq 0x18(%r15), %rdi
callq 0x8f03
movq 0x20(%r15), %rdi
callq 0x8f03
movq 0x3b8(%r15), %rdi
callq 0x8f03
movq 0x3c0(%r15), %rdi
callq 0x8f03
movq 0x3c8(%r15), %rdi
callq 0x8f03
movq 0x3d8(%r15), %rdi
callq 0x8f03
movq 0x3e0(%r15), %rdi
callq 0x8f03
movq 0x3e8(%r15), %rdi
callq 0x8f03
movq (%r15), %rdi
callq 0x8f03
movq 0x60(%r14), %rdi
callq 0x8f03
movq 0x58(%r14), %rdi
callq 0x8f03
movq 0x90(%rbx), %rdi
callq 0x8f03
leaq 0x9a7b(%rip), %rdi      # 0x1fbed
xorl %eax, %eax
callq 0x8e15
leaq 0x31a5(%rip), %rdi      # 0x19325
xorl %eax, %eax
callq 0x8e15
xorl %eax, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/mohuangrui[P]ArtraCFD/preprocess.c
// Function: Preprocess
int Preprocess(Time *time, Space *space, Model *model)
{
    ShowInfo("Session");
    ShowInfo("Preprocessing...\n");
    ShowInfo("  loading case data...\n");
    LoadCaseData(time, space, model);
    ShowInfo("  computing parameters...\n");
    ComputeParameters(time, space, model);
    ShowInfo("  partitioning domain...\n");
    PartitionDomain(space);
    ShowInfo("  allocating memory...\n");
    AllocateProgramMemory(space, model);
    ShowInfo("Session");
    return 0;
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rdx, %rbx
movq %rsi, %r14
movq %rdi, %r15
leaq 0x3178(%rip), %rdi      # 0x19325
xorl %eax, %eax
callq 0x8e15
leaq 0x9a5c(%rip), %rdi      # 0x1fc17
xorl %eax, %eax
callq 0x8e15
leaq 0x9a60(%rip), %rdi      # 0x1fc29
xorl %eax, %eax
callq 0x8e15
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
callq 0x5518
leaq 0x9a5c(%rip), %rdi      # 0x1fc41
xorl %eax, %eax
callq 0x8e15
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
callq 0x88c8
leaq 0x9a5b(%rip), %rdi      # 0x1fc5c
xorl %eax, %eax
callq 0x8e15
movq %r14, %rdi
callq 0xe138
leaq 0x9a5f(%rip), %rdi      # 0x1fc76
xorl %eax, %eax
callq 0x8e15
movslq 0x34(%r14), %rax
movslq 0x38(%r14), %rcx
imulq %rax, %rcx
movslq 0x3c(%r14), %rax
imulq %rcx, %rax
movq %rax, %rcx
shlq $0x7, %rcx
leaq (%rcx,%rax,8), %rdi
callq 0x8ee0
movq %rax, (%r14)
movslq 0x8(%r14), %rdi
testq %rdi, %rdi
je 0x1626f
shlq $0x4, %rdi
callq 0x8ee0
movq %rax, 0x20(%r14)
movslq 0x8(%r14), %rax
imulq $0x238, %rax, %rdi      # imm = 0x238
callq 0x8ee0
movq %rax, 0x18(%r14)
movl $0x8, %edi
callq 0x8ee0
movq %rax, 0x90(%rbx)
leaq 0x309e(%rip), %rdi      # 0x19325
xorl %eax, %eax
callq 0x8e15
xorl %eax, %eax
popq %rbx
popq %r14
popq %r15
retq
nop
// File: /workspace/github_c_makefile_star2_O3/mohuangrui[P]ArtraCFD/source_term.c
// Function: ComputePhi
void ComputePhi(const int tn, const int k, const int j, const int i,
        const int partn[restrict], const Node *const node,
        const Model *model, Real Phi[restrict])
{
    if (0 == model->sState) {
        memset(Phi, 0, DIMU * sizeof(*Phi));
        return;
    }
    const int idx = IndexNode(k, j, i, partn[Y], partn[X]);
    const Real *restrict U = node[idx].U[tn];
    const RealVec V = {U[1] / U[0], U[2] / U[0], U[3] / U[0]};
    const RealVec fb = {U[0] * model->g[X], U[0] * model->g[Y], U[0] * model->g[Z]};
    Phi[0] = 0.0;
    Phi[1] = fb[X];
    Phi[2] = fb[Y];
    Phi[3] = fb[Z];
    Phi[4] = Dot(fb, V);
    return;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
subq $0x38, %rsp
movq 0x68(%rsp), %r14
movq 0x60(%rsp), %r15
cmpl $0x0, 0x2c(%r15)
je 0x1854a
movq %r9, %rbx
movl %edi, %ebp
movl (%r8), %eax
movl 0x4(%r8), %r8d
movl %esi, %edi
movl %edx, %esi
movl %ecx, %edx
movl %r8d, %ecx
movl %eax, %r8d
callq 0x7d53
cltq
movslq %ebp, %rcx
movq %rax, %rdx
shlq $0x7, %rdx
leaq (%rdx,%rax,8), %rax
addq %rax, %rbx
leaq (%rcx,%rcx,4), %rax
movsd 0x10(%rbx,%rax,8), %xmm0
movupd 0x18(%rbx,%rax,8), %xmm1
movapd %xmm0, %xmm2
unpcklpd %xmm0, %xmm2            # xmm2 = xmm2[0],xmm0[0]
divpd %xmm2, %xmm1
leaq 0x20(%rsp), %rsi
movapd %xmm1, (%rsi)
movsd 0x28(%rbx,%rax,8), %xmm1
divsd %xmm0, %xmm1
movsd %xmm1, 0x10(%rsi)
movupd 0x78(%r15), %xmm1
mulpd %xmm2, %xmm1
movq %rsp, %rdi
movapd %xmm1, (%rdi)
mulsd 0x88(%r15), %xmm0
movsd %xmm0, 0x10(%rdi)
movq $0x0, (%r14)
movupd %xmm1, 0x8(%r14)
movsd %xmm0, 0x18(%r14)
callq 0x7e36
movsd %xmm0, 0x20(%r14)
jmp 0x18561
xorpd %xmm0, %xmm0
movupd %xmm0, 0x10(%r14)
movupd %xmm0, (%r14)
movq $0x0, 0x20(%r14)
addq $0x38, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/mohuangrui[P]ArtraCFD/timer.c
// Function: TockTime
double TockTime(const Timer *tm)
{
    Timer tc; /* store current time at now */
    gettimeofday(&tc, NULL);
    return (double)(tc.tv_sec - tm->tv_sec) +
        (double)(tc.tv_usec - tm->tv_usec) / 1000000.0;
}

// Assembly:
pushq %r14
pushq %rbx
subq $0x18, %rsp
movq %rdi, %rbx
leaq 0x8(%rsp), %r14
movq %r14, %rdi
xorl %esi, %esi
callq 0x20c0
movq (%r14), %rax
movq 0x8(%r14), %rcx
subq (%rbx), %rax
cvtsi2sd %rax, %xmm1
subq 0x8(%rbx), %rcx
cvtsi2sd %rcx, %xmm0
divsd 0x754c(%rip), %xmm0     # 0x200d0
addsd %xmm1, %xmm0
addq $0x18, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O3/mohuangrui[P]ArtraCFD/weno3.c
// Function: WENO3
void WENO3(Real F[restrict][DIMU], Real Fhat[restrict])
{
    Real omega[R]; /* weights */
    Real q[R]; /* q vectors */
    Real IS[R]; /* smoothness measurements */
    Real alpha[R];
    const Real C[R] = {1.0 / 3.0, 2.0 / 3.0};
    const Real epsilon = 1.0e-6;
    for (int r = 0; r < DIMU; ++r) {
        IS[0] = Square(F[CN][r] - F[CN-1][r]);
        IS[1] = Square(F[CN+1][r] - F[CN][r]);
        alpha[0] = C[0] / Square(epsilon + IS[0]);
        alpha[1] = C[1] / Square(epsilon + IS[1]);
        omega[0] = alpha[0] / (alpha[0] + alpha[1]);
        omega[1] = alpha[1] / (alpha[0] + alpha[1]);
        q[0] = (1.0 / 2.0) * (-F[CN-1][r] + 3.0 * F[CN][r]);
        q[1] = (1.0 / 2.0) * (F[CN][r] + F[CN+1][r]);
        Fhat[r] = omega[0] * q[0] + omega[1] * q[1];
    }
    return;
}

// Assembly:
xorl %eax, %eax
movapd 0x7546(%rip), %xmm0     # 0x200e0
movapd 0x754e(%rip), %xmm1     # 0x200f0
movsd 0x7556(%rip), %xmm2     # 0x20100
movsd 0x3a0e(%rip), %xmm3     # 0x1c5c0
movsd (%rdi,%rax,8), %xmm7
movsd 0x28(%rdi,%rax,8), %xmm4
movsd 0x50(%rdi,%rax,8), %xmm5
movapd %xmm4, %xmm6
unpcklpd %xmm5, %xmm6            # xmm6 = xmm6[0],xmm5[0]
movapd %xmm4, %xmm8
mulsd %xmm2, %xmm8
subsd %xmm7, %xmm8
unpcklpd %xmm4, %xmm7            # xmm7 = xmm7[0],xmm4[0]
subpd %xmm7, %xmm6
mulpd %xmm6, %xmm6
addpd %xmm0, %xmm6
mulpd %xmm6, %xmm6
movapd %xmm1, %xmm7
divpd %xmm6, %xmm7
movapd %xmm7, %xmm6
unpckhpd %xmm7, %xmm6            # xmm6 = xmm6[1],xmm7[1]
movapd %xmm7, %xmm9
addsd %xmm6, %xmm9
divsd %xmm9, %xmm7
divsd %xmm9, %xmm6
mulsd %xmm3, %xmm8
mulsd %xmm7, %xmm8
addsd %xmm5, %xmm4
mulsd %xmm3, %xmm4
mulsd %xmm6, %xmm4
addsd %xmm8, %xmm4
movsd %xmm4, (%rsi,%rax,8)
incq %rax
cmpq $0x5, %rax
jne 0x18bb2
retq
// File: /workspace/github_c_makefile_star2_O3/mruby-zest[P]osc-bridge/test/mock-test.c
// Function: print_response
void print_response(const char *osc, void *vv)
{
    char type = rtosc_type(osc, 0);
    //printf("[callback] got a message '%s':%c data=%p...\n", osc, type, v);

    rtosc_arg_t arg = rtosc_argument(osc, 0);

    void *v = *(void**)vv;

    if(type == 'i')
        *(int*)v = arg.i;
    else if(type == 'T')
        *(bool*)v = true;
    else if(type == 'F')
        *(bool*)v = false;
    else if(type == 'f')
        for(rtosc_arg_itr_t itr = rtosc_itr_begin(osc); !rtosc_itr_end(itr);)
            printf("# vec arg %f\n", rtosc_itr_next(&itr).val.f);

    //if(type == 'i')
    //    printf("[callback] value = %d\n", arg.i);
    //else if(type == 'f')
    //    printf("[callback] value = %f\n", arg.f);
    //else if(type == 'T')
    //    printf("[callback] value = true\n");
    //else if(type == 'F')
    //    printf("[callback] value = false\n");
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
subq $0x28, %rsp
movq %rsi, %r14
movq %rdi, %rbx
xorl %esi, %esi
callq 0x66d1
movl %eax, %r15d
movq %rbx, %rdi
xorl %esi, %esi
callq 0x71b6
movq (%r14), %rcx
movzbl %r15b, %edx
cmpl $0x65, %edx
jg 0x83df
cmpl $0x46, %edx
je 0x83ed
cmpl $0x54, %edx
jne 0x844e
movb $0x1, (%rcx)
jmp 0x844e
cmpl $0x66, %edx
je 0x83f2
cmpl $0x69, %edx
jne 0x844e
movl %eax, (%rcx)
jmp 0x844e
movb $0x0, (%rcx)
jmp 0x844e
movq %rbx, %rdi
callq 0x6ef4
movq %rax, -0x28(%rbp)
movq %rdx, -0x20(%rbp)
movq %rax, %rdi
movq %rdx, %rsi
callq 0x719c
testl %eax, %eax
jne 0x844e
leaq -0x40(%rbp), %rbx
leaq -0x28(%rbp), %r14
leaq 0x1a7d(%rip), %r15      # 0x9e9d
movq %rbx, %rdi
movq %r14, %rsi
callq 0x6f5b
xorps %xmm0, %xmm0
cvtss2sd -0x38(%rbp), %xmm0
movq %r15, %rdi
movb $0x1, %al
callq 0x20f0
movq -0x28(%rbp), %rdi
movq -0x20(%rbp), %rsi
callq 0x719c
testl %eax, %eax
je 0x8420
addq $0x28, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq