#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 *, size_t);
int /*<<< orphan*/ memmove(char *, char *, int);
char *strchr(char *, char);
int strlen(char *);
char *strstr(char *, char *);
char *strrep(char *str, char *find, char *repl) {
  char *p0, *p1, *p2;
  size_t find_len = strlen(find);
  size_t repl_len = strlen(repl);
  size_t dist = 0;
  long diff = repl_len - find_len;
  if (!find_len || (p0 = strstr(str, find)) == NULL)
    return str;
  if (diff > 0) {
    for (p1 = p0 + 1; p1 != NULL; p1 = strstr(++p1, find))
      dist += diff;
    memmove(p0 + dist, p0, strlen(str) - (p0 - str) + 1);
  }
  p1 = (diff > 0) ? p0 + dist + find_len : p0 + find_len;
  p2 = strstr(p1, find);
  while (p2) {
    memcpy(p0, repl, repl_len);
    p0 += repl_len;
    memmove(p0, p1, p2 - p1);
    p0 += (p2 - p1);
    p1 = p2 + find_len;
    p2 = strstr(p1, find);
  }
  memcpy(p0, repl, repl_len);
  if (diff < 0) {
    p0 += repl_len;
    p2 = strchr(p1, '\0');
    memmove(p0, p1, p2 - p1 + 1);
  }
  return (str);
}


x86 assembly (clang, -O0):
<strrep>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    -0x18(%rbp),%rdi
call   1030 <strlen@plt>
cltq
mov    %rax,-0x40(%rbp)
mov    -0x20(%rbp),%rdi
call   1030 <strlen@plt>
cltq
mov    %rax,-0x48(%rbp)
movq   $0x0,-0x50(%rbp)
mov    -0x48(%rbp),%rax
sub    -0x40(%rbp),%rax
mov    %rax,-0x58(%rbp)
cmpq   $0x0,-0x40(%rbp)
je     11bc <strrep+0x6c>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1070 <strstr@plt>
mov    %rax,-0x28(%rbp)
cmp    $0x0,%rax
jne    11c9 <strrep+0x79>
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    136e <strrep+0x21e>
cmpq   $0x0,-0x58(%rbp)
jle    1255 <strrep+0x105>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
cmpq   $0x0,-0x30(%rbp)
je     1215 <strrep+0xc5>
mov    -0x58(%rbp),%rax
add    -0x50(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    -0x30(%rbp),%rdi
add    $0x1,%rdi
mov    %rdi,-0x30(%rbp)
mov    -0x18(%rbp),%rsi
call   1070 <strstr@plt>
mov    %rax,-0x30(%rbp)
jmp    11e0 <strrep+0x90>
mov    -0x28(%rbp),%rax
add    -0x50(%rbp),%rax
mov    %rax,-0x68(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    -0x68(%rbp),%rdi
mov    -0x60(%rbp),%rsi
cltq
mov    -0x28(%rbp),%rcx
mov    -0x10(%rbp),%rdx
sub    %rdx,%rcx
sub    %rcx,%rax
add    $0x1,%rax
mov    %eax,%edx
call   1060 <memmove@plt>
cmpq   $0x0,-0x58(%rbp)
jle    1275 <strrep+0x125>
mov    -0x28(%rbp),%rax
add    -0x50(%rbp),%rax
add    -0x40(%rbp),%rax
mov    %rax,-0x70(%rbp)
jmp    1281 <strrep+0x131>
mov    -0x28(%rbp),%rax
add    -0x40(%rbp),%rax
mov    %rax,-0x70(%rbp)
mov    -0x70(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1070 <strstr@plt>
mov    %rax,-0x38(%rbp)
cmpq   $0x0,-0x38(%rbp)
je     1311 <strrep+0x1c1>
mov    -0x28(%rbp),%rdi
mov    -0x20(%rbp),%rsi
mov    -0x48(%rbp),%rdx
call   1050 <memcpy@plt>
mov    -0x48(%rbp),%rax
add    -0x28(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rdi
mov    -0x30(%rbp),%rsi
mov    -0x38(%rbp),%rax
mov    -0x30(%rbp),%rcx
sub    %rcx,%rax
mov    %eax,%edx
call   1060 <memmove@plt>
mov    -0x38(%rbp),%rax
mov    -0x30(%rbp),%rcx
sub    %rcx,%rax
add    -0x28(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x38(%rbp),%rax
add    -0x40(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1070 <strstr@plt>
mov    %rax,-0x38(%rbp)
jmp    129a <strrep+0x14a>
mov    -0x28(%rbp),%rdi
mov    -0x20(%rbp),%rsi
mov    -0x48(%rbp),%rdx
call   1050 <memcpy@plt>
cmpq   $0x0,-0x58(%rbp)
jge    1366 <strrep+0x216>
mov    -0x48(%rbp),%rax
add    -0x28(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x30(%rbp),%rdi
xor    %esi,%esi
call   1040 <strchr@plt>
mov    %rax,-0x38(%rbp)
mov    -0x28(%rbp),%rdi
mov    -0x30(%rbp),%rsi
mov    -0x38(%rbp),%rax
mov    -0x30(%rbp),%rcx
sub    %rcx,%rax
add    $0x1,%rax
mov    %eax,%edx
call   1060 <memmove@plt>
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<strrep>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %rdx,%r13
mov    %rsi,%r12
mov    %rdi,%r15
mov    %rsi,%rdi
call   1030 <strlen@plt>
mov    %eax,%ebp
mov    %r13,%rdi
call   1030 <strlen@plt>
test   %ebp,%ebp
je     12c5 <strrep+0x185>
mov    %eax,%r14d
mov    %r15,%rdi
mov    %r12,%rsi
call   1060 <strstr@plt>
test   %rax,%rax
je     12c5 <strrep+0x185>
mov    %rax,%rbx
movslq %ebp,%rcx
movslq %r14d,%rax
mov    %rax,0x8(%rsp)
mov    %rax,%rbp
sub    %rcx,%rbp
test   %rbp,%rbp
mov    %r15,0x30(%rsp)
mov    %rbp,0x28(%rsp)
mov    %r12,0x10(%rsp)
jle    1200 <strrep+0xc0>
mov    %rcx,0x20(%rsp)
lea    0x1(%rbx),%rax
xor    %r14d,%r14d
nopl   0x0(%rax)
add    %rbp,%r14
add    $0x1,%rax
mov    %rax,%rdi
mov    %r12,%rsi
call   1060 <strstr@plt>
test   %rax,%rax
jne    11c0 <strrep+0x80>
lea    (%rbx,%r14,1),%rbp
mov    %r15,%rdi
call   1030 <strlen@plt>
mov    %r15d,%ecx
sub    %ebx,%ecx
lea    (%rcx,%rax,1),%edx
add    $0x1,%edx
mov    %rbp,%rdi
mov    %rbx,%rsi
call   1050 <memmove@plt>
mov    0x20(%rsp),%rcx
jmp    1203 <strrep+0xc3>
xor    %r14d,%r14d
mov    %rbx,%rbp
add    %r14,%rbp
mov    %rcx,%r12
add    %rcx,%rbp
mov    %rbp,%rdi
mov    0x10(%rsp),%rsi
call   1060 <strstr@plt>
test   %rax,%rax
mov    %r13,0x18(%rsp)
je     128a <strrep+0x14a>
mov    %rax,%r15
mov    0x8(%rsp),%r14
mov    0x10(%rsp),%r13
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %rbx,%rdi
mov    0x18(%rsp),%rsi
mov    %r14,%rdx
call   1040 <memcpy@plt>
add    %r14,%rbx
mov    %r15,%r14
sub    %rbp,%r14
mov    %rbx,%rdi
mov    %rbp,%rsi
mov    %r14d,%edx
call   1050 <memmove@plt>
add    %r14,%rbx
mov    0x8(%rsp),%r14
mov    %r15,%rbp
add    %r12,%rbp
mov    %rbp,%rdi
mov    %r13,%rsi
call   1060 <strstr@plt>
mov    %rax,%r15
test   %rax,%rax
jne    1240 <strrep+0x100>
jmp    128f <strrep+0x14f>
mov    0x8(%rsp),%r14
mov    %rbx,%rdi
mov    0x18(%rsp),%rsi
mov    %r14,%rdx
call   1040 <memcpy@plt>
cmpq   $0x0,0x28(%rsp)
mov    0x30(%rsp),%r15
jns    12c5 <strrep+0x185>
add    %r14,%rbx
mov    %rbp,%rdi
call   1030 <strlen@plt>
lea    0x1(%rax),%edx
mov    %rbx,%rdi
mov    %rbp,%rsi
call   1050 <memmove@plt>
mov    %r15,%rax
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i8* @strrep(i8* returned %0, i8* %1, i8* %2) {
%4 = tail call i32 @strlen(i8* %1)
%5 = sext i32 %4 to i64
%6 = tail call i32 @strlen(i8* %2)
%7 = sext i32 %6 to i64
%8 = sub nsw i64 %7, %5
%9 = icmp eq i32 %4, 0
br i1 %9, label %66, label %10
10: ; preds = %3
%11 = tail call i8* @strstr(i8* dereferenceable(1) %0, i8* dereferenceable(1) %1)
%12 = icmp eq i8* %11, null
br i1 %12, label %66, label %13
13: ; preds = %10
%14 = icmp sgt i64 %8, 0
br i1 %14, label %15, label %34
15: ; preds = %13
%16 = getelementptr inbounds i8, i8* %11, i64 1
br label %17
17: ; preds = %15, %17
%18 = phi i64 [ 0, %15 ], [ %20, %17 ]
%19 = phi i8* [ %16, %15 ], [ %22, %17 ]
%20 = add i64 %18, %8
%21 = getelementptr inbounds i8, i8* %19, i64 1
%22 = tail call i8* @strstr(i8* %21, i8* dereferenceable(1) %1)
%23 = icmp eq i8* %22, null
br i1 %23, label %24, label %17
24: ; preds = %17
%25 = getelementptr inbounds i8, i8* %11, i64 %20
%26 = tail call i32 @strlen(i8* %0)
%27 = ptrtoint i8* %11 to i64
%28 = ptrtoint i8* %0 to i64
%29 = sub i64 %28, %27
%30 = trunc i64 %29 to i32
%31 = add i32 %30, 1
%32 = add i32 %31, %26
%33 = tail call i32 @memmove(i8* %25, i8* %11, i32 %32)
br label %34
34: ; preds = %24, %13
%35 = phi i64 [ %20, %24 ], [ 0, %13 ]
%36 = getelementptr i8, i8* %11, i64 %35
%37 = getelementptr inbounds i8, i8* %36, i64 %5
%38 = tail call i8* @strstr(i8* %37, i8* dereferenceable(1) %1)
%39 = icmp eq i8* %38, null
br i1 %39, label %55, label %40
40: ; preds = %34, %40
%41 = phi i8* [ %51, %40 ], [ %11, %34 ]
%42 = phi i8* [ %52, %40 ], [ %37, %34 ]
%43 = phi i8* [ %53, %40 ], [ %38, %34 ]
%44 = tail call i32 @memcpy(i8* %41, i8* %2, i64 %7)
%45 = getelementptr inbounds i8, i8* %41, i64 %7
%46 = ptrtoint i8* %43 to i64
%47 = ptrtoint i8* %42 to i64
%48 = sub i64 %46, %47
%49 = trunc i64 %48 to i32
%50 = tail call i32 @memmove(i8* %45, i8* %42, i32 %49)
%51 = getelementptr inbounds i8, i8* %45, i64 %48
%52 = getelementptr inbounds i8, i8* %43, i64 %5
%53 = tail call i8* @strstr(i8* %52, i8* dereferenceable(1) %1)
%54 = icmp eq i8* %53, null
br i1 %54, label %55, label %40
55: ; preds = %40, %34
%56 = phi i8* [ %37, %34 ], [ %52, %40 ]
%57 = phi i8* [ %11, %34 ], [ %51, %40 ]
%58 = tail call i32 @memcpy(i8* %57, i8* %2, i64 %7)
%59 = icmp slt i64 %8, 0
br i1 %59, label %60, label %66
60: ; preds = %55
%61 = getelementptr inbounds i8, i8* %57, i64 %7
%62 = tail call i64 bitcast (i32 (i8*)* @strlen to i64 (i8*)*)(i8* %56)
%63 = trunc i64 %62 to i32
%64 = add i32 %63, 1
%65 = tail call i32 @memmove(i8* %61, i8* %56, i32 %64)
br label %66
66: ; preds = %55, %60, %3, %10
ret i8* %0
}