#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 */
scalar_t__ malloc(size_t);
int /*<<< orphan*/ memcpy(char *, char const *, size_t);
size_t strlen(char const *);
char *strstr(char const *, char const *);
char *strrep(const char *s1, const char *s2, const char *s3) {
  if (!s1 || !s2 || !s3)
    return 0;
  size_t s1_len = strlen(s1);
  if (!s1_len)
    return (char *)s1;
  size_t s2_len = strlen(s2);
  if (!s2_len)
    return (char *)s1;
  size_t count = 0;
  const char *p = s1;
  do {
    p = strstr(p, s2);
    if (p) {
      p += s2_len;
      ++count;
    }
  } while (p);
  if (!count)
    return (char *)s1;
  size_t s1_without_s2_len = s1_len - count * s2_len;
  size_t s3_len = strlen(s3);
  size_t newstr_len = s1_without_s2_len + count * s3_len;
  if (s3_len && ((newstr_len <= s1_without_s2_len) || (newstr_len + 1 == 0)))
    return 0;
  char *newstr = (char *)malloc(newstr_len + 1);
  if (!newstr)
    return 0;
  char *dst = newstr;
  const char *start_substr = s1;
  size_t i;
  for (i = 0; i != count; ++i) {
    const char *end_substr = strstr(start_substr, s2);
    size_t substr_len = end_substr - start_substr;
    memcpy(dst, start_substr, substr_len);
    dst += substr_len;
    memcpy(dst, s3, s3_len);
    dst += s3_len;
    start_substr = end_substr + s2_len;
  }
  size_t remains = s1_len - (start_substr - s1) + 1;
  memcpy(dst, start_substr, remains);
  return newstr;
}


x86 assembly (clang, -O0):
<strrep>:
push   %rbp
mov    %rsp,%rbp
sub    $0x90,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
cmpq   $0x0,-0x10(%rbp)
je     1178 <strrep+0x38>
cmpq   $0x0,-0x18(%rbp)
je     1178 <strrep+0x38>
cmpq   $0x0,-0x20(%rbp)
jne    1185 <strrep+0x45>
movq   $0x0,-0x8(%rbp)
jmp    13b0 <strrep+0x270>
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %rax,-0x28(%rbp)
cmpq   $0x0,-0x28(%rbp)
jne    11aa <strrep+0x6a>
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    13b0 <strrep+0x270>
mov    -0x18(%rbp),%rdi
call   1030 <strlen@plt>
mov    %rax,-0x30(%rbp)
cmpq   $0x0,-0x30(%rbp)
jne    11cf <strrep+0x8f>
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    13b0 <strrep+0x270>
movq   $0x0,-0x38(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1060 <strstr@plt>
mov    %rax,-0x40(%rbp)
cmpq   $0x0,-0x40(%rbp)
je     1213 <strrep+0xd3>
mov    -0x30(%rbp),%rax
add    -0x40(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
jmp    1218 <strrep+0xd8>
cmpq   $0x0,-0x40(%rbp)
jne    11df <strrep+0x9f>
cmpq   $0x0,-0x38(%rbp)
jne    123b <strrep+0xfb>
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    13b0 <strrep+0x270>
mov    -0x28(%rbp),%rax
mov    -0x38(%rbp),%rcx
imul   -0x30(%rbp),%rcx
sub    %rcx,%rax
mov    %rax,-0x48(%rbp)
mov    -0x20(%rbp),%rdi
call   1030 <strlen@plt>
mov    %rax,-0x50(%rbp)
mov    -0x48(%rbp),%rax
mov    -0x38(%rbp),%rcx
imul   -0x50(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x58(%rbp)
cmpq   $0x0,-0x50(%rbp)
je     12a8 <strrep+0x168>
mov    -0x58(%rbp),%rax
cmp    -0x48(%rbp),%rax
jbe    129b <strrep+0x15b>
mov    -0x58(%rbp),%rax
add    $0x1,%rax
cmp    $0x0,%rax
jne    12a8 <strrep+0x168>
movq   $0x0,-0x8(%rbp)
jmp    13b0 <strrep+0x270>
mov    -0x58(%rbp),%rdi
add    $0x1,%rdi
call   1050 <malloc@plt>
mov    %rax,-0x60(%rbp)
cmpq   $0x0,-0x60(%rbp)
jne    12d1 <strrep+0x191>
movq   $0x0,-0x8(%rbp)
jmp    13b0 <strrep+0x270>
mov    -0x60(%rbp),%rax
mov    %rax,-0x68(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x70(%rbp)
movq   $0x0,-0x78(%rbp)
mov    -0x78(%rbp),%rax
cmp    -0x38(%rbp),%rax
je     1377 <strrep+0x237>
mov    -0x70(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1060 <strstr@plt>
mov    %rax,-0x80(%rbp)
mov    -0x80(%rbp),%rax
mov    -0x70(%rbp),%rcx
sub    %rcx,%rax
mov    %rax,-0x88(%rbp)
mov    -0x68(%rbp),%rdi
mov    -0x70(%rbp),%rsi
mov    -0x88(%rbp),%rdx
call   1040 <memcpy@plt>
mov    -0x88(%rbp),%rax
add    -0x68(%rbp),%rax
mov    %rax,-0x68(%rbp)
mov    -0x68(%rbp),%rdi
mov    -0x20(%rbp),%rsi
mov    -0x50(%rbp),%rdx
call   1040 <memcpy@plt>
mov    -0x50(%rbp),%rax
add    -0x68(%rbp),%rax
mov    %rax,-0x68(%rbp)
mov    -0x80(%rbp),%rax
add    -0x30(%rbp),%rax
mov    %rax,-0x70(%rbp)
mov    -0x78(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x78(%rbp)
jmp    12e9 <strrep+0x1a9>
mov    -0x28(%rbp),%rax
mov    -0x70(%rbp),%rcx
mov    -0x10(%rbp),%rdx
sub    %rdx,%rcx
sub    %rcx,%rax
add    $0x1,%rax
mov    %rax,-0x90(%rbp)
mov    -0x68(%rbp),%rdi
mov    -0x70(%rbp),%rsi
mov    -0x90(%rbp),%rdx
call   1040 <memcpy@plt>
mov    -0x60(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x90,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<strrep>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
xor    %eax,%eax
test   %rdi,%rdi
je     12b1 <strrep+0x171>
mov    %rsi,%rbx
test   %rsi,%rsi
je     12b1 <strrep+0x171>
mov    %rdx,%r15
test   %rdx,%rdx
je     12b1 <strrep+0x171>
mov    %rdi,%r14
call   1030 <strlen@plt>
test   %rax,%rax
je     12ae <strrep+0x16e>
mov    %rax,%rbp
mov    %rbx,%rdi
call   1030 <strlen@plt>
test   %rax,%rax
je     12ae <strrep+0x16e>
mov    %rax,%rcx
mov    %rbp,0x18(%rsp)
add    %rax,%rbp
mov    $0xffffffffffffffff,%r13
mov    %r14,%rdi
nopl   0x0(%rax,%rax,1)
mov    %rbx,%rsi
mov    %rcx,%r12
call   1060 <strstr@plt>
mov    %r12,%rcx
lea    (%rax,%r12,1),%rdi
add    $0x1,%r13
sub    %r12,%rbp
test   %rax,%rax
jne    11b0 <strrep+0x70>
test   %r13,%r13
je     12ae <strrep+0x16e>
mov    %r15,%rdi
call   1030 <strlen@plt>
mov    %rax,%rdx
mov    %rax,%rcx
imul   %r13,%rcx
lea    (%rcx,%rbp,1),%rdi
add    $0x1,%rdi
test   %rax,%rax
je     120d <strrep+0xcd>
add    %rbp,%rcx
xor    %eax,%eax
cmp    %rbp,%rcx
jbe    12b1 <strrep+0x171>
test   %rdi,%rdi
je     12b1 <strrep+0x171>
mov    %rdx,0x30(%rsp)
call   1050 <malloc@plt>
test   %rax,%rax
je     12c0 <strrep+0x180>
mov    %r14,0x10(%rsp)
mov    %rax,0x8(%rsp)
mov    %rax,%rbp
mov    %r12,0x20(%rsp)
mov    %r15,0x28(%rsp)
nopw   0x0(%rax,%rax,1)
mov    %r14,%rdi
mov    %rbx,%rsi
call   1060 <strstr@plt>
mov    %rax,%r12
mov    %rax,%r15
sub    %r14,%r15
mov    %rbp,%rdi
mov    %r14,%rsi
mov    %r15,%rdx
call   1040 <memcpy@plt>
add    %r15,%rbp
mov    0x28(%rsp),%rsi
mov    %rbp,%rdi
mov    0x30(%rsp),%r14
mov    %r14,%rdx
call   1040 <memcpy@plt>
add    %r14,%rbp
mov    %r12,%r14
add    0x20(%rsp),%r14
add    $0xffffffffffffffff,%r13
jne    1240 <strrep+0x100>
mov    0x10(%rsp),%rdx
add    0x18(%rsp),%rdx
sub    %r14,%rdx
add    $0x1,%rdx
mov    %rbp,%rdi
mov    %r14,%rsi
call   1040 <memcpy@plt>
mov    0x8(%rsp),%rax
jmp    12b1 <strrep+0x171>
mov    %r14,%rax
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
xor    %eax,%eax
jmp    12b1 <strrep+0x171>

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

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