// File: /workspace/github_c_makefile_star2_O3/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, %ebp
movq %rdx, %r14
movl %esi, %r15d
movq %rdi, %rbx
cmpl $0x0, 0x3345e0(%rip)    # 0x3b21e8
jle 0x7dc26
xorl %r12d, %r12d
movl $0x20, %edi
movq %rbx, %rsi
callq 0x4150
incl %r12d
cmpl 0x3345c4(%rip), %r12d   # 0x3b21e8
jl 0x7dc0d
cmpl $0x5, %r15d
ja 0x7dd59
movl %r15d, %eax
leaq 0x322ba(%rip), %rcx     # 0xafef4
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
cmpl $0x2, %ebp
jl 0x7dc94
decl %ebp
movl %ebp, %r12d
leaq 0x327c3(%rip), %r15     # 0xb0417
xorl %r13d, %r13d
movl (%r14,%r13,4), %edx
movq %rbx, %rdi
movq %r15, %rsi
xorl %eax, %eax
callq 0x42e0
cmpl $0x0, 0x334579(%rip)    # 0x3b21e8
jle 0x7dc8a
xorl %ebp, %ebp
movl $0x20, %edi
movq %rbx, %rsi
callq 0x4150
incl %ebp
cmpl 0x334560(%rip), %ebp    # 0x3b21e8
jl 0x7dc73
incq %r13
cmpq %r12, %r13
jne 0x7dc57
jmp 0x7dc97
xorl %r12d, %r12d
movl (%r14,%r12,4), %edx
leaq 0x3277f(%rip), %rsi     # 0xb0421
jmp 0x7dda0
movl (%r14), %edx
leaq 0x32f44(%rip), %rsi     # 0xb0bf5
movq %rbx, %rdi
xorl %eax, %eax
callq 0x42e0
cmpl $0x2, %ebp
jl 0x7dce9
movl %ebp, %r12d
movl $0x1, %r13d
leaq 0x3275a(%rip), %r15     # 0xb042a
movl (%r14,%r13,4), %edx
movq %rbx, %rdi
movq %r15, %rsi
xorl %eax, %eax
callq 0x42e0
incq %r13
cmpq %r13, %r12
jne 0x7dcd0
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, %ebp
jl 0x7dd92
decl %ebp
movl %ebp, %r12d
leaq 0x32526(%rip), %r15     # 0xb023f
xorl %r13d, %r13d
movl (%r14,%r13,4), %edx
movq %rbx, %rdi
movq %r15, %rsi
xorl %eax, %eax
callq 0x42e0
cmpl $0x0, 0x3344b4(%rip)    # 0x3b21e8
jle 0x7dd4f
xorl %ebp, %ebp
movl $0x20, %edi
movq %rbx, %rsi
callq 0x4150
incl %ebp
cmpl 0x33449b(%rip), %ebp    # 0x3b21e8
jl 0x7dd38
incq %r13
cmpq %r12, %r13
jne 0x7dd1c
jmp 0x7dd95
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x326c0(%rip), %rdi     # 0xb042f
movl $0x5, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x42c0
movl (%r14), %edx
cmpl $0x1, %ebp
jne 0x7ddb8
leaq 0x3283c(%rip), %rsi     # 0xb05cc
jmp 0x7dda0
xorl %r12d, %r12d
movl (%r14,%r12,4), %edx
leaq 0x3249f(%rip), %rsi     # 0xb023f
movq %rbx, %rdi
xorl %eax, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x42e0
leaq 0x32676(%rip), %rsi     # 0xb0435
movq %rbx, %rdi
xorl %eax, %eax
callq 0x42e0
cmpl $0x2, %ebp
jl 0x7ddf7
movl %ebp, %r12d
movl $0x1, %r13d
leaq 0x3264c(%rip), %r15     # 0xb042a
movl (%r14,%r13,4), %edx
movq %rbx, %rdi
movq %r15, %rsi
xorl %eax, %eax
callq 0x42e0
incq %r13
cmpq %r13, %r12
jne 0x7ddde
leaq 0x31396(%rip), %rdi     # 0xaf194
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