#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 scalar_t__ uint8_t;
typedef scalar_t__ uint32_t;

/* Variables and functions */
scalar_t__ strlen(char const *);
scalar_t__ utf32_to_utf8(scalar_t__ *, scalar_t__);
scalar_t__ *utf8_next_symbol(scalar_t__ *);
void utf8_insert_char(uint8_t *utf8, uint32_t utf32, uint32_t pos,
                      uint32_t size) {
  uint32_t i = 0;
  uint8_t *ch = utf8;
  for (; *ch && i < pos; i++) {
    ch = utf8_next_symbol(ch);
  }
  if (i == pos) {
    uint8_t new_char[8] = {0};
    uint32_t utf8_len = utf32_to_utf8(new_char, utf32);
    uint32_t old_len = strlen((const char *)utf8);
    if ((utf8_len > 0) && (old_len + utf8_len < size)) {
      uint8_t *tch = utf8 + old_len;
      for (; tch != ch; tch--) {
        *(tch + utf8_len) = *tch;
      }
      *(tch + utf8_len) = *tch;
      for (; utf8_len; utf8_len--) {
        ch[utf8_len - 1] = new_char[utf8_len - 1];
      }
    }
  }
}


x86 assembly (clang, -O0):
<utf8_insert_char>:
push   %rbp
mov    %rsp,%rbp
sub    $0x90,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
movq   $0x0,-0x28(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rcx
xor    %eax,%eax
cmpq   $0x0,(%rcx)
mov    %al,-0x89(%rbp)
je     1192 <utf8_insert_char+0x52>
mov    -0x28(%rbp),%rax
cmp    -0x18(%rbp),%rax
setl   %al
mov    %al,-0x89(%rbp)
mov    -0x89(%rbp),%al
test   $0x1,%al
jne    11a5 <utf8_insert_char+0x65>
jmp    11c3 <utf8_insert_char+0x83>
mov    -0x30(%rbp),%rdi
call   1050 <utf8_next_symbol@plt>
mov    %rax,-0x30(%rbp)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    116b <utf8_insert_char+0x2b>
mov    -0x28(%rbp),%rax
cmp    -0x18(%rbp),%rax
jne    12cf <utf8_insert_char+0x18f>
lea    -0x70(%rbp),%rdi
xor    %esi,%esi
mov    $0x40,%edx
call   1040 <memset@plt>
lea    -0x70(%rbp),%rdi
mov    -0x10(%rbp),%rsi
call   1060 <utf32_to_utf8@plt>
mov    %rax,-0x78(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <strlen@plt>
mov    %rax,-0x80(%rbp)
cmpq   $0x0,-0x78(%rbp)
jle    12ca <utf8_insert_char+0x18a>
mov    -0x80(%rbp),%rax
add    -0x78(%rbp),%rax
cmp    -0x20(%rbp),%rax
jge    12ca <utf8_insert_char+0x18a>
mov    -0x8(%rbp),%rax
mov    -0x80(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x88(%rbp)
mov    -0x88(%rbp),%rax
cmp    -0x30(%rbp),%rax
je     1273 <utf8_insert_char+0x133>
mov    -0x88(%rbp),%rax
mov    (%rax),%rdx
mov    -0x88(%rbp),%rax
mov    -0x78(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x88(%rbp),%rax
add    $0xfffffffffffffff8,%rax
mov    %rax,-0x88(%rbp)
jmp    1232 <utf8_insert_char+0xf2>
mov    -0x88(%rbp),%rax
mov    (%rax),%rdx
mov    -0x88(%rbp),%rax
mov    -0x78(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
cmpq   $0x0,-0x78(%rbp)
je     12c5 <utf8_insert_char+0x185>
mov    -0x78(%rbp),%rax
sub    $0x1,%rax
mov    -0x70(%rbp,%rax,8),%rdx
mov    -0x30(%rbp),%rax
mov    -0x78(%rbp),%rcx
sub    $0x1,%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x78(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x78(%rbp)
jmp    128c <utf8_insert_char+0x14c>
jmp    12ca <utf8_insert_char+0x18a>
jmp    12cf <utf8_insert_char+0x18f>
add    $0x90,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<utf8_insert_char>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x48,%rsp
mov    %rcx,%r13
mov    %rdx,%r15
mov    %rsi,%r14
mov    %rdi,%r12
xor    %ebp,%ebp
cmpq   $0x0,(%rdi)
je     1184 <utf8_insert_char+0x54>
mov    %r12,%rbx
test   %r15,%r15
jle    117a <utf8_insert_char+0x4a>
xor    %ebp,%ebp
mov    %r12,%rbx
nop
mov    %rbx,%rdi
call   1040 <utf8_next_symbol@plt>
mov    %rax,%rbx
add    $0x1,%rbp
cmpq   $0x0,(%rax)
je     117a <utf8_insert_char+0x4a>
cmp    %r15,%rbp
jl     1160 <utf8_insert_char+0x30>
cmp    %r15,%rbp
je     1190 <utf8_insert_char+0x60>
jmp    14b1 <utf8_insert_char+0x381>
mov    %r12,%rbx
cmp    %r15,%rbp
jne    14b1 <utf8_insert_char+0x381>
xorps  %xmm0,%xmm0
movaps %xmm0,0x30(%rsp)
movaps %xmm0,0x20(%rsp)
movaps %xmm0,0x10(%rsp)
movaps %xmm0,(%rsp)
mov    %rsp,%r15
mov    %r15,%rdi
mov    %r14,%rsi
call   1050 <utf32_to_utf8@plt>
mov    %rax,%r14
mov    %r12,%rdi
call   1030 <strlen@plt>
test   %r14,%r14
jle    14b1 <utf8_insert_char+0x381>
lea    (%rax,%r14,1),%r10
cmp    %r13,%r10
jge    14b1 <utf8_insert_char+0x381>
lea    (%r12,%rax,8),%rcx
cmp    %rbx,%rcx
je     1360 <utf8_insert_char+0x230>
lea    (%r12,%rax,8),%r11
sub    %rbx,%r11
add    $0xfffffffffffffff8,%r11
cmp    $0x18,%r11
jb     1350 <utf8_insert_char+0x220>
mov    %r11,%rdx
and    $0xfffffffffffffff8,%rdx
lea    (%r12,%r10,8),%rsi
mov    %rsi,%rdi
sub    %rdx,%rdi
cmp    %rsi,%rdi
ja     1350 <utf8_insert_char+0x220>
mov    %rcx,%rsi
sub    %rdx,%rsi
cmp    %rcx,%rsi
ja     1350 <utf8_insert_char+0x220>
shr    $0x3,%r11
mov    %r10,%rdx
sub    %r11,%rdx
lea    (%r12,%rdx,8),%rdx
lea    (%r12,%rax,8),%rsi
add    $0x8,%rsi
cmp    %rsi,%rdx
jae    1256 <utf8_insert_char+0x126>
lea    (%r12,%r10,8),%rdx
add    $0x8,%rdx
mov    %rax,%rsi
sub    %r11,%rsi
lea    (%r12,%rsi,8),%rsi
cmp    %rdx,%rsi
jb     1350 <utf8_insert_char+0x220>
add    $0x1,%r11
mov    %r11,%r8
and    $0xfffffffffffffffc,%r8
lea    -0x4(%r8),%rdx
mov    %rdx,%rbp
shr    $0x2,%rbp
add    $0x1,%rbp
mov    %ebp,%r9d
and    $0x3,%r9d
cmp    $0xc,%rdx
jae    1281 <utf8_insert_char+0x151>
xor    %edi,%edi
jmp    12fb <utf8_insert_char+0x1cb>
and    $0xfffffffffffffffc,%rbp
lea    (%r12,%r10,8),%rsi
add    $0xfffffffffffffff8,%rsi
lea    (%r12,%rax,8),%rdx
add    $0xfffffffffffffff8,%rdx
xor    %edi,%edi
nopw   0x0(%rax,%rax,1)
movups -0x10(%rdx,%rdi,8),%xmm0
movups (%rdx,%rdi,8),%xmm1
movups %xmm1,(%rsi,%rdi,8)
movups %xmm0,-0x10(%rsi,%rdi,8)
movups -0x30(%rdx,%rdi,8),%xmm0
movups -0x20(%rdx,%rdi,8),%xmm1
movups %xmm1,-0x20(%rsi,%rdi,8)
movups %xmm0,-0x30(%rsi,%rdi,8)
movups -0x50(%rdx,%rdi,8),%xmm0
movups -0x40(%rdx,%rdi,8),%xmm1
movups %xmm1,-0x40(%rsi,%rdi,8)
movups %xmm0,-0x50(%rsi,%rdi,8)
movups -0x70(%rdx,%rdi,8),%xmm0
movups -0x60(%rdx,%rdi,8),%xmm1
movups %xmm1,-0x60(%rsi,%rdi,8)
movups %xmm0,-0x70(%rsi,%rdi,8)
add    $0xfffffffffffffff0,%rdi
add    $0xfffffffffffffffc,%rbp
jne    12a0 <utf8_insert_char+0x170>
neg    %rdi
test   %r9,%r9
je     133e <utf8_insert_char+0x20e>
sub    %rdi,%r10
lea    (%r12,%r10,8),%rdx
add    $0xfffffffffffffff8,%rdx
sub    %rdi,%rax
lea    (%r12,%rax,8),%rax
add    $0xfffffffffffffff8,%rax
shl    $0x5,%r9
xor    %esi,%esi
nopl   0x0(%rax)
movups -0x10(%rax,%rsi,1),%xmm0
movups (%rax,%rsi,1),%xmm1
movups %xmm1,(%rdx,%rsi,1)
movups %xmm0,-0x10(%rdx,%rsi,1)
add    $0xffffffffffffffe0,%rsi
mov    %r9,%rdi
add    %rsi,%rdi
jne    1320 <utf8_insert_char+0x1f0>
cmp    %r8,%r11
je     1360 <utf8_insert_char+0x230>
shl    $0x3,%r8
sub    %r8,%rcx
nopw   0x0(%rax,%rax,1)
mov    (%rcx),%rax
mov    %rax,(%rcx,%r14,8)
add    $0xfffffffffffffff8,%rcx
cmp    %rbx,%rcx
jne    1350 <utf8_insert_char+0x220>
mov    (%rbx),%rax
mov    %rax,(%rbx,%r14,8)
cmp    $0x4,%r14
jb     143a <utf8_insert_char+0x30a>
lea    (%rbx,%r14,8),%rax
lea    (%rsp,%r14,8),%rcx
cmp    %rax,%r15
setb   %al
cmp    %rcx,%rbx
jae    138c <utf8_insert_char+0x25c>
test   %al,%al
jne    143a <utf8_insert_char+0x30a>
mov    %r14,%rax
and    $0xfffffffffffffffc,%rax
lea    -0x4(%rax),%rdx
mov    %rdx,%rcx
shr    $0x2,%rcx
add    $0x1,%rcx
test   %rdx,%rdx
je     14c0 <utf8_insert_char+0x390>
movabs $0x7ffffffffffffffc,%rsi
ff ff 7f
or     $0x2,%rsi
and    %rcx,%rsi
lea    (%rbx,%r14,8),%rdi
add    $0xfffffffffffffff0,%rdi
lea    (%rsp,%r14,8),%rbp
add    $0xfffffffffffffff0,%rbp
mov    $0xfffffffffffffffe,%rdx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movups 0x0(%rbp,%rdx,8),%xmm0
movups 0x10(%rbp,%rdx,8),%xmm1
movups %xmm1,0x10(%rdi,%rdx,8)
movups %xmm0,(%rdi,%rdx,8)
movups -0x20(%rbp,%rdx,8),%xmm0
movups -0x10(%rbp,%rdx,8),%xmm1
movups %xmm1,-0x10(%rdi,%rdx,8)
movups %xmm0,-0x20(%rdi,%rdx,8)
add    $0xfffffffffffffff8,%rdx
add    $0xfffffffffffffffe,%rsi
jne    13e0 <utf8_insert_char+0x2b0>
add    $0x1,%rdx
test   $0x1,%cl
je     1431 <utf8_insert_char+0x301>
add    %r14,%rdx
movups -0x18(%rsp,%rdx,8),%xmm0
movups -0x8(%rsp,%rdx,8),%xmm1
movups %xmm1,-0x8(%rbx,%rdx,8)
movups %xmm0,-0x18(%rbx,%rdx,8)
cmp    %rax,%r14
je     14b1 <utf8_insert_char+0x381>
and    $0x3,%r14d
lea    -0x1(%r14),%rcx
mov    %r14,%rdx
and    $0x3,%rdx
je     146f <utf8_insert_char+0x33f>
nopw   0x0(%rax,%rax,1)
lea    -0x1(%r14),%rax
mov    -0x8(%rsp,%r14,8),%rsi
mov    %rsi,-0x8(%rbx,%r14,8)
mov    %rax,%r14
add    $0xffffffffffffffff,%rdx
jne    1450 <utf8_insert_char+0x320>
cmp    $0x3,%rcx
jae    1478 <utf8_insert_char+0x348>
jmp    14b1 <utf8_insert_char+0x381>
mov    %r14,%rax
cmp    $0x3,%rcx
jb     14b1 <utf8_insert_char+0x381>
mov    %rax,%rcx
nopl   0x0(%rax,%rax,1)
mov    -0x8(%rsp,%rax,8),%rdx
mov    %rdx,-0x8(%rbx,%rax,8)
mov    -0x10(%rsp,%rax,8),%rdx
mov    %rdx,-0x10(%rbx,%rax,8)
mov    -0x18(%rsp,%rax,8),%rdx
mov    %rdx,-0x18(%rbx,%rax,8)
mov    -0x20(%rsp,%rax,8),%rdx
mov    %rdx,-0x20(%rbx,%rax,8)
add    $0xfffffffffffffffc,%rcx
mov    %rcx,%rax
jne    1480 <utf8_insert_char+0x350>
add    $0x48,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    $0xffffffffffffffff,%rdx
test   $0x1,%cl
jne    141a <utf8_insert_char+0x2ea>
jmp    1431 <utf8_insert_char+0x301>

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

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