#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 strlen(char const *);
void string_insert(char *_des, const char *_src, const unsigned int _pos) {
  int len_destination = strlen(_des);
  int len_source = strlen(_src);
  for (int i = len_destination - 1; i >= _pos; --i) {
    _des[i + len_source] = _des[i];
  }
  for (int i = _pos; i < len_source + _pos; ++i) {
    _des[i] = _src[i - _pos];
  }
  _des[len_destination + len_source] = '\0';
  return;
}


x86 assembly (clang, -O0):
<string_insert>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x14(%rbp),%eax
jb     1179 <string_insert+0x69>
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%ecx
add    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x20(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x20(%rbp)
jmp    1144 <string_insert+0x34>
mov    -0x14(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
mov    -0x1c(%rbp),%ecx
add    -0x14(%rbp),%ecx
cmp    %ecx,%eax
jae    11b8 <string_insert+0xa8>
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
sub    -0x14(%rbp),%ecx
mov    %ecx,%ecx
mov    (%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    117f <string_insert+0x6f>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
movb   $0x0,(%rax,%rcx,1)
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<string_insert>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %edx,%r12d
mov    %rsi,%r15
mov    %rdi,%r14
call   1030 <strlen@plt>
mov    %eax,%ebp
mov    %r15,%rdi
call   1030 <strlen@plt>
lea    -0x1(%rbp),%ecx
cmp    %r12d,%ecx
jb     11f1 <string_insert+0xe1>
movslq %ecx,%r8
movslq %eax,%rcx
lea    -0x2(%rbp),%r10d
lea    -0x1(%r12),%r13d
xor    %edi,%edi
mov    %r10d,%edx
sub    %r13d,%edx
cmovb  %edi,%edx
cmp    $0x3,%edx
jae    1166 <string_insert+0x56>
mov    %r8,%rdx
jmp    11d7 <string_insert+0xc7>
mov    %rbp,(%rsp)
mov    %r10d,%esi
sub    %r13d,%esi
cmovb  %edi,%esi
lea    (%rcx,%r8,1),%rbx
lea    (%r14,%rbx,1),%rbp
mov    %rbp,%rdi
sub    %rsi,%rdi
cmp    %rbp,%rdi
ja     11d0 <string_insert+0xc0>
lea    (%r14,%r8,1),%rbp
mov    %rbp,%rdi
sub    %rsi,%rdi
cmp    %rbp,%rdi
ja     11d0 <string_insert+0xc0>
xor    %edi,%edi
mov    %r10d,%esi
sub    %r13d,%esi
cmovb  %edi,%esi
mov    %rbx,%rdi
sub    %rsi,%rdi
add    %r14,%rdi
lea    (%r8,%r14,1),%rbp
add    $0x1,%rbp
cmp    %rbp,%rdi
jae    124b <string_insert+0x13b>
lea    (%r14,%rbx,1),%rdi
add    $0x1,%rdi
mov    %r8,%rbp
sub    %rsi,%rbp
add    %r14,%rbp
cmp    %rdi,%rbp
jae    124b <string_insert+0x13b>
mov    %r8,%rdx
mov    (%rsp),%rbp
add    %r14,%rcx
nopw   0x0(%rax,%rax,1)
movzbl (%r14,%rdx,1),%ebx
mov    %bl,(%rcx,%rdx,1)
add    $0xffffffffffffffff,%rdx
cmp    %r12d,%edx
jae    11e0 <string_insert+0xd0>
lea    (%rax,%r12,1),%ecx
cmp    %r12d,%ecx
jbe    14d5 <string_insert+0x3c5>
movslq %r12d,%rdx
lea    -0x1(%rax),%r8d
cmp    $0x7,%r8d
jb     14b4 <string_insert+0x3a4>
lea    (%r14,%rdx,1),%r13
lea    (%r8,%r15,1),%rsi
add    $0x1,%rsi
cmp    %rsi,%r13
jae    1234 <string_insert+0x124>
lea    (%rdx,%r8,1),%rsi
add    %r14,%rsi
add    $0x1,%rsi
cmp    %r15,%rsi
ja     14b4 <string_insert+0x3a4>
movabs $0x1ffffffe0,%r9
cmp    $0x1f,%r8d
jae    1267 <string_insert+0x157>
xor    %esi,%esi
jmp    1321 <string_insert+0x211>
movabs $0x1ffffffe0,%r9
xor    %esi,%esi
cmp    $0xf,%edx
jae    1355 <string_insert+0x245>
xor    %edi,%edi
jmp    1467 <string_insert+0x357>
mov    %rbp,(%rsp)
lea    0x1(%r8),%r10
mov    %r10,%rsi
and    %r9,%rsi
lea    -0x20(%rsi),%rdi
mov    %rdi,%r11
shr    $0x5,%r11
add    $0x1,%r11
test   %rdi,%rdi
je     1386 <string_insert+0x276>
mov    %r11,%rdi
and    $0xfffffffffffffffe,%rdi
mov    $0x20,%ebp
nopl   0x0(%rax)
lea    -0x20(%rbp),%ebx
and    $0xffffffc0,%ebx
movups (%r15,%rbx,1),%xmm0
movups 0x10(%r15,%rbx,1),%xmm1
movups %xmm0,-0x20(%r13,%rbp,1)
movups %xmm1,-0x10(%r13,%rbp,1)
mov    %ebp,%ebx
and    $0xffffffe0,%ebx
movups (%r15,%rbx,1),%xmm0
movups 0x10(%r15,%rbx,1),%xmm1
movups %xmm0,0x0(%r13,%rbp,1)
movups %xmm1,0x10(%r13,%rbp,1)
add    $0x40,%rbp
add    $0xfffffffffffffffe,%rdi
jne    12a0 <string_insert+0x190>
add    $0xffffffffffffffe0,%rbp
test   $0x1,%r11b
je     130a <string_insert+0x1fa>
lea    (%rdx,%rbp,1),%rdi
and    $0xffffffe0,%ebp
movups (%r15,%rbp,1),%xmm0
movups 0x10(%r15,%rbp,1),%xmm1
movups %xmm0,(%r14,%rdi,1)
movups %xmm1,0x10(%r14,%rdi,1)
cmp    %rsi,%r10
mov    (%rsp),%rbp
je     14d5 <string_insert+0x3c5>
test   $0x18,%r10b
je     14b1 <string_insert+0x3a1>
add    $0x1,%r8
add    $0x18,%r9
and    %r8,%r9
add    %r9,%rdx
nop
mov    %esi,%edi
and    $0xfffffff8,%edi
mov    (%r15,%rdi,1),%rdi
mov    %rdi,0x0(%r13,%rsi,1)
add    $0x8,%rsi
cmp    %rsi,%r9
jne    1330 <string_insert+0x220>
cmp    %r9,%r8
jne    14b4 <string_insert+0x3a4>
jmp    14d5 <string_insert+0x3c5>
add    $0x1,%rdx
lea    0x10(%r9),%rdi
and    %rdx,%rdi
lea    -0x10(%rdi),%rsi
mov    %rsi,%rbp
shr    $0x4,%rbp
add    $0x1,%rbp
mov    %ebp,%r9d
and    $0x3,%r9d
cmp    $0x30,%rsi
mov    %rbx,0x10(%rsp)
jae    1397 <string_insert+0x287>
xor    %r11d,%r11d
jmp    1401 <string_insert+0x2f1>
xor    %ebp,%ebp
test   $0x1,%r11b
jne    12ed <string_insert+0x1dd>
jmp    130a <string_insert+0x1fa>
mov    %r13d,0xc(%rsp)
and    $0xfffffffffffffffc,%rbp
lea    (%r14,%rbx,1),%r13
add    $0xfffffffffffffff1,%r13
lea    (%r8,%r14,1),%rsi
add    $0xfffffffffffffff1,%rsi
xor    %r11d,%r11d
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movups (%rsi,%r11,1),%xmm0
movups %xmm0,0x0(%r13,%r11,1)
movups -0x10(%rsi,%r11,1),%xmm0
movups %xmm0,-0x10(%r13,%r11,1)
movups -0x20(%rsi,%r11,1),%xmm0
movups %xmm0,-0x20(%r13,%r11,1)
movups -0x30(%rsi,%r11,1),%xmm0
movups %xmm0,-0x30(%r13,%r11,1)
add    $0xffffffffffffffc0,%r11
add    $0xfffffffffffffffc,%rbp
jne    13c0 <string_insert+0x2b0>
neg    %r11
mov    0xc(%rsp),%r13d
test   %r9,%r9
je     1445 <string_insert+0x335>
mov    0x10(%rsp),%rsi
sub    %r11,%rsi
lea    (%rsi,%r14,1),%rbx
add    $0xfffffffffffffff1,%rbx
mov    %r8,%rsi
sub    %r11,%rsi
lea    (%rsi,%r14,1),%r11
add    $0xfffffffffffffff1,%r11
shl    $0x4,%r9
xor    %ebp,%ebp
nopw   0x0(%rax,%rax,1)
movups (%r11,%rbp,1),%xmm0
movups %xmm0,(%rbx,%rbp,1)
add    $0xfffffffffffffff0,%rbp
mov    %r9,%rsi
add    %rbp,%rsi
jne    1430 <string_insert+0x320>
cmp    %rdi,%rdx
mov    (%rsp),%rbp
je     11f1 <string_insert+0xe1>
test   $0xc,%dl
je     14ed <string_insert+0x3dd>
movabs $0x1ffffffe0,%r9
xor    %esi,%esi
sub    %r13d,%r10d
cmovb  %esi,%r10d
add    $0x1,%r10
add    $0x1c,%r9
and    %r10,%r9
mov    %r8,%rdx
sub    %r9,%rdx
sub    %rdi,%r8
sub    %r9,%rdi
lea    (%r8,%r14,1),%rsi
add    $0xfffffffffffffffd,%rsi
nopl   (%rax)
mov    (%rsi),%ebp
mov    %ebp,(%rsi,%rcx,1)
add    $0xfffffffffffffffc,%rsi
add    $0x4,%rdi
jne    1490 <string_insert+0x380>
cmp    %r9,%r10
mov    (%rsp),%rbp
jne    11d7 <string_insert+0xc7>
jmp    11f1 <string_insert+0xe1>
add    %rsi,%rdx
neg    %r12d
nopw   0x0(%rax,%rax,1)
lea    (%r12,%rdx,1),%esi
movzbl (%r15,%rsi,1),%ebx
mov    %bl,(%r14,%rdx,1)
add    $0x1,%rdx
cmp    %edx,%ecx
ja     14c0 <string_insert+0x3b0>
add    %ebp,%eax
cltq
movb   $0x0,(%r14,%rax,1)
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
sub    %rdi,%r8
mov    %r8,%rdx
jmp    11d7 <string_insert+0xc7>

LLVM IR (-O0):
define void @string_insert(i8* %0, i8* %1, i32 %2) {
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
store i8* %0, i8** %4
store i8* %1, i8** %5
store i32 %2, i32* %6
%11 = load i8*, i8** %4
%12 = call i32 @strlen(i8* %11)
store i32 %12, i32* %7
%13 = load i8*, i8** %5
%14 = call i32 @strlen(i8* %13)
store i32 %14, i32* %8
%15 = load i32, i32* %7
%16 = sub nsw i32 %15, 1
store i32 %16, i32* %9
br label %17
17: ; preds = %33, %3
%18 = load i32, i32* %9
%19 = load i32, i32* %6
%20 = icmp uge i32 %18, %19
br i1 %20, label %21, label %36
21: ; preds = %17
%22 = load i8*, i8** %4
%23 = load i32, i32* %9
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds i8, i8* %22, i64 %24
%26 = load i8, i8* %25
%27 = load i8*, i8** %4
%28 = load i32, i32* %9
%29 = load i32, i32* %8
%30 = add nsw i32 %28, %29
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds i8, i8* %27, i64 %31
store i8 %26, i8* %32
br label %33
33: ; preds = %21
%34 = load i32, i32* %9
%35 = add nsw i32 %34, -1
store i32 %35, i32* %9
br label %17
36: ; preds = %17
%37 = load i32, i32* %6
store i32 %37, i32* %10
br label %38
38: ; preds = %56, %36
%39 = load i32, i32* %10
%40 = load i32, i32* %8
%41 = load i32, i32* %6
%42 = add i32 %40, %41
%43 = icmp ult i32 %39, %42
br i1 %43, label %44, label %59
44: ; preds = %38
%45 = load i8*, i8** %5
%46 = load i32, i32* %10
%47 = load i32, i32* %6
%48 = sub i32 %46, %47
%49 = zext i32 %48 to i64
%50 = getelementptr inbounds i8, i8* %45, i64 %49
%51 = load i8, i8* %50
%52 = load i8*, i8** %4
%53 = load i32, i32* %10
%54 = sext i32 %53 to i64
%55 = getelementptr inbounds i8, i8* %52, i64 %54
store i8 %51, i8* %55
br label %56
56: ; preds = %44
%57 = load i32, i32* %10
%58 = add nsw i32 %57, 1
store i32 %58, i32* %10
br label %38
59: ; preds = %38
%60 = load i8*, i8** %4
%61 = load i32, i32* %7
%62 = load i32, i32* %8
%63 = add nsw i32 %61, %62
%64 = sext i32 %63 to i64
%65 = getelementptr inbounds i8, i8* %60, i64 %64
store i8 0, i8* %65
ret void
}

LLVM IR (-O2):
define void @string_insert(i8* %0, i8* %1, i32 %2) {
%4 = tail call i32 @strlen(i8* %0)
%5 = tail call i32 @strlen(i8* %1)
%6 = add i32 %4, -1
%7 = icmp ult i32 %6, %2
br i1 %7, label %162, label %8
8: ; preds = %3
%9 = sext i32 %6 to i64
%10 = sext i32 %5 to i64
%11 = add i32 %4, -2
%12 = add i32 %2, -1
%13 = call i32 @llvm.umin.i32(i32 %12, i32 %11)
%14 = sub i32 %11, %13
%15 = zext i32 %14 to i64
%16 = add nuw nsw i64 %15, 1
%17 = icmp ult i32 %14, 3
br i1 %17, label %160, label %18
18: ; preds = %8
%19 = add i32 %4, -2
%20 = add i32 %2, -1
%21 = call i32 @llvm.umin.i32(i32 %20, i32 %19)
%22 = sub i32 %19, %21
%23 = add nsw i64 %10, %9
%24 = getelementptr i8, i8* %0, i64 %23
%25 = zext i32 %22 to i64
%26 = sub nsw i64 0, %25
%27 = getelementptr i8, i8* %24, i64 %26
%28 = icmp ugt i8* %27, %24
%29 = getelementptr i8, i8* %0, i64 %9
%30 = zext i32 %22 to i64
%31 = sub nsw i64 0, %30
%32 = getelementptr i8, i8* %29, i64 %31
%33 = icmp ugt i8* %32, %29
%34 = or i1 %28, %33
br i1 %34, label %160, label %35
35: ; preds = %18
%36 = add nsw i64 %10, %9
%37 = add i32 %4, -2
%38 = add i32 %2, -1
%39 = call i32 @llvm.umin.i32(i32 %38, i32 %37)
%40 = sub i32 %37, %39
%41 = zext i32 %40 to i64
%42 = sub nsw i64 %36, %41
%43 = getelementptr i8, i8* %0, i64 %42
%44 = add nsw i64 %10, %9
%45 = add nsw i64 %44, 1
%46 = getelementptr i8, i8* %0, i64 %45
%47 = sub nsw i64 %9, %41
%48 = getelementptr i8, i8* %0, i64 %47
%49 = add nsw i64 %9, 1
%50 = getelementptr i8, i8* %0, i64 %49
%51 = icmp ult i8* %43, %50
%52 = icmp ult i8* %48, %46
%53 = and i1 %51, %52
br i1 %53, label %160, label %54
54: ; preds = %35
%55 = icmp ult i32 %14, 15
br i1 %55, label %135, label %56
56: ; preds = %54
%57 = and i64 %16, 8589934576
%58 = add nsw i64 %57, -16
%59 = lshr exact i64 %58, 4
%60 = add nuw nsw i64 %59, 1
%61 = and i64 %60, 3
%62 = icmp ult i64 %58, 48
br i1 %62, label %110, label %63
63: ; preds = %56
%64 = and i64 %60, 2305843009213693948
%65 = getelementptr inbounds i8, i8* %0, i64 -15
%66 = getelementptr inbounds i8, i8* %0, i64 -15
%67 = getelementptr inbounds i8, i8* %0, i64 -15
%68 = getelementptr inbounds i8, i8* %0, i64 -15
%69 = getelementptr inbounds i8, i8* %0, i64 -15
%70 = getelementptr inbounds i8, i8* %0, i64 -15
%71 = getelementptr inbounds i8, i8* %0, i64 -15
%72 = getelementptr inbounds i8, i8* %0, i64 -15
br label %73
73: ; preds = %73, %63
%74 = phi i64 [ 0, %63 ], [ %107, %73 ]
%75 = phi i64 [ 0, %63 ], [ %108, %73 ]
%76 = sub i64 %9, %74
%77 = getelementptr inbounds i8, i8* %65, i64 %76
%78 = bitcast i8* %77 to <16 x i8>*
%79 = load <16 x i8>, <16 x i8>* %78
%80 = add nsw i64 %76, %10
%81 = getelementptr inbounds i8, i8* %66, i64 %80
%82 = bitcast i8* %81 to <16 x i8>*
store <16 x i8> %79, <16 x i8>* %82
%83 = or i64 %74, 16
%84 = sub i64 %9, %83
%85 = getelementptr inbounds i8, i8* %67, i64 %84
%86 = bitcast i8* %85 to <16 x i8>*
%87 = load <16 x i8>, <16 x i8>* %86
%88 = add nsw i64 %84, %10
%89 = getelementptr inbounds i8, i8* %68, i64 %88
%90 = bitcast i8* %89 to <16 x i8>*
store <16 x i8> %87, <16 x i8>* %90
%91 = or i64 %74, 32
%92 = sub i64 %9, %91
%93 = getelementptr inbounds i8, i8* %69, i64 %92
%94 = bitcast i8* %93 to <16 x i8>*
%95 = load <16 x i8>, <16 x i8>* %94
%96 = add nsw i64 %92, %10
%97 = getelementptr inbounds i8, i8* %70, i64 %96
%98 = bitcast i8* %97 to <16 x i8>*
store <16 x i8> %95, <16 x i8>* %98
%99 = or i64 %74, 48
%100 = sub i64 %9, %99
%101 = getelementptr inbounds i8, i8* %71, i64 %100
%102 = bitcast i8* %101 to <16 x i8>*
%103 = load <16 x i8>, <16 x i8>* %102
%104 = add nsw i64 %100, %10
%105 = getelementptr inbounds i8, i8* %72, i64 %104
%106 = bitcast i8* %105 to <16 x i8>*
store <16 x i8> %103, <16 x i8>* %106
%107 = add nuw i64 %74, 64
%108 = add i64 %75, 4
%109 = icmp eq i64 %108, %64
br i1 %109, label %110, label %73
110: ; preds = %73, %56
%111 = phi i64 [ 0, %56 ], [ %107, %73 ]
%112 = icmp eq i64 %61, 0
br i1 %112, label %129, label %113
113: ; preds = %110
%114 = getelementptr inbounds i8, i8* %0, i64 -15
%115 = getelementptr inbounds i8, i8* %0, i64 -15
br label %116
116: ; preds = %116, %113
%117 = phi i64 [ %111, %113 ], [ %126, %116 ]
%118 = phi i64 [ 0, %113 ], [ %127, %116 ]
%119 = sub i64 %9, %117
%120 = getelementptr inbounds i8, i8* %114, i64 %119
%121 = bitcast i8* %120 to <16 x i8>*
%122 = load <16 x i8>, <16 x i8>* %121
%123 = add nsw i64 %119, %10
%124 = getelementptr inbounds i8, i8* %115, i64 %123
%125 = bitcast i8* %124 to <16 x i8>*
store <16 x i8> %122, <16 x i8>* %125
%126 = add nuw i64 %117, 16
%127 = add i64 %118, 1
%128 = icmp eq i64 %127, %61
br i1 %128, label %129, label %116
129: ; preds = %116, %110
%130 = icmp eq i64 %16, %57
br i1 %130, label %162, label %131
131: ; preds = %129
%132 = sub nsw i64 %9, %57
%133 = and i64 %16, 12
%134 = icmp eq i64 %133, 0
br i1 %134, label %160, label %135
135: ; preds = %54, %131
%136 = phi i64 [ %57, %131 ], [ 0, %54 ]
%137 = add i32 %4, -2
%138 = add i32 %2, -1
%139 = call i32 @llvm.umin.i32(i32 %138, i32 %137)
%140 = sub i32 %137, %139
%141 = zext i32 %140 to i64
%142 = add nuw nsw i64 %141, 1
%143 = and i64 %142, 8589934588
%144 = sub nsw i64 %9, %143
%145 = getelementptr inbounds i8, i8* %0, i64 -3
%146 = getelementptr inbounds i8, i8* %0, i64 -3
br label %147
147: ; preds = %147, %135
%148 = phi i64 [ %136, %135 ], [ %156, %147 ]
%149 = sub i64 %9, %148
%150 = getelementptr inbounds i8, i8* %145, i64 %149
%151 = bitcast i8* %150 to <4 x i8>*
%152 = load <4 x i8>, <4 x i8>* %151
%153 = add nsw i64 %149, %10
%154 = getelementptr inbounds i8, i8* %146, i64 %153
%155 = bitcast i8* %154 to <4 x i8>*
store <4 x i8> %152, <4 x i8>* %155
%156 = add nuw i64 %148, 4
%157 = icmp eq i64 %156, %143
br i1 %157, label %158, label %147
158: ; preds = %147
%159 = icmp eq i64 %142, %143
br i1 %159, label %162, label %160
160: ; preds = %35, %18, %8, %131, %158
%161 = phi i64 [ %9, %8 ], [ %9, %35 ], [ %9, %18 ], [ %132, %131 ], [ %144, %158 ]
br label %269
162: ; preds = %269, %129, %158, %3
%163 = add i32 %5, %2
%164 = icmp ugt i32 %163, %2
br i1 %164, label %165, label %278
165: ; preds = %162
%166 = sext i32 %2 to i64
%167 = add i32 %5, -1
%168 = zext i32 %167 to i64
%169 = add nuw nsw i64 %168, 1
%170 = icmp ult i32 %167, 7
br i1 %170, label %267, label %171
171: ; preds = %165
%172 = getelementptr i8, i8* %0, i64 %166
%173 = add i32 %5, -1
%174 = zext i32 %173 to i64
%175 = add nsw i64 %166, %174
%176 = add nsw i64 %175, 1
%177 = getelementptr i8, i8* %0, i64 %176
%178 = add nuw nsw i64 %174, 1
%179 = getelementptr i8, i8* %1, i64 %178
%180 = icmp ult i8* %172, %179
%181 = icmp ugt i8* %177, %1
%182 = and i1 %180, %181
br i1 %182, label %267, label %183
183: ; preds = %171
%184 = icmp ult i32 %167, 31
br i1 %184, label %247, label %185
185: ; preds = %183
%186 = and i64 %169, 8589934560
%187 = add nsw i64 %186, -32
%188 = lshr exact i64 %187, 5
%189 = add nuw nsw i64 %188, 1
%190 = and i64 %189, 1
%191 = icmp eq i64 %187, 0
br i1 %191, label %225, label %192
192: ; preds = %185
%193 = and i64 %189, 1152921504606846974
br label %194
194: ; preds = %194, %192
%195 = phi i64 [ 0, %192 ], [ %222, %194 ]
%196 = phi i64 [ 0, %192 ], [ %223, %194 ]
%197 = add i64 %195, %166
%198 = and i64 %195, 4294967232
%199 = getelementptr inbounds i8, i8* %1, i64 %198
%200 = bitcast i8* %199 to <16 x i8>*
%201 = load <16 x i8>, <16 x i8>* %200
%202 = getelementptr inbounds i8, i8* %199, i64 16
%203 = bitcast i8* %202 to <16 x i8>*
%204 = load <16 x i8>, <16 x i8>* %203
%205 = getelementptr inbounds i8, i8* %0, i64 %197
%206 = bitcast i8* %205 to <16 x i8>*
store <16 x i8> %201, <16 x i8>* %206
%207 = getelementptr inbounds i8, i8* %205, i64 16
%208 = bitcast i8* %207 to <16 x i8>*
store <16 x i8> %204, <16 x i8>* %208
%209 = or i64 %195, 32
%210 = add i64 %209, %166
%211 = and i64 %209, 4294967264
%212 = getelementptr inbounds i8, i8* %1, i64 %211
%213 = bitcast i8* %212 to <16 x i8>*
%214 = load <16 x i8>, <16 x i8>* %213
%215 = getelementptr inbounds i8, i8* %212, i64 16
%216 = bitcast i8* %215 to <16 x i8>*
%217 = load <16 x i8>, <16 x i8>* %216
%218 = getelementptr inbounds i8, i8* %0, i64 %210
%219 = bitcast i8* %218 to <16 x i8>*
store <16 x i8> %214, <16 x i8>* %219
%220 = getelementptr inbounds i8, i8* %218, i64 16
%221 = bitcast i8* %220 to <16 x i8>*
store <16 x i8> %217, <16 x i8>* %221
%222 = add nuw i64 %195, 64
%223 = add i64 %196, 2
%224 = icmp eq i64 %223, %193
br i1 %224, label %225, label %194
225: ; preds = %194, %185
%226 = phi i64 [ 0, %185 ], [ %222, %194 ]
%227 = icmp eq i64 %190, 0
br i1 %227, label %241, label %228
228: ; preds = %225
%229 = add i64 %226, %166
%230 = and i64 %226, 4294967264
%231 = getelementptr inbounds i8, i8* %1, i64 %230
%232 = bitcast i8* %231 to <16 x i8>*
%233 = load <16 x i8>, <16 x i8>* %232
%234 = getelementptr inbounds i8, i8* %231, i64 16
%235 = bitcast i8* %234 to <16 x i8>*
%236 = load <16 x i8>, <16 x i8>* %235
%237 = getelementptr inbounds i8, i8* %0, i64 %229
%238 = bitcast i8* %237 to <16 x i8>*
store <16 x i8> %233, <16 x i8>* %238
%239 = getelementptr inbounds i8, i8* %237, i64 16
%240 = bitcast i8* %239 to <16 x i8>*
store <16 x i8> %236, <16 x i8>* %240
br label %241
241: ; preds = %225, %228
%242 = icmp eq i64 %169, %186
br i1 %242, label %278, label %243
243: ; preds = %241
%244 = add nsw i64 %186, %166
%245 = and i64 %169, 24
%246 = icmp eq i64 %245, 0
br i1 %246, label %267, label %247
247: ; preds = %183, %243
%248 = phi i64 [ %186, %243 ], [ 0, %183 ]
%249 = add i32 %5, -1
%250 = zext i32 %249 to i64
%251 = add nuw nsw i64 %250, 1
%252 = and i64 %251, 8589934584
%253 = add nsw i64 %252, %166
br label %254
254: ; preds = %254, %247
%255 = phi i64 [ %248, %247 ], [ %263, %254 ]
%256 = add i64 %255, %166
%257 = and i64 %255, 4294967288
%258 = getelementptr inbounds i8, i8* %1, i64 %257
%259 = bitcast i8* %258 to <8 x i8>*
%260 = load <8 x i8>, <8 x i8>* %259
%261 = getelementptr inbounds i8, i8* %0, i64 %256
%262 = bitcast i8* %261 to <8 x i8>*
store <8 x i8> %260, <8 x i8>* %262
%263 = add nuw i64 %255, 8
%264 = icmp eq i64 %263, %252
br i1 %264, label %265, label %254
265: ; preds = %254
%266 = icmp eq i64 %251, %252
br i1 %266, label %278, label %267
267: ; preds = %171, %165, %243, %265
%268 = phi i64 [ %166, %165 ], [ %166, %171 ], [ %244, %243 ], [ %253, %265 ]
br label %282
269: ; preds = %160, %269
%270 = phi i64 [ %275, %269 ], [ %161, %160 ]
%271 = getelementptr inbounds i8, i8* %0, i64 %270
%272 = load i8, i8* %271
%273 = add nsw i64 %270, %10
%274 = getelementptr inbounds i8, i8* %0, i64 %273
store i8 %272, i8* %274
%275 = add nsw i64 %270, -1
%276 = trunc i64 %275 to i32
%277 = icmp ult i32 %276, %2
br i1 %277, label %162, label %269
278: ; preds = %282, %241, %265, %162
%279 = add nsw i32 %5, %4
%280 = sext i32 %279 to i64
%281 = getelementptr inbounds i8, i8* %0, i64 %280
store i8 0, i8* %281
ret void
282: ; preds = %267, %282
%283 = phi i64 [ %290, %282 ], [ %268, %267 ]
%284 = trunc i64 %283 to i32
%285 = sub nuw i32 %284, %2
%286 = zext i32 %285 to i64
%287 = getelementptr inbounds i8, i8* %1, i64 %286
%288 = load i8, i8* %287
%289 = getelementptr inbounds i8, i8* %0, i64 %283
store i8 %288, i8* %289
%290 = add nsw i64 %283, 1
%291 = trunc i64 %290 to i32
%292 = icmp ugt i32 %163, %291
br i1 %292, label %282, label %278
}