void tl_(int *const la, int *const nl, int *const l) {

  int j, k = 0;
  j = (!(la[0]));
  for (j = 0; j < *nl; j++)
    if ((la[j]))
      k++;
  if (k == 5)
    *l = 1;
  else
    *l = 0;
}


x86 assembly (clang, -O0):
<tl_>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x8(%rbp),%rax
cmpl   $0x0,(%rax)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x1c(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    -0x10(%rbp),%rcx
cmp    (%rcx),%eax
jge    116f <tl_+0x6f>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     115c <tl_+0x5c>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1161 <tl_+0x61>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1132 <tl_+0x32>
cmpl   $0x5,-0x20(%rbp)
jne    1188 <tl_+0x88>
mov    -0x18(%rbp),%rax
movl   $0x1,(%rax)
jmp    1192 <tl_+0x92>
mov    -0x18(%rbp),%rax
movl   $0x0,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<tl_>:
mov    (%rsi),%r9d
test   %r9d,%r9d
jle    1117 <tl_+0x17>
cmp    $0x8,%r9d
jae    111c <tl_+0x1c>
xor    %ecx,%ecx
xor    %eax,%eax
jmp    1210 <tl_+0x110>
xor    %ecx,%ecx
mov    %ecx,(%rdx)
ret
mov    %r9d,%ecx
and    $0xfffffff8,%ecx
lea    -0x8(%rcx),%rax
mov    %rax,%r8
shr    $0x3,%r8
add    $0x1,%r8
test   %rax,%rax
je     122b <tl_+0x12b>
mov    %r8,%rax
and    $0xfffffffffffffffe,%rax
pxor   %xmm2,%xmm2
xor    %esi,%esi
movdqa 0xeb1(%rip),%xmm3
pxor   %xmm5,%xmm5
pxor   %xmm4,%xmm4
nopw   0x0(%rax,%rax,1)
movdqu (%rdi,%rsi,4),%xmm6
movdqu 0x10(%rdi,%rsi,4),%xmm7
movdqu 0x20(%rdi,%rsi,4),%xmm0
movdqu 0x30(%rdi,%rsi,4),%xmm1
pcmpeqd %xmm2,%xmm6
paddd  %xmm5,%xmm6
pcmpeqd %xmm2,%xmm7
paddd  %xmm4,%xmm7
pcmpeqd %xmm2,%xmm0
pcmpeqd %xmm2,%xmm1
paddd  %xmm3,%xmm0
paddd  %xmm6,%xmm0
paddd  %xmm3,%xmm1
paddd  %xmm7,%xmm1
add    $0x10,%rsi
movdqa %xmm0,%xmm5
movdqa %xmm1,%xmm4
add    $0xfffffffffffffffe,%rax
jne    1160 <tl_+0x60>
test   $0x1,%r8b
je     11e2 <tl_+0xe2>
movdqu (%rdi,%rsi,4),%xmm2
movdqu 0x10(%rdi,%rsi,4),%xmm3
pxor   %xmm4,%xmm4
pcmpeqd %xmm4,%xmm2
paddd  %xmm2,%xmm0
pcmpeqd %xmm4,%xmm3
paddd  %xmm3,%xmm1
pcmpeqd %xmm2,%xmm2
psubd  %xmm2,%xmm0
psubd  %xmm2,%xmm1
paddd  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%eax
cmp    %r9,%rcx
je     1220 <tl_+0x120>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
cmpl   $0x1,(%rdi,%rcx,4)
sbb    $0xffffffff,%eax
add    $0x1,%rcx
cmp    %rcx,%r9
jne    1210 <tl_+0x110>
xor    %ecx,%ecx
cmp    $0x5,%eax
sete   %cl
mov    %ecx,(%rdx)
ret
pxor   %xmm0,%xmm0
xor    %esi,%esi
pxor   %xmm1,%xmm1
test   $0x1,%r8b
jne    11b7 <tl_+0xb7>
jmp    11e2 <tl_+0xe2>

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

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