#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 strlen(char const *);
char *strstr(char *, char const *);
int Q_replace(const char *str1, const char *str2, char *src, int max_len) {
  int len1, len2, d, count;
  const char *s0, *s1, *s2, *max;
  char *match, *dst;
  match = strstr(src, str1);
  if (!match)
    return 0;
  count = 0;
  len1 = strlen(str1);
  len2 = strlen(str2);
  d = len2 - len1;
  if (d > 0) {
    max = src + max_len;
    src += strlen(src);
    do {
      s1 = src;
      src += d;
      if (src >= max)
        return count;
      dst = src;
      s0 = match + len1;
      while (s1 >= s0)
        *dst-- = *s1--;
      s2 = str2;
      while (*s2) {
        *match++ = *s2++;
      }
      match = strstr(match, str1);
      count++;
    } while (match);
    return count;
  } else if (d < 0) {
    do {
      s1 = match + len1;
      dst = match + len2;
      while ((*dst++ = *s1++) != '\0')
        ;
      s2 = str2;
      while (*s2) {
        *match++ = *s2++;
      }
      match = strstr(match, str1);
      count++;
    } while (match);
    return count;
  } else
    do {
      s2 = str2;
      while (*s2) {
        *match++ = *s2++;
      }
      match = strstr(match, str1);
      count++;
    } while (match);
  return count;
}


x86 assembly (clang, -O0):
<Q_replace>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %ecx,-0x24(%rbp)
mov    -0x20(%rbp),%rdi
mov    -0x10(%rbp),%rsi
call   1040 <strstr@plt>
mov    %rax,-0x60(%rbp)
cmpq   $0x0,-0x60(%rbp)
jne    115f <Q_replace+0x3f>
movl   $0x0,-0x4(%rbp)
jmp    13e5 <Q_replace+0x2c5>
movl   $0x0,-0x34(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x28(%rbp)
mov    -0x18(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
sub    -0x28(%rbp),%eax
mov    %eax,-0x30(%rbp)
cmpl   $0x0,-0x30(%rbp)
jle    12a3 <Q_replace+0x183>
mov    -0x20(%rbp),%rax
movslq -0x24(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x58(%rbp)
mov    -0x20(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,%ecx
mov    -0x20(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x30(%rbp),%ecx
mov    -0x20(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x58(%rbp),%rax
jb     11eb <Q_replace+0xcb>
mov    -0x34(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    13e5 <Q_replace+0x2c5>
mov    -0x20(%rbp),%rax
mov    %rax,-0x68(%rbp)
mov    -0x60(%rbp),%rax
movslq -0x28(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x40(%rbp)
mov    -0x48(%rbp),%rax
cmp    -0x40(%rbp),%rax
jb     1237 <Q_replace+0x117>
mov    -0x48(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x48(%rbp)
mov    (%rax),%cl
mov    -0x68(%rbp),%rax
mov    %rax,%rdx
add    $0xffffffffffffffff,%rdx
mov    %rdx,-0x68(%rbp)
mov    %cl,(%rax)
jmp    1202 <Q_replace+0xe2>
mov    -0x18(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    -0x50(%rbp),%rax
cmpb   $0x0,(%rax)
je     1273 <Q_replace+0x153>
mov    -0x50(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x50(%rbp)
mov    (%rax),%cl
mov    -0x60(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x60(%rbp)
mov    %cl,(%rax)
jmp    123f <Q_replace+0x11f>
mov    -0x60(%rbp),%rdi
mov    -0x10(%rbp),%rsi
call   1040 <strstr@plt>
mov    %rax,-0x60(%rbp)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
cmpq   $0x0,-0x60(%rbp)
jne    11b9 <Q_replace+0x99>
mov    -0x34(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    13e5 <Q_replace+0x2c5>
cmpl   $0x0,-0x30(%rbp)
jge    136f <Q_replace+0x24f>
jmp    12b2 <Q_replace+0x192>
mov    -0x60(%rbp),%rax
movslq -0x28(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x48(%rbp)
mov    -0x60(%rbp),%rax
movslq -0x2c(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x68(%rbp)
mov    -0x48(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x48(%rbp)
mov    (%rax),%al
mov    -0x68(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x68(%rbp)
mov    %al,(%rcx)
movsbl %al,%eax
cmp    $0x0,%eax
je     1303 <Q_replace+0x1e3>
jmp    12d0 <Q_replace+0x1b0>
mov    -0x18(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    -0x50(%rbp),%rax
cmpb   $0x0,(%rax)
je     133f <Q_replace+0x21f>
mov    -0x50(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x50(%rbp)
mov    (%rax),%cl
mov    -0x60(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x60(%rbp)
mov    %cl,(%rax)
jmp    130b <Q_replace+0x1eb>
mov    -0x60(%rbp),%rdi
mov    -0x10(%rbp),%rsi
call   1040 <strstr@plt>
mov    %rax,-0x60(%rbp)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
cmpq   $0x0,-0x60(%rbp)
jne    12b2 <Q_replace+0x192>
mov    -0x34(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    13e5 <Q_replace+0x2c5>
jmp    1374 <Q_replace+0x254>
mov    -0x18(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    -0x50(%rbp),%rax
cmpb   $0x0,(%rax)
je     13b0 <Q_replace+0x290>
mov    -0x50(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x50(%rbp)
mov    (%rax),%cl
mov    -0x60(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x60(%rbp)
mov    %cl,(%rax)
jmp    137c <Q_replace+0x25c>
mov    -0x60(%rbp),%rdi
mov    -0x10(%rbp),%rsi
call   1040 <strstr@plt>
mov    %rax,-0x60(%rbp)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
cmpq   $0x0,-0x60(%rbp)
jne    1374 <Q_replace+0x254>
jmp    13da <Q_replace+0x2ba>
jmp    13df <Q_replace+0x2bf>
mov    -0x34(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<Q_replace>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x98,%rsp
mov    %ecx,%r12d
mov    %rdx,%rbp
mov    %rsi,%r13
mov    %rdi,%r15
mov    %rdx,%rdi
mov    %r15,%rsi
call   1040 <strstr@plt>
test   %rax,%rax
je     1576 <Q_replace+0x456>
mov    %rax,%rbx
mov    %rbp,0x18(%rsp)
mov    %r15,%rdi
call   1030 <strlen@plt>
mov    %eax,%r14d
mov    %r13,%rdi
call   1030 <strlen@plt>
mov    %eax,%ebp
sub    %r14d,%ebp
jle    158e <Q_replace+0x46e>
mov    %r15,0x88(%rsp)
movslq %r12d,%r15
mov    0x18(%rsp),%r12
add    %r12,%r15
mov    %r12,%rdi
call   1030 <strlen@plt>
cltq
lea    (%r12,%rax,1),%r11
mov    %ebp,%ecx
mov    %r15,%rbp
mov    %rax,%rsi
movslq %r14d,%rdx
lea    -0x1(%r12,%rax,1),%r14
mov    %rdx,%rax
mov    %rdx,0x80(%rsp)
lea    -0x1(%rdx),%rax
mov    %rax,0x60(%rsp)
lea    (%rsi,%rcx,1),%rax
mov    %rax,0x58(%rsp)
lea    0x1(%rcx),%rax
mov    %rax,0x48(%rsp)
lea    0x1(%rsi,%rcx,1),%rax
mov    %rax,0x38(%rsp)
lea    -0xf(%rcx),%rax
mov    %rax,0x28(%rsp)
lea    (%r12,%rsi,1),%rax
add    $0xfffffffffffffff1,%rax
add    $0x1,%rsi
mov    %rsi,0x50(%rsp)
lea    -0x3(%rcx),%rdx
mov    %rdx,0x30(%rsp)
mov    %r13,0x90(%rsp)
lea    0x1(%r13),%rdx
mov    %rdx,0x78(%rsp)
xor    %r12d,%r12d
mov    %r14,0x68(%rsp)
mov    %r11,%r13
mov    %r11,0x70(%rsp)
mov    %rcx,0x20(%rsp)
mov    %r15,(%rsp)
jmp    1266 <Q_replace+0x146>
nopw   0x0(%rax,%rax,1)
mov    %rbx,%rdi
mov    0x88(%rsp),%rsi
call   1040 <strstr@plt>
mov    %rax,%rbx
add    $0x1,%r12
mov    0x20(%rsp),%rcx
add    %rcx,%r13
add    %rcx,%r14
mov    0x10(%rsp),%rax
add    %rcx,%rax
mov    %r15,%r11
test   %rbx,%rbx
je     1579 <Q_replace+0x459>
lea    (%r11,%rcx,1),%r15
cmp    %rbp,%r15
jae    1579 <Q_replace+0x459>
mov    %rax,0x10(%rsp)
mov    0x80(%rsp),%rax
add    %rbx,%rax
cmp    %rax,%r11
jb     1372 <Q_replace+0x252>
mov    %r12,%rsi
imul   %rcx,%rsi
mov    0x70(%rsp),%rcx
lea    (%rcx,%rsi,1),%r9
mov    0x68(%rsp),%rcx
lea    (%rcx,%rsi,1),%r8
mov    0x60(%rsp),%rcx
add    %rbx,%rcx
cmp    %rcx,%r8
mov    %rcx,%rdi
cmovb  %r8,%rdi
mov    %r9,%r10
sub    %rdi,%r10
cmp    $0x4,%r10
jae    12d0 <Q_replace+0x1b0>
mov    %r15,%rdx
mov    %r11,%rdi
jmp    1360 <Q_replace+0x240>
xchg   %ax,%ax
mov    0x58(%rsp),%rdx
lea    (%rdx,%rsi,1),%rbp
add    0x18(%rsp),%rbp
mov    %r8,%rdx
sub    %rcx,%rdx
mov    $0x0,%edi
cmovae %rdx,%rdi
mov    %rbp,%rdx
sub    %rdi,%rdx
cmp    %rbp,%rdx
ja     134e <Q_replace+0x22e>
mov    %r11,%rdx
sub    %rdi,%rdx
cmp    %r11,%rdx
ja     134e <Q_replace+0x22e>
mov    %r9,0x40(%rsp)
mov    %r15,0x8(%rsp)
mov    0x50(%rsp),%rdx
add    %rsi,%rdx
mov    0x18(%rsp),%r9
add    %r9,%rdx
cmp    %rcx,%r8
mov    %rcx,%rbp
cmovb  %r8,%rbp
mov    0x48(%rsp),%rdi
add    %rbp,%rdi
cmp    %rdx,%rdi
jae    13a6 <Q_replace+0x286>
add    0x38(%rsp),%rsi
add    %r9,%rsi
mov    $0x1,%edx
add    %rdx,%rbp
cmp    %rsi,%rbp
jae    13a6 <Q_replace+0x286>
mov    0x8(%rsp),%r15
mov    %r15,%rdx
mov    %r11,%rdi
mov    (%rsp),%rbp
nopl   0x0(%rax,%rax,1)
movzbl (%rdi),%ecx
add    $0xffffffffffffffff,%rdi
mov    %cl,(%rdx)
add    $0xffffffffffffffff,%rdx
cmp    %rax,%rdi
jae    1360 <Q_replace+0x240>
mov    0x90(%rsp),%rax
mov    (%rax),%cl
mov    0x78(%rsp),%rax
test   %cl,%cl
je     1230 <Q_replace+0x110>
nopl   0x0(%rax)
mov    %cl,(%rbx)
add    $0x1,%rbx
movzbl (%rax),%ecx
add    $0x1,%rax
test   %cl,%cl
jne    1390 <Q_replace+0x270>
jmp    1230 <Q_replace+0x110>
cmp    $0x10,%r10
jae    13b4 <Q_replace+0x294>
xor    %r10d,%r10d
jmp    14e7 <Q_replace+0x3c7>
mov    %r10,%r15
and    $0xfffffffffffffff0,%r15
lea    -0x10(%r15),%rsi
mov    %rsi,%rdx
shr    $0x4,%rdx
add    $0x1,%rdx
cmp    $0x30,%rsi
jae    13e1 <Q_replace+0x2c1>
xor    %r9d,%r9d
test   $0x3,%dl
jne    1464 <Q_replace+0x344>
jmp    14c5 <Q_replace+0x3a5>
mov    %r15,%rbp
cmp    %rcx,%r14
mov    %rcx,%rdi
cmovb  %r14,%rdi
mov    0x28(%rsp),%rsi
add    %r11,%rsi
mov    %r13,%r15
sub    %rdi,%r15
and    $0xfffffffffffffff0,%r15
add    $0xfffffffffffffff0,%r15
shr    $0x4,%r15
add    $0x1,%r15
and    $0xfffffffffffffffc,%r15
xor    %r9d,%r9d
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movups -0xf(%r11,%r9,1),%xmm0
movups %xmm0,(%rsi,%r9,1)
movups -0x1f(%r11,%r9,1),%xmm0
movups %xmm0,-0x10(%rsi,%r9,1)
movups -0x2f(%r11,%r9,1),%xmm0
movups %xmm0,-0x20(%rsi,%r9,1)
movups -0x3f(%r11,%r9,1),%xmm0
movups %xmm0,-0x30(%rsi,%r9,1)
add    $0xffffffffffffffc0,%r9
add    $0xfffffffffffffffc,%r15
jne    1420 <Q_replace+0x300>
neg    %r9
mov    %rbp,%r15
test   $0x3,%dl
je     14c5 <Q_replace+0x3a5>
mov    0x10(%rsp),%rsi
sub    %r9,%rsi
mov    0x20(%rsp),%rdx
lea    (%rsi,%rdx,1),%r9
cmp    %rcx,%r14
mov    %rcx,%rdi
cmovb  %r14,%rdi
mov    %r13d,%ebp
sub    %edi,%ebp
and    $0x30,%bpl
add    $0xf0,%bpl
shr    $0x4,%bpl
add    $0x1,%bpl
movzbl %bpl,%edx
and    $0x3,%edx
shl    $0x4,%rdx
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movups (%rsi,%rdi,1),%xmm0
movups %xmm0,(%r9,%rdi,1)
add    $0xfffffffffffffff0,%rdi
mov    %rdx,%rbp
add    %rdi,%rbp
jne    14b0 <Q_replace+0x390>
mov    %r15,%rdx
cmp    %r15,%r10
mov    (%rsp),%rbp
mov    0x8(%rsp),%r15
je     1372 <Q_replace+0x252>
test   $0xc,%r10b
je     1565 <Q_replace+0x445>
mov    %rdx,%r10
cmp    %rcx,%r8
cmovae %rcx,%r8
mov    0x40(%rsp),%r9
sub    %r8,%r9
mov    %r9,%r8
and    $0xfffffffffffffffc,%r9
mov    0x8(%rsp),%rdx
sub    %r9,%rdx
mov    %r11,%rdi
sub    %r9,%rdi
mov    $0xfffffffffffffffd,%rsi
sub    %r10,%rsi
mov    0x30(%rsp),%rbp
sub    %r10,%rbp
cmp    %rcx,%r14
cmovb  %r14,%rcx
mov    %r13,%r10
sub    %rcx,%r10
and    $0xfffffffffffffffc,%r10
xchg   %ax,%ax
mov    (%r11,%rsi,1),%ecx
mov    %ecx,(%r11,%rbp,1)
add    $0xfffffffffffffffc,%rbp
lea    (%r10,%rsi,1),%rcx
add    $0xfffffffffffffffc,%rcx
add    $0xfffffffffffffffc,%rsi
cmp    $0xfffffffffffffffd,%rcx
jne    1530 <Q_replace+0x410>
cmp    %r9,%r8
mov    (%rsp),%rbp
mov    0x8(%rsp),%r15
jne    1360 <Q_replace+0x240>
jmp    1372 <Q_replace+0x252>
mov    %rdx,%rcx
sub    %rdx,%r11
mov    %r15,%rdx
sub    %rcx,%rdx
jmp    12c6 <Q_replace+0x1a6>
xor    %r12d,%r12d
mov    %r12d,%eax
add    $0x98,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
js     15e3 <Q_replace+0x4c3>
lea    0x1(%r13),%rbp
xor    %r12d,%r12d
jmp    15b7 <Q_replace+0x497>
nopl   0x0(%rax)
mov    %r15,%rsi
mov    %rbx,%rdi
call   1040 <strstr@plt>
mov    %rax,%rbx
add    $0x1,%r12d
test   %rax,%rax
je     1579 <Q_replace+0x459>
mov    0x0(%r13),%al
test   %al,%al
je     15a0 <Q_replace+0x480>
mov    %rbp,%rcx
mov    %r15,%rsi
cs nopw 0x0(%rax,%rax,1)
nop
mov    %al,(%rbx)
add    $0x1,%rbx
movzbl (%rcx),%eax
add    $0x1,%rcx
test   %al,%al
jne    15d0 <Q_replace+0x4b0>
jmp    15a3 <Q_replace+0x483>
movslq %r14d,%r14
movslq %eax,%rbp
lea    0x1(%r13),%rax
mov    %rax,0x10(%rsp)
xor    %r12d,%r12d
jmp    161b <Q_replace+0x4fb>
nopw   0x0(%rax,%rax,1)
mov    %rbx,%rdi
mov    %r15,%rsi
call   1040 <strstr@plt>
mov    %rax,%rbx
add    $0x1,%r12d
test   %rax,%rax
je     1579 <Q_replace+0x459>
mov    %rbx,%rax
xchg   %ax,%ax
movzbl (%rax,%r14,1),%ecx
mov    %cl,(%rax,%rbp,1)
add    $0x1,%rax
test   %cl,%cl
jne    1620 <Q_replace+0x500>
mov    0x0(%r13),%al
test   %al,%al
je     1600 <Q_replace+0x4e0>
mov    0x10(%rsp),%rcx
nopl   (%rax)
mov    %al,(%rbx)
add    $0x1,%rbx
movzbl (%rcx),%eax
add    $0x1,%rcx
test   %al,%al
jne    1640 <Q_replace+0x520>
jmp    1600 <Q_replace+0x4e0>

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

LLVM IR (-O2):
define i32 @Q_replace(i8* %0, i8* %1, i8* %2, i32 %3) {
%5 = ptrtoint i8* %2 to i64
%6 = tail call i8* @strstr(i8* dereferenceable(1) %2, i8* dereferenceable(1) %0)
%7 = icmp eq i8* %6, null
br i1 %7, label %277, label %8
8: ; preds = %4
%9 = tail call i32 @strlen(i8* %0)
%10 = tail call i32 @strlen(i8* %1)
%11 = sub nsw i32 %10, %9
%12 = icmp sgt i32 %11, 0
br i1 %12, label %13, label %226
13: ; preds = %8
%14 = sext i32 %3 to i64
%15 = getelementptr inbounds i8, i8* %2, i64 %14
%16 = tail call i32 @strlen(i8* %2)
%17 = sext i32 %16 to i64
%18 = getelementptr inbounds i8, i8* %2, i64 %17
%19 = zext i32 %11 to i64
%20 = sext i32 %9 to i64
%21 = add i64 %5, %17
%22 = add i64 %21, -1
%23 = add nsw i64 %20, -1
%24 = add nsw i64 %17, %19
%25 = add nuw nsw i64 %19, 1
%26 = sub i64 %25, %5
%27 = getelementptr i8, i8* %2, i64 %26
%28 = add i64 %5, %17
%29 = add i64 %28, -1
%30 = add nsw i64 %20, -1
%31 = add nsw i64 %17, %19
%32 = add nsw i64 %31, 1
%33 = sub i64 1, %5
%34 = getelementptr i8, i8* %2, i64 %33
%35 = add nsw i64 %17, 1
%36 = add i64 %5, %17
%37 = add i64 %36, -1
%38 = add nsw i64 %20, -1
%39 = add nsw i64 %20, -1
br label %40
40: ; preds = %220, %13
%41 = phi i64 [ %225, %220 ], [ 0, %13 ]
%42 = phi i32 [ %223, %220 ], [ 0, %13 ]
%43 = phi i8* [ %64, %220 ], [ %18, %13 ]
%44 = phi i8* [ %222, %220 ], [ %6, %13 ]
%45 = mul i64 %41, %19
%46 = add i64 %36, %45
%47 = add i64 %37, %45
%48 = ptrtoint i8* %44 to i64
%49 = mul i64 %41, %19
%50 = add i64 %36, %49
%51 = add i64 %37, %49
%52 = ptrtoint i8* %44 to i64
%53 = mul i64 %41, %19
%54 = add i64 %29, %53
%55 = add i64 %32, %53
%56 = getelementptr i8, i8* %2, i64 %55
%57 = add i64 %35, %53
%58 = getelementptr i8, i8* %2, i64 %57
%59 = ptrtoint i8* %44 to i64
%60 = mul i64 %41, %19
%61 = add i64 %22, %60
%62 = add i64 %24, %60
%63 = getelementptr i8, i8* %2, i64 %62
%64 = getelementptr inbounds i8, i8* %43, i64 %19
%65 = icmp ult i8* %64, %15
br i1 %65, label %66, label %277
66: ; preds = %40
%67 = getelementptr inbounds i8, i8* %44, i64 %20
%68 = icmp ult i8* %43, %67
br i1 %68, label %202, label %69
69: ; preds = %66
%70 = add i64 %38, %52
%71 = call i64 @llvm.umin.i64(i64 %51, i64 %70)
%72 = sub i64 %50, %71
%73 = icmp ult i64 %72, 4
br i1 %73, label %199, label %74
74: ; preds = %69
%75 = add i64 %23, %59
%76 = call i64 @llvm.umin.i64(i64 %61, i64 %75)
%77 = sub i64 %61, %76
%78 = sub i64 0, %77
%79 = getelementptr i8, i8* %63, i64 %78
%80 = icmp ugt i8* %79, %63
%81 = sub i64 0, %77
%82 = getelementptr i8, i8* %43, i64 %81
%83 = icmp ugt i8* %82, %43
%84 = or i1 %80, %83
br i1 %84, label %199, label %85
85: ; preds = %74
%86 = add i64 %30, %59
%87 = call i64 @llvm.umin.i64(i64 %54, i64 %86)
%88 = getelementptr i8, i8* %27, i64 %87
%89 = getelementptr i8, i8* %34, i64 %87
%90 = icmp ult i8* %88, %58
%91 = icmp ult i8* %89, %56
%92 = and i1 %90, %91
br i1 %92, label %199, label %93
93: ; preds = %85
%94 = icmp ult i64 %72, 16
br i1 %94, label %174, label %95
95: ; preds = %93
%96 = and i64 %72, -16
%97 = add i64 %96, -16
%98 = lshr exact i64 %97, 4
%99 = add nuw nsw i64 %98, 1
%100 = and i64 %99, 3
%101 = icmp ult i64 %97, 48
br i1 %101, label %146, label %102
102: ; preds = %95
%103 = and i64 %99, 2305843009213693948
%104 = getelementptr i8, i8* %64, i64 -15
%105 = getelementptr i8, i8* %43, i64 -15
%106 = getelementptr i8, i8* %64, i64 -15
%107 = getelementptr i8, i8* %43, i64 -15
%108 = getelementptr i8, i8* %64, i64 -15
%109 = getelementptr i8, i8* %43, i64 -15
%110 = getelementptr i8, i8* %64, i64 -15
%111 = getelementptr i8, i8* %43, i64 -15
br label %112
112: ; preds = %112, %102
%113 = phi i64 [ 0, %102 ], [ %143, %112 ]
%114 = phi i64 [ 0, %102 ], [ %144, %112 ]
%115 = sub i64 0, %113
%116 = sub i64 0, %113
%117 = getelementptr i8, i8* %105, i64 %116
%118 = bitcast i8* %117 to <16 x i8>*
%119 = load <16 x i8>, <16 x i8>* %118
%120 = getelementptr i8, i8* %104, i64 %115
%121 = bitcast i8* %120 to <16 x i8>*
store <16 x i8> %119, <16 x i8>* %121
%122 = sub nuw nsw i64 -16, %113
%123 = sub nuw nsw i64 -16, %113
%124 = getelementptr i8, i8* %107, i64 %123
%125 = bitcast i8* %124 to <16 x i8>*
%126 = load <16 x i8>, <16 x i8>* %125
%127 = getelementptr i8, i8* %106, i64 %122
%128 = bitcast i8* %127 to <16 x i8>*
store <16 x i8> %126, <16 x i8>* %128
%129 = sub nuw nsw i64 -32, %113
%130 = sub nuw nsw i64 -32, %113
%131 = getelementptr i8, i8* %109, i64 %130
%132 = bitcast i8* %131 to <16 x i8>*
%133 = load <16 x i8>, <16 x i8>* %132
%134 = getelementptr i8, i8* %108, i64 %129
%135 = bitcast i8* %134 to <16 x i8>*
store <16 x i8> %133, <16 x i8>* %135
%136 = sub nuw nsw i64 -48, %113
%137 = sub nuw nsw i64 -48, %113
%138 = getelementptr i8, i8* %111, i64 %137
%139 = bitcast i8* %138 to <16 x i8>*
%140 = load <16 x i8>, <16 x i8>* %139
%141 = getelementptr i8, i8* %110, i64 %136
%142 = bitcast i8* %141 to <16 x i8>*
store <16 x i8> %140, <16 x i8>* %142
%143 = add nuw i64 %113, 64
%144 = add i64 %114, 4
%145 = icmp eq i64 %144, %103
br i1 %145, label %146, label %112
146: ; preds = %112, %95
%147 = phi i64 [ 0, %95 ], [ %143, %112 ]
%148 = icmp eq i64 %100, 0
br i1 %148, label %165, label %149
149: ; preds = %146
%150 = getelementptr i8, i8* %64, i64 -15
%151 = getelementptr i8, i8* %43, i64 -15
br label %152
152: ; preds = %152, %149
%153 = phi i64 [ %147, %149 ], [ %162, %152 ]
%154 = phi i64 [ 0, %149 ], [ %163, %152 ]
%155 = sub i64 0, %153
%156 = sub i64 0, %153
%157 = getelementptr i8, i8* %151, i64 %156
%158 = bitcast i8* %157 to <16 x i8>*
%159 = load <16 x i8>, <16 x i8>* %158
%160 = getelementptr i8, i8* %150, i64 %155
%161 = bitcast i8* %160 to <16 x i8>*
store <16 x i8> %159, <16 x i8>* %161
%162 = add nuw i64 %153, 16
%163 = add i64 %154, 1
%164 = icmp eq i64 %163, %100
br i1 %164, label %165, label %152
165: ; preds = %152, %146
%166 = icmp eq i64 %72, %96
br i1 %166, label %202, label %167
167: ; preds = %165
%168 = sub i64 0, %96
%169 = getelementptr i8, i8* %43, i64 %168
%170 = sub i64 0, %96
%171 = getelementptr i8, i8* %64, i64 %170
%172 = and i64 %72, 12
%173 = icmp eq i64 %172, 0
br i1 %173, label %199, label %174
174: ; preds = %93, %167
%175 = phi i64 [ %96, %167 ], [ 0, %93 ]
%176 = add i64 %39, %48
%177 = call i64 @llvm.umin.i64(i64 %47, i64 %176)
%178 = sub i64 %46, %177
%179 = and i64 %178, -4
%180 = sub i64 0, %179
%181 = getelementptr i8, i8* %64, i64 %180
%182 = sub i64 0, %179
%183 = getelementptr i8, i8* %43, i64 %182
%184 = getelementptr i8, i8* %64, i64 -3
%185 = getelementptr i8, i8* %43, i64 -3
br label %186
186: ; preds = %186, %174
%187 = phi i64 [ %175, %174 ], [ %195, %186 ]
%188 = sub i64 0, %187
%189 = sub i64 0, %187
%190 = getelementptr i8, i8* %185, i64 %189
%191 = bitcast i8* %190 to <4 x i8>*
%192 = load <4 x i8>, <4 x i8>* %191
%193 = getelementptr i8, i8* %184, i64 %188
%194 = bitcast i8* %193 to <4 x i8>*
store <4 x i8> %192, <4 x i8>* %194
%195 = add nuw i64 %187, 4
%196 = icmp eq i64 %195, %179
br i1 %196, label %197, label %186
197: ; preds = %186
%198 = icmp eq i64 %178, %179
br i1 %198, label %202, label %199
199: ; preds = %85, %74, %69, %167, %197
%200 = phi i8* [ %64, %69 ], [ %64, %85 ], [ %64, %74 ], [ %171, %167 ], [ %181, %197 ]
%201 = phi i8* [ %43, %69 ], [ %43, %85 ], [ %43, %74 ], [ %169, %167 ], [ %183, %197 ]
br label %205
202: ; preds = %205, %165, %197, %66
%203 = load i8, i8* %1
%204 = icmp eq i8 %203, 0
br i1 %204, label %220, label %212
205: ; preds = %199, %205
%206 = phi i8* [ %210, %205 ], [ %200, %199 ]
%207 = phi i8* [ %208, %205 ], [ %201, %199 ]
%208 = getelementptr inbounds i8, i8* %207, i64 -1
%209 = load i8, i8* %207
%210 = getelementptr inbounds i8, i8* %206, i64 -1
store i8 %209, i8* %206
%211 = icmp ult i8* %208, %67
br i1 %211, label %202, label %205
212: ; preds = %202, %212
%213 = phi i8 [ %218, %212 ], [ %203, %202 ]
%214 = phi i8* [ %217, %212 ], [ %44, %202 ]
%215 = phi i8* [ %216, %212 ], [ %1, %202 ]
%216 = getelementptr inbounds i8, i8* %215, i64 1
%217 = getelementptr inbounds i8, i8* %214, i64 1
store i8 %213, i8* %214
%218 = load i8, i8* %216
%219 = icmp eq i8 %218, 0
br i1 %219, label %220, label %212
220: ; preds = %212, %202
%221 = phi i8* [ %44, %202 ], [ %217, %212 ]
%222 = tail call i8* @strstr(i8* dereferenceable(1) %221, i8* dereferenceable(1) %0)
%223 = add nuw nsw i32 %42, 1
%224 = icmp eq i8* %222, null
%225 = add i64 %41, 1
br i1 %224, label %277, label %40
226: ; preds = %8
%227 = icmp slt i32 %11, 0
br i1 %227, label %228, label %259
228: ; preds = %226
%229 = sext i32 %9 to i64
%230 = sext i32 %10 to i64
br label %231
231: ; preds = %228, %254
%232 = phi i32 [ %257, %254 ], [ 0, %228 ]
%233 = phi i8* [ %256, %254 ], [ %6, %228 ]
%234 = getelementptr inbounds i8, i8* %233, i64 %229
%235 = getelementptr inbounds i8, i8* %233, i64 %230
br label %236
236: ; preds = %236, %231
%237 = phi i8* [ %234, %231 ], [ %239, %236 ]
%238 = phi i8* [ %235, %231 ], [ %241, %236 ]
%239 = getelementptr inbounds i8, i8* %237, i64 1
%240 = load i8, i8* %237
%241 = getelementptr inbounds i8, i8* %238, i64 1
store i8 %240, i8* %238
%242 = icmp eq i8 %240, 0
br i1 %242, label %243, label %236
243: ; preds = %236
%244 = load i8, i8* %1
%245 = icmp eq i8 %244, 0
br i1 %245, label %254, label %246
246: ; preds = %243, %246
%247 = phi i8 [ %252, %246 ], [ %244, %243 ]
%248 = phi i8* [ %251, %246 ], [ %233, %243 ]
%249 = phi i8* [ %250, %246 ], [ %1, %243 ]
%250 = getelementptr inbounds i8, i8* %249, i64 1
%251 = getelementptr inbounds i8, i8* %248, i64 1
store i8 %247, i8* %248
%252 = load i8, i8* %250
%253 = icmp eq i8 %252, 0
br i1 %253, label %254, label %246
254: ; preds = %246, %243
%255 = phi i8* [ %233, %243 ], [ %251, %246 ]
%256 = tail call i8* @strstr(i8* dereferenceable(1) %255, i8* dereferenceable(1) %0)
%257 = add nuw nsw i32 %232, 1
%258 = icmp eq i8* %256, null
br i1 %258, label %277, label %231
259: ; preds = %226, %272
%260 = phi i32 [ %275, %272 ], [ 0, %226 ]
%261 = phi i8* [ %274, %272 ], [ %6, %226 ]
%262 = load i8, i8* %1
%263 = icmp eq i8 %262, 0
br i1 %263, label %272, label %264
264: ; preds = %259, %264
%265 = phi i8 [ %270, %264 ], [ %262, %259 ]
%266 = phi i8* [ %269, %264 ], [ %261, %259 ]
%267 = phi i8* [ %268, %264 ], [ %1, %259 ]
%268 = getelementptr inbounds i8, i8* %267, i64 1
%269 = getelementptr inbounds i8, i8* %266, i64 1
store i8 %265, i8* %266
%270 = load i8, i8* %268
%271 = icmp eq i8 %270, 0
br i1 %271, label %272, label %264
272: ; preds = %264, %259
%273 = phi i8* [ %261, %259 ], [ %269, %264 ]
%274 = tail call i8* @strstr(i8* dereferenceable(1) %273, i8* dereferenceable(1) %0)
%275 = add nuw nsw i32 %260, 1
%276 = icmp eq i8* %274, null
br i1 %276, label %277, label %259
277: ; preds = %272, %254, %220, %40, %4
%278 = phi i32 [ 0, %4 ], [ %223, %220 ], [ %42, %40 ], [ %257, %254 ], [ %275, %272 ]
ret i32 %278
}