#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*/ printf(char *, ...);
scalar_t__ search(char *, char);
int strlen(char *);
void del(char *p, char c) {
  const int length = strlen(p);
  if (search(p, c) == 0)
    printf("Not found %c in \"%s\"", c, p);
  else {
    while (search(p, c) != 0) {
      for (int i = 0; p[i] != '\0'; i++) {
        if (p[i] == c) {
          for (int j = i; j < length; j++)
            p[j] = p[j + 1];
        }
      }
    }
    printf("%s", p);
  }
}


x86 assembly (clang, -O0):
<del>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %sil,%al
mov    %rdi,-0x8(%rbp)
mov    %al,-0x9(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x10(%rbp)
mov    -0x8(%rbp),%rdi
movsbl -0x9(%rbp),%esi
call   1050 <search@plt>
cmp    $0x0,%rax
jne    1180 <del+0x50>
movsbl -0x9(%rbp),%esi
mov    -0x8(%rbp),%rdx
lea    0xe8c(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
jmp    123a <del+0x10a>
jmp    1185 <del+0x55>
mov    -0x8(%rbp),%rdi
movsbl -0x9(%rbp),%esi
call   1050 <search@plt>
cmp    $0x0,%rax
je     1228 <del+0xf8>
movl   $0x0,-0x14(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     1223 <del+0xf3>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
movsbl -0x9(%rbp),%ecx
cmp    %ecx,%eax
jne    1210 <del+0xe0>
mov    -0x14(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    120b <del+0xdb>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    11d6 <del+0xa6>
jmp    1210 <del+0xe0>
jmp    1215 <del+0xe5>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    11a3 <del+0x73>
jmp    1185 <del+0x55>
mov    -0x8(%rbp),%rsi
lea    0xde2(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<del>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %esi,%r12d
mov    %rdi,%rbx
call   1030 <strlen@plt>
mov    %eax,%r15d
mov    %rbx,%rdi
mov    %r12d,%esi
call   1050 <search@plt>
test   %rax,%rax
je     1348 <del+0x218>
movsbl %r12b,%esi
mov    %rbx,%rdi
mov    %esi,0xc(%rsp)
call   1050 <search@plt>
test   %rax,%rax
je     1329 <del+0x1f9>
movslq %r15d,%r15
mov    %r15d,%ebp
lea    0x31(%rbx),%rax
mov    %rax,0x20(%rsp)
lea    -0x20(%rbp),%rax
mov    %rax,0x18(%rsp)
lea    0x1(%rbx),%rax
mov    %rax,0x10(%rsp)
jmp    11b5 <del+0x85>
nopl   0x0(%rax)
mov    %rbx,%rdi
mov    0xc(%rsp),%esi
call   1050 <search@plt>
test   %rax,%rax
je     1329 <del+0x1f9>
mov    (%rbx),%dl
test   %dl,%dl
je     11a0 <del+0x70>
mov    0x10(%rsp),%rax
mov    %rbp,%r11
mov    0x18(%rsp),%r9
mov    0x20(%rsp),%rsi
xor    %r13d,%r13d
jmp    11fd <del+0xcd>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    0x1(%rbx,%r13,1),%dl
add    $0x1,%r13
add    $0x1,%rsi
add    $0xffffffffffffffff,%r9
add    $0xffffffffffffffff,%r11
add    $0x1,%rax
test   %dl,%dl
je     11a0 <del+0x70>
cmp    %r12b,%dl
jne    11e0 <del+0xb0>
cmp    %r15,%r13
jge    11e0 <del+0xb0>
mov    %rbp,%r8
sub    %r13,%r8
mov    %r13,%rcx
cmp    $0x8,%r8
jb     1310 <del+0x1e0>
cmp    $0x20,%r8
jae    1227 <del+0xf7>
xor    %edx,%edx
jmp    12c3 <del+0x193>
lea    -0x20(%r8),%rcx
mov    %rcx,%r10
shr    $0x5,%r10
add    $0x1,%r10
cmp    $0x20,%rcx
jae    1240 <del+0x110>
xor    %ecx,%ecx
jmp    1291 <del+0x161>
mov    %r9,%rdx
shr    $0x5,%rdx
add    $0x1,%rdx
and    $0xfffffffffffffffe,%rdx
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movups -0x30(%rsi,%rcx,1),%xmm0
movups -0x20(%rsi,%rcx,1),%xmm1
movups -0x10(%rsi,%rcx,1),%xmm2
movups (%rsi,%rcx,1),%xmm3
movups %xmm0,-0x31(%rsi,%rcx,1)
movups %xmm1,-0x21(%rsi,%rcx,1)
movups %xmm2,-0x11(%rsi,%rcx,1)
movups %xmm3,-0x1(%rsi,%rcx,1)
add    $0x40,%rcx
add    $0xfffffffffffffffe,%rdx
jne    1260 <del+0x130>
mov    %r8,%rdx
and    $0xffffffffffffffe0,%rdx
test   $0x1,%r10b
je     12b4 <del+0x184>
add    %r13,%rcx
movups 0x1(%rbx,%rcx,1),%xmm0
movups 0x11(%rbx,%rcx,1),%xmm1
movups %xmm0,(%rbx,%rcx,1)
movups %xmm1,0x10(%rbx,%rcx,1)
cmp    %rdx,%r8
je     11e0 <del+0xb0>
test   $0x18,%r8b
je     12fc <del+0x1cc>
mov    %r11,%rdi
and    $0xfffffffffffffff8,%rdi
mov    %r8,%r10
and    $0xfffffffffffffff8,%r10
lea    (%r10,%r13,1),%rcx
cs nopw 0x0(%rax,%rax,1)
nop
mov    (%rax,%rdx,1),%r14
mov    %r14,-0x1(%rax,%rdx,1)
add    $0x8,%rdx
cmp    %rdx,%rdi
jne    12e0 <del+0x1b0>
cmp    %r10,%r8
jne    1310 <del+0x1e0>
jmp    11e0 <del+0xb0>
add    %r13,%rdx
mov    %rdx,%rcx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movzbl 0x1(%rbx,%rcx,1),%edx
mov    %dl,(%rbx,%rcx,1)
lea    0x1(%rcx),%rdx
mov    %rdx,%rcx
cmp    %rdx,%rbp
jne    1310 <del+0x1e0>
jmp    11e0 <del+0xb0>
lea    0xce5(%rip),%rdi
mov    %rbx,%rsi
xor    %eax,%eax
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1040 <printf@plt>
movsbl %r12b,%esi
lea    0xcad(%rip),%rdi
mov    %rbx,%rdx
xor    %eax,%eax
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1040 <printf@plt>

LLVM IR (-O0):
@.str = [21 x i8] c"Not found %c in \22%s\22\00"
@.str.1 = [3 x i8] c"%s\00"
define void @del(i8* %0, i8 signext %1) {
%3 = alloca i8*
%4 = alloca i8
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
store i8* %0, i8** %3
store i8 %1, i8* %4
%8 = load i8*, i8** %3
%9 = call i32 @strlen(i8* %8)
store i32 %9, i32* %5
%10 = load i8*, i8** %3
%11 = load i8, i8* %4
%12 = call i64 @search(i8* %10, i8 signext %11)
%13 = icmp eq i64 %12, 0
br i1 %13, label %14, label %19
14: ; preds = %2
%15 = load i8, i8* %4
%16 = sext i8 %15 to i32
%17 = load i8*, i8** %3
%18 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str, i64 0, i64 0), i32 %16, i8* %17)
br label %73
19: ; preds = %2
br label %20
20: ; preds = %69, %19
%21 = load i8*, i8** %3
%22 = load i8, i8* %4
%23 = call i64 @search(i8* %21, i8 signext %22)
%24 = icmp ne i64 %23, 0
br i1 %24, label %25, label %70
25: ; preds = %20
store i32 0, i32* %6
br label %26
26: ; preds = %66, %25
%27 = load i8*, i8** %3
%28 = load i32, i32* %6
%29 = sext i32 %28 to i64
%30 = getelementptr inbounds i8, i8* %27, i64 %29
%31 = load i8, i8* %30
%32 = sext i8 %31 to i32
%33 = icmp ne i32 %32, 0
br i1 %33, label %34, label %69
34: ; preds = %26
%35 = load i8*, i8** %3
%36 = load i32, i32* %6
%37 = sext i32 %36 to i64
%38 = getelementptr inbounds i8, i8* %35, i64 %37
%39 = load i8, i8* %38
%40 = sext i8 %39 to i32
%41 = load i8, i8* %4
%42 = sext i8 %41 to i32
%43 = icmp eq i32 %40, %42
br i1 %43, label %44, label %65
44: ; preds = %34
%45 = load i32, i32* %6
store i32 %45, i32* %7
br label %46
46: ; preds = %61, %44
%47 = load i32, i32* %7
%48 = load i32, i32* %5
%49 = icmp slt i32 %47, %48
br i1 %49, label %50, label %64
50: ; preds = %46
%51 = load i8*, i8** %3
%52 = load i32, i32* %7
%53 = add nsw i32 %52, 1
%54 = sext i32 %53 to i64
%55 = getelementptr inbounds i8, i8* %51, i64 %54
%56 = load i8, i8* %55
%57 = load i8*, i8** %3
%58 = load i32, i32* %7
%59 = sext i32 %58 to i64
%60 = getelementptr inbounds i8, i8* %57, i64 %59
store i8 %56, i8* %60
br label %61
61: ; preds = %50
%62 = load i32, i32* %7
%63 = add nsw i32 %62, 1
store i32 %63, i32* %7
br label %46
64: ; preds = %46
br label %65
65: ; preds = %64, %34
br label %66
66: ; preds = %65
%67 = load i32, i32* %6
%68 = add nsw i32 %67, 1
store i32 %68, i32* %6
br label %26
69: ; preds = %26
br label %20
70: ; preds = %20
%71 = load i8*, i8** %3
%72 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0), i8* %71)
br label %73
73: ; preds = %70, %14
ret void
}

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