unsigned int check(int *arr, int i, int j) {
  int odd = 0;
  int even = 0;
  for (; i <= j; ++i) {
    if (arr[i] % 2)
      odd++;
    else
      even++;
  }
  return odd == even;
}


x86 assembly (clang, -O0):
<check>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x10(%rbp),%eax
jg     116e <check+0x6e>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
je     1152 <check+0x52>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    115b <check+0x5b>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1160 <check+0x60>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    111c <check+0x1c>
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
sete   %al
and    $0x1,%al
movzbl %al,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<check>:
xor    %r9d,%r9d
mov    %edx,%r10d
mov    $0x0,%ecx
sub    %esi,%r10d
jl     1296 <check+0x196>
movslq %esi,%rax
xor    %ecx,%ecx
cmp    $0x7,%r10d
jae    1127 <check+0x27>
xor    %r9d,%r9d
jmp    126e <check+0x16e>
add    $0x1,%r10
mov    %r10,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rcx
mov    %rcx,%r9
shr    $0x3,%r9
add    $0x1,%r9
test   %rcx,%rcx
je     129f <check+0x19f>
mov    %r9,%rcx
and    $0xfffffffffffffffe,%rcx
lea    (%rdi,%rax,4),%r11
add    $0x30,%r11
pxor   %xmm5,%xmm5
xor    %esi,%esi
movdqa 0xe98(%rip),%xmm8
pxor   %xmm6,%xmm6
pxor   %xmm1,%xmm1
pxor   %xmm2,%xmm2
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movdqu -0x30(%r11,%rsi,4),%xmm4
movdqu -0x20(%r11,%rsi,4),%xmm7
movdqu -0x10(%r11,%rsi,4),%xmm0
movdqu (%r11,%rsi,4),%xmm3
pand   %xmm8,%xmm4
pand   %xmm8,%xmm7
paddd  %xmm4,%xmm1
paddd  %xmm7,%xmm2
pxor   %xmm8,%xmm4
paddd  %xmm5,%xmm4
pxor   %xmm8,%xmm7
paddd  %xmm6,%xmm7
pand   %xmm8,%xmm0
pand   %xmm8,%xmm3
paddd  %xmm0,%xmm1
paddd  %xmm3,%xmm2
pxor   %xmm8,%xmm0
paddd  %xmm4,%xmm0
pxor   %xmm8,%xmm3
paddd  %xmm7,%xmm3
add    $0x10,%rsi
movdqa %xmm0,%xmm5
movdqa %xmm3,%xmm6
add    $0xfffffffffffffffe,%rcx
jne    1180 <check+0x80>
test   $0x1,%r9b
je     1231 <check+0x131>
add    %rax,%rsi
movdqu (%rdi,%rsi,4),%xmm4
movdqu 0x10(%rdi,%rsi,4),%xmm5
movdqa 0xdef(%rip),%xmm6
pand   %xmm6,%xmm4
pand   %xmm6,%xmm5
paddd  %xmm4,%xmm1
paddd  %xmm5,%xmm2
pxor   %xmm6,%xmm4
paddd  %xmm4,%xmm0
pxor   %xmm6,%xmm5
paddd  %xmm5,%xmm3
paddd  %xmm3,%xmm0
paddd  %xmm2,%xmm1
pshufd $0xee,%xmm1,%xmm2
paddd  %xmm1,%xmm2
pshufd $0x55,%xmm2,%xmm1
paddd  %xmm2,%xmm1
movd   %xmm1,%r9d
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%ecx
cmp    %r8,%r10
je     1296 <check+0x196>
add    %r8,%rax
add    $0x1,%edx
mov    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    (%rdi,%rax,4),%esi
and    $0x1,%esi
add    %esi,%r9d
xor    $0x1,%esi
add    %esi,%ecx
add    $0x1,%rax
cmp    %eax,%edx
jne    1280 <check+0x180>
xor    %eax,%eax
cmp    %ecx,%r9d
sete   %al
ret
pxor   %xmm0,%xmm0
xor    %esi,%esi
pxor   %xmm3,%xmm3
pxor   %xmm1,%xmm1
pxor   %xmm2,%xmm2
test   $0x1,%r9b
jne    11fb <check+0xfb>
jmp    1231 <check+0x131>

LLVM IR (-O0):
define i32 @check(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* %7
store i32 0, i32* %8
br label %9
9: ; preds = %28, %3
%10 = load i32, i32* %5
%11 = load i32, i32* %6
%12 = icmp sle i32 %10, %11
br i1 %12, label %13, label %31
13: ; preds = %9
%14 = load i32*, i32** %4
%15 = load i32, i32* %5
%16 = sext i32 %15 to i64
%17 = getelementptr inbounds i32, i32* %14, i64 %16
%18 = load i32, i32* %17
%19 = srem i32 %18, 2
%20 = icmp ne i32 %19, 0
br i1 %20, label %21, label %24
21: ; preds = %13
%22 = load i32, i32* %7
%23 = add nsw i32 %22, 1
store i32 %23, i32* %7
br label %27
24: ; preds = %13
%25 = load i32, i32* %8
%26 = add nsw i32 %25, 1
store i32 %26, i32* %8
br label %27
27: ; preds = %24, %21
br label %28
28: ; preds = %27
%29 = load i32, i32* %5
%30 = add nsw i32 %29, 1
store i32 %30, i32* %5
br label %9
31: ; preds = %9
%32 = load i32, i32* %7
%33 = load i32, i32* %8
%34 = icmp eq i32 %32, %33
%35 = zext i1 %34 to i32
ret i32 %35
}

LLVM IR (-O2):
define i32 @check(i32* nocapture %0, i32 %1, i32 %2) {
%4 = icmp slt i32 %2, %1
br i1 %4, label %117, label %5
5: ; preds = %3
%6 = sext i32 %1 to i64
%7 = add i32 %2, 1
%8 = sub i32 %2, %1
%9 = zext i32 %8 to i64
%10 = add nuw nsw i64 %9, 1
%11 = icmp ult i32 %8, 7
br i1 %11, label %100, label %12
12: ; preds = %5
%13 = and i64 %10, 8589934584
%14 = add nsw i64 %13, %6
%15 = add nsw i64 %13, -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 %63, label %20
20: ; preds = %12
%21 = and i64 %17, 4611686018427387902
br label %22
22: ; preds = %22, %20
%23 = phi i64 [ 0, %20 ], [ %60, %22 ]
%24 = phi <4 x i32> [ zeroinitializer, %20 ], [ %58, %22 ]
%25 = phi <4 x i32> [ zeroinitializer, %20 ], [ %59, %22 ]
%26 = phi <4 x i32> [ zeroinitializer, %20 ], [ %54, %22 ]
%27 = phi <4 x i32> [ zeroinitializer, %20 ], [ %55, %22 ]
%28 = phi i64 [ 0, %20 ], [ %61, %22 ]
%29 = add i64 %23, %6
%30 = getelementptr inbounds i32, i32* %0, i64 %29
%31 = bitcast i32* %30 to <4 x i32>*
%32 = load <4 x i32>, <4 x i32>* %31
%33 = getelementptr inbounds i32, i32* %30, i64 4
%34 = bitcast i32* %33 to <4 x i32>*
%35 = load <4 x i32>, <4 x i32>* %34
%36 = and <4 x i32> %32, <i32 1, i32 1, i32 1, i32 1>
%37 = and <4 x i32> %35, <i32 1, i32 1, i32 1, i32 1>
%38 = add <4 x i32> %36, %26
%39 = add <4 x i32> %37, %27
%40 = xor <4 x i32> %36, <i32 1, i32 1, i32 1, i32 1>
%41 = xor <4 x i32> %37, <i32 1, i32 1, i32 1, i32 1>
%42 = add <4 x i32> %40, %24
%43 = add <4 x i32> %41, %25
%44 = or i64 %23, 8
%45 = add i64 %44, %6
%46 = getelementptr inbounds i32, i32* %0, i64 %45
%47 = bitcast i32* %46 to <4 x i32>*
%48 = load <4 x i32>, <4 x i32>* %47
%49 = getelementptr inbounds i32, i32* %46, i64 4
%50 = bitcast i32* %49 to <4 x i32>*
%51 = load <4 x i32>, <4 x i32>* %50
%52 = and <4 x i32> %48, <i32 1, i32 1, i32 1, i32 1>
%53 = and <4 x i32> %51, <i32 1, i32 1, i32 1, i32 1>
%54 = add <4 x i32> %52, %38
%55 = add <4 x i32> %53, %39
%56 = xor <4 x i32> %52, <i32 1, i32 1, i32 1, i32 1>
%57 = xor <4 x i32> %53, <i32 1, i32 1, i32 1, i32 1>
%58 = add <4 x i32> %56, %42
%59 = add <4 x i32> %57, %43
%60 = add nuw i64 %23, 16
%61 = add i64 %28, 2
%62 = icmp eq i64 %61, %21
br i1 %62, label %63, label %22
63: ; preds = %22, %12
%64 = phi <4 x i32> [ undef, %12 ], [ %54, %22 ]
%65 = phi <4 x i32> [ undef, %12 ], [ %55, %22 ]
%66 = phi <4 x i32> [ undef, %12 ], [ %58, %22 ]
%67 = phi <4 x i32> [ undef, %12 ], [ %59, %22 ]
%68 = phi i64 [ 0, %12 ], [ %60, %22 ]
%69 = phi <4 x i32> [ zeroinitializer, %12 ], [ %58, %22 ]
%70 = phi <4 x i32> [ zeroinitializer, %12 ], [ %59, %22 ]
%71 = phi <4 x i32> [ zeroinitializer, %12 ], [ %54, %22 ]
%72 = phi <4 x i32> [ zeroinitializer, %12 ], [ %55, %22 ]
%73 = icmp eq i64 %18, 0
br i1 %73, label %90, label %74
74: ; preds = %63
%75 = add i64 %68, %6
%76 = getelementptr inbounds i32, i32* %0, i64 %75
%77 = bitcast i32* %76 to <4 x i32>*
%78 = load <4 x i32>, <4 x i32>* %77
%79 = getelementptr inbounds i32, i32* %76, i64 4
%80 = bitcast i32* %79 to <4 x i32>*
%81 = load <4 x i32>, <4 x i32>* %80
%82 = and <4 x i32> %78, <i32 1, i32 1, i32 1, i32 1>
%83 = and <4 x i32> %81, <i32 1, i32 1, i32 1, i32 1>
%84 = add <4 x i32> %82, %71
%85 = add <4 x i32> %83, %72
%86 = xor <4 x i32> %82, <i32 1, i32 1, i32 1, i32 1>
%87 = xor <4 x i32> %83, <i32 1, i32 1, i32 1, i32 1>
%88 = add <4 x i32> %86, %69
%89 = add <4 x i32> %87, %70
br label %90
90: ; preds = %63, %74
%91 = phi <4 x i32> [ %64, %63 ], [ %84, %74 ]
%92 = phi <4 x i32> [ %65, %63 ], [ %85, %74 ]
%93 = phi <4 x i32> [ %66, %63 ], [ %88, %74 ]
%94 = phi <4 x i32> [ %67, %63 ], [ %89, %74 ]
%95 = add <4 x i32> %92, %91
%96 = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %95)
%97 = add <4 x i32> %94, %93
%98 = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %97)
%99 = icmp eq i64 %10, %13
br i1 %99, label %117, label %100
100: ; preds = %5, %90
%101 = phi i64 [ %6, %5 ], [ %14, %90 ]
%102 = phi i32 [ 0, %5 ], [ %98, %90 ]
%103 = phi i32 [ 0, %5 ], [ %96, %90 ]
br label %104
104: ; preds = %100, %104
%105 = phi i64 [ %114, %104 ], [ %101, %100 ]
%106 = phi i32 [ %113, %104 ], [ %102, %100 ]
%107 = phi i32 [ %111, %104 ], [ %103, %100 ]
%108 = getelementptr inbounds i32, i32* %0, i64 %105
%109 = load i32, i32* %108
%110 = and i32 %109, 1
%111 = add nuw nsw i32 %110, %107
%112 = xor i32 %110, 1
%113 = add nuw nsw i32 %112, %106
%114 = add nsw i64 %105, 1
%115 = trunc i64 %114 to i32
%116 = icmp eq i32 %7, %115
br i1 %116, label %117, label %104
117: ; preds = %104, %90, %3
%118 = phi i32 [ 0, %3 ], [ %96, %90 ], [ %111, %104 ]
%119 = phi i32 [ 0, %3 ], [ %98, %90 ], [ %113, %104 ]
%120 = icmp eq i32 %118, %119
%121 = zext i1 %120 to i32
ret i32 %121
}