#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 long strLenght;

/* Variables and functions */
int /*<<< orphan*/ assert(int);
char *c_malloc(long);
int /*<<< orphan*/ free(char *);
int str_count(char *, char *);
char *str_sepm(char **, char *);
int /*<<< orphan*/ strcpy(char *, char *);
long strlen(char *);
char *str_replace(char **str, char *find, char *replace) {
  assert(str && find && replace);
  char *strVal = *str;
  long strLenght = strlen(strVal), findLenght = strlen(find),
       replaceLenght = strlen(replace);
  assert(strLenght >= findLenght);
  int count = str_count(strVal, find);
  if (count == 0)
    return strVal;
  long memsize = 0;
  memsize = ((strLenght) - (count * findLenght)) + (count * replaceLenght);
  char *result = c_malloc(memsize * sizeof(char)), *token;
  int offset = 0;
  char *cpy = c_malloc(strLenght * sizeof(char));
  strcpy(cpy, strVal);
  while ((token = str_sepm(&cpy, find)) != NULL) {
    long tokenLenght = strlen(token);
    if (tokenLenght < 0)
      continue;
    for (int i = 0; i < tokenLenght; i++)
      result[offset + i] = token[i];
    offset += tokenLenght;
    if (offset < memsize) {
      for (int i = 0; i < replaceLenght; i++)
        result[offset + i] = replace[i];
      offset += replaceLenght;
    }
  }
  free(cpy);
  return result;
}


x86 assembly (clang, -O0):
<str_replace>:
push   %rbp
mov    %rsp,%rbp
sub    $0x90,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
xor    %eax,%eax
cmpq   $0x0,-0x10(%rbp)
mov    %al,-0x81(%rbp)
je     11bb <str_replace+0x4b>
xor    %eax,%eax
cmpq   $0x0,-0x18(%rbp)
mov    %al,-0x81(%rbp)
je     11bb <str_replace+0x4b>
cmpq   $0x0,-0x20(%rbp)
setne  %al
mov    %al,-0x81(%rbp)
mov    -0x81(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1080 <assert@plt>
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rdi
call   1050 <strlen@plt>
mov    %rax,-0x30(%rbp)
mov    -0x18(%rbp),%rdi
call   1050 <strlen@plt>
mov    %rax,-0x38(%rbp)
mov    -0x20(%rbp),%rdi
call   1050 <strlen@plt>
mov    %rax,-0x40(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x38(%rbp),%rax
setge  %al
and    $0x1,%al
movzbl %al,%edi
call   1080 <assert@plt>
mov    -0x28(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1070 <str_count@plt>
mov    %eax,-0x44(%rbp)
cmpl   $0x0,-0x44(%rbp)
jne    1239 <str_replace+0xc9>
mov    -0x28(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    138b <str_replace+0x21b>
movq   $0x0,-0x50(%rbp)
mov    -0x30(%rbp),%rax
movslq -0x44(%rbp),%rcx
imul   -0x38(%rbp),%rcx
sub    %rcx,%rax
movslq -0x44(%rbp),%rcx
imul   -0x40(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x50(%rbp)
mov    -0x50(%rbp),%rdi
shl    $0x0,%rdi
call   1060 <c_malloc@plt>
mov    %rax,-0x58(%rbp)
movl   $0x0,-0x64(%rbp)
mov    -0x30(%rbp),%rdi
shl    $0x0,%rdi
call   1060 <c_malloc@plt>
mov    %rax,-0x70(%rbp)
mov    -0x70(%rbp),%rdi
mov    -0x28(%rbp),%rsi
call   1040 <strcpy@plt>
mov    -0x18(%rbp),%rsi
lea    -0x70(%rbp),%rdi
call   1090 <str_sepm@plt>
mov    %rax,-0x60(%rbp)
cmp    $0x0,%rax
je     137a <str_replace+0x20a>
mov    -0x60(%rbp),%rdi
call   1050 <strlen@plt>
mov    %rax,-0x78(%rbp)
cmpq   $0x0,-0x78(%rbp)
jge    12cf <str_replace+0x15f>
jmp    1297 <str_replace+0x127>
movl   $0x0,-0x7c(%rbp)
movslq -0x7c(%rbp),%rax
cmp    -0x78(%rbp),%rax
jge    130d <str_replace+0x19d>
mov    -0x60(%rbp),%rax
movslq -0x7c(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x58(%rbp),%rax
mov    -0x64(%rbp),%ecx
add    -0x7c(%rbp),%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x7c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x7c(%rbp)
jmp    12d6 <str_replace+0x166>
mov    -0x78(%rbp),%rcx
movslq -0x64(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x64(%rbp)
movslq -0x64(%rbp),%rax
cmp    -0x50(%rbp),%rax
jge    1375 <str_replace+0x205>
movl   $0x0,-0x80(%rbp)
movslq -0x80(%rbp),%rax
cmp    -0x40(%rbp),%rax
jge    1367 <str_replace+0x1f7>
mov    -0x20(%rbp),%rax
movslq -0x80(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x58(%rbp),%rax
mov    -0x64(%rbp),%ecx
add    -0x80(%rbp),%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x80(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x80(%rbp)
jmp    1330 <str_replace+0x1c0>
mov    -0x40(%rbp),%rcx
movslq -0x64(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x64(%rbp)
jmp    1297 <str_replace+0x127>
mov    -0x70(%rbp),%rdi
call   1030 <free@plt>
mov    -0x58(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x90,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<str_replace>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x88,%rsp
mov    %rdx,%r14
mov    %rsi,%rbx
mov    %rdi,%rbp
test   %rdi,%rdi
setne  %al
test   %rsi,%rsi
setne  %cl
and    %al,%cl
test   %rdx,%rdx
setne  %al
and    %cl,%al
movzbl %al,%edi
call   1080 <assert@plt>
mov    0x0(%rbp),%r13
mov    %r13,%rdi
call   1050 <strlen@plt>
mov    %rax,%r12
mov    %rbx,%rdi
call   1050 <strlen@plt>
mov    %rax,%rbp
mov    %r14,%rdi
call   1050 <strlen@plt>
mov    %rax,%r15
xor    %edi,%edi
cmp    %rbp,%r12
setge  %dil
call   1080 <assert@plt>
mov    %r13,%rdi
mov    %rbx,%rsi
call   1070 <str_count@plt>
test   %eax,%eax
je     16f1 <str_replace+0x581>
movslq %eax,%rdi
imul   %rdi,%rbp
mov    %r12,%rax
sub    %rbp,%rax
imul   %r15,%rdi
add    %rax,%rdi
mov    %rdi,0x80(%rsp)
call   1060 <c_malloc@plt>
mov    %rax,0x8(%rsp)
mov    %r12,%rdi
call   1060 <c_malloc@plt>
mov    %rax,0x18(%rsp)
mov    %rax,%rdi
mov    %r13,%rsi
call   1040 <strcpy@plt>
lea    0x18(%rsp),%rdi
mov    %rbx,%rsi
call   1090 <str_sepm@plt>
test   %rax,%rax
je     16e2 <str_replace+0x572>
mov    %rax,%rbp
mov    0x8(%rsp),%rax
lea    (%rax,%r15,1),%rcx
mov    %rcx,0x60(%rsp)
lea    (%r14,%r15,1),%rcx
mov    %rcx,0x68(%rsp)
lea    -0x20(%r15),%rcx
mov    %rcx,0x58(%rsp)
shr    $0x5,%rcx
add    $0x1,%rcx
mov    %r15,%rdx
and    $0xffffffffffffffe0,%rdx
mov    %rdx,0x28(%rsp)
mov    %ecx,%edx
and    $0x3,%edx
and    $0xfffffffffffffffc,%rcx
mov    %rcx,0x40(%rsp)
mov    %r15,%r12
and    $0xfffffffffffffff8,%r12
mov    %r15d,%ecx
and    $0x3,%ecx
mov    %rcx,0x70(%rsp)
lea    0x70(%rax),%rcx
mov    %rcx,0x20(%rsp)
lea    0x10(%rax),%rcx
mov    %rcx,0x30(%rsp)
add    $0x3,%rax
mov    %rax,0x38(%rsp)
lea    0x10(%r14),%rax
mov    %rax,0x48(%rsp)
mov    %rdx,0x50(%rsp)
shl    $0x5,%rdx
mov    %rdx,0x78(%rsp)
xor    %r13d,%r13d
mov    %rbx,0x10(%rsp)
jmp    12fc <str_replace+0x18c>
cs nopw 0x0(%rax,%rax,1)
nop
add    %r15d,%r13d
lea    0x18(%rsp),%rdi
mov    %rbx,%rsi
call   1090 <str_sepm@plt>
mov    %rax,%rbp
test   %rax,%rax
je     16e2 <str_replace+0x572>
mov    %rbp,%rdi
call   1050 <strlen@plt>
test   %rax,%rax
js     12e3 <str_replace+0x173>
je     13c0 <str_replace+0x250>
movslq %r13d,%r10
cmp    $0x8,%rax
jb     133e <str_replace+0x1ce>
mov    0x8(%rsp),%rcx
lea    (%rcx,%r10,1),%r9
lea    (%rax,%rbp,1),%rdx
cmp    %rdx,%r9
jae    1494 <str_replace+0x324>
lea    (%rax,%r10,1),%rdx
add    %rcx,%rdx
cmp    %rdx,%rbp
jae    1494 <str_replace+0x324>
xor    %edx,%edx
mov    %rdx,%rsi
not    %rsi
add    %rax,%rsi
mov    %rax,%rdi
and    $0x3,%rdi
je     1372 <str_replace+0x202>
mov    0x8(%rsp),%rcx
lea    (%rcx,%r10,1),%rbx
nopl   0x0(%rax,%rax,1)
movzbl 0x0(%rbp,%rdx,1),%ecx
mov    %cl,(%rbx,%rdx,1)
add    $0x1,%rdx
add    $0xffffffffffffffff,%rdi
jne    1360 <str_replace+0x1f0>
cmp    $0x3,%rsi
mov    0x10(%rsp),%rbx
jb     13c0 <str_replace+0x250>
add    0x38(%rsp),%r10
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movzbl 0x0(%rbp,%rdx,1),%ecx
mov    %cl,-0x3(%r10,%rdx,1)
movzbl 0x1(%rbp,%rdx,1),%ecx
mov    %cl,-0x2(%r10,%rdx,1)
movzbl 0x2(%rbp,%rdx,1),%ecx
mov    %cl,-0x1(%r10,%rdx,1)
movzbl 0x3(%rbp,%rdx,1),%ecx
mov    %cl,(%r10,%rdx,1)
add    $0x4,%rdx
cmp    %rdx,%rax
jne    1390 <str_replace+0x220>
add    %eax,%r13d
movslq %r13d,%rax
cmp    %rax,0x80(%rsp)
jle    12e3 <str_replace+0x173>
test   %r15,%r15
mov    0x78(%rsp),%rbp
jle    12e0 <str_replace+0x170>
cmp    $0x8,%r15
jb     140c <str_replace+0x29c>
mov    0x8(%rsp),%rcx
add    %rax,%rcx
cmp    0x68(%rsp),%rcx
jae    14a1 <str_replace+0x331>
mov    0x60(%rsp),%rdx
add    %rax,%rdx
cmp    %r14,%rdx
jbe    14a1 <str_replace+0x331>
xor    %edx,%edx
mov    %rdx,%rcx
not    %rcx
add    %r15,%rcx
mov    0x70(%rsp),%rdi
test   %rdi,%rdi
je     1442 <str_replace+0x2d2>
mov    0x8(%rsp),%rsi
add    %rax,%rsi
nopl   0x0(%rax)
movzbl (%r14,%rdx,1),%ebx
mov    %bl,(%rsi,%rdx,1)
add    $0x1,%rdx
add    $0xffffffffffffffff,%rdi
jne    1430 <str_replace+0x2c0>
cmp    $0x3,%rcx
mov    0x10(%rsp),%rbx
jb     12e0 <str_replace+0x170>
add    0x38(%rsp),%rax
cs nopw 0x0(%rax,%rax,1)
movzbl (%r14,%rdx,1),%ecx
mov    %cl,-0x3(%rax,%rdx,1)
movzbl 0x1(%r14,%rdx,1),%ecx
mov    %cl,-0x2(%rax,%rdx,1)
movzbl 0x2(%r14,%rdx,1),%ecx
mov    %cl,-0x1(%rax,%rdx,1)
movzbl 0x3(%r14,%rdx,1),%ecx
mov    %cl,(%rax,%rdx,1)
add    $0x4,%rdx
cmp    %rdx,%r15
jne    1460 <str_replace+0x2f0>
jmp    12e0 <str_replace+0x170>
cmp    $0x20,%rax
jae    14ae <str_replace+0x33e>
xor    %edx,%edx
jmp    15c1 <str_replace+0x451>
cmp    $0x20,%r15
jae    14d8 <str_replace+0x368>
xor    %esi,%esi
jmp    16c0 <str_replace+0x550>
mov    %rax,%rdx
and    $0xffffffffffffffe0,%rdx
lea    -0x20(%rdx),%rsi
mov    %rsi,%rdi
shr    $0x5,%rdi
add    $0x1,%rdi
mov    %edi,%r8d
and    $0x3,%r8d
cmp    $0x60,%rsi
jae    14eb <str_replace+0x37b>
xor    %esi,%esi
jmp    1569 <str_replace+0x3f9>
cmpq   $0x60,0x58(%rsp)
jae    15f0 <str_replace+0x480>
xor    %edx,%edx
jmp    1660 <str_replace+0x4f0>
movabs $0xffffffffffffffc,%rcx
ff ff 0f
and    %rcx,%rdi
mov    0x20(%rsp),%rcx
lea    (%rcx,%r10,1),%rbx
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movups 0x0(%rbp,%rsi,1),%xmm0
movups 0x10(%rbp,%rsi,1),%xmm1
movups %xmm0,-0x70(%rbx,%rsi,1)
movups %xmm1,-0x60(%rbx,%rsi,1)
movups 0x20(%rbp,%rsi,1),%xmm0
movups 0x30(%rbp,%rsi,1),%xmm1
movups %xmm0,-0x50(%rbx,%rsi,1)
movups %xmm1,-0x40(%rbx,%rsi,1)
movups 0x40(%rbp,%rsi,1),%xmm0
movups 0x50(%rbp,%rsi,1),%xmm1
movups %xmm0,-0x30(%rbx,%rsi,1)
movups %xmm1,-0x20(%rbx,%rsi,1)
movups 0x60(%rbp,%rsi,1),%xmm0
movups 0x70(%rbp,%rsi,1),%xmm1
movups %xmm0,-0x10(%rbx,%rsi,1)
movups %xmm1,(%rbx,%rsi,1)
sub    $0xffffffffffffff80,%rsi
add    $0xfffffffffffffffc,%rdi
jne    1510 <str_replace+0x3a0>
test   %r8,%r8
je     15ab <str_replace+0x43b>
lea    (%rsi,%r10,1),%rdi
add    0x30(%rsp),%rdi
add    %rbp,%rsi
add    $0x10,%rsi
shl    $0x5,%r8
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movups -0x10(%rsi,%rbx,1),%xmm0
movups (%rsi,%rbx,1),%xmm1
movups %xmm0,-0x10(%rdi,%rbx,1)
movups %xmm1,(%rdi,%rbx,1)
add    $0x20,%rbx
cmp    %rbx,%r8
jne    1590 <str_replace+0x420>
cmp    %rdx,%rax
mov    0x10(%rsp),%rbx
je     13c0 <str_replace+0x250>
test   $0x18,%al
je     1340 <str_replace+0x1d0>
mov    %rdx,%rsi
mov    %rax,%rdx
and    $0xfffffffffffffff8,%rdx
nopl   0x0(%rax,%rax,1)
mov    0x0(%rbp,%rsi,1),%rdi
mov    %rdi,(%r9,%rsi,1)
add    $0x8,%rsi
cmp    %rsi,%rdx
jne    15d0 <str_replace+0x460>
cmp    %rdx,%rax
je     13c0 <str_replace+0x250>
jmp    1340 <str_replace+0x1d0>
mov    0x20(%rsp),%rdx
lea    (%rdx,%rax,1),%rsi
mov    0x40(%rsp),%rdi
xor    %edx,%edx
movups (%r14,%rdx,1),%xmm0
movups 0x10(%r14,%rdx,1),%xmm1
movups %xmm0,-0x70(%rsi,%rdx,1)
movups %xmm1,-0x60(%rsi,%rdx,1)
movups 0x20(%r14,%rdx,1),%xmm0
movups 0x30(%r14,%rdx,1),%xmm1
movups %xmm0,-0x50(%rsi,%rdx,1)
movups %xmm1,-0x40(%rsi,%rdx,1)
movups 0x40(%r14,%rdx,1),%xmm0
movups 0x50(%r14,%rdx,1),%xmm1
movups %xmm0,-0x30(%rsi,%rdx,1)
movups %xmm1,-0x20(%rsi,%rdx,1)
movups 0x60(%r14,%rdx,1),%xmm0
movups 0x70(%r14,%rdx,1),%xmm1
movups %xmm0,-0x10(%rsi,%rdx,1)
movups %xmm1,(%rsi,%rdx,1)
sub    $0xffffffffffffff80,%rdx
add    $0xfffffffffffffffc,%rdi
jne    1600 <str_replace+0x490>
cmpq   $0x0,0x50(%rsp)
je     169b <str_replace+0x52b>
lea    (%rdx,%rax,1),%rsi
add    0x30(%rsp),%rsi
add    0x48(%rsp),%rdx
xor    %edi,%edi
nopl   0x0(%rax,%rax,1)
movups -0x10(%rdx,%rdi,1),%xmm0
movups (%rdx,%rdi,1),%xmm1
movups %xmm0,-0x10(%rsi,%rdi,1)
movups %xmm1,(%rsi,%rdi,1)
add    $0x20,%rdi
cmp    %rdi,%rbp
jne    1680 <str_replace+0x510>
cmp    0x28(%rsp),%r15
je     12e0 <str_replace+0x170>
mov    0x28(%rsp),%rdx
mov    %rdx,%rsi
test   $0x18,%r15b
je     140e <str_replace+0x29e>
nopl   0x0(%rax,%rax,1)
mov    (%r14,%rsi,1),%rdx
mov    %rdx,(%rcx,%rsi,1)
add    $0x8,%rsi
cmp    %rsi,%r12
jne    16c0 <str_replace+0x550>
mov    %r12,%rdx
cmp    %r12,%r15
je     12e0 <str_replace+0x170>
jmp    140e <str_replace+0x29e>
mov    0x18(%rsp),%rdi
call   1030 <free@plt>
mov    0x8(%rsp),%r13
mov    %r13,%rax
add    $0x88,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i8* @str_replace(i8** %0, i8* %1, i8* %2) {
%4 = alloca i8*
%5 = alloca i8**
%6 = alloca i8*
%7 = alloca i8*
%8 = alloca i8*
%9 = alloca i64
%10 = alloca i64
%11 = alloca i64
%12 = alloca i32
%13 = alloca i64
%14 = alloca i8*
%15 = alloca i8*
%16 = alloca i32
%17 = alloca i8*
%18 = alloca i64
%19 = alloca i32
%20 = alloca i32
store i8** %0, i8*** %5
store i8* %1, i8** %6
store i8* %2, i8** %7
%21 = load i8**, i8*** %5
%22 = icmp ne i8** %21, null
br i1 %22, label %23, label %29
23: ; preds = %3
%24 = load i8*, i8** %6
%25 = icmp ne i8* %24, null
br i1 %25, label %26, label %29
26: ; preds = %23
%27 = load i8*, i8** %7
%28 = icmp ne i8* %27, null
br label %29
29: ; preds = %26, %23, %3
%30 = phi i1 [ false, %23 ], [ false, %3 ], [ %28, %26 ]
%31 = zext i1 %30 to i32
%32 = call i32 @assert(i32 %31)
%33 = load i8**, i8*** %5
%34 = load i8*, i8** %33
store i8* %34, i8** %8
%35 = load i8*, i8** %8
%36 = call i64 @strlen(i8* %35)
store i64 %36, i64* %9
%37 = load i8*, i8** %6
%38 = call i64 @strlen(i8* %37)
store i64 %38, i64* %10
%39 = load i8*, i8** %7
%40 = call i64 @strlen(i8* %39)
store i64 %40, i64* %11
%41 = load i64, i64* %9
%42 = load i64, i64* %10
%43 = icmp sge i64 %41, %42
%44 = zext i1 %43 to i32
%45 = call i32 @assert(i32 %44)
%46 = load i8*, i8** %8
%47 = load i8*, i8** %6
%48 = call i32 @str_count(i8* %46, i8* %47)
store i32 %48, i32* %12
%49 = load i32, i32* %12
%50 = icmp eq i32 %49, 0
br i1 %50, label %51, label %53
51: ; preds = %29
%52 = load i8*, i8** %8
store i8* %52, i8** %4
br label %147
53: ; preds = %29
store i64 0, i64* %13
%54 = load i64, i64* %9
%55 = load i32, i32* %12
%56 = sext i32 %55 to i64
%57 = load i64, i64* %10
%58 = mul nsw i64 %56, %57
%59 = sub nsw i64 %54, %58
%60 = load i32, i32* %12
%61 = sext i32 %60 to i64
%62 = load i64, i64* %11
%63 = mul nsw i64 %61, %62
%64 = add nsw i64 %59, %63
store i64 %64, i64* %13
%65 = load i64, i64* %13
%66 = mul i64 %65, 1
%67 = call i8* @c_malloc(i64 %66)
store i8* %67, i8** %14
store i32 0, i32* %16
%68 = load i64, i64* %9
%69 = mul i64 %68, 1
%70 = call i8* @c_malloc(i64 %69)
store i8* %70, i8** %17
%71 = load i8*, i8** %17
%72 = load i8*, i8** %8
%73 = call i32 @strcpy(i8* %71, i8* %72)
br label %74
74: ; preds = %142, %83, %53
%75 = load i8*, i8** %6
%76 = call i8* @str_sepm(i8** %17, i8* %75)
store i8* %76, i8** %15
%77 = icmp ne i8* %76, null
br i1 %77, label %78, label %143
78: ; preds = %74
%79 = load i8*, i8** %15
%80 = call i64 @strlen(i8* %79)
store i64 %80, i64* %18
%81 = load i64, i64* %18
%82 = icmp slt i64 %81, 0
br i1 %82, label %83, label %84
83: ; preds = %78
br label %74
84: ; preds = %78
store i32 0, i32* %19
br label %85
85: ; preds = %102, %84
%86 = load i32, i32* %19
%87 = sext i32 %86 to i64
%88 = load i64, i64* %18
%89 = icmp slt i64 %87, %88
br i1 %89, label %90, label %105
90: ; preds = %85
%91 = load i8*, i8** %15
%92 = load i32, i32* %19
%93 = sext i32 %92 to i64
%94 = getelementptr inbounds i8, i8* %91, i64 %93
%95 = load i8, i8* %94
%96 = load i8*, i8** %14
%97 = load i32, i32* %16
%98 = load i32, i32* %19
%99 = add nsw i32 %97, %98
%100 = sext i32 %99 to i64
%101 = getelementptr inbounds i8, i8* %96, i64 %100
store i8 %95, i8* %101
br label %102
102: ; preds = %90
%103 = load i32, i32* %19
%104 = add nsw i32 %103, 1
store i32 %104, i32* %19
br label %85
105: ; preds = %85
%106 = load i64, i64* %18
%107 = load i32, i32* %16
%108 = sext i32 %107 to i64
%109 = add nsw i64 %108, %106
%110 = trunc i64 %109 to i32
store i32 %110, i32* %16
%111 = load i32, i32* %16
%112 = sext i32 %111 to i64
%113 = load i64, i64* %13
%114 = icmp slt i64 %112, %113
br i1 %114, label %115, label %142
115: ; preds = %105
store i32 0, i32* %20
br label %116
116: ; preds = %133, %115
%117 = load i32, i32* %20
%118 = sext i32 %117 to i64
%119 = load i64, i64* %11
%120 = icmp slt i64 %118, %119
br i1 %120, label %121, label %136
121: ; preds = %116
%122 = load i8*, i8** %7
%123 = load i32, i32* %20
%124 = sext i32 %123 to i64
%125 = getelementptr inbounds i8, i8* %122, i64 %124
%126 = load i8, i8* %125
%127 = load i8*, i8** %14
%128 = load i32, i32* %16
%129 = load i32, i32* %20
%130 = add nsw i32 %128, %129
%131 = sext i32 %130 to i64
%132 = getelementptr inbounds i8, i8* %127, i64 %131
store i8 %126, i8* %132
br label %133
133: ; preds = %121
%134 = load i32, i32* %20
%135 = add nsw i32 %134, 1
store i32 %135, i32* %20
br label %116
136: ; preds = %116
%137 = load i64, i64* %11
%138 = load i32, i32* %16
%139 = sext i32 %138 to i64
%140 = add nsw i64 %139, %137
%141 = trunc i64 %140 to i32
store i32 %141, i32* %16
br label %142
142: ; preds = %136, %105
br label %74
143: ; preds = %74
%144 = load i8*, i8** %17
%145 = call i32 @free(i8* %144)
%146 = load i8*, i8** %14
store i8* %146, i8** %4
br label %147
147: ; preds = %143, %51
%148 = load i8*, i8** %4
ret i8* %148
}

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