int check_reqs(short rlen, short *rb) {
  short count;
  short check = 1;
  for (count = 0; count < rlen; count++) {
    if (rb[count] == 0)
      check = 0;
  }
  if (check)
    return 1;
  else
    return 0;
}


x86 assembly (clang, -O0):
<check_reqs>:
push   %rbp
mov    %rsp,%rbp
mov    %di,%ax
mov    %ax,-0x6(%rbp)
mov    %rsi,-0x10(%rbp)
movw   $0x1,-0x14(%rbp)
movw   $0x0,-0x12(%rbp)
movswl -0x12(%rbp),%eax
movswl -0x6(%rbp),%ecx
cmp    %ecx,%eax
jge    115d <check_reqs+0x5d>
mov    -0x10(%rbp),%rax
movswq -0x12(%rbp),%rcx
movswl (%rax,%rcx,2),%eax
cmp    $0x0,%eax
jne    1147 <check_reqs+0x47>
movw   $0x0,-0x14(%rbp)
jmp    114c <check_reqs+0x4c>
mov    -0x12(%rbp),%ax
add    $0x1,%ax
mov    %ax,-0x12(%rbp)
jmp    111b <check_reqs+0x1b>
cmpw   $0x0,-0x14(%rbp)
je     1174 <check_reqs+0x74>
movl   $0x1,-0x4(%rbp)
jmp    117b <check_reqs+0x7b>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<check_reqs>:
test   %di,%di
jle    111c <check_reqs+0x1c>
movzwl %di,%eax
xor    %r9d,%r9d
cmp    $0x10,%di
jae    1122 <check_reqs+0x22>
mov    $0x1,%cx
xor    %edx,%edx
jmp    1210 <check_reqs+0x110>
mov    $0x1,%eax
ret
mov    %eax,%edx
and    $0xfffffff0,%edx
lea    -0x10(%rdx),%rcx
mov    %rcx,%r8
shr    $0x4,%r8
add    $0x1,%r8
test   %rcx,%rcx
je     122b <check_reqs+0x12b>
mov    %r8,%rcx
and    $0xfffffffffffffffe,%rcx
movdqa 0xeb2(%rip),%xmm3
xor    %edi,%edi
pxor   %xmm2,%xmm2
movdqa %xmm3,%xmm4
nopl   0x0(%rax,%rax,1)
movdqu (%rsi,%rdi,2),%xmm5
movdqu 0x10(%rsi,%rdi,2),%xmm6
movdqu 0x20(%rsi,%rdi,2),%xmm0
movdqu 0x30(%rsi,%rdi,2),%xmm1
pcmpeqw %xmm2,%xmm5
pcmpeqw %xmm2,%xmm6
pcmpeqw %xmm2,%xmm0
por    %xmm5,%xmm0
pandn  %xmm3,%xmm0
pcmpeqw %xmm2,%xmm1
por    %xmm6,%xmm1
pandn  %xmm4,%xmm1
add    $0x20,%rdi
movdqa %xmm0,%xmm3
movdqa %xmm1,%xmm4
add    $0xfffffffffffffffe,%rcx
jne    1160 <check_reqs+0x60>
test   $0x1,%r8b
je     11d6 <check_reqs+0xd6>
movdqu (%rsi,%rdi,2),%xmm2
movdqu 0x10(%rsi,%rdi,2),%xmm3
pxor   %xmm4,%xmm4
pcmpeqw %xmm4,%xmm2
pandn  %xmm0,%xmm2
pcmpeqw %xmm4,%xmm3
pandn  %xmm1,%xmm3
movdqa %xmm2,%xmm0
movdqa %xmm3,%xmm1
movdqa 0xe22(%rip),%xmm2
movdqa %xmm0,%xmm3
pcmpeqw %xmm2,%xmm3
pand   %xmm3,%xmm1
pandn  %xmm0,%xmm3
por    %xmm1,%xmm3
pcmpeqw %xmm2,%xmm3
pmovmskb %xmm3,%edi
xor    %ecx,%ecx
xor    $0xffff,%edi
sete   %cl
cmp    %rax,%rdx
je     1222 <check_reqs+0x122>
nopw   0x0(%rax,%rax,1)
cmpw   $0x0,(%rsi,%rdx,2)
cmove  %r9d,%ecx
add    $0x1,%rdx
cmp    %rdx,%rax
jne    1210 <check_reqs+0x110>
xor    %eax,%eax
test   %cx,%cx
setne  %al
ret
movdqa 0xdcd(%rip),%xmm0
xor    %edi,%edi
movdqa %xmm0,%xmm1
test   $0x1,%r8b
jne    11af <check_reqs+0xaf>
jmp    11d6 <check_reqs+0xd6>

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

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