int work(int start, int stop, int flag, int *arrayptr) {
  int partial = 0;
  if (flag == 0)
    for (; start < stop; start++)
      partial += *arrayptr++;
  else
    for (; start < stop; start++)
      partial += 1 + *arrayptr++;
  return partial;
}


x86 assembly (clang, -O0):
<work>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
mov    %rcx,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
cmpl   $0x0,-0xc(%rbp)
jne    115d <work+0x5d>
jmp    1127 <work+0x27>
mov    -0x4(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    1158 <work+0x58>
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x18(%rbp)
mov    (%rax),%eax
add    -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    1127 <work+0x27>
jmp    119b <work+0x9b>
jmp    1162 <work+0x62>
mov    -0x4(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    1196 <work+0x96>
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x18(%rbp)
mov    (%rax),%eax
add    $0x1,%eax
add    -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    1162 <work+0x62>
jmp    119b <work+0x9b>
mov    -0x1c(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<work>:
xor    %eax,%eax
test   %edx,%edx
je     1225 <work+0x125>
cmp    %esi,%edi
jge    137b <work+0x27b>
mov    %edi,%r10d
not    %r10d
add    %esi,%r10d
xor    %eax,%eax
cmp    $0x7,%r10d
jb     1208 <work+0x108>
add    $0x1,%r10
mov    %r10,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rax
mov    %rax,%r9
shr    $0x3,%r9
add    $0x1,%r9
test   %rax,%rax
je     1278 <work+0x178>
movabs $0x3ffffffffffffffc,%rdx
ff ff 3f
or     $0x2,%rdx
and    %r9,%rdx
pxor   %xmm0,%xmm0
xor    %eax,%eax
movdqa 0xea7(%rip),%xmm2
pxor   %xmm1,%xmm1
nopl   (%rax)
movdqu (%rcx,%rax,4),%xmm3
paddd  %xmm0,%xmm3
movdqu 0x10(%rcx,%rax,4),%xmm4
paddd  %xmm1,%xmm4
movdqu 0x20(%rcx,%rax,4),%xmm0
movdqu 0x30(%rcx,%rax,4),%xmm1
paddd  %xmm2,%xmm0
paddd  %xmm3,%xmm0
paddd  %xmm2,%xmm1
paddd  %xmm4,%xmm1
add    $0x10,%rax
add    $0xfffffffffffffffe,%rdx
jne    1170 <work+0x70>
pcmpeqd %xmm4,%xmm4
movdqa %xmm0,%xmm2
psubd  %xmm4,%xmm2
movdqa %xmm1,%xmm3
psubd  %xmm4,%xmm3
test   $0x1,%r9b
je     11de <work+0xde>
movdqu (%rcx,%rax,4),%xmm0
paddd  %xmm0,%xmm2
movdqu 0x10(%rcx,%rax,4),%xmm0
paddd  %xmm0,%xmm3
movdqa %xmm2,%xmm0
movdqa %xmm3,%xmm1
paddd  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%eax
cmp    %r8,%r10
je     137b <work+0x27b>
lea    (%rcx,%r8,4),%rcx
add    %r8d,%edi
sub    %edi,%esi
xor    %edx,%edx
nopl   0x0(%rax)
mov    (%rcx,%rdx,4),%edi
add    %edi,%eax
add    $0x1,%eax
add    $0x1,%rdx
cmp    %edx,%esi
jne    1210 <work+0x110>
jmp    137b <work+0x27b>
cmp    %esi,%edi
jge    137b <work+0x27b>
mov    %edi,%r9d
not    %r9d
add    %esi,%r9d
xor    %eax,%eax
cmp    $0x7,%r9d
jb     1362 <work+0x262>
add    $0x1,%r9
mov    %r9,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rdx
mov    %rdx,%rax
shr    $0x3,%rax
add    $0x1,%rax
mov    %eax,%r10d
and    $0x3,%r10d
cmp    $0x18,%rdx
jae    1295 <work+0x195>
pxor   %xmm0,%xmm0
xor    %edx,%edx
pxor   %xmm1,%xmm1
jmp    1309 <work+0x209>
movdqa 0xd80(%rip),%xmm2
xor    %eax,%eax
movdqa %xmm2,%xmm3
test   $0x1,%r9b
jne    11c3 <work+0xc3>
jmp    11de <work+0xde>
and    $0xfffffffffffffffc,%rax
pxor   %xmm0,%xmm0
xor    %edx,%edx
pxor   %xmm1,%xmm1
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movdqu (%rcx,%rdx,4),%xmm2
paddd  %xmm0,%xmm2
movdqu 0x10(%rcx,%rdx,4),%xmm0
paddd  %xmm1,%xmm0
movdqu 0x20(%rcx,%rdx,4),%xmm1
movdqu 0x30(%rcx,%rdx,4),%xmm3
movdqu 0x40(%rcx,%rdx,4),%xmm4
paddd  %xmm1,%xmm4
paddd  %xmm2,%xmm4
movdqu 0x50(%rcx,%rdx,4),%xmm2
paddd  %xmm3,%xmm2
paddd  %xmm0,%xmm2
movdqu 0x60(%rcx,%rdx,4),%xmm0
paddd  %xmm4,%xmm0
movdqu 0x70(%rcx,%rdx,4),%xmm1
paddd  %xmm2,%xmm1
add    $0x20,%rdx
add    $0xfffffffffffffffc,%rax
jne    12b0 <work+0x1b0>
test   %r10,%r10
je     133c <work+0x23c>
lea    (%rcx,%rdx,4),%rax
add    $0x10,%rax
shl    $0x5,%r10
xor    %edx,%edx
nopl   0x0(%rax)
movdqu -0x10(%rax,%rdx,1),%xmm2
paddd  %xmm2,%xmm0
movdqu (%rax,%rdx,1),%xmm2
paddd  %xmm2,%xmm1
add    $0x20,%rdx
cmp    %rdx,%r10
jne    1320 <work+0x220>
paddd  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%eax
cmp    %r8,%r9
je     137b <work+0x27b>
lea    (%rcx,%r8,4),%rcx
add    %r8d,%edi
sub    %edi,%esi
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
add    (%rcx,%rdx,4),%eax
add    $0x1,%rdx
cmp    %edx,%esi
jne    1370 <work+0x270>
ret

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

LLVM IR (-O2):
define i32 @work(i32 %0, i32 %1, i32 %2, i32* nocapture %3) {
%5 = icmp eq i32 %2, 0
%6 = icmp slt i32 %0, %1
br i1 %5, label %84, label %7
7: ; preds = %4
br i1 %6, label %8, label %198
8: ; preds = %7
%9 = xor i32 %0, -1
%10 = add i32 %9, %1
%11 = zext i32 %10 to i64
%12 = add nuw nsw i64 %11, 1
%13 = icmp ult i32 %10, 7
br i1 %13, label %80, label %14
14: ; preds = %8
%15 = and i64 %12, 8589934584
%16 = getelementptr i32, i32* %3, i64 %15
%17 = trunc i64 %15 to i32
%18 = add i32 %17, %0
%19 = add nsw i64 %15, -8
%20 = lshr exact i64 %19, 3
%21 = add nuw nsw i64 %20, 1
%22 = and i64 %21, 1
%23 = icmp eq i64 %19, 0
br i1 %23, label %58, label %24
24: ; preds = %14
%25 = and i64 %21, 4611686018427387902
br label %26
26: ; preds = %26, %24
%27 = phi i64 [ 0, %24 ], [ %52, %26 ]
%28 = phi <4 x i32> [ zeroinitializer, %24 ], [ %50, %26 ]
%29 = phi <4 x i32> [ zeroinitializer, %24 ], [ %51, %26 ]
%30 = phi i64 [ 0, %24 ], [ %53, %26 ]
%31 = getelementptr i32, i32* %3, i64 %27
%32 = bitcast i32* %31 to <4 x i32>*
%33 = load <4 x i32>, <4 x i32>* %32
%34 = getelementptr i32, i32* %31, i64 4
%35 = bitcast i32* %34 to <4 x i32>*
%36 = load <4 x i32>, <4 x i32>* %35
%37 = add <4 x i32> %28, <i32 1, i32 1, i32 1, i32 1>
%38 = add <4 x i32> %29, <i32 1, i32 1, i32 1, i32 1>
%39 = add <4 x i32> %37, %33
%40 = add <4 x i32> %38, %36
%41 = or i64 %27, 8
%42 = getelementptr i32, i32* %3, i64 %41
%43 = bitcast i32* %42 to <4 x i32>*
%44 = load <4 x i32>, <4 x i32>* %43
%45 = getelementptr i32, i32* %42, i64 4
%46 = bitcast i32* %45 to <4 x i32>*
%47 = load <4 x i32>, <4 x i32>* %46
%48 = add <4 x i32> %39, <i32 1, i32 1, i32 1, i32 1>
%49 = add <4 x i32> %40, <i32 1, i32 1, i32 1, i32 1>
%50 = add <4 x i32> %48, %44
%51 = add <4 x i32> %49, %47
%52 = add nuw i64 %27, 16
%53 = add i64 %30, 2
%54 = icmp eq i64 %53, %25
br i1 %54, label %55, label %26
55: ; preds = %26
%56 = add <4 x i32> %50, <i32 1, i32 1, i32 1, i32 1>
%57 = add <4 x i32> %51, <i32 1, i32 1, i32 1, i32 1>
br label %58
58: ; preds = %55, %14
%59 = phi <4 x i32> [ undef, %14 ], [ %50, %55 ]
%60 = phi <4 x i32> [ undef, %14 ], [ %51, %55 ]
%61 = phi i64 [ 0, %14 ], [ %52, %55 ]
%62 = phi <4 x i32> [ <i32 1, i32 1, i32 1, i32 1>, %14 ], [ %56, %55 ]
%63 = phi <4 x i32> [ <i32 1, i32 1, i32 1, i32 1>, %14 ], [ %57, %55 ]
%64 = icmp eq i64 %22, 0
br i1 %64, label %74, label %65
65: ; preds = %58
%66 = getelementptr i32, i32* %3, i64 %61
%67 = bitcast i32* %66 to <4 x i32>*
%68 = load <4 x i32>, <4 x i32>* %67
%69 = getelementptr i32, i32* %66, i64 4
%70 = bitcast i32* %69 to <4 x i32>*
%71 = load <4 x i32>, <4 x i32>* %70
%72 = add <4 x i32> %62, %68
%73 = add <4 x i32> %63, %71
br label %74
74: ; preds = %58, %65
%75 = phi <4 x i32> [ %59, %58 ], [ %72, %65 ]
%76 = phi <4 x i32> [ %60, %58 ], [ %73, %65 ]
%77 = add <4 x i32> %76, %75
%78 = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %77)
%79 = icmp eq i64 %12, %15
br i1 %79, label %198, label %80
80: ; preds = %8, %74
%81 = phi i32 [ 0, %8 ], [ %78, %74 ]
%82 = phi i32* [ %3, %8 ], [ %16, %74 ]
%83 = phi i32 [ %0, %8 ], [ %18, %74 ]
br label %188
84: ; preds = %4
br i1 %6, label %85, label %198
85: ; preds = %84
%86 = xor i32 %0, -1
%87 = add i32 %86, %1
%88 = zext i32 %87 to i64
%89 = add nuw nsw i64 %88, 1
%90 = icmp ult i32 %87, 7
br i1 %90, label %175, label %91
91: ; preds = %85
%92 = and i64 %89, 8589934584
%93 = getelementptr i32, i32* %3, i64 %92
%94 = trunc i64 %92 to i32
%95 = add i32 %94, %0
%96 = add nsw i64 %92, -8
%97 = lshr exact i64 %96, 3
%98 = add nuw nsw i64 %97, 1
%99 = and i64 %98, 3
%100 = icmp ult i64 %96, 24
br i1 %100, label %146, label %101
101: ; preds = %91
%102 = and i64 %98, 4611686018427387900
br label %103
103: ; preds = %103, %101
%104 = phi i64 [ 0, %101 ], [ %143, %103 ]
%105 = phi <4 x i32> [ zeroinitializer, %101 ], [ %141, %103 ]
%106 = phi <4 x i32> [ zeroinitializer, %101 ], [ %142, %103 ]
%107 = phi i64 [ 0, %101 ], [ %144, %103 ]
%108 = getelementptr i32, i32* %3, i64 %104
%109 = bitcast i32* %108 to <4 x i32>*
%110 = load <4 x i32>, <4 x i32>* %109
%111 = getelementptr i32, i32* %108, i64 4
%112 = bitcast i32* %111 to <4 x i32>*
%113 = load <4 x i32>, <4 x i32>* %112
%114 = add <4 x i32> %110, %105
%115 = add <4 x i32> %113, %106
%116 = or i64 %104, 8
%117 = getelementptr i32, i32* %3, i64 %116
%118 = bitcast i32* %117 to <4 x i32>*
%119 = load <4 x i32>, <4 x i32>* %118
%120 = getelementptr i32, i32* %117, i64 4
%121 = bitcast i32* %120 to <4 x i32>*
%122 = load <4 x i32>, <4 x i32>* %121
%123 = add <4 x i32> %119, %114
%124 = add <4 x i32> %122, %115
%125 = or i64 %104, 16
%126 = getelementptr i32, i32* %3, i64 %125
%127 = bitcast i32* %126 to <4 x i32>*
%128 = load <4 x i32>, <4 x i32>* %127
%129 = getelementptr i32, i32* %126, i64 4
%130 = bitcast i32* %129 to <4 x i32>*
%131 = load <4 x i32>, <4 x i32>* %130
%132 = add <4 x i32> %128, %123
%133 = add <4 x i32> %131, %124
%134 = or i64 %104, 24
%135 = getelementptr i32, i32* %3, i64 %134
%136 = bitcast i32* %135 to <4 x i32>*
%137 = load <4 x i32>, <4 x i32>* %136
%138 = getelementptr i32, i32* %135, i64 4
%139 = bitcast i32* %138 to <4 x i32>*
%140 = load <4 x i32>, <4 x i32>* %139
%141 = add <4 x i32> %137, %132
%142 = add <4 x i32> %140, %133
%143 = add nuw i64 %104, 32
%144 = add i64 %107, 4
%145 = icmp eq i64 %144, %102
br i1 %145, label %146, label %103
146: ; preds = %103, %91
%147 = phi <4 x i32> [ undef, %91 ], [ %141, %103 ]
%148 = phi <4 x i32> [ undef, %91 ], [ %142, %103 ]
%149 = phi i64 [ 0, %91 ], [ %143, %103 ]
%150 = phi <4 x i32> [ zeroinitializer, %91 ], [ %141, %103 ]
%151 = phi <4 x i32> [ zeroinitializer, %91 ], [ %142, %103 ]
%152 = icmp eq i64 %99, 0
br i1 %152, label %169, label %153
153: ; preds = %146, %153
%154 = phi i64 [ %166, %153 ], [ %149, %146 ]
%155 = phi <4 x i32> [ %164, %153 ], [ %150, %146 ]
%156 = phi <4 x i32> [ %165, %153 ], [ %151, %146 ]
%157 = phi i64 [ %167, %153 ], [ 0, %146 ]
%158 = getelementptr i32, i32* %3, i64 %154
%159 = bitcast i32* %158 to <4 x i32>*
%160 = load <4 x i32>, <4 x i32>* %159
%161 = getelementptr i32, i32* %158, i64 4
%162 = bitcast i32* %161 to <4 x i32>*
%163 = load <4 x i32>, <4 x i32>* %162
%164 = add <4 x i32> %160, %155
%165 = add <4 x i32> %163, %156
%166 = add nuw i64 %154, 8
%167 = add i64 %157, 1
%168 = icmp eq i64 %167, %99
br i1 %168, label %169, label %153
169: ; preds = %153, %146
%170 = phi <4 x i32> [ %147, %146 ], [ %164, %153 ]
%171 = phi <4 x i32> [ %148, %146 ], [ %165, %153 ]
%172 = add <4 x i32> %171, %170
%173 = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %172)
%174 = icmp eq i64 %89, %92
br i1 %174, label %198, label %175
175: ; preds = %85, %169
%176 = phi i32 [ 0, %85 ], [ %173, %169 ]
%177 = phi i32* [ %3, %85 ], [ %93, %169 ]
%178 = phi i32 [ %0, %85 ], [ %95, %169 ]
br label %179
179: ; preds = %175, %179
%180 = phi i32 [ %185, %179 ], [ %176, %175 ]
%181 = phi i32* [ %183, %179 ], [ %177, %175 ]
%182 = phi i32 [ %186, %179 ], [ %178, %175 ]
%183 = getelementptr inbounds i32, i32* %181, i64 1
%184 = load i32, i32* %181
%185 = add nsw i32 %184, %180
%186 = add nsw i32 %182, 1
%187 = icmp eq i32 %186, %1
br i1 %187, label %198, label %179
188: ; preds = %80, %188
%189 = phi i32 [ %195, %188 ], [ %81, %80 ]
%190 = phi i32* [ %192, %188 ], [ %82, %80 ]
%191 = phi i32 [ %196, %188 ], [ %83, %80 ]
%192 = getelementptr inbounds i32, i32* %190, i64 1
%193 = load i32, i32* %190
%194 = add i32 %189, 1
%195 = add i32 %194, %193
%196 = add nsw i32 %191, 1
%197 = icmp eq i32 %196, %1
br i1 %197, label %198, label %188
198: ; preds = %188, %179, %74, %169, %7, %84
%199 = phi i32 [ 0, %84 ], [ 0, %7 ], [ %173, %169 ], [ %78, %74 ], [ %185, %179 ], [ %195, %188 ]
ret i32 %199
}