#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 */
void new_str_xchg(char *dst, const char *src, const char *s1, const char *s2) {
  if (!src || !s1 || !s2 || !*s1 || !*s2)
    return;
  size_t i;
  while (*src) {
    for (i = 0; s1[i] == src[i] && s1[i];) {
      i++;
    }
    if (!s1[i]) {
      src += i;
      for (i = 0; s2[i]; i++)
        *dst++ = s2[i];
      continue;
    }
    *dst++ = *src++;
  }
  *dst = '\0';
}


x86 assembly (clang, -O0):
<new_str_xchg>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
cmpq   $0x0,-0x10(%rbp)
je     114f <new_str_xchg+0x4f>
cmpq   $0x0,-0x18(%rbp)
je     114f <new_str_xchg+0x4f>
cmpq   $0x0,-0x20(%rbp)
je     114f <new_str_xchg+0x4f>
mov    -0x18(%rbp),%rax
cmpb   $0x0,(%rax)
je     114f <new_str_xchg+0x4f>
mov    -0x20(%rbp),%rax
cmpb   $0x0,(%rax)
jne    1154 <new_str_xchg+0x54>
jmp    1261 <new_str_xchg+0x161>
jmp    1159 <new_str_xchg+0x59>
mov    -0x10(%rbp),%rax
cmpb   $0x0,(%rax)
je     125a <new_str_xchg+0x15a>
movq   $0x0,-0x28(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%ecx
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%rdx
movsbl (%rax,%rdx,1),%edx
xor    %eax,%eax
cmp    %edx,%ecx
mov    %al,-0x29(%rbp)
jne    11a8 <new_str_xchg+0xa8>
mov    -0x18(%rbp),%rax
mov    -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
setne  %al
mov    %al,-0x29(%rbp)
mov    -0x29(%rbp),%al
test   $0x1,%al
jne    11b8 <new_str_xchg+0xb8>
jmp    11c9 <new_str_xchg+0xc9>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    116e <new_str_xchg+0x6e>
mov    -0x18(%rbp),%rax
mov    -0x28(%rbp),%rcx
cmpb   $0x0,(%rax,%rcx,1)
jne    1233 <new_str_xchg+0x133>
mov    -0x28(%rbp),%rax
add    -0x10(%rbp),%rax
mov    %rax,-0x10(%rbp)
movq   $0x0,-0x28(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x28(%rbp),%rcx
cmpb   $0x0,(%rax,%rcx,1)
je     122e <new_str_xchg+0x12e>
mov    -0x20(%rbp),%rax
mov    -0x28(%rbp),%rcx
mov    (%rax,%rcx,1),%cl
mov    -0x8(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x8(%rbp)
mov    %cl,(%rax)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    11ef <new_str_xchg+0xef>
jmp    1159 <new_str_xchg+0x59>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
mov    (%rax),%cl
mov    -0x8(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x8(%rbp)
mov    %cl,(%rax)
jmp    1159 <new_str_xchg+0x59>
mov    -0x8(%rbp),%rax
movb   $0x0,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<new_str_xchg>:
push   %rbx
test   %rsi,%rsi
je     11d1 <new_str_xchg+0xd1>
test   %rdx,%rdx
je     11d1 <new_str_xchg+0xd1>
test   %rcx,%rcx
je     11d1 <new_str_xchg+0xd1>
cmpb   $0x0,(%rdx)
je     11d1 <new_str_xchg+0xd1>
cmpb   $0x0,(%rcx)
je     11d1 <new_str_xchg+0xd1>
mov    (%rsi),%r9b
test   %r9b,%r9b
je     11ce <new_str_xchg+0xce>
lea    0x1(%rcx),%r8
jmp    1153 <new_str_xchg+0x53>
add    $0x1,%rsi
mov    %r9b,(%rdi)
add    $0x1,%rdi
mov    (%rsi),%r9b
test   %r9b,%r9b
je     11ce <new_str_xchg+0xce>
mov    (%rdx),%al
test   %al,%al
sete   %r10b
je     11c0 <new_str_xchg+0xc0>
mov    $0x0,%r11d
cmp    %r9b,%al
jne    118a <new_str_xchg+0x8a>
xor    %eax,%eax
nopw   0x0(%rax,%rax,1)
movzbl 0x1(%rdx,%rax,1),%ebx
lea    0x1(%rax),%r11
test   %bl,%bl
sete   %r10b
je     118a <new_str_xchg+0x8a>
cmp    0x1(%rsi,%rax,1),%bl
mov    %r11,%rax
je     1170 <new_str_xchg+0x70>
test   %r10b,%r10b
je     1140 <new_str_xchg+0x40>
add    %r11,%rsi
mov    (%rcx),%r9b
test   %r9b,%r9b
je     114b <new_str_xchg+0x4b>
mov    %r8,%rax
nopl   (%rax)
mov    %r9b,(%rdi)
add    $0x1,%rdi
movzbl (%rax),%r9d
add    $0x1,%rax
test   %r9b,%r9b
jne    11a0 <new_str_xchg+0xa0>
jmp    114b <new_str_xchg+0x4b>
cs nopw 0x0(%rax,%rax,1)
xor    %r11d,%r11d
test   %r10b,%r10b
je     1140 <new_str_xchg+0x40>
jmp    118f <new_str_xchg+0x8f>
movb   $0x0,(%rdi)
pop    %rbx
ret

LLVM IR (-O0):
define void @new_str_xchg(i8* %0, i8* %1, i8* %2, i8* %3) {
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca i8*
%8 = alloca i8*
%9 = alloca i64
store i8* %0, i8** %5
store i8* %1, i8** %6
store i8* %2, i8** %7
store i8* %3, i8** %8
%10 = load i8*, i8** %6
%11 = icmp ne i8* %10, null
br i1 %11, label %12, label %26
12: ; preds = %4
%13 = load i8*, i8** %7
%14 = icmp ne i8* %13, null
br i1 %14, label %15, label %26
15: ; preds = %12
%16 = load i8*, i8** %8
%17 = icmp ne i8* %16, null
br i1 %17, label %18, label %26
18: ; preds = %15
%19 = load i8*, i8** %7
%20 = load i8, i8* %19
%21 = icmp ne i8 %20, 0
br i1 %21, label %22, label %26
22: ; preds = %18
%23 = load i8*, i8** %8
%24 = load i8, i8* %23
%25 = icmp ne i8 %24, 0
br i1 %25, label %27, label %26
26: ; preds = %22, %18, %15, %12, %4
br label %92
27: ; preds = %22
br label %28
28: ; preds = %84, %83, %27
%29 = load i8*, i8** %6
%30 = load i8, i8* %29
%31 = icmp ne i8 %30, 0
br i1 %31, label %32, label %90
32: ; preds = %28
store i64 0, i64* %9
br label %33
33: ; preds = %54, %32
%34 = load i8*, i8** %7
%35 = load i64, i64* %9
%36 = getelementptr inbounds i8, i8* %34, i64 %35
%37 = load i8, i8* %36
%38 = sext i8 %37 to i32
%39 = load i8*, i8** %6
%40 = load i64, i64* %9
%41 = getelementptr inbounds i8, i8* %39, i64 %40
%42 = load i8, i8* %41
%43 = sext i8 %42 to i32
%44 = icmp eq i32 %38, %43
br i1 %44, label %45, label %52
45: ; preds = %33
%46 = load i8*, i8** %7
%47 = load i64, i64* %9
%48 = getelementptr inbounds i8, i8* %46, i64 %47
%49 = load i8, i8* %48
%50 = sext i8 %49 to i32
%51 = icmp ne i32 %50, 0
br label %52
52: ; preds = %45, %33
%53 = phi i1 [ false, %33 ], [ %51, %45 ]
br i1 %53, label %54, label %57
54: ; preds = %52
%55 = load i64, i64* %9
%56 = add i64 %55, 1
store i64 %56, i64* %9
br label %33
57: ; preds = %52
%58 = load i8*, i8** %7
%59 = load i64, i64* %9
%60 = getelementptr inbounds i8, i8* %58, i64 %59
%61 = load i8, i8* %60
%62 = icmp ne i8 %61, 0
br i1 %62, label %84, label %63
63: ; preds = %57
%64 = load i64, i64* %9
%65 = load i8*, i8** %6
%66 = getelementptr inbounds i8, i8* %65, i64 %64
store i8* %66, i8** %6
store i64 0, i64* %9
br label %67
67: ; preds = %80, %63
%68 = load i8*, i8** %8
%69 = load i64, i64* %9
%70 = getelementptr inbounds i8, i8* %68, i64 %69
%71 = load i8, i8* %70
%72 = icmp ne i8 %71, 0
br i1 %72, label %73, label %83
73: ; preds = %67
%74 = load i8*, i8** %8
%75 = load i64, i64* %9
%76 = getelementptr inbounds i8, i8* %74, i64 %75
%77 = load i8, i8* %76
%78 = load i8*, i8** %5
%79 = getelementptr inbounds i8, i8* %78, i32 1
store i8* %79, i8** %5
store i8 %77, i8* %78
br label %80
80: ; preds = %73
%81 = load i64, i64* %9
%82 = add i64 %81, 1
store i64 %82, i64* %9
br label %67
83: ; preds = %67
br label %28
84: ; preds = %57
%85 = load i8*, i8** %6
%86 = getelementptr inbounds i8, i8* %85, i32 1
store i8* %86, i8** %6
%87 = load i8, i8* %85
%88 = load i8*, i8** %5
%89 = getelementptr inbounds i8, i8* %88, i32 1
store i8* %89, i8** %5
store i8 %87, i8* %88
br label %28
90: ; preds = %28
%91 = load i8*, i8** %5
store i8 0, i8* %91
br label %92
92: ; preds = %90, %26
ret void
}

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