int check_char(char st[], int l, char c, int num) {
  int i, count = 0;
  for (i = 0; i < l; i++) {
    if (c == st[i])
      count++;
  }
  if (count < num)
    return 1;
  else
    return 0;
}


x86 assembly (clang, -O0):
<check_char>:
push   %rbp
mov    %rsp,%rbp
mov    %dl,%al
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %al,-0x15(%rbp)
mov    %ecx,-0x1c(%rbp)
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1161 <check_char+0x61>
movsbl -0x15(%rbp),%eax
mov    -0x10(%rbp),%rcx
movslq -0x20(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jne    114e <check_char+0x4e>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1153 <check_char+0x53>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1121 <check_char+0x21>
mov    -0x24(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    1179 <check_char+0x79>
movl   $0x1,-0x4(%rbp)
jmp    1180 <check_char+0x80>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<check_char>:
test   %esi,%esi
jle    1116 <check_char+0x16>
mov    %esi,%r9d
cmp    $0x8,%esi
jae    111d <check_char+0x1d>
xor    %r11d,%r11d
xor    %esi,%esi
jmp    1250 <check_char+0x150>
xor    %esi,%esi
jmp    1264 <check_char+0x164>
mov    %r9d,%r11d
and    $0xfffffff8,%r11d
movzbl %dl,%esi
movd   %esi,%xmm0
punpcklbw %xmm0,%xmm0
pshuflw $0x0,%xmm0,%xmm0
lea    -0x8(%r11),%rsi
mov    %rsi,%r8
shr    $0x3,%r8
add    $0x1,%r8
test   %rsi,%rsi
je     126c <check_char+0x16c>
mov    %r8,%r10
and    $0xfffffffffffffffe,%r10
pxor   %xmm1,%xmm1
xor    %esi,%esi
movdqa 0xe9f(%rip),%xmm3
pxor   %xmm2,%xmm2
cs nopw 0x0(%rax,%rax,1)
nop
movd   (%rdi,%rsi,1),%xmm5
movd   0x4(%rdi,%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(%rdi,%rsi,1),%xmm1
movd   0xc(%rdi,%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,%r10
jne    1170 <check_char+0x70>
test   $0x1,%r8b
je     1222 <check_char+0x122>
movd   (%rdi,%rsi,1),%xmm3
movd   0x4(%rdi,%rsi,1),%xmm4
pcmpeqb %xmm0,%xmm3
punpcklbw %xmm3,%xmm3
punpcklwd %xmm3,%xmm3
movdqa 0xdfa(%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,%esi
cmp    %r9,%r11
je     1264 <check_char+0x164>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
xor    %eax,%eax
cmp    %dl,(%rdi,%r11,1)
sete   %al
add    %eax,%esi
add    $0x1,%r11
cmp    %r11,%r9
jne    1250 <check_char+0x150>
xor    %eax,%eax
cmp    %ecx,%esi
setl   %al
ret
pxor   %xmm1,%xmm1
xor    %esi,%esi
pxor   %xmm2,%xmm2
test   $0x1,%r8b
jne    11e7 <check_char+0xe7>
jmp    1222 <check_char+0x122>

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

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