#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 /*<<< orphan*/ memcpy(char *, char *, int);
int strlen(char const *);
int /*<<< orphan*/ strncat(char *, char const *, size_t);
void str_replace(char *source, const char *search, const char *replace) {
  if (NULL == source) {
    return;
  }
  size_t so_len = strlen(source);
  if (so_len == 0) {
    return;
  }
  if (NULL == search) {
    return;
  }
  if (NULL == replace) {
    return;
  }
  size_t se_len = strlen(search);
  if (se_len == 0) {
    return;
  }
  if (se_len > so_len) {
    return;
  }
  size_t max_matches = so_len / se_len;
  size_t matches[max_matches];
  size_t matches_cnt = 0;
  for (size_t so_i = 0; so_i < so_len; so_i++) {
    size_t se_i = 0;
    size_t matched = 0;
    while (se_i < se_len) {
      if (search[se_i] == (source)[so_i + se_i]) {
        matched++;
      } else {
        break;
      }
      if (matched == se_len) {
        matches[matches_cnt++] = so_i;
        so_i += se_i;
      }
      se_i++;
    }
  }
  if (matches_cnt == 0) {
    return;
  }
  char result[1024] = {0};
  size_t source_iterator = 0;
  for (size_t i = 0; i < matches_cnt; i++) {
    size_t match = matches[i];
    if (source_iterator < match) {
      size_t non_match_len = match - source_iterator;
      strncat(result, source + source_iterator, non_match_len);
    }
    source_iterator = match + se_len;
    strncat(result, replace, 1024 - strlen(result) - 1);
  }
  if (source_iterator < so_len) {
    size_t remaining_len = so_len - source_iterator;
    strncat(result, source + source_iterator, remaining_len);
  }
  memcpy(source, result, 1024 - 1);
}


x86 assembly (clang, -O0):
<str_replace>:
push   %rbp
mov    %rsp,%rbp
sub    $0x4b0,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
xor    %eax,%eax
cmp    -0x8(%rbp),%rax
jne    1168 <str_replace+0x28>
jmp    1471 <str_replace+0x331>
mov    -0x8(%rbp),%rdi
call   1030 <strlen@plt>
cltq
mov    %rax,-0x20(%rbp)
cmpq   $0x0,-0x20(%rbp)
jne    1187 <str_replace+0x47>
jmp    1471 <str_replace+0x331>
xor    %eax,%eax
cmp    -0x10(%rbp),%rax
jne    1198 <str_replace+0x58>
jmp    1471 <str_replace+0x331>
xor    %eax,%eax
cmp    -0x18(%rbp),%rax
jne    11a9 <str_replace+0x69>
jmp    1471 <str_replace+0x331>
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
cltq
mov    %rax,-0x28(%rbp)
cmpq   $0x0,-0x28(%rbp)
jne    11c8 <str_replace+0x88>
jmp    1471 <str_replace+0x331>
mov    -0x28(%rbp),%rax
cmp    -0x20(%rbp),%rax
jbe    11db <str_replace+0x9b>
jmp    1471 <str_replace+0x331>
mov    -0x20(%rbp),%rax
mov    -0x28(%rbp),%rcx
xor    %edx,%edx
div    %rcx
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
mov    %rsp,%rcx
mov    %rcx,-0x38(%rbp)
lea    0xf(,%rax,8),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x4a0(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x40(%rbp)
movq   $0x0,-0x48(%rbp)
movq   $0x0,-0x50(%rbp)
mov    -0x50(%rbp),%rax
cmp    -0x20(%rbp),%rax
jae    12ec <str_replace+0x1ac>
movq   $0x0,-0x58(%rbp)
movq   $0x0,-0x60(%rbp)
mov    -0x58(%rbp),%rax
cmp    -0x28(%rbp),%rax
jae    12d6 <str_replace+0x196>
mov    -0x10(%rbp),%rax
mov    -0x58(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x8(%rbp),%rcx
mov    -0x50(%rbp),%rdx
add    -0x58(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jne    1288 <str_replace+0x148>
mov    -0x60(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x60(%rbp)
jmp    128d <str_replace+0x14d>
jmp    12d6 <str_replace+0x196>
mov    -0x60(%rbp),%rax
cmp    -0x28(%rbp),%rax
jne    12c5 <str_replace+0x185>
mov    -0x4a0(%rbp),%rax
mov    -0x50(%rbp),%rdx
mov    -0x48(%rbp),%rcx
mov    %rcx,%rsi
add    $0x1,%rsi
mov    %rsi,-0x48(%rbp)
mov    %rdx,(%rax,%rcx,8)
mov    -0x58(%rbp),%rax
add    -0x50(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    -0x58(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x58(%rbp)
jmp    1245 <str_replace+0x105>
jmp    12db <str_replace+0x19b>
mov    -0x50(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x50(%rbp)
jmp    1227 <str_replace+0xe7>
cmpq   $0x0,-0x48(%rbp)
jne    1303 <str_replace+0x1c3>
movl   $0x1,-0x64(%rbp)
jmp    146a <str_replace+0x32a>
lea    -0x470(%rbp),%rdi
xor    %esi,%esi
mov    $0x400,%edx
call   1040 <memset@plt>
movq   $0x0,-0x478(%rbp)
movq   $0x0,-0x480(%rbp)
mov    -0x480(%rbp),%rax
cmp    -0x48(%rbp),%rax
jae    140d <str_replace+0x2cd>
mov    -0x4a0(%rbp),%rax
mov    -0x480(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x488(%rbp)
mov    -0x478(%rbp),%rax
cmp    -0x488(%rbp),%rax
jae    139d <str_replace+0x25d>
mov    -0x488(%rbp),%rax
sub    -0x478(%rbp),%rax
mov    %rax,-0x490(%rbp)
lea    -0x470(%rbp),%rdi
mov    -0x8(%rbp),%rsi
add    -0x478(%rbp),%rsi
mov    -0x490(%rbp),%rdx
call   1050 <strncat@plt>
mov    -0x488(%rbp),%rax
add    -0x28(%rbp),%rax
mov    %rax,-0x478(%rbp)
lea    -0x470(%rbp),%rax
mov    %rax,-0x4b0(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x4a8(%rbp)
lea    -0x470(%rbp),%rdi
call   1030 <strlen@plt>
mov    -0x4b0(%rbp),%rdi
mov    -0x4a8(%rbp),%rsi
mov    %eax,%ecx
mov    $0x400,%eax
sub    %ecx,%eax
sub    $0x1,%eax
movslq %eax,%rdx
call   1050 <strncat@plt>
mov    -0x480(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x480(%rbp)
jmp    132c <str_replace+0x1ec>
mov    -0x478(%rbp),%rax
cmp    -0x20(%rbp),%rax
jae    144e <str_replace+0x30e>
mov    -0x20(%rbp),%rax
sub    -0x478(%rbp),%rax
mov    %rax,-0x498(%rbp)
lea    -0x470(%rbp),%rdi
mov    -0x8(%rbp),%rsi
add    -0x478(%rbp),%rsi
mov    -0x498(%rbp),%rdx
call   1050 <strncat@plt>
mov    -0x8(%rbp),%rdi
lea    -0x470(%rbp),%rsi
mov    $0x3ff,%edx
call   1060 <memcpy@plt>
movl   $0x0,-0x64(%rbp)
mov    -0x38(%rbp),%rax
mov    %rax,%rsp
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<str_replace>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x428,%rsp
mov    %rdx,-0x30(%rbp)
test   %rdi,%rdi
je     12f4 <str_replace+0x1b4>
mov    %rsi,%rbx
mov    %rdi,%r12
call   1030 <strlen@plt>
cmpq   $0x0,-0x30(%rbp)
je     12f4 <str_replace+0x1b4>
test   %rbx,%rbx
je     12f4 <str_replace+0x1b4>
mov    %eax,%r13d
test   %eax,%eax
je     12f4 <str_replace+0x1b4>
mov    %rbx,%rdi
call   1030 <strlen@plt>
test   %eax,%eax
je     12f4 <str_replace+0x1b4>
mov    %eax,%ecx
cmp    %r13d,%eax
ja     12f4 <str_replace+0x1b4>
movslq %r13d,%r8
movslq %ecx,%r9
mov    %r8,%rax
or     %r9,%rax
shr    $0x20,%rax
je     11c2 <str_replace+0x82>
mov    %r8,%rax
xor    %edx,%edx
div    %r9
jmp    11c9 <str_replace+0x89>
mov    %r13d,%eax
xor    %edx,%edx
div    %ecx
mov    %rsp,%r10
mov    %rsp,%rcx
lea    0xf(,%rax,8),%rax
and    $0xfffffffffffffff0,%rax
sub    %rax,%rcx
mov    %rcx,-0x38(%rbp)
mov    %rcx,%rsp
cmp    $0x2,%r9
mov    $0x1,%edi
cmovae %r9,%rdi
xor    %r15d,%r15d
xor    %ecx,%ecx
xor    %edx,%edx
jmp    120e <str_replace+0xce>
nopl   0x0(%rax,%rax,1)
add    $0x1,%rcx
mov    $0x0,%edx
cmp    %r8,%rcx
jae    123b <str_replace+0xfb>
movzbl (%rbx,%rdx,1),%eax
lea    (%rcx,%rdx,1),%rsi
cmp    (%r12,%rsi,1),%al
jne    1200 <str_replace+0xc0>
add    $0x1,%rdx
cmp    %r9,%rdx
jne    1234 <str_replace+0xf4>
mov    -0x38(%rbp),%rax
mov    %rcx,(%rax,%r15,8)
add    $0x1,%r15
mov    %rsi,%rcx
cmp    %rdi,%rdx
jne    120e <str_replace+0xce>
jmp    1200 <str_replace+0xc0>
test   %r15,%r15
je     12f1 <str_replace+0x1b1>
mov    %r10,-0x40(%rbp)
mov    %r9,-0x50(%rbp)
mov    %r8,-0x48(%rbp)
lea    -0x450(%rbp),%r13
xor    %r14d,%r14d
mov    $0x400,%edx
mov    %r13,%rdi
xor    %esi,%esi
call   1040 <memset@plt>
xor    %esi,%esi
jmp    129e <str_replace+0x15e>
nopl   (%rax)
add    -0x50(%rbp),%rbx
mov    %r13,%rdi
call   1030 <strlen@plt>
mov    $0x3ff,%ecx
sub    %eax,%ecx
movslq %ecx,%rdx
mov    %r13,%rdi
mov    -0x30(%rbp),%rsi
call   1050 <strncat@plt>
add    $0x1,%r14
mov    %rbx,%rsi
cmp    %r14,%r15
je     12bb <str_replace+0x17b>
mov    -0x38(%rbp),%rax
mov    (%rax,%r14,8),%rbx
mov    %rbx,%rdx
sub    %rsi,%rdx
jbe    1270 <str_replace+0x130>
add    %r12,%rsi
mov    %r13,%rdi
call   1050 <strncat@plt>
jmp    1270 <str_replace+0x130>
mov    -0x48(%rbp),%rdx
cmp    %rdx,%rbx
jae    12d9 <str_replace+0x199>
sub    %rbx,%rdx
add    %r12,%rbx
lea    -0x450(%rbp),%rdi
mov    %rbx,%rsi
call   1050 <strncat@plt>
lea    -0x450(%rbp),%rsi
mov    %r12,%rdi
mov    $0x3ff,%edx
call   1060 <memcpy@plt>
mov    -0x40(%rbp),%r10
mov    %r10,%rsp
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @str_replace(i8* %0, i8* %1, i8* %2) {
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca i64
%8 = alloca i64
%9 = alloca i64
%10 = alloca i8*
%11 = alloca i64
%12 = alloca i64
%13 = alloca i64
%14 = alloca i64
%15 = alloca i64
%16 = alloca i32
%17 = alloca [1024 x i8]
%18 = alloca i64
%19 = alloca i64
%20 = alloca i64
%21 = alloca i64
%22 = alloca i64
store i8* %0, i8** %4
store i8* %1, i8** %5
store i8* %2, i8** %6
%23 = load i8*, i8** %4
%24 = icmp eq i8* null, %23
br i1 %24, label %25, label %26
25: ; preds = %3
br label %169
26: ; preds = %3
%27 = load i8*, i8** %4
%28 = call i32 @strlen(i8* %27)
%29 = sext i32 %28 to i64
store i64 %29, i64* %7
%30 = load i64, i64* %7
%31 = icmp eq i64 %30, 0
br i1 %31, label %32, label %33
32: ; preds = %26
br label %169
33: ; preds = %26
%34 = load i8*, i8** %5
%35 = icmp eq i8* null, %34
br i1 %35, label %36, label %37
36: ; preds = %33
br label %169
37: ; preds = %33
%38 = load i8*, i8** %6
%39 = icmp eq i8* null, %38
br i1 %39, label %40, label %41
40: ; preds = %37
br label %169
41: ; preds = %37
%42 = load i8*, i8** %5
%43 = call i32 @strlen(i8* %42)
%44 = sext i32 %43 to i64
store i64 %44, i64* %8
%45 = load i64, i64* %8
%46 = icmp eq i64 %45, 0
br i1 %46, label %47, label %48
47: ; preds = %41
br label %169
48: ; preds = %41
%49 = load i64, i64* %8
%50 = load i64, i64* %7
%51 = icmp ugt i64 %49, %50
br i1 %51, label %52, label %53
52: ; preds = %48
br label %169
53: ; preds = %48
%54 = load i64, i64* %7
%55 = load i64, i64* %8
%56 = udiv i64 %54, %55
store i64 %56, i64* %9
%57 = load i64, i64* %9
%58 = call i8* @llvm.stacksave()
store i8* %58, i8** %10
%59 = alloca i64, i64 %57
store i64 %57, i64* %11
store i64 0, i64* %12
store i64 0, i64* %13
br label %60
60: ; preds = %103, %53
%61 = load i64, i64* %13
%62 = load i64, i64* %7
%63 = icmp ult i64 %61, %62
br i1 %63, label %64, label %106
64: ; preds = %60
store i64 0, i64* %14
store i64 0, i64* %15
br label %65
65: ; preds = %99, %64
%66 = load i64, i64* %14
%67 = load i64, i64* %8
%68 = icmp ult i64 %66, %67
br i1 %68, label %69, label %102
69: ; preds = %65
%70 = load i8*, i8** %5
%71 = load i64, i64* %14
%72 = getelementptr inbounds i8, i8* %70, i64 %71
%73 = load i8, i8* %72
%74 = sext i8 %73 to i32
%75 = load i8*, i8** %4
%76 = load i64, i64* %13
%77 = load i64, i64* %14
%78 = add i64 %76, %77
%79 = getelementptr inbounds i8, i8* %75, i64 %78
%80 = load i8, i8* %79
%81 = sext i8 %80 to i32
%82 = icmp eq i32 %74, %81
br i1 %82, label %83, label %86
83: ; preds = %69
%84 = load i64, i64* %15
%85 = add i64 %84, 1
store i64 %85, i64* %15
br label %87
86: ; preds = %69
br label %102
87: ; preds = %83
%88 = load i64, i64* %15
%89 = load i64, i64* %8
%90 = icmp eq i64 %88, %89
br i1 %90, label %91, label %99
91: ; preds = %87
%92 = load i64, i64* %13
%93 = load i64, i64* %12
%94 = add i64 %93, 1
store i64 %94, i64* %12
%95 = getelementptr inbounds i64, i64* %59, i64 %93
store i64 %92, i64* %95
%96 = load i64, i64* %14
%97 = load i64, i64* %13
%98 = add i64 %97, %96
store i64 %98, i64* %13
br label %99
99: ; preds = %91, %87
%100 = load i64, i64* %14
%101 = add i64 %100, 1
store i64 %101, i64* %14
br label %65
102: ; preds = %86, %65
br label %103
103: ; preds = %102
%104 = load i64, i64* %13
%105 = add i64 %104, 1
store i64 %105, i64* %13
br label %60
106: ; preds = %60
%107 = load i64, i64* %12
%108 = icmp eq i64 %107, 0
br i1 %108, label %109, label %110
109: ; preds = %106
store i32 1, i32* %16
br label %166
110: ; preds = %106
%111 = bitcast [1024 x i8]* %17 to i8*
store i64 0, i64* %18
store i64 0, i64* %19
br label %112
112: ; preds = %145, %110
%113 = load i64, i64* %19
%114 = load i64, i64* %12
%115 = icmp ult i64 %113, %114
br i1 %115, label %116, label %148
116: ; preds = %112
%117 = load i64, i64* %19
%118 = getelementptr inbounds i64, i64* %59, i64 %117
%119 = load i64, i64* %118
store i64 %119, i64* %20
%120 = load i64, i64* %18
%121 = load i64, i64* %20
%122 = icmp ult i64 %120, %121
br i1 %122, label %123, label %133
123: ; preds = %116
%124 = load i64, i64* %20
%125 = load i64, i64* %18
%126 = sub i64 %124, %125
store i64 %126, i64* %21
%127 = getelementptr inbounds [1024 x i8], [1024 x i8]* %17, i64 0, i64 0
%128 = load i8*, i8** %4
%129 = load i64, i64* %18
%130 = getelementptr inbounds i8, i8* %128, i64 %129
%131 = load i64, i64* %21
%132 = call i32 @strncat(i8* %127, i8* %130, i64 %131)
br label %133
133: ; preds = %123, %116
%134 = load i64, i64* %20
%135 = load i64, i64* %8
%136 = add i64 %134, %135
store i64 %136, i64* %18
%137 = getelementptr inbounds [1024 x i8], [1024 x i8]* %17, i64 0, i64 0
%138 = load i8*, i8** %6
%139 = getelementptr inbounds [1024 x i8], [1024 x i8]* %17, i64 0, i64 0
%140 = call i32 @strlen(i8* %139)
%141 = sub nsw i32 1024, %140
%142 = sub nsw i32 %141, 1
%143 = sext i32 %142 to i64
%144 = call i32 @strncat(i8* %137, i8* %138, i64 %143)
br label %145
145: ; preds = %133
%146 = load i64, i64* %19
%147 = add i64 %146, 1
store i64 %147, i64* %19
br label %112
148: ; preds = %112
%149 = load i64, i64* %18
%150 = load i64, i64* %7
%151 = icmp ult i64 %149, %150
br i1 %151, label %152, label %162
152: ; preds = %148
%153 = load i64, i64* %7
%154 = load i64, i64* %18
%155 = sub i64 %153, %154
store i64 %155, i64* %22
%156 = getelementptr inbounds [1024 x i8], [1024 x i8]* %17, i64 0, i64 0
%157 = load i8*, i8** %4
%158 = load i64, i64* %18
%159 = getelementptr inbounds i8, i8* %157, i64 %158
%160 = load i64, i64* %22
%161 = call i32 @strncat(i8* %156, i8* %159, i64 %160)
br label %162
162: ; preds = %152, %148
%163 = load i8*, i8** %4
%164 = getelementptr inbounds [1024 x i8], [1024 x i8]* %17, i64 0, i64 0
%165 = call i32 @memcpy(i8* %163, i8* %164, i32 1023)
store i32 0, i32* %16
br label %166
166: ; preds = %162, %109
%167 = load i8*, i8** %10
%168 = load i32, i32* %16
switch i32 %168, label %170 [
i32 0, label %169
i32 1, label %169
]
169: ; preds = %25, %32, %36, %40, %47, %52, %166, %166
ret void
170: ; preds = %166
unreachable
}

LLVM IR (-O2):
define void @str_replace(i8* %0, i8* %1, i8* %2) {
%4 = alloca [1024 x i8]
%5 = icmp eq i8* %0, null
br i1 %5, label %85, label %6
6: ; preds = %3
%7 = tail call i32 @strlen(i8* %0)
%8 = sext i32 %7 to i64
%9 = icmp eq i32 %7, 0
%10 = icmp eq i8* %1, null
%11 = or i1 %10, %9
%12 = icmp eq i8* %2, null
%13 = or i1 %12, %11
br i1 %13, label %85, label %14
14: ; preds = %6
%15 = tail call i32 @strlen(i8* %1)
%16 = sext i32 %15 to i64
%17 = icmp eq i32 %15, 0
%18 = icmp ugt i32 %15, %7
%19 = select i1 %17, i1 true, i1 %18
br i1 %19, label %85, label %20
20: ; preds = %14
%21 = udiv i64 %8, %16
%22 = tail call i8* @llvm.stacksave()
%23 = alloca i64, i64 %21
%24 = call i64 @llvm.umax.i64(i64 %16, i64 1)
br label %27
25: ; preds = %51
%26 = icmp eq i64 %53, 0
br i1 %26, label %84, label %56
27: ; preds = %47, %20
%28 = phi i64 [ 0, %20 ], [ %48, %47 ]
%29 = phi i64 [ 0, %20 ], [ %49, %47 ]
%30 = phi i64 [ 0, %20 ], [ %50, %47 ]
%31 = getelementptr inbounds i8, i8* %1, i64 %30
%32 = load i8, i8* %31
%33 = add i64 %29, %30
%34 = getelementptr inbounds i8, i8* %0, i64 %33
%35 = load i8, i8* %34
%36 = icmp eq i8 %32, %35
br i1 %36, label %37, label %51
37: ; preds = %27
%38 = add nuw i64 %30, 1
%39 = icmp eq i64 %38, %16
br i1 %39, label %40, label %43
40: ; preds = %37
%41 = add i64 %28, 1
%42 = getelementptr inbounds i64, i64* %23, i64 %28
store i64 %29, i64* %42
br label %43
43: ; preds = %40, %37
%44 = phi i64 [ %33, %40 ], [ %29, %37 ]
%45 = phi i64 [ %41, %40 ], [ %28, %37 ]
%46 = icmp eq i64 %38, %24
br i1 %46, label %51, label %47
47: ; preds = %43, %51
%48 = phi i64 [ %45, %43 ], [ %53, %51 ]
%49 = phi i64 [ %44, %43 ], [ %54, %51 ]
%50 = phi i64 [ %38, %43 ], [ 0, %51 ]
br label %27
51: ; preds = %43, %27
%52 = phi i64 [ %44, %43 ], [ %29, %27 ]
%53 = phi i64 [ %45, %43 ], [ %28, %27 ]
%54 = add i64 %52, 1
%55 = icmp ult i64 %54, %8
br i1 %55, label %47, label %25
56: ; preds = %25
%57 = getelementptr inbounds [1024 x i8], [1024 x i8]* %4, i64 0, i64 0
br label %60
58: ; preds = %70
%59 = icmp ult i64 %71, %8
br i1 %59, label %78, label %82
60: ; preds = %56, %70
%61 = phi i64 [ %76, %70 ], [ 0, %56 ]
%62 = phi i64 [ %71, %70 ], [ 0, %56 ]
%63 = getelementptr inbounds i64, i64* %23, i64 %61
%64 = load i64, i64* %63
%65 = icmp ugt i64 %64, %62
br i1 %65, label %66, label %70
66: ; preds = %60
%67 = sub i64 %64, %62
%68 = getelementptr inbounds i8, i8* %0, i64 %62
%69 = call i32 @strncat(i8* %57, i8* %68, i64 %67)
br label %70
70: ; preds = %66, %60
%71 = add i64 %64, %16
%72 = call i32 @strlen(i8* %57)
%73 = sub i32 1023, %72
%74 = sext i32 %73 to i64
%75 = call i32 @strncat(i8* %57, i8* %2, i64 %74)
%76 = add nuw i64 %61, 1
%77 = icmp eq i64 %76, %53
br i1 %77, label %58, label %60
78: ; preds = %58
%79 = sub i64 %8, %71
%80 = getelementptr inbounds i8, i8* %0, i64 %71
%81 = call i32 @strncat(i8* %57, i8* %80, i64 %79)
br label %82
82: ; preds = %78, %58
%83 = call i32 @memcpy(i8* %0, i8* %57, i32 1023)
br label %84
84: ; preds = %25, %82
br label %85
85: ; preds = %6, %14, %84, %3
ret void
}