#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 get_len(char *);
scalar_t__ malloc(int);
int number_occourences(char *, char *);
int /*<<< orphan*/ printf(char *, char *);
int replace_substring(char *s, char *t, char *w) {
  int j, i = 0, k = 0, index = -1, ncount = 0;
  char *copy, *x, *y, *z;
  int s_len = get_len(s);
  int t_len = get_len(t);
  int w_len = get_len(w);
  int max_size_new = s_len + w_len * (number_occourences(s, t) + 1);
  copy = (char *)malloc(max_size_new * sizeof(char));
  for (i = 0; i < s_len; i++) {
    ncount = 0;
    for (j = 0; i + j < s_len && j < t_len; j++)
      if (s[i + j] == t[j])
        ncount++;
    if (ncount / t_len) {
      for (j = 0; j < w_len; j++)
        copy[k + j] = w[j];
      i = i + t_len - 1;
      k = k + w_len;
    } else {
      copy[k] = s[i];
      k++;
    }
  }
  printf("%s\n", copy);
}


x86 assembly (clang, -O0):
<replace_substring>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
movl   $0xffffffff,-0x30(%rbp)
movl   $0x0,-0x34(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <get_len@plt>
mov    %eax,-0x5c(%rbp)
mov    -0x18(%rbp),%rdi
call   1030 <get_len@plt>
mov    %eax,-0x60(%rbp)
mov    -0x20(%rbp),%rdi
call   1030 <get_len@plt>
mov    %eax,-0x64(%rbp)
mov    -0x5c(%rbp),%eax
mov    %eax,-0x6c(%rbp)
mov    -0x64(%rbp),%eax
mov    %eax,-0x70(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1040 <number_occourences@plt>
mov    -0x70(%rbp),%ecx
mov    %eax,%edx
mov    -0x6c(%rbp),%eax
add    $0x1,%edx
imul   %edx,%ecx
add    %ecx,%eax
mov    %eax,-0x68(%rbp)
movslq -0x68(%rbp),%rax
shl    $0x0,%rax
mov    %eax,%edi
call   1060 <malloc@plt>
mov    %rax,-0x40(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x5c(%rbp),%eax
jge    1300 <replace_substring+0x1c0>
movl   $0x0,-0x34(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x28(%rbp),%ecx
add    -0x24(%rbp),%ecx
xor    %eax,%eax
cmp    -0x5c(%rbp),%ecx
mov    %al,-0x71(%rbp)
jge    1217 <replace_substring+0xd7>
mov    -0x24(%rbp),%eax
cmp    -0x60(%rbp),%eax
setl   %al
mov    %al,-0x71(%rbp)
mov    -0x71(%rbp),%al
test   $0x1,%al
jne    1227 <replace_substring+0xe7>
jmp    1268 <replace_substring+0x128>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
add    -0x24(%rbp),%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x18(%rbp),%rcx
movslq -0x24(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jne    1255 <replace_substring+0x115>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    125a <replace_substring+0x11a>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    11f7 <replace_substring+0xb7>
mov    -0x34(%rbp),%eax
cltd
idivl  -0x60(%rbp)
cmp    $0x0,%eax
je     12ce <replace_substring+0x18e>
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x64(%rbp),%eax
jge    12b4 <replace_substring+0x174>
mov    -0x20(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x40(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    -0x24(%rbp),%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    127f <replace_substring+0x13f>
mov    -0x28(%rbp),%eax
add    -0x60(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x2c(%rbp),%eax
add    -0x64(%rbp),%eax
mov    %eax,-0x2c(%rbp)
jmp    12ed <replace_substring+0x1ad>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x40(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    12f2 <replace_substring+0x1b2>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    11dd <replace_substring+0x9d>
mov    -0x40(%rbp),%rsi
lea    0xcf5(%rip),%rdi
call   1050 <printf@plt>
mov    -0x4(%rbp),%eax
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<replace_substring>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0xa8,%rsp
mov    %rdx,%rbx
mov    %rsi,%r14
mov    %rdi,%r15
call   1030 <get_len@plt>
mov    %eax,%ebp
mov    %r14,%rdi
call   1030 <get_len@plt>
mov    %eax,%r12d
mov    %rbx,%rdi
call   1030 <get_len@plt>
mov    %eax,%r13d
mov    %r15,%rdi
mov    %r14,%rsi
call   1040 <number_occourences@plt>
lea    0x1(%rax),%edi
imul   %r13d,%edi
add    %ebp,%edi
call   1060 <malloc@plt>
mov    %rax,0x8(%rsp)
mov    %ebp,0x20(%rsp)
test   %ebp,%ebp
jle    1735 <replace_substring+0x5f5>
mov    %r12,%r10
lea    -0x1(%r12),%eax
mov    %eax,0x24(%rsp)
movslq %r10d,%r12
mov    0x20(%rsp),%r11d
mov    %r13d,%edi
mov    0x8(%rsp),%rax
lea    (%rax,%rdi,1),%rcx
mov    %rcx,0x78(%rsp)
lea    (%rbx,%rdi,1),%rcx
mov    %rcx,0x90(%rsp)
lea    -0x1(%r12),%rcx
mov    %rcx,0xa0(%rsp)
mov    %edi,%ecx
and    $0xffffffe0,%ecx
mov    %rcx,0x30(%rsp)
add    $0xffffffffffffffe0,%rcx
mov    %rcx,0x68(%rsp)
shr    $0x5,%rcx
add    $0x1,%rcx
mov    %ecx,%edx
and    $0x3,%edx
and    $0xfffffffffffffffc,%rcx
mov    %rcx,0x48(%rsp)
mov    %edi,%ecx
and    $0xfffffff8,%ecx
mov    %edi,%esi
and    $0x3,%esi
mov    %rsi,0x98(%rsp)
lea    0x70(%rax),%rsi
mov    %rsi,0x40(%rsp)
mov    %rdx,0x60(%rsp)
shl    $0x5,%rdx
mov    %rdx,0x28(%rsp)
movdqa 0xdc7(%rip),%xmm0
lea    0x10(%rax),%rdx
mov    %rdx,0x58(%rsp)
lea    0x10(%rbx),%rdx
mov    %rdx,0x50(%rsp)
add    $0x3,%rax
mov    %rax,0x88(%rsp)
xor    %esi,%esi
xor    %r9d,%r9d
mov    %r10,0x80(%rsp)
mov    %rdi,0x38(%rsp)
mov    %rcx,0x70(%rsp)
mov    %r13d,0x1c(%rsp)
jmp    129c <replace_substring+0x15c>
cs nopw 0x0(%rax,%rax,1)
nop
mov    0x10(%rsp),%rsi
add    0x24(%rsp),%esi
mov    %r13d,%eax
add    %eax,%r9d
add    $0x1,%esi
cmp    0x20(%rsp),%esi
jge    1735 <replace_substring+0x5f5>
mov    %rsi,0x10(%rsp)
mov    $0x0,%eax
test   %r10d,%r10d
jle    1510 <replace_substring+0x3d0>
mov    %r9d,%ecx
mov    0x10(%rsp),%r9
movslq %r9d,%rdx
lea    0x1(%rdx),%rax
cmp    %r11,%rax
mov    %r11,%rdi
cmovg  %rax,%rdi
mov    %rdx,%rsi
not    %rsi
add    %rsi,%rdi
mov    0xa0(%rsp),%rbp
cmp    %rdi,%rbp
mov    %rdi,%r13
cmovb  %rbp,%r13
add    $0x1,%r13
test   %rdi,%rdi
mov    $0x1,%edi
cmove  %rdi,%r13
cmp    $0x8,%r13
jae    1350 <replace_substring+0x210>
xor    %r8d,%r8d
mov    %r9d,%ebp
xor    %eax,%eax
add    $0x1,%r8
mov    %r9d,%esi
mov    0x1c(%rsp),%r13d
mov    %ecx,%r9d
mov    %eax,%edi
movslq %ebp,%rax
movzbl (%r15,%rax,1),%ecx
xor    %eax,%eax
cmp    -0x1(%r14,%r8,1),%cl
sete   %al
add    %edi,%eax
lea    (%rdx,%r8,1),%rcx
cmp    %r11,%rcx
jge    1510 <replace_substring+0x3d0>
lea    (%rsi,%r8,1),%ebp
lea    0x1(%r8),%rcx
cmp    %r12,%r8
mov    %rcx,%r8
jl     1310 <replace_substring+0x1d0>
jmp    1510 <replace_substring+0x3d0>
nopl   0x0(%rax,%rax,1)
cmp    %r11,%rax
cmovle %r11,%rax
add    %rsi,%rax
cmp    %rax,%rbp
mov    %rax,%rsi
cmovb  %rbp,%rsi
test   %rax,%rax
cmove  %rax,%rsi
lea    (%r9,%rsi,1),%eax
xor    %r8d,%r8d
cmp    %r9d,%eax
jl     12fc <replace_substring+0x1bc>
shr    $0x20,%rsi
mov    %r9d,%ebp
mov    $0x0,%eax
jne    1301 <replace_substring+0x1c1>
mov    %r13,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rax
mov    %rax,%rbp
shr    $0x3,%rbp
add    $0x1,%rbp
test   %rax,%rax
je     1473 <replace_substring+0x333>
mov    %rbp,%r10
and    $0xfffffffffffffffe,%r10
pxor   %xmm1,%xmm1
mov    0x10(%rsp),%r9
xor    %eax,%eax
pxor   %xmm2,%xmm2
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movslq %r9d,%r9
movd   (%r15,%r9,1),%xmm4
movd   0x4(%r15,%r9,1),%xmm5
movd   (%r14,%rax,1),%xmm3
pcmpeqb %xmm4,%xmm3
punpcklbw %xmm3,%xmm3
punpcklwd %xmm3,%xmm3
movd   0x4(%r14,%rax,1),%xmm4
pcmpeqb %xmm5,%xmm4
punpcklbw %xmm4,%xmm4
punpcklwd %xmm4,%xmm4
pand   %xmm0,%xmm3
paddd  %xmm1,%xmm3
pand   %xmm0,%xmm4
paddd  %xmm2,%xmm4
lea    0x8(%r9),%esi
movslq %esi,%rsi
movd   (%r15,%rsi,1),%xmm2
movd   0x4(%r15,%rsi,1),%xmm5
movd   0x8(%r14,%rax,1),%xmm1
pcmpeqb %xmm2,%xmm1
punpcklbw %xmm1,%xmm1
punpcklwd %xmm1,%xmm1
movd   0xc(%r14,%rax,1),%xmm2
pcmpeqb %xmm5,%xmm2
punpcklbw %xmm2,%xmm2
punpcklwd %xmm2,%xmm2
pand   %xmm0,%xmm1
paddd  %xmm3,%xmm1
pand   %xmm0,%xmm2
paddd  %xmm4,%xmm2
add    $0x10,%rax
add    $0x10,%r9d
add    $0xfffffffffffffffe,%r10
jne    13d0 <replace_substring+0x290>
jmp    147d <replace_substring+0x33d>
pxor   %xmm1,%xmm1
xor    %eax,%eax
pxor   %xmm2,%xmm2
test   $0x1,%bpl
mov    0x80(%rsp),%r10
mov    0x10(%rsp),%r9
je     14d9 <replace_substring+0x399>
lea    (%r9,%rax,1),%esi
movslq %esi,%rsi
movd   (%r15,%rsi,1),%xmm3
movd   0x4(%r15,%rsi,1),%xmm4
movd   (%r14,%rax,1),%xmm5
pcmpeqb %xmm3,%xmm5
punpcklbw %xmm5,%xmm5
punpcklwd %xmm5,%xmm5
movd   0x4(%r14,%rax,1),%xmm3
pcmpeqb %xmm4,%xmm3
punpcklbw %xmm3,%xmm3
punpcklwd %xmm3,%xmm3
pand   %xmm0,%xmm5
paddd  %xmm5,%xmm1
pand   %xmm0,%xmm3
paddd  %xmm3,%xmm2
paddd  %xmm2,%xmm1
pshufd $0xee,%xmm1,%xmm2
paddd  %xmm1,%xmm2
pshufd $0x55,%xmm2,%xmm1
paddd  %xmm2,%xmm1
movd   %xmm1,%eax
cmp    %r8,%r13
jne    160e <replace_substring+0x4ce>
mov    0x1c(%rsp),%r13d
mov    %ecx,%r9d
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
cltd
idiv   %r10d
test   %eax,%eax
je     15e0 <replace_substring+0x4a0>
test   %r13d,%r13d
mov    0x38(%rsp),%rdi
jle    1280 <replace_substring+0x140>
movslq %r9d,%rax
cmp    $0x8,%r13d
jb     155b <replace_substring+0x41b>
mov    0x8(%rsp),%rcx
lea    (%rcx,%rax,1),%r8
cmp    0x90(%rsp),%r8
jae    1601 <replace_substring+0x4c1>
mov    0x78(%rsp),%rcx
add    %rax,%rcx
cmp    %rbx,%rcx
jbe    1601 <replace_substring+0x4c1>
xor    %ebp,%ebp
mov    %rbp,%rdx
not    %rdx
add    %rdi,%rdx
mov    0x98(%rsp),%rdi
test   %rdi,%rdi
je     1591 <replace_substring+0x451>
mov    0x8(%rsp),%rcx
lea    (%rcx,%rax,1),%rsi
nopl   0x0(%rax)
movzbl (%rbx,%rbp,1),%ecx
mov    %cl,(%rsi,%rbp,1)
add    $0x1,%rbp
add    $0xffffffffffffffff,%rdi
jne    1580 <replace_substring+0x440>
cmp    $0x3,%rdx
mov    0x38(%rsp),%rdi
jb     1280 <replace_substring+0x140>
add    0x88(%rsp),%rax
nopl   0x0(%rax,%rax,1)
movzbl (%rbx,%rbp,1),%ecx
mov    %cl,-0x3(%rax,%rbp,1)
movzbl 0x1(%rbx,%rbp,1),%ecx
mov    %cl,-0x2(%rax,%rbp,1)
movzbl 0x2(%rbx,%rbp,1),%ecx
mov    %cl,-0x1(%rax,%rbp,1)
movzbl 0x3(%rbx,%rbp,1),%ecx
mov    %cl,(%rax,%rbp,1)
add    $0x4,%rbp
cmp    %rbp,%rdi
jne    15b0 <replace_substring+0x470>
jmp    1280 <replace_substring+0x140>
mov    0x10(%rsp),%rsi
movslq %esi,%rax
mov    (%r15,%rax,1),%al
movslq %r9d,%rcx
mov    0x8(%rsp),%rdx
mov    %al,(%rdx,%rcx,1)
mov    $0x1,%eax
jmp    128c <replace_substring+0x14c>
cmp    $0x20,%r13d
jae    1617 <replace_substring+0x4d7>
xor    %edx,%edx
jmp    16fd <replace_substring+0x5bd>
lea    (%r9,%r8,1),%ebp
jmp    1301 <replace_substring+0x1c1>
cmpq   $0x60,0x68(%rsp)
jae    1628 <replace_substring+0x4e8>
xor    %ebp,%ebp
mov    0x28(%rsp),%rcx
jmp    169c <replace_substring+0x55c>
mov    0x40(%rsp),%rcx
lea    (%rcx,%rax,1),%rsi
mov    0x48(%rsp),%rdx
xor    %ebp,%ebp
mov    0x28(%rsp),%rcx
nopl   (%rax)
movups (%rbx,%rbp,1),%xmm1
movups 0x10(%rbx,%rbp,1),%xmm2
movups %xmm1,-0x70(%rsi,%rbp,1)
movups %xmm2,-0x60(%rsi,%rbp,1)
movups 0x20(%rbx,%rbp,1),%xmm1
movups 0x30(%rbx,%rbp,1),%xmm2
movups %xmm1,-0x50(%rsi,%rbp,1)
movups %xmm2,-0x40(%rsi,%rbp,1)
movups 0x40(%rbx,%rbp,1),%xmm1
movups 0x50(%rbx,%rbp,1),%xmm2
movups %xmm1,-0x30(%rsi,%rbp,1)
movups %xmm2,-0x20(%rsi,%rbp,1)
movdqu 0x60(%rbx,%rbp,1),%xmm1
movdqu 0x70(%rbx,%rbp,1),%xmm2
movdqu %xmm1,-0x10(%rsi,%rbp,1)
movdqu %xmm2,(%rsi,%rbp,1)
sub    $0xffffffffffffff80,%rbp
add    $0xfffffffffffffffc,%rdx
jne    1640 <replace_substring+0x500>
cmpq   $0x0,0x60(%rsp)
je     16e0 <replace_substring+0x5a0>
lea    (%rax,%rbp,1),%rdx
add    0x58(%rsp),%rdx
add    0x50(%rsp),%rbp
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movdqu -0x10(%rbp,%rsi,1),%xmm1
movdqu 0x0(%rbp,%rsi,1),%xmm2
movdqu %xmm1,-0x10(%rdx,%rsi,1)
movdqu %xmm2,(%rdx,%rsi,1)
add    $0x20,%rsi
cmp    %rsi,%rcx
jne    16c0 <replace_substring+0x580>
cmp    %rdi,0x30(%rsp)
je     1280 <replace_substring+0x140>
mov    0x30(%rsp),%rbp
mov    %rbp,%rdx
test   $0x18,%dil
je     155d <replace_substring+0x41d>
mov    0x70(%rsp),%rsi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    (%rbx,%rdx,1),%rcx
mov    %rcx,(%r8,%rdx,1)
add    $0x8,%rdx
cmp    %rdx,%rsi
jne    1710 <replace_substring+0x5d0>
mov    %rsi,%rcx
mov    %rsi,%rbp
cmp    %rdi,%rsi
je     1280 <replace_substring+0x140>
jmp    155d <replace_substring+0x41d>
lea    0x8d4(%rip),%rdi
mov    0x8(%rsp),%rsi
add    $0xa8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1050 <printf@plt>

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

LLVM IR (-O2):
@.str = [4 x i8] c"%s\0A\00"
define i32 @replace_substring(i8* %0, i8* %1, i8* %2) {
%4 = tail call i32 @get_len(i8* %0)
%5 = tail call i32 @get_len(i8* %1)
%6 = tail call i32 @get_len(i8* %2)
%7 = tail call i32 @number_occourences(i8* %0, i8* %1)
%8 = add nsw i32 %7, 1
%9 = mul nsw i32 %8, %6
%10 = add nsw i32 %9, %4
%11 = tail call i64 @malloc(i32 %10)
%12 = inttoptr i64 %11 to i8*
%13 = icmp sgt i32 %4, 0
br i1 %13, label %14, label %345
14: ; preds = %3
%15 = icmp sgt i32 %5, 0
%16 = icmp sgt i32 %6, 0
%17 = add i32 %5, -1
%18 = sext i32 %5 to i64
%19 = zext i32 %4 to i64
%20 = zext i32 %6 to i64
%21 = getelementptr i8, i8* %12, i64 %20
%22 = getelementptr i8, i8* %2, i64 %20
%23 = add nsw i64 %18, -1
%24 = add nsw i64 %18, -1
%25 = and i64 %20, 4294967264
%26 = add nsw i64 %25, -32
%27 = lshr exact i64 %26, 5
%28 = add nuw nsw i64 %27, 1
%29 = icmp ult i32 %6, 8
%30 = icmp ult i32 %6, 32
%31 = and i64 %20, 4294967264
%32 = and i64 %28, 3
%33 = icmp ult i64 %26, 96
%34 = and i64 %28, 1152921504606846972
%35 = icmp eq i64 %32, 0
%36 = icmp eq i64 %31, %20
%37 = and i64 %20, 24
%38 = icmp eq i64 %37, 0
%39 = and i64 %20, 4294967288
%40 = icmp eq i64 %39, %20
%41 = and i64 %20, 3
%42 = icmp eq i64 %41, 0
br label %43
43: ; preds = %14, %339
%44 = phi i32 [ 0, %14 ], [ %343, %339 ]
%45 = phi i32 [ 0, %14 ], [ %342, %339 ]
br i1 %15, label %46, label %189
46: ; preds = %43
%47 = sext i32 %44 to i64
%48 = add nsw i64 %47, 1
%49 = call i64 @llvm.smax.i64(i64 %48, i64 %19)
%50 = xor i64 %47, -1
%51 = add i64 %49, %50
%52 = icmp eq i64 %51, 0
%53 = call i64 @llvm.umin.i64(i64 %24, i64 %51)
%54 = add nsw i64 %53, 1
%55 = select i1 %52, i64 1, i64 %54
%56 = icmp ult i64 %55, 8
br i1 %56, label %167, label %57
57: ; preds = %46
%58 = add nsw i64 %47, 1
%59 = call i64 @llvm.smax.i64(i64 %58, i64 %19)
%60 = xor i64 %47, -1
%61 = add i64 %59, %60
%62 = icmp eq i64 %61, 0
%63 = call i64 @llvm.umin.i64(i64 %23, i64 %61)
%64 = select i1 %62, i64 0, i64 %63
%65 = trunc i64 %64 to i32
%66 = add i32 %44, %65
%67 = icmp slt i32 %66, %44
%68 = icmp ugt i64 %64, 4294967295
%69 = or i1 %67, %68
br i1 %69, label %167, label %70
70: ; preds = %57
%71 = and i64 %55, -8
%72 = trunc i64 %71 to i32
%73 = add i32 %44, %72
%74 = add i64 %71, -8
%75 = lshr exact i64 %74, 3
%76 = add nuw nsw i64 %75, 1
%77 = and i64 %76, 1
%78 = icmp eq i64 %74, 0
br i1 %78, label %132, label %79
79: ; preds = %70
%80 = and i64 %76, 4611686018427387902
br label %81
81: ; preds = %81, %79
%82 = phi i64 [ 0, %79 ], [ %129, %81 ]
%83 = phi <4 x i32> [ zeroinitializer, %79 ], [ %127, %81 ]
%84 = phi <4 x i32> [ zeroinitializer, %79 ], [ %128, %81 ]
%85 = phi i64 [ 0, %79 ], [ %130, %81 ]
%86 = trunc i64 %82 to i32
%87 = add i32 %44, %86
%88 = sext i32 %87 to i64
%89 = getelementptr inbounds i8, i8* %0, i64 %88
%90 = bitcast i8* %89 to <4 x i8>*
%91 = load <4 x i8>, <4 x i8>* %90
%92 = getelementptr inbounds i8, i8* %89, i64 4
%93 = bitcast i8* %92 to <4 x i8>*
%94 = load <4 x i8>, <4 x i8>* %93
%95 = getelementptr inbounds i8, i8* %1, i64 %82
%96 = bitcast i8* %95 to <4 x i8>*
%97 = load <4 x i8>, <4 x i8>* %96
%98 = getelementptr inbounds i8, i8* %95, i64 4
%99 = bitcast i8* %98 to <4 x i8>*
%100 = load <4 x i8>, <4 x i8>* %99
%101 = icmp eq <4 x i8> %91, %97
%102 = icmp eq <4 x i8> %94, %100
%103 = zext <4 x i1> %101 to <4 x i32>
%104 = zext <4 x i1> %102 to <4 x i32>
%105 = add <4 x i32> %83, %103
%106 = add <4 x i32> %84, %104
%107 = or i64 %82, 8
%108 = trunc i64 %107 to i32
%109 = add i32 %44, %108
%110 = sext i32 %109 to i64
%111 = getelementptr inbounds i8, i8* %0, i64 %110
%112 = bitcast i8* %111 to <4 x i8>*
%113 = load <4 x i8>, <4 x i8>* %112
%114 = getelementptr inbounds i8, i8* %111, i64 4
%115 = bitcast i8* %114 to <4 x i8>*
%116 = load <4 x i8>, <4 x i8>* %115
%117 = getelementptr inbounds i8, i8* %1, i64 %107
%118 = bitcast i8* %117 to <4 x i8>*
%119 = load <4 x i8>, <4 x i8>* %118
%120 = getelementptr inbounds i8, i8* %117, i64 4
%121 = bitcast i8* %120 to <4 x i8>*
%122 = load <4 x i8>, <4 x i8>* %121
%123 = icmp eq <4 x i8> %113, %119
%124 = icmp eq <4 x i8> %116, %122
%125 = zext <4 x i1> %123 to <4 x i32>
%126 = zext <4 x i1> %124 to <4 x i32>
%127 = add <4 x i32> %105, %125
%128 = add <4 x i32> %106, %126
%129 = add nuw i64 %82, 16
%130 = add i64 %85, 2
%131 = icmp eq i64 %130, %80
br i1 %131, label %132, label %81
132: ; preds = %81, %70
%133 = phi <4 x i32> [ undef, %70 ], [ %127, %81 ]
%134 = phi <4 x i32> [ undef, %70 ], [ %128, %81 ]
%135 = phi i64 [ 0, %70 ], [ %129, %81 ]
%136 = phi <4 x i32> [ zeroinitializer, %70 ], [ %127, %81 ]
%137 = phi <4 x i32> [ zeroinitializer, %70 ], [ %128, %81 ]
%138 = icmp eq i64 %77, 0
br i1 %138, label %161, label %139
139: ; preds = %132
%140 = trunc i64 %135 to i32
%141 = add i32 %44, %140
%142 = sext i32 %141 to i64
%143 = getelementptr inbounds i8, i8* %0, i64 %142
%144 = bitcast i8* %143 to <4 x i8>*
%145 = load <4 x i8>, <4 x i8>* %144
%146 = getelementptr inbounds i8, i8* %143, i64 4
%147 = bitcast i8* %146 to <4 x i8>*
%148 = load <4 x i8>, <4 x i8>* %147
%149 = getelementptr inbounds i8, i8* %1, i64 %135
%150 = bitcast i8* %149 to <4 x i8>*
%151 = load <4 x i8>, <4 x i8>* %150
%152 = getelementptr inbounds i8, i8* %149, i64 4
%153 = bitcast i8* %152 to <4 x i8>*
%154 = load <4 x i8>, <4 x i8>* %153
%155 = icmp eq <4 x i8> %145, %151
%156 = icmp eq <4 x i8> %148, %154
%157 = zext <4 x i1> %155 to <4 x i32>
%158 = zext <4 x i1> %156 to <4 x i32>
%159 = add <4 x i32> %136, %157
%160 = add <4 x i32> %137, %158
br label %161
161: ; preds = %132, %139
%162 = phi <4 x i32> [ %133, %132 ], [ %159, %139 ]
%163 = phi <4 x i32> [ %134, %132 ], [ %160, %139 ]
%164 = add <4 x i32> %163, %162
%165 = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %164)
%166 = icmp eq i64 %55, %71
br i1 %166, label %189, label %167
167: ; preds = %57, %46, %161
%168 = phi i64 [ 0, %57 ], [ 0, %46 ], [ %71, %161 ]
%169 = phi i32 [ %44, %57 ], [ %44, %46 ], [ %73, %161 ]
%170 = phi i32 [ 0, %57 ], [ 0, %46 ], [ %165, %161 ]
br label %171
171: ; preds = %167, %171
%172 = phi i64 [ %183, %171 ], [ %168, %167 ]
%173 = phi i32 [ %188, %171 ], [ %169, %167 ]
%174 = phi i32 [ %182, %171 ], [ %170, %167 ]
%175 = sext i32 %173 to i64
%176 = getelementptr inbounds i8, i8* %0, i64 %175
%177 = load i8, i8* %176
%178 = getelementptr inbounds i8, i8* %1, i64 %172
%179 = load i8, i8* %178
%180 = icmp eq i8 %177, %179
%181 = zext i1 %180 to i32
%182 = add nuw nsw i32 %174, %181
%183 = add nuw nsw i64 %172, 1
%184 = add nsw i64 %183, %47
%185 = icmp slt i64 %184, %19
%186 = icmp slt i64 %183, %18
%187 = select i1 %185, i1 %186, i1 false
%188 = trunc i64 %184 to i32
br i1 %187, label %171, label %189
189: ; preds = %171, %161, %43
%190 = phi i32 [ 0, %43 ], [ %165, %161 ], [ %182, %171 ]
%191 = sdiv i32 %190, %5
%192 = icmp eq i32 %191, 0
br i1 %192, label %333, label %193
193: ; preds = %189
br i1 %16, label %194, label %331
194: ; preds = %193
%195 = sext i32 %45 to i64
br i1 %29, label %291, label %196
196: ; preds = %194
%197 = getelementptr i8, i8* %12, i64 %195
%198 = getelementptr i8, i8* %21, i64 %195
%199 = icmp ult i8* %197, %22
%200 = icmp ugt i8* %198, %2
%201 = and i1 %199, %200
br i1 %201, label %291, label %202
202: ; preds = %196
br i1 %30, label %278, label %203
203: ; preds = %202
br i1 %33, label %257, label %204
204: ; preds = %203, %204
%205 = phi i64 [ %254, %204 ], [ 0, %203 ]
%206 = phi i64 [ %255, %204 ], [ 0, %203 ]
%207 = getelementptr inbounds i8, i8* %2, i64 %205
%208 = bitcast i8* %207 to <16 x i8>*
%209 = load <16 x i8>, <16 x i8>* %208
%210 = getelementptr inbounds i8, i8* %207, i64 16
%211 = bitcast i8* %210 to <16 x i8>*
%212 = load <16 x i8>, <16 x i8>* %211
%213 = add nsw i64 %205, %195
%214 = getelementptr inbounds i8, i8* %12, i64 %213
%215 = bitcast i8* %214 to <16 x i8>*
store <16 x i8> %209, <16 x i8>* %215
%216 = getelementptr inbounds i8, i8* %214, i64 16
%217 = bitcast i8* %216 to <16 x i8>*
store <16 x i8> %212, <16 x i8>* %217
%218 = or i64 %205, 32
%219 = getelementptr inbounds i8, i8* %2, i64 %218
%220 = bitcast i8* %219 to <16 x i8>*
%221 = load <16 x i8>, <16 x i8>* %220
%222 = getelementptr inbounds i8, i8* %219, i64 16
%223 = bitcast i8* %222 to <16 x i8>*
%224 = load <16 x i8>, <16 x i8>* %223
%225 = add nsw i64 %218, %195
%226 = getelementptr inbounds i8, i8* %12, i64 %225
%227 = bitcast i8* %226 to <16 x i8>*
store <16 x i8> %221, <16 x i8>* %227
%228 = getelementptr inbounds i8, i8* %226, i64 16
%229 = bitcast i8* %228 to <16 x i8>*
store <16 x i8> %224, <16 x i8>* %229
%230 = or i64 %205, 64
%231 = getelementptr inbounds i8, i8* %2, i64 %230
%232 = bitcast i8* %231 to <16 x i8>*
%233 = load <16 x i8>, <16 x i8>* %232
%234 = getelementptr inbounds i8, i8* %231, i64 16
%235 = bitcast i8* %234 to <16 x i8>*
%236 = load <16 x i8>, <16 x i8>* %235
%237 = add nsw i64 %230, %195
%238 = getelementptr inbounds i8, i8* %12, i64 %237
%239 = bitcast i8* %238 to <16 x i8>*
store <16 x i8> %233, <16 x i8>* %239
%240 = getelementptr inbounds i8, i8* %238, i64 16
%241 = bitcast i8* %240 to <16 x i8>*
store <16 x i8> %236, <16 x i8>* %241
%242 = or i64 %205, 96
%243 = getelementptr inbounds i8, i8* %2, i64 %242
%244 = bitcast i8* %243 to <16 x i8>*
%245 = load <16 x i8>, <16 x i8>* %244
%246 = getelementptr inbounds i8, i8* %243, i64 16
%247 = bitcast i8* %246 to <16 x i8>*
%248 = load <16 x i8>, <16 x i8>* %247
%249 = add nsw i64 %242, %195
%250 = getelementptr inbounds i8, i8* %12, i64 %249
%251 = bitcast i8* %250 to <16 x i8>*
store <16 x i8> %245, <16 x i8>* %251
%252 = getelementptr inbounds i8, i8* %250, i64 16
%253 = bitcast i8* %252 to <16 x i8>*
store <16 x i8> %248, <16 x i8>* %253
%254 = add nuw i64 %205, 128
%255 = add i64 %206, 4
%256 = icmp eq i64 %255, %34
br i1 %256, label %257, label %204
257: ; preds = %204, %203
%258 = phi i64 [ 0, %203 ], [ %254, %204 ]
br i1 %35, label %276, label %259
259: ; preds = %257, %259
%260 = phi i64 [ %273, %259 ], [ %258, %257 ]
%261 = phi i64 [ %274, %259 ], [ 0, %257 ]
%262 = getelementptr inbounds i8, i8* %2, i64 %260
%263 = bitcast i8* %262 to <16 x i8>*
%264 = load <16 x i8>, <16 x i8>* %263
%265 = getelementptr inbounds i8, i8* %262, i64 16
%266 = bitcast i8* %265 to <16 x i8>*
%267 = load <16 x i8>, <16 x i8>* %266
%268 = add nsw i64 %260, %195
%269 = getelementptr inbounds i8, i8* %12, i64 %268
%270 = bitcast i8* %269 to <16 x i8>*
store <16 x i8> %264, <16 x i8>* %270
%271 = getelementptr inbounds i8, i8* %269, i64 16
%272 = bitcast i8* %271 to <16 x i8>*
store <16 x i8> %267, <16 x i8>* %272
%273 = add nuw i64 %260, 32
%274 = add i64 %261, 1
%275 = icmp eq i64 %274, %32
br i1 %275, label %276, label %259
276: ; preds = %259, %257
br i1 %36, label %331, label %277
277: ; preds = %276
br i1 %38, label %291, label %278
278: ; preds = %202, %277
%279 = phi i64 [ %31, %277 ], [ 0, %202 ]
br label %280
280: ; preds = %280, %278
%281 = phi i64 [ %279, %278 ], [ %288, %280 ]
%282 = getelementptr inbounds i8, i8* %2, i64 %281
%283 = bitcast i8* %282 to <8 x i8>*
%284 = load <8 x i8>, <8 x i8>* %283
%285 = add nsw i64 %281, %195
%286 = getelementptr inbounds i8, i8* %12, i64 %285
%287 = bitcast i8* %286 to <8 x i8>*
store <8 x i8> %284, <8 x i8>* %287
%288 = add nuw i64 %281, 8
%289 = icmp eq i64 %288, %39
br i1 %289, label %290, label %280
290: ; preds = %280
br i1 %40, label %331, label %291
291: ; preds = %196, %194, %277, %290
%292 = phi i64 [ 0, %194 ], [ 0, %196 ], [ %31, %277 ], [ %39, %290 ]
%293 = xor i64 %292, -1
%294 = add nsw i64 %293, %20
br i1 %42, label %305, label %295
295: ; preds = %291, %295
%296 = phi i64 [ %302, %295 ], [ %292, %291 ]
%297 = phi i64 [ %303, %295 ], [ 0, %291 ]
%298 = getelementptr inbounds i8, i8* %2, i64 %296
%299 = load i8, i8* %298
%300 = add nsw i64 %296, %195
%301 = getelementptr inbounds i8, i8* %12, i64 %300
store i8 %299, i8* %301
%302 = add nuw nsw i64 %296, 1
%303 = add i64 %297, 1
%304 = icmp eq i64 %303, %41
br i1 %304, label %305, label %295
305: ; preds = %295, %291
%306 = phi i64 [ %292, %291 ], [ %302, %295 ]
%307 = icmp ult i64 %294, 3
br i1 %307, label %331, label %308
308: ; preds = %305, %308
%309 = phi i64 [ %329, %308 ], [ %306, %305 ]
%310 = getelementptr inbounds i8, i8* %2, i64 %309
%311 = load i8, i8* %310
%312 = add nsw i64 %309, %195
%313 = getelementptr inbounds i8, i8* %12, i64 %312
store i8 %311, i8* %313
%314 = add nuw nsw i64 %309, 1
%315 = getelementptr inbounds i8, i8* %2, i64 %314
%316 = load i8, i8* %315
%317 = add nsw i64 %314, %195
%318 = getelementptr inbounds i8, i8* %12, i64 %317
store i8 %316, i8* %318
%319 = add nuw nsw i64 %309, 2
%320 = getelementptr inbounds i8, i8* %2, i64 %319
%321 = load i8, i8* %320
%322 = add nsw i64 %319, %195
%323 = getelementptr inbounds i8, i8* %12, i64 %322
store i8 %321, i8* %323
%324 = add nuw nsw i64 %309, 3
%325 = getelementptr inbounds i8, i8* %2, i64 %324
%326 = load i8, i8* %325
%327 = add nsw i64 %324, %195
%328 = getelementptr inbounds i8, i8* %12, i64 %327
store i8 %326, i8* %328
%329 = add nuw nsw i64 %309, 4
%330 = icmp eq i64 %329, %20
br i1 %330, label %331, label %308
331: ; preds = %305, %308, %276, %290, %193
%332 = add i32 %17, %44
br label %339
333: ; preds = %189
%334 = sext i32 %44 to i64
%335 = getelementptr inbounds i8, i8* %0, i64 %334
%336 = load i8, i8* %335
%337 = sext i32 %45 to i64
%338 = getelementptr inbounds i8, i8* %12, i64 %337
store i8 %336, i8* %338
br label %339
339: ; preds = %331, %333
%340 = phi i32 [ %6, %331 ], [ 1, %333 ]
%341 = phi i32 [ %332, %331 ], [ %44, %333 ]
%342 = add nsw i32 %340, %45
%343 = add nsw i32 %341, 1
%344 = icmp slt i32 %343, %4
br i1 %344, label %43, label %345
345: ; preds = %339, %3
%346 = tail call i32 @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0), i8* %12)
ret i32 undef
}