#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */
typedef int uint8_t;

/* Variables and functions */
int /*<<< orphan*/ inc_t(int *, int const);
int /*<<< orphan*/ memcpy(int *, int const *const, int);
void ctr_mode(uint8_t *const data, const int length, uint8_t *ciphertext,
              void *const ciphercontext, const uint8_t *const nonce,
              int noncelength,
              void (*cipher)(uint8_t *plain, uint8_t *ciphertext,
                             void *ciphercontext),
              const int cipherblocklength) {
  int i, j, blocks, offset, limit;
  uint8_t t[cipherblocklength], o[cipherblocklength];
  blocks = (length % cipherblocklength) ? length / cipherblocklength + 1
                                        : length / cipherblocklength;
  memcpy(t + (cipherblocklength - noncelength), nonce, noncelength);
  for (i = 0; i < blocks; i++) {
    if (i)
      inc_t(t, cipherblocklength);
    cipher(t, o, ciphercontext);
    offset = cipherblocklength * i;
    limit = (length - offset >= cipherblocklength) ? cipherblocklength
                                                   : length - offset;
    for (j = 0; j < limit; j++) {
      ciphertext[offset + j] = data[offset + j] ^ o[j];
    }
  }
}


x86 assembly (clang, -O0):
<ctr_mode>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    0x18(%rbp),%eax
mov    0x10(%rbp),%rax
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9d,-0x2c(%rbp)
mov    0x18(%rbp),%eax
mov    %rsp,%rcx
mov    %rcx,-0x48(%rbp)
lea    0xf(,%rax,4),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x68(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x50(%rbp)
mov    0x18(%rbp),%eax
lea    0xf(,%rax,4),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x60(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x58(%rbp)
mov    -0xc(%rbp),%eax
cltd
idivl  0x18(%rbp)
cmp    $0x0,%edx
je     11af <ctr_mode+0x8f>
mov    -0xc(%rbp),%eax
cltd
idivl  0x18(%rbp)
add    $0x1,%eax
mov    %eax,-0x6c(%rbp)
jmp    11b9 <ctr_mode+0x99>
mov    -0xc(%rbp),%eax
cltd
idivl  0x18(%rbp)
mov    %eax,-0x6c(%rbp)
mov    -0x68(%rbp),%rdi
mov    -0x6c(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    0x18(%rbp),%eax
sub    -0x2c(%rbp),%eax
cltq
shl    $0x2,%rax
add    %rax,%rdi
mov    -0x28(%rbp),%rsi
mov    -0x2c(%rbp),%edx
call   1030 <memcpy@plt>
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x38(%rbp),%eax
jge    12ab <ctr_mode+0x18b>
cmpl   $0x0,-0x30(%rbp)
je     1207 <ctr_mode+0xe7>
mov    -0x68(%rbp),%rdi
mov    0x18(%rbp),%esi
call   1040 <inc_t@plt>
mov    -0x60(%rbp),%rsi
mov    -0x68(%rbp),%rdi
mov    0x10(%rbp),%rax
mov    -0x20(%rbp),%rdx
call   *%rax
mov    0x18(%rbp),%eax
imul   -0x30(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0xc(%rbp),%eax
sub    -0x3c(%rbp),%eax
cmp    0x18(%rbp),%eax
jl     123d <ctr_mode+0x11d>
mov    0x18(%rbp),%eax
mov    %eax,-0x70(%rbp)
jmp    1246 <ctr_mode+0x126>
mov    -0xc(%rbp),%eax
sub    -0x3c(%rbp),%eax
mov    %eax,-0x70(%rbp)
mov    -0x70(%rbp),%eax
mov    %eax,-0x40(%rbp)
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x40(%rbp),%eax
jge    1298 <ctr_mode+0x178>
mov    -0x60(%rbp),%rax
mov    -0x8(%rbp),%rcx
mov    -0x3c(%rbp),%edx
add    -0x34(%rbp),%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%edx
movslq -0x34(%rbp),%rcx
xor    (%rax,%rcx,4),%edx
mov    -0x18(%rbp),%rax
mov    -0x3c(%rbp),%ecx
add    -0x34(%rbp),%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1253 <ctr_mode+0x133>
jmp    129d <ctr_mode+0x17d>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    11e5 <ctr_mode+0xc5>
mov    -0x48(%rbp),%rax
mov    %rax,%rsp
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<ctr_mode>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x58,%rsp
mov    %rcx,-0x68(%rbp)
mov    %rdx,-0x38(%rbp)
mov    %esi,%r12d
mov    %rdi,-0x30(%rbp)
mov    0x18(%rbp),%r15d
mov    %rsp,%rcx
lea    0xf(,%r15,4),%rax
and    $0xfffffffffffffff0,%rax
sub    %rax,%rcx
mov    %rcx,%rsp
mov    %rsp,%r14
sub    %rax,%r14
mov    %r14,%rsp
mov    %esi,%eax
cltd
idiv   %r15d
mov    %eax,%r13d
xor    %ebx,%ebx
test   %edx,%edx
setne  %bl
mov    %r15d,%eax
sub    %r9d,%eax
cltq
mov    %rcx,-0x40(%rbp)
lea    (%rcx,%rax,4),%rdi
mov    %r8,%rsi
mov    %r9d,%edx
call   1030 <memcpy@plt>
add    %r13d,%ebx
jle    1353 <ctr_mode+0x233>
movslq %r15d,%r9
movslq %r12d,%rax
mov    %rax,-0x58(%rbp)
mov    %ebx,%eax
mov    %rax,-0x50(%rbp)
mov    -0x38(%rbp),%r12
lea    0x30(%r12),%r13
lea    0x0(,%r9,4),%rax
mov    %rax,-0x48(%rbp)
mov    -0x30(%rbp),%r15
lea    0x30(%r15),%rbx
xor    %ecx,%ecx
mov    %r9,-0x60(%rbp)
jmp    11f2 <ctr_mode+0xd2>
nopl   0x0(%rax,%rax,1)
mov    -0x78(%rbp),%rcx
add    $0x1,%rcx
mov    -0x48(%rbp),%rax
add    %rax,%r13
add    %rax,%rbx
add    %rax,%r15
add    %rax,%r12
cmp    -0x50(%rbp),%rcx
je     1353 <ctr_mode+0x233>
mov    %rcx,%rax
imul   %r9,%rax
mov    %rax,-0x70(%rbp)
mov    %rcx,-0x78(%rbp)
test   %rcx,%rcx
mov    -0x40(%rbp),%rdi
je     121a <ctr_mode+0xfa>
mov    -0x40(%rbp),%rdi
mov    0x18(%rbp),%esi
call   1040 <inc_t@plt>
mov    -0x40(%rbp),%rdi
mov    %r14,%rsi
mov    -0x68(%rbp),%rdx
call   *0x10(%rbp)
mov    -0x58(%rbp),%rcx
mov    -0x70(%rbp),%r10
sub    %r10,%rcx
mov    -0x60(%rbp),%r9
cmp    %r9,%rcx
mov    0x18(%rbp),%eax
cmovge %eax,%ecx
test   %ecx,%ecx
jle    11d0 <ctr_mode+0xb0>
mov    %ecx,%eax
cmp    $0x8,%ecx
jae    1250 <ctr_mode+0x130>
xor    %ecx,%ecx
jmp    1330 <ctr_mode+0x210>
xchg   %ax,%ax
mov    -0x38(%rbp),%rcx
lea    (%rcx,%r10,4),%rcx
mov    -0x30(%rbp),%rdx
lea    (%rdx,%r10,4),%rdx
lea    (%rdx,%rax,4),%rsi
cmp    %rsi,%rcx
jae    1279 <ctr_mode+0x159>
lea    (%rcx,%rax,4),%rcx
cmp    %rcx,%rdx
jae    1279 <ctr_mode+0x159>
xor    %ecx,%ecx
jmp    1330 <ctr_mode+0x210>
mov    %eax,%ecx
and    $0xfffffff8,%ecx
lea    -0x8(%rcx),%rsi
mov    %rsi,%rdx
shr    $0x3,%rdx
add    $0x1,%rdx
test   %rsi,%rsi
je     134a <ctr_mode+0x22a>
mov    %rdx,%rdi
and    $0xfffffffffffffffe,%rdi
xor    %esi,%esi
nop
movups -0x30(%rbx,%rsi,4),%xmm0
movups -0x20(%rbx,%rsi,4),%xmm1
xorps  (%r14,%rsi,4),%xmm0
xorps  0x10(%r14,%rsi,4),%xmm1
movups %xmm0,-0x30(%r13,%rsi,4)
movups %xmm1,-0x20(%r13,%rsi,4)
movups -0x10(%rbx,%rsi,4),%xmm0
movups (%rbx,%rsi,4),%xmm1
xorps  0x20(%r14,%rsi,4),%xmm0
xorps  0x30(%r14,%rsi,4),%xmm1
movups %xmm0,-0x10(%r13,%rsi,4)
movups %xmm1,0x0(%r13,%rsi,4)
add    $0x10,%rsi
add    $0xfffffffffffffffe,%rdi
jne    12a0 <ctr_mode+0x180>
test   $0x1,%dl
je     131d <ctr_mode+0x1fd>
add    %rsi,%r10
mov    -0x30(%rbp),%rdx
movups (%rdx,%r10,4),%xmm0
movups 0x10(%rdx,%r10,4),%xmm1
xorps  (%r14,%rsi,4),%xmm0
xorps  0x10(%r14,%rsi,4),%xmm1
mov    -0x38(%rbp),%rdx
movups %xmm0,(%rdx,%r10,4)
movups %xmm1,0x10(%rdx,%r10,4)
cmp    %rax,%rcx
je     11d0 <ctr_mode+0xb0>
cs nopw 0x0(%rax,%rax,1)
mov    (%r14,%rcx,4),%edx
xor    (%r15,%rcx,4),%edx
mov    %edx,(%r12,%rcx,4)
add    $0x1,%rcx
cmp    %rax,%rcx
jb     1330 <ctr_mode+0x210>
jmp    11d0 <ctr_mode+0xb0>
xor    %esi,%esi
test   $0x1,%dl
jne    12f1 <ctr_mode+0x1d1>
jmp    131d <ctr_mode+0x1fd>
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @ctr_mode(i32* %0, i32 %1, i32* %2, i8* %3, i32* %4, i32 %5, void (i32*, i32*, i8*)* %6, i32 %7) {
%9 = alloca i32*
%10 = alloca i32
%11 = alloca i32*
%12 = alloca i8*
%13 = alloca i32*
%14 = alloca i32
%15 = alloca void (i32*, i32*, i8*)*
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
%19 = alloca i32
%20 = alloca i32
%21 = alloca i32
%22 = alloca i8*
%23 = alloca i64
%24 = alloca i64
store i32* %0, i32** %9
store i32 %1, i32* %10
store i32* %2, i32** %11
store i8* %3, i8** %12
store i32* %4, i32** %13
store i32 %5, i32* %14
store void (i32*, i32*, i8*)* %6, void (i32*, i32*, i8*)** %15
store i32 %7, i32* %16
%25 = load i32, i32* %16
%26 = zext i32 %25 to i64
%27 = call i8* @llvm.stacksave()
store i8* %27, i8** %22
%28 = alloca i32, i64 %26
store i64 %26, i64* %23
%29 = load i32, i32* %16
%30 = zext i32 %29 to i64
%31 = alloca i32, i64 %30
store i64 %30, i64* %24
%32 = load i32, i32* %10
%33 = load i32, i32* %16
%34 = srem i32 %32, %33
%35 = icmp ne i32 %34, 0
br i1 %35, label %36, label %41
36: ; preds = %8
%37 = load i32, i32* %10
%38 = load i32, i32* %16
%39 = sdiv i32 %37, %38
%40 = add nsw i32 %39, 1
br label %45
41: ; preds = %8
%42 = load i32, i32* %10
%43 = load i32, i32* %16
%44 = sdiv i32 %42, %43
br label %45
45: ; preds = %41, %36
%46 = phi i32 [ %40, %36 ], [ %44, %41 ]
store i32 %46, i32* %19
%47 = load i32, i32* %16
%48 = load i32, i32* %14
%49 = sub nsw i32 %47, %48
%50 = sext i32 %49 to i64
%51 = getelementptr inbounds i32, i32* %28, i64 %50
%52 = load i32*, i32** %13
%53 = load i32, i32* %14
%54 = call i32 @memcpy(i32* %51, i32* %52, i32 %53)
store i32 0, i32* %17
br label %55
55: ; preds = %111, %45
%56 = load i32, i32* %17
%57 = load i32, i32* %19
%58 = icmp slt i32 %56, %57
br i1 %58, label %59, label %114
59: ; preds = %55
%60 = load i32, i32* %17
%61 = icmp ne i32 %60, 0
br i1 %61, label %62, label %65
62: ; preds = %59
%63 = load i32, i32* %16
%64 = call i32 @inc_t(i32* %28, i32 %63)
br label %65
65: ; preds = %62, %59
%66 = load void (i32*, i32*, i8*)*, void (i32*, i32*, i8*)** %15
%67 = load i8*, i8** %12
%68 = load i32, i32* %16
%69 = load i32, i32* %17
%70 = mul nsw i32 %68, %69
store i32 %70, i32* %20
%71 = load i32, i32* %10
%72 = load i32, i32* %20
%73 = sub nsw i32 %71, %72
%74 = load i32, i32* %16
%75 = icmp sge i32 %73, %74
br i1 %75, label %76, label %78
76: ; preds = %65
%77 = load i32, i32* %16
br label %82
78: ; preds = %65
%79 = load i32, i32* %10
%80 = load i32, i32* %20
%81 = sub nsw i32 %79, %80
br label %82
82: ; preds = %78, %76
%83 = phi i32 [ %77, %76 ], [ %81, %78 ]
store i32 %83, i32* %21
store i32 0, i32* %18
br label %84
84: ; preds = %107, %82
%85 = load i32, i32* %18
%86 = load i32, i32* %21
%87 = icmp slt i32 %85, %86
br i1 %87, label %88, label %110
88: ; preds = %84
%89 = load i32*, i32** %9
%90 = load i32, i32* %20
%91 = load i32, i32* %18
%92 = add nsw i32 %90, %91
%93 = sext i32 %92 to i64
%94 = getelementptr inbounds i32, i32* %89, i64 %93
%95 = load i32, i32* %94
%96 = load i32, i32* %18
%97 = sext i32 %96 to i64
%98 = getelementptr inbounds i32, i32* %31, i64 %97
%99 = load i32, i32* %98
%100 = xor i32 %95, %99
%101 = load i32*, i32** %11
%102 = load i32, i32* %20
%103 = load i32, i32* %18
%104 = add nsw i32 %102, %103
%105 = sext i32 %104 to i64
%106 = getelementptr inbounds i32, i32* %101, i64 %105
store i32 %100, i32* %106
br label %107
107: ; preds = %88
%108 = load i32, i32* %18
%109 = add nsw i32 %108, 1
store i32 %109, i32* %18
br label %84
110: ; preds = %84
br label %111
111: ; preds = %110
%112 = load i32, i32* %17
%113 = add nsw i32 %112, 1
store i32 %113, i32* %17
br label %55
114: ; preds = %55
%115 = load i8*, i8** %22
ret void
}

LLVM IR (-O2):
define void @ctr_mode(i32* nocapture %0, i32 %1, i32* nocapture writeonly %2, i8* %3, i32* %4, i32 %5, void (i32*, i32*, i8*)* nocapture %6, i32 %7) {
%9 = zext i32 %7 to i64
%10 = alloca i32, i64 %9
%11 = alloca i32, i64 %9
%12 = srem i32 %1, %7
%13 = icmp ne i32 %12, 0
%14 = sdiv i32 %1, %7
%15 = zext i1 %13 to i32
%16 = add nsw i32 %14, %15
%17 = sub nsw i32 %7, %5
%18 = sext i32 %17 to i64
%19 = getelementptr inbounds i32, i32* %10, i64 %18
%20 = call i32 @memcpy(i32* %19, i32* %4, i32 %5)
%21 = icmp sgt i32 %16, 0
br i1 %21, label %22, label %145
22: ; preds = %8
%23 = sext i32 %7 to i64
%24 = sext i32 %1 to i64
%25 = zext i32 %16 to i64
br label %26
26: ; preds = %22, %142
%27 = phi i64 [ 0, %22 ], [ %143, %142 ]
%28 = mul i64 %27, %23
%29 = getelementptr i32, i32* %2, i64 %28
%30 = getelementptr i32, i32* %0, i64 %28
%31 = icmp eq i64 %27, 0
br i1 %31, label %34, label %32
32: ; preds = %26
%33 = call i32 @inc_t(i32* %10, i32 %7)
br label %34
34: ; preds = %32, %26
%35 = mul nsw i64 %27, %23
%36 = sub nsw i64 %24, %35
%37 = icmp slt i64 %36, %23
%38 = trunc i64 %36 to i32
%39 = select i1 %37, i32 %38, i32 %7
%40 = icmp sgt i32 %39, 0
br i1 %40, label %41, label %142
41: ; preds = %34
%42 = zext i32 %39 to i64
%43 = icmp ult i32 %39, 8
br i1 %43, label %129, label %44
44: ; preds = %41
%45 = getelementptr i32, i32* %29, i64 %42
%46 = getelementptr i32, i32* %30, i64 %42
%47 = icmp ult i32* %29, %46
%48 = icmp ult i32* %30, %45
%49 = and i1 %47, %48
br i1 %49, label %129, label %50
50: ; preds = %44
%51 = and i64 %42, 4294967288
%52 = add nsw i64 %51, -8
%53 = lshr exact i64 %52, 3
%54 = add nuw nsw i64 %53, 1
%55 = and i64 %54, 1
%56 = icmp eq i64 %52, 0
br i1 %56, label %104, label %57
57: ; preds = %50
%58 = and i64 %54, 4611686018427387902
br label %59
59: ; preds = %59, %57
%60 = phi i64 [ 0, %57 ], [ %101, %59 ]
%61 = phi i64 [ 0, %57 ], [ %102, %59 ]
%62 = add nsw i64 %60, %35
%63 = getelementptr inbounds i32, i32* %0, i64 %62
%64 = bitcast i32* %63 to <4 x i32>*
%65 = load <4 x i32>, <4 x i32>* %64
%66 = getelementptr inbounds i32, i32* %63, i64 4
%67 = bitcast i32* %66 to <4 x i32>*
%68 = load <4 x i32>, <4 x i32>* %67
%69 = getelementptr inbounds i32, i32* %11, i64 %60
%70 = bitcast i32* %69 to <4 x i32>*
%71 = load <4 x i32>, <4 x i32>* %70
%72 = getelementptr inbounds i32, i32* %69, i64 4
%73 = bitcast i32* %72 to <4 x i32>*
%74 = load <4 x i32>, <4 x i32>* %73
%75 = xor <4 x i32> %71, %65
%76 = xor <4 x i32> %74, %68
%77 = getelementptr inbounds i32, i32* %2, i64 %62
%78 = bitcast i32* %77 to <4 x i32>*
store <4 x i32> %75, <4 x i32>* %78
%79 = getelementptr inbounds i32, i32* %77, i64 4
%80 = bitcast i32* %79 to <4 x i32>*
store <4 x i32> %76, <4 x i32>* %80
%81 = or i64 %60, 8
%82 = add nsw i64 %81, %35
%83 = getelementptr inbounds i32, i32* %0, i64 %82
%84 = bitcast i32* %83 to <4 x i32>*
%85 = load <4 x i32>, <4 x i32>* %84
%86 = getelementptr inbounds i32, i32* %83, i64 4
%87 = bitcast i32* %86 to <4 x i32>*
%88 = load <4 x i32>, <4 x i32>* %87
%89 = getelementptr inbounds i32, i32* %11, i64 %81
%90 = bitcast i32* %89 to <4 x i32>*
%91 = load <4 x i32>, <4 x i32>* %90
%92 = getelementptr inbounds i32, i32* %89, i64 4
%93 = bitcast i32* %92 to <4 x i32>*
%94 = load <4 x i32>, <4 x i32>* %93
%95 = xor <4 x i32> %91, %85
%96 = xor <4 x i32> %94, %88
%97 = getelementptr inbounds i32, i32* %2, i64 %82
%98 = bitcast i32* %97 to <4 x i32>*
store <4 x i32> %95, <4 x i32>* %98
%99 = getelementptr inbounds i32, i32* %97, i64 4
%100 = bitcast i32* %99 to <4 x i32>*
store <4 x i32> %96, <4 x i32>* %100
%101 = add nuw i64 %60, 16
%102 = add i64 %61, 2
%103 = icmp eq i64 %102, %58
br i1 %103, label %104, label %59
104: ; preds = %59, %50
%105 = phi i64 [ 0, %50 ], [ %101, %59 ]
%106 = icmp eq i64 %55, 0
br i1 %106, label %127, label %107
107: ; preds = %104
%108 = add nsw i64 %105, %35
%109 = getelementptr inbounds i32, i32* %0, i64 %108
%110 = bitcast i32* %109 to <4 x i32>*
%111 = load <4 x i32>, <4 x i32>* %110
%112 = getelementptr inbounds i32, i32* %109, i64 4
%113 = bitcast i32* %112 to <4 x i32>*
%114 = load <4 x i32>, <4 x i32>* %113
%115 = getelementptr inbounds i32, i32* %11, i64 %105
%116 = bitcast i32* %115 to <4 x i32>*
%117 = load <4 x i32>, <4 x i32>* %116
%118 = getelementptr inbounds i32, i32* %115, i64 4
%119 = bitcast i32* %118 to <4 x i32>*
%120 = load <4 x i32>, <4 x i32>* %119
%121 = xor <4 x i32> %117, %111
%122 = xor <4 x i32> %120, %114
%123 = getelementptr inbounds i32, i32* %2, i64 %108
%124 = bitcast i32* %123 to <4 x i32>*
store <4 x i32> %121, <4 x i32>* %124
%125 = getelementptr inbounds i32, i32* %123, i64 4
%126 = bitcast i32* %125 to <4 x i32>*
store <4 x i32> %122, <4 x i32>* %126
br label %127
127: ; preds = %104, %107
%128 = icmp eq i64 %51, %42
br i1 %128, label %142, label %129
129: ; preds = %44, %41, %127
%130 = phi i64 [ 0, %44 ], [ 0, %41 ], [ %51, %127 ]
br label %131
131: ; preds = %129, %131
%132 = phi i64 [ %140, %131 ], [ %130, %129 ]
%133 = add nsw i64 %132, %35
%134 = getelementptr inbounds i32, i32* %0, i64 %133
%135 = load i32, i32* %134
%136 = getelementptr inbounds i32, i32* %11, i64 %132
%137 = load i32, i32* %136
%138 = xor i32 %137, %135
%139 = getelementptr inbounds i32, i32* %2, i64 %133
store i32 %138, i32* %139
%140 = add nuw nsw i64 %132, 1
%141 = icmp ult i64 %140, %42
br i1 %141, label %131, label %142
142: ; preds = %131, %127, %34
%143 = add nuw nsw i64 %27, 1
%144 = icmp eq i64 %143, %25
br i1 %144, label %145, label %26
145: ; preds = %142, %8
ret void
}