#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 */
long long strlen(char *);
int /*<<< orphan*/ tolower(char);
long long int strdiff(char *stra, char *stre) {
  long long int diff = 0, i = 0, lena = strlen(stra), lene = strlen(stre),
                pint = lena, pont = lene;
  while (pint--)
    tolower(*(stra + pint));
  while (pont--)
    tolower(*(stre + pont));
  while (i < lena && i < lene)
    diff += *(stra + i) - *(stre + (i++));
  while (i < lena)
    diff += *(stra + (i++)) - 'a' + 1;
  while (i < lene)
    diff += *(stre + (i++)) - 'a' + 1;
  return diff;
}


x86 assembly (clang, -O0):
<strdiff>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movq   $0x0,-0x18(%rbp)
movq   $0x0,-0x20(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <strlen@plt>
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %rax,-0x30(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x30(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x38(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x38(%rbp)
cmp    $0x0,%rax
je     1199 <strdiff+0x79>
mov    -0x8(%rbp),%rax
mov    -0x38(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1040 <tolower@plt>
jmp    116a <strdiff+0x4a>
jmp    119e <strdiff+0x7e>
mov    -0x40(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x40(%rbp)
cmp    $0x0,%rax
je     11cd <strdiff+0xad>
mov    -0x10(%rbp),%rax
mov    -0x40(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1040 <tolower@plt>
jmp    119e <strdiff+0x7e>
jmp    11d2 <strdiff+0xb2>
mov    -0x20(%rbp),%rcx
xor    %eax,%eax
cmp    -0x28(%rbp),%rcx
mov    %al,-0x41(%rbp)
jge    11f3 <strdiff+0xd3>
mov    -0x20(%rbp),%rax
cmp    -0x30(%rbp),%rax
setl   %al
mov    %al,-0x41(%rbp)
mov    -0x41(%rbp),%al
test   $0x1,%al
jne    1203 <strdiff+0xe3>
jmp    1237 <strdiff+0x117>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x10(%rbp),%rcx
mov    -0x20(%rbp),%rdx
mov    %rdx,%rsi
add    $0x1,%rsi
mov    %rsi,-0x20(%rbp)
movsbl (%rcx,%rdx,1),%ecx
sub    %ecx,%eax
cltq
add    -0x18(%rbp),%rax
mov    %rax,-0x18(%rbp)
jmp    11d2 <strdiff+0xb2>
jmp    123c <strdiff+0x11c>
mov    -0x20(%rbp),%rax
cmp    -0x28(%rbp),%rax
jge    1276 <strdiff+0x156>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x20(%rbp)
movsbl (%rax,%rcx,1),%eax
sub    $0x61,%eax
add    $0x1,%eax
cltq
add    -0x18(%rbp),%rax
mov    %rax,-0x18(%rbp)
jmp    123c <strdiff+0x11c>
jmp    127b <strdiff+0x15b>
mov    -0x20(%rbp),%rax
cmp    -0x30(%rbp),%rax
jge    12b5 <strdiff+0x195>
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x20(%rbp)
movsbl (%rax,%rcx,1),%eax
sub    $0x61,%eax
add    $0x1,%eax
cltq
add    -0x18(%rbp),%rax
mov    %rax,-0x18(%rbp)
jmp    127b <strdiff+0x15b>
mov    -0x18(%rbp),%rax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<strdiff>:
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %rsi,%r15
mov    %rdi,%r13
call   1030 <strlen@plt>
mov    %rax,%r12
mov    %r15,%rdi
call   1030 <strlen@plt>
mov    %rax,%r14
test   %r12,%r12
je     1161 <strdiff+0x41>
mov    %r12,%rbx
nopw   0x0(%rax,%rax,1)
movsbl -0x1(%r13,%rbx,1),%edi
call   1040 <tolower@plt>
add    $0xffffffffffffffff,%rbx
jne    1150 <strdiff+0x30>
test   %r14,%r14
je     11c1 <strdiff+0xa1>
mov    %r14,%rbx
nopl   0x0(%rax)
movsbl -0x1(%r15,%rbx,1),%edi
call   1040 <tolower@plt>
add    $0xffffffffffffffff,%rbx
jne    1170 <strdiff+0x50>
xor    %ecx,%ecx
test   %r12,%r12
jle    11c3 <strdiff+0xa3>
mov    $0x0,%eax
test   %r14,%r14
jle    11c5 <strdiff+0xa5>
xor    %eax,%eax
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
movsbq 0x0(%r13,%rcx,1),%rdx
add    %rdx,%rax
movsbq (%r15,%rcx,1),%rdx
add    $0x1,%rcx
sub    %rdx,%rax
cmp    %r12,%rcx
jge    11c5 <strdiff+0xa5>
cmp    %r14,%rcx
jl     11a0 <strdiff+0x80>
jmp    11c5 <strdiff+0xa5>
xor    %ecx,%ecx
xor    %eax,%eax
mov    %r12,%rdx
sub    %rcx,%rdx
jle    1379 <strdiff+0x259>
cmp    $0x4,%rdx
jb     1360 <strdiff+0x240>
mov    %rdx,%r8
and    $0xfffffffffffffffc,%r8
movq   %rax,%xmm0
lea    -0x4(%r8),%rax
mov    %rax,%r9
shr    $0x2,%r9
add    $0x1,%r9
test   %rax,%rax
je     152f <strdiff+0x40f>
mov    %r9,%rax
and    $0xfffffffffffffffe,%rax
lea    (%rcx,%r13,1),%rsi
add    $0x6,%rsi
pxor   %xmm1,%xmm1
xor    %edi,%edi
movdqa 0xdf4(%rip),%xmm2
nopl   0x0(%rax)
movzwl -0x6(%rsi,%rdi,1),%ebx
movd   %ebx,%xmm3
punpcklbw %xmm3,%xmm3
punpcklwd %xmm3,%xmm3
movzwl -0x4(%rsi,%rdi,1),%ebx
movd   %ebx,%xmm4
punpcklbw %xmm4,%xmm4
punpcklwd %xmm4,%xmm4
pxor   %xmm5,%xmm5
pcmpgtd %xmm3,%xmm5
psrad  $0x18,%xmm3
punpckldq %xmm5,%xmm3
paddq  %xmm0,%xmm3
pxor   %xmm0,%xmm0
pcmpgtd %xmm4,%xmm0
psrad  $0x18,%xmm4
punpckldq %xmm0,%xmm4
paddq  %xmm1,%xmm4
movzwl -0x2(%rsi,%rdi,1),%ebx
movd   %ebx,%xmm0
punpcklbw %xmm0,%xmm0
punpcklwd %xmm0,%xmm0
pxor   %xmm1,%xmm1
pcmpgtd %xmm0,%xmm1
psrad  $0x18,%xmm0
punpckldq %xmm1,%xmm0
movzwl (%rsi,%rdi,1),%ebx
movd   %ebx,%xmm1
punpcklbw %xmm1,%xmm1
punpcklwd %xmm1,%xmm1
pxor   %xmm5,%xmm5
pcmpgtd %xmm1,%xmm5
psrad  $0x18,%xmm1
punpckldq %xmm5,%xmm1
paddq  %xmm2,%xmm0
paddq  %xmm3,%xmm0
paddq  %xmm2,%xmm1
paddq  %xmm4,%xmm1
add    $0x8,%rdi
add    $0xfffffffffffffffe,%rax
jne    1220 <strdiff+0x100>
movdqa 0xd2b(%rip),%xmm2
paddq  %xmm1,%xmm2
test   $0x1,%r9b
je     133c <strdiff+0x21c>
add    %rcx,%rdi
movzwl 0x0(%r13,%rdi,1),%eax
movd   %eax,%xmm1
movzwl 0x2(%r13,%rdi,1),%eax
movd   %eax,%xmm3
punpcklbw %xmm1,%xmm1
punpcklwd %xmm1,%xmm1
pxor   %xmm4,%xmm4
pxor   %xmm5,%xmm5
pcmpgtd %xmm1,%xmm5
psrad  $0x18,%xmm1
punpckldq %xmm5,%xmm1
paddq  %xmm1,%xmm0
punpcklbw %xmm3,%xmm1
punpcklwd %xmm1,%xmm1
pcmpgtd %xmm1,%xmm4
psrad  $0x18,%xmm1
punpckldq %xmm4,%xmm1
paddq  %xmm1,%xmm2
paddq  0xcc8(%rip),%xmm0
movdqa %xmm2,%xmm1
paddq  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddq  %xmm0,%xmm1
movq   %xmm1,%rax
cmp    %r8,%rdx
je     1376 <strdiff+0x256>
add    %r8,%rcx
cs nopw 0x0(%rax,%rax,1)
movsbq 0x0(%r13,%rcx,1),%rdx
add    $0x1,%rcx
add    %rdx,%rax
add    $0xffffffffffffffa0,%rax
cmp    %rcx,%r12
jne    1360 <strdiff+0x240>
mov    %r12,%rcx
mov    %r14,%rdx
sub    %rcx,%rdx
jle    1525 <strdiff+0x405>
cmp    $0x4,%rdx
jb     1510 <strdiff+0x3f0>
mov    %rdx,%r8
and    $0xfffffffffffffffc,%r8
movq   %rax,%xmm0
lea    -0x4(%r8),%rax
mov    %rax,%r9
shr    $0x2,%r9
add    $0x1,%r9
test   %rax,%rax
je     1548 <strdiff+0x428>
mov    %r9,%rax
and    $0xfffffffffffffffe,%rax
lea    (%rcx,%r15,1),%rsi
add    $0x6,%rsi
pxor   %xmm1,%xmm1
xor    %edi,%edi
movdqa 0xc40(%rip),%xmm2
movzwl -0x6(%rsi,%rdi,1),%ebx
movd   %ebx,%xmm3
punpcklbw %xmm3,%xmm3
punpcklwd %xmm3,%xmm3
movzwl -0x4(%rsi,%rdi,1),%ebx
movd   %ebx,%xmm4
punpcklbw %xmm4,%xmm4
punpcklwd %xmm4,%xmm4
pxor   %xmm5,%xmm5
pcmpgtd %xmm3,%xmm5
psrad  $0x18,%xmm3
punpckldq %xmm5,%xmm3
paddq  %xmm0,%xmm3
pxor   %xmm0,%xmm0
pcmpgtd %xmm4,%xmm0
psrad  $0x18,%xmm4
punpckldq %xmm0,%xmm4
paddq  %xmm1,%xmm4
movzwl -0x2(%rsi,%rdi,1),%ebx
movd   %ebx,%xmm0
punpcklbw %xmm0,%xmm0
punpcklwd %xmm0,%xmm0
pxor   %xmm1,%xmm1
pcmpgtd %xmm0,%xmm1
psrad  $0x18,%xmm0
punpckldq %xmm1,%xmm0
movzwl (%rsi,%rdi,1),%ebx
movd   %ebx,%xmm1
punpcklbw %xmm1,%xmm1
punpcklwd %xmm1,%xmm1
pxor   %xmm5,%xmm5
pcmpgtd %xmm1,%xmm5
psrad  $0x18,%xmm1
punpckldq %xmm5,%xmm1
paddq  %xmm2,%xmm0
paddq  %xmm3,%xmm0
paddq  %xmm2,%xmm1
paddq  %xmm4,%xmm1
add    $0x8,%rdi
add    $0xfffffffffffffffe,%rax
jne    13d0 <strdiff+0x2b0>
movdqa 0xb7b(%rip),%xmm2
paddq  %xmm1,%xmm2
test   $0x1,%r9b
je     14eb <strdiff+0x3cb>
add    %rcx,%rdi
movzwl (%r15,%rdi,1),%eax
movd   %eax,%xmm1
movzwl 0x2(%r15,%rdi,1),%eax
movd   %eax,%xmm3
punpcklbw %xmm1,%xmm1
punpcklwd %xmm1,%xmm1
pxor   %xmm4,%xmm4
pxor   %xmm5,%xmm5
pcmpgtd %xmm1,%xmm5
psrad  $0x18,%xmm1
punpckldq %xmm5,%xmm1
paddq  %xmm1,%xmm0
punpcklbw %xmm3,%xmm1
punpcklwd %xmm1,%xmm1
pcmpgtd %xmm1,%xmm4
psrad  $0x18,%xmm1
punpckldq %xmm4,%xmm1
paddq  %xmm1,%xmm2
paddq  0xb19(%rip),%xmm0
movdqa %xmm2,%xmm1
paddq  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddq  %xmm0,%xmm1
movq   %xmm1,%rax
cmp    %r8,%rdx
je     1525 <strdiff+0x405>
add    %r8,%rcx
cs nopw 0x0(%rax,%rax,1)
nop
movsbq (%r15,%rcx,1),%rdx
add    $0x1,%rcx
add    %rdx,%rax
add    $0xffffffffffffffa0,%rax
cmp    %rcx,%r14
jne    1510 <strdiff+0x3f0>
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
ret
movdqa 0xac9(%rip),%xmm2
xor    %edi,%edi
test   $0x1,%r9b
jne    12df <strdiff+0x1bf>
jmp    133c <strdiff+0x21c>
movdqa 0xab0(%rip),%xmm2
xor    %edi,%edi
test   $0x1,%r9b
jne    148f <strdiff+0x36f>
jmp    14eb <strdiff+0x3cb>

LLVM IR (-O0):
define i64 @strdiff(i8* %0, i8* %1) {
%3 = alloca i8*
%4 = alloca i8*
%5 = alloca i64
%6 = alloca i64
%7 = alloca i64
%8 = alloca i64
%9 = alloca i64
%10 = alloca i64
store i8* %0, i8** %3
store i8* %1, i8** %4
store i64 0, i64* %5
store i64 0, i64* %6
%11 = load i8*, i8** %3
%12 = call i64 @strlen(i8* %11)
store i64 %12, i64* %7
%13 = load i8*, i8** %4
%14 = call i64 @strlen(i8* %13)
store i64 %14, i64* %8
%15 = load i64, i64* %7
store i64 %15, i64* %9
%16 = load i64, i64* %8
store i64 %16, i64* %10
br label %17
17: ; preds = %21, %2
%18 = load i64, i64* %9
%19 = add nsw i64 %18, -1
store i64 %19, i64* %9
%20 = icmp ne i64 %18, 0
br i1 %20, label %21, label %27
21: ; preds = %17
%22 = load i8*, i8** %3
%23 = load i64, i64* %9
%24 = getelementptr inbounds i8, i8* %22, i64 %23
%25 = load i8, i8* %24
%26 = call i32 @tolower(i8 signext %25)
br label %17
27: ; preds = %17
br label %28
28: ; preds = %32, %27
%29 = load i64, i64* %10
%30 = add nsw i64 %29, -1
store i64 %30, i64* %10
%31 = icmp ne i64 %29, 0
br i1 %31, label %32, label %38
32: ; preds = %28
%33 = load i8*, i8** %4
%34 = load i64, i64* %10
%35 = getelementptr inbounds i8, i8* %33, i64 %34
%36 = load i8, i8* %35
%37 = call i32 @tolower(i8 signext %36)
br label %28
38: ; preds = %28
br label %39
39: ; preds = %49, %38
%40 = load i64, i64* %6
%41 = load i64, i64* %7
%42 = icmp slt i64 %40, %41
br i1 %42, label %43, label %47
43: ; preds = %39
%44 = load i64, i64* %6
%45 = load i64, i64* %8
%46 = icmp slt i64 %44, %45
br label %47
47: ; preds = %43, %39
%48 = phi i1 [ false, %39 ], [ %46, %43 ]
br i1 %48, label %49, label %65
49: ; preds = %47
%50 = load i8*, i8** %3
%51 = load i64, i64* %6
%52 = getelementptr inbounds i8, i8* %50, i64 %51
%53 = load i8, i8* %52
%54 = sext i8 %53 to i32
%55 = load i8*, i8** %4
%56 = load i64, i64* %6
%57 = add nsw i64 %56, 1
store i64 %57, i64* %6
%58 = getelementptr inbounds i8, i8* %55, i64 %56
%59 = load i8, i8* %58
%60 = sext i8 %59 to i32
%61 = sub nsw i32 %54, %60
%62 = sext i32 %61 to i64
%63 = load i64, i64* %5
%64 = add nsw i64 %63, %62
store i64 %64, i64* %5
br label %39
65: ; preds = %47
br label %66
66: ; preds = %70, %65
%67 = load i64, i64* %6
%68 = load i64, i64* %7
%69 = icmp slt i64 %67, %68
br i1 %69, label %70, label %82
70: ; preds = %66
%71 = load i8*, i8** %3
%72 = load i64, i64* %6
%73 = add nsw i64 %72, 1
store i64 %73, i64* %6
%74 = getelementptr inbounds i8, i8* %71, i64 %72
%75 = load i8, i8* %74
%76 = sext i8 %75 to i32
%77 = sub nsw i32 %76, 97
%78 = add nsw i32 %77, 1
%79 = sext i32 %78 to i64
%80 = load i64, i64* %5
%81 = add nsw i64 %80, %79
store i64 %81, i64* %5
br label %66
82: ; preds = %66
br label %83
83: ; preds = %87, %82
%84 = load i64, i64* %6
%85 = load i64, i64* %8
%86 = icmp slt i64 %84, %85
br i1 %86, label %87, label %99
87: ; preds = %83
%88 = load i8*, i8** %4
%89 = load i64, i64* %6
%90 = add nsw i64 %89, 1
store i64 %90, i64* %6
%91 = getelementptr inbounds i8, i8* %88, i64 %89
%92 = load i8, i8* %91
%93 = sext i8 %92 to i32
%94 = sub nsw i32 %93, 97
%95 = add nsw i32 %94, 1
%96 = sext i32 %95 to i64
%97 = load i64, i64* %5
%98 = add nsw i64 %97, %96
store i64 %98, i64* %5
br label %83
99: ; preds = %83
%100 = load i64, i64* %5
ret i64 %100
}

LLVM IR (-O2):
define i64 @strdiff(i8* nocapture %0, i8* nocapture %1) {
%3 = tail call i64 @strlen(i8* dereferenceable(1) %0)
%4 = tail call i64 @strlen(i8* dereferenceable(1) %1)
%5 = icmp eq i64 %3, 0
br i1 %5, label %6, label %8
6: ; preds = %8, %2
%7 = icmp eq i64 %4, 0
br i1 %7, label %26, label %19
8: ; preds = %2, %8
%9 = phi i64 [ %10, %8 ], [ %3, %2 ]
%10 = add nsw i64 %9, -1
%11 = getelementptr inbounds i8, i8* %0, i64 %10
%12 = load i8, i8* %11
%13 = tail call i32 @tolower(i8 signext %12)
%14 = icmp eq i64 %10, 0
br i1 %14, label %6, label %8
15: ; preds = %19
%16 = icmp sgt i64 %3, 0
%17 = icmp sgt i64 %4, 0
%18 = select i1 %16, i1 %17, i1 false
br i1 %18, label %110, label %26
19: ; preds = %6, %19
%20 = phi i64 [ %21, %19 ], [ %4, %6 ]
%21 = add nsw i64 %20, -1
%22 = getelementptr inbounds i8, i8* %1, i64 %21
%23 = load i8, i8* %22
%24 = tail call i32 @tolower(i8 signext %23)
%25 = icmp eq i64 %21, 0
br i1 %25, label %15, label %19
26: ; preds = %110, %6, %15
%27 = phi i64 [ 0, %15 ], [ 0, %6 ], [ %116, %110 ]
%28 = phi i64 [ 0, %15 ], [ 0, %6 ], [ %121, %110 ]
%29 = icmp sgt i64 %3, %27
br i1 %29, label %30, label %125
30: ; preds = %26
%31 = sub i64 %3, %27
%32 = icmp ult i64 %31, 4
br i1 %32, label %107, label %33
33: ; preds = %30
%34 = and i64 %31, -4
%35 = add i64 %27, %34
%36 = insertelement <2 x i64> <i64 poison, i64 0>, i64 %28, i64 0
%37 = add i64 %34, -4
%38 = lshr exact i64 %37, 2
%39 = add nuw nsw i64 %38, 1
%40 = and i64 %39, 1
%41 = icmp eq i64 %37, 0
br i1 %41, label %81, label %42
42: ; preds = %33
%43 = and i64 %39, 9223372036854775806
br label %44
44: ; preds = %44, %42
%45 = phi i64 [ 0, %42 ], [ %76, %44 ]
%46 = phi <2 x i64> [ %36, %42 ], [ %74, %44 ]
%47 = phi <2 x i64> [ zeroinitializer, %42 ], [ %75, %44 ]
%48 = phi i64 [ 0, %42 ], [ %77, %44 ]
%49 = add i64 %27, %45
%50 = getelementptr inbounds i8, i8* %0, i64 %49
%51 = bitcast i8* %50 to <2 x i8>*
%52 = load <2 x i8>, <2 x i8>* %51
%53 = getelementptr inbounds i8, i8* %50, i64 2
%54 = bitcast i8* %53 to <2 x i8>*
%55 = load <2 x i8>, <2 x i8>* %54
%56 = sext <2 x i8> %52 to <2 x i64>
%57 = sext <2 x i8> %55 to <2 x i64>
%58 = add <2 x i64> %46, <i64 -96, i64 -96>
%59 = add <2 x i64> %47, <i64 -96, i64 -96>
%60 = add <2 x i64> %58, %56
%61 = add <2 x i64> %59, %57
%62 = or i64 %45, 4
%63 = add i64 %27, %62
%64 = getelementptr inbounds i8, i8* %0, i64 %63
%65 = bitcast i8* %64 to <2 x i8>*
%66 = load <2 x i8>, <2 x i8>* %65
%67 = getelementptr inbounds i8, i8* %64, i64 2
%68 = bitcast i8* %67 to <2 x i8>*
%69 = load <2 x i8>, <2 x i8>* %68
%70 = sext <2 x i8> %66 to <2 x i64>
%71 = sext <2 x i8> %69 to <2 x i64>
%72 = add <2 x i64> %60, <i64 -96, i64 -96>
%73 = add <2 x i64> %61, <i64 -96, i64 -96>
%74 = add <2 x i64> %72, %70
%75 = add <2 x i64> %73, %71
%76 = add nuw i64 %45, 8
%77 = add i64 %48, 2
%78 = icmp eq i64 %77, %43
br i1 %78, label %79, label %44
79: ; preds = %44
%80 = add <2 x i64> %75, <i64 -96, i64 -96>
br label %81
81: ; preds = %79, %33
%82 = phi <2 x i64> [ undef, %33 ], [ %74, %79 ]
%83 = phi <2 x i64> [ undef, %33 ], [ %75, %79 ]
%84 = phi i64 [ 0, %33 ], [ %76, %79 ]
%85 = phi <2 x i64> [ %36, %33 ], [ %74, %79 ]
%86 = phi <2 x i64> [ <i64 -96, i64 -96>, %33 ], [ %80, %79 ]
%87 = icmp eq i64 %40, 0
br i1 %87, label %101, label %88
88: ; preds = %81
%89 = add i64 %27, %84
%90 = getelementptr inbounds i8, i8* %0, i64 %89
%91 = bitcast i8* %90 to <2 x i8>*
%92 = load <2 x i8>, <2 x i8>* %91
%93 = getelementptr inbounds i8, i8* %90, i64 2
%94 = bitcast i8* %93 to <2 x i8>*
%95 = load <2 x i8>, <2 x i8>* %94
%96 = sext <2 x i8> %92 to <2 x i64>
%97 = sext <2 x i8> %95 to <2 x i64>
%98 = add <2 x i64> %85, <i64 -96, i64 -96>
%99 = add <2 x i64> %98, %96
%100 = add <2 x i64> %86, %97
br label %101
101: ; preds = %81, %88
%102 = phi <2 x i64> [ %82, %81 ], [ %99, %88 ]
%103 = phi <2 x i64> [ %83, %81 ], [ %100, %88 ]
%104 = add <2 x i64> %103, %102
%105 = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %104)
%106 = icmp eq i64 %31, %34
br i1 %106, label %125, label %107
107: ; preds = %30, %101
%108 = phi i64 [ %28, %30 ], [ %105, %101 ]
%109 = phi i64 [ %27, %30 ], [ %35, %101 ]
br label %209
110: ; preds = %15, %110
%111 = phi i64 [ %121, %110 ], [ 0, %15 ]
%112 = phi i64 [ %116, %110 ], [ 0, %15 ]
%113 = getelementptr inbounds i8, i8* %0, i64 %112
%114 = load i8, i8* %113
%115 = sext i8 %114 to i64
%116 = add nuw nsw i64 %112, 1
%117 = getelementptr inbounds i8, i8* %1, i64 %112
%118 = load i8, i8* %117
%119 = sext i8 %118 to i64
%120 = add i64 %111, %115
%121 = sub i64 %120, %119
%122 = icmp slt i64 %116, %3
%123 = icmp slt i64 %116, %4
%124 = select i1 %122, i1 %123, i1 false
br i1 %124, label %110, label %26
125: ; preds = %209, %101, %26
%126 = phi i64 [ %27, %26 ], [ %3, %101 ], [ %3, %209 ]
%127 = phi i64 [ %28, %26 ], [ %105, %101 ], [ %217, %209 ]
%128 = icmp sgt i64 %4, %126
br i1 %128, label %129, label %229
129: ; preds = %125
%130 = sub i64 %4, %126
%131 = icmp ult i64 %130, 4
br i1 %131, label %206, label %132
132: ; preds = %129
%133 = and i64 %130, -4
%134 = add i64 %126, %133
%135 = insertelement <2 x i64> <i64 poison, i64 0>, i64 %127, i64 0
%136 = add i64 %133, -4
%137 = lshr exact i64 %136, 2
%138 = add nuw nsw i64 %137, 1
%139 = and i64 %138, 1
%140 = icmp eq i64 %136, 0
br i1 %140, label %180, label %141
141: ; preds = %132
%142 = and i64 %138, 9223372036854775806
br label %143
143: ; preds = %143, %141
%144 = phi i64 [ 0, %141 ], [ %175, %143 ]
%145 = phi <2 x i64> [ %135, %141 ], [ %173, %143 ]
%146 = phi <2 x i64> [ zeroinitializer, %141 ], [ %174, %143 ]
%147 = phi i64 [ 0, %141 ], [ %176, %143 ]
%148 = add i64 %126, %144
%149 = getelementptr inbounds i8, i8* %1, i64 %148
%150 = bitcast i8* %149 to <2 x i8>*
%151 = load <2 x i8>, <2 x i8>* %150
%152 = getelementptr inbounds i8, i8* %149, i64 2
%153 = bitcast i8* %152 to <2 x i8>*
%154 = load <2 x i8>, <2 x i8>* %153
%155 = sext <2 x i8> %151 to <2 x i64>
%156 = sext <2 x i8> %154 to <2 x i64>
%157 = add <2 x i64> %145, <i64 -96, i64 -96>
%158 = add <2 x i64> %146, <i64 -96, i64 -96>
%159 = add <2 x i64> %157, %155
%160 = add <2 x i64> %158, %156
%161 = or i64 %144, 4
%162 = add i64 %126, %161
%163 = getelementptr inbounds i8, i8* %1, i64 %162
%164 = bitcast i8* %163 to <2 x i8>*
%165 = load <2 x i8>, <2 x i8>* %164
%166 = getelementptr inbounds i8, i8* %163, i64 2
%167 = bitcast i8* %166 to <2 x i8>*
%168 = load <2 x i8>, <2 x i8>* %167
%169 = sext <2 x i8> %165 to <2 x i64>
%170 = sext <2 x i8> %168 to <2 x i64>
%171 = add <2 x i64> %159, <i64 -96, i64 -96>
%172 = add <2 x i64> %160, <i64 -96, i64 -96>
%173 = add <2 x i64> %171, %169
%174 = add <2 x i64> %172, %170
%175 = add nuw i64 %144, 8
%176 = add i64 %147, 2
%177 = icmp eq i64 %176, %142
br i1 %177, label %178, label %143
178: ; preds = %143
%179 = add <2 x i64> %174, <i64 -96, i64 -96>
br label %180
180: ; preds = %178, %132
%181 = phi <2 x i64> [ undef, %132 ], [ %173, %178 ]
%182 = phi <2 x i64> [ undef, %132 ], [ %174, %178 ]
%183 = phi i64 [ 0, %132 ], [ %175, %178 ]
%184 = phi <2 x i64> [ %135, %132 ], [ %173, %178 ]
%185 = phi <2 x i64> [ <i64 -96, i64 -96>, %132 ], [ %179, %178 ]
%186 = icmp eq i64 %139, 0
br i1 %186, label %200, label %187
187: ; preds = %180
%188 = add i64 %126, %183
%189 = getelementptr inbounds i8, i8* %1, i64 %188
%190 = bitcast i8* %189 to <2 x i8>*
%191 = load <2 x i8>, <2 x i8>* %190
%192 = getelementptr inbounds i8, i8* %189, i64 2
%193 = bitcast i8* %192 to <2 x i8>*
%194 = load <2 x i8>, <2 x i8>* %193
%195 = sext <2 x i8> %191 to <2 x i64>
%196 = sext <2 x i8> %194 to <2 x i64>
%197 = add <2 x i64> %184, <i64 -96, i64 -96>
%198 = add <2 x i64> %197, %195
%199 = add <2 x i64> %185, %196
br label %200
200: ; preds = %180, %187
%201 = phi <2 x i64> [ %181, %180 ], [ %198, %187 ]
%202 = phi <2 x i64> [ %182, %180 ], [ %199, %187 ]
%203 = add <2 x i64> %202, %201
%204 = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %203)
%205 = icmp eq i64 %130, %133
br i1 %205, label %229, label %206
206: ; preds = %129, %200
%207 = phi i64 [ %127, %129 ], [ %204, %200 ]
%208 = phi i64 [ %126, %129 ], [ %134, %200 ]
br label %219
209: ; preds = %107, %209
%210 = phi i64 [ %217, %209 ], [ %108, %107 ]
%211 = phi i64 [ %212, %209 ], [ %109, %107 ]
%212 = add nuw nsw i64 %211, 1
%213 = getelementptr inbounds i8, i8* %0, i64 %211
%214 = load i8, i8* %213
%215 = sext i8 %214 to i64
%216 = add i64 %210, -96
%217 = add i64 %216, %215
%218 = icmp eq i64 %212, %3
br i1 %218, label %125, label %209
219: ; preds = %206, %219
%220 = phi i64 [ %227, %219 ], [ %207, %206 ]
%221 = phi i64 [ %222, %219 ], [ %208, %206 ]
%222 = add nuw nsw i64 %221, 1
%223 = getelementptr inbounds i8, i8* %1, i64 %221
%224 = load i8, i8* %223
%225 = sext i8 %224 to i64
%226 = add i64 %220, -96
%227 = add i64 %226, %225
%228 = icmp eq i64 %222, %4
br i1 %228, label %229, label %219
229: ; preds = %219, %200, %125
%230 = phi i64 [ %127, %125 ], [ %204, %200 ], [ %227, %219 ]
ret i64 %230
}