#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 */
char *malloc(size_t);
int /*<<< orphan*/ memcpy(char *, char const *, size_t);
char *strdup(char const *);
size_t strlen(char const *);
char *strstr(char const *, char const *);
char *strreplace(const char *string, const char *string_to_replace,
                 const char *string_to_insert) {
  char *token = NULL;
  char *out = NULL;
  size_t slen, srlen, silen;
  token = strstr(string, string_to_replace);
  if (!token)
    return strdup(string);
  slen = strlen(string);
  srlen = strlen(string_to_replace);
  silen = strlen(string_to_insert);
  out = malloc(slen - srlen + silen + 1);
  if (!out)
    return NULL;
  memcpy(out, string, token - string);
  memcpy(out + (token - string), string_to_insert, silen);
  memcpy(out + (token - string) + silen, token + srlen,
         slen - srlen - (token - string) + 1);
  return out;
}


x86 assembly (clang, -O0):
<strreplace>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
movq   $0x0,-0x28(%rbp)
movq   $0x0,-0x30(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1070 <strstr@plt>
mov    %rax,-0x28(%rbp)
cmpq   $0x0,-0x28(%rbp)
jne    11a2 <strreplace+0x52>
mov    -0x10(%rbp),%rdi
call   1060 <strdup@plt>
mov    %rax,-0x8(%rbp)
jmp    1276 <strreplace+0x126>
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %rax,-0x38(%rbp)
mov    -0x18(%rbp),%rdi
call   1030 <strlen@plt>
mov    %rax,-0x40(%rbp)
mov    -0x20(%rbp),%rdi
call   1030 <strlen@plt>
mov    %rax,-0x48(%rbp)
mov    -0x38(%rbp),%rdi
sub    -0x40(%rbp),%rdi
add    -0x48(%rbp),%rdi
add    $0x1,%rdi
call   1050 <malloc@plt>
mov    %rax,-0x30(%rbp)
cmpq   $0x0,-0x30(%rbp)
jne    11fa <strreplace+0xaa>
movq   $0x0,-0x8(%rbp)
jmp    1276 <strreplace+0x126>
mov    -0x30(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x28(%rbp),%rdx
mov    -0x10(%rbp),%rax
sub    %rax,%rdx
call   1040 <memcpy@plt>
mov    -0x30(%rbp),%rdi
mov    -0x28(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
add    %rax,%rdi
mov    -0x20(%rbp),%rsi
mov    -0x48(%rbp),%rdx
call   1040 <memcpy@plt>
mov    -0x30(%rbp),%rdi
mov    -0x28(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
add    %rax,%rdi
add    -0x48(%rbp),%rdi
mov    -0x28(%rbp),%rsi
add    -0x40(%rbp),%rsi
mov    -0x38(%rbp),%rdx
sub    -0x40(%rbp),%rdx
mov    -0x28(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
sub    %rax,%rdx
add    $0x1,%rdx
call   1040 <memcpy@plt>
mov    -0x30(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<strreplace>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %rdx,%r15
mov    %rsi,%rbp
mov    %rdi,%r13
call   1070 <strstr@plt>
test   %rax,%rax
je     1209 <strreplace+0xb9>
mov    %rax,%r12
mov    %r13,%rdi
call   1030 <strlen@plt>
mov    %rax,%rbx
mov    %rbp,%rdi
call   1030 <strlen@plt>
mov    %rax,%rbp
mov    %r15,%rdi
call   1030 <strlen@plt>
sub    %rbp,%rbx
mov    %rax,0x10(%rsp)
lea    (%rax,%rbx,1),%rdi
add    $0x1,%rdi
call   1050 <malloc@plt>
test   %rax,%rax
je     121f <strreplace+0xcf>
mov    %rax,%r14
mov    %r15,0x8(%rsp)
mov    %r12,%r15
sub    %r13,%r15
mov    %rax,%rdi
mov    %r13,%rsi
mov    %r15,%rdx
call   1040 <memcpy@plt>
mov    %rbp,(%rsp)
mov    %r14,%rbp
add    %r15,%rbp
mov    %rbp,%rdi
mov    0x8(%rsp),%rsi
mov    0x10(%rsp),%r13
mov    %r13,%rdx
call   1040 <memcpy@plt>
add    %r13,%rbp
mov    (%rsp),%rsi
add    %r12,%rsi
sub    %r15,%rbx
add    $0x1,%rbx
mov    %rbp,%rdi
mov    %rbx,%rdx
call   1040 <memcpy@plt>
jmp    1222 <strreplace+0xd2>
mov    %r13,%rdi
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1060 <strdup@plt>
xor    %r14d,%r14d
mov    %r14,%rax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i8* @strreplace(i8* %0, i8* %1, i8* %2) {
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca i8*
%8 = alloca i8*
%9 = alloca i8*
%10 = alloca i64
%11 = alloca i64
%12 = alloca i64
store i8* %0, i8** %5
store i8* %1, i8** %6
store i8* %2, i8** %7
store i8* null, i8** %8
store i8* null, i8** %9
%13 = load i8*, i8** %5
%14 = load i8*, i8** %6
%15 = call i8* @strstr(i8* %13, i8* %14)
store i8* %15, i8** %8
%16 = load i8*, i8** %8
%17 = icmp ne i8* %16, null
br i1 %17, label %21, label %18
18: ; preds = %3
%19 = load i8*, i8** %5
%20 = call i8* @strdup(i8* %19)
store i8* %20, i8** %4
br label %81
21: ; preds = %3
%22 = load i8*, i8** %5
%23 = call i64 @strlen(i8* %22)
store i64 %23, i64* %10
%24 = load i8*, i8** %6
%25 = call i64 @strlen(i8* %24)
store i64 %25, i64* %11
%26 = load i8*, i8** %7
%27 = call i64 @strlen(i8* %26)
store i64 %27, i64* %12
%28 = load i64, i64* %10
%29 = load i64, i64* %11
%30 = sub i64 %28, %29
%31 = load i64, i64* %12
%32 = add i64 %30, %31
%33 = add i64 %32, 1
%34 = call i8* @malloc(i64 %33)
store i8* %34, i8** %9
%35 = load i8*, i8** %9
%36 = icmp ne i8* %35, null
br i1 %36, label %38, label %37
37: ; preds = %21
store i8* null, i8** %4
br label %81
38: ; preds = %21
%39 = load i8*, i8** %9
%40 = load i8*, i8** %5
%41 = load i8*, i8** %8
%42 = load i8*, i8** %5
%43 = ptrtoint i8* %41 to i64
%44 = ptrtoint i8* %42 to i64
%45 = sub i64 %43, %44
%46 = call i32 @memcpy(i8* %39, i8* %40, i64 %45)
%47 = load i8*, i8** %9
%48 = load i8*, i8** %8
%49 = load i8*, i8** %5
%50 = ptrtoint i8* %48 to i64
%51 = ptrtoint i8* %49 to i64
%52 = sub i64 %50, %51
%53 = getelementptr inbounds i8, i8* %47, i64 %52
%54 = load i8*, i8** %7
%55 = load i64, i64* %12
%56 = call i32 @memcpy(i8* %53, i8* %54, i64 %55)
%57 = load i8*, i8** %9
%58 = load i8*, i8** %8
%59 = load i8*, i8** %5
%60 = ptrtoint i8* %58 to i64
%61 = ptrtoint i8* %59 to i64
%62 = sub i64 %60, %61
%63 = getelementptr inbounds i8, i8* %57, i64 %62
%64 = load i64, i64* %12
%65 = getelementptr inbounds i8, i8* %63, i64 %64
%66 = load i8*, i8** %8
%67 = load i64, i64* %11
%68 = getelementptr inbounds i8, i8* %66, i64 %67
%69 = load i64, i64* %10
%70 = load i64, i64* %11
%71 = sub i64 %69, %70
%72 = load i8*, i8** %8
%73 = load i8*, i8** %5
%74 = ptrtoint i8* %72 to i64
%75 = ptrtoint i8* %73 to i64
%76 = sub i64 %74, %75
%77 = sub i64 %71, %76
%78 = add i64 %77, 1
%79 = call i32 @memcpy(i8* %65, i8* %68, i64 %78)
%80 = load i8*, i8** %9
store i8* %80, i8** %4
br label %81
81: ; preds = %38, %37, %18
%82 = load i8*, i8** %4
ret i8* %82
}

LLVM IR (-O2):
define i8* @strreplace(i8* %0, i8* nocapture %1, i8* %2) {
%4 = tail call i8* @strstr(i8* dereferenceable(1) %0, i8* dereferenceable(1) %1)
%5 = icmp eq i8* %4, null
br i1 %5, label %6, label %8
6: ; preds = %3
%7 = tail call i8* @strdup(i8* %0)
br label %29
8: ; preds = %3
%9 = tail call i64 @strlen(i8* dereferenceable(1) %0)
%10 = tail call i64 @strlen(i8* dereferenceable(1) %1)
%11 = tail call i64 @strlen(i8* dereferenceable(1) %2)
%12 = sub i64 %9, %10
%13 = add i64 %11, 1
%14 = add i64 %13, %12
%15 = tail call i8* @malloc(i64 %14)
%16 = icmp eq i8* %15, null
br i1 %16, label %29, label %17
17: ; preds = %8
%18 = ptrtoint i8* %4 to i64
%19 = ptrtoint i8* %0 to i64
%20 = sub i64 %18, %19
%21 = tail call i32 @memcpy(i8* %15, i8* %0, i64 %20)
%22 = getelementptr inbounds i8, i8* %15, i64 %20
%23 = tail call i32 @memcpy(i8* %22, i8* %2, i64 %11)
%24 = getelementptr inbounds i8, i8* %22, i64 %11
%25 = getelementptr inbounds i8, i8* %4, i64 %10
%26 = sub i64 1, %20
%27 = add i64 %26, %12
%28 = tail call i32 @memcpy(i8* %24, i8* %25, i64 %27)
br label %29
29: ; preds = %8, %17, %6
%30 = phi i8* [ %15, %17 ], [ %7, %6 ], [ null, %8 ]
ret i8* %30
}