#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 atoi(char *);
int /*<<< orphan*/ printf(char *, ...);
int /*<<< orphan*/ scanf(char *, char *);
void read_in(int *inputs, int *confirm, int *counter) {
  int i, range_check = 0;
  char string_check[31];
  int nums[6] = {43, 44, 45, 46, 47, 48};
  printf("Enter 6 numbers between 1 and 42...\n");
  for (i = 0; i < 6; i++) {
    printf("Please enter your %i number:\n", i + 1);
    scanf("%s", &string_check[i]);
    nums[i] = atoi(&(string_check[i]));
    if (nums[i] < 1 || nums[i] > 42) {
      range_check = 1;
    }
    if (range_check == 1) {
      printf("\nError inputting number, try again: \n");
      i--;
      range_check = 0;
    }
    if (nums[1] == nums[2] || nums[1] == nums[3] || nums[1] == nums[4] ||
        nums[1] == nums[5] || nums[1] == nums[6] || nums[2] == nums[3] ||
        nums[2] == nums[4] || nums[2] == nums[5] || nums[2] == nums[6] ||
        nums[3] == nums[4] || nums[3] == nums[5] || nums[3] == nums[6] ||
        nums[4] == nums[5] || nums[4] == nums[6] || nums[5] == nums[6]) {
      printf("\nYou have entered a number identical to a number you previously "
             "entered, try again: \n");
      i--;
    }
  }
  for (i = 0; i < 6; i++) {
    *(inputs + i) = nums[i];
  }
  *confirm = 1;
  for (i = 0; i < 6; i++) {
    *(counter + nums[i]) += 1;
  }
}


x86 assembly (clang, -O0):
<read_in>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movl   $0x0,-0x20(%rbp)
mov    0xeae(%rip),%rax
mov    %rax,-0x60(%rbp)
mov    0xeab(%rip),%rax
mov    %rax,-0x58(%rbp)
mov    0xea8(%rip),%rax
mov    %rax,-0x50(%rbp)
lea    0xea5(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x1c(%rbp)
cmpl   $0x6,-0x1c(%rbp)
jge    12fb <read_in+0x1cb>
mov    -0x1c(%rbp),%esi
add    $0x1,%esi
lea    0xea5(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movslq -0x1c(%rbp),%rax
lea    -0x40(%rbp),%rsi
add    %rax,%rsi
lea    0xeaa(%rip),%rdi
call   1040 <scanf@plt>
movslq -0x1c(%rbp),%rax
lea    -0x40(%rbp),%rdi
add    %rax,%rdi
call   1050 <atoi@plt>
mov    %eax,%ecx
movslq -0x1c(%rbp),%rax
mov    %ecx,-0x60(%rbp,%rax,4)
movslq -0x1c(%rbp),%rax
cmpl   $0x1,-0x60(%rbp,%rax,4)
jl     11ee <read_in+0xbe>
movslq -0x1c(%rbp),%rax
cmpl   $0x2a,-0x60(%rbp,%rax,4)
jle    11f5 <read_in+0xc5>
movl   $0x1,-0x20(%rbp)
cmpl   $0x1,-0x20(%rbp)
jne    121d <read_in+0xed>
lea    0xe58(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x5c(%rbp),%eax
cmp    -0x58(%rbp),%eax
je     12d1 <read_in+0x1a1>
mov    -0x5c(%rbp),%eax
cmp    -0x54(%rbp),%eax
je     12d1 <read_in+0x1a1>
mov    -0x5c(%rbp),%eax
cmp    -0x50(%rbp),%eax
je     12d1 <read_in+0x1a1>
mov    -0x5c(%rbp),%eax
cmp    -0x4c(%rbp),%eax
je     12d1 <read_in+0x1a1>
mov    -0x5c(%rbp),%eax
cmp    -0x48(%rbp),%eax
je     12d1 <read_in+0x1a1>
mov    -0x58(%rbp),%eax
cmp    -0x54(%rbp),%eax
je     12d1 <read_in+0x1a1>
mov    -0x58(%rbp),%eax
cmp    -0x50(%rbp),%eax
je     12d1 <read_in+0x1a1>
mov    -0x58(%rbp),%eax
cmp    -0x4c(%rbp),%eax
je     12d1 <read_in+0x1a1>
mov    -0x58(%rbp),%eax
cmp    -0x48(%rbp),%eax
je     12d1 <read_in+0x1a1>
mov    -0x54(%rbp),%eax
cmp    -0x50(%rbp),%eax
je     12d1 <read_in+0x1a1>
mov    -0x54(%rbp),%eax
cmp    -0x4c(%rbp),%eax
je     12d1 <read_in+0x1a1>
mov    -0x54(%rbp),%eax
cmp    -0x48(%rbp),%eax
je     12d1 <read_in+0x1a1>
mov    -0x50(%rbp),%eax
cmp    -0x4c(%rbp),%eax
je     12d1 <read_in+0x1a1>
mov    -0x50(%rbp),%eax
cmp    -0x48(%rbp),%eax
je     12d1 <read_in+0x1a1>
mov    -0x4c(%rbp),%eax
cmp    -0x48(%rbp),%eax
jne    12e8 <read_in+0x1b8>
lea    0xdac(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
jmp    12ed <read_in+0x1bd>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1181 <read_in+0x51>
movl   $0x0,-0x1c(%rbp)
cmpl   $0x6,-0x1c(%rbp)
jge    132d <read_in+0x1fd>
movslq -0x1c(%rbp),%rax
mov    -0x60(%rbp,%rax,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1302 <read_in+0x1d2>
mov    -0x10(%rbp),%rax
movl   $0x1,(%rax)
movl   $0x0,-0x1c(%rbp)
cmpl   $0x6,-0x1c(%rbp)
jge    136c <read_in+0x23c>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movslq -0x60(%rbp,%rcx,4),%rcx
mov    (%rax,%rcx,4),%edx
add    $0x1,%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    133e <read_in+0x20e>
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<read_in>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x58,%rsp
mov    %rdx,0x28(%rsp)
mov    %rsi,0x20(%rsp)
mov    %rdi,0x18(%rsp)
mov    0xeac(%rip),%rax
mov    %rax,0x10(%rsp)
movaps 0xe90(%rip),%xmm0
movaps %xmm0,(%rsp)
lea    0xebe(%rip),%rdi
call   1030 <puts@plt>
lea    0xe91(%rip),%r13
lea    0xea8(%rip),%r14
xor    %r12d,%r12d
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
lea    0x1(%r12),%esi
mov    %r13,%rdi
xor    %eax,%eax
call   1040 <printf@plt>
movslq %r12d,%rbx
lea    (%rsp,%rbx,1),%r15
add    $0x30,%r15
mov    %r14,%rdi
mov    %r15,%rsi
call   1050 <scanf@plt>
mov    %r15,%rdi
call   1060 <atoi@plt>
mov    %eax,(%rsp,%rbx,4)
add    $0xffffffd5,%eax
cmp    $0xffffffd5,%eax
ja     11e8 <read_in+0xa8>
lea    0xed3(%rip),%rdi
call   1030 <puts@plt>
add    $0xffffffff,%r12d
movslq 0x4(%rsp),%rbp
movslq 0x8(%rsp),%rbx
cmp    %ebx,%ebp
je     1210 <read_in+0xd0>
mov    0xc(%rsp),%ecx
cmp    %ecx,%ebp
je     1210 <read_in+0xd0>
mov    0x10(%rsp),%eax
cmp    %eax,%ebp
je     1210 <read_in+0xd0>
mov    0x14(%rsp),%edx
cmp    %edx,%ebp
jne    1234 <read_in+0xf4>
xchg   %ax,%ax
lea    0xe46(%rip),%rdi
call   1030 <puts@plt>
add    $0xffffffff,%r12d
lea    0x1(%r12),%eax
cmp    $0x5,%r12d
mov    %eax,%r12d
jl     11a0 <read_in+0x60>
jmp    1266 <read_in+0x126>
mov    0x18(%rsp),%esi
cmp    %esi,%ebp
je     1210 <read_in+0xd0>
cmp    %ecx,%ebx
je     1210 <read_in+0xd0>
cmp    %eax,%ebx
je     1210 <read_in+0xd0>
cmp    %edx,%ebx
je     1210 <read_in+0xd0>
cmp    %esi,%ebx
je     1210 <read_in+0xd0>
cmp    %eax,%ecx
je     1210 <read_in+0xd0>
cmp    %edx,%ecx
je     1210 <read_in+0xd0>
cmp    %esi,%ecx
je     1210 <read_in+0xd0>
cmp    %edx,%eax
je     1210 <read_in+0xd0>
cmp    %esi,%eax
je     1210 <read_in+0xd0>
cmp    %esi,%edx
jne    1220 <read_in+0xe0>
jmp    1210 <read_in+0xd0>
mov    0x10(%rsp),%rax
mov    0x18(%rsp),%rcx
mov    %rax,0x10(%rcx)
movaps (%rsp),%xmm0
movups %xmm0,(%rcx)
mov    0x20(%rsp),%rax
movl   $0x1,(%rax)
movslq (%rsp),%rax
mov    0x28(%rsp),%rcx
addl   $0x1,(%rcx,%rax,4)
addl   $0x1,(%rcx,%rbp,4)
addl   $0x1,(%rcx,%rbx,4)
movslq 0xc(%rsp),%rax
addl   $0x1,(%rcx,%rax,4)
movslq 0x10(%rsp),%rax
addl   $0x1,(%rcx,%rax,4)
movslq 0x14(%rsp),%rax
addl   $0x1,(%rcx,%rax,4)
add    $0x58,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@__const.read_in.nums = [6 x i32] [i32 43, i32 44, i32 45, i32 46, i32 47, i32 48]
@.str = [37 x i8] c"Enter 6 numbers between 1 and 42...\0A\00"
@.str.1 = [30 x i8] c"Please enter your %i number:\0A\00"
@.str.2 = [3 x i8] c"%s\00"
@.str.3 = [38 x i8] c"\0AError inputting number, try again: \0A\00"
@.str.4 = [86 x i8] c"\0AYou have entered a number identical to a number you previously entered, try again: \0A\00"
define void @read_in(i32* %0, i32* %1, i32* %2) {
%4 = alloca i32*
%5 = alloca i32*
%6 = alloca i32*
%7 = alloca i32
%8 = alloca i32
%9 = alloca [31 x i8]
%10 = alloca [6 x i32]
store i32* %0, i32** %4
store i32* %1, i32** %5
store i32* %2, i32** %6
store i32 0, i32* %8
%11 = bitcast [6 x i32]* %10 to i8*
%12 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([37 x i8], [37 x i8]* @.str, i64 0, i64 0))
store i32 0, i32* %7
br label %13
13: ; preds = %145, %3
%14 = load i32, i32* %7
%15 = icmp slt i32 %14, 6
br i1 %15, label %16, label %148
16: ; preds = %13
%17 = load i32, i32* %7
%18 = add nsw i32 %17, 1
%19 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.1, i64 0, i64 0), i32 %18)
%20 = load i32, i32* %7
%21 = sext i32 %20 to i64
%22 = getelementptr inbounds [31 x i8], [31 x i8]* %9, i64 0, i64 %21
%23 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* %22)
%24 = load i32, i32* %7
%25 = sext i32 %24 to i64
%26 = getelementptr inbounds [31 x i8], [31 x i8]* %9, i64 0, i64 %25
%27 = call i32 @atoi(i8* %26)
%28 = load i32, i32* %7
%29 = sext i32 %28 to i64
%30 = getelementptr inbounds [6 x i32], [6 x i32]* %10, i64 0, i64 %29
store i32 %27, i32* %30
%31 = load i32, i32* %7
%32 = sext i32 %31 to i64
%33 = getelementptr inbounds [6 x i32], [6 x i32]* %10, i64 0, i64 %32
%34 = load i32, i32* %33
%35 = icmp slt i32 %34, 1
br i1 %35, label %42, label %36
36: ; preds = %16
%37 = load i32, i32* %7
%38 = sext i32 %37 to i64
%39 = getelementptr inbounds [6 x i32], [6 x i32]* %10, i64 0, i64 %38
%40 = load i32, i32* %39
%41 = icmp sgt i32 %40, 42
br i1 %41, label %42, label %43
42: ; preds = %36, %16
store i32 1, i32* %8
br label %43
43: ; preds = %42, %36
%44 = load i32, i32* %8
%45 = icmp eq i32 %44, 1
br i1 %45, label %46, label %50
46: ; preds = %43
%47 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str.3, i64 0, i64 0))
%48 = load i32, i32* %7
%49 = add nsw i32 %48, -1
store i32 %49, i32* %7
store i32 0, i32* %8
br label %50
50: ; preds = %46, %43
%51 = getelementptr inbounds [6 x i32], [6 x i32]* %10, i64 0, i64 1
%52 = load i32, i32* %51
%53 = getelementptr inbounds [6 x i32], [6 x i32]* %10, i64 0, i64 2
%54 = load i32, i32* %53
%55 = icmp eq i32 %52, %54
br i1 %55, label %140, label %56
56: ; preds = %50
%57 = getelementptr inbounds [6 x i32], [6 x i32]* %10, i64 0, i64 1
%58 = load i32, i32* %57
%59 = getelementptr inbounds [6 x i32], [6 x i32]* %10, i64 0, i64 3
%60 = load i32, i32* %59
%61 = icmp eq i32 %58, %60
br i1 %61, label %140, label %62
62: ; preds = %56
%63 = getelementptr inbounds [6 x i32], [6 x i32]* %10, i64 0, i64 1
%64 = load i32, i32* %63
%65 = getelementptr inbounds [6 x i32], [6 x i32]* %10, i64 0, i64 4
%66 = load i32, i32* %65
%67 = icmp eq i32 %64, %66
br i1 %67, label %140, label %68
68: ; preds = %62
%69 = getelementptr inbounds [6 x i32], [6 x i32]* %10, i64 0, i64 1
%70 = load i32, i32* %69
%71 = getelementptr inbounds [6 x i32], [6 x i32]* %10, i64 0, i64 5
%72 = load i32, i32* %71
%73 = icmp eq i32 %70, %72
br i1 %73, label %140, label %74
74: ; preds = %68
%75 = getelementptr inbounds [6 x i32], [6 x i32]* %10, i64 0, i64 1
%76 = load i32, i32* %75
%77 = getelementptr inbounds [6 x i32], [6 x i32]* %10, i64 0, i64 6
%78 = load i32, i32* %77
%79 = icmp eq i32 %76, %78
br i1 %79, label %140, label %80
80: ; preds = %74
%81 = getelementptr inbounds [6 x i32], [6 x i32]* %10, i64 0, i64 2
%82 = load i32, i32* %81
%83 = getelementptr inbounds [6 x i32], [6 x i32]* %10, i64 0, i64 3
%84 = load i32, i32* %83
%85 = icmp eq i32 %82, %84
br i1 %85, label %140, label %86
86: ; preds = %80
%87 = getelementptr inbounds [6 x i32], [6 x i32]* %10, i64 0, i64 2
%88 = load i32, i32* %87
%89 = getelementptr inbounds [6 x i32], [6 x i32]* %10, i64 0, i64 4
%90 = load i32, i32* %89
%91 = icmp eq i32 %88, %90
br i1 %91, label %140, label %92
92: ; preds = %86
%93 = getelementptr inbounds [6 x i32], [6 x i32]* %10, i64 0, i64 2
%94 = load i32, i32* %93
%95 = getelementptr inbounds [6 x i32], [6 x i32]* %10, i64 0, i64 5
%96 = load i32, i32* %95
%97 = icmp eq i32 %94, %96
br i1 %97, label %140, label %98
98: ; preds = %92
%99 = getelementptr inbounds [6 x i32], [6 x i32]* %10, i64 0, i64 2
%100 = load i32, i32* %99
%101 = getelementptr inbounds [6 x i32], [6 x i32]* %10, i64 0, i64 6
%102 = load i32, i32* %101
%103 = icmp eq i32 %100, %102
br i1 %103, label %140, label %104
104: ; preds = %98
%105 = getelementptr inbounds [6 x i32], [6 x i32]* %10, i64 0, i64 3
%106 = load i32, i32* %105
%107 = getelementptr inbounds [6 x i32], [6 x i32]* %10, i64 0, i64 4
%108 = load i32, i32* %107
%109 = icmp eq i32 %106, %108
br i1 %109, label %140, label %110
110: ; preds = %104
%111 = getelementptr inbounds [6 x i32], [6 x i32]* %10, i64 0, i64 3
%112 = load i32, i32* %111
%113 = getelementptr inbounds [6 x i32], [6 x i32]* %10, i64 0, i64 5
%114 = load i32, i32* %113
%115 = icmp eq i32 %112, %114
br i1 %115, label %140, label %116
116: ; preds = %110
%117 = getelementptr inbounds [6 x i32], [6 x i32]* %10, i64 0, i64 3
%118 = load i32, i32* %117
%119 = getelementptr inbounds [6 x i32], [6 x i32]* %10, i64 0, i64 6
%120 = load i32, i32* %119
%121 = icmp eq i32 %118, %120
br i1 %121, label %140, label %122
122: ; preds = %116
%123 = getelementptr inbounds [6 x i32], [6 x i32]* %10, i64 0, i64 4
%124 = load i32, i32* %123
%125 = getelementptr inbounds [6 x i32], [6 x i32]* %10, i64 0, i64 5
%126 = load i32, i32* %125
%127 = icmp eq i32 %124, %126
br i1 %127, label %140, label %128
128: ; preds = %122
%129 = getelementptr inbounds [6 x i32], [6 x i32]* %10, i64 0, i64 4
%130 = load i32, i32* %129
%131 = getelementptr inbounds [6 x i32], [6 x i32]* %10, i64 0, i64 6
%132 = load i32, i32* %131
%133 = icmp eq i32 %130, %132
br i1 %133, label %140, label %134
134: ; preds = %128
%135 = getelementptr inbounds [6 x i32], [6 x i32]* %10, i64 0, i64 5
%136 = load i32, i32* %135
%137 = getelementptr inbounds [6 x i32], [6 x i32]* %10, i64 0, i64 6
%138 = load i32, i32* %137
%139 = icmp eq i32 %136, %138
br i1 %139, label %140, label %144
140: ; preds = %134, %128, %122, %116, %110, %104, %98, %92, %86, %80, %74, %68, %62, %56, %50
%141 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([86 x i8], [86 x i8]* @.str.4, i64 0, i64 0))
%142 = load i32, i32* %7
%143 = add nsw i32 %142, -1
store i32 %143, i32* %7
br label %144
144: ; preds = %140, %134
br label %145
145: ; preds = %144
%146 = load i32, i32* %7
%147 = add nsw i32 %146, 1
store i32 %147, i32* %7
br label %13
148: ; preds = %13
store i32 0, i32* %7
br label %149
149: ; preds = %161, %148
%150 = load i32, i32* %7
%151 = icmp slt i32 %150, 6
br i1 %151, label %152, label %164
152: ; preds = %149
%153 = load i32, i32* %7
%154 = sext i32 %153 to i64
%155 = getelementptr inbounds [6 x i32], [6 x i32]* %10, i64 0, i64 %154
%156 = load i32, i32* %155
%157 = load i32*, i32** %4
%158 = load i32, i32* %7
%159 = sext i32 %158 to i64
%160 = getelementptr inbounds i32, i32* %157, i64 %159
store i32 %156, i32* %160
br label %161
161: ; preds = %152
%162 = load i32, i32* %7
%163 = add nsw i32 %162, 1
store i32 %163, i32* %7
br label %149
164: ; preds = %149
%165 = load i32*, i32** %5
store i32 1, i32* %165
store i32 0, i32* %7
br label %166
166: ; preds = %179, %164
%167 = load i32, i32* %7
%168 = icmp slt i32 %167, 6
br i1 %168, label %169, label %182
169: ; preds = %166
%170 = load i32*, i32** %6
%171 = load i32, i32* %7
%172 = sext i32 %171 to i64
%173 = getelementptr inbounds [6 x i32], [6 x i32]* %10, i64 0, i64 %172
%174 = load i32, i32* %173
%175 = sext i32 %174 to i64
%176 = getelementptr inbounds i32, i32* %170, i64 %175
%177 = load i32, i32* %176
%178 = add nsw i32 %177, 1
store i32 %178, i32* %176
br label %179
179: ; preds = %169
%180 = load i32, i32* %7
%181 = add nsw i32 %180, 1
store i32 %181, i32* %7
br label %166
182: ; preds = %166
ret void
}

LLVM IR (-O2):
@__const.read_in.nums = [6 x i32] [i32 43, i32 44, i32 45, i32 46, i32 47, i32 48]
@.str.1 = [30 x i8] c"Please enter your %i number:\0A\00"
@.str.2 = [3 x i8] c"%s\00"
@str = [36 x i8] c"Enter 6 numbers between 1 and 42...\00"
@str.5 = [85 x i8] c"\0AYou have entered a number identical to a number you previously entered, try again: \00"
@str.6 = [37 x i8] c"\0AError inputting number, try again: \00"
define void @read_in(i32* nocapture writeonly %0, i32* nocapture writeonly %1, i32* nocapture %2) {
%4 = alloca [31 x i8]
%5 = alloca [6 x i32]
%6 = bitcast [6 x i32]* %5 to i8*
%7 = getelementptr inbounds [31 x i8], [31 x i8]* %4, i64 0, i64 0
%8 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([36 x i8], [36 x i8]* @str, i64 0, i64 0))
%9 = getelementptr inbounds [6 x i32], [6 x i32]* %5, i64 0, i64 1
%10 = getelementptr inbounds [6 x i32], [6 x i32]* %5, i64 0, i64 2
%11 = getelementptr inbounds [6 x i32], [6 x i32]* %5, i64 0, i64 3
%12 = getelementptr inbounds [6 x i32], [6 x i32]* %5, i64 0, i64 4
%13 = getelementptr inbounds [6 x i32], [6 x i32]* %5, i64 0, i64 5
%14 = getelementptr inbounds [6 x i32], [6 x i32]* %5, i64 0, i64 6
br label %15
15: ; preds = %3, %69
%16 = phi i32 [ 0, %3 ], [ %71, %69 ]
%17 = add nsw i32 %16, 1
%18 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([30 x i8], [30 x i8]* @.str.1, i64 0, i64 0), i32 %17)
%19 = sext i32 %16 to i64
%20 = getelementptr inbounds [31 x i8], [31 x i8]* %4, i64 0, i64 %19
%21 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0), i8* %20)
%22 = call i32 @atoi(i8* %20)
%23 = getelementptr inbounds [6 x i32], [6 x i32]* %5, i64 0, i64 %19
store i32 %22, i32* %23
%24 = add i32 %22, -43
%25 = icmp ult i32 %24, -42
br i1 %25, label %26, label %29
26: ; preds = %15
%27 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([37 x i8], [37 x i8]* @str.6, i64 0, i64 0))
%28 = add nsw i32 %16, -1
br label %29
29: ; preds = %15, %26
%30 = phi i32 [ %28, %26 ], [ %16, %15 ]
%31 = load i32, i32* %9
%32 = load i32, i32* %10
%33 = icmp eq i32 %31, %32
br i1 %33, label %66, label %34
34: ; preds = %29
%35 = load i32, i32* %11
%36 = icmp eq i32 %31, %35
br i1 %36, label %66, label %37
37: ; preds = %34
%38 = load i32, i32* %12
%39 = icmp eq i32 %31, %38
br i1 %39, label %66, label %40
40: ; preds = %37
%41 = load i32, i32* %13
%42 = icmp eq i32 %31, %41
br i1 %42, label %66, label %43
43: ; preds = %40
%44 = load i32, i32* %14
%45 = icmp eq i32 %31, %44
%46 = icmp eq i32 %32, %35
%47 = select i1 %45, i1 true, i1 %46
%48 = icmp eq i32 %32, %38
%49 = select i1 %47, i1 true, i1 %48
%50 = icmp eq i32 %32, %41
%51 = select i1 %49, i1 true, i1 %50
%52 = icmp eq i32 %32, %44
%53 = select i1 %51, i1 true, i1 %52
%54 = icmp eq i32 %35, %38
%55 = select i1 %53, i1 true, i1 %54
%56 = icmp eq i32 %35, %41
%57 = select i1 %55, i1 true, i1 %56
%58 = icmp eq i32 %35, %44
%59 = select i1 %57, i1 true, i1 %58
%60 = icmp eq i32 %38, %41
%61 = select i1 %59, i1 true, i1 %60
%62 = icmp eq i32 %38, %44
%63 = select i1 %61, i1 true, i1 %62
%64 = icmp eq i32 %41, %44
%65 = select i1 %63, i1 true, i1 %64
br i1 %65, label %66, label %69
66: ; preds = %43, %40, %37, %34, %29
%67 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([85 x i8], [85 x i8]* @str.5, i64 0, i64 0))
%68 = add nsw i32 %30, -1
br label %69
69: ; preds = %43, %66
%70 = phi i32 [ %68, %66 ], [ %30, %43 ]
%71 = add nsw i32 %70, 1
%72 = icmp slt i32 %70, 5
br i1 %72, label %15, label %73
73: ; preds = %69
%74 = bitcast i32* %0 to i8*
store i32 1, i32* %1
%75 = getelementptr inbounds [6 x i32], [6 x i32]* %5, i64 0, i64 0
%76 = load i32, i32* %75
%77 = sext i32 %76 to i64
%78 = getelementptr inbounds i32, i32* %2, i64 %77
%79 = load i32, i32* %78
%80 = add nsw i32 %79, 1
store i32 %80, i32* %78
%81 = sext i32 %31 to i64
%82 = getelementptr inbounds i32, i32* %2, i64 %81
%83 = load i32, i32* %82
%84 = add nsw i32 %83, 1
store i32 %84, i32* %82
%85 = sext i32 %32 to i64
%86 = getelementptr inbounds i32, i32* %2, i64 %85
%87 = load i32, i32* %86
%88 = add nsw i32 %87, 1
store i32 %88, i32* %86
%89 = load i32, i32* %11
%90 = sext i32 %89 to i64
%91 = getelementptr inbounds i32, i32* %2, i64 %90
%92 = load i32, i32* %91
%93 = add nsw i32 %92, 1
store i32 %93, i32* %91
%94 = load i32, i32* %12
%95 = sext i32 %94 to i64
%96 = getelementptr inbounds i32, i32* %2, i64 %95
%97 = load i32, i32* %96
%98 = add nsw i32 %97, 1
store i32 %98, i32* %96
%99 = load i32, i32* %13
%100 = sext i32 %99 to i64
%101 = getelementptr inbounds i32, i32* %2, i64 %100
%102 = load i32, i32* %101
%103 = add nsw i32 %102, 1
store i32 %103, i32* %101
ret void
}