#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*/ free(char *);
int /*<<< orphan*/ memcpy(char *, char const *const, size_t);
char *realloc(char *, size_t);
scalar_t__ smtp_si_add_size_t(size_t, size_t, size_t *);
char *smtp_strdup(char const *const);
size_t strlen(char const *const);
scalar_t__ strncmp(char const *, char const *const, size_t);
char *smtp_str_replace(const char *const search, const char *const replace,
                       const char *const s) {
  size_t search_len;
  size_t replace_len;
  size_t replace_len_inc;
  size_t slen;
  size_t slen_inc;
  size_t s_idx;
  size_t snew_len;
  size_t snew_len_inc;
  size_t snew_sz;
  size_t snew_sz_dup;
  size_t snew_sz_plus_slen;
  size_t snew_replace_len_inc;
  char *snew;
  char *stmp;
  search_len = strlen(search);
  replace_len = strlen(replace);
  slen = strlen(s);
  s_idx = 0;
  snew = NULL;
  snew_len = 0;
  snew_sz = 0;
  if (smtp_si_add_size_t(replace_len, 1, &replace_len_inc) ||
      smtp_si_add_size_t(slen, 1, &slen_inc)) {
    return NULL;
  }
  if (s[0] == '\0') {
    return smtp_strdup("");
  } else if (search_len < 1) {
    return smtp_strdup(s);
  }
  while (s[s_idx]) {
    if (smtp_si_add_size_t(snew_len, 1, &snew_len_inc) ||
        smtp_si_add_size_t(snew_sz, snew_sz, &snew_sz_dup) ||
        smtp_si_add_size_t(snew_sz, slen, &snew_sz_plus_slen)) {
      free(snew);
      return NULL;
    }
    if (strncmp(&s[s_idx], search, search_len) == 0) {
      if (smtp_si_add_size_t(snew_len, replace_len_inc,
                             &snew_replace_len_inc)) {
        free(snew);
        return NULL;
      }
      if (snew_replace_len_inc >= snew_sz) {
        if (smtp_si_add_size_t(snew_sz_dup, slen_inc, &snew_sz) ||
            smtp_si_add_size_t(snew_sz, replace_len, &snew_sz) ||
            (stmp = realloc(snew, snew_sz)) == NULL) {
          free(snew);
          return NULL;
        }
        snew = stmp;
      }
      memcpy(&snew[snew_len], replace, replace_len);
      snew_len += replace_len;
      s_idx += search_len;
    } else {
      if (snew_len_inc >= snew_sz) {
        if (smtp_si_add_size_t(snew_sz_dup, slen, &snew_sz) ||
            smtp_si_add_size_t(snew_sz, snew_len_inc, &snew_sz) ||
            (stmp = realloc(snew, snew_sz)) == NULL) {
          free(snew);
          return NULL;
        }
        snew = stmp;
      }
      snew[snew_len] = s[s_idx];
      s_idx += 1;
      snew_len = snew_len_inc;
    }
  }
  snew[snew_len] = '\0';
  return snew;
}


x86 assembly (clang, -O0):
<smtp_str_replace>:
push   %rbp
mov    %rsp,%rbp
sub    $0x90,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    -0x10(%rbp),%rdi
call   1050 <strlen@plt>
mov    %rax,-0x28(%rbp)
mov    -0x18(%rbp),%rdi
call   1050 <strlen@plt>
mov    %rax,-0x30(%rbp)
mov    -0x20(%rbp),%rdi
call   1050 <strlen@plt>
mov    %rax,-0x40(%rbp)
movq   $0x0,-0x50(%rbp)
movq   $0x0,-0x88(%rbp)
movq   $0x0,-0x58(%rbp)
movq   $0x0,-0x68(%rbp)
mov    -0x30(%rbp),%rdi
mov    $0x1,%esi
lea    -0x38(%rbp),%rdx
call   1060 <smtp_si_add_size_t@plt>
cmp    $0x0,%rax
jne    1209 <smtp_str_replace+0x99>
mov    -0x40(%rbp),%rdi
mov    $0x1,%esi
lea    -0x48(%rbp),%rdx
call   1060 <smtp_si_add_size_t@plt>
cmp    $0x0,%rax
je     1216 <smtp_str_replace+0xa6>
movq   $0x0,-0x8(%rbp)
jmp    14cb <smtp_str_replace+0x35b>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    123b <smtp_str_replace+0xcb>
lea    0xdd3(%rip),%rdi
call   1090 <smtp_strdup@plt>
mov    %rax,-0x8(%rbp)
jmp    14cb <smtp_str_replace+0x35b>
cmpq   $0x1,-0x28(%rbp)
jae    1258 <smtp_str_replace+0xe8>
mov    -0x20(%rbp),%rdi
call   1090 <smtp_strdup@plt>
mov    %rax,-0x8(%rbp)
jmp    14cb <smtp_str_replace+0x35b>
jmp    125d <smtp_str_replace+0xed>
jmp    1262 <smtp_str_replace+0xf2>
mov    -0x20(%rbp),%rax
mov    -0x50(%rbp),%rcx
cmpb   $0x0,(%rax,%rcx,1)
je     14b1 <smtp_str_replace+0x341>
mov    -0x58(%rbp),%rdi
mov    $0x1,%esi
lea    -0x60(%rbp),%rdx
call   1060 <smtp_si_add_size_t@plt>
cmp    $0x0,%rax
jne    12c6 <smtp_str_replace+0x156>
mov    -0x68(%rbp),%rdi
mov    -0x68(%rbp),%rsi
lea    -0x70(%rbp),%rdx
call   1060 <smtp_si_add_size_t@plt>
cmp    $0x0,%rax
jne    12c6 <smtp_str_replace+0x156>
mov    -0x68(%rbp),%rdi
mov    -0x40(%rbp),%rsi
lea    -0x78(%rbp),%rdx
call   1060 <smtp_si_add_size_t@plt>
cmp    $0x0,%rax
je     12df <smtp_str_replace+0x16f>
mov    -0x88(%rbp),%rdi
call   1030 <free@plt>
movq   $0x0,-0x8(%rbp)
jmp    14cb <smtp_str_replace+0x35b>
mov    -0x20(%rbp),%rdi
add    -0x50(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x28(%rbp),%rdx
call   1040 <strncmp@plt>
cmp    $0x0,%rax
jne    13f3 <smtp_str_replace+0x283>
mov    -0x58(%rbp),%rdi
mov    -0x38(%rbp),%rsi
lea    -0x80(%rbp),%rdx
call   1060 <smtp_si_add_size_t@plt>
cmp    $0x0,%rax
je     1332 <smtp_str_replace+0x1c2>
mov    -0x88(%rbp),%rdi
call   1030 <free@plt>
movq   $0x0,-0x8(%rbp)
jmp    14cb <smtp_str_replace+0x35b>
mov    -0x80(%rbp),%rax
cmp    -0x68(%rbp),%rax
jb     13be <smtp_str_replace+0x24e>
mov    -0x70(%rbp),%rdi
mov    -0x48(%rbp),%rsi
lea    -0x68(%rbp),%rdx
call   1060 <smtp_si_add_size_t@plt>
cmp    $0x0,%rax
jne    1397 <smtp_str_replace+0x227>
mov    -0x68(%rbp),%rdi
mov    -0x30(%rbp),%rsi
lea    -0x68(%rbp),%rdx
call   1060 <smtp_si_add_size_t@plt>
cmp    $0x0,%rax
jne    1397 <smtp_str_replace+0x227>
mov    -0x88(%rbp),%rdi
mov    -0x68(%rbp),%rsi
call   1080 <realloc@plt>
mov    %rax,-0x90(%rbp)
cmp    $0x0,%rax
jne    13b0 <smtp_str_replace+0x240>
mov    -0x88(%rbp),%rdi
call   1030 <free@plt>
movq   $0x0,-0x8(%rbp)
jmp    14cb <smtp_str_replace+0x35b>
mov    -0x90(%rbp),%rax
mov    %rax,-0x88(%rbp)
mov    -0x88(%rbp),%rdi
add    -0x58(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    -0x30(%rbp),%rdx
call   1070 <memcpy@plt>
mov    -0x30(%rbp),%rax
add    -0x58(%rbp),%rax
mov    %rax,-0x58(%rbp)
mov    -0x28(%rbp),%rax
add    -0x50(%rbp),%rax
mov    %rax,-0x50(%rbp)
jmp    14ac <smtp_str_replace+0x33c>
mov    -0x60(%rbp),%rax
cmp    -0x68(%rbp),%rax
jb     147f <smtp_str_replace+0x30f>
mov    -0x70(%rbp),%rdi
mov    -0x40(%rbp),%rsi
lea    -0x68(%rbp),%rdx
call   1060 <smtp_si_add_size_t@plt>
cmp    $0x0,%rax
jne    1458 <smtp_str_replace+0x2e8>
mov    -0x68(%rbp),%rdi
mov    -0x60(%rbp),%rsi
lea    -0x68(%rbp),%rdx
call   1060 <smtp_si_add_size_t@plt>
cmp    $0x0,%rax
jne    1458 <smtp_str_replace+0x2e8>
mov    -0x88(%rbp),%rdi
mov    -0x68(%rbp),%rsi
call   1080 <realloc@plt>
mov    %rax,-0x90(%rbp)
cmp    $0x0,%rax
jne    1471 <smtp_str_replace+0x301>
mov    -0x88(%rbp),%rdi
call   1030 <free@plt>
movq   $0x0,-0x8(%rbp)
jmp    14cb <smtp_str_replace+0x35b>
mov    -0x90(%rbp),%rax
mov    %rax,-0x88(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x50(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x88(%rbp),%rax
mov    -0x58(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x50(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x50(%rbp)
mov    -0x60(%rbp),%rax
mov    %rax,-0x58(%rbp)
jmp    1262 <smtp_str_replace+0xf2>
mov    -0x88(%rbp),%rax
mov    -0x58(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x88(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x90,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<smtp_str_replace>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x58,%rsp
mov    %rdx,%r15
mov    %rsi,%rbx
mov    %rdi,%rbp
call   1050 <strlen@plt>
mov    %rax,%r14
mov    %rbx,%rdi
call   1050 <strlen@plt>
mov    %rax,%r13
mov    %r15,%rdi
call   1050 <strlen@plt>
mov    %rax,%r12
movq   $0x0,(%rsp)
lea    0x48(%rsp),%rdx
mov    $0x1,%esi
mov    %r13,%rdi
call   1060 <smtp_si_add_size_t@plt>
test   %rax,%rax
jne    11db <smtp_str_replace+0x6b>
lea    0x40(%rsp),%rdx
mov    $0x1,%esi
mov    %r12,%rdi
call   1060 <smtp_si_add_size_t@plt>
test   %rax,%rax
je     11f0 <smtp_str_replace+0x80>
xor    %r12d,%r12d
mov    %r12,%rax
add    $0x58,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
cmpb   $0x0,(%r15)
je     139c <smtp_str_replace+0x22c>
test   %r14,%r14
je     13b5 <smtp_str_replace+0x245>
mov    %r12,0x10(%rsp)
mov    %rbp,0x30(%rsp)
mov    %r14,0x18(%rsp)
mov    %rbx,0x28(%rsp)
xor    %r12d,%r12d
mov    %r15,%rbx
xor    %edi,%edi
xor    %r14d,%r14d
jmp    124c <smtp_str_replace+0xdc>
mov    %r12,%rax
movzbl (%rbx),%ecx
mov    %cl,(%rax,%rbp,1)
mov    $0x1,%ecx
mov    0x8(%rsp),%rdi
mov    %rax,%r12
add    %rcx,%r14
lea    (%r15,%r14,1),%rbx
cmpb   $0x0,(%r15,%r14,1)
je     13c5 <smtp_str_replace+0x255>
mov    $0x1,%esi
mov    %rdi,%rbp
lea    0x8(%rsp),%rdx
call   1060 <smtp_si_add_size_t@plt>
test   %rax,%rax
jne    13a5 <smtp_str_replace+0x235>
mov    (%rsp),%rdi
mov    %rdi,%rsi
lea    0x20(%rsp),%rdx
call   1060 <smtp_si_add_size_t@plt>
test   %rax,%rax
jne    13a5 <smtp_str_replace+0x235>
mov    (%rsp),%rdi
mov    0x10(%rsp),%rsi
lea    0x50(%rsp),%rdx
call   1060 <smtp_si_add_size_t@plt>
test   %rax,%rax
jne    13a5 <smtp_str_replace+0x235>
mov    %rbx,%rdi
mov    0x30(%rsp),%rsi
mov    0x18(%rsp),%rdx
call   1040 <strncmp@plt>
test   %rax,%rax
je     1312 <smtp_str_replace+0x1a2>
mov    0x8(%rsp),%rax
cmp    (%rsp),%rax
jb     1224 <smtp_str_replace+0xb4>
mov    0x20(%rsp),%rdi
mov    0x10(%rsp),%rsi
mov    %rsp,%rdx
call   1060 <smtp_si_add_size_t@plt>
test   %rax,%rax
jne    13a5 <smtp_str_replace+0x235>
mov    (%rsp),%rdi
mov    0x8(%rsp),%rsi
mov    %rsp,%rdx
call   1060 <smtp_si_add_size_t@plt>
test   %rax,%rax
jne    13a5 <smtp_str_replace+0x235>
mov    (%rsp),%rsi
mov    %r12,%rdi
call   1080 <realloc@plt>
test   %rax,%rax
jne    1227 <smtp_str_replace+0xb7>
jmp    13a5 <smtp_str_replace+0x235>
mov    0x48(%rsp),%rsi
mov    %rbp,%rdi
lea    0x38(%rsp),%rdx
call   1060 <smtp_si_add_size_t@plt>
test   %rax,%rax
jne    13a5 <smtp_str_replace+0x235>
mov    0x38(%rsp),%rax
cmp    (%rsp),%rax
jae    1339 <smtp_str_replace+0x1c9>
mov    %r12,%rbx
jmp    1378 <smtp_str_replace+0x208>
mov    0x20(%rsp),%rdi
mov    0x40(%rsp),%rsi
mov    %rsp,%rdx
call   1060 <smtp_si_add_size_t@plt>
test   %rax,%rax
jne    13a5 <smtp_str_replace+0x235>
mov    (%rsp),%rdi
mov    %r13,%rsi
mov    %rsp,%rdx
call   1060 <smtp_si_add_size_t@plt>
test   %rax,%rax
jne    13a5 <smtp_str_replace+0x235>
mov    (%rsp),%rsi
mov    %r12,%rdi
call   1080 <realloc@plt>
mov    %rax,%rbx
test   %rax,%rax
je     13a5 <smtp_str_replace+0x235>
lea    (%rbx,%rbp,1),%rdi
mov    0x28(%rsp),%rsi
mov    %r13,%rdx
call   1070 <memcpy@plt>
mov    %rbp,%rdi
add    %r13,%rdi
mov    0x18(%rsp),%rcx
mov    %rbx,%r12
jmp    123a <smtp_str_replace+0xca>
lea    0xc5d(%rip),%rdi
jmp    13b8 <smtp_str_replace+0x248>
mov    %r12,%rdi
call   1030 <free@plt>
xor    %r12d,%r12d
jmp    11de <smtp_str_replace+0x6e>
mov    %r15,%rdi
call   1090 <smtp_strdup@plt>
mov    %rax,%r12
jmp    11de <smtp_str_replace+0x6e>
movb   $0x0,(%r12,%rdi,1)
jmp    11de <smtp_str_replace+0x6e>

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

LLVM IR (-O2):
@.str = [1 x i8] zeroinitializer
define i8* @smtp_str_replace(i8* %0, i8* %1, i8* %2) {
%4 = alloca i64
%5 = alloca i64
%6 = alloca i64
%7 = alloca i64
%8 = alloca i64
%9 = alloca i64
%10 = alloca i64
%11 = bitcast i64* %4 to i8*
%12 = bitcast i64* %5 to i8*
%13 = bitcast i64* %6 to i8*
%14 = bitcast i64* %7 to i8*
%15 = bitcast i64* %8 to i8*
%16 = bitcast i64* %9 to i8*
%17 = bitcast i64* %10 to i8*
%18 = tail call i64 @strlen(i8* dereferenceable(1) %0)
%19 = tail call i64 @strlen(i8* dereferenceable(1) %1)
%20 = tail call i64 @strlen(i8* dereferenceable(1) %2)
store i64 0, i64* %7
%21 = call i64 @smtp_si_add_size_t(i64 %19, i64 1, i64* %4)
%22 = icmp eq i64 %21, 0
br i1 %22, label %23, label %119
23: ; preds = %3
%24 = call i64 @smtp_si_add_size_t(i64 %20, i64 1, i64* %5)
%25 = icmp eq i64 %24, 0
br i1 %25, label %26, label %119
26: ; preds = %23
%27 = load i8, i8* %2
%28 = icmp eq i8 %27, 0
br i1 %28, label %29, label %31
29: ; preds = %26
%30 = call i8* @smtp_strdup(i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0))
br label %119
31: ; preds = %26
%32 = icmp eq i64 %18, 0
br i1 %32, label %33, label %35
33: ; preds = %31
%34 = call i8* @smtp_strdup(i8* %2)
br label %119
35: ; preds = %31, %109
%36 = phi i8* [ %114, %109 ], [ %2, %31 ]
%37 = phi i8* [ %112, %109 ], [ null, %31 ]
%38 = phi i64 [ %111, %109 ], [ 0, %31 ]
%39 = phi i64 [ %113, %109 ], [ 0, %31 ]
%40 = call i64 @smtp_si_add_size_t(i64 %38, i64 1, i64* %6)
%41 = icmp eq i64 %40, 0
br i1 %41, label %42, label %50
42: ; preds = %35
%43 = load i64, i64* %7
%44 = call i64 @smtp_si_add_size_t(i64 %43, i64 %43, i64* %8)
%45 = icmp eq i64 %44, 0
br i1 %45, label %46, label %50
46: ; preds = %42
%47 = load i64, i64* %7
%48 = call i64 @smtp_si_add_size_t(i64 %47, i64 %20, i64* %9)
%49 = icmp eq i64 %48, 0
br i1 %49, label %52, label %50
50: ; preds = %46, %42, %35
%51 = call i32 @free(i8* %37)
br label %119
52: ; preds = %46
%53 = call i64 @strncmp(i8* %36, i8* %0, i64 %18)
%54 = icmp eq i64 %53, 0
br i1 %54, label %55, label %85
55: ; preds = %52
%56 = load i64, i64* %4
%57 = call i64 @smtp_si_add_size_t(i64 %38, i64 %56, i64* %10)
%58 = icmp eq i64 %57, 0
br i1 %58, label %61, label %59
59: ; preds = %55
%60 = call i32 @free(i8* %37)
br label %119
61: ; preds = %55
%62 = load i64, i64* %10
%63 = load i64, i64* %7
%64 = icmp ult i64 %62, %63
br i1 %64, label %80, label %65
65: ; preds = %61
%66 = load i64, i64* %8
%67 = load i64, i64* %5
%68 = call i64 @smtp_si_add_size_t(i64 %66, i64 %67, i64* %7)
%69 = icmp eq i64 %68, 0
br i1 %69, label %70, label %78
70: ; preds = %65
%71 = load i64, i64* %7
%72 = call i64 @smtp_si_add_size_t(i64 %71, i64 %19, i64* %7)
%73 = icmp eq i64 %72, 0
br i1 %73, label %74, label %78
74: ; preds = %70
%75 = load i64, i64* %7
%76 = call i8* @realloc(i8* %37, i64 %75)
%77 = icmp eq i8* %76, null
br i1 %77, label %78, label %80
78: ; preds = %74, %70, %65
%79 = call i32 @free(i8* %37)
br label %119
80: ; preds = %74, %61
%81 = phi i8* [ %37, %61 ], [ %76, %74 ]
%82 = getelementptr inbounds i8, i8* %81, i64 %38
%83 = call i32 @memcpy(i8* %82, i8* %1, i64 %19)
%84 = add i64 %38, %19
br label %109
85: ; preds = %52
%86 = load i64, i64* %6
%87 = load i64, i64* %7
%88 = icmp ult i64 %86, %87
br i1 %88, label %104, label %89
89: ; preds = %85
%90 = load i64, i64* %8
%91 = call i64 @smtp_si_add_size_t(i64 %90, i64 %20, i64* %7)
%92 = icmp eq i64 %91, 0
br i1 %92, label %93, label %102
93: ; preds = %89
%94 = load i64, i64* %7
%95 = load i64, i64* %6
%96 = call i64 @smtp_si_add_size_t(i64 %94, i64 %95, i64* %7)
%97 = icmp eq i64 %96, 0
br i1 %97, label %98, label %102
98: ; preds = %93
%99 = load i64, i64* %7
%100 = call i8* @realloc(i8* %37, i64 %99)
%101 = icmp eq i8* %100, null
br i1 %101, label %102, label %104
102: ; preds = %98, %93, %89
%103 = call i32 @free(i8* %37)
br label %119
104: ; preds = %98, %85
%105 = phi i8* [ %37, %85 ], [ %100, %98 ]
%106 = load i8, i8* %36
%107 = getelementptr inbounds i8, i8* %105, i64 %38
store i8 %106, i8* %107
%108 = load i64, i64* %6
br label %109
109: ; preds = %104, %80
%110 = phi i64 [ %18, %80 ], [ 1, %104 ]
%111 = phi i64 [ %84, %80 ], [ %108, %104 ]
%112 = phi i8* [ %81, %80 ], [ %105, %104 ]
%113 = add i64 %110, %39
%114 = getelementptr inbounds i8, i8* %2, i64 %113
%115 = load i8, i8* %114
%116 = icmp eq i8 %115, 0
br i1 %116, label %117, label %35
117: ; preds = %109
%118 = getelementptr inbounds i8, i8* %112, i64 %111
store i8 0, i8* %118
br label %119
119: ; preds = %3, %23, %117, %102, %78, %59, %50, %33, %29
%120 = phi i8* [ %30, %29 ], [ %34, %33 ], [ null, %50 ], [ null, %59 ], [ null, %78 ], [ null, %102 ], [ %112, %117 ], [ null, %23 ], [ null, %3 ]
ret i8* %120
}