#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 */
unsigned long min(unsigned long, unsigned long, unsigned long);
int strlen(char const *);
long unsigned wagner_fischer(const char str1[], const char str2[]) {
  long unsigned len = strlen(str2) + 1;
  long unsigned above[len], below[len];
  for (long unsigned *k = above, c = 0; k < above + len; ++k, ++c)
    *k = c;
  const char *str1_at = str1, *str2_at;
  for (long unsigned j = 1; j < strlen(str1) + 1; ++j) {
    *below = j;
    str2_at = str2;
    for (long unsigned *d = above, *a = above + 1, *l = below, *c = below + 1;
         c < below + len; ++d, ++a, ++l, ++c) {
      *c = min(*str1_at == *str2_at ? *d : *d + 1, *a + 1, *l + 1);
      ++str2_at;
    }
    for (long unsigned *a = above, *b = below; a < above + len; ++a, ++b)
      *a = *b;
    ++str1_at;
  }
  return above[len - 1];
}


x86 assembly (clang, -O0):
<wagner_fischer>:
push   %rbp
mov    %rsp,%rbp
sub    $0xb0,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
add    $0x1,%eax
cltq
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rcx
mov    %rsp,%rax
mov    %rax,-0x20(%rbp)
lea    0xf(,%rcx,8),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rax
sub    %rdx,%rax
mov    %rax,-0x98(%rbp)
mov    %rax,%rsp
mov    %rcx,-0x28(%rbp)
mov    -0x18(%rbp),%rcx
lea    0xf(,%rcx,8),%rsi
and    $0xfffffffffffffff0,%rsi
mov    %rsp,%rdx
sub    %rsi,%rdx
mov    %rdx,-0x90(%rbp)
mov    %rdx,%rsp
mov    %rcx,-0x30(%rbp)
mov    %rax,-0x38(%rbp)
movq   $0x0,-0x40(%rbp)
mov    -0x98(%rbp),%rcx
mov    -0x38(%rbp),%rax
mov    -0x18(%rbp),%rdx
shl    $0x3,%rdx
add    %rdx,%rcx
cmp    %rcx,%rax
jae    11e7 <wagner_fischer+0xc7>
mov    -0x40(%rbp),%rcx
mov    -0x38(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x38(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x38(%rbp)
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
jmp    11a0 <wagner_fischer+0x80>
mov    -0x8(%rbp),%rax
mov    %rax,-0x48(%rbp)
movq   $0x1,-0x58(%rbp)
mov    -0x58(%rbp),%rax
mov    %rax,-0xa0(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,%ecx
mov    -0xa0(%rbp),%rax
add    $0x1,%ecx
movslq %ecx,%rcx
cmp    %rcx,%rax
jae    13a8 <wagner_fischer+0x288>
mov    -0x90(%rbp),%rax
mov    -0x98(%rbp),%rcx
mov    -0x58(%rbp),%rdx
mov    %rdx,(%rax)
mov    -0x10(%rbp),%rdx
mov    %rdx,-0x50(%rbp)
mov    %rcx,-0x60(%rbp)
add    $0x8,%rcx
mov    %rcx,-0x68(%rbp)
mov    %rax,-0x70(%rbp)
add    $0x8,%rax
mov    %rax,-0x78(%rbp)
mov    -0x90(%rbp),%rcx
mov    -0x78(%rbp),%rax
mov    -0x18(%rbp),%rdx
shl    $0x3,%rdx
add    %rdx,%rcx
cmp    %rcx,%rax
jae    131f <wagner_fischer+0x1ff>
mov    -0x48(%rbp),%rax
movsbl (%rax),%eax
mov    -0x50(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
jne    12a0 <wagner_fischer+0x180>
mov    -0x60(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0xa8(%rbp)
jmp    12b2 <wagner_fischer+0x192>
mov    -0x60(%rbp),%rax
mov    (%rax),%rax
add    $0x1,%rax
mov    %rax,-0xa8(%rbp)
mov    -0xa8(%rbp),%rdi
mov    -0x68(%rbp),%rax
mov    (%rax),%rsi
add    $0x1,%rsi
mov    -0x70(%rbp),%rax
mov    (%rax),%rdx
add    $0x1,%rdx
call   1040 <min@plt>
mov    %rax,%rcx
mov    -0x78(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x50(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x50(%rbp)
mov    -0x60(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x60(%rbp)
mov    -0x68(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x68(%rbp)
mov    -0x70(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x70(%rbp)
mov    -0x78(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x78(%rbp)
jmp    1258 <wagner_fischer+0x138>
mov    -0x90(%rbp),%rax
mov    -0x98(%rbp),%rcx
mov    %rcx,-0x80(%rbp)
mov    %rax,-0x88(%rbp)
mov    -0x98(%rbp),%rcx
mov    -0x80(%rbp),%rax
mov    -0x18(%rbp),%rdx
shl    $0x3,%rdx
add    %rdx,%rcx
cmp    %rcx,%rax
jae    138b <wagner_fischer+0x26b>
mov    -0x88(%rbp),%rax
mov    (%rax),%rcx
mov    -0x80(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x80(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x80(%rbp)
mov    -0x88(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x88(%rbp)
jmp    1338 <wagner_fischer+0x218>
mov    -0x48(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x48(%rbp)
mov    -0x58(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x58(%rbp)
jmp    11f7 <wagner_fischer+0xd7>
mov    -0x98(%rbp),%rax
mov    -0x18(%rbp),%rcx
sub    $0x1,%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x20(%rbp),%rcx
mov    %rcx,%rsp
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<wagner_fischer>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x58,%rsp
mov    %rsi,%r14
mov    %rdi,-0x38(%rbp)
mov    %rsi,%rdi
call   1030 <strlen@plt>
mov    %eax,%r12d
movslq %eax,%r8
lea    0x1(%r8),%r9
mov    %rsp,%rsi
lea    0x17(,%r8,8),%rax
and    $0xfffffffffffffff0,%rax
sub    %rax,%rsi
mov    %rsi,%rsp
mov    %rsp,%rcx
sub    %rax,%rcx
mov    %rcx,-0x40(%rbp)
mov    %rcx,%rsp
mov    %rsi,%r15
not    %r15
test   %r8d,%r8d
js     1330 <wagner_fischer+0x200>
lea    (%rsi,%r9,8),%rax
mov    %rsi,%r10
or     $0x8,%r10
cmp    %r10,%rax
cmova  %rax,%r10
add    %r15,%r10
cmp    $0x18,%r10
jae    11b0 <wagner_fischer+0x80>
xor    %ecx,%ecx
mov    %rsi,%rax
jmp    1309 <wagner_fischer+0x1d9>
shr    $0x3,%r10
add    $0x1,%r10
mov    %r10,%rcx
and    $0xfffffffffffffffc,%rcx
lea    -0x4(%rcx),%rax
mov    %rax,%rdi
shr    $0x2,%rdi
add    $0x1,%rdi
mov    %edi,%edx
and    $0x3,%edx
cmp    $0xc,%rax
jae    11e8 <wagner_fischer+0xb8>
movdqa 0xe1f(%rip),%xmm0
xor    %eax,%eax
jmp    12b8 <wagner_fischer+0x188>
and    $0xfffffffffffffffc,%rdi
movdqa 0xe0c(%rip),%xmm0
xor    %eax,%eax
movdqa 0xe11(%rip),%xmm8
movdqa 0xe18(%rip),%xmm9
movdqa 0xe1f(%rip),%xmm10
movdqa 0xe27(%rip),%xmm4
movdqa 0xe2f(%rip),%xmm5
movdqa 0xe37(%rip),%xmm6
movdqa 0xe3f(%rip),%xmm7
movdqa 0xe47(%rip),%xmm1
nopl   0x0(%rax)
movdqa %xmm0,%xmm2
paddq  %xmm8,%xmm2
movdqa %xmm0,(%rsi,%rax,8)
movdqa %xmm2,0x10(%rsi,%rax,8)
movdqa %xmm0,%xmm2
paddq  %xmm9,%xmm2
movdqa %xmm0,%xmm3
paddq  %xmm10,%xmm3
movdqa %xmm2,0x20(%rsi,%rax,8)
movdqa %xmm3,0x30(%rsi,%rax,8)
movdqa %xmm0,%xmm2
paddq  %xmm4,%xmm2
movdqa %xmm0,%xmm3
paddq  %xmm5,%xmm3
movdqa %xmm2,0x40(%rsi,%rax,8)
movdqa %xmm3,0x50(%rsi,%rax,8)
movdqa %xmm0,%xmm2
paddq  %xmm6,%xmm2
movdqa %xmm0,%xmm3
paddq  %xmm7,%xmm3
movdqa %xmm2,0x60(%rsi,%rax,8)
movdqa %xmm3,0x70(%rsi,%rax,8)
add    $0x10,%rax
paddq  %xmm1,%xmm0
add    $0xfffffffffffffffc,%rdi
jne    1240 <wagner_fischer+0x110>
test   %rdx,%rdx
je     1300 <wagner_fischer+0x1d0>
lea    (%rsi,%rax,8),%rax
add    $0x10,%rax
shl    $0x5,%rdx
xor    %edi,%edi
movdqa 0xd3d(%rip),%xmm1
movdqa 0xd45(%rip),%xmm2
nopl   0x0(%rax,%rax,1)
movdqa %xmm0,%xmm3
paddq  %xmm1,%xmm3
movdqa %xmm0,-0x10(%rax,%rdi,1)
movdqa %xmm3,(%rax,%rdi,1)
paddq  %xmm2,%xmm0
add    $0x20,%rdi
cmp    %rdi,%rdx
jne    12e0 <wagner_fischer+0x1b0>
cmp    %rcx,%r10
je     1330 <wagner_fischer+0x200>
lea    (%rsi,%rcx,8),%rax
lea    (%rsi,%r8,8),%rdx
add    $0x8,%rdx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %rcx,(%rax)
add    $0x8,%rax
add    $0x1,%rcx
cmp    %rdx,%rax
jb     1320 <wagner_fischer+0x1f0>
mov    %rsi,-0x30(%rbp)
mov    %r9,-0x50(%rbp)
mov    %r14,-0x68(%rbp)
mov    -0x38(%rbp),%rdi
call   1030 <strlen@plt>
add    $0xffffffff,%eax
cmp    $0xfffffffd,%eax
ja     143d <wagner_fischer+0x30d>
mov    -0x50(%rbp),%rax
mov    -0x40(%rbp),%rdx
lea    (%rdx,%rax,8),%rcx
mov    %rcx,-0x78(%rbp)
mov    -0x30(%rbp),%rcx
lea    (%rcx,%rax,8),%rax
or     $0x8,%rcx
cmp    %rcx,%rax
cmova  %rax,%rcx
lea    0x8(%rdx),%rax
mov    %rax,-0x60(%rbp)
lea    (%rcx,%r15,1),%rax
add    $0x8,%rax
and    $0xfffffffffffffff8,%rax
mov    %rax,-0x58(%rbp)
mov    $0x1,%ebx
mov    -0x38(%rbp),%r15
mov    %r12d,-0x44(%rbp)
mov    -0x30(%rbp),%r14
jmp    13bf <wagner_fischer+0x28f>
nop
add    $0x1,%r15
mov    -0x70(%rbp),%rbx
add    $0x1,%rbx
mov    -0x38(%rbp),%rdi
call   1030 <strlen@plt>
add    $0x1,%eax
cltq
cmp    %rax,%rbx
jae    143d <wagner_fischer+0x30d>
mov    -0x40(%rbp),%rax
mov    %rbx,-0x70(%rbp)
mov    %rbx,(%rax)
test   %r12d,%r12d
mov    -0x68(%rbp),%rbx
jle    141a <wagner_fischer+0x2ea>
xor    %r12d,%r12d
mov    -0x60(%rbp),%r13
nopw   0x0(%rax,%rax,1)
movzbl (%r15),%eax
xor    %edi,%edi
cmp    (%rbx,%r12,1),%al
setne  %dil
add    (%r14,%r12,8),%rdi
mov    0x8(%r14,%r12,8),%rsi
add    $0x1,%rsi
mov    -0x8(%r13),%rdx
add    $0x1,%rdx
call   1040 <min@plt>
mov    %rax,0x0(%r13)
add    $0x8,%r13
add    $0x1,%r12
cmp    -0x78(%rbp),%r13
jb     13e0 <wagner_fischer+0x2b0>
mov    -0x44(%rbp),%r12d
test   %r12d,%r12d
js     13a0 <wagner_fischer+0x270>
mov    -0x30(%rbp),%rdi
mov    -0x40(%rbp),%rsi
mov    -0x58(%rbp),%rdx
call   1050 <memcpy@plt>
jmp    13a0 <wagner_fischer+0x270>
mov    -0x50(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    -0x8(%rcx,%rax,8),%rax
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i64 @wagner_fischer(i8* %0, i8* %1) {
%3 = alloca i8*
%4 = alloca i8*
%5 = alloca i64
%6 = alloca i8*
%7 = alloca i64
%8 = alloca i64
%9 = alloca i64*
%10 = alloca i64
%11 = alloca i8*
%12 = alloca i8*
%13 = alloca i64
%14 = alloca i64*
%15 = alloca i64*
%16 = alloca i64*
%17 = alloca i64*
%18 = alloca i64*
%19 = alloca i64*
store i8* %0, i8** %3
store i8* %1, i8** %4
%20 = load i8*, i8** %4
%21 = call i32 @strlen(i8* %20)
%22 = add nsw i32 %21, 1
%23 = sext i32 %22 to i64
store i64 %23, i64* %5
%24 = load i64, i64* %5
%25 = call i8* @llvm.stacksave()
store i8* %25, i8** %6
%26 = alloca i64, i64 %24
store i64 %24, i64* %7
%27 = load i64, i64* %5
%28 = alloca i64, i64 %27
store i64 %27, i64* %8
store i64* %26, i64** %9
store i64 0, i64* %10
br label %29
29: ; preds = %37, %2
%30 = load i64*, i64** %9
%31 = load i64, i64* %5
%32 = getelementptr inbounds i64, i64* %26, i64 %31
%33 = icmp ult i64* %30, %32
br i1 %33, label %34, label %42
34: ; preds = %29
%35 = load i64, i64* %10
%36 = load i64*, i64** %9
store i64 %35, i64* %36
br label %37
37: ; preds = %34
%38 = load i64*, i64** %9
%39 = getelementptr inbounds i64, i64* %38, i32 1
store i64* %39, i64** %9
%40 = load i64, i64* %10
%41 = add i64 %40, 1
store i64 %41, i64* %10
br label %29
42: ; preds = %29
%43 = load i8*, i8** %3
store i8* %43, i8** %11
store i64 1, i64* %13
br label %44
44: ; preds = %115, %42
%45 = load i64, i64* %13
%46 = load i8*, i8** %3
%47 = call i32 @strlen(i8* %46)
%48 = add nsw i32 %47, 1
%49 = sext i32 %48 to i64
%50 = icmp ult i64 %45, %49
br i1 %50, label %51, label %118
51: ; preds = %44
%52 = load i64, i64* %13
store i64 %52, i64* %28
%53 = load i8*, i8** %4
store i8* %53, i8** %12
store i64* %26, i64** %14
%54 = getelementptr inbounds i64, i64* %26, i64 1
store i64* %54, i64** %15
store i64* %28, i64** %16
%55 = getelementptr inbounds i64, i64* %28, i64 1
store i64* %55, i64** %17
br label %56
56: ; preds = %88, %51
%57 = load i64*, i64** %17
%58 = load i64, i64* %5
%59 = getelementptr inbounds i64, i64* %28, i64 %58
%60 = icmp ult i64* %57, %59
br i1 %60, label %61, label %97
61: ; preds = %56
%62 = load i8*, i8** %11
%63 = load i8, i8* %62
%64 = sext i8 %63 to i32
%65 = load i8*, i8** %12
%66 = load i8, i8* %65
%67 = sext i8 %66 to i32
%68 = icmp eq i32 %64, %67
br i1 %68, label %69, label %72
69: ; preds = %61
%70 = load i64*, i64** %14
%71 = load i64, i64* %70
br label %76
72: ; preds = %61
%73 = load i64*, i64** %14
%74 = load i64, i64* %73
%75 = add i64 %74, 1
br label %76
76: ; preds = %72, %69
%77 = phi i64 [ %71, %69 ], [ %75, %72 ]
%78 = load i64*, i64** %15
%79 = load i64, i64* %78
%80 = add i64 %79, 1
%81 = load i64*, i64** %16
%82 = load i64, i64* %81
%83 = add i64 %82, 1
%84 = call i64 @min(i64 %77, i64 %80, i64 %83)
%85 = load i64*, i64** %17
store i64 %84, i64* %85
%86 = load i8*, i8** %12
%87 = getelementptr inbounds i8, i8* %86, i32 1
store i8* %87, i8** %12
br label %88
88: ; preds = %76
%89 = load i64*, i64** %14
%90 = getelementptr inbounds i64, i64* %89, i32 1
store i64* %90, i64** %14
%91 = load i64*, i64** %15
%92 = getelementptr inbounds i64, i64* %91, i32 1
store i64* %92, i64** %15
%93 = load i64*, i64** %16
%94 = getelementptr inbounds i64, i64* %93, i32 1
store i64* %94, i64** %16
%95 = load i64*, i64** %17
%96 = getelementptr inbounds i64, i64* %95, i32 1
store i64* %96, i64** %17
br label %56
97: ; preds = %56
store i64* %26, i64** %18
store i64* %28, i64** %19
br label %98
98: ; preds = %107, %97
%99 = load i64*, i64** %18
%100 = load i64, i64* %5
%101 = getelementptr inbounds i64, i64* %26, i64 %100
%102 = icmp ult i64* %99, %101
br i1 %102, label %103, label %112
103: ; preds = %98
%104 = load i64*, i64** %19
%105 = load i64, i64* %104
%106 = load i64*, i64** %18
store i64 %105, i64* %106
br label %107
107: ; preds = %103
%108 = load i64*, i64** %18
%109 = getelementptr inbounds i64, i64* %108, i32 1
store i64* %109, i64** %18
%110 = load i64*, i64** %19
%111 = getelementptr inbounds i64, i64* %110, i32 1
store i64* %111, i64** %19
br label %98
112: ; preds = %98
%113 = load i8*, i8** %11
%114 = getelementptr inbounds i8, i8* %113, i32 1
store i8* %114, i8** %11
br label %115
115: ; preds = %112
%116 = load i64, i64* %13
%117 = add i64 %116, 1
store i64 %117, i64* %13
br label %44
118: ; preds = %44
%119 = load i64, i64* %5
%120 = sub i64 %119, 1
%121 = getelementptr inbounds i64, i64* %26, i64 %120
%122 = load i64, i64* %121
%123 = load i8*, i8** %6
ret i64 %122
}

LLVM IR (-O2):
define i64 @wagner_fischer(i8* %0, i8* %1) {
%3 = tail call i32 @strlen(i8* %1)
%4 = add nsw i32 %3, 1
%5 = sext i32 %4 to i64
%6 = alloca i64, i64 %5
%7 = ptrtoint i64* %6 to i64
%8 = bitcast i64* %6 to i8*
%9 = ptrtoint i64* %6 to i64
%10 = alloca i64, i64 %5
%11 = bitcast i64* %10 to i8*
%12 = getelementptr inbounds i64, i64* %6, i64 %5
%13 = icmp sgt i32 %3, -1
br i1 %13, label %14, label %90
14: ; preds = %2
%15 = shl nsw i64 %5, 3
%16 = add i64 %15, %7
%17 = or i64 %7, 8
%18 = call i64 @llvm.umax.i64(i64 %16, i64 %17)
%19 = xor i64 %7, -1
%20 = add i64 %18, %19
%21 = lshr i64 %20, 3
%22 = add nuw nsw i64 %21, 1
%23 = icmp ult i64 %20, 24
br i1 %23, label %87, label %24
24: ; preds = %14
%25 = and i64 %22, 4611686018427387900
%26 = getelementptr i64, i64* %6, i64 %25
%27 = add nsw i64 %25, -4
%28 = lshr exact i64 %27, 2
%29 = add nuw nsw i64 %28, 1
%30 = and i64 %29, 3
%31 = icmp ult i64 %27, 12
br i1 %31, label %68, label %32
32: ; preds = %24
%33 = and i64 %29, 9223372036854775804
br label %34
34: ; preds = %34, %32
%35 = phi i64 [ 0, %32 ], [ %64, %34 ]
%36 = phi <2 x i64> [ <i64 0, i64 1>, %32 ], [ %65, %34 ]
%37 = phi i64 [ 0, %32 ], [ %66, %34 ]
%38 = add <2 x i64> %36, <i64 2, i64 2>
%39 = getelementptr i64, i64* %6, i64 %35
%40 = bitcast i64* %39 to <2 x i64>*
store <2 x i64> %36, <2 x i64>* %40
%41 = getelementptr i64, i64* %39, i64 2
%42 = bitcast i64* %41 to <2 x i64>*
store <2 x i64> %38, <2 x i64>* %42
%43 = or i64 %35, 4
%44 = add <2 x i64> %36, <i64 4, i64 4>
%45 = add <2 x i64> %36, <i64 6, i64 6>
%46 = getelementptr i64, i64* %6, i64 %43
%47 = bitcast i64* %46 to <2 x i64>*
store <2 x i64> %44, <2 x i64>* %47
%48 = getelementptr i64, i64* %46, i64 2
%49 = bitcast i64* %48 to <2 x i64>*
store <2 x i64> %45, <2 x i64>* %49
%50 = or i64 %35, 8
%51 = add <2 x i64> %36, <i64 8, i64 8>
%52 = add <2 x i64> %36, <i64 10, i64 10>
%53 = getelementptr i64, i64* %6, i64 %50
%54 = bitcast i64* %53 to <2 x i64>*
store <2 x i64> %51, <2 x i64>* %54
%55 = getelementptr i64, i64* %53, i64 2
%56 = bitcast i64* %55 to <2 x i64>*
store <2 x i64> %52, <2 x i64>* %56
%57 = or i64 %35, 12
%58 = add <2 x i64> %36, <i64 12, i64 12>
%59 = add <2 x i64> %36, <i64 14, i64 14>
%60 = getelementptr i64, i64* %6, i64 %57
%61 = bitcast i64* %60 to <2 x i64>*
store <2 x i64> %58, <2 x i64>* %61
%62 = getelementptr i64, i64* %60, i64 2
%63 = bitcast i64* %62 to <2 x i64>*
store <2 x i64> %59, <2 x i64>* %63
%64 = add nuw i64 %35, 16
%65 = add <2 x i64> %36, <i64 16, i64 16>
%66 = add nuw i64 %37, 4
%67 = icmp eq i64 %66, %33
br i1 %67, label %68, label %34
68: ; preds = %34, %24
%69 = phi i64 [ 0, %24 ], [ %64, %34 ]
%70 = phi <2 x i64> [ <i64 0, i64 1>, %24 ], [ %65, %34 ]
%71 = icmp eq i64 %30, 0
br i1 %71, label %85, label %72
72: ; preds = %68, %72
%73 = phi i64 [ %81, %72 ], [ %69, %68 ]
%74 = phi <2 x i64> [ %82, %72 ], [ %70, %68 ]
%75 = phi i64 [ %83, %72 ], [ 0, %68 ]
%76 = add <2 x i64> %74, <i64 2, i64 2>
%77 = getelementptr i64, i64* %6, i64 %73
%78 = bitcast i64* %77 to <2 x i64>*
store <2 x i64> %74, <2 x i64>* %78
%79 = getelementptr i64, i64* %77, i64 2
%80 = bitcast i64* %79 to <2 x i64>*
store <2 x i64> %76, <2 x i64>* %80
%81 = add nuw i64 %73, 4
%82 = add <2 x i64> %74, <i64 4, i64 4>
%83 = add i64 %75, 1
%84 = icmp eq i64 %83, %30
br i1 %84, label %85, label %72
85: ; preds = %72, %68
%86 = icmp eq i64 %22, %25
br i1 %86, label %90, label %87
87: ; preds = %14, %85
%88 = phi i64 [ 0, %14 ], [ %25, %85 ]
%89 = phi i64* [ %6, %14 ], [ %26, %85 ]
br label %107
90: ; preds = %107, %85, %2
%91 = call i32 @strlen(i8* %0)
%92 = add i32 %91, -1
%93 = icmp ult i32 %92, -2
br i1 %93, label %94, label %113
94: ; preds = %90
%95 = getelementptr inbounds i64, i64* %10, i64 %5
%96 = getelementptr inbounds i64, i64* %10, i64 1
%97 = getelementptr inbounds i64, i64* %6, i64 1
%98 = icmp sgt i32 %3, 0
%99 = shl nsw i64 %5, 3
%100 = add i64 %99, %9
%101 = or i64 %9, 8
%102 = call i64 @llvm.umax.i64(i64 %100, i64 %101)
%103 = xor i64 %9, -1
%104 = add i64 %102, %103
%105 = add i64 %104, 8
%106 = and i64 %105, -8
br label %117
107: ; preds = %87, %107
%108 = phi i64 [ %111, %107 ], [ %88, %87 ]
%109 = phi i64* [ %110, %107 ], [ %89, %87 ]
store i64 %108, i64* %109
%110 = getelementptr inbounds i64, i64* %109, i64 1
%111 = add nuw nsw i64 %108, 1
%112 = icmp ult i64* %110, %12
br i1 %112, label %107, label %90
113: ; preds = %145, %90
%114 = add nsw i64 %5, -1
%115 = getelementptr inbounds i64, i64* %6, i64 %114
%116 = load i64, i64* %115
ret i64 %116
117: ; preds = %94, %145
%118 = phi i64 [ 1, %94 ], [ %147, %145 ]
%119 = phi i8* [ %0, %94 ], [ %146, %145 ]
store i64 %118, i64* %10
br i1 %98, label %122, label %120
120: ; preds = %122, %117
br i1 %13, label %121, label %145
121: ; preds = %120
br label %145
122: ; preds = %117, %122
%123 = phi i64* [ %143, %122 ], [ %97, %117 ]
%124 = phi i64* [ %142, %122 ], [ %96, %117 ]
%125 = phi i64* [ %141, %122 ], [ %10, %117 ]
%126 = phi i64* [ %140, %122 ], [ %6, %117 ]
%127 = phi i8* [ %139, %122 ], [ %1, %117 ]
%128 = load i8, i8* %119
%129 = load i8, i8* %127
%130 = icmp ne i8 %128, %129
%131 = load i64, i64* %126
%132 = zext i1 %130 to i64
%133 = add i64 %131, %132
%134 = load i64, i64* %123
%135 = add i64 %134, 1
%136 = load i64, i64* %125
%137 = add i64 %136, 1
%138 = call i64 @min(i64 %133, i64 %135, i64 %137)
store i64 %138, i64* %124
%139 = getelementptr inbounds i8, i8* %127, i64 1
%140 = getelementptr inbounds i64, i64* %126, i64 1
%141 = getelementptr inbounds i64, i64* %125, i64 1
%142 = getelementptr inbounds i64, i64* %124, i64 1
%143 = getelementptr inbounds i64, i64* %123, i64 1
%144 = icmp ult i64* %142, %95
br i1 %144, label %122, label %120
145: ; preds = %121, %120
%146 = getelementptr inbounds i8, i8* %119, i64 1
%147 = add nuw i64 %118, 1
%148 = call i32 @strlen(i8* %0)
%149 = add nsw i32 %148, 1
%150 = sext i32 %149 to i64
%151 = icmp ult i64 %147, %150
br i1 %151, label %117, label %113
}