void rec4(unsigned char *s, unsigned char *d, int lx, int lx2, int h) {
  unsigned char *dp, *sp, *sp2;
  unsigned int s1, s2, s3, s4;
  int j;
  sp = s;
  sp2 = s + lx;
  dp = d;
  for (j = 0; j < h; j++) {
    s1 = sp[0];
    s3 = sp2[0];
    dp[0] = (unsigned int)(s1 + (s2 = sp[1]) + s3 + (s4 = sp2[1]) + 2) >> 2;
    dp[1] = (unsigned int)(s2 + (s1 = sp[2]) + s4 + (s3 = sp2[2]) + 2) >> 2;
    dp[2] = (unsigned int)(s1 + (s2 = sp[3]) + s3 + (s4 = sp2[3]) + 2) >> 2;
    dp[3] = (unsigned int)(s2 + (s1 = sp[4]) + s4 + (s3 = sp2[4]) + 2) >> 2;
    dp[4] = (unsigned int)(s1 + (s2 = sp[5]) + s3 + (s4 = sp2[5]) + 2) >> 2;
    dp[5] = (unsigned int)(s2 + (s1 = sp[6]) + s4 + (s3 = sp2[6]) + 2) >> 2;
    dp[6] = (unsigned int)(s1 + (s2 = sp[7]) + s3 + (s4 = sp2[7]) + 2) >> 2;
    dp[7] = (unsigned int)(s2 + (s1 = sp[8]) + s4 + (s3 = sp2[8]) + 2) >> 2;
    dp[8] = (unsigned int)(s1 + (s2 = sp[9]) + s3 + (s4 = sp2[9]) + 2) >> 2;
    dp[9] = (unsigned int)(s2 + (s1 = sp[10]) + s4 + (s3 = sp2[10]) + 2) >> 2;
    dp[10] = (unsigned int)(s1 + (s2 = sp[11]) + s3 + (s4 = sp2[11]) + 2) >> 2;
    dp[11] = (unsigned int)(s2 + (s1 = sp[12]) + s4 + (s3 = sp2[12]) + 2) >> 2;
    dp[12] = (unsigned int)(s1 + (s2 = sp[13]) + s3 + (s4 = sp2[13]) + 2) >> 2;
    dp[13] = (unsigned int)(s2 + (s1 = sp[14]) + s4 + (s3 = sp2[14]) + 2) >> 2;
    dp[14] = (unsigned int)(s1 + (s2 = sp[15]) + s3 + (s4 = sp2[15]) + 2) >> 2;
    dp[15] = (unsigned int)(s2 + sp[16] + s4 + sp2[16] + 2) >> 2;
    sp += lx2;
    sp2 += lx2;
    dp += lx2;
  }
}


x86 assembly (clang, -O0):
<rec4>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
mov    %r8d,-0x1c(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x28(%rbp)
movl   $0x0,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    1486 <rec4+0x386>
mov    -0x30(%rbp),%rax
movzbl (%rax),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x38(%rbp),%rax
movzbl (%rax),%eax
mov    %eax,-0x44(%rbp)
mov    -0x3c(%rbp),%eax
mov    -0x30(%rbp),%rcx
movzbl 0x1(%rcx),%ecx
mov    %ecx,-0x40(%rbp)
add    %ecx,%eax
add    -0x44(%rbp),%eax
mov    -0x38(%rbp),%rcx
movzbl 0x1(%rcx),%ecx
mov    %ecx,-0x48(%rbp)
add    %ecx,%eax
add    $0x2,%eax
shr    $0x2,%eax
mov    %al,%cl
mov    -0x28(%rbp),%rax
mov    %cl,(%rax)
mov    -0x40(%rbp),%eax
mov    -0x30(%rbp),%rcx
movzbl 0x2(%rcx),%ecx
mov    %ecx,-0x3c(%rbp)
add    %ecx,%eax
add    -0x48(%rbp),%eax
mov    -0x38(%rbp),%rcx
movzbl 0x2(%rcx),%ecx
mov    %ecx,-0x44(%rbp)
add    %ecx,%eax
add    $0x2,%eax
shr    $0x2,%eax
mov    %al,%cl
mov    -0x28(%rbp),%rax
mov    %cl,0x1(%rax)
mov    -0x3c(%rbp),%eax
mov    -0x30(%rbp),%rcx
movzbl 0x3(%rcx),%ecx
mov    %ecx,-0x40(%rbp)
add    %ecx,%eax
add    -0x44(%rbp),%eax
mov    -0x38(%rbp),%rcx
movzbl 0x3(%rcx),%ecx
mov    %ecx,-0x48(%rbp)
add    %ecx,%eax
add    $0x2,%eax
shr    $0x2,%eax
mov    %al,%cl
mov    -0x28(%rbp),%rax
mov    %cl,0x2(%rax)
mov    -0x40(%rbp),%eax
mov    -0x30(%rbp),%rcx
movzbl 0x4(%rcx),%ecx
mov    %ecx,-0x3c(%rbp)
add    %ecx,%eax
add    -0x48(%rbp),%eax
mov    -0x38(%rbp),%rcx
movzbl 0x4(%rcx),%ecx
mov    %ecx,-0x44(%rbp)
add    %ecx,%eax
add    $0x2,%eax
shr    $0x2,%eax
mov    %al,%cl
mov    -0x28(%rbp),%rax
mov    %cl,0x3(%rax)
mov    -0x3c(%rbp),%eax
mov    -0x30(%rbp),%rcx
movzbl 0x5(%rcx),%ecx
mov    %ecx,-0x40(%rbp)
add    %ecx,%eax
add    -0x44(%rbp),%eax
mov    -0x38(%rbp),%rcx
movzbl 0x5(%rcx),%ecx
mov    %ecx,-0x48(%rbp)
add    %ecx,%eax
add    $0x2,%eax
shr    $0x2,%eax
mov    %al,%cl
mov    -0x28(%rbp),%rax
mov    %cl,0x4(%rax)
mov    -0x40(%rbp),%eax
mov    -0x30(%rbp),%rcx
movzbl 0x6(%rcx),%ecx
mov    %ecx,-0x3c(%rbp)
add    %ecx,%eax
add    -0x48(%rbp),%eax
mov    -0x38(%rbp),%rcx
movzbl 0x6(%rcx),%ecx
mov    %ecx,-0x44(%rbp)
add    %ecx,%eax
add    $0x2,%eax
shr    $0x2,%eax
mov    %al,%cl
mov    -0x28(%rbp),%rax
mov    %cl,0x5(%rax)
mov    -0x3c(%rbp),%eax
mov    -0x30(%rbp),%rcx
movzbl 0x7(%rcx),%ecx
mov    %ecx,-0x40(%rbp)
add    %ecx,%eax
add    -0x44(%rbp),%eax
mov    -0x38(%rbp),%rcx
movzbl 0x7(%rcx),%ecx
mov    %ecx,-0x48(%rbp)
add    %ecx,%eax
add    $0x2,%eax
shr    $0x2,%eax
mov    %al,%cl
mov    -0x28(%rbp),%rax
mov    %cl,0x6(%rax)
mov    -0x40(%rbp),%eax
mov    -0x30(%rbp),%rcx
movzbl 0x8(%rcx),%ecx
mov    %ecx,-0x3c(%rbp)
add    %ecx,%eax
add    -0x48(%rbp),%eax
mov    -0x38(%rbp),%rcx
movzbl 0x8(%rcx),%ecx
mov    %ecx,-0x44(%rbp)
add    %ecx,%eax
add    $0x2,%eax
shr    $0x2,%eax
mov    %al,%cl
mov    -0x28(%rbp),%rax
mov    %cl,0x7(%rax)
mov    -0x3c(%rbp),%eax
mov    -0x30(%rbp),%rcx
movzbl 0x9(%rcx),%ecx
mov    %ecx,-0x40(%rbp)
add    %ecx,%eax
add    -0x44(%rbp),%eax
mov    -0x38(%rbp),%rcx
movzbl 0x9(%rcx),%ecx
mov    %ecx,-0x48(%rbp)
add    %ecx,%eax
add    $0x2,%eax
shr    $0x2,%eax
mov    %al,%cl
mov    -0x28(%rbp),%rax
mov    %cl,0x8(%rax)
mov    -0x40(%rbp),%eax
mov    -0x30(%rbp),%rcx
movzbl 0xa(%rcx),%ecx
mov    %ecx,-0x3c(%rbp)
add    %ecx,%eax
add    -0x48(%rbp),%eax
mov    -0x38(%rbp),%rcx
movzbl 0xa(%rcx),%ecx
mov    %ecx,-0x44(%rbp)
add    %ecx,%eax
add    $0x2,%eax
shr    $0x2,%eax
mov    %al,%cl
mov    -0x28(%rbp),%rax
mov    %cl,0x9(%rax)
mov    -0x3c(%rbp),%eax
mov    -0x30(%rbp),%rcx
movzbl 0xb(%rcx),%ecx
mov    %ecx,-0x40(%rbp)
add    %ecx,%eax
add    -0x44(%rbp),%eax
mov    -0x38(%rbp),%rcx
movzbl 0xb(%rcx),%ecx
mov    %ecx,-0x48(%rbp)
add    %ecx,%eax
add    $0x2,%eax
shr    $0x2,%eax
mov    %al,%cl
mov    -0x28(%rbp),%rax
mov    %cl,0xa(%rax)
mov    -0x40(%rbp),%eax
mov    -0x30(%rbp),%rcx
movzbl 0xc(%rcx),%ecx
mov    %ecx,-0x3c(%rbp)
add    %ecx,%eax
add    -0x48(%rbp),%eax
mov    -0x38(%rbp),%rcx
movzbl 0xc(%rcx),%ecx
mov    %ecx,-0x44(%rbp)
add    %ecx,%eax
add    $0x2,%eax
shr    $0x2,%eax
mov    %al,%cl
mov    -0x28(%rbp),%rax
mov    %cl,0xb(%rax)
mov    -0x3c(%rbp),%eax
mov    -0x30(%rbp),%rcx
movzbl 0xd(%rcx),%ecx
mov    %ecx,-0x40(%rbp)
add    %ecx,%eax
add    -0x44(%rbp),%eax
mov    -0x38(%rbp),%rcx
movzbl 0xd(%rcx),%ecx
mov    %ecx,-0x48(%rbp)
add    %ecx,%eax
add    $0x2,%eax
shr    $0x2,%eax
mov    %al,%cl
mov    -0x28(%rbp),%rax
mov    %cl,0xc(%rax)
mov    -0x40(%rbp),%eax
mov    -0x30(%rbp),%rcx
movzbl 0xe(%rcx),%ecx
mov    %ecx,-0x3c(%rbp)
add    %ecx,%eax
add    -0x48(%rbp),%eax
mov    -0x38(%rbp),%rcx
movzbl 0xe(%rcx),%ecx
mov    %ecx,-0x44(%rbp)
add    %ecx,%eax
add    $0x2,%eax
shr    $0x2,%eax
mov    %al,%cl
mov    -0x28(%rbp),%rax
mov    %cl,0xd(%rax)
mov    -0x3c(%rbp),%eax
mov    -0x30(%rbp),%rcx
movzbl 0xf(%rcx),%ecx
mov    %ecx,-0x40(%rbp)
add    %ecx,%eax
add    -0x44(%rbp),%eax
mov    -0x38(%rbp),%rcx
movzbl 0xf(%rcx),%ecx
mov    %ecx,-0x48(%rbp)
add    %ecx,%eax
add    $0x2,%eax
shr    $0x2,%eax
mov    %al,%cl
mov    -0x28(%rbp),%rax
mov    %cl,0xe(%rax)
mov    -0x40(%rbp),%eax
mov    -0x30(%rbp),%rcx
movzbl 0x10(%rcx),%ecx
add    %ecx,%eax
add    -0x48(%rbp),%eax
mov    -0x38(%rbp),%rcx
movzbl 0x10(%rcx),%ecx
add    %ecx,%eax
add    $0x2,%eax
shr    $0x2,%eax
mov    %al,%cl
mov    -0x28(%rbp),%rax
mov    %cl,0xf(%rax)
mov    -0x18(%rbp),%ecx
mov    -0x30(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x30(%rbp)
mov    -0x18(%rbp),%ecx
mov    -0x38(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x18(%rbp),%ecx
mov    -0x28(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x28(%rbp)
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    113c <rec4+0x3c>
pop    %rbp
ret

x86 assembly (clang, -O2):
<rec4>:
push   %r15
push   %r14
push   %rbx
test   %r8d,%r8d
jle    12fa <rec4+0x1fa>
movslq %edx,%r14
movslq %ecx,%r9
add    %rdi,%r14
mov    $0xf,%edx
nopl   0x0(%rax)
movzbl -0xf(%rdi,%rdx,1),%r11d
movzbl -0xf(%r14,%rdx,1),%r10d
movzbl -0xe(%rdi,%rdx,1),%r15d
movzbl -0xe(%r14,%rdx,1),%ebx
lea    (%r15,%r11,1),%eax
add    $0x2,%eax
add    %r10d,%eax
add    %ebx,%eax
shr    $0x2,%eax
mov    %al,-0xf(%rsi,%rdx,1)
movzbl -0xd(%rdi,%rdx,1),%eax
movzbl -0xd(%r14,%rdx,1),%ecx
add    %r15d,%ebx
add    $0x2,%ebx
add    %eax,%ebx
add    %ecx,%ebx
shr    $0x2,%ebx
mov    %bl,-0xe(%rsi,%rdx,1)
movzbl -0xc(%rdi,%rdx,1),%ebx
movzbl -0xc(%r14,%rdx,1),%r10d
add    %ecx,%eax
add    %ebx,%eax
add    %r10d,%eax
add    $0x2,%eax
shr    $0x2,%eax
mov    %al,-0xd(%rsi,%rdx,1)
movzbl -0xb(%rdi,%rdx,1),%eax
movzbl -0xb(%r14,%rdx,1),%ecx
add    %r10d,%ebx
add    %eax,%ebx
add    %ecx,%ebx
add    $0x2,%ebx
shr    $0x2,%ebx
mov    %bl,-0xc(%rsi,%rdx,1)
movzbl -0xa(%rdi,%rdx,1),%ebx
movzbl -0xa(%r14,%rdx,1),%r10d
add    %ecx,%eax
add    %ebx,%eax
add    %r10d,%eax
add    $0x2,%eax
shr    $0x2,%eax
mov    %al,-0xb(%rsi,%rdx,1)
movzbl -0x9(%rdi,%rdx,1),%eax
movzbl -0x9(%r14,%rdx,1),%ecx
add    %r10d,%ebx
add    %eax,%ebx
add    %ecx,%ebx
add    $0x2,%ebx
shr    $0x2,%ebx
mov    %bl,-0xa(%rsi,%rdx,1)
movzbl -0x8(%rdi,%rdx,1),%ebx
movzbl -0x8(%r14,%rdx,1),%r10d
add    %ecx,%eax
add    %ebx,%eax
add    %r10d,%eax
add    $0x2,%eax
shr    $0x2,%eax
mov    %al,-0x9(%rsi,%rdx,1)
movzbl -0x7(%rdi,%rdx,1),%eax
movzbl -0x7(%r14,%rdx,1),%ecx
add    %r10d,%ebx
add    %eax,%ebx
add    %ecx,%ebx
add    $0x2,%ebx
shr    $0x2,%ebx
mov    %bl,-0x8(%rsi,%rdx,1)
movzbl -0x6(%rdi,%rdx,1),%ebx
movzbl -0x6(%r14,%rdx,1),%r10d
add    %ecx,%eax
add    %ebx,%eax
add    %r10d,%eax
add    $0x2,%eax
shr    $0x2,%eax
mov    %al,-0x7(%rsi,%rdx,1)
movzbl -0x5(%rdi,%rdx,1),%eax
movzbl -0x5(%r14,%rdx,1),%ecx
add    %r10d,%ebx
add    %eax,%ebx
add    %ecx,%ebx
add    $0x2,%ebx
shr    $0x2,%ebx
mov    %bl,-0x6(%rsi,%rdx,1)
movzbl -0x4(%rdi,%rdx,1),%ebx
movzbl -0x4(%r14,%rdx,1),%r10d
add    %ecx,%eax
add    %ebx,%eax
add    %r10d,%eax
add    $0x2,%eax
shr    $0x2,%eax
mov    %al,-0x5(%rsi,%rdx,1)
movzbl -0x3(%rdi,%rdx,1),%eax
movzbl -0x3(%r14,%rdx,1),%ecx
add    %r10d,%ebx
add    %eax,%ebx
add    %ecx,%ebx
add    $0x2,%ebx
shr    $0x2,%ebx
mov    %bl,-0x4(%rsi,%rdx,1)
movzbl -0x2(%rdi,%rdx,1),%ebx
movzbl -0x2(%r14,%rdx,1),%r10d
add    %ecx,%eax
add    %ebx,%eax
add    %r10d,%eax
add    $0x2,%eax
shr    $0x2,%eax
mov    %al,-0x3(%rsi,%rdx,1)
movzbl -0x1(%rdi,%rdx,1),%eax
movzbl -0x1(%r14,%rdx,1),%ecx
add    %r10d,%ebx
add    %eax,%ebx
add    %ecx,%ebx
add    $0x2,%ebx
shr    $0x2,%ebx
mov    %bl,-0x2(%rsi,%rdx,1)
movzbl (%rdi,%rdx,1),%ebx
movzbl (%r14,%rdx,1),%r10d
add    %ecx,%eax
add    %ebx,%eax
add    %r10d,%eax
add    $0x2,%eax
shr    $0x2,%eax
mov    %al,-0x1(%rsi,%rdx,1)
movzbl 0x1(%rdi,%rdx,1),%eax
movzbl 0x1(%r14,%rdx,1),%ecx
add    %r10d,%ebx
add    %eax,%ebx
lea    (%rcx,%rbx,1),%eax
add    $0x2,%eax
shr    $0x2,%eax
mov    %al,(%rsi,%rdx,1)
add    %r9,%rdx
add    $0xffffffff,%r8d
jne    1120 <rec4+0x20>
pop    %rbx
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define void @rec4(i8* %0, i8* %1, i32 %2, i32 %3, i32 %4) {
%6 = alloca i8*
%7 = alloca i8*
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i8*
%12 = alloca i8*
%13 = alloca i8*
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
store i8* %0, i8** %6
store i8* %1, i8** %7
store i32 %2, i32* %8
store i32 %3, i32* %9
store i32 %4, i32* %10
%19 = load i8*, i8** %6
store i8* %19, i8** %12
%20 = load i8*, i8** %6
%21 = load i32, i32* %8
%22 = sext i32 %21 to i64
%23 = getelementptr inbounds i8, i8* %20, i64 %22
store i8* %23, i8** %13
%24 = load i8*, i8** %7
store i8* %24, i8** %11
store i32 0, i32* %18
br label %25
25: ; preds = %338, %5
%26 = load i32, i32* %18
%27 = load i32, i32* %10
%28 = icmp slt i32 %26, %27
br i1 %28, label %29, label %341
29: ; preds = %25
%30 = load i8*, i8** %12
%31 = getelementptr inbounds i8, i8* %30, i64 0
%32 = load i8, i8* %31
%33 = zext i8 %32 to i32
store i32 %33, i32* %14
%34 = load i8*, i8** %13
%35 = getelementptr inbounds i8, i8* %34, i64 0
%36 = load i8, i8* %35
%37 = zext i8 %36 to i32
store i32 %37, i32* %16
%38 = load i32, i32* %14
%39 = load i8*, i8** %12
%40 = getelementptr inbounds i8, i8* %39, i64 1
%41 = load i8, i8* %40
%42 = zext i8 %41 to i32
store i32 %42, i32* %15
%43 = add i32 %38, %42
%44 = load i32, i32* %16
%45 = add i32 %43, %44
%46 = load i8*, i8** %13
%47 = getelementptr inbounds i8, i8* %46, i64 1
%48 = load i8, i8* %47
%49 = zext i8 %48 to i32
store i32 %49, i32* %17
%50 = add i32 %45, %49
%51 = add i32 %50, 2
%52 = lshr i32 %51, 2
%53 = trunc i32 %52 to i8
%54 = load i8*, i8** %11
%55 = getelementptr inbounds i8, i8* %54, i64 0
store i8 %53, i8* %55
%56 = load i32, i32* %15
%57 = load i8*, i8** %12
%58 = getelementptr inbounds i8, i8* %57, i64 2
%59 = load i8, i8* %58
%60 = zext i8 %59 to i32
store i32 %60, i32* %14
%61 = add i32 %56, %60
%62 = load i32, i32* %17
%63 = add i32 %61, %62
%64 = load i8*, i8** %13
%65 = getelementptr inbounds i8, i8* %64, i64 2
%66 = load i8, i8* %65
%67 = zext i8 %66 to i32
store i32 %67, i32* %16
%68 = add i32 %63, %67
%69 = add i32 %68, 2
%70 = lshr i32 %69, 2
%71 = trunc i32 %70 to i8
%72 = load i8*, i8** %11
%73 = getelementptr inbounds i8, i8* %72, i64 1
store i8 %71, i8* %73
%74 = load i32, i32* %14
%75 = load i8*, i8** %12
%76 = getelementptr inbounds i8, i8* %75, i64 3
%77 = load i8, i8* %76
%78 = zext i8 %77 to i32
store i32 %78, i32* %15
%79 = add i32 %74, %78
%80 = load i32, i32* %16
%81 = add i32 %79, %80
%82 = load i8*, i8** %13
%83 = getelementptr inbounds i8, i8* %82, i64 3
%84 = load i8, i8* %83
%85 = zext i8 %84 to i32
store i32 %85, i32* %17
%86 = add i32 %81, %85
%87 = add i32 %86, 2
%88 = lshr i32 %87, 2
%89 = trunc i32 %88 to i8
%90 = load i8*, i8** %11
%91 = getelementptr inbounds i8, i8* %90, i64 2
store i8 %89, i8* %91
%92 = load i32, i32* %15
%93 = load i8*, i8** %12
%94 = getelementptr inbounds i8, i8* %93, i64 4
%95 = load i8, i8* %94
%96 = zext i8 %95 to i32
store i32 %96, i32* %14
%97 = add i32 %92, %96
%98 = load i32, i32* %17
%99 = add i32 %97, %98
%100 = load i8*, i8** %13
%101 = getelementptr inbounds i8, i8* %100, i64 4
%102 = load i8, i8* %101
%103 = zext i8 %102 to i32
store i32 %103, i32* %16
%104 = add i32 %99, %103
%105 = add i32 %104, 2
%106 = lshr i32 %105, 2
%107 = trunc i32 %106 to i8
%108 = load i8*, i8** %11
%109 = getelementptr inbounds i8, i8* %108, i64 3
store i8 %107, i8* %109
%110 = load i32, i32* %14
%111 = load i8*, i8** %12
%112 = getelementptr inbounds i8, i8* %111, i64 5
%113 = load i8, i8* %112
%114 = zext i8 %113 to i32
store i32 %114, i32* %15
%115 = add i32 %110, %114
%116 = load i32, i32* %16
%117 = add i32 %115, %116
%118 = load i8*, i8** %13
%119 = getelementptr inbounds i8, i8* %118, i64 5
%120 = load i8, i8* %119
%121 = zext i8 %120 to i32
store i32 %121, i32* %17
%122 = add i32 %117, %121
%123 = add i32 %122, 2
%124 = lshr i32 %123, 2
%125 = trunc i32 %124 to i8
%126 = load i8*, i8** %11
%127 = getelementptr inbounds i8, i8* %126, i64 4
store i8 %125, i8* %127
%128 = load i32, i32* %15
%129 = load i8*, i8** %12
%130 = getelementptr inbounds i8, i8* %129, i64 6
%131 = load i8, i8* %130
%132 = zext i8 %131 to i32
store i32 %132, i32* %14
%133 = add i32 %128, %132
%134 = load i32, i32* %17
%135 = add i32 %133, %134
%136 = load i8*, i8** %13
%137 = getelementptr inbounds i8, i8* %136, i64 6
%138 = load i8, i8* %137
%139 = zext i8 %138 to i32
store i32 %139, i32* %16
%140 = add i32 %135, %139
%141 = add i32 %140, 2
%142 = lshr i32 %141, 2
%143 = trunc i32 %142 to i8
%144 = load i8*, i8** %11
%145 = getelementptr inbounds i8, i8* %144, i64 5
store i8 %143, i8* %145
%146 = load i32, i32* %14
%147 = load i8*, i8** %12
%148 = getelementptr inbounds i8, i8* %147, i64 7
%149 = load i8, i8* %148
%150 = zext i8 %149 to i32
store i32 %150, i32* %15
%151 = add i32 %146, %150
%152 = load i32, i32* %16
%153 = add i32 %151, %152
%154 = load i8*, i8** %13
%155 = getelementptr inbounds i8, i8* %154, i64 7
%156 = load i8, i8* %155
%157 = zext i8 %156 to i32
store i32 %157, i32* %17
%158 = add i32 %153, %157
%159 = add i32 %158, 2
%160 = lshr i32 %159, 2
%161 = trunc i32 %160 to i8
%162 = load i8*, i8** %11
%163 = getelementptr inbounds i8, i8* %162, i64 6
store i8 %161, i8* %163
%164 = load i32, i32* %15
%165 = load i8*, i8** %12
%166 = getelementptr inbounds i8, i8* %165, i64 8
%167 = load i8, i8* %166
%168 = zext i8 %167 to i32
store i32 %168, i32* %14
%169 = add i32 %164, %168
%170 = load i32, i32* %17
%171 = add i32 %169, %170
%172 = load i8*, i8** %13
%173 = getelementptr inbounds i8, i8* %172, i64 8
%174 = load i8, i8* %173
%175 = zext i8 %174 to i32
store i32 %175, i32* %16
%176 = add i32 %171, %175
%177 = add i32 %176, 2
%178 = lshr i32 %177, 2
%179 = trunc i32 %178 to i8
%180 = load i8*, i8** %11
%181 = getelementptr inbounds i8, i8* %180, i64 7
store i8 %179, i8* %181
%182 = load i32, i32* %14
%183 = load i8*, i8** %12
%184 = getelementptr inbounds i8, i8* %183, i64 9
%185 = load i8, i8* %184
%186 = zext i8 %185 to i32
store i32 %186, i32* %15
%187 = add i32 %182, %186
%188 = load i32, i32* %16
%189 = add i32 %187, %188
%190 = load i8*, i8** %13
%191 = getelementptr inbounds i8, i8* %190, i64 9
%192 = load i8, i8* %191
%193 = zext i8 %192 to i32
store i32 %193, i32* %17
%194 = add i32 %189, %193
%195 = add i32 %194, 2
%196 = lshr i32 %195, 2
%197 = trunc i32 %196 to i8
%198 = load i8*, i8** %11
%199 = getelementptr inbounds i8, i8* %198, i64 8
store i8 %197, i8* %199
%200 = load i32, i32* %15
%201 = load i8*, i8** %12
%202 = getelementptr inbounds i8, i8* %201, i64 10
%203 = load i8, i8* %202
%204 = zext i8 %203 to i32
store i32 %204, i32* %14
%205 = add i32 %200, %204
%206 = load i32, i32* %17
%207 = add i32 %205, %206
%208 = load i8*, i8** %13
%209 = getelementptr inbounds i8, i8* %208, i64 10
%210 = load i8, i8* %209
%211 = zext i8 %210 to i32
store i32 %211, i32* %16
%212 = add i32 %207, %211
%213 = add i32 %212, 2
%214 = lshr i32 %213, 2
%215 = trunc i32 %214 to i8
%216 = load i8*, i8** %11
%217 = getelementptr inbounds i8, i8* %216, i64 9
store i8 %215, i8* %217
%218 = load i32, i32* %14
%219 = load i8*, i8** %12
%220 = getelementptr inbounds i8, i8* %219, i64 11
%221 = load i8, i8* %220
%222 = zext i8 %221 to i32
store i32 %222, i32* %15
%223 = add i32 %218, %222
%224 = load i32, i32* %16
%225 = add i32 %223, %224
%226 = load i8*, i8** %13
%227 = getelementptr inbounds i8, i8* %226, i64 11
%228 = load i8, i8* %227
%229 = zext i8 %228 to i32
store i32 %229, i32* %17
%230 = add i32 %225, %229
%231 = add i32 %230, 2
%232 = lshr i32 %231, 2
%233 = trunc i32 %232 to i8
%234 = load i8*, i8** %11
%235 = getelementptr inbounds i8, i8* %234, i64 10
store i8 %233, i8* %235
%236 = load i32, i32* %15
%237 = load i8*, i8** %12
%238 = getelementptr inbounds i8, i8* %237, i64 12
%239 = load i8, i8* %238
%240 = zext i8 %239 to i32
store i32 %240, i32* %14
%241 = add i32 %236, %240
%242 = load i32, i32* %17
%243 = add i32 %241, %242
%244 = load i8*, i8** %13
%245 = getelementptr inbounds i8, i8* %244, i64 12
%246 = load i8, i8* %245
%247 = zext i8 %246 to i32
store i32 %247, i32* %16
%248 = add i32 %243, %247
%249 = add i32 %248, 2
%250 = lshr i32 %249, 2
%251 = trunc i32 %250 to i8
%252 = load i8*, i8** %11
%253 = getelementptr inbounds i8, i8* %252, i64 11
store i8 %251, i8* %253
%254 = load i32, i32* %14
%255 = load i8*, i8** %12
%256 = getelementptr inbounds i8, i8* %255, i64 13
%257 = load i8, i8* %256
%258 = zext i8 %257 to i32
store i32 %258, i32* %15
%259 = add i32 %254, %258
%260 = load i32, i32* %16
%261 = add i32 %259, %260
%262 = load i8*, i8** %13
%263 = getelementptr inbounds i8, i8* %262, i64 13
%264 = load i8, i8* %263
%265 = zext i8 %264 to i32
store i32 %265, i32* %17
%266 = add i32 %261, %265
%267 = add i32 %266, 2
%268 = lshr i32 %267, 2
%269 = trunc i32 %268 to i8
%270 = load i8*, i8** %11
%271 = getelementptr inbounds i8, i8* %270, i64 12
store i8 %269, i8* %271
%272 = load i32, i32* %15
%273 = load i8*, i8** %12
%274 = getelementptr inbounds i8, i8* %273, i64 14
%275 = load i8, i8* %274
%276 = zext i8 %275 to i32
store i32 %276, i32* %14
%277 = add i32 %272, %276
%278 = load i32, i32* %17
%279 = add i32 %277, %278
%280 = load i8*, i8** %13
%281 = getelementptr inbounds i8, i8* %280, i64 14
%282 = load i8, i8* %281
%283 = zext i8 %282 to i32
store i32 %283, i32* %16
%284 = add i32 %279, %283
%285 = add i32 %284, 2
%286 = lshr i32 %285, 2
%287 = trunc i32 %286 to i8
%288 = load i8*, i8** %11
%289 = getelementptr inbounds i8, i8* %288, i64 13
store i8 %287, i8* %289
%290 = load i32, i32* %14
%291 = load i8*, i8** %12
%292 = getelementptr inbounds i8, i8* %291, i64 15
%293 = load i8, i8* %292
%294 = zext i8 %293 to i32
store i32 %294, i32* %15
%295 = add i32 %290, %294
%296 = load i32, i32* %16
%297 = add i32 %295, %296
%298 = load i8*, i8** %13
%299 = getelementptr inbounds i8, i8* %298, i64 15
%300 = load i8, i8* %299
%301 = zext i8 %300 to i32
store i32 %301, i32* %17
%302 = add i32 %297, %301
%303 = add i32 %302, 2
%304 = lshr i32 %303, 2
%305 = trunc i32 %304 to i8
%306 = load i8*, i8** %11
%307 = getelementptr inbounds i8, i8* %306, i64 14
store i8 %305, i8* %307
%308 = load i32, i32* %15
%309 = load i8*, i8** %12
%310 = getelementptr inbounds i8, i8* %309, i64 16
%311 = load i8, i8* %310
%312 = zext i8 %311 to i32
%313 = add i32 %308, %312
%314 = load i32, i32* %17
%315 = add i32 %313, %314
%316 = load i8*, i8** %13
%317 = getelementptr inbounds i8, i8* %316, i64 16
%318 = load i8, i8* %317
%319 = zext i8 %318 to i32
%320 = add i32 %315, %319
%321 = add i32 %320, 2
%322 = lshr i32 %321, 2
%323 = trunc i32 %322 to i8
%324 = load i8*, i8** %11
%325 = getelementptr inbounds i8, i8* %324, i64 15
store i8 %323, i8* %325
%326 = load i32, i32* %9
%327 = load i8*, i8** %12
%328 = sext i32 %326 to i64
%329 = getelementptr inbounds i8, i8* %327, i64 %328
store i8* %329, i8** %12
%330 = load i32, i32* %9
%331 = load i8*, i8** %13
%332 = sext i32 %330 to i64
%333 = getelementptr inbounds i8, i8* %331, i64 %332
store i8* %333, i8** %13
%334 = load i32, i32* %9
%335 = load i8*, i8** %11
%336 = sext i32 %334 to i64
%337 = getelementptr inbounds i8, i8* %335, i64 %336
store i8* %337, i8** %11
br label %338
338: ; preds = %29
%339 = load i32, i32* %18
%340 = add nsw i32 %339, 1
store i32 %340, i32* %18
br label %25
341: ; preds = %25
ret void
}

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