void test(int a, int *i) {
  for (; a < 5; ++a) {
    int b = 0;
    int c = 0;
    for (; b != -11; b--)
      for (int d = 0; d == 0; d++) {
        *i += c & a;
        c = b;
      }
  }
}


x86 assembly (clang, -O0):
<test>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
cmpl   $0x5,-0x4(%rbp)
jge    1186 <test+0x86>
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
cmpl   $0xfffffff5,-0x14(%rbp)
je     1173 <test+0x73>
movl   $0x0,-0x1c(%rbp)
cmpl   $0x0,-0x1c(%rbp)
jne    1160 <test+0x60>
mov    -0x18(%rbp),%ecx
and    -0x4(%rbp),%ecx
mov    -0x10(%rbp),%rax
add    (%rax),%ecx
mov    %ecx,(%rax)
mov    -0x14(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1134 <test+0x34>
jmp    1165 <test+0x65>
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
jmp    1123 <test+0x23>
jmp    1178 <test+0x78>
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    110b <test+0xb>
pop    %rbp
ret

x86 assembly (clang, -O2):
<test>:
cmp    $0x4,%edi
jg     1349 <test+0x249>
push   %rbx
mov    (%rsi),%edx
mov    $0x5,%ecx
sub    %edi,%ecx
cmp    $0x8,%ecx
jae    1120 <test+0x20>
mov    %edi,%r10d
jmp    12bb <test+0x1bb>
mov    %ecx,%r8d
and    $0xfffffff8,%r8d
lea    (%r8,%rdi,1),%r10d
movd   %edi,%xmm0
pshufd $0x0,%xmm0,%xmm8
paddd  0xec2(%rip),%xmm8
movd   %edx,%xmm3
pxor   %xmm0,%xmm0
movdqa 0xed1(%rip),%xmm9
movdqa 0xed8(%rip),%xmm11
movdqa 0xedf(%rip),%xmm12
movdqa 0xee6(%rip),%xmm13
movdqa 0xeed(%rip),%xmm14
movdqa 0xef4(%rip),%xmm15
movdqa 0xefc(%rip),%xmm1
movdqa 0xf04(%rip),%xmm2
movdqa 0xf0b(%rip),%xmm10
mov    %r8d,%edi
nopl   0x0(%rax,%rax,1)
movdqa %xmm8,%xmm4
paddd  0xe63(%rip),%xmm4
paddd  %xmm8,%xmm3
paddd  %xmm4,%xmm0
movdqa %xmm8,%xmm5
pand   %xmm9,%xmm5
paddd  %xmm3,%xmm5
movdqa %xmm4,%xmm3
pand   %xmm9,%xmm3
paddd  %xmm0,%xmm3
movdqa %xmm8,%xmm0
pand   %xmm11,%xmm0
movdqa %xmm4,%xmm7
pand   %xmm11,%xmm7
movdqa %xmm8,%xmm6
pand   %xmm12,%xmm6
paddd  %xmm0,%xmm6
paddd  %xmm5,%xmm6
movdqa %xmm4,%xmm0
pand   %xmm12,%xmm0
paddd  %xmm7,%xmm0
paddd  %xmm3,%xmm0
movdqa %xmm8,%xmm3
pand   %xmm13,%xmm3
movdqa %xmm4,%xmm5
pand   %xmm13,%xmm5
movdqa %xmm8,%xmm7
pand   %xmm14,%xmm7
paddd  %xmm3,%xmm7
movdqa %xmm4,%xmm3
pand   %xmm14,%xmm3
paddd  %xmm5,%xmm3
movdqa %xmm8,%xmm5
pand   %xmm15,%xmm5
paddd  %xmm7,%xmm5
paddd  %xmm6,%xmm5
movdqa %xmm4,%xmm6
pand   %xmm15,%xmm6
paddd  %xmm3,%xmm6
paddd  %xmm0,%xmm6
movdqa %xmm8,%xmm0
pand   %xmm1,%xmm0
movdqa %xmm8,%xmm3
pand   %xmm2,%xmm3
paddd  %xmm0,%xmm3
paddd  %xmm5,%xmm3
movdqa %xmm4,%xmm0
pand   %xmm1,%xmm0
pand   %xmm2,%xmm4
paddd  %xmm0,%xmm4
movdqa %xmm4,%xmm0
paddd  %xmm6,%xmm0
paddd  %xmm10,%xmm8
add    $0xfffffff8,%edi
jne    11a0 <test+0xa0>
paddd  %xmm3,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%edx
cmp    %r8d,%ecx
je     1346 <test+0x246>
lea    -0x1(%r10),%r9d
nop
mov    %edx,%r8d
lea    (%r8,%r10,1),%eax
mov    %r10d,%ecx
and    $0xfffffffe,%ecx
add    %eax,%ecx
mov    %r10d,%r11d
and    $0xfffffffd,%r11d
add    %r11d,%ecx
mov    %r10d,%ebx
and    $0xfffffffc,%ebx
add    %ecx,%ebx
mov    %r10d,%ecx
and    $0xfffffffb,%ecx
add    %ecx,%ebx
mov    %r10d,%eax
and    $0xfffffffa,%eax
add    %eax,%ebx
mov    %r10d,%edi
and    $0xfffffff9,%edi
add    %edi,%ebx
mov    %r10d,%edx
and    $0xfffffff8,%edx
add    %ebx,%edx
mov    %r10d,%ebx
and    $0xfffffff7,%ebx
add    %ebx,%edx
add    $0x1,%r10d
add    $0x1,%r9d
cmp    $0x5,%r10d
jne    12c0 <test+0x1c0>
mov    %r9d,%edx
and    $0xfffffff8,%edx
add    %r9d,%edx
mov    %r9d,%r10d
and    $0xfffffffc,%r10d
add    %edx,%r10d
and    $0xfffffffe,%r9d
add    %r10d,%r9d
add    %r11d,%r8d
add    %ecx,%r8d
add    %eax,%r8d
add    %edi,%r8d
add    %ebx,%r8d
add    %r9d,%r8d
mov    %r8d,%edx
mov    %edx,(%rsi)
pop    %rbx
ret

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

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