#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(void *);
char *malloc(size_t);
int /*<<< orphan*/ memcpy(char *, char const *, size_t);
int /*<<< orphan*/ strcpy(char *, char const *);
int strlen(char const *);
char *strstr(char const *, char const *);
char *strepl(const char *str, const char *old, const char *new) {
  size_t oldlen, count, retlen, newlen;
  const char *p, *q;
  char *ret, *r;
  oldlen = strlen(old);
  newlen = strlen(new);
  if (oldlen != newlen) {
    for (count = 0, p = str; (q = strstr(p, old)) != 0; p = q + oldlen)
      count++;
    retlen = p - str + strlen(p) + count * (newlen - oldlen);
  } else
    retlen = strlen(str);
  if ((ret = malloc(retlen + 1)) == 0)
    return 0;
  for (r = ret, p = str; (q = strstr(p, old)) != 0; p = q + oldlen) {
    long l = q - p;
    memcpy(r, p, l);
    r += l;
    memcpy(r, new, newlen);
    r += newlen;
  }
  strcpy(r, p);
  free((void *)str);
  return (ret);
}


x86 assembly (clang, -O0):
<strepl>:
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   1050 <strlen@plt>
cltq
mov    %rax,-0x28(%rbp)
mov    -0x20(%rbp),%rdi
call   1050 <strlen@plt>
cltq
mov    %rax,-0x40(%rbp)
mov    -0x28(%rbp),%rax
cmp    -0x40(%rbp),%rax
je     1228 <strepl+0xc8>
movq   $0x0,-0x30(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x48(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1080 <strstr@plt>
mov    %rax,-0x50(%rbp)
cmp    $0x0,%rax
je     11e8 <strepl+0x88>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
mov    -0x50(%rbp),%rax
add    -0x28(%rbp),%rax
mov    %rax,-0x48(%rbp)
jmp    11b0 <strepl+0x50>
mov    -0x48(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
mov    %rax,-0x70(%rbp)
mov    -0x48(%rbp),%rdi
call   1050 <strlen@plt>
mov    %eax,%ecx
mov    -0x70(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    -0x30(%rbp),%rcx
mov    -0x40(%rbp),%rdx
sub    -0x28(%rbp),%rdx
imul   %rdx,%rcx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
jmp    1237 <strepl+0xd7>
mov    -0x10(%rbp),%rdi
call   1050 <strlen@plt>
cltq
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rdi
add    $0x1,%rdi
call   1070 <malloc@plt>
mov    %rax,-0x58(%rbp)
cmp    $0x0,%rax
jne    125f <strepl+0xff>
movq   $0x0,-0x8(%rbp)
jmp    1302 <strepl+0x1a2>
mov    -0x58(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x48(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1080 <strstr@plt>
mov    %rax,-0x50(%rbp)
cmp    $0x0,%rax
je     12e4 <strepl+0x184>
mov    -0x50(%rbp),%rax
mov    -0x48(%rbp),%rcx
sub    %rcx,%rax
mov    %rax,-0x68(%rbp)
mov    -0x60(%rbp),%rdi
mov    -0x48(%rbp),%rsi
mov    -0x68(%rbp),%rdx
call   1060 <memcpy@plt>
mov    -0x68(%rbp),%rax
add    -0x60(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    -0x60(%rbp),%rdi
mov    -0x20(%rbp),%rsi
mov    -0x40(%rbp),%rdx
call   1060 <memcpy@plt>
mov    -0x40(%rbp),%rax
add    -0x60(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    -0x50(%rbp),%rax
add    -0x28(%rbp),%rax
mov    %rax,-0x48(%rbp)
jmp    126f <strepl+0x10f>
mov    -0x60(%rbp),%rdi
mov    -0x48(%rbp),%rsi
call   1040 <strcpy@plt>
mov    -0x10(%rbp),%rdi
call   1030 <free@plt>
mov    -0x58(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<strepl>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %rdx,%r13
mov    %rsi,%r14
mov    %rdi,%rbp
mov    %rsi,%rdi
call   1050 <strlen@plt>
movslq %eax,%r12
mov    %r13,%rdi
call   1050 <strlen@plt>
movslq %eax,%r15
cmp    %r12d,%r15d
mov    %r12,0x18(%rsp)
mov    %r13,0x20(%rsp)
jne    11a9 <strepl+0x49>
mov    %rbp,%rdi
call   1050 <strlen@plt>
movslq %eax,%rdi
jmp    121e <strepl+0xbe>
mov    %r15,(%rsp)
mov    %rbp,%rdi
mov    %r14,%rsi
call   1080 <strstr@plt>
test   %rax,%rax
je     11ec <strepl+0x8c>
mov    %rbp,%r15
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
add    $0x1,%rbx
mov    %rax,%rbp
add    %r12,%rbp
mov    %rbp,%rdi
mov    %r14,%rsi
call   1080 <strstr@plt>
test   %rax,%rax
jne    11d0 <strepl+0x70>
jmp    11f1 <strepl+0x91>
xor    %ebx,%ebx
mov    %rbp,%r15
mov    %r14,%r13
mov    %rbp,%r14
sub    %r15,%r14
mov    %rbp,%rdi
mov    %r15,%rbp
call   1050 <strlen@plt>
cltq
mov    (%rsp),%r15
mov    %r15,%rdi
sub    %r12,%rdi
imul   %rbx,%rdi
add    %r14,%rdi
mov    %r13,%r14
add    %rax,%rdi
add    $0x1,%rdi
call   1070 <malloc@plt>
test   %rax,%rax
je     12d1 <strepl+0x171>
mov    %rbp,%rdi
mov    %r14,%rsi
mov    %rbp,%rbx
mov    %rax,%rbp
call   1080 <strstr@plt>
mov    %rbx,0x10(%rsp)
mov    %r14,(%rsp)
mov    %rbx,%r14
mov    %rbp,0x8(%rsp)
test   %rax,%rax
mov    0x18(%rsp),%rbx
je     12b7 <strepl+0x157>
mov    %rax,%r13
mov    %r15,%r12
mov    0x8(%rsp),%r15
mov    0x10(%rsp),%r14
nopl   0x0(%rax)
mov    %r13,%rbp
sub    %r14,%rbp
mov    %r15,%rdi
mov    %r14,%rsi
mov    %rbp,%rdx
call   1060 <memcpy@plt>
add    %r15,%rbp
mov    %rbp,%rdi
mov    0x20(%rsp),%rsi
mov    %r12,%rdx
call   1060 <memcpy@plt>
add    %r12,%rbp
mov    %r13,%r14
add    %rbx,%r14
mov    %r14,%rdi
mov    (%rsp),%rsi
call   1080 <strstr@plt>
mov    %rax,%r13
mov    %rbp,%r15
test   %rax,%rax
jne    1270 <strepl+0x110>
mov    %rbp,%rdi
mov    %r14,%rsi
call   1040 <strcpy@plt>
mov    0x10(%rsp),%rdi
call   1030 <free@plt>
mov    0x8(%rsp),%rax
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i8* @strepl(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 i8*
%13 = alloca i8*
%14 = alloca i8*
%15 = alloca i8*
%16 = alloca i64
store i8* %0, i8** %5
store i8* %1, i8** %6
store i8* %2, i8** %7
%17 = load i8*, i8** %6
%18 = call i32 @strlen(i8* %17)
%19 = sext i32 %18 to i64
store i64 %19, i64* %8
%20 = load i8*, i8** %7
%21 = call i32 @strlen(i8* %20)
%22 = sext i32 %21 to i64
store i64 %22, i64* %11
%23 = load i64, i64* %8
%24 = load i64, i64* %11
%25 = icmp ne i64 %23, %24
br i1 %25, label %26, label %56
26: ; preds = %3
store i64 0, i64* %9
%27 = load i8*, i8** %5
store i8* %27, i8** %12
br label %28
28: ; preds = %36, %26
%29 = load i8*, i8** %12
%30 = load i8*, i8** %6
%31 = call i8* @strstr(i8* %29, i8* %30)
store i8* %31, i8** %13
%32 = icmp ne i8* %31, null
br i1 %32, label %33, label %40
33: ; preds = %28
%34 = load i64, i64* %9
%35 = add i64 %34, 1
store i64 %35, i64* %9
br label %36
36: ; preds = %33
%37 = load i8*, i8** %13
%38 = load i64, i64* %8
%39 = getelementptr inbounds i8, i8* %37, i64 %38
store i8* %39, i8** %12
br label %28
40: ; preds = %28
%41 = load i8*, i8** %12
%42 = load i8*, i8** %5
%43 = ptrtoint i8* %41 to i64
%44 = ptrtoint i8* %42 to i64
%45 = sub i64 %43, %44
%46 = load i8*, i8** %12
%47 = call i32 @strlen(i8* %46)
%48 = sext i32 %47 to i64
%49 = add nsw i64 %45, %48
%50 = load i64, i64* %9
%51 = load i64, i64* %11
%52 = load i64, i64* %8
%53 = sub i64 %51, %52
%54 = mul i64 %50, %53
%55 = add i64 %49, %54
store i64 %55, i64* %10
br label %60
56: ; preds = %3
%57 = load i8*, i8** %5
%58 = call i32 @strlen(i8* %57)
%59 = sext i32 %58 to i64
store i64 %59, i64* %10
br label %60
60: ; preds = %56, %40
%61 = load i64, i64* %10
%62 = add i64 %61, 1
%63 = call i8* @malloc(i64 %62)
store i8* %63, i8** %14
%64 = icmp eq i8* %63, null
br i1 %64, label %65, label %66
65: ; preds = %60
store i8* null, i8** %4
br label %105
66: ; preds = %60
%67 = load i8*, i8** %14
store i8* %67, i8** %15
%68 = load i8*, i8** %5
store i8* %68, i8** %12
br label %69
69: ; preds = %94, %66
%70 = load i8*, i8** %12
%71 = load i8*, i8** %6
%72 = call i8* @strstr(i8* %70, i8* %71)
store i8* %72, i8** %13
%73 = icmp ne i8* %72, null
br i1 %73, label %74, label %98
74: ; preds = %69
%75 = load i8*, i8** %13
%76 = load i8*, i8** %12
%77 = ptrtoint i8* %75 to i64
%78 = ptrtoint i8* %76 to i64
%79 = sub i64 %77, %78
store i64 %79, i64* %16
%80 = load i8*, i8** %15
%81 = load i8*, i8** %12
%82 = load i64, i64* %16
%83 = call i32 @memcpy(i8* %80, i8* %81, i64 %82)
%84 = load i64, i64* %16
%85 = load i8*, i8** %15
%86 = getelementptr inbounds i8, i8* %85, i64 %84
store i8* %86, i8** %15
%87 = load i8*, i8** %15
%88 = load i8*, i8** %7
%89 = load i64, i64* %11
%90 = call i32 @memcpy(i8* %87, i8* %88, i64 %89)
%91 = load i64, i64* %11
%92 = load i8*, i8** %15
%93 = getelementptr inbounds i8, i8* %92, i64 %91
store i8* %93, i8** %15
br label %94
94: ; preds = %74
%95 = load i8*, i8** %13
%96 = load i64, i64* %8
%97 = getelementptr inbounds i8, i8* %95, i64 %96
store i8* %97, i8** %12
br label %69
98: ; preds = %69
%99 = load i8*, i8** %15
%100 = load i8*, i8** %12
%101 = call i32 @strcpy(i8* %99, i8* %100)
%102 = load i8*, i8** %5
%103 = call i32 @free(i8* %102)
%104 = load i8*, i8** %14
store i8* %104, i8** %4
br label %105
105: ; preds = %98, %65
%106 = load i8*, i8** %4
ret i8* %106
}

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