#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 int Strings_Length(char *, unsigned int);
int /*<<< orphan*/ libc_printf(char *, int, char, ...);
int /*<<< orphan*/ memcpy(char *, char *, unsigned int);
void Strings_Insert(char *source_, unsigned int _source_high,
                    unsigned int startIndex, char *destination,
                    unsigned int _destination_high) {
  unsigned int newEnd;
  unsigned int endCopy;
  unsigned int i;
  unsigned int j;
  unsigned int sh;
  unsigned int dh;
  unsigned int dl;
  char source[_source_high + 1];
  memcpy(source, source_, _source_high + 1);
  sh = Strings_Length((char *)source, _source_high);
  dh = _destination_high;
  dl = Strings_Length((char *)destination, _destination_high);
  if ((1 == 0)) {
    libc_printf((char *)"sh = %d   dh = %d   dl = %d\\n", 29, sh, dh, dl);
  }
  newEnd = dl + sh;
  if (newEnd > dh) {
    newEnd = dh;
  }
  if (newEnd > sh) {
    endCopy = newEnd - sh;
  } else {
    endCopy = 0;
  }
  if ((1 == 0)) {
    libc_printf(
        (char *)"\\ndestination contains\\n%s\\nnewEnd = %d   endCopy = %d\\n",
        56, (*destination), newEnd, endCopy);
    libc_printf((char *)"newEnd = %d\\n", 13, newEnd);
    libc_printf((char *)"endCopy = %d\\n", 14, endCopy);
  }
  newEnd += 1;
  endCopy += 1;
  while (endCopy > startIndex) {
    newEnd -= 1;
    endCopy -= 1;
    if ((1 == 0)) {
      libc_printf((char *)"copying dest %d to %d (%c) (startIndex=%d)\\n", 44,
                  endCopy, newEnd, destination[newEnd], startIndex);
    }
    destination[newEnd] = destination[endCopy];
  }
  if ((1 == 0)) {
    libc_printf((char *)"destination now contains %s\\n", 29, (*destination));
  }
  j = startIndex;
  i = 0;
  while ((i < sh) && (j <= dh)) {
    destination[j] = source[i];
    i += 1;
    j += 1;
  }
}


x86 assembly (clang, -O0):
<Strings_Insert>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
mov    %r8d,-0x1c(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %rsp,%rcx
mov    %rcx,-0x40(%rbp)
mov    %rax,%rcx
add    $0xf,%rcx
and    $0xfffffffffffffff0,%rcx
mov    %rsp,%rdi
sub    %rcx,%rdi
mov    %rdi,-0x50(%rbp)
mov    %rdi,%rsp
mov    %rax,-0x48(%rbp)
mov    -0x8(%rbp),%rsi
mov    -0xc(%rbp),%edx
add    $0x1,%edx
call   1030 <memcpy@plt>
mov    -0x50(%rbp),%rdi
mov    -0xc(%rbp),%esi
call   1040 <Strings_Length@plt>
mov    %eax,-0x30(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x18(%rbp),%rdi
mov    -0x1c(%rbp),%esi
call   1040 <Strings_Length@plt>
mov    %eax,-0x38(%rbp)
mov    -0x38(%rbp),%eax
add    -0x30(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x34(%rbp),%eax
jbe    11b1 <Strings_Insert+0x91>
mov    -0x34(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x30(%rbp),%eax
jbe    11cb <Strings_Insert+0xab>
mov    -0x20(%rbp),%eax
sub    -0x30(%rbp),%eax
mov    %eax,-0x24(%rbp)
jmp    11d2 <Strings_Insert+0xb2>
movl   $0x0,-0x24(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x10(%rbp),%eax
jbe    121b <Strings_Insert+0xfb>
mov    -0x20(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x24(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x24(%rbp),%ecx
mov    (%rax,%rcx,1),%dl
mov    -0x18(%rbp),%rax
mov    -0x20(%rbp),%ecx
mov    %dl,(%rax,%rcx,1)
jmp    11e4 <Strings_Insert+0xc4>
mov    -0x10(%rbp),%eax
mov    %eax,-0x2c(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%ecx
xor    %eax,%eax
cmp    -0x30(%rbp),%ecx
mov    %al,-0x51(%rbp)
jae    1245 <Strings_Insert+0x125>
mov    -0x2c(%rbp),%eax
cmp    -0x34(%rbp),%eax
setbe  %al
mov    %al,-0x51(%rbp)
mov    -0x51(%rbp),%al
test   $0x1,%al
jne    1255 <Strings_Insert+0x135>
jmp    1280 <Strings_Insert+0x160>
mov    -0x50(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    (%rax,%rcx,1),%dl
mov    -0x18(%rbp),%rax
mov    -0x2c(%rbp),%ecx
mov    %dl,(%rax,%rcx,1)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1228 <Strings_Insert+0x108>
mov    -0x40(%rbp),%rax
mov    %rax,%rsp
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<Strings_Insert>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %r8d,%r14d
mov    %rcx,%r12
mov    %edx,%ebx
mov    %esi,%r13d
mov    %rdi,%rsi
lea    0x1(%r13),%edx
mov    %rsp,%r15
lea    0xf(%rdx),%rax
and    $0xfffffffffffffff0,%rax
sub    %rax,%r15
mov    %r15,%rsp
mov    %r15,%rdi
call   1030 <memcpy@plt>
mov    %r15,%rdi
mov    %r13d,%esi
call   1040 <Strings_Length@plt>
mov    %eax,%r13d
mov    %r12,%rdi
mov    %r14d,%esi
call   1040 <Strings_Length@plt>
mov    %eax,%r9d
add    %r13d,%r9d
cmp    %r14d,%r9d
cmova  %r14d,%r9d
mov    %r9d,%ecx
sub    %r13d,%ecx
add    $0x1,%ecx
cmp    %r13d,%r9d
mov    $0x1,%eax
cmova  %ecx,%eax
cmp    %ebx,%eax
jbe    11d8 <Strings_Insert+0xb8>
lea    0x1(%r9),%ecx
mov    %eax,%r11d
mov    %ebx,%edx
mov    %r11,%r10
sub    %rdx,%r10
cmp    $0x4,%r10
jae    1220 <Strings_Insert+0x100>
mov    %r11,%rdi
add    $0xffffffff,%ecx
cs nopw 0x0(%rax,%rax,1)
nop
movzbl -0x1(%r12,%rdi,1),%eax
add    $0xffffffffffffffff,%rdi
mov    %ecx,%esi
mov    %al,(%r12,%rsi,1)
add    $0xffffffff,%ecx
cmp    %rdx,%rdi
ja     11c0 <Strings_Insert+0xa0>
test   %r13d,%r13d
je     1211 <Strings_Insert+0xf1>
cmp    %r14d,%ebx
ja     1211 <Strings_Insert+0xf1>
mov    %r13d,%eax
mov    %ebx,%ecx
mov    $0x1,%edx
nopl   0x0(%rax)
lea    (%rcx,%rdx,1),%esi
add    $0xffffffff,%esi
movzbl -0x1(%r15,%rdx,1),%ebx
mov    %bl,(%r12,%rsi,1)
cmp    %rax,%rdx
jae    1211 <Strings_Insert+0xf1>
lea    (%rcx,%rdx,1),%esi
add    $0x1,%rdx
cmp    %r14d,%esi
jbe    11f0 <Strings_Insert+0xd0>
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    %rdx,%rsi
not    %rsi
add    %r11,%rsi
cmp    %esi,%r9d
jb     11af <Strings_Insert+0x8f>
mov    %rsi,%rax
shr    $0x20,%rax
jne    11af <Strings_Insert+0x8f>
mov    %r9d,%r8d
lea    (%r12,%r8,1),%rax
mov    %rax,%rdi
sub    %rsi,%rdi
cmp    %rax,%rdi
ja     11af <Strings_Insert+0x8f>
lea    (%r11,%r12,1),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,%rdi
sub    %rsi,%rdi
cmp    %rax,%rdi
ja     11af <Strings_Insert+0x8f>
lea    (%rdx,%r8,1),%rax
sub    %r11,%rax
add    %r12,%rax
add    $0x1,%rax
lea    (%r12,%r11,1),%rsi
cmp    %rsi,%rax
jae    1294 <Strings_Insert+0x174>
lea    (%r8,%r12,1),%rax
add    $0x1,%rax
lea    (%r12,%rdx,1),%rsi
cmp    %rax,%rsi
jb     11af <Strings_Insert+0x8f>
cmp    $0x10,%r10
jae    12a4 <Strings_Insert+0x184>
mov    %ebx,-0x2c(%rbp)
xor    %eax,%eax
jmp    13a4 <Strings_Insert+0x284>
mov    %r11,-0x38(%rbp)
mov    %r10,%rax
and    $0xfffffffffffffff0,%rax
mov    %rax,-0x40(%rbp)
add    $0xfffffffffffffff0,%rax
mov    %rax,%rsi
shr    $0x4,%rsi
add    $0x1,%rsi
mov    %esi,%r11d
and    $0x3,%r11d
cmp    $0x30,%rax
jae    12d3 <Strings_Insert+0x1b3>
xor    %edi,%edi
jmp    1344 <Strings_Insert+0x224>
mov    %ebx,-0x2c(%rbp)
mov    %r10,%rbx
and    $0xfffffffffffffffc,%rsi
mov    -0x38(%rbp),%rax
lea    (%rax,%r12,1),%r8
add    $0xfffffffffffffff0,%r8
xor    %edi,%edi
mov    %r9d,%eax
xchg   %ax,%ax
movups (%r8,%rdi,1),%xmm0
mov    %eax,%r10d
movups %xmm0,-0xf(%r12,%r10,1)
lea    -0x10(%rax),%r10d
movups -0x10(%r8,%rdi,1),%xmm0
movups %xmm0,-0xf(%r12,%r10,1)
lea    -0x20(%rax),%r10d
movups -0x20(%r8,%rdi,1),%xmm0
movups %xmm0,-0xf(%r12,%r10,1)
lea    -0x30(%rax),%r10d
movups -0x30(%r8,%rdi,1),%xmm0
movups %xmm0,-0xf(%r12,%r10,1)
add    $0xffffffc0,%eax
add    $0xffffffffffffffc0,%rdi
add    $0xfffffffffffffffc,%rsi
jne    12f0 <Strings_Insert+0x1d0>
neg    %rdi
mov    %rbx,%r10
mov    -0x2c(%rbp),%ebx
test   %r11,%r11
je     138a <Strings_Insert+0x26a>
mov    -0x38(%rbp),%rax
sub    %rdi,%rax
lea    (%rax,%r12,1),%r8
add    $0xfffffffffffffff0,%r8
mov    %r9d,%esi
sub    %edi,%esi
shl    $0x4,%r11
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
lea    (%rsi,%rdi,1),%eax
movups (%r8,%rdi,1),%xmm0
movups %xmm0,-0xf(%r12,%rax,1)
add    $0xfffffffffffffff0,%rdi
mov    %r11,%rax
add    %rdi,%rax
jne    1370 <Strings_Insert+0x250>
mov    -0x40(%rbp),%rax
cmp    %rax,%r10
je     11d8 <Strings_Insert+0xb8>
test   $0xc,%r10b
je     13f8 <Strings_Insert+0x2d8>
mov    %ebx,-0x2c(%rbp)
mov    -0x38(%rbp),%r11
mov    %r10,-0x38(%rbp)
mov    %r10,%rsi
and    $0xfffffffffffffffc,%rsi
mov    %r11,%rdi
sub    %rsi,%rdi
sub    %esi,%ecx
sub    %rax,%r11
add    %r12,%r11
add    $0xfffffffffffffffc,%r11
mov    %rax,%r10
mov    %rsi,%rbx
sub    %rsi,%r10
sub    %eax,%r9d
xor    %eax,%eax
nop
lea    (%r9,%rax,1),%esi
mov    (%r11,%rax,1),%r8d
mov    %r8d,-0x3(%r12,%rsi,1)
add    $0xfffffffffffffffc,%rax
cmp    %rax,%r10
jne    13d0 <Strings_Insert+0x2b0>
cmp    %rbx,-0x38(%rbp)
mov    -0x2c(%rbp),%ebx
jne    11b2 <Strings_Insert+0x92>
jmp    11d8 <Strings_Insert+0xb8>
sub    %eax,%ecx
mov    -0x38(%rbp),%rdi
sub    %rax,%rdi
jmp    11b2 <Strings_Insert+0x92>

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

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