#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 */
scalar_t__ malloc(int);
int searchKeyIndex(char const *, char const *);
int /*<<< orphan*/ strlen(char const *);
int addValue(const char *configurationBuffer, const char *targetKey,
             const char *value, char *resultConfigurationBuffer,
             int resultConfigurationBufferSize) {
  const int key_size = (unsigned)strlen(targetKey);
  const int value_size = (unsigned)strlen(value);
  if (key_size == 0 || value_size == 0)
    return 1;
  int keyIndex = 0;
  char *writeBuffer = (char *)malloc(sizeof(char) * 2048);
  keyIndex = searchKeyIndex(configurationBuffer, targetKey);
  int tempIndex = 0;
  int tempUpdateIndex = 0;
  int i = 0;
  if (keyIndex == -1) {
    while (configurationBuffer[i] != '\0') {
      resultConfigurationBuffer[i] = configurationBuffer[i];
      i++;
    }
    while (targetKey[tempIndex] != '\0') {
      resultConfigurationBuffer[i] = targetKey[tempIndex];
      i++;
      tempIndex++;
    }
    resultConfigurationBuffer[i] = ':';
    i++;
    tempIndex = 0;
    while (value[tempIndex] != '\0') {
      resultConfigurationBuffer[i] = value[tempIndex];
      i++;
      tempIndex++;
    }
    resultConfigurationBuffer[i] = ';';
    i++;
    resultConfigurationBuffer[i] = '\0';
    return 0;
  }
  for (i = 0; i < keyIndex; i++) {
    resultConfigurationBuffer[i] = configurationBuffer[i];
  }
  resultConfigurationBuffer[i] = ':';
  i++;
  tempUpdateIndex = i;
  for (tempIndex = 0; tempIndex < value_size; tempIndex++) {
    if (value[tempIndex] == '\0')
      break;
    resultConfigurationBuffer[tempUpdateIndex] = value[tempIndex];
    tempUpdateIndex++;
  }
  resultConfigurationBuffer[tempUpdateIndex] = ';';
  tempIndex = tempUpdateIndex;
  while (configurationBuffer[i] != ';') {
    i++;
  }
  for (i = i; i < 2048; i++) {
    if (configurationBuffer[i] == '\0')
      break;
    resultConfigurationBuffer[tempIndex] = configurationBuffer[i];
    tempIndex++;
  }
  resultConfigurationBuffer[tempIndex] = '\0';
  return 0;
}


x86 assembly (clang, -O0):
<addValue>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8d,-0x2c(%rbp)
mov    -0x18(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x30(%rbp)
mov    -0x20(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x34(%rbp)
cmpl   $0x0,-0x30(%rbp)
je     1178 <addValue+0x48>
cmpl   $0x0,-0x34(%rbp)
jne    1184 <addValue+0x54>
movl   $0x1,-0x4(%rbp)
jmp    1426 <addValue+0x2f6>
movl   $0x0,-0x38(%rbp)
mov    $0x800,%edi
call   1040 <malloc@plt>
mov    %rax,-0x40(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1050 <searchKeyIndex@plt>
mov    %eax,-0x38(%rbp)
movl   $0x0,-0x44(%rbp)
movl   $0x0,-0x48(%rbp)
movl   $0x0,-0x4c(%rbp)
cmpl   $0xffffffff,-0x38(%rbp)
jne    12d8 <addValue+0x1a8>
jmp    11cd <addValue+0x9d>
mov    -0x10(%rbp),%rax
movslq -0x4c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     1206 <addValue+0xd6>
mov    -0x10(%rbp),%rax
movslq -0x4c(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x28(%rbp),%rax
movslq -0x4c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    11cd <addValue+0x9d>
jmp    120b <addValue+0xdb>
mov    -0x18(%rbp),%rax
movslq -0x44(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     124d <addValue+0x11d>
mov    -0x18(%rbp),%rax
movslq -0x44(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x28(%rbp),%rax
movslq -0x4c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    120b <addValue+0xdb>
mov    -0x28(%rbp),%rax
movslq -0x4c(%rbp),%rcx
movb   $0x3a,(%rax,%rcx,1)
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
movl   $0x0,-0x44(%rbp)
mov    -0x20(%rbp),%rax
movslq -0x44(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     12ab <addValue+0x17b>
mov    -0x20(%rbp),%rax
movslq -0x44(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x28(%rbp),%rax
movslq -0x4c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    1269 <addValue+0x139>
mov    -0x28(%rbp),%rax
movslq -0x4c(%rbp),%rcx
movb   $0x3b,(%rax,%rcx,1)
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
mov    -0x28(%rbp),%rax
movslq -0x4c(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
movl   $0x0,-0x4(%rbp)
jmp    1426 <addValue+0x2f6>
movl   $0x0,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
cmp    -0x38(%rbp),%eax
jge    130f <addValue+0x1df>
mov    -0x10(%rbp),%rax
movslq -0x4c(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x28(%rbp),%rax
movslq -0x4c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    12df <addValue+0x1af>
mov    -0x28(%rbp),%rax
movslq -0x4c(%rbp),%rcx
movb   $0x3a,(%rax,%rcx,1)
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
mov    %eax,-0x48(%rbp)
movl   $0x0,-0x44(%rbp)
mov    -0x44(%rbp),%eax
cmp    -0x34(%rbp),%eax
jge    1384 <addValue+0x254>
mov    -0x20(%rbp),%rax
movslq -0x44(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jne    1357 <addValue+0x227>
jmp    1384 <addValue+0x254>
mov    -0x20(%rbp),%rax
movslq -0x44(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x28(%rbp),%rax
movslq -0x48(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x48(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x48(%rbp)
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    1331 <addValue+0x201>
mov    -0x28(%rbp),%rax
movslq -0x48(%rbp),%rcx
movb   $0x3b,(%rax,%rcx,1)
mov    -0x48(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x4c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x3b,%eax
je     13b9 <addValue+0x289>
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    1396 <addValue+0x266>
mov    -0x4c(%rbp),%eax
mov    %eax,-0x4c(%rbp)
cmpl   $0x800,-0x4c(%rbp)
jge    1413 <addValue+0x2e3>
mov    -0x10(%rbp),%rax
movslq -0x4c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jne    13e6 <addValue+0x2b6>
jmp    1413 <addValue+0x2e3>
mov    -0x10(%rbp),%rax
movslq -0x4c(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x28(%rbp),%rax
movslq -0x44(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    13bf <addValue+0x28f>
mov    -0x28(%rbp),%rax
movslq -0x44(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<addValue>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rcx,%r15
mov    %rdx,%r14
mov    %rsi,%rbx
mov    %rdi,%r13
mov    %rsi,%rdi
call   1030 <strlen@plt>
mov    %eax,%ebp
mov    %r14,%rdi
call   1030 <strlen@plt>
mov    %eax,%r12d
mov    $0x1,%eax
test   %ebp,%ebp
je     137e <addValue+0x24e>
test   %r12d,%r12d
je     137e <addValue+0x24e>
mov    $0x800,%edi
call   1040 <malloc@plt>
mov    %r13,%rdi
mov    %rbx,%rsi
call   1050 <searchKeyIndex@plt>
cmp    $0xffffffff,%eax
je     1229 <addValue+0xf9>
test   %eax,%eax
jle    12b6 <addValue+0x186>
mov    %eax,%ecx
cmp    $0x8,%eax
jb     11b9 <addValue+0x89>
lea    (%rcx,%r13,1),%rdx
cmp    %r15,%rdx
jbe    138d <addValue+0x25d>
lea    (%r15,%rcx,1),%rdx
cmp    %r13,%rdx
jbe    138d <addValue+0x25d>
xor    %edx,%edx
mov    %rdx,%rsi
not    %rsi
add    %rcx,%rsi
mov    %rcx,%rdi
and    $0x3,%rdi
je     11e4 <addValue+0xb4>
nopl   (%rax)
movzbl 0x0(%r13,%rdx,1),%ebx
mov    %bl,(%r15,%rdx,1)
add    $0x1,%rdx
add    $0xffffffffffffffff,%rdi
jne    11d0 <addValue+0xa0>
cmp    $0x3,%rsi
jb     12b8 <addValue+0x188>
xchg   %ax,%ax
movzbl 0x0(%r13,%rdx,1),%ebx
mov    %bl,(%r15,%rdx,1)
movzbl 0x1(%r13,%rdx,1),%ebx
mov    %bl,0x1(%r15,%rdx,1)
movzbl 0x2(%r13,%rdx,1),%ebx
mov    %bl,0x2(%r15,%rdx,1)
movzbl 0x3(%r13,%rdx,1),%ebx
mov    %bl,0x3(%r15,%rdx,1)
add    $0x4,%rdx
cmp    %rdx,%rcx
jne    11f0 <addValue+0xc0>
jmp    12b8 <addValue+0x188>
mov    0x0(%r13),%cl
xor    %eax,%eax
test   %cl,%cl
je     1252 <addValue+0x122>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %cl,(%r15,%rax,1)
movzbl 0x1(%r13,%rax,1),%ecx
add    $0x1,%rax
test   %cl,%cl
jne    1240 <addValue+0x110>
mov    (%rbx),%cl
test   %cl,%cl
je     1273 <addValue+0x143>
mov    %eax,%eax
add    $0x1,%rbx
xchg   %ax,%ax
mov    %cl,(%r15,%rax,1)
add    $0x1,%rax
movzbl (%rbx),%ecx
add    $0x1,%rbx
test   %cl,%cl
jne    1260 <addValue+0x130>
mov    %eax,%ecx
movb   $0x3a,(%r15,%rcx,1)
lea    0x1(%rax),%edx
mov    (%r14),%cl
test   %cl,%cl
je     12a7 <addValue+0x177>
mov    %edx,%edx
add    %r15,%rdx
mov    $0x1,%esi
xchg   %ax,%ax
mov    %cl,-0x1(%rdx,%rsi,1)
movzbl (%r14,%rsi,1),%ecx
add    $0x1,%rsi
add    $0x1,%eax
test   %cl,%cl
jne    1290 <addValue+0x160>
lea    0x1(%rax),%edx
mov    %edx,%ecx
movb   $0x3b,(%r15,%rcx,1)
add    $0x2,%eax
jmp    1377 <addValue+0x247>
xor    %eax,%eax
mov    %eax,%eax
movb   $0x3a,(%r15,%rax,1)
test   %r12d,%r12d
jle    12f8 <addValue+0x1c8>
lea    0x1(%rax),%rcx
lea    (%r12,%rax,1),%edx
add    $0x1,%edx
mov    %r12d,%edi
lea    (%r15,%rax,1),%rbp
add    $0x1,%rbp
xor    %esi,%esi
nopl   0x0(%rax)
movzbl (%r14,%rsi,1),%ebx
test   %bl,%bl
je     1304 <addValue+0x1d4>
mov    %bl,0x0(%rbp,%rsi,1)
add    $0x1,%rsi
cmp    %rsi,%rdi
jne    12e0 <addValue+0x1b0>
jmp    130a <addValue+0x1da>
lea    0x1(%rax),%edx
add    $0x1,%rax
mov    %rax,%rcx
jmp    130a <addValue+0x1da>
lea    (%rax,%rsi,1),%edx
add    $0x1,%edx
mov    %edx,%eax
movb   $0x3b,(%r15,%rax,1)
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
cmpb   $0x3b,0x0(%r13,%rcx,1)
lea    0x1(%rcx),%rcx
jne    1320 <addValue+0x1f0>
lea    -0x1(%rcx),%rsi
cmp    $0x7ff,%esi
ja     1377 <addValue+0x247>
lea    0x801(%rax),%edx
sub    %rcx,%rdx
mov    %esi,%esi
add    %rsi,%r13
xor    %esi,%esi
nopl   0x0(%rax,%rax,1)
movzbl 0x0(%r13,%rsi,1),%ebx
test   %bl,%bl
je     1375 <addValue+0x245>
mov    %bl,(%r15,%rax,1)
add    $0x1,%rax
lea    0x1(%rsi),%rdi
add    %ecx,%esi
cmp    $0x800,%esi
mov    %rdi,%rsi
jne    1350 <addValue+0x220>
mov    %edx,%eax
mov    %eax,%eax
movb   $0x0,(%r15,%rax,1)
xor    %eax,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
cmp    $0x20,%eax
jae    1399 <addValue+0x269>
xor    %edx,%edx
jmp    148e <addValue+0x35e>
mov    %ecx,%edx
and    $0xffffffe0,%edx
lea    -0x20(%rdx),%rbp
mov    %rbp,%rdi
shr    $0x5,%rdi
add    $0x1,%rdi
mov    %edi,%esi
and    $0x3,%esi
cmp    $0x60,%rbp
jae    13bc <addValue+0x28c>
xor    %ebp,%ebp
jmp    1439 <addValue+0x309>
and    $0xfffffffffffffffc,%rdi
xor    %ebp,%ebp
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movups 0x0(%r13,%rbp,1),%xmm0
movups 0x10(%r13,%rbp,1),%xmm1
movups %xmm0,(%r15,%rbp,1)
movups %xmm1,0x10(%r15,%rbp,1)
movups 0x20(%r13,%rbp,1),%xmm0
movups 0x30(%r13,%rbp,1),%xmm1
movups %xmm0,0x20(%r15,%rbp,1)
movups %xmm1,0x30(%r15,%rbp,1)
movups 0x40(%r13,%rbp,1),%xmm0
movups 0x50(%r13,%rbp,1),%xmm1
movups %xmm0,0x40(%r15,%rbp,1)
movups %xmm1,0x50(%r15,%rbp,1)
movups 0x60(%r13,%rbp,1),%xmm0
movups 0x70(%r13,%rbp,1),%xmm1
movups %xmm0,0x60(%r15,%rbp,1)
movups %xmm1,0x70(%r15,%rbp,1)
sub    $0xffffffffffffff80,%rbp
add    $0xfffffffffffffffc,%rdi
jne    13d0 <addValue+0x2a0>
test   %rsi,%rsi
je     147c <addValue+0x34c>
lea    (%r15,%rbp,1),%rdi
add    $0x10,%rdi
add    %r13,%rbp
add    $0x10,%rbp
shl    $0x5,%rsi
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movups -0x10(%rbp,%rbx,1),%xmm0
movups 0x0(%rbp,%rbx,1),%xmm1
movups %xmm0,-0x10(%rdi,%rbx,1)
movups %xmm1,(%rdi,%rbx,1)
add    $0x20,%rbx
cmp    %rbx,%rsi
jne    1460 <addValue+0x330>
cmp    %rcx,%rdx
je     12b8 <addValue+0x188>
test   $0x18,%cl
je     11bb <addValue+0x8b>
mov    %rdx,%rsi
mov    %ecx,%edx
and    $0xfffffff8,%edx
cs nopw 0x0(%rax,%rax,1)
mov    0x0(%r13,%rsi,1),%rdi
mov    %rdi,(%r15,%rsi,1)
add    $0x8,%rsi
cmp    %rsi,%rdx
jne    14a0 <addValue+0x370>
cmp    %rcx,%rdx
je     12b8 <addValue+0x188>
jmp    11bb <addValue+0x8b>

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

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