#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(char *);
scalar_t__ malloc(size_t);
int /*<<< orphan*/ memmove(char *, char const *, int);
int strlen(char const *);
char *strstr(char *, char const *);
void taka_tstring_replace_str(char **s, size_t *n, const char *target,
                              const char *ns) {
  char *p, *q, *r, *o = NULL;
  size_t l, m;
  size_t tl = strlen(target);
  size_t nsl = strlen(ns);
  if (tl < nsl) {
    o = *s;
    l = strlen(*s);
    m = l / tl * (nsl - tl);
    if (*n - (l + 1) < m) {
      *s = (char *)malloc(sizeof(char) * (l + m + 1));
      if (!*s) {
        *s = o;
        return;
      }
      *n = l + m + 1;
    } else {
      *s = (char *)malloc(*n);
      if (!*s) {
        *s = o;
        return;
      }
    }
    p = *s;
    r = o;
  } else {
    p = *s;
    r = *s;
  }
  while ((q = strstr(r, target))) {
    memmove(p, r, q - r);
    p += q - r;
    memmove(p, ns, nsl);
    p += nsl;
    r = q + tl;
  }
  memmove(p, r, strlen(r) + 1);
  free(o);
}


x86 assembly (clang, -O0):
<taka_tstring_replace_str>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
movq   $0x0,-0x40(%rbp)
mov    -0x18(%rbp),%rdi
call   1040 <strlen@plt>
cltq
mov    %rax,-0x58(%rbp)
mov    -0x20(%rbp),%rdi
call   1040 <strlen@plt>
cltq
mov    %rax,-0x60(%rbp)
mov    -0x58(%rbp),%rax
cmp    -0x60(%rbp),%rax
jae    1297 <taka_tstring_replace_str+0x147>
mov    -0x8(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x40(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%rdi
call   1040 <strlen@plt>
cltq
mov    %rax,-0x48(%rbp)
mov    -0x48(%rbp),%rax
xor    %ecx,%ecx
mov    %ecx,%edx
divq   -0x58(%rbp)
mov    -0x60(%rbp),%rcx
sub    -0x58(%rbp),%rcx
imul   %rcx,%rax
mov    %rax,-0x50(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    -0x48(%rbp),%rcx
add    $0x1,%rcx
sub    %rcx,%rax
cmp    -0x50(%rbp),%rax
jae    1246 <taka_tstring_replace_str+0xf6>
mov    -0x48(%rbp),%rdi
add    -0x50(%rbp),%rdi
add    $0x1,%rdi
shl    $0x0,%rdi
call   1050 <malloc@plt>
mov    %rax,%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x8(%rbp),%rax
cmpq   $0x0,(%rax)
jne    122e <taka_tstring_replace_str+0xde>
mov    -0x40(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,(%rax)
jmp    135e <taka_tstring_replace_str+0x20e>
mov    -0x48(%rbp),%rcx
add    -0x50(%rbp),%rcx
add    $0x1,%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,(%rax)
jmp    127f <taka_tstring_replace_str+0x12f>
mov    -0x10(%rbp),%rax
mov    (%rax),%rdi
call   1050 <malloc@plt>
mov    %rax,%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x8(%rbp),%rax
cmpq   $0x0,(%rax)
jne    127a <taka_tstring_replace_str+0x12a>
mov    -0x40(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,(%rax)
jmp    135e <taka_tstring_replace_str+0x20e>
jmp    127f <taka_tstring_replace_str+0x12f>
mov    -0x8(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x28(%rbp)
mov    -0x40(%rbp),%rax
mov    %rax,-0x38(%rbp)
jmp    12ad <taka_tstring_replace_str+0x15d>
mov    -0x8(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x28(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x38(%rbp)
jmp    12b2 <taka_tstring_replace_str+0x162>
mov    -0x38(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1070 <strstr@plt>
mov    %rax,-0x30(%rbp)
cmp    $0x0,%rax
je     132a <taka_tstring_replace_str+0x1da>
mov    -0x28(%rbp),%rdi
mov    -0x38(%rbp),%rsi
mov    -0x30(%rbp),%rax
mov    -0x38(%rbp),%rcx
sub    %rcx,%rax
mov    %eax,%edx
call   1060 <memmove@plt>
mov    -0x30(%rbp),%rax
mov    -0x38(%rbp),%rcx
sub    %rcx,%rax
add    -0x28(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rdi
mov    -0x20(%rbp),%rsi
mov    -0x60(%rbp),%rax
mov    %eax,%edx
call   1060 <memmove@plt>
mov    -0x60(%rbp),%rax
add    -0x28(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x30(%rbp),%rax
add    -0x58(%rbp),%rax
mov    %rax,-0x38(%rbp)
jmp    12b2 <taka_tstring_replace_str+0x162>
mov    -0x28(%rbp),%rax
mov    %rax,-0x70(%rbp)
mov    -0x38(%rbp),%rax
mov    %rax,-0x68(%rbp)
mov    -0x38(%rbp),%rdi
call   1040 <strlen@plt>
mov    -0x70(%rbp),%rdi
mov    -0x68(%rbp),%rsi
mov    %eax,%edx
add    $0x1,%edx
call   1060 <memmove@plt>
mov    -0x40(%rbp),%rdi
call   1030 <free@plt>
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<taka_tstring_replace_str>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %rcx,%r14
mov    %rsi,0x8(%rsp)
mov    %rdi,%r15
mov    %rdx,0x10(%rsp)
mov    %rdx,%rdi
call   1040 <strlen@plt>
mov    %eax,%ebp
movslq %eax,%r12
mov    %r14,%rdi
call   1040 <strlen@plt>
movslq %eax,%rbx
mov    (%r15),%r13
cmp    %r12d,%ebx
mov    %rbx,0x18(%rsp)
mov    %r14,0x20(%rsp)
jbe    11b9 <taka_tstring_replace_str+0x69>
mov    %r13,%rdi
call   1040 <strlen@plt>
movslq %eax,%rcx
mov    %rcx,%rdx
or     %r12,%rdx
shr    $0x20,%rdx
je     11c0 <taka_tstring_replace_str+0x70>
mov    %rcx,%rax
xor    %edx,%edx
div    %r12
jmp    11c4 <taka_tstring_replace_str+0x74>
xor    %eax,%eax
mov    %r13,%r14
jmp    1224 <taka_tstring_replace_str+0xd4>
xor    %edx,%edx
div    %ebp
mov    0x8(%rsp),%rbp
mov    %rbx,%rdx
sub    %r12,%rdx
imul   %rax,%rdx
mov    0x0(%rbp),%rdi
mov    %rcx,%rax
not    %rax
add    %rdi,%rax
cmp    %rdx,%rax
jae    120d <taka_tstring_replace_str+0xbd>
lea    (%rcx,%rdx,1),%rbx
add    $0x1,%rbx
mov    %rbx,%rdi
call   1050 <malloc@plt>
mov    %rax,(%r15)
test   %rax,%rax
je     12ca <taka_tstring_replace_str+0x17a>
mov    %rax,%r14
mov    %rbx,0x0(%rbp)
mov    %r13,%rax
jmp    1224 <taka_tstring_replace_str+0xd4>
call   1050 <malloc@plt>
mov    %rax,%r14
mov    %rax,(%r15)
mov    %r13,%rax
test   %r14,%r14
je     12ca <taka_tstring_replace_str+0x17a>
mov    %rax,0x8(%rsp)
mov    %r13,%rdi
mov    0x10(%rsp),%rsi
call   1070 <strstr@plt>
test   %rax,%rax
je     1299 <taka_tstring_replace_str+0x149>
mov    %rax,%rbx
mov    0x18(%rsp),%r15
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %rbx,%rbp
sub    %r13,%rbp
mov    %r14,%rdi
mov    %r13,%rsi
mov    %ebp,%edx
call   1060 <memmove@plt>
add    %r14,%rbp
mov    %rbp,%rdi
mov    0x20(%rsp),%rsi
mov    %r15d,%edx
call   1060 <memmove@plt>
add    %r15,%rbp
mov    %rbx,%r13
add    %r12,%r13
mov    %r13,%rdi
mov    0x10(%rsp),%rsi
call   1070 <strstr@plt>
mov    %rax,%rbx
mov    %rbp,%r14
test   %rax,%rax
jne    1250 <taka_tstring_replace_str+0x100>
jmp    129c <taka_tstring_replace_str+0x14c>
mov    %r14,%rbp
mov    %r13,%rdi
call   1040 <strlen@plt>
lea    0x1(%rax),%edx
mov    %rbp,%rdi
mov    %r13,%rsi
call   1060 <memmove@plt>
mov    0x8(%rsp),%rdi
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <free@plt>
mov    %r13,(%r15)
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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