#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;
typedef int int64_t;

/* Variables and functions */
int /*<<< orphan*/ fmonty(int *, int *, int *, int *, int *, int *, int *,
                          int *, int const *);
int /*<<< orphan*/ memcpy(int *, int const *, int);
int /*<<< orphan*/ swap_conditional(int *, int *, int const);
void cmult(int64_t *resultx, int64_t *resultz, const uint8_t *n,
           const int64_t *q) {
  int64_t a[19] = {0}, b[19] = {1}, c[19] = {1}, d[19] = {0};
  int64_t *nqpqx = a, *nqpqz = b, *nqx = c, *nqz = d, *t;
  int64_t e[19] = {0}, f[19] = {1}, g[19] = {0}, h[19] = {1};
  int64_t *nqpqx2 = e, *nqpqz2 = f, *nqx2 = g, *nqz2 = h;
  unsigned i, j;
  memcpy(nqpqx, q, sizeof(int64_t) * 10);
  for (i = 0; i < 32; ++i) {
    uint8_t byte = n[31 - i];
    for (j = 0; j < 8; ++j) {
      const int64_t bit = byte >> 7;
      swap_conditional(nqx, nqpqx, bit);
      swap_conditional(nqz, nqpqz, bit);
      fmonty(nqx2, nqz2, nqpqx2, nqpqz2, nqx, nqz, nqpqx, nqpqz, q);
      swap_conditional(nqx2, nqpqx2, bit);
      swap_conditional(nqz2, nqpqz2, bit);
      t = nqx;
      nqx = nqx2;
      nqx2 = t;
      t = nqz;
      nqz = nqz2;
      nqz2 = t;
      t = nqpqx;
      nqpqx = nqpqx2;
      nqpqx2 = t;
      t = nqpqz;
      nqpqz = nqpqz2;
      nqpqz2 = t;
      byte <<= 1;
    }
  }
  memcpy(resultx, nqx, sizeof(int64_t) * 10);
  memcpy(resultz, nqz, sizeof(int64_t) * 10);
}


x86 assembly (clang, -O0):
<cmult>:
push   %rbp
mov    %rsp,%rbp
sub    $0x320,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
lea    -0x70(%rbp),%rdi
xor    %esi,%esi
mov    $0x4c,%edx
call   1030 <memset@plt>
lea    -0xc0(%rbp),%rdi
xor    %esi,%esi
mov    $0x4c,%edx
call   1030 <memset@plt>
movl   $0x1,-0xc0(%rbp)
lea    -0x110(%rbp),%rdi
xor    %esi,%esi
mov    $0x4c,%edx
call   1030 <memset@plt>
movl   $0x1,-0x110(%rbp)
lea    -0x160(%rbp),%rdi
xor    %esi,%esi
mov    $0x4c,%edx
call   1030 <memset@plt>
lea    -0x70(%rbp),%rax
mov    %rax,-0x168(%rbp)
lea    -0xc0(%rbp),%rax
mov    %rax,-0x170(%rbp)
lea    -0x110(%rbp),%rax
mov    %rax,-0x178(%rbp)
lea    -0x160(%rbp),%rax
mov    %rax,-0x180(%rbp)
lea    -0x1e0(%rbp),%rdi
xor    %esi,%esi
mov    $0x4c,%edx
call   1030 <memset@plt>
lea    -0x230(%rbp),%rdi
xor    %esi,%esi
mov    $0x4c,%edx
call   1030 <memset@plt>
movl   $0x1,-0x230(%rbp)
lea    -0x280(%rbp),%rdi
xor    %esi,%esi
mov    $0x4c,%edx
call   1030 <memset@plt>
lea    -0x2d0(%rbp),%rdi
xor    %esi,%esi
mov    $0x4c,%edx
call   1030 <memset@plt>
movl   $0x1,-0x2d0(%rbp)
lea    -0x1e0(%rbp),%rax
mov    %rax,-0x2d8(%rbp)
lea    -0x230(%rbp),%rax
mov    %rax,-0x2e0(%rbp)
lea    -0x280(%rbp),%rax
mov    %rax,-0x2e8(%rbp)
lea    -0x2d0(%rbp),%rax
mov    %rax,-0x2f0(%rbp)
mov    -0x168(%rbp),%rdi
mov    -0x20(%rbp),%rsi
mov    $0x28,%edx
call   1040 <memcpy@plt>
movl   $0x0,-0x2f4(%rbp)
cmpl   $0x20,-0x2f4(%rbp)
jae    1488 <cmult+0x348>
mov    -0x18(%rbp),%rax
mov    $0x1f,%ecx
sub    -0x2f4(%rbp),%ecx
mov    %ecx,%ecx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x2fc(%rbp)
movl   $0x0,-0x2f8(%rbp)
cmpl   $0x8,-0x2f8(%rbp)
jae    146f <cmult+0x32f>
mov    -0x2fc(%rbp),%eax
sar    $0x7,%eax
mov    %eax,-0x300(%rbp)
mov    -0x178(%rbp),%rdi
mov    -0x168(%rbp),%rsi
mov    -0x300(%rbp),%edx
call   1050 <swap_conditional@plt>
mov    -0x180(%rbp),%rdi
mov    -0x170(%rbp),%rsi
mov    -0x300(%rbp),%edx
call   1050 <swap_conditional@plt>
mov    -0x2e8(%rbp),%rdi
mov    -0x2f0(%rbp),%rsi
mov    -0x2d8(%rbp),%rdx
mov    -0x2e0(%rbp),%rcx
mov    -0x178(%rbp),%r8
mov    -0x180(%rbp),%r9
mov    -0x168(%rbp),%r11
mov    -0x170(%rbp),%r10
mov    -0x20(%rbp),%rax
mov    %r11,(%rsp)
mov    %r10,0x8(%rsp)
mov    %rax,0x10(%rsp)
call   1060 <fmonty@plt>
mov    -0x2e8(%rbp),%rdi
mov    -0x2d8(%rbp),%rsi
mov    -0x300(%rbp),%edx
call   1050 <swap_conditional@plt>
mov    -0x2f0(%rbp),%rdi
mov    -0x2e0(%rbp),%rsi
mov    -0x300(%rbp),%edx
call   1050 <swap_conditional@plt>
mov    -0x178(%rbp),%rax
mov    %rax,-0x188(%rbp)
mov    -0x2e8(%rbp),%rax
mov    %rax,-0x178(%rbp)
mov    -0x188(%rbp),%rax
mov    %rax,-0x2e8(%rbp)
mov    -0x180(%rbp),%rax
mov    %rax,-0x188(%rbp)
mov    -0x2f0(%rbp),%rax
mov    %rax,-0x180(%rbp)
mov    -0x188(%rbp),%rax
mov    %rax,-0x2f0(%rbp)
mov    -0x168(%rbp),%rax
mov    %rax,-0x188(%rbp)
mov    -0x2d8(%rbp),%rax
mov    %rax,-0x168(%rbp)
mov    -0x188(%rbp),%rax
mov    %rax,-0x2d8(%rbp)
mov    -0x170(%rbp),%rax
mov    %rax,-0x188(%rbp)
mov    -0x2e0(%rbp),%rax
mov    %rax,-0x170(%rbp)
mov    -0x188(%rbp),%rax
mov    %rax,-0x2e0(%rbp)
mov    -0x2fc(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0x2fc(%rbp)
mov    -0x2f8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2f8(%rbp)
jmp    12d5 <cmult+0x195>
jmp    1474 <cmult+0x334>
mov    -0x2f4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2f4(%rbp)
jmp    12a4 <cmult+0x164>
mov    -0x8(%rbp),%rdi
mov    -0x178(%rbp),%rsi
mov    $0x28,%edx
call   1040 <memcpy@plt>
mov    -0x10(%rbp),%rdi
mov    -0x180(%rbp),%rsi
mov    $0x28,%edx
call   1040 <memcpy@plt>
add    $0x320,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<cmult>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x2e8,%rsp
mov    %rdx,0x30(%rsp)
mov    %rsi,0x28(%rsp)
mov    %rdi,0x20(%rsp)
xorps  %xmm0,%xmm0
movups %xmm0,0x2cc(%rsp)
movaps %xmm0,0x2c0(%rsp)
movaps %xmm0,0x2b0(%rsp)
movaps %xmm0,0x2a0(%rsp)
movaps %xmm0,0x290(%rsp)
movaps %xmm0,0x150(%rsp)
movups %xmm0,0x18c(%rsp)
movaps %xmm0,0x180(%rsp)
movaps %xmm0,0x170(%rsp)
movaps %xmm0,0x160(%rsp)
lea    0x150(%rsp),%rax
mov    %rax,0x8(%rsp)
movl   $0x1,0x150(%rsp)
movaps %xmm0,0x100(%rsp)
movups %xmm0,0x13c(%rsp)
movaps %xmm0,0x130(%rsp)
movaps %xmm0,0x120(%rsp)
movaps %xmm0,0x110(%rsp)
lea    0x100(%rsp),%rax
mov    %rax,0x10(%rsp)
movl   $0x1,0x100(%rsp)
movups %xmm0,0x27c(%rsp)
movaps %xmm0,0x270(%rsp)
movaps %xmm0,0x260(%rsp)
movaps %xmm0,0x250(%rsp)
movaps %xmm0,0x240(%rsp)
lea    0x290(%rsp),%r12
lea    0x240(%rsp),%rax
mov    %rax,(%rsp)
movups %xmm0,0x22c(%rsp)
movaps %xmm0,0x220(%rsp)
movaps %xmm0,0x210(%rsp)
movaps %xmm0,0x200(%rsp)
movaps %xmm0,0x1f0(%rsp)
movaps %xmm0,0xb0(%rsp)
movups %xmm0,0xec(%rsp)
movaps %xmm0,0xe0(%rsp)
movaps %xmm0,0xd0(%rsp)
movaps %xmm0,0xc0(%rsp)
lea    0xb0(%rsp),%r14
movl   $0x1,0xb0(%rsp)
movups %xmm0,0x1dc(%rsp)
movaps %xmm0,0x1d0(%rsp)
movaps %xmm0,0x1c0(%rsp)
movaps %xmm0,0x1b0(%rsp)
movaps %xmm0,0x1a0(%rsp)
movaps %xmm0,0x60(%rsp)
movups %xmm0,0x9c(%rsp)
movaps %xmm0,0x90(%rsp)
movaps %xmm0,0x80(%rsp)
movaps %xmm0,0x70(%rsp)
lea    0x60(%rsp),%r15
movl   $0x1,0x60(%rsp)
lea    0x1f0(%rsp),%rbx
lea    0x1a0(%rsp),%r13
mov    %r12,%rdi
mov    %rcx,0x40(%rsp)
mov    %rcx,%rsi
mov    $0x28,%edx
call   1030 <memcpy@plt>
xor    %ecx,%ecx
nopl   0x0(%rax,%rax,1)
mov    $0x1f,%eax
mov    %rcx,0x38(%rsp)
sub    %rcx,%rax
mov    0x30(%rsp),%rcx
mov    (%rcx,%rax,4),%eax
mov    $0x8,%ebp
mov    %r12,%r10
mov    %r15,%rcx
mov    %r13,%rdx
mov    %r14,%rsi
cs nopw 0x0(%rax,%rax,1)
mov    %ebp,0x18(%rsp)
mov    %eax,0x1c(%rsp)
mov    0x10(%rsp),%rbp
mov    (%rsp),%r15
mov    0x8(%rsp),%r14
mov    %rbx,0x58(%rsp)
mov    %rsi,0x8(%rsp)
mov    %rdx,%rbx
mov    %rdx,0x10(%rsp)
mov    %rcx,%r13
mov    %rcx,(%rsp)
mov    %r10,%rsi
mov    %r10,0x48(%rsp)
mov    %eax,%r12d
sar    $0x7,%r12d
mov    %rbp,%rdi
mov    %rbp,0x50(%rsp)
mov    %r12d,%edx
call   1040 <swap_conditional@plt>
mov    %r15,%rdi
mov    %r14,%rsi
mov    %r12d,%edx
call   1040 <swap_conditional@plt>
sub    $0x8,%rsp
mov    %rbx,%rdi
mov    %r13,%rsi
mov    0x60(%rsp),%r13
mov    %r13,%rdx
mov    0x10(%rsp),%rcx
mov    %rbp,%r8
mov    %r15,%r9
push   0x48(%rsp)
push   %r14
mov    0x60(%rsp),%rbp
push   %rbp
call   1050 <fmonty@plt>
add    $0x20,%rsp
mov    %rbx,%rdi
mov    %rbp,%rbx
mov    %r13,%rsi
mov    %r12d,%edx
call   1040 <swap_conditional@plt>
mov    (%rsp),%rdi
mov    0x8(%rsp),%rsi
mov    %r12d,%edx
mov    %r13,%r12
call   1040 <swap_conditional@plt>
mov    0x1c(%rsp),%eax
mov    0x18(%rsp),%ebp
mov    0x50(%rsp),%r13
add    %eax,%eax
mov    %r12,%r10
mov    %r15,%rcx
mov    %r13,%rdx
mov    %r14,%rsi
add    $0xffffffff,%ebp
jne    1350 <cmult+0x220>
mov    0x38(%rsp),%rcx
add    $0x1,%rcx
cmp    $0x20,%rcx
jne    1320 <cmult+0x1f0>
mov    0x20(%rsp),%rdi
mov    0x10(%rsp),%rsi
mov    $0x28,%edx
call   1030 <memcpy@plt>
mov    0x28(%rsp),%rdi
mov    (%rsp),%rsi
mov    $0x28,%edx
call   1030 <memcpy@plt>
add    $0x2e8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define void @cmult(i32* %0, i32* %1, i32* nocapture %2, i32* %3) {
%5 = alloca [19 x i32]
%6 = alloca [19 x i32]
%7 = alloca [19 x i32]
%8 = alloca [19 x i32]
%9 = alloca [19 x i32]
%10 = alloca [19 x i32]
%11 = alloca [19 x i32]
%12 = alloca [19 x i32]
%13 = bitcast [19 x i32]* %5 to i8*
%14 = bitcast [19 x i32]* %6 to i8*
%15 = getelementptr inbounds [19 x i32], [19 x i32]* %6, i64 0, i64 0
store i32 1, i32* %15
%16 = bitcast [19 x i32]* %7 to i8*
%17 = getelementptr inbounds [19 x i32], [19 x i32]* %7, i64 0, i64 0
store i32 1, i32* %17
%18 = bitcast [19 x i32]* %8 to i8*
%19 = getelementptr inbounds [19 x i32], [19 x i32]* %5, i64 0, i64 0
%20 = getelementptr inbounds [19 x i32], [19 x i32]* %8, i64 0, i64 0
%21 = bitcast [19 x i32]* %9 to i8*
%22 = bitcast [19 x i32]* %10 to i8*
%23 = getelementptr inbounds [19 x i32], [19 x i32]* %10, i64 0, i64 0
store i32 1, i32* %23
%24 = bitcast [19 x i32]* %11 to i8*
%25 = bitcast [19 x i32]* %12 to i8*
%26 = getelementptr inbounds [19 x i32], [19 x i32]* %12, i64 0, i64 0
store i32 1, i32* %26
%27 = getelementptr inbounds [19 x i32], [19 x i32]* %9, i64 0, i64 0
%28 = getelementptr inbounds [19 x i32], [19 x i32]* %11, i64 0, i64 0
%29 = call i32 @memcpy(i32* %19, i32* %3, i32 40)
br label %30
30: ; preds = %4, %63
%31 = phi i64 [ 0, %4 ], [ %64, %63 ]
%32 = phi i32* [ %19, %4 ], [ %50, %63 ]
%33 = phi i32* [ %26, %4 ], [ %52, %63 ]
%34 = phi i32* [ %28, %4 ], [ %53, %63 ]
%35 = phi i32* [ %23, %4 ], [ %51, %63 ]
%36 = phi i32* [ %27, %4 ], [ %44, %63 ]
%37 = phi i32* [ %15, %4 ], [ %49, %63 ]
%38 = phi i32* [ %20, %4 ], [ %47, %63 ]
%39 = phi i32* [ %17, %4 ], [ %48, %63 ]
%40 = sub nuw nsw i64 31, %31
%41 = getelementptr inbounds i32, i32* %2, i64 %40
%42 = load i32, i32* %41
br label %43
43: ; preds = %30, %43
%44 = phi i32* [ %32, %30 ], [ %50, %43 ]
%45 = phi i32 [ %42, %30 ], [ %60, %43 ]
%46 = phi i32 [ 0, %30 ], [ %61, %43 ]
%47 = phi i32* [ %33, %30 ], [ %52, %43 ]
%48 = phi i32* [ %34, %30 ], [ %53, %43 ]
%49 = phi i32* [ %35, %30 ], [ %51, %43 ]
%50 = phi i32* [ %36, %30 ], [ %44, %43 ]
%51 = phi i32* [ %37, %30 ], [ %49, %43 ]
%52 = phi i32* [ %38, %30 ], [ %47, %43 ]
%53 = phi i32* [ %39, %30 ], [ %48, %43 ]
%54 = ashr i32 %45, 7
%55 = call i32 @swap_conditional(i32* %53, i32* %44, i32 %54)
%56 = call i32 @swap_conditional(i32* %52, i32* %51, i32 %54)
%57 = call i32 @fmonty(i32* %48, i32* %47, i32* %50, i32* %49, i32* %53, i32* %52, i32* %44, i32* %51, i32* %3)
%58 = call i32 @swap_conditional(i32* %48, i32* %50, i32 %54)
%59 = call i32 @swap_conditional(i32* %47, i32* %49, i32 %54)
%60 = shl i32 %45, 1
%61 = add nuw nsw i32 %46, 1
%62 = icmp eq i32 %61, 8
br i1 %62, label %63, label %43
63: ; preds = %43
%64 = add nuw nsw i64 %31, 1
%65 = icmp eq i64 %64, 32
br i1 %65, label %66, label %30
66: ; preds = %63
%67 = call i32 @memcpy(i32* %0, i32* %48, i32 40)
%68 = call i32 @memcpy(i32* %1, i32* %47, i32 40)
ret void
}