#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 *);
int countchar(char str[200], char c) {
  int i = strlen(str), result = 0;
  for (i = i; i >= 0; i--) {
    if (str[i] == c)
      result++;
  }
  return result;
}


x86 assembly (clang, -O0):
<countchar>:
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)
movl   $0x0,-0x14(%rbp)
mov    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
cmpl   $0x0,-0x10(%rbp)
jl     1179 <countchar+0x69>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
movsbl -0x9(%rbp),%ecx
cmp    %ecx,%eax
jne    1166 <countchar+0x56>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    116b <countchar+0x5b>
mov    -0x10(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
jmp    113b <countchar+0x2b>
mov    -0x14(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<countchar>:
push   %rbp
push   %rbx
push   %rax
mov    %esi,%ebp
mov    %rdi,%rbx
call   1030 <strlen@plt>
test   %eax,%eax
js     1223 <countchar+0x113>
mov    %eax,%ecx
mov    %eax,%edx
xor    %eax,%eax
cmp    $0x7,%ecx
jb     1210 <countchar+0x100>
lea    0x1(%rdx),%r8
mov    %r8,%rsi
and    $0xfffffffffffffff8,%rsi
movzbl %bpl,%eax
movd   %eax,%xmm0
punpcklbw %xmm0,%xmm0
pshuflw $0x0,%xmm0,%xmm0
mov    %rsi,%rax
neg    %rax
lea    (%rdx,%rbx,1),%rdi
add    $0xfffffffffffffffd,%rdi
sub    %rsi,%rdx
pxor   %xmm1,%xmm1
xor    %ecx,%ecx
movdqa %xmm0,%xmm2
punpcklbw %xmm2,%xmm2
punpcklwd %xmm2,%xmm2
movdqa 0xe85(%rip),%xmm3
punpcklbw %xmm0,%xmm0
punpcklwd %xmm0,%xmm0
pxor   %xmm4,%xmm4
nopw   0x0(%rax,%rax,1)
movd   (%rdi,%rcx,1),%xmm5
punpcklbw %xmm5,%xmm5
movd   -0x4(%rdi,%rcx,1),%xmm6
punpcklbw %xmm6,%xmm6
pshufd $0xc4,%xmm5,%xmm5
pshuflw $0xe7,%xmm5,%xmm5
pshufhw $0xc5,%xmm5,%xmm5
pcmpeqb %xmm2,%xmm5
pand   %xmm3,%xmm5
paddd  %xmm5,%xmm1
pshufd $0xc4,%xmm6,%xmm5
pshuflw $0xe7,%xmm5,%xmm5
pshufhw $0xc5,%xmm5,%xmm5
pcmpeqb %xmm0,%xmm5
pand   %xmm3,%xmm5
paddd  %xmm5,%xmm4
add    $0xfffffffffffffff8,%rcx
cmp    %rcx,%rax
jne    1190 <countchar+0x80>
paddd  %xmm1,%xmm4
pshufd $0xee,%xmm4,%xmm0
paddd  %xmm4,%xmm0
pshufd $0x55,%xmm0,%xmm1
paddd  %xmm0,%xmm1
movd   %xmm1,%eax
cmp    %rsi,%r8
je     1225 <countchar+0x115>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
xor    %ecx,%ecx
cmp    %bpl,(%rbx,%rdx,1)
sete   %cl
add    %ecx,%eax
add    $0xffffffffffffffff,%rdx
jb     1210 <countchar+0x100>
jmp    1225 <countchar+0x115>
xor    %eax,%eax
add    $0x8,%rsp
pop    %rbx
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @countchar(i8* %0, i8 signext %1) {
%3 = tail call i32 @strlen(i8* %0)
%4 = icmp sgt i32 %3, -1
br i1 %4, label %5, label %56
5: ; preds = %2
%6 = zext i32 %3 to i64
%7 = add nuw nsw i64 %6, 1
%8 = icmp ult i32 %3, 7
br i1 %8, label %43, label %9
9: ; preds = %5
%10 = and i64 %7, 8589934584
%11 = sub nsw i64 %6, %10
%12 = insertelement <4 x i8> poison, i8 %1, i64 0
%13 = shufflevector <4 x i8> %12, <4 x i8> poison, <4 x i32> zeroinitializer
%14 = insertelement <4 x i8> poison, i8 %1, i64 0
%15 = shufflevector <4 x i8> %14, <4 x i8> poison, <4 x i32> zeroinitializer
br label %16
16: ; preds = %16, %9
%17 = phi i64 [ 0, %9 ], [ %37, %16 ]
%18 = phi <4 x i32> [ zeroinitializer, %9 ], [ %35, %16 ]
%19 = phi <4 x i32> [ zeroinitializer, %9 ], [ %36, %16 ]
%20 = sub i64 %6, %17
%21 = getelementptr inbounds i8, i8* %0, i64 %20
%22 = getelementptr inbounds i8, i8* %21, i64 -3
%23 = bitcast i8* %22 to <4 x i8>*
%24 = load <4 x i8>, <4 x i8>* %23
%25 = shufflevector <4 x i8> %24, <4 x i8> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%26 = getelementptr inbounds i8, i8* %21, i64 -4
%27 = getelementptr inbounds i8, i8* %26, i64 -3
%28 = bitcast i8* %27 to <4 x i8>*
%29 = load <4 x i8>, <4 x i8>* %28
%30 = shufflevector <4 x i8> %29, <4 x i8> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%31 = icmp eq <4 x i8> %25, %13
%32 = icmp eq <4 x i8> %30, %15
%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> %18, %33
%36 = add <4 x i32> %19, %34
%37 = add nuw i64 %17, 8
%38 = icmp eq i64 %37, %10
br i1 %38, label %39, label %16
39: ; preds = %16
%40 = add <4 x i32> %36, %35
%41 = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %40)
%42 = icmp eq i64 %7, %10
br i1 %42, label %56, label %43
43: ; preds = %5, %39
%44 = phi i64 [ %6, %5 ], [ %11, %39 ]
%45 = phi i32 [ 0, %5 ], [ %41, %39 ]
br label %46
46: ; preds = %43, %46
%47 = phi i64 [ %54, %46 ], [ %44, %43 ]
%48 = phi i32 [ %53, %46 ], [ %45, %43 ]
%49 = getelementptr inbounds i8, i8* %0, i64 %47
%50 = load i8, i8* %49
%51 = icmp eq i8 %50, %1
%52 = zext i1 %51 to i32
%53 = add nuw nsw i32 %48, %52
%54 = add nsw i64 %47, -1
%55 = icmp eq i64 %47, 0
br i1 %55, label %56, label %46
56: ; preds = %46, %39, %2
%57 = phi i32 [ 0, %2 ], [ %41, %39 ], [ %53, %46 ]
ret i32 %57
}