int runor(short *a, int na, short *b, int nb, short *c, int *pels) {
  register short la, lb;
  int ia, ib, ic, np = 0;
  short tmp[8192];
  if (!c)
    c = tmp;
  la = a[ia = 0];
  lb = b[ib = 0];
  c[ic = 0] = 0;
  while (1) {
    if (la <= lb) {
      if (((ia | ib) ^ ic) & 1)
        c[++ic] = la;
      else
        c[ic] += la;
      lb -= la;
      if (++ia >= na)
        break;
      la = a[ia];
    } else {
      if (((ia | ib) ^ ic) & 1)
        c[++ic] = lb;
      else
        c[ic] += lb;
      la -= lb;
      if (++ib >= nb)
        break;
      lb = b[ib];
    }
  }
  if (ia < na)
    while (1) {
      if ((ia ^ ic) & 1)
        c[++ic] = la;
      else
        c[ic] += la;
      if (++ia >= na)
        break;
      la = a[ia];
    }
  else
    while (1) {
      if ((ib ^ ic) & 1)
        c[++ic] = lb;
      else
        c[ic] += lb;
      if (++ib >= nb)
        break;
      lb = b[ib];
    }
  if (c == tmp)
    for (ia = 0; ia <= ic; ia++)
      np += a[ia] = c[ia];
  if (pels)
    *pels = np;
  return ic + 1;
}


x86 assembly (clang, -O0):
<runor>:
push   %rbp
mov    %rsp,%rbp
sub    $0x3fd0,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9,-0x30(%rbp)
movl   $0x0,-0x44(%rbp)
cmpq   $0x0,-0x28(%rbp)
jne    113e <runor+0x3e>
lea    -0x4050(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x8(%rbp),%rax
movl   $0x0,-0x38(%rbp)
mov    (%rax),%ax
mov    %ax,-0x32(%rbp)
mov    -0x18(%rbp),%rax
movl   $0x0,-0x3c(%rbp)
mov    (%rax),%ax
mov    %ax,-0x34(%rbp)
mov    -0x28(%rbp),%rax
movl   $0x0,-0x40(%rbp)
movw   $0x0,(%rax)
movswl -0x32(%rbp),%eax
movswl -0x34(%rbp),%ecx
cmp    %ecx,%eax
jg     1204 <runor+0x104>
mov    -0x38(%rbp),%eax
or     -0x3c(%rbp),%eax
xor    -0x40(%rbp),%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     11b4 <runor+0xb4>
mov    -0x32(%rbp),%dx
mov    -0x28(%rbp),%rax
mov    -0x40(%rbp),%ecx
add    $0x1,%ecx
mov    %ecx,-0x40(%rbp)
movslq %ecx,%rcx
mov    %dx,(%rax,%rcx,2)
jmp    11ca <runor+0xca>
movswl -0x32(%rbp),%esi
mov    -0x28(%rbp),%rax
movslq -0x40(%rbp),%rcx
movswl (%rax,%rcx,2),%edx
add    %esi,%edx
mov    %dx,(%rax,%rcx,2)
movswl -0x32(%rbp),%ecx
movswl -0x34(%rbp),%eax
sub    %ecx,%eax
mov    %ax,-0x34(%rbp)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
cmp    -0xc(%rbp),%eax
jl     11ef <runor+0xef>
jmp    1286 <runor+0x186>
mov    -0x8(%rbp),%rax
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,2),%ax
mov    %ax,-0x32(%rbp)
jmp    1281 <runor+0x181>
mov    -0x38(%rbp),%eax
or     -0x3c(%rbp),%eax
xor    -0x40(%rbp),%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     1236 <runor+0x136>
mov    -0x34(%rbp),%dx
mov    -0x28(%rbp),%rax
mov    -0x40(%rbp),%ecx
add    $0x1,%ecx
mov    %ecx,-0x40(%rbp)
movslq %ecx,%rcx
mov    %dx,(%rax,%rcx,2)
jmp    124c <runor+0x14c>
movswl -0x34(%rbp),%esi
mov    -0x28(%rbp),%rax
movslq -0x40(%rbp),%rcx
movswl (%rax,%rcx,2),%edx
add    %esi,%edx
mov    %dx,(%rax,%rcx,2)
movswl -0x34(%rbp),%ecx
movswl -0x32(%rbp),%eax
sub    %ecx,%eax
mov    %ax,-0x32(%rbp)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
cmp    -0x1c(%rbp),%eax
jl     1271 <runor+0x171>
jmp    1286 <runor+0x186>
mov    -0x18(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    (%rax,%rcx,2),%ax
mov    %ax,-0x34(%rbp)
jmp    1172 <runor+0x72>
mov    -0x38(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    130d <runor+0x20d>
jmp    1297 <runor+0x197>
mov    -0x38(%rbp),%eax
xor    -0x40(%rbp),%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     12c6 <runor+0x1c6>
mov    -0x32(%rbp),%dx
mov    -0x28(%rbp),%rax
mov    -0x40(%rbp),%ecx
add    $0x1,%ecx
mov    %ecx,-0x40(%rbp)
movslq %ecx,%rcx
mov    %dx,(%rax,%rcx,2)
jmp    12dc <runor+0x1dc>
movswl -0x32(%rbp),%esi
mov    -0x28(%rbp),%rax
movslq -0x40(%rbp),%rcx
movswl (%rax,%rcx,2),%edx
add    %esi,%edx
mov    %dx,(%rax,%rcx,2)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
cmp    -0xc(%rbp),%eax
jl     12f3 <runor+0x1f3>
jmp    1308 <runor+0x208>
mov    -0x8(%rbp),%rax
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,2),%ax
mov    %ax,-0x32(%rbp)
jmp    1297 <runor+0x197>
jmp    1388 <runor+0x288>
jmp    1312 <runor+0x212>
mov    -0x3c(%rbp),%eax
xor    -0x40(%rbp),%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     1341 <runor+0x241>
mov    -0x34(%rbp),%dx
mov    -0x28(%rbp),%rax
mov    -0x40(%rbp),%ecx
add    $0x1,%ecx
mov    %ecx,-0x40(%rbp)
movslq %ecx,%rcx
mov    %dx,(%rax,%rcx,2)
jmp    1357 <runor+0x257>
movswl -0x34(%rbp),%esi
mov    -0x28(%rbp),%rax
movslq -0x40(%rbp),%rcx
movswl (%rax,%rcx,2),%edx
add    %esi,%edx
mov    %dx,(%rax,%rcx,2)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
cmp    -0x1c(%rbp),%eax
jl     136e <runor+0x26e>
jmp    1383 <runor+0x283>
mov    -0x18(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    (%rax,%rcx,2),%ax
mov    %ax,-0x34(%rbp)
jmp    1312 <runor+0x212>
jmp    1388 <runor+0x288>
mov    -0x28(%rbp),%rax
lea    -0x4050(%rbp),%rcx
cmp    %rcx,%rax
jne    13e1 <runor+0x2e1>
movl   $0x0,-0x38(%rbp)
mov    -0x38(%rbp),%eax
cmp    -0x40(%rbp),%eax
jg     13dc <runor+0x2dc>
mov    -0x28(%rbp),%rax
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,2),%ax
mov    -0x8(%rbp),%rcx
movslq -0x38(%rbp),%rdx
mov    %ax,(%rcx,%rdx,2)
cwtl
add    -0x44(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    13a3 <runor+0x2a3>
jmp    13e1 <runor+0x2e1>
cmpq   $0x0,-0x30(%rbp)
je     13f5 <runor+0x2f5>
mov    -0x44(%rbp),%ecx
mov    -0x30(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x40(%rbp),%eax
add    $0x1,%eax
add    $0x3fd0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<runor>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
sub    $0x3f80,%rsp
test   %r8,%r8
lea    -0x80(%rsp),%r10
cmove  %r10,%r8
movzwl (%rdi),%ebx
movzwl (%rdx),%r11d
movw   $0x0,(%r8)
xor    %r14d,%r14d
xor    %r15d,%r15d
xor    %eax,%eax
lea    0x1(%r15),%ebp
movslq %ebp,%rbp
lea    (%rdx,%rbp,2),%r12
nopl   0x0(%rax,%rax,1)
mov    %r15d,%ebp
or     %r14d,%ebp
xor    %eax,%ebp
cmp    %r11w,%bx
jle    1190 <runor+0x90>
test   $0x1,%bpl
jne    1160 <runor+0x60>
movslq %eax,%rbp
add    %r11w,(%r8,%rbp,2)
jmp    116c <runor+0x6c>
xchg   %ax,%ax
movslq %eax,%rbp
add    $0x1,%eax
mov    %r11w,0x2(%r8,%rbp,2)
sub    %r11d,%ebx
lea    0x1(%r15),%ebp
cmp    %ecx,%ebp
jge    11c6 <runor+0xc6>
movzwl (%r12),%r11d
add    $0x2,%r12
add    $0x1,%r15d
jmp    1140 <runor+0x40>
cs nopw 0x0(%rax,%rax,1)
movslq %eax,%r12
test   $0x1,%bpl
jne    11a0 <runor+0xa0>
add    %bx,(%r8,%r12,2)
jmp    11ab <runor+0xab>
lea    0x1(%r12),%eax
mov    %bx,0x2(%r8,%r12,2)
sub    %ebx,%r11d
add    $0x1,%r14d
cmp    %esi,%r14d
jge    11c3 <runor+0xc3>
mov    %r14d,%ebx
movzwl (%rdi,%rbx,2),%ebx
jmp    1130 <runor+0x30>
mov    %r15d,%ebp
cmp    %esi,%r14d
jge    1219 <runor+0x119>
movslq %r14d,%rcx
add    $0xffffffff,%esi
movslq %esi,%rdx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %ecx,%ebp
xor    %eax,%ebp
movslq %eax,%rsi
test   $0x1,%bpl
jne    1200 <runor+0x100>
add    %bx,(%r8,%rsi,2)
cmp    %rcx,%rdx
jne    120e <runor+0x10e>
jmp    1258 <runor+0x158>
nopl   0x0(%rax)
lea    0x1(%rsi),%eax
mov    %bx,0x2(%r8,%rsi,2)
cmp    %rcx,%rdx
je     1258 <runor+0x158>
movzwl 0x2(%rdi,%rcx,2),%ebx
add    $0x1,%rcx
jmp    11e0 <runor+0xe0>
movslq %ebp,%rsi
movslq %ecx,%r14
nop
add    $0x1,%rsi
mov    %eax,%ecx
xor    %ebp,%ecx
movslq %eax,%rbx
test   $0x1,%cl
jne    1240 <runor+0x140>
add    %r11w,(%r8,%rbx,2)
cmp    %r14,%rsi
jl     124e <runor+0x14e>
jmp    1258 <runor+0x158>
nopl   0x0(%rax)
lea    0x1(%rbx),%eax
mov    %r11w,0x2(%r8,%rbx,2)
cmp    %r14,%rsi
jge    1258 <runor+0x158>
movzwl (%rdx,%rsi,2),%r11d
add    $0x1,%ebp
jmp    1220 <runor+0x120>
xor    %esi,%esi
cmp    %r10,%r8
jne    1384 <runor+0x284>
test   %eax,%eax
js     1384 <runor+0x284>
lea    0x1(%rax),%ecx
cmp    $0x7,%eax
jae    127c <runor+0x17c>
xor    %edx,%edx
xor    %esi,%esi
jmp    1370 <runor+0x270>
mov    %ecx,%edx
and    $0xfffffff8,%edx
lea    -0x8(%rdx),%rsi
mov    %rsi,%rbx
shr    $0x3,%rbx
add    $0x1,%rbx
test   %rsi,%rsi
je     139f <runor+0x29f>
mov    %rbx,%rsi
and    $0xfffffffffffffffe,%rsi
pxor   %xmm0,%xmm0
xor    %ebp,%ebp
pxor   %xmm1,%xmm1
nopw   0x0(%rax,%rax,1)
movq   -0x80(%rsp,%rbp,2),%xmm2
punpcklwd %xmm2,%xmm2
movq   -0x78(%rsp,%rbp,2),%xmm3
punpcklwd %xmm3,%xmm3
movaps -0x80(%rsp,%rbp,2),%xmm4
movups %xmm4,(%rdi,%rbp,2)
psrad  $0x10,%xmm2
paddd  %xmm0,%xmm2
psrad  $0x10,%xmm3
paddd  %xmm1,%xmm3
movq   -0x70(%rsp,%rbp,2),%xmm0
punpcklwd %xmm0,%xmm0
movq   -0x68(%rsp,%rbp,2),%xmm1
punpcklwd %xmm1,%xmm1
movaps -0x70(%rsp,%rbp,2),%xmm4
movups %xmm4,0x10(%rdi,%rbp,2)
psrad  $0x10,%xmm0
paddd  %xmm2,%xmm0
psrad  $0x10,%xmm1
paddd  %xmm3,%xmm1
add    $0x10,%rbp
add    $0xfffffffffffffffe,%rsi
jne    12b0 <runor+0x1b0>
test   $0x1,%bl
je     134d <runor+0x24d>
movq   -0x80(%rsp,%rbp,2),%xmm2
movq   -0x78(%rsp,%rbp,2),%xmm3
movaps -0x80(%rsp,%rbp,2),%xmm4
movups %xmm4,(%rdi,%rbp,2)
punpcklwd %xmm2,%xmm2
psrad  $0x10,%xmm2
paddd  %xmm2,%xmm0
punpcklwd %xmm3,%xmm2
psrad  $0x10,%xmm2
paddd  %xmm2,%xmm1
paddd  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%esi
cmp    %rcx,%rdx
je     1384 <runor+0x284>
nopl   0x0(%rax)
movswl -0x80(%rsp,%rdx,2),%ebp
mov    %bp,(%rdi,%rdx,2)
add    %ebp,%esi
add    $0x1,%rdx
cmp    %rdx,%rcx
jne    1370 <runor+0x270>
test   %r9,%r9
je     138c <runor+0x28c>
mov    %esi,(%r9)
add    $0x1,%eax
add    $0x3f80,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret
pxor   %xmm0,%xmm0
xor    %ebp,%ebp
pxor   %xmm1,%xmm1
test   $0x1,%bl
jne    131e <runor+0x21e>
jmp    134d <runor+0x24d>

LLVM IR (-O0):
define i32 @runor(i16* %0, i32 %1, i16* %2, i32 %3, i16* %4, i32* %5) {
%7 = alloca i16*
%8 = alloca i32
%9 = alloca i16*
%10 = alloca i32
%11 = alloca i16*
%12 = alloca i32*
%13 = alloca i16
%14 = alloca i16
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
%19 = alloca [8192 x i16]
store i16* %0, i16** %7
store i32 %1, i32* %8
store i16* %2, i16** %9
store i32 %3, i32* %10
store i16* %4, i16** %11
store i32* %5, i32** %12
store i32 0, i32* %18
%20 = load i16*, i16** %11
%21 = icmp ne i16* %20, null
br i1 %21, label %24, label %22
22: ; preds = %6
%23 = getelementptr inbounds [8192 x i16], [8192 x i16]* %19, i64 0, i64 0
store i16* %23, i16** %11
br label %24
24: ; preds = %22, %6
%25 = load i16*, i16** %7
store i32 0, i32* %15
%26 = getelementptr inbounds i16, i16* %25, i64 0
%27 = load i16, i16* %26
store i16 %27, i16* %13
%28 = load i16*, i16** %9
store i32 0, i32* %16
%29 = getelementptr inbounds i16, i16* %28, i64 0
%30 = load i16, i16* %29
store i16 %30, i16* %14
%31 = load i16*, i16** %11
store i32 0, i32* %17
%32 = getelementptr inbounds i16, i16* %31, i64 0
store i16 0, i16* %32
br label %33
33: ; preds = %24, %127
%34 = load i16, i16* %13
%35 = sext i16 %34 to i32
%36 = load i16, i16* %14
%37 = sext i16 %36 to i32
%38 = icmp sle i32 %35, %37
br i1 %38, label %39, label %83
39: ; preds = %33
%40 = load i32, i32* %15
%41 = load i32, i32* %16
%42 = or i32 %40, %41
%43 = load i32, i32* %17
%44 = xor i32 %42, %43
%45 = and i32 %44, 1
%46 = icmp ne i32 %45, 0
br i1 %46, label %47, label %54
47: ; preds = %39
%48 = load i16, i16* %13
%49 = load i16*, i16** %11
%50 = load i32, i32* %17
%51 = add nsw i32 %50, 1
store i32 %51, i32* %17
%52 = sext i32 %51 to i64
%53 = getelementptr inbounds i16, i16* %49, i64 %52
store i16 %48, i16* %53
br label %65
54: ; preds = %39
%55 = load i16, i16* %13
%56 = sext i16 %55 to i32
%57 = load i16*, i16** %11
%58 = load i32, i32* %17
%59 = sext i32 %58 to i64
%60 = getelementptr inbounds i16, i16* %57, i64 %59
%61 = load i16, i16* %60
%62 = sext i16 %61 to i32
%63 = add nsw i32 %62, %56
%64 = trunc i32 %63 to i16
store i16 %64, i16* %60
br label %65
65: ; preds = %54, %47
%66 = load i16, i16* %13
%67 = sext i16 %66 to i32
%68 = load i16, i16* %14
%69 = sext i16 %68 to i32
%70 = sub nsw i32 %69, %67
%71 = trunc i32 %70 to i16
store i16 %71, i16* %14
%72 = load i32, i32* %15
%73 = add nsw i32 %72, 1
store i32 %73, i32* %15
%74 = load i32, i32* %8
%75 = icmp sge i32 %73, %74
br i1 %75, label %76, label %77
76: ; preds = %65
br label %128
77: ; preds = %65
%78 = load i16*, i16** %7
%79 = load i32, i32* %15
%80 = sext i32 %79 to i64
%81 = getelementptr inbounds i16, i16* %78, i64 %80
%82 = load i16, i16* %81
store i16 %82, i16* %13
br label %127
83: ; preds = %33
%84 = load i32, i32* %15
%85 = load i32, i32* %16
%86 = or i32 %84, %85
%87 = load i32, i32* %17
%88 = xor i32 %86, %87
%89 = and i32 %88, 1
%90 = icmp ne i32 %89, 0
br i1 %90, label %91, label %98
91: ; preds = %83
%92 = load i16, i16* %14
%93 = load i16*, i16** %11
%94 = load i32, i32* %17
%95 = add nsw i32 %94, 1
store i32 %95, i32* %17
%96 = sext i32 %95 to i64
%97 = getelementptr inbounds i16, i16* %93, i64 %96
store i16 %92, i16* %97
br label %109
98: ; preds = %83
%99 = load i16, i16* %14
%100 = sext i16 %99 to i32
%101 = load i16*, i16** %11
%102 = load i32, i32* %17
%103 = sext i32 %102 to i64
%104 = getelementptr inbounds i16, i16* %101, i64 %103
%105 = load i16, i16* %104
%106 = sext i16 %105 to i32
%107 = add nsw i32 %106, %100
%108 = trunc i32 %107 to i16
store i16 %108, i16* %104
br label %109
109: ; preds = %98, %91
%110 = load i16, i16* %14
%111 = sext i16 %110 to i32
%112 = load i16, i16* %13
%113 = sext i16 %112 to i32
%114 = sub nsw i32 %113, %111
%115 = trunc i32 %114 to i16
store i16 %115, i16* %13
%116 = load i32, i32* %16
%117 = add nsw i32 %116, 1
store i32 %117, i32* %16
%118 = load i32, i32* %10
%119 = icmp sge i32 %117, %118
br i1 %119, label %120, label %121
120: ; preds = %109
br label %128
121: ; preds = %109
%122 = load i16*, i16** %9
%123 = load i32, i32* %16
%124 = sext i32 %123 to i64
%125 = getelementptr inbounds i16, i16* %122, i64 %124
%126 = load i16, i16* %125
store i16 %126, i16* %14
br label %127
127: ; preds = %121, %77
br label %33
128: ; preds = %120, %76
%129 = load i32, i32* %15
%130 = load i32, i32* %8
%131 = icmp slt i32 %129, %130
br i1 %131, label %132, label %170
132: ; preds = %128
br label %133
133: ; preds = %132, %163
%134 = load i32, i32* %15
%135 = load i32, i32* %17
%136 = xor i32 %134, %135
%137 = and i32 %136, 1
%138 = icmp ne i32 %137, 0
br i1 %138, label %139, label %146
139: ; preds = %133
%140 = load i16, i16* %13
%141 = load i16*, i16** %11
%142 = load i32, i32* %17
%143 = add nsw i32 %142, 1
store i32 %143, i32* %17
%144 = sext i32 %143 to i64
%145 = getelementptr inbounds i16, i16* %141, i64 %144
store i16 %140, i16* %145
br label %157
146: ; preds = %133
%147 = load i16, i16* %13
%148 = sext i16 %147 to i32
%149 = load i16*, i16** %11
%150 = load i32, i32* %17
%151 = sext i32 %150 to i64
%152 = getelementptr inbounds i16, i16* %149, i64 %151
%153 = load i16, i16* %152
%154 = sext i16 %153 to i32
%155 = add nsw i32 %154, %148
%156 = trunc i32 %155 to i16
store i16 %156, i16* %152
br label %157
157: ; preds = %146, %139
%158 = load i32, i32* %15
%159 = add nsw i32 %158, 1
store i32 %159, i32* %15
%160 = load i32, i32* %8
%161 = icmp sge i32 %159, %160
br i1 %161, label %162, label %163
162: ; preds = %157
br label %169
163: ; preds = %157
%164 = load i16*, i16** %7
%165 = load i32, i32* %15
%166 = sext i32 %165 to i64
%167 = getelementptr inbounds i16, i16* %164, i64 %166
%168 = load i16, i16* %167
store i16 %168, i16* %13
br label %133
169: ; preds = %162
br label %208
170: ; preds = %128
br label %171
171: ; preds = %170, %201
%172 = load i32, i32* %16
%173 = load i32, i32* %17
%174 = xor i32 %172, %173
%175 = and i32 %174, 1
%176 = icmp ne i32 %175, 0
br i1 %176, label %177, label %184
177: ; preds = %171
%178 = load i16, i16* %14
%179 = load i16*, i16** %11
%180 = load i32, i32* %17
%181 = add nsw i32 %180, 1
store i32 %181, i32* %17
%182 = sext i32 %181 to i64
%183 = getelementptr inbounds i16, i16* %179, i64 %182
store i16 %178, i16* %183
br label %195
184: ; preds = %171
%185 = load i16, i16* %14
%186 = sext i16 %185 to i32
%187 = load i16*, i16** %11
%188 = load i32, i32* %17
%189 = sext i32 %188 to i64
%190 = getelementptr inbounds i16, i16* %187, i64 %189
%191 = load i16, i16* %190
%192 = sext i16 %191 to i32
%193 = add nsw i32 %192, %186
%194 = trunc i32 %193 to i16
store i16 %194, i16* %190
br label %195
195: ; preds = %184, %177
%196 = load i32, i32* %16
%197 = add nsw i32 %196, 1
store i32 %197, i32* %16
%198 = load i32, i32* %10
%199 = icmp sge i32 %197, %198
br i1 %199, label %200, label %201
200: ; preds = %195
br label %207
201: ; preds = %195
%202 = load i16*, i16** %9
%203 = load i32, i32* %16
%204 = sext i32 %203 to i64
%205 = getelementptr inbounds i16, i16* %202, i64 %204
%206 = load i16, i16* %205
store i16 %206, i16* %14
br label %171
207: ; preds = %200
br label %208
208: ; preds = %207, %169
%209 = load i16*, i16** %11
%210 = getelementptr inbounds [8192 x i16], [8192 x i16]* %19, i64 0, i64 0
%211 = icmp eq i16* %209, %210
br i1 %211, label %212, label %234
212: ; preds = %208
store i32 0, i32* %15
br label %213
213: ; preds = %230, %212
%214 = load i32, i32* %15
%215 = load i32, i32* %17
%216 = icmp sle i32 %214, %215
br i1 %216, label %217, label %233
217: ; preds = %213
%218 = load i16*, i16** %11
%219 = load i32, i32* %15
%220 = sext i32 %219 to i64
%221 = getelementptr inbounds i16, i16* %218, i64 %220
%222 = load i16, i16* %221
%223 = load i16*, i16** %7
%224 = load i32, i32* %15
%225 = sext i32 %224 to i64
%226 = getelementptr inbounds i16, i16* %223, i64 %225
store i16 %222, i16* %226
%227 = sext i16 %222 to i32
%228 = load i32, i32* %18
%229 = add nsw i32 %228, %227
store i32 %229, i32* %18
br label %230
230: ; preds = %217
%231 = load i32, i32* %15
%232 = add nsw i32 %231, 1
store i32 %232, i32* %15
br label %213
233: ; preds = %213
br label %234
234: ; preds = %233, %208
%235 = load i32*, i32** %12
%236 = icmp ne i32* %235, null
br i1 %236, label %237, label %240
237: ; preds = %234
%238 = load i32, i32* %18
%239 = load i32*, i32** %12
store i32 %238, i32* %239
br label %240
240: ; preds = %237, %234
%241 = load i32, i32* %17
%242 = add nsw i32 %241, 1
ret i32 %242
}

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