#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 */
size_t strlen(char const *);
int contains(char const *str, char c) {
  int count;
  size_t i;
  size_t len = strlen(str);
  count = 0;
  for (i = 0; i < len; i++) {
    if (str[i] == c) {
      count++;
    }
  }
  return count;
}


x86 assembly (clang, -O0):
<contains>:
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    %rax,-0x20(%rbp)
movl   $0x0,-0x10(%rbp)
movq   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%rax
cmp    -0x20(%rbp),%rax
jae    1183 <contains+0x73>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
movsbl -0x9(%rbp),%ecx
cmp    %ecx,%eax
jne    116d <contains+0x5d>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1172 <contains+0x62>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    113e <contains+0x2e>
mov    -0x10(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<contains>:
push   %rbp
push   %rbx
push   %rax
mov    %esi,%ebp
mov    %rdi,%rbx
call   1030 <strlen@plt>
test   %rax,%rax
je     1131 <contains+0x21>
cmp    $0x8,%rax
jae    1138 <contains+0x28>
xor    %ecx,%ecx
xor    %edx,%edx
jmp    126e <contains+0x15e>
xor    %ecx,%ecx
jmp    1283 <contains+0x173>
mov    %rax,%rdx
and    $0xfffffffffffffff8,%rdx
movzbl %bpl,%ecx
movd   %ecx,%xmm0
punpcklbw %xmm0,%xmm0
pshuflw $0x0,%xmm0,%xmm0
lea    -0x8(%rdx),%rsi
mov    %rsi,%rcx
shr    $0x3,%rcx
add    $0x1,%rcx
test   %rsi,%rsi
je     125d <contains+0x14d>
mov    %rcx,%rdi
and    $0xfffffffffffffffe,%rdi
pxor   %xmm1,%xmm1
xor    %esi,%esi
movdqa 0xe83(%rip),%xmm3
pxor   %xmm2,%xmm2
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movd   (%rbx,%rsi,1),%xmm5
movd   0x4(%rbx,%rsi,1),%xmm4
pcmpeqb %xmm0,%xmm5
punpcklbw %xmm5,%xmm5
punpcklwd %xmm5,%xmm5
pand   %xmm3,%xmm5
paddd  %xmm1,%xmm5
pcmpeqb %xmm0,%xmm4
punpcklbw %xmm4,%xmm4
punpcklwd %xmm4,%xmm4
pand   %xmm3,%xmm4
paddd  %xmm2,%xmm4
movd   0x8(%rbx,%rsi,1),%xmm1
movd   0xc(%rbx,%rsi,1),%xmm2
pcmpeqb %xmm0,%xmm1
punpcklbw %xmm1,%xmm1
punpcklwd %xmm1,%xmm1
pand   %xmm3,%xmm1
paddd  %xmm5,%xmm1
pcmpeqb %xmm0,%xmm2
punpcklbw %xmm2,%xmm2
punpcklwd %xmm2,%xmm2
pand   %xmm3,%xmm2
paddd  %xmm4,%xmm2
add    $0x10,%rsi
add    $0xfffffffffffffffe,%rdi
jne    1190 <contains+0x80>
test   $0x1,%cl
je     1241 <contains+0x131>
movd   (%rbx,%rsi,1),%xmm3
movd   0x4(%rbx,%rsi,1),%xmm4
pcmpeqb %xmm0,%xmm3
punpcklbw %xmm3,%xmm3
punpcklwd %xmm3,%xmm3
movdqa 0xddb(%rip),%xmm5
pand   %xmm5,%xmm3
paddd  %xmm3,%xmm1
pcmpeqb %xmm0,%xmm4
punpcklbw %xmm4,%xmm4
punpcklwd %xmm4,%xmm4
pand   %xmm5,%xmm4
paddd  %xmm4,%xmm2
paddd  %xmm2,%xmm1
pshufd $0xee,%xmm1,%xmm0
paddd  %xmm1,%xmm0
pshufd $0x55,%xmm0,%xmm1
paddd  %xmm0,%xmm1
movd   %xmm1,%ecx
jmp    127e <contains+0x16e>
pxor   %xmm1,%xmm1
xor    %esi,%esi
pxor   %xmm2,%xmm2
test   $0x1,%cl
jne    1206 <contains+0xf6>
jmp    1241 <contains+0x131>
xor    %esi,%esi
cmp    %bpl,(%rbx,%rdx,1)
sete   %sil
add    %esi,%ecx
add    $0x1,%rdx
cmp    %rdx,%rax
jne    126e <contains+0x15e>
mov    %ecx,%eax
add    $0x8,%rsp
pop    %rbx
pop    %rbp
ret

LLVM IR (-O0):
define i32 @contains(i8* %0, i8 signext %1) {
%3 = alloca i8*
%4 = alloca i8
%5 = alloca i32
%6 = alloca i64
%7 = alloca i64
store i8* %0, i8** %3
store i8 %1, i8* %4
%8 = load i8*, i8** %3
%9 = call i64 @strlen(i8* %8)
store i64 %9, i64* %7
store i32 0, i32* %5
store i64 0, i64* %6
br label %10
10: ; preds = %27, %2
%11 = load i64, i64* %6
%12 = load i64, i64* %7
%13 = icmp ult i64 %11, %12
br i1 %13, label %14, label %30
14: ; preds = %10
%15 = load i8*, i8** %3
%16 = load i64, i64* %6
%17 = getelementptr inbounds i8, i8* %15, i64 %16
%18 = load i8, i8* %17
%19 = sext i8 %18 to i32
%20 = load i8, i8* %4
%21 = sext i8 %20 to i32
%22 = icmp eq i32 %19, %21
br i1 %22, label %23, label %26
23: ; preds = %14
%24 = load i32, i32* %5
%25 = add nsw i32 %24, 1
store i32 %25, i32* %5
br label %26
26: ; preds = %23, %14
br label %27
27: ; preds = %26
%28 = load i64, i64* %6
%29 = add i64 %28, 1
store i64 %29, i64* %6
br label %10
30: ; preds = %10
%31 = load i32, i32* %5
ret i32 %31
}

LLVM IR (-O2):
define i32 @contains(i8* nocapture %0, i8 signext %1) {
%3 = tail call i64 @strlen(i8* dereferenceable(1) %0)
%4 = icmp eq i64 %3, 0
br i1 %4, label %92, label %5
5: ; preds = %2
%6 = icmp ult i64 %3, 8
br i1 %6, label %79, label %7
7: ; preds = %5
%8 = and i64 %3, -8
%9 = insertelement <4 x i8> poison, i8 %1, i64 0
%10 = shufflevector <4 x i8> %9, <4 x i8> poison, <4 x i32> zeroinitializer
%11 = insertelement <4 x i8> poison, i8 %1, i64 0
%12 = shufflevector <4 x i8> %11, <4 x i8> poison, <4 x i32> zeroinitializer
%13 = add i64 %8, -8
%14 = lshr exact i64 %13, 3
%15 = add nuw nsw i64 %14, 1
%16 = and i64 %15, 1
%17 = icmp eq i64 %13, 0
br i1 %17, label %53, label %18
18: ; preds = %7
%19 = and i64 %15, 4611686018427387902
br label %20
20: ; preds = %20, %18
%21 = phi i64 [ 0, %18 ], [ %50, %20 ]
%22 = phi <4 x i32> [ zeroinitializer, %18 ], [ %48, %20 ]
%23 = phi <4 x i32> [ zeroinitializer, %18 ], [ %49, %20 ]
%24 = phi i64 [ 0, %18 ], [ %51, %20 ]
%25 = getelementptr inbounds i8, i8* %0, i64 %21
%26 = bitcast i8* %25 to <4 x i8>*
%27 = load <4 x i8>, <4 x i8>* %26
%28 = getelementptr inbounds i8, i8* %25, i64 4
%29 = bitcast i8* %28 to <4 x i8>*
%30 = load <4 x i8>, <4 x i8>* %29
%31 = icmp eq <4 x i8> %27, %10
%32 = icmp eq <4 x i8> %30, %12
%33 = zext <4 x i1> %31 to <4 x i32>
%34 = zext <4 x i1> %32 to <4 x i32>
%35 = add <4 x i32> %22, %33
%36 = add <4 x i32> %23, %34
%37 = or i64 %21, 8
%38 = getelementptr inbounds i8, i8* %0, i64 %37
%39 = bitcast i8* %38 to <4 x i8>*
%40 = load <4 x i8>, <4 x i8>* %39
%41 = getelementptr inbounds i8, i8* %38, i64 4
%42 = bitcast i8* %41 to <4 x i8>*
%43 = load <4 x i8>, <4 x i8>* %42
%44 = icmp eq <4 x i8> %40, %10
%45 = icmp eq <4 x i8> %43, %12
%46 = zext <4 x i1> %44 to <4 x i32>
%47 = zext <4 x i1> %45 to <4 x i32>
%48 = add <4 x i32> %35, %46
%49 = add <4 x i32> %36, %47
%50 = add nuw i64 %21, 16
%51 = add i64 %24, 2
%52 = icmp eq i64 %51, %19
br i1 %52, label %53, label %20
53: ; preds = %20, %7
%54 = phi <4 x i32> [ undef, %7 ], [ %48, %20 ]
%55 = phi <4 x i32> [ undef, %7 ], [ %49, %20 ]
%56 = phi i64 [ 0, %7 ], [ %50, %20 ]
%57 = phi <4 x i32> [ zeroinitializer, %7 ], [ %48, %20 ]
%58 = phi <4 x i32> [ zeroinitializer, %7 ], [ %49, %20 ]
%59 = icmp eq i64 %16, 0
br i1 %59, label %73, label %60
60: ; preds = %53
%61 = getelementptr inbounds i8, i8* %0, i64 %56
%62 = bitcast i8* %61 to <4 x i8>*
%63 = load <4 x i8>, <4 x i8>* %62
%64 = getelementptr inbounds i8, i8* %61, i64 4
%65 = bitcast i8* %64 to <4 x i8>*
%66 = load <4 x i8>, <4 x i8>* %65
%67 = icmp eq <4 x i8> %63, %10
%68 = icmp eq <4 x i8> %66, %12
%69 = zext <4 x i1> %67 to <4 x i32>
%70 = zext <4 x i1> %68 to <4 x i32>
%71 = add <4 x i32> %57, %69
%72 = add <4 x i32> %58, %70
br label %73
73: ; preds = %53, %60
%74 = phi <4 x i32> [ %54, %53 ], [ %71, %60 ]
%75 = phi <4 x i32> [ %55, %53 ], [ %72, %60 ]
%76 = add <4 x i32> %75, %74
%77 = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %76)
%78 = icmp eq i64 %3, %8
br i1 %78, label %92, label %79
79: ; preds = %5, %73
%80 = phi i32 [ 0, %5 ], [ %77, %73 ]
%81 = phi i64 [ 0, %5 ], [ %8, %73 ]
br label %82
82: ; preds = %79, %82
%83 = phi i32 [ %89, %82 ], [ %80, %79 ]
%84 = phi i64 [ %90, %82 ], [ %81, %79 ]
%85 = getelementptr inbounds i8, i8* %0, i64 %84
%86 = load i8, i8* %85
%87 = icmp eq i8 %86, %1
%88 = zext i1 %87 to i32
%89 = add nuw nsw i32 %83, %88
%90 = add nuw i64 %84, 1
%91 = icmp eq i64 %90, %3
br i1 %91, label %92, label %82
92: ; preds = %82, %73, %2
%93 = phi i32 [ 0, %2 ], [ %77, %73 ], [ %89, %82 ]
ret i32 %93
}