// File: /workspace/github_c_makefile_star2_O0/nh13[P]ksw/src/parasail/tests/test_align.c
// Function: print_array_int
static void print_array_int(
        const char * filename,
        int * array,
        const char * const restrict s1, const int s1Len,
        const char * const restrict s2, const int s2Len,
        parasail_result_t *result)
{
    int i;
    int j;
    FILE *f = NULL;

    f = fopen(filename, "w");
    if (NULL == f) {
        printf("fopen(\"%s\") error: %s\n", filename, strerror(errno));
        exit(-1);
    }
    fprintf(f, "saturated=%d\n", parasail_result_is_saturated(result) ? 1 : 0);
    fprintf(f, " ");
    for (j=0; j<s2Len; ++j) {
        fprintf(f, "%4c", s2[j]);
    }
    fprintf(f, "\n");
    for (i=0; i<s1Len; ++i) {
        fprintf(f, "%c", s1[i]);
        for (j=0; j<s2Len; ++j) {
            fprintf(f, "%4d", array[i*s2Len + j]);
        }
        fprintf(f, "\n");
    }
    fclose(f);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x50, %rsp
movq 0x10(%rbp), %rax
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movl %ecx, -0x1c(%rbp)
movq %r8, -0x28(%rbp)
movl %r9d, -0x2c(%rbp)
movq $0x0, -0x40(%rbp)
movq -0x8(%rbp), %rdi
leaq 0xb35c67(%rip), %rsi    # 0xd295fd
callq 0x1f0190
movq %rax, -0x40(%rbp)
xorl %eax, %eax
cmpq -0x40(%rbp), %rax
jne 0x1f39da
movq -0x8(%rbp), %rax
movq %rax, -0x48(%rbp)
callq 0x1f0030
movl (%rax), %edi
callq 0x1f0070
movq -0x48(%rbp), %rsi
movq %rax, %rdx
leaq 0xb0e0c0(%rip), %rdi    # 0xd01a89
movb $0x0, %al
callq 0x1f0040
movl $0xffffffff, %edi       # imm = 0xFFFFFFFF
callq 0x1f01b0
movq -0x40(%rbp), %rax
movq %rax, -0x50(%rbp)
movq 0x10(%rbp), %rdi
callq 0x1f9d70
movq -0x50(%rbp), %rdi
movl %eax, %ecx
xorl %edx, %edx
movl $0x1, %eax
cmpl $0x0, %ecx
cmovnel %eax, %edx
leaq 0xb0e09b(%rip), %rsi    # 0xd01aa0
movb $0x0, %al
callq 0x1f01f0
movq -0x40(%rbp), %rdi
leaq 0xad9a6e(%rip), %rsi    # 0xccd485
movb $0x0, %al
callq 0x1f01f0
movl $0x0, -0x34(%rbp)
movl -0x34(%rbp), %eax
cmpl -0x2c(%rbp), %eax
jge 0x1f3a56
movq -0x40(%rbp), %rdi
movq -0x28(%rbp), %rax
movslq -0x34(%rbp), %rcx
movsbl (%rax,%rcx), %edx
leaq 0xb0e06a(%rip), %rsi    # 0xd01aae
movb $0x0, %al
callq 0x1f01f0
movl -0x34(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x34(%rbp)
jmp 0x1f3a25
movq -0x40(%rbp), %rdi
leaq 0xb35b87(%rip), %rsi    # 0xd295e8
movb $0x0, %al
callq 0x1f01f0
movl $0x0, -0x30(%rbp)
movl -0x30(%rbp), %eax
cmpl -0x1c(%rbp), %eax
jge 0x1f3af5
movq -0x40(%rbp), %rdi
movq -0x18(%rbp), %rax
movslq -0x30(%rbp), %rcx
movsbl (%rax,%rcx), %edx
leaq 0xb3f12c(%rip), %rsi    # 0xd32bba
movb $0x0, %al
callq 0x1f01f0
movl $0x0, -0x34(%rbp)
movl -0x34(%rbp), %eax
cmpl -0x2c(%rbp), %eax
jge 0x1f3ad5
movq -0x40(%rbp), %rdi
movq -0x10(%rbp), %rax
movl -0x30(%rbp), %ecx
imull -0x2c(%rbp), %ecx
addl -0x34(%rbp), %ecx
movslq %ecx, %rcx
movl (%rax,%rcx,4), %edx
leaq 0xb0dfef(%rip), %rsi    # 0xd01ab2
movb $0x0, %al
callq 0x1f01f0
movl -0x34(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x34(%rbp)
jmp 0x1f3a9c
movq -0x40(%rbp), %rdi
leaq 0xb35b08(%rip), %rsi    # 0xd295e8
movb $0x0, %al
callq 0x1f01f0
movl -0x30(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x30(%rbp)
jmp 0x1f3a6f
movq -0x40(%rbp), %rdi
callq 0x1f0150
addq $0x50, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)