// File: /workspace/github_c_makefile_star2_O0/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
movq %rsp, %rbp
subq $0x30, %rsp
movq %rdi, -0x8(%rbp)
movl %esi, -0xc(%rbp)
movq %rdx, -0x18(%rbp)
movl %ecx, -0x1c(%rbp)
movq -0x8(%rbp), %rdi
callq 0xaef10
movl -0xc(%rbp), %eax
movq %rax, -0x28(%rbp)
subq $0x5, %rax
ja 0xb08d8
movq -0x28(%rbp), %rax
leaq 0x3bf11(%rip), %rcx     # 0xec61c
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movl $0x0, -0x20(%rbp)
movl -0x20(%rbp), %eax
movl -0x1c(%rbp), %ecx
subl $0x1, %ecx
cmpl %ecx, %eax
jge 0xb0759
movq -0x8(%rbp), %rdi
movq -0x18(%rbp), %rax
movslq -0x20(%rbp), %rcx
movl (%rax,%rcx,4), %edx
leaq 0x3c349(%rip), %rsi     # 0xeca87
movb $0x0, %al
callq 0x4280
movq -0x8(%rbp), %rdi
callq 0xaef10
movl -0x20(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x20(%rbp)
jmp 0xb071b
movq -0x8(%rbp), %rdi
movq -0x18(%rbp), %rax
movslq -0x20(%rbp), %rcx
movl (%rax,%rcx,4), %edx
leaq 0x3c322(%rip), %rsi     # 0xeca91
movb $0x0, %al
callq 0x4280
jmp 0xb08d8
movq -0x8(%rbp), %rdi
movq -0x18(%rbp), %rax
movl (%rax), %edx
leaq 0x3cad9(%rip), %rsi     # 0xed265
movb $0x0, %al
callq 0x4280
movl $0x1, -0x20(%rbp)
movl -0x20(%rbp), %eax
cmpl -0x1c(%rbp), %eax
jge 0xb07ca
movq -0x8(%rbp), %rdi
movq -0x18(%rbp), %rax
movslq -0x20(%rbp), %rcx
movl (%rax,%rcx,4), %edx
leaq 0x3c2e2(%rip), %rsi     # 0xeca9a
movb $0x0, %al
callq 0x4280
movl -0x20(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x20(%rbp)
jmp 0xb079a
movq -0x8(%rbp), %rdi
leaq 0x33b7d(%rip), %rsi     # 0xe4352
movb $0x0, %al
callq 0x4280
jmp 0xb08d8
movq -0x8(%rbp), %rdi
leaq 0x3c2b3(%rip), %rsi     # 0xeca9f
movb $0x0, %al
callq 0x4280
cmpl $0x1, -0x1c(%rbp)
jne 0xb0813
movq -0x8(%rbp), %rdi
movq -0x18(%rbp), %rax
movl (%rax), %edx
leaq 0x3c432(%rip), %rsi     # 0xecc3c
movb $0x0, %al
callq 0x4280
jmp 0xb0874
movq -0x8(%rbp), %rdi
movq -0x18(%rbp), %rax
movl (%rax), %edx
leaq 0x3c281(%rip), %rsi     # 0xecaa5
movb $0x0, %al
callq 0x4280
movl $0x1, -0x20(%rbp)
movl -0x20(%rbp), %eax
cmpl -0x1c(%rbp), %eax
jge 0xb0862
movq -0x8(%rbp), %rdi
movq -0x18(%rbp), %rax
movslq -0x20(%rbp), %rcx
movl (%rax,%rcx,4), %edx
leaq 0x3c24a(%rip), %rsi     # 0xeca9a
movb $0x0, %al
callq 0x4280
movl -0x20(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x20(%rbp)
jmp 0xb0832
movq -0x8(%rbp), %rdi
leaq 0x3b037(%rip), %rsi     # 0xeb8a4
movb $0x0, %al
callq 0x4280
jmp 0xb08d8
movl $0x0, -0x20(%rbp)
movl -0x20(%rbp), %eax
movl -0x1c(%rbp), %ecx
subl $0x1, %ecx
cmpl %ecx, %eax
jge 0xb08bb
movq -0x8(%rbp), %rdi
movq -0x18(%rbp), %rax
movslq -0x20(%rbp), %rcx
movl (%rax,%rcx,4), %edx
leaq 0x3c00f(%rip), %rsi     # 0xec8af
movb $0x0, %al
callq 0x4280
movq -0x8(%rbp), %rdi
callq 0xaef10
movl -0x20(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x20(%rbp)
jmp 0xb087d
movq -0x8(%rbp), %rdi
movq -0x18(%rbp), %rax
movslq -0x20(%rbp), %rcx
movl (%rax,%rcx,4), %edx
leaq 0x3bfde(%rip), %rsi     # 0xec8af
movb $0x0, %al
callq 0x4280
addq $0x30, %rsp
popq %rbp
retq
nop