#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 */
typedef int /*<<< orphan*/ FILE;

/* Variables and functions */
char EOF;
int /*<<< orphan*/ fclose(int /*<<< orphan*/ *);
char fgetc(int /*<<< orphan*/ *);
int /*<<< orphan*/ *fopen(char *, char *);
int /*<<< orphan*/ memset(char *, int /*<<< orphan*/, int);
int /*<<< orphan*/ printf(char *, ...);
void p008() {
  FILE *fp;
  int size = 13;
  int i = 0;
  int j;
  char products[size];
  char max_products[size];
  char ch;
  unsigned long long result;
  unsigned long long max = 0;
  fp = fopen("data/p008.txt", "r");
  if (fp == NULL) {
    printf("Cannot run the problem. Data file does not exist.");
    return;
  }
  memset(products, 0, sizeof products);
  while ((ch = fgetc(fp)) != EOF) {
    result = 1;
    products[i] = ch - '0';
    if (products[i] >= 0 && products[i] <= 9) {
      for (j = 0; j < size; j++) {
        result *= products[j];
      }
      if (result > max) {
        max = result;
        for (j = 0; j < size; j++) {
          max_products[j] = products[j];
        }
      }
      i = (i + 1) % size;
    } else {
      printf("Invalid char detected in file.");
      return;
    }
  }
  fclose(fp);
  printf("The highest products from the series is as follows:\n");
  for (i = 0; i < size - 1; i++) {
    printf("%d * ", max_products[i]);
  }
  printf("%d = %llu", max_products[size - 1], max);
}


x86 assembly (clang, -O0):
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
movl   $0xd,-0xc(%rbp)
movl   $0x0,-0x10(%rbp)
mov    -0xc(%rbp),%eax
mov    %rax,-0x68(%rbp)
mov    %rsp,%rcx
mov    %rcx,-0x20(%rbp)
mov    %rax,%rdx
add    $0xf,%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x60(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x28(%rbp)
mov    -0xc(%rbp),%eax
mov    %rax,%rdx
add    $0xf,%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x58(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x30(%rbp)
movq   $0x0,-0x48(%rbp)
lea    0xe42(%rip),%rdi
lea    0xe49(%rip),%rsi
call   1070 <fopen@plt>
mov    %rax,-0x8(%rbp)
cmpq   $0x0,-0x8(%rbp)
jne    11f3 <p008+0xa3>
lea    0xe30(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
movl   $0x1,-0x4c(%rbp)
jmp    13a2 <p008+0x252>
mov    -0x60(%rbp),%rdi
mov    -0x68(%rbp),%rax
mov    %eax,%edx
xor    %esi,%esi
call   1050 <memset@plt>
mov    -0x8(%rbp),%rdi
call   1060 <fgetc@plt>
mov    %al,-0x31(%rbp)
movsbl %al,%eax
mov    0x2dce(%rip),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
je     1321 <p008+0x1d1>
mov    -0x60(%rbp),%rax
movq   $0x1,-0x40(%rbp)
movsbl -0x31(%rbp),%ecx
sub    $0x30,%ecx
mov    %cl,%dl
movslq -0x10(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
movslq -0x10(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jl     1302 <p008+0x1b2>
mov    -0x60(%rbp),%rax
movslq -0x10(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x9,%eax
jg     1302 <p008+0x1b2>
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    129e <p008+0x14e>
mov    -0x60(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbq (%rax,%rcx,1),%rax
imul   -0x40(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    126e <p008+0x11e>
mov    -0x40(%rbp),%rax
cmp    -0x48(%rbp),%rax
jbe    12f0 <p008+0x1a0>
mov    -0x40(%rbp),%rax
mov    %rax,-0x48(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    12eb <p008+0x19b>
mov    -0x58(%rbp),%rax
mov    -0x60(%rbp),%rcx
movslq -0x14(%rbp),%rdx
mov    (%rcx,%rdx,1),%dl
movslq -0x14(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    12bb <p008+0x16b>
jmp    12f0 <p008+0x1a0>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
cltd
idivl  -0xc(%rbp)
mov    %edx,-0x10(%rbp)
jmp    131c <p008+0x1cc>
lea    0xd39(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
movl   $0x1,-0x4c(%rbp)
jmp    13a2 <p008+0x252>
jmp    1204 <p008+0xb4>
mov    -0x8(%rbp),%rdi
call   1030 <fclose@plt>
lea    0xd30(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
movl   $0x0,-0x10(%rbp)
mov    -0x10(%rbp),%eax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    1378 <p008+0x228>
mov    -0x58(%rbp),%rax
movslq -0x10(%rbp),%rcx
movsbl (%rax,%rcx,1),%esi
lea    0xd33(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    133f <p008+0x1ef>
mov    -0x58(%rbp),%rax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%esi
mov    -0x48(%rbp),%rdx
lea    0xd08(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
movl   $0x0,-0x4c(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,%rsp
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
lea    0xe8b(%rip),%rdi
lea    0xe92(%rip),%rsi
call   1080 <fopen@plt>
test   %rax,%rax
je     12ab <p008+0x14b>
mov    %rax,%rbx
lea    0x10(%rsp),%rdi
xor    %r12d,%r12d
xor    %esi,%esi
mov    $0xd,%edx
call   1060 <memset@plt>
mov    %rbx,%rdi
call   1070 <fgetc@plt>
mov    0x2e38(%rip),%rcx
cmp    (%rcx),%al
jne    12c7 <p008+0x167>
xor    %eax,%eax
mov    %rax,0x20(%rsp)
mov    %rbx,%rdi
call   1040 <fclose@plt>
lea    0xea3(%rip),%rdi
call   1030 <puts@plt>
movsbl 0x3(%rsp),%esi
lea    0xe82(%rip),%rbx
mov    %rbx,%rdi
xor    %eax,%eax
call   1050 <printf@plt>
movsbl 0x4(%rsp),%esi
mov    %rbx,%rdi
xor    %eax,%eax
call   1050 <printf@plt>
movsbl 0x5(%rsp),%esi
mov    %rbx,%rdi
xor    %eax,%eax
call   1050 <printf@plt>
movsbl 0x6(%rsp),%esi
mov    %rbx,%rdi
xor    %eax,%eax
call   1050 <printf@plt>
movsbl 0x7(%rsp),%esi
mov    %rbx,%rdi
xor    %eax,%eax
call   1050 <printf@plt>
movsbl 0x8(%rsp),%esi
mov    %rbx,%rdi
xor    %eax,%eax
call   1050 <printf@plt>
movsbl 0x9(%rsp),%esi
mov    %rbx,%rdi
xor    %eax,%eax
call   1050 <printf@plt>
movsbl 0xa(%rsp),%esi
mov    %rbx,%rdi
xor    %eax,%eax
call   1050 <printf@plt>
movsbl 0xb(%rsp),%esi
mov    %rbx,%rdi
xor    %eax,%eax
call   1050 <printf@plt>
movsbl 0xc(%rsp),%esi
mov    %rbx,%rdi
xor    %eax,%eax
call   1050 <printf@plt>
movsbl 0xd(%rsp),%esi
mov    %rbx,%rdi
xor    %eax,%eax
call   1050 <printf@plt>
movsbl 0xe(%rsp),%esi
mov    %rbx,%rdi
xor    %eax,%eax
call   1050 <printf@plt>
movsbl 0xf(%rsp),%esi
lea    0xdcd(%rip),%rdi
mov    0x20(%rsp),%rdx
xor    %eax,%eax
call   1050 <printf@plt>
jmp    1448 <p008+0x2e8>
lea    0xd5e(%rip),%rdi
xor    %eax,%eax
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1050 <printf@plt>
xor    %ecx,%ecx
mov    %rcx,0x20(%rsp)
mov    %rbx,0x28(%rsp)
jmp    1320 <p008+0x1c0>
cs nopw 0x0(%rax,%rax,1)
nop
add    $0x1,%r12d
movslq %r12d,%r12
imul   $0x4ec4ec4f,%r12,%rax
mov    %rax,%rcx
shr    $0x3f,%rcx
sar    $0x22,%rax
add    %ecx,%eax
lea    (%rax,%rax,2),%ecx
lea    (%rax,%rcx,4),%eax
sub    %eax,%r12d
mov    0x28(%rsp),%rbx
mov    %rbx,%rdi
call   1070 <fgetc@plt>
mov    0x2cd0(%rip),%rcx
cmp    (%rcx),%al
je     11bf <p008+0x5f>
add    $0xd0,%al
movslq %r12d,%rcx
mov    %al,0x10(%rsp,%rcx,1)
cmp    $0x9,%al
ja     143a <p008+0x2da>
movsbq 0x10(%rsp),%rax
movsbq 0x11(%rsp),%r9
mov    %rax,%rcx
mov    %rax,0x30(%rsp)
imul   %r9,%rax
movsbq 0x12(%rsp),%r10
movsbq 0x13(%rsp),%r11
mov    %r10,%rcx
imul   %r11,%rcx
imul   %rax,%rcx
movsbq 0x14(%rsp),%rdi
movsbq 0x15(%rsp),%rbp
mov    %rdi,%rdx
imul   %rbp,%rdx
movsbq 0x16(%rsp),%rbx
imul   %rbx,%rdx
imul   %rcx,%rdx
movsbq 0x17(%rsp),%r8
movsbq 0x18(%rsp),%rcx
mov    %r8,%rax
imul   %rcx,%rax
movsbq 0x19(%rsp),%rsi
imul   %rsi,%rax
movsbq 0x1a(%rsp),%r13
imul   %r13,%rax
imul   %rdx,%rax
movsbq 0x1b(%rsp),%r14
movsbq 0x1c(%rsp),%r15
mov    %r14,%rdx
imul   %r15,%rdx
imul   %rax,%rdx
cmp    0x20(%rsp),%rdx
jbe    12e0 <p008+0x180>
mov    %r15d,%eax
mov    %r15b,0xf(%rsp)
mov    %r14d,%eax
mov    %r14b,0xe(%rsp)
mov    %r13d,%eax
mov    %r13b,0xd(%rsp)
mov    %esi,%eax
mov    %sil,0xc(%rsp)
mov    %ecx,%eax
mov    %cl,0xb(%rsp)
mov    %r8d,%eax
mov    %r8b,0xa(%rsp)
mov    %ebx,%eax
mov    %bl,0x9(%rsp)
mov    %ebp,%eax
mov    %bpl,0x8(%rsp)
mov    %edi,%eax
mov    %dil,0x7(%rsp)
mov    %r11d,%eax
mov    %r11b,0x6(%rsp)
mov    %r10d,%eax
mov    %r10b,0x5(%rsp)
mov    %r9d,%eax
mov    %r9b,0x4(%rsp)
mov    0x30(%rsp),%rax
mov    %al,0x3(%rsp)
mov    %rdx,0x20(%rsp)
jmp    12e0 <p008+0x180>
lea    0xc01(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [14 x i8] c"data/p008.txt\00"
@.str.1 = [2 x i8] c"r\00"
@.str.2 = [50 x i8] c"Cannot run the problem. Data file does not exist.\00"
@EOF = global i8 0
@.str.3 = [31 x i8] c"Invalid char detected in file.\00"
@.str.4 = [53 x i8] c"The highest products from the series is as follows:\0A\00"
@.str.5 = [6 x i8] c"%d * \00"
@.str.6 = [10 x i8] c"%d = %llu\00"
define void @p008() {
%1 = alloca i32*
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
%5 = alloca i8*
%6 = alloca i64
%7 = alloca i64
%8 = alloca i8
%9 = alloca i64
%10 = alloca i64
%11 = alloca i32
store i32 13, i32* %2
store i32 0, i32* %3
%12 = load i32, i32* %2
%13 = zext i32 %12 to i64
%14 = call i8* @llvm.stacksave()
store i8* %14, i8** %5
%15 = alloca i8, i64 %13
store i64 %13, i64* %6
%16 = load i32, i32* %2
%17 = zext i32 %16 to i64
%18 = alloca i8, i64 %17
store i64 %17, i64* %7
store i64 0, i64* %10
%19 = call i32* @fopen(i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0))
store i32* %19, i32** %1
%20 = load i32*, i32** %1
%21 = icmp eq i32* %20, null
br i1 %21, label %22, label %24
22: ; preds = %0
%23 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([50 x i8], [50 x i8]* @.str.2, i64 0, i64 0))
store i32 1, i32* %11
br label %129
24: ; preds = %0
%25 = trunc i64 %13 to i32
%26 = call i32 @memset(i8* %15, i32 0, i32 %25)
br label %27
27: ; preds = %100, %24
%28 = load i32*, i32** %1
%29 = call signext i8 @fgetc(i32* %28)
store i8 %29, i8* %8
%30 = sext i8 %29 to i32
%31 = load i8, i8* @EOF
%32 = sext i8 %31 to i32
%33 = icmp ne i32 %30, %32
br i1 %33, label %34, label %101
34: ; preds = %27
store i64 1, i64* %9
%35 = load i8, i8* %8
%36 = sext i8 %35 to i32
%37 = sub nsw i32 %36, 48
%38 = trunc i32 %37 to i8
%39 = load i32, i32* %3
%40 = sext i32 %39 to i64
%41 = getelementptr inbounds i8, i8* %15, i64 %40
store i8 %38, i8* %41
%42 = load i32, i32* %3
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds i8, i8* %15, i64 %43
%45 = load i8, i8* %44
%46 = sext i8 %45 to i32
%47 = icmp sge i32 %46, 0
br i1 %47, label %48, label %98
48: ; preds = %34
%49 = load i32, i32* %3
%50 = sext i32 %49 to i64
%51 = getelementptr inbounds i8, i8* %15, i64 %50
%52 = load i8, i8* %51
%53 = sext i8 %52 to i32
%54 = icmp sle i32 %53, 9
br i1 %54, label %55, label %98
55: ; preds = %48
store i32 0, i32* %4
br label %56
56: ; preds = %68, %55
%57 = load i32, i32* %4
%58 = load i32, i32* %2
%59 = icmp slt i32 %57, %58
br i1 %59, label %60, label %71
60: ; preds = %56
%61 = load i32, i32* %4
%62 = sext i32 %61 to i64
%63 = getelementptr inbounds i8, i8* %15, i64 %62
%64 = load i8, i8* %63
%65 = sext i8 %64 to i64
%66 = load i64, i64* %9
%67 = mul i64 %66, %65
store i64 %67, i64* %9
br label %68
68: ; preds = %60
%69 = load i32, i32* %4
%70 = add nsw i32 %69, 1
store i32 %70, i32* %4
br label %56
71: ; preds = %56
%72 = load i64, i64* %9
%73 = load i64, i64* %10
%74 = icmp ugt i64 %72, %73
br i1 %74, label %75, label %93
75: ; preds = %71
%76 = load i64, i64* %9
store i64 %76, i64* %10
store i32 0, i32* %4
br label %77
77: ; preds = %89, %75
%78 = load i32, i32* %4
%79 = load i32, i32* %2
%80 = icmp slt i32 %78, %79
br i1 %80, label %81, label %92
81: ; preds = %77
%82 = load i32, i32* %4
%83 = sext i32 %82 to i64
%84 = getelementptr inbounds i8, i8* %15, i64 %83
%85 = load i8, i8* %84
%86 = load i32, i32* %4
%87 = sext i32 %86 to i64
%88 = getelementptr inbounds i8, i8* %18, i64 %87
store i8 %85, i8* %88
br label %89
89: ; preds = %81
%90 = load i32, i32* %4
%91 = add nsw i32 %90, 1
store i32 %91, i32* %4
br label %77
92: ; preds = %77
br label %93
93: ; preds = %92, %71
%94 = load i32, i32* %3
%95 = add nsw i32 %94, 1
%96 = load i32, i32* %2
%97 = srem i32 %95, %96
store i32 %97, i32* %3
br label %100
98: ; preds = %48, %34
%99 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.3, i64 0, i64 0))
store i32 1, i32* %11
br label %129
100: ; preds = %93
br label %27
101: ; preds = %27
%102 = load i32*, i32** %1
%103 = call i32 @fclose(i32* %102)
%104 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([53 x i8], [53 x i8]* @.str.4, i64 0, i64 0))
store i32 0, i32* %3
br label %105
105: ; preds = %117, %101
%106 = load i32, i32* %3
%107 = load i32, i32* %2
%108 = sub nsw i32 %107, 1
%109 = icmp slt i32 %106, %108
br i1 %109, label %110, label %120
110: ; preds = %105
%111 = load i32, i32* %3
%112 = sext i32 %111 to i64
%113 = getelementptr inbounds i8, i8* %18, i64 %112
%114 = load i8, i8* %113
%115 = sext i8 %114 to i32
%116 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.5, i64 0, i64 0), i32 %115)
br label %117
117: ; preds = %110
%118 = load i32, i32* %3
%119 = add nsw i32 %118, 1
store i32 %119, i32* %3
br label %105
120: ; preds = %105
%121 = load i32, i32* %2
%122 = sub nsw i32 %121, 1
%123 = sext i32 %122 to i64
%124 = getelementptr inbounds i8, i8* %18, i64 %123
%125 = load i8, i8* %124
%126 = sext i8 %125 to i32
%127 = load i64, i64* %10
%128 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.6, i64 0, i64 0), i32 %126, i64 %127)
store i32 0, i32* %11
br label %129
129: ; preds = %120, %98, %22
%130 = load i8*, i8** %5
%131 = load i32, i32* %11
switch i32 %131, label %133 [
i32 0, label %132
i32 1, label %132
]
132: ; preds = %129, %129
ret void
133: ; preds = %129
unreachable
}

LLVM IR (-O2):
@.str = [14 x i8] c"data/p008.txt\00"
@.str.1 = [2 x i8] c"r\00"
@.str.2 = [50 x i8] c"Cannot run the problem. Data file does not exist.\00"
@EOF = global i8 0
@.str.3 = [31 x i8] c"Invalid char detected in file.\00"
@.str.5 = [6 x i8] c"%d * \00"
@.str.6 = [10 x i8] c"%d = %llu\00"
@str = [52 x i8] c"The highest products from the series is as follows:\00"
define void @p008() {
%1 = alloca [13 x i8]
%2 = tail call i32* @fopen(i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0))
%3 = icmp eq i32* %2, null
br i1 %3, label %4, label %6
4: ; preds = %0
%5 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([50 x i8], [50 x i8]* @.str.2, i64 0, i64 0))
br label %152
6: ; preds = %0
%7 = getelementptr inbounds [13 x i8], [13 x i8]* %1, i64 0, i64 0
%8 = call i32 @memset(i8* %7, i32 0, i32 13)
%9 = call signext i8 @fgetc(i32* %2)
%10 = load i8, i8* @EOF
%11 = icmp eq i8 %9, %10
br i1 %11, label %109, label %12
12: ; preds = %6
%13 = getelementptr inbounds [13 x i8], [13 x i8]* %1, i64 0, i64 1
%14 = getelementptr inbounds [13 x i8], [13 x i8]* %1, i64 0, i64 2
%15 = getelementptr inbounds [13 x i8], [13 x i8]* %1, i64 0, i64 3
%16 = getelementptr inbounds [13 x i8], [13 x i8]* %1, i64 0, i64 4
%17 = getelementptr inbounds [13 x i8], [13 x i8]* %1, i64 0, i64 5
%18 = getelementptr inbounds [13 x i8], [13 x i8]* %1, i64 0, i64 6
%19 = getelementptr inbounds [13 x i8], [13 x i8]* %1, i64 0, i64 7
%20 = getelementptr inbounds [13 x i8], [13 x i8]* %1, i64 0, i64 8
%21 = getelementptr inbounds [13 x i8], [13 x i8]* %1, i64 0, i64 9
%22 = getelementptr inbounds [13 x i8], [13 x i8]* %1, i64 0, i64 10
%23 = getelementptr inbounds [13 x i8], [13 x i8]* %1, i64 0, i64 11
%24 = getelementptr inbounds [13 x i8], [13 x i8]* %1, i64 0, i64 12
br label %25
25: ; preds = %12, %87
%26 = phi i8 [ undef, %12 ], [ %88, %87 ]
%27 = phi i8 [ undef, %12 ], [ %89, %87 ]
%28 = phi i8 [ undef, %12 ], [ %90, %87 ]
%29 = phi i8 [ undef, %12 ], [ %91, %87 ]
%30 = phi i8 [ undef, %12 ], [ %92, %87 ]
%31 = phi i8 [ undef, %12 ], [ %93, %87 ]
%32 = phi i8 [ undef, %12 ], [ %94, %87 ]
%33 = phi i8 [ undef, %12 ], [ %95, %87 ]
%34 = phi i8 [ undef, %12 ], [ %96, %87 ]
%35 = phi i8 [ undef, %12 ], [ %97, %87 ]
%36 = phi i8 [ undef, %12 ], [ %98, %87 ]
%37 = phi i8 [ undef, %12 ], [ %99, %87 ]
%38 = phi i8 [ undef, %12 ], [ %100, %87 ]
%39 = phi i8 [ %9, %12 ], [ %104, %87 ]
%40 = phi i64 [ 0, %12 ], [ %101, %87 ]
%41 = phi i32 [ 0, %12 ], [ %103, %87 ]
%42 = add i8 %39, -48
%43 = sext i32 %41 to i64
%44 = getelementptr inbounds [13 x i8], [13 x i8]* %1, i64 0, i64 %43
store i8 %42, i8* %44
%45 = icmp ult i8 %42, 10
br i1 %45, label %46, label %107
46: ; preds = %25
%47 = load i8, i8* %7
%48 = sext i8 %47 to i64
%49 = load i8, i8* %13
%50 = sext i8 %49 to i64
%51 = mul nsw i64 %48, %50
%52 = load i8, i8* %14
%53 = sext i8 %52 to i64
%54 = mul nsw i64 %51, %53
%55 = load i8, i8* %15
%56 = sext i8 %55 to i64
%57 = mul nsw i64 %54, %56
%58 = load i8, i8* %16
%59 = sext i8 %58 to i64
%60 = mul nsw i64 %57, %59
%61 = load i8, i8* %17
%62 = sext i8 %61 to i64
%63 = mul nsw i64 %60, %62
%64 = load i8, i8* %18
%65 = sext i8 %64 to i64
%66 = mul nsw i64 %63, %65
%67 = load i8, i8* %19
%68 = sext i8 %67 to i64
%69 = mul nsw i64 %66, %68
%70 = load i8, i8* %20
%71 = sext i8 %70 to i64
%72 = mul nsw i64 %69, %71
%73 = load i8, i8* %21
%74 = sext i8 %73 to i64
%75 = mul i64 %72, %74
%76 = load i8, i8* %22
%77 = sext i8 %76 to i64
%78 = mul i64 %75, %77
%79 = load i8, i8* %23
%80 = sext i8 %79 to i64
%81 = mul i64 %78, %80
%82 = load i8, i8* %24
%83 = sext i8 %82 to i64
%84 = mul i64 %81, %83
%85 = icmp ugt i64 %84, %40
br i1 %85, label %86, label %87
86: ; preds = %46
br label %87
87: ; preds = %86, %46
%88 = phi i8 [ %82, %86 ], [ %26, %46 ]
%89 = phi i8 [ %79, %86 ], [ %27, %46 ]
%90 = phi i8 [ %76, %86 ], [ %28, %46 ]
%91 = phi i8 [ %73, %86 ], [ %29, %46 ]
%92 = phi i8 [ %70, %86 ], [ %30, %46 ]
%93 = phi i8 [ %67, %86 ], [ %31, %46 ]
%94 = phi i8 [ %64, %86 ], [ %32, %46 ]
%95 = phi i8 [ %61, %86 ], [ %33, %46 ]
%96 = phi i8 [ %58, %86 ], [ %34, %46 ]
%97 = phi i8 [ %55, %86 ], [ %35, %46 ]
%98 = phi i8 [ %52, %86 ], [ %36, %46 ]
%99 = phi i8 [ %49, %86 ], [ %37, %46 ]
%100 = phi i8 [ %47, %86 ], [ %38, %46 ]
%101 = phi i64 [ %84, %86 ], [ %40, %46 ]
%102 = add nsw i32 %41, 1
%103 = srem i32 %102, 13
%104 = call signext i8 @fgetc(i32* %2)
%105 = load i8, i8* @EOF
%106 = icmp eq i8 %104, %105
br i1 %106, label %109, label %25
107: ; preds = %25
%108 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([31 x i8], [31 x i8]* @.str.3, i64 0, i64 0))
br label %152
109: ; preds = %87, %6
%110 = phi i8 [ undef, %6 ], [ %88, %87 ]
%111 = phi i8 [ undef, %6 ], [ %89, %87 ]
%112 = phi i8 [ undef, %6 ], [ %90, %87 ]
%113 = phi i8 [ undef, %6 ], [ %91, %87 ]
%114 = phi i8 [ undef, %6 ], [ %92, %87 ]
%115 = phi i8 [ undef, %6 ], [ %93, %87 ]
%116 = phi i8 [ undef, %6 ], [ %94, %87 ]
%117 = phi i8 [ undef, %6 ], [ %95, %87 ]
%118 = phi i8 [ undef, %6 ], [ %96, %87 ]
%119 = phi i8 [ undef, %6 ], [ %97, %87 ]
%120 = phi i8 [ undef, %6 ], [ %98, %87 ]
%121 = phi i8 [ undef, %6 ], [ %99, %87 ]
%122 = phi i8 [ undef, %6 ], [ %100, %87 ]
%123 = phi i64 [ 0, %6 ], [ %101, %87 ]
%124 = call i32 @fclose(i32* %2)
%125 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([52 x i8], [52 x i8]* @str, i64 0, i64 0))
%126 = sext i8 %122 to i32
%127 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([6 x i8], [6 x i8]* @.str.5, i64 0, i64 0), i32 %126)
%128 = sext i8 %121 to i32
%129 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([6 x i8], [6 x i8]* @.str.5, i64 0, i64 0), i32 %128)
%130 = sext i8 %120 to i32
%131 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([6 x i8], [6 x i8]* @.str.5, i64 0, i64 0), i32 %130)
%132 = sext i8 %119 to i32
%133 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([6 x i8], [6 x i8]* @.str.5, i64 0, i64 0), i32 %132)
%134 = sext i8 %118 to i32
%135 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([6 x i8], [6 x i8]* @.str.5, i64 0, i64 0), i32 %134)
%136 = sext i8 %117 to i32
%137 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([6 x i8], [6 x i8]* @.str.5, i64 0, i64 0), i32 %136)
%138 = sext i8 %116 to i32
%139 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([6 x i8], [6 x i8]* @.str.5, i64 0, i64 0), i32 %138)
%140 = sext i8 %115 to i32
%141 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([6 x i8], [6 x i8]* @.str.5, i64 0, i64 0), i32 %140)
%142 = sext i8 %114 to i32
%143 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([6 x i8], [6 x i8]* @.str.5, i64 0, i64 0), i32 %142)
%144 = sext i8 %113 to i32
%145 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([6 x i8], [6 x i8]* @.str.5, i64 0, i64 0), i32 %144)
%146 = sext i8 %112 to i32
%147 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([6 x i8], [6 x i8]* @.str.5, i64 0, i64 0), i32 %146)
%148 = sext i8 %111 to i32
%149 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([6 x i8], [6 x i8]* @.str.5, i64 0, i64 0), i32 %148)
%150 = sext i8 %110 to i32
%151 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([10 x i8], [10 x i8]* @.str.6, i64 0, i64 0), i32 %150, i64 %123)
br label %152
152: ; preds = %109, %107, %4
ret void
}