// File: /workspace/github_c_makefile_star2_O1/olcaytaner[P]Isell/savecode.c
// Function: code_case
void code_case(FILE* testcodefile, PROGRAMMING_LANGUAGE_TYPE language, int* cases, int casecount)
{
 /*!Last Changed 12.06.2006*/
 int i;
 code_indentation(testcodefile);
 switch (language){
   case C_LANGUAGE      :
   case CPP_LANGUAGE    :
   case JAVA_LANGUAGE   :for (i = 0; i < casecount - 1; i++)
																									 {
                           fprintf(testcodefile, "case %d:\n", cases[i]);
                           code_indentation(testcodefile);
																									 }
                         fprintf(testcodefile, "case %d:", cases[i]);
                         break;
   case PASCAL_LANGUAGE :fprintf(testcodefile, "%d", cases[0]);
                         for (i = 1; i < casecount; i++)
                           fprintf(testcodefile, ", %d", cases[i]);
                         fprintf(testcodefile, ":");
                         break;
   case MATLAB_LANGUAGE :fprintf(testcodefile, "case ");
                         if (casecount == 1)
                           fprintf(testcodefile, "%d,\n", cases[0]);
                         else
                          {
                           fprintf(testcodefile, "{%d", cases[0]);
                           for (i = 1; i < casecount; i++)
                             fprintf(testcodefile, ", %d", cases[i]);
                           fprintf(testcodefile, "}\n");
                          }
                         break;
   case FORTRAN_LANGUAGE:for (i = 0; i < casecount - 1; i++)
																									 {
                           fprintf(testcodefile, "(%d)\n", cases[i]);
																											code_indentation(testcodefile);
																									 }
				                     fprintf(testcodefile, "(%d)\n", cases[i]);
                         break;
 }  
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movl %ecx, %r15d
movq %rdx, %r14
movl %esi, %ebp
movq %rdi, %rbx
cmpl $0x0, 0x332f28(%rip)    # 0x3af1e8
jle 0x7c2de
xorl %r12d, %r12d
movl $0x20, %edi
movq %rbx, %rsi
callq 0x4150
incl %r12d
cmpl 0x332f0c(%rip), %r12d   # 0x3af1e8
jl 0x7c2c5
cmpl $0x5, %ebp
ja 0x7c413
movl %ebp, %eax
leaq 0x30b2c(%rip), %rcx     # 0xace1c
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
cmpl $0x2, %r15d
jl 0x7c34c
decl %r15d
leaq 0x31076(%rip), %r12     # 0xad37f
xorl %r13d, %r13d
movl (%r14,%r13,4), %edx
movq %rbx, %rdi
movq %r12, %rsi
xorl %eax, %eax
callq 0x42e0
cmpl $0x0, 0x332ec4(%rip)    # 0x3af1e8
jle 0x7c33f
xorl %ebp, %ebp
movl $0x20, %edi
movq %rbx, %rsi
callq 0x4150
incl %ebp
cmpl 0x332eab(%rip), %ebp    # 0x3af1e8
jl 0x7c328
incq %r13
cmpq %r15, %r13
jne 0x7c30c
movl %r13d, %eax
jmp 0x7c34e
xorl %eax, %eax
movl (%r14,%rax,4), %edx
leaq 0x31030(%rip), %rsi     # 0xad389
jmp 0x7c45a
movl (%r14), %edx
leaq 0x317f5(%rip), %rsi     # 0xadb5d
movq %rbx, %rdi
xorl %eax, %eax
callq 0x42e0
cmpl $0x2, %r15d
jl 0x7c3a1
movl %r15d, %r12d
movl $0x1, %r13d
leaq 0x3100a(%rip), %r15     # 0xad392
movl (%r14,%r13,4), %edx
movq %rbx, %rdi
movq %r15, %rsi
xorl %eax, %eax
callq 0x42e0
incq %r13
cmpq %r13, %r12
jne 0x7c388
movl $0x3a, %edi
movq %rbx, %rsi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x4150
cmpl $0x2, %r15d
jl 0x7c44d
decl %r15d
leaq 0x30dd7(%rip), %r12     # 0xad1a7
xorl %r13d, %r13d
movl (%r14,%r13,4), %edx
movq %rbx, %rdi
movq %r12, %rsi
xorl %eax, %eax
callq 0x42e0
cmpl $0x0, 0x332dfd(%rip)    # 0x3af1e8
jle 0x7c406
xorl %ebp, %ebp
movl $0x20, %edi
movq %rbx, %rsi
callq 0x4150
incl %ebp
cmpl 0x332de4(%rip), %ebp    # 0x3af1e8
jl 0x7c3ef
incq %r13
cmpq %r15, %r13
jne 0x7c3d3
movl %r13d, %eax
jmp 0x7c44f
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x30f6e(%rip), %rdi     # 0xad397
movl $0x5, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x42c0
movl (%r14), %edx
cmpl $0x1, %r15d
jne 0x7c472
leaq 0x310e9(%rip), %rsi     # 0xad534
jmp 0x7c45a
xorl %eax, %eax
movl (%r14,%rax,4), %edx
leaq 0x30d4d(%rip), %rsi     # 0xad1a7
movq %rbx, %rdi
xorl %eax, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x42e0
leaq 0x30f24(%rip), %rsi     # 0xad39d
movq %rbx, %rdi
xorl %eax, %eax
callq 0x42e0
cmpl $0x2, %r15d
jl 0x7c4b2
movl %r15d, %r12d
movl $0x1, %r13d
leaq 0x30ef9(%rip), %r15     # 0xad392
movl (%r14,%r13,4), %edx
movq %rbx, %rdi
movq %r15, %rsi
xorl %eax, %eax
callq 0x42e0
incq %r13
cmpq %r13, %r12
jne 0x7c499
leaq 0x2fc03(%rip), %rdi     # 0xac0bc
movl $0x2, %esi
movl $0x1, %edx
movq %rbx, %rcx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x42c0