#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 dl;
scalar_t__ isspace(char);
int /*<<< orphan*/ strcpy(char *, char *);
int strlen(char *);
int /*<<< orphan*/ strncpy(char *, char *, int);
char *strstr(char *, char *);
int copy_search(char *in, char *out, int sz, char *domain) {
  int found = 0;
  char *s;
  char *t;
  char *d;
  int dl = dl = strlen(domain);
  if (((s = strstr(in, "search ")) == in) && s == in) {
    if (strlen(in) < sz - 1 - dl) {
      s = s + 6;
      t = out;
      d = strstr(s, domain);
      if (!d) {
        strcpy(t, s);
      } else {
        if (isspace(d[-1]) && (d[dl] == '\0' || isspace(d[dl]))) {
          s++;
          strncpy(t, s, d - s);
          t += d - s;
          s += d - s + dl + 1;
          strcpy(t, s);
        } else {
          strcpy(t, s);
        }
      }
    } else {
      strcpy(out, in);
    }
    out[sz - 1] = '\0';
    found = 1;
  }
  return found;
}


x86 assembly (clang, -O0):
<copy_search>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %rcx,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x20(%rbp),%rdi
call   1050 <strlen@plt>
mov    %eax,-0x44(%rbp)
mov    %eax,-0x44(%rbp)
mov    -0x8(%rbp),%rdi
lea    0xe78(%rip),%rsi
call   1070 <strstr@plt>
mov    %rax,-0x30(%rbp)
cmp    -0x8(%rbp),%rax
jne    12f1 <copy_search+0x1a1>
mov    -0x30(%rbp),%rax
cmp    -0x8(%rbp),%rax
jne    12f1 <copy_search+0x1a1>
mov    -0x8(%rbp),%rdi
call   1050 <strlen@plt>
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
sub    -0x44(%rbp),%ecx
cmp    %ecx,%eax
jge    12cc <copy_search+0x17c>
mov    -0x30(%rbp),%rax
add    $0x6,%rax
mov    %rax,-0x30(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x30(%rbp),%rdi
mov    -0x20(%rbp),%rsi
call   1070 <strstr@plt>
mov    %rax,-0x40(%rbp)
cmpq   $0x0,-0x40(%rbp)
jne    1205 <copy_search+0xb5>
mov    -0x38(%rbp),%rdi
mov    -0x30(%rbp),%rsi
call   1040 <strcpy@plt>
jmp    12c7 <copy_search+0x177>
mov    -0x40(%rbp),%rax
movsbl -0x1(%rax),%edi
call   1060 <isspace@plt>
cmp    $0x0,%rax
je     12b5 <copy_search+0x165>
mov    -0x40(%rbp),%rax
movslq -0x44(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     124c <copy_search+0xfc>
mov    -0x40(%rbp),%rax
movslq -0x44(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1060 <isspace@plt>
cmp    $0x0,%rax
je     12b5 <copy_search+0x165>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
mov    -0x38(%rbp),%rdi
mov    -0x30(%rbp),%rsi
mov    -0x40(%rbp),%rax
mov    -0x30(%rbp),%rcx
sub    %rcx,%rax
mov    %eax,%edx
call   1030 <strncpy@plt>
mov    -0x40(%rbp),%rax
mov    -0x30(%rbp),%rcx
sub    %rcx,%rax
add    -0x38(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x40(%rbp),%rax
mov    -0x30(%rbp),%rcx
sub    %rcx,%rax
movslq -0x44(%rbp),%rcx
add    %rcx,%rax
add    $0x1,%rax
add    -0x30(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x38(%rbp),%rdi
mov    -0x30(%rbp),%rsi
call   1040 <strcpy@plt>
jmp    12c2 <copy_search+0x172>
mov    -0x38(%rbp),%rdi
mov    -0x30(%rbp),%rsi
call   1040 <strcpy@plt>
jmp    12c7 <copy_search+0x177>
jmp    12d9 <copy_search+0x189>
mov    -0x10(%rbp),%rdi
mov    -0x8(%rbp),%rsi
call   1040 <strcpy@plt>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movb   $0x0,(%rax,%rcx,1)
movl   $0x1,-0x24(%rbp)
mov    -0x24(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<copy_search>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rcx,%rbp
mov    %edx,%r12d
mov    %rsi,%r14
mov    %rdi,%r13
mov    %rcx,%rdi
call   1060 <strlen@plt>
mov    %eax,%r15d
lea    0xe77(%rip),%rbx
mov    %rbx,%rdi
call   1060 <strlen@plt>
mov    %r13,%rdi
mov    %rbx,%rsi
mov    %rax,%rdx
call   1040 <strncmp@plt>
mov    %eax,%ecx
xor    %eax,%eax
test   %ecx,%ecx
jne    1240 <copy_search+0xe0>
mov    %r13,%rdi
call   1060 <strlen@plt>
movslq %r12d,%rbx
add    $0xffffffffffffffff,%rbx
mov    %ebx,%ecx
sub    %r15d,%ecx
cmp    %ecx,%eax
jge    1223 <copy_search+0xc3>
lea    0x6(%r13),%r12
mov    %r12,%rdi
mov    %rbp,%rsi
call   1080 <strstr@plt>
test   %rax,%rax
je     122b <copy_search+0xcb>
mov    %rax,%rbp
movsbl -0x1(%rax),%edi
call   1070 <isspace@plt>
test   %rax,%rax
je     122b <copy_search+0xcb>
movslq %r15d,%r15
mov    0x0(%rbp,%r15,1),%al
test   %al,%al
je     1201 <copy_search+0xa1>
movsbl %al,%edi
call   1070 <isspace@plt>
test   %rax,%rax
je     122b <copy_search+0xcb>
lea    0x7(%r13),%rsi
sub    %rsi,%rbp
mov    %r14,%rdi
mov    %ebp,%edx
call   1030 <strncpy@plt>
lea    (%r14,%rbp,1),%rdi
add    %rbp,%r15
lea    (%r15,%r13,1),%rsi
add    $0x8,%rsi
jmp    1231 <copy_search+0xd1>
mov    %r14,%rdi
mov    %r13,%rsi
jmp    1231 <copy_search+0xd1>
mov    %r14,%rdi
mov    %r12,%rsi
call   1050 <strcpy@plt>
movb   $0x0,(%r14,%rbx,1)
mov    $0x1,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@.str = [8 x i8] c"search \00"
@dl = global i32 0
define i32 @copy_search(i8* %0, i8* %1, i32 %2, i8* %3) {
%5 = tail call i32 @strlen(i8* %3)
%6 = call i64 bitcast (i32 (i8*)* @strlen to i64 (i8*)*)(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str, i64 0, i64 0))
%7 = call i32 @strncmp(i8* %0, i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str, i64 0, i64 0), i64 %6)
%8 = icmp eq i32 %7, 0
br i1 %8, label %9, label %52
9: ; preds = %4
%10 = tail call i32 @strlen(i8* %0)
%11 = add nsw i32 %2, -1
%12 = sub nsw i32 %11, %5
%13 = icmp slt i32 %10, %12
br i1 %13, label %14, label %47
14: ; preds = %9
%15 = getelementptr inbounds i8, i8* %0, i64 6
%16 = tail call i8* @strstr(i8* %15, i8* dereferenceable(1) %3)
%17 = icmp eq i8* %16, null
br i1 %17, label %18, label %20
18: ; preds = %14
%19 = tail call i32 @strcpy(i8* %1, i8* %15)
br label %49
20: ; preds = %14
%21 = getelementptr inbounds i8, i8* %16, i64 -1
%22 = load i8, i8* %21
%23 = tail call i64 @isspace(i8 signext %22)
%24 = icmp eq i64 %23, 0
br i1 %24, label %45, label %25
25: ; preds = %20
%26 = sext i32 %5 to i64
%27 = getelementptr inbounds i8, i8* %16, i64 %26
%28 = load i8, i8* %27
%29 = icmp eq i8 %28, 0
br i1 %29, label %33, label %30
30: ; preds = %25
%31 = tail call i64 @isspace(i8 signext %28)
%32 = icmp eq i64 %31, 0
br i1 %32, label %45, label %33
33: ; preds = %30, %25
%34 = getelementptr inbounds i8, i8* %0, i64 7
%35 = ptrtoint i8* %16 to i64
%36 = ptrtoint i8* %34 to i64
%37 = sub i64 %35, %36
%38 = trunc i64 %37 to i32
%39 = tail call i32 @strncpy(i8* %1, i8* %34, i32 %38)
%40 = getelementptr inbounds i8, i8* %1, i64 %37
%41 = add nsw i64 %26, 1
%42 = add i64 %41, %37
%43 = getelementptr inbounds i8, i8* %34, i64 %42
%44 = tail call i32 @strcpy(i8* %40, i8* %43)
br label %49
45: ; preds = %30, %20
%46 = tail call i32 @strcpy(i8* %1, i8* %15)
br label %49
47: ; preds = %9
%48 = tail call i32 @strcpy(i8* %1, i8* %0)
br label %49
49: ; preds = %18, %45, %33, %47
%50 = sext i32 %11 to i64
%51 = getelementptr inbounds i8, i8* %1, i64 %50
store i8 0, i8* %51
br label %52
52: ; preds = %49, %4
%53 = phi i32 [ 1, %49 ], [ 0, %4 ]
ret i32 %53
}