#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int copy_container_to_start_system();
int copy_container_to_target_system();
int copy_dobldobl_container_to_start_system();
int copy_dobldobl_container_to_target_system();
int copy_multprec_container_to_start_system();
int copy_multprec_container_to_target_system();
int copy_quaddobl_container_to_start_system();
int copy_quaddobl_container_to_target_system();
int /*<<< orphan*/ printf(char *, ...);
int read_dobldobl_start_system_from_file(int, char *);
int read_dobldobl_target_system_from_file(int, char *);
int read_multprec_start_system_from_file(int, int, char *);
int read_multprec_target_system_from_file(int, int, char *);
int read_quaddobl_start_system_from_file(int, char *);
int read_quaddobl_target_system_from_file(int, char *);
int read_standard_start_system_from_file(int, char *);
int read_standard_target_system_from_file(int, char *);
int /*<<< orphan*/ scanf(char *, char *);
int solcon_number_of_dobldobl_solutions(int *);
int solcon_number_of_multprec_solutions(int *);
int solcon_number_of_quaddobl_solutions(int *);
int solcon_number_of_standard_solutions(int *);
scalar_t__ strlen(char *);
int write_dobldobl_start_system();
int write_dobldobl_target_system();
int write_multprec_start_system();
int write_multprec_target_system();
int write_quaddobl_start_system();
int write_quaddobl_target_system();
int write_standard_start_system();
int write_standard_target_system();
int named_input_files(void) {
  int n, fail, len;
  char inputfile[80];
  int mode = 7;
  if (mode < 4)
    printf("\nReading the target system from file ...\n");
  if (mode > 3)
    printf("\nReading the start system from file ...\n");
  printf("Give the file name : ");
  scanf("%s", inputfile);
  n = (int)strlen(inputfile);
  if (mode == 0) {
    printf("\n... test reading in standard doubles ...\n");
    fail = read_standard_target_system_from_file(n, inputfile);
    fail = copy_container_to_target_system();
    printf("\nThe system read :\n");
    fail = write_standard_target_system();
  } else if (mode == 1) {
    printf("\n... test reading in double doubles ...\n");
    fail = read_dobldobl_target_system_from_file(n, inputfile);
    fail = copy_dobldobl_container_to_target_system();
    printf("\nThe system read :\n");
    fail = write_dobldobl_target_system();
  } else if (mode == 2) {
    printf("\n... test reading in quad doubles ...\n");
    fail = read_quaddobl_target_system_from_file(n, inputfile);
    fail = copy_quaddobl_container_to_target_system();
    printf("\nThe system read :\n");
    fail = write_quaddobl_target_system();
  } else if (mode == 3) {
    printf("\n... test reading in multiprecision ...\n");
    fail = read_multprec_target_system_from_file(80, n, inputfile);
    fail = copy_multprec_container_to_target_system();
    printf("\nThe system read :\n");
    fail = write_multprec_target_system();
  } else if (mode == 4) {
    printf("\n... test reading in standard doubles ...\n");
    fail = read_standard_start_system_from_file(n, inputfile);
    fail = copy_container_to_start_system();
    printf("\nThe system read :\n");
    fail = write_standard_start_system();
    fail = solcon_number_of_standard_solutions(&len);
    printf("\nNumber of start solutions in container : %d\n", len);
  } else if (mode == 5) {
    printf("\n... test reading in double doubles ...\n");
    fail = read_dobldobl_start_system_from_file(n, inputfile);
    fail = copy_dobldobl_container_to_start_system();
    printf("\nThe system read :\n");
    fail = write_dobldobl_start_system();
    fail = solcon_number_of_dobldobl_solutions(&len);
    printf("\nNumber of start solutions in container : %d\n", len);
  } else if (mode == 6) {
    printf("\n... test reading in quad doubles ...\n");
    fail = read_quaddobl_start_system_from_file(n, inputfile);
    fail = copy_quaddobl_container_to_start_system();
    printf("\nThe system read :\n");
    fail = write_quaddobl_start_system();
    fail = solcon_number_of_quaddobl_solutions(&len);
    printf("\nNumber of start solutions in container : %d\n", len);
  } else {
    printf("\n... test reading in multiprecision ...\n");
    fail = read_multprec_start_system_from_file(80, n, inputfile);
    fail = copy_multprec_container_to_start_system();
    printf("\nThe system read :\n");
    fail = write_multprec_start_system();
    fail = solcon_number_of_multprec_solutions(&len);
    printf("\nNumber of start solutions in container : %d\n", len);
  }
  return 0;
}


x86 assembly (clang, -O0):
<named_input_files>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
movl   $0x7,-0x64(%rbp)
cmpl   $0x4,-0x64(%rbp)
jge    1317 <named_input_files+0x27>
lea    0xcf0(%rip),%rdi
mov    $0x0,%al
call   10e0 <printf@plt>
cmpl   $0x3,-0x64(%rbp)
jle    132f <named_input_files+0x3f>
lea    0xd02(%rip),%rdi
mov    $0x0,%al
call   10e0 <printf@plt>
lea    0xd1d(%rip),%rdi
mov    $0x0,%al
call   10e0 <printf@plt>
lea    -0x60(%rbp),%rsi
lea    0xd21(%rip),%rdi
call   1190 <scanf@plt>
lea    -0x60(%rbp),%rdi
call   10b0 <strlen@plt>
mov    %eax,-0x4(%rbp)
cmpl   $0x0,-0x64(%rbp)
jne    13a7 <named_input_files+0xb7>
lea    0xd02(%rip),%rdi
mov    $0x0,%al
call   10e0 <printf@plt>
mov    -0x4(%rbp),%edi
lea    -0x60(%rbp),%rsi
call   1050 <read_standard_target_system_from_file@plt>
mov    %eax,-0x8(%rbp)
mov    $0x0,%al
call   10f0 <copy_container_to_target_system@plt>
mov    %eax,-0x8(%rbp)
lea    0xd06(%rip),%rdi
mov    $0x0,%al
call   10e0 <printf@plt>
mov    $0x0,%al
call   1170 <write_standard_target_system@plt>
mov    %eax,-0x8(%rbp)
jmp    1656 <named_input_files+0x366>
cmpl   $0x1,-0x64(%rbp)
jne    13f5 <named_input_files+0x105>
lea    0xcf3(%rip),%rdi
mov    $0x0,%al
call   10e0 <printf@plt>
mov    -0x4(%rbp),%edi
lea    -0x60(%rbp),%rsi
call   1200 <read_dobldobl_target_system_from_file@plt>
mov    %eax,-0x8(%rbp)
mov    $0x0,%al
call   1040 <copy_dobldobl_container_to_target_system@plt>
mov    %eax,-0x8(%rbp)
lea    0xcb8(%rip),%rdi
mov    $0x0,%al
call   10e0 <printf@plt>
mov    $0x0,%al
call   1090 <write_dobldobl_target_system@plt>
mov    %eax,-0x8(%rbp)
jmp    1651 <named_input_files+0x361>
cmpl   $0x2,-0x64(%rbp)
jne    1443 <named_input_files+0x153>
lea    0xcce(%rip),%rdi
mov    $0x0,%al
call   10e0 <printf@plt>
mov    -0x4(%rbp),%edi
lea    -0x60(%rbp),%rsi
call   11c0 <read_quaddobl_target_system_from_file@plt>
mov    %eax,-0x8(%rbp)
mov    $0x0,%al
call   1110 <copy_quaddobl_container_to_target_system@plt>
mov    %eax,-0x8(%rbp)
lea    0xc6a(%rip),%rdi
mov    $0x0,%al
call   10e0 <printf@plt>
mov    $0x0,%al
call   1070 <write_quaddobl_target_system@plt>
mov    %eax,-0x8(%rbp)
jmp    164c <named_input_files+0x35c>
cmpl   $0x3,-0x64(%rbp)
jne    1496 <named_input_files+0x1a6>
lea    0xca7(%rip),%rdi
mov    $0x0,%al
call   10e0 <printf@plt>
mov    -0x4(%rbp),%esi
lea    -0x60(%rbp),%rdx
mov    $0x50,%edi
call   11f0 <read_multprec_target_system_from_file@plt>
mov    %eax,-0x8(%rbp)
mov    $0x0,%al
call   11d0 <copy_multprec_container_to_target_system@plt>
mov    %eax,-0x8(%rbp)
lea    0xc17(%rip),%rdi
mov    $0x0,%al
call   10e0 <printf@plt>
mov    $0x0,%al
call   1130 <write_multprec_target_system@plt>
mov    %eax,-0x8(%rbp)
jmp    1647 <named_input_files+0x357>
cmpl   $0x4,-0x64(%rbp)
jne    1501 <named_input_files+0x211>
lea    0xbc5(%rip),%rdi
mov    $0x0,%al
call   10e0 <printf@plt>
mov    -0x4(%rbp),%edi
lea    -0x60(%rbp),%rsi
call   11a0 <read_standard_start_system_from_file@plt>
mov    %eax,-0x8(%rbp)
mov    $0x0,%al
call   1160 <copy_container_to_start_system@plt>
mov    %eax,-0x8(%rbp)
lea    0xbc9(%rip),%rdi
mov    $0x0,%al
call   10e0 <printf@plt>
mov    $0x0,%al
call   11b0 <write_standard_start_system@plt>
mov    %eax,-0x8(%rbp)
lea    -0xc(%rbp),%rdi
call   1120 <solcon_number_of_standard_solutions@plt>
mov    %eax,-0x8(%rbp)
mov    -0xc(%rbp),%esi
lea    0xc2f(%rip),%rdi
mov    $0x0,%al
call   10e0 <printf@plt>
jmp    1642 <named_input_files+0x352>
cmpl   $0x5,-0x64(%rbp)
jne    156c <named_input_files+0x27c>
lea    0xb99(%rip),%rdi
mov    $0x0,%al
call   10e0 <printf@plt>
mov    -0x4(%rbp),%edi
lea    -0x60(%rbp),%rsi
call   1100 <read_dobldobl_start_system_from_file@plt>
mov    %eax,-0x8(%rbp)
mov    $0x0,%al
call   1150 <copy_dobldobl_container_to_start_system@plt>
mov    %eax,-0x8(%rbp)
lea    0xb5e(%rip),%rdi
mov    $0x0,%al
call   10e0 <printf@plt>
mov    $0x0,%al
call   1060 <write_dobldobl_start_system@plt>
mov    %eax,-0x8(%rbp)
lea    -0xc(%rbp),%rdi
call   1140 <solcon_number_of_dobldobl_solutions@plt>
mov    %eax,-0x8(%rbp)
mov    -0xc(%rbp),%esi
lea    0xbc4(%rip),%rdi
mov    $0x0,%al
call   10e0 <printf@plt>
jmp    163d <named_input_files+0x34d>
cmpl   $0x6,-0x64(%rbp)
jne    15d7 <named_input_files+0x2e7>
lea    0xb57(%rip),%rdi
mov    $0x0,%al
call   10e0 <printf@plt>
mov    -0x4(%rbp),%edi
lea    -0x60(%rbp),%rsi
call   10d0 <read_quaddobl_start_system_from_file@plt>
mov    %eax,-0x8(%rbp)
mov    $0x0,%al
call   1180 <copy_quaddobl_container_to_start_system@plt>
mov    %eax,-0x8(%rbp)
lea    0xaf3(%rip),%rdi
mov    $0x0,%al
call   10e0 <printf@plt>
mov    $0x0,%al
call   11e0 <write_quaddobl_start_system@plt>
mov    %eax,-0x8(%rbp)
lea    -0xc(%rbp),%rdi
call   10c0 <solcon_number_of_quaddobl_solutions@plt>
mov    %eax,-0x8(%rbp)
mov    -0xc(%rbp),%esi
lea    0xb59(%rip),%rdi
mov    $0x0,%al
call   10e0 <printf@plt>
jmp    1638 <named_input_files+0x348>
lea    0xb1d(%rip),%rdi
mov    $0x0,%al
call   10e0 <printf@plt>
mov    -0x4(%rbp),%esi
lea    -0x60(%rbp),%rdx
mov    $0x50,%edi
call   1080 <read_multprec_start_system_from_file@plt>
mov    %eax,-0x8(%rbp)
mov    $0x0,%al
call   10a0 <copy_multprec_container_to_start_system@plt>
mov    %eax,-0x8(%rbp)
lea    0xa8d(%rip),%rdi
mov    $0x0,%al
call   10e0 <printf@plt>
mov    $0x0,%al
call   1030 <write_multprec_start_system@plt>
mov    %eax,-0x8(%rbp)
lea    -0xc(%rbp),%rdi
call   1210 <solcon_number_of_multprec_solutions@plt>
mov    %eax,-0x8(%rbp)
mov    -0xc(%rbp),%esi
lea    0xaf3(%rip),%rdi
mov    $0x0,%al
call   10e0 <printf@plt>
jmp    163d <named_input_files+0x34d>
jmp    1642 <named_input_files+0x352>
jmp    1647 <named_input_files+0x357>
jmp    164c <named_input_files+0x35c>
jmp    1651 <named_input_files+0x361>
jmp    1656 <named_input_files+0x366>
xor    %eax,%eax
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<named_input_files>:
push   %r14
push   %rbx
sub    $0x68,%rsp
lea    0xeb9(%rip),%rdi
call   1040 <puts@plt>
lea    0xe66(%rip),%rdi
xor    %eax,%eax
call   1080 <printf@plt>
lea    0xe6e(%rip),%rdi
lea    0x10(%rsp),%r14
mov    %r14,%rsi
call   1090 <scanf@plt>
mov    %r14,%rdi
call   1070 <strlen@plt>
mov    %rax,%rbx
lea    0xea8(%rip),%rdi
call   1040 <puts@plt>
mov    $0x50,%edi
mov    %ebx,%esi
mov    %r14,%rdx
call   1050 <read_multprec_start_system_from_file@plt>
xor    %eax,%eax
call   1060 <copy_multprec_container_to_start_system@plt>
lea    0xeae(%rip),%rdi
call   1040 <puts@plt>
xor    %eax,%eax
call   1030 <write_multprec_start_system@plt>
lea    0xc(%rsp),%rdi
call   10a0 <solcon_number_of_multprec_solutions@plt>
mov    0xc(%rsp),%esi
lea    0xe0f(%rip),%rdi
xor    %eax,%eax
call   1080 <printf@plt>
xor    %eax,%eax
add    $0x68,%rsp
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
@.str = [42 x i8] c"\0AReading the target system from file ...\0A\00"
@.str.1 = [41 x i8] c"\0AReading the start system from file ...\0A\00"
@.str.2 = [22 x i8] c"Give the file name : \00"
@.str.3 = [3 x i8] c"%s\00"
@.str.4 = [43 x i8] c"\0A... test reading in standard doubles ...\0A\00"
@.str.5 = [20 x i8] c"\0AThe system read :\0A\00"
@.str.6 = [41 x i8] c"\0A... test reading in double doubles ...\0A\00"
@.str.7 = [39 x i8] c"\0A... test reading in quad doubles ...\0A\00"
@.str.8 = [41 x i8] c"\0A... test reading in multiprecision ...\0A\00"
@.str.9 = [46 x i8] c"\0ANumber of start solutions in container : %d\0A\00"
define i32 @named_input_files() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca i32
%4 = alloca [80 x i8]
%5 = alloca i32
store i32 7, i32* %5
%6 = load i32, i32* %5
%7 = icmp slt i32 %6, 4
br i1 %7, label %8, label %10
8: ; preds = %0
%9 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str, i64 0, i64 0))
br label %10
10: ; preds = %8, %0
%11 = load i32, i32* %5
%12 = icmp sgt i32 %11, 3
br i1 %12, label %13, label %15
13: ; preds = %10
%14 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([41 x i8], [41 x i8]* @.str.1, i64 0, i64 0))
br label %15
15: ; preds = %13, %10
%16 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.2, i64 0, i64 0))
%17 = getelementptr inbounds [80 x i8], [80 x i8]* %4, i64 0, i64 0
%18 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.3, i64 0, i64 0), i8* %17)
%19 = getelementptr inbounds [80 x i8], [80 x i8]* %4, i64 0, i64 0
%20 = call i64 @strlen(i8* %19)
%21 = trunc i64 %20 to i32
store i32 %21, i32* %1
%22 = load i32, i32* %5
%23 = icmp eq i32 %22, 0
br i1 %23, label %24, label %32
24: ; preds = %15
%25 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([43 x i8], [43 x i8]* @.str.4, i64 0, i64 0))
%26 = load i32, i32* %1
%27 = getelementptr inbounds [80 x i8], [80 x i8]* %4, i64 0, i64 0
%28 = call i32 @read_standard_target_system_from_file(i32 %26, i8* %27)
store i32 %28, i32* %2
%29 = call i32 (...) @copy_container_to_target_system()
store i32 %29, i32* %2
%30 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.5, i64 0, i64 0))
%31 = call i32 (...) @write_standard_target_system()
store i32 %31, i32* %2
br label %124
32: ; preds = %15
%33 = load i32, i32* %5
%34 = icmp eq i32 %33, 1
br i1 %34, label %35, label %43
35: ; preds = %32
%36 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([41 x i8], [41 x i8]* @.str.6, i64 0, i64 0))
%37 = load i32, i32* %1
%38 = getelementptr inbounds [80 x i8], [80 x i8]* %4, i64 0, i64 0
%39 = call i32 @read_dobldobl_target_system_from_file(i32 %37, i8* %38)
store i32 %39, i32* %2
%40 = call i32 (...) @copy_dobldobl_container_to_target_system()
store i32 %40, i32* %2
%41 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.5, i64 0, i64 0))
%42 = call i32 (...) @write_dobldobl_target_system()
store i32 %42, i32* %2
br label %123
43: ; preds = %32
%44 = load i32, i32* %5
%45 = icmp eq i32 %44, 2
br i1 %45, label %46, label %54
46: ; preds = %43
%47 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([39 x i8], [39 x i8]* @.str.7, i64 0, i64 0))
%48 = load i32, i32* %1
%49 = getelementptr inbounds [80 x i8], [80 x i8]* %4, i64 0, i64 0
%50 = call i32 @read_quaddobl_target_system_from_file(i32 %48, i8* %49)
store i32 %50, i32* %2
%51 = call i32 (...) @copy_quaddobl_container_to_target_system()
store i32 %51, i32* %2
%52 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.5, i64 0, i64 0))
%53 = call i32 (...) @write_quaddobl_target_system()
store i32 %53, i32* %2
br label %122
54: ; preds = %43
%55 = load i32, i32* %5
%56 = icmp eq i32 %55, 3
br i1 %56, label %57, label %65
57: ; preds = %54
%58 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([41 x i8], [41 x i8]* @.str.8, i64 0, i64 0))
%59 = load i32, i32* %1
%60 = getelementptr inbounds [80 x i8], [80 x i8]* %4, i64 0, i64 0
%61 = call i32 @read_multprec_target_system_from_file(i32 80, i32 %59, i8* %60)
store i32 %61, i32* %2
%62 = call i32 (...) @copy_multprec_container_to_target_system()
store i32 %62, i32* %2
%63 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.5, i64 0, i64 0))
%64 = call i32 (...) @write_multprec_target_system()
store i32 %64, i32* %2
br label %121
65: ; preds = %54
%66 = load i32, i32* %5
%67 = icmp eq i32 %66, 4
br i1 %67, label %68, label %79
68: ; preds = %65
%69 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([43 x i8], [43 x i8]* @.str.4, i64 0, i64 0))
%70 = load i32, i32* %1
%71 = getelementptr inbounds [80 x i8], [80 x i8]* %4, i64 0, i64 0
%72 = call i32 @read_standard_start_system_from_file(i32 %70, i8* %71)
store i32 %72, i32* %2
%73 = call i32 (...) @copy_container_to_start_system()
store i32 %73, i32* %2
%74 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.5, i64 0, i64 0))
%75 = call i32 (...) @write_standard_start_system()
store i32 %75, i32* %2
%76 = call i32 @solcon_number_of_standard_solutions(i32* %3)
store i32 %76, i32* %2
%77 = load i32, i32* %3
%78 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([46 x i8], [46 x i8]* @.str.9, i64 0, i64 0), i32 %77)
br label %120
79: ; preds = %65
%80 = load i32, i32* %5
%81 = icmp eq i32 %80, 5
br i1 %81, label %82, label %93
82: ; preds = %79
%83 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([41 x i8], [41 x i8]* @.str.6, i64 0, i64 0))
%84 = load i32, i32* %1
%85 = getelementptr inbounds [80 x i8], [80 x i8]* %4, i64 0, i64 0
%86 = call i32 @read_dobldobl_start_system_from_file(i32 %84, i8* %85)
store i32 %86, i32* %2
%87 = call i32 (...) @copy_dobldobl_container_to_start_system()
store i32 %87, i32* %2
%88 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.5, i64 0, i64 0))
%89 = call i32 (...) @write_dobldobl_start_system()
store i32 %89, i32* %2
%90 = call i32 @solcon_number_of_dobldobl_solutions(i32* %3)
store i32 %90, i32* %2
%91 = load i32, i32* %3
%92 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([46 x i8], [46 x i8]* @.str.9, i64 0, i64 0), i32 %91)
br label %119
93: ; preds = %79
%94 = load i32, i32* %5
%95 = icmp eq i32 %94, 6
br i1 %95, label %96, label %107
96: ; preds = %93
%97 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([39 x i8], [39 x i8]* @.str.7, i64 0, i64 0))
%98 = load i32, i32* %1
%99 = getelementptr inbounds [80 x i8], [80 x i8]* %4, i64 0, i64 0
%100 = call i32 @read_quaddobl_start_system_from_file(i32 %98, i8* %99)
store i32 %100, i32* %2
%101 = call i32 (...) @copy_quaddobl_container_to_start_system()
store i32 %101, i32* %2
%102 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.5, i64 0, i64 0))
%103 = call i32 (...) @write_quaddobl_start_system()
store i32 %103, i32* %2
%104 = call i32 @solcon_number_of_quaddobl_solutions(i32* %3)
store i32 %104, i32* %2
%105 = load i32, i32* %3
%106 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([46 x i8], [46 x i8]* @.str.9, i64 0, i64 0), i32 %105)
br label %118
107: ; preds = %93
%108 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([41 x i8], [41 x i8]* @.str.8, i64 0, i64 0))
%109 = load i32, i32* %1
%110 = getelementptr inbounds [80 x i8], [80 x i8]* %4, i64 0, i64 0
%111 = call i32 @read_multprec_start_system_from_file(i32 80, i32 %109, i8* %110)
store i32 %111, i32* %2
%112 = call i32 (...) @copy_multprec_container_to_start_system()
store i32 %112, i32* %2
%113 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.5, i64 0, i64 0))
%114 = call i32 (...) @write_multprec_start_system()
store i32 %114, i32* %2
%115 = call i32 @solcon_number_of_multprec_solutions(i32* %3)
store i32 %115, i32* %2
%116 = load i32, i32* %3
%117 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([46 x i8], [46 x i8]* @.str.9, i64 0, i64 0), i32 %116)
br label %118
118: ; preds = %107, %96
br label %119
119: ; preds = %118, %82
br label %120
120: ; preds = %119, %68
br label %121
121: ; preds = %120, %57
br label %122
122: ; preds = %121, %46
br label %123
123: ; preds = %122, %35
br label %124
124: ; preds = %123, %24
ret i32 0
}

LLVM IR (-O2):
@.str.2 = [22 x i8] c"Give the file name : \00"
@.str.3 = [3 x i8] c"%s\00"
@.str.9 = [46 x i8] c"\0ANumber of start solutions in container : %d\0A\00"
@str = [40 x i8] c"\0AReading the start system from file ...\00"
@str.10 = [40 x i8] c"\0A... test reading in multiprecision ...\00"
@str.11 = [19 x i8] c"\0AThe system read :\00"
define i32 @named_input_files() {
%1 = alloca i32
%2 = alloca [80 x i8]
%3 = bitcast i32* %1 to i8*
%4 = getelementptr inbounds [80 x i8], [80 x i8]* %2, i64 0, i64 0
%5 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([40 x i8], [40 x i8]* @str, i64 0, i64 0))
%6 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.2, i64 0, i64 0))
%7 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.3, i64 0, i64 0), i8* %4)
%8 = call i64 @strlen(i8* %4)
%9 = trunc i64 %8 to i32
%10 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([40 x i8], [40 x i8]* @str.10, i64 0, i64 0))
%11 = call i32 @read_multprec_start_system_from_file(i32 80, i32 %9, i8* %4)
%12 = call i32 (...) @copy_multprec_container_to_start_system()
%13 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([19 x i8], [19 x i8]* @str.11, i64 0, i64 0))
%14 = call i32 (...) @write_multprec_start_system()
%15 = call i32 @solcon_number_of_multprec_solutions(i32* %1)
%16 = load i32, i32* %1
%17 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([46 x i8], [46 x i8]* @.str.9, i64 0, i64 0), i32 %16)
ret i32 0
}