#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 */

/* Variables and functions */
int /*<<< orphan*/ dotnn(float const *, float *, size_t, size_t const,
                         size_t const, float *);
int /*<<< orphan*/ dottn(float const *, float const *, size_t, size_t const,
                         size_t const, float *);
float *mem_alloc(size_t const, int);
int /*<<< orphan*/ mem_free(float *);
int /*<<< orphan*/ qr(float *, size_t, size_t const, float *);
float rnorm();
int /*<<< orphan*/ svd_full(float *, size_t, size_t const, float **, float **,
                            float **);
int /*<<< orphan*/ transpose(float *, size_t const, size_t);
int /*<<< orphan*/ trim(float *, float *, size_t const, size_t const, size_t,
                        float *);
void svd_topk(const float *a, size_t m, size_t n, size_t k, float **ou) {
  const size_t l = 2 * k;
  const size_t p = 2;
  size_t i;
  float *b = NULL;
  float *q = NULL;
  float *s = NULL;
  float *u = NULL;
  float *v = NULL;
  float *y = NULL;
  if (l >= (((m) < (n)) ? (m) : (n)))
    goto error;
  b = mem_alloc(l * n, sizeof(float));
  q = mem_alloc(l * (((m) > (n)) ? (m) : (n)), sizeof(float));
  y = mem_alloc(l * (((m) > (n)) ? (m) : (n)), sizeof(float));
  if (b == NULL || q == NULL || y == NULL)
    goto error;
  for (i = 0; i < n * l; i++)
    b[i] = rnorm();
  dotnn(a, b, m, n, l, y);
  qr(y, m, l, q);
  for (i = 0; i < p; i++) {
    dottn(a, q, m, n, l, y);
    qr(y, n, l, q);
    dotnn(a, q, m, n, l, y);
    qr(y, m, l, q);
  }
  dottn(q, a, m, l, n, b);
  transpose(b, l, n);
  svd_full(b, n, l, &u, &s, &v);
  trim(v, s, l, l, k, b);
  dotnn(q, b, m, l, k, y);
  goto done;
error:
  do {
    mem_free(y);
    y = NULL;
  } while (0);
done:
  *ou = y;
  mem_free(u);
  mem_free(s);
  mem_free(v);
  mem_free(b);
  mem_free(q);
}


x86 assembly (clang, -O0):
<svd_topk>:
push   %rbp
mov    %rsp,%rbp
sub    $0xa0,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    -0x20(%rbp),%rax
shl    $0x1,%rax
mov    %rax,-0x30(%rbp)
movq   $0x2,-0x38(%rbp)
movq   $0x0,-0x48(%rbp)
movq   $0x0,-0x50(%rbp)
movq   $0x0,-0x58(%rbp)
movq   $0x0,-0x60(%rbp)
movq   $0x0,-0x68(%rbp)
movq   $0x0,-0x70(%rbp)
mov    -0x30(%rbp),%rax
mov    %rax,-0x78(%rbp)
mov    -0x10(%rbp),%rax
cmp    -0x18(%rbp),%rax
jae    1216 <svd_topk+0x86>
mov    -0x10(%rbp),%rax
mov    %rax,-0x80(%rbp)
jmp    121e <svd_topk+0x8e>
mov    -0x18(%rbp),%rax
mov    %rax,-0x80(%rbp)
mov    -0x78(%rbp),%rax
mov    -0x80(%rbp),%rcx
cmp    %rcx,%rax
jb     1234 <svd_topk+0xa4>
jmp    14a0 <svd_topk+0x310>
mov    -0x30(%rbp),%rdi
imul   -0x18(%rbp),%rdi
mov    $0x4,%esi
call   10a0 <mem_alloc@plt>
mov    %rax,-0x48(%rbp)
mov    -0x30(%rbp),%rax
mov    %rax,-0x88(%rbp)
mov    -0x10(%rbp),%rax
cmp    -0x18(%rbp),%rax
jbe    1274 <svd_topk+0xe4>
mov    -0x10(%rbp),%rax
mov    %rax,-0x90(%rbp)
jmp    127f <svd_topk+0xef>
mov    -0x18(%rbp),%rax
mov    %rax,-0x90(%rbp)
mov    -0x88(%rbp),%rdi
mov    -0x90(%rbp),%rax
imul   %rax,%rdi
mov    $0x4,%esi
call   10a0 <mem_alloc@plt>
mov    %rax,-0x50(%rbp)
mov    -0x30(%rbp),%rax
mov    %rax,-0x98(%rbp)
mov    -0x10(%rbp),%rax
cmp    -0x18(%rbp),%rax
jbe    12c8 <svd_topk+0x138>
mov    -0x10(%rbp),%rax
mov    %rax,-0xa0(%rbp)
jmp    12d3 <svd_topk+0x143>
mov    -0x18(%rbp),%rax
mov    %rax,-0xa0(%rbp)
mov    -0x98(%rbp),%rdi
mov    -0xa0(%rbp),%rax
imul   %rax,%rdi
mov    $0x4,%esi
call   10a0 <mem_alloc@plt>
mov    %rax,-0x70(%rbp)
cmpq   $0x0,-0x48(%rbp)
je     1314 <svd_topk+0x184>
cmpq   $0x0,-0x50(%rbp)
je     1314 <svd_topk+0x184>
cmpq   $0x0,-0x70(%rbp)
jne    1319 <svd_topk+0x189>
jmp    14a0 <svd_topk+0x310>
movq   $0x0,-0x40(%rbp)
mov    -0x40(%rbp),%rax
mov    -0x18(%rbp),%rcx
imul   -0x30(%rbp),%rcx
cmp    %rcx,%rax
jae    135c <svd_topk+0x1cc>
mov    $0x0,%al
call   1080 <rnorm@plt>
mov    -0x48(%rbp),%rax
mov    -0x40(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
jmp    1321 <svd_topk+0x191>
mov    -0x8(%rbp),%rdi
mov    -0x48(%rbp),%rsi
mov    -0x10(%rbp),%rdx
mov    -0x18(%rbp),%rcx
mov    -0x30(%rbp),%r8
mov    -0x70(%rbp),%r9
call   1060 <dotnn@plt>
mov    -0x70(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x30(%rbp),%rdx
mov    -0x50(%rbp),%rcx
call   10b0 <qr@plt>
movq   $0x0,-0x40(%rbp)
cmpq   $0x2,-0x40(%rbp)
jae    1416 <svd_topk+0x286>
mov    -0x8(%rbp),%rdi
mov    -0x50(%rbp),%rsi
mov    -0x10(%rbp),%rdx
mov    -0x18(%rbp),%rcx
mov    -0x30(%rbp),%r8
mov    -0x70(%rbp),%r9
call   1090 <dottn@plt>
mov    -0x70(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    -0x30(%rbp),%rdx
mov    -0x50(%rbp),%rcx
call   10b0 <qr@plt>
mov    -0x8(%rbp),%rdi
mov    -0x50(%rbp),%rsi
mov    -0x10(%rbp),%rdx
mov    -0x18(%rbp),%rcx
mov    -0x30(%rbp),%r8
mov    -0x70(%rbp),%r9
call   1060 <dotnn@plt>
mov    -0x70(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x30(%rbp),%rdx
mov    -0x50(%rbp),%rcx
call   10b0 <qr@plt>
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
jmp    1396 <svd_topk+0x206>
mov    -0x50(%rbp),%rdi
mov    -0x8(%rbp),%rsi
mov    -0x10(%rbp),%rdx
mov    -0x30(%rbp),%rcx
mov    -0x18(%rbp),%r8
mov    -0x48(%rbp),%r9
call   1090 <dottn@plt>
mov    -0x48(%rbp),%rdi
mov    -0x30(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1050 <transpose@plt>
mov    -0x48(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    -0x30(%rbp),%rdx
lea    -0x60(%rbp),%rcx
lea    -0x58(%rbp),%r8
lea    -0x68(%rbp),%r9
call   1070 <svd_full@plt>
mov    -0x68(%rbp),%rdi
mov    -0x58(%rbp),%rsi
mov    -0x30(%rbp),%rdx
mov    -0x30(%rbp),%rcx
mov    -0x20(%rbp),%r8
mov    -0x48(%rbp),%r9
call   1040 <trim@plt>
mov    -0x50(%rbp),%rdi
mov    -0x48(%rbp),%rsi
mov    -0x10(%rbp),%rdx
mov    -0x30(%rbp),%rcx
mov    -0x20(%rbp),%r8
mov    -0x70(%rbp),%r9
call   1060 <dotnn@plt>
jmp    14bb <svd_topk+0x32b>
jmp    14a5 <svd_topk+0x315>
mov    -0x70(%rbp),%rdi
call   1030 <mem_free@plt>
movq   $0x0,-0x70(%rbp)
jmp    14bb <svd_topk+0x32b>
mov    -0x70(%rbp),%rcx
mov    -0x28(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x60(%rbp),%rdi
call   1030 <mem_free@plt>
mov    -0x58(%rbp),%rdi
call   1030 <mem_free@plt>
mov    -0x68(%rbp),%rdi
call   1030 <mem_free@plt>
mov    -0x48(%rbp),%rdi
call   1030 <mem_free@plt>
mov    -0x50(%rbp),%rdi
call   1030 <mem_free@plt>
add    $0xa0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<svd_topk>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x48,%rsp
mov    %r8,%rbp
lea    (%rcx,%rcx,1),%r13
movq   $0x0,0x20(%rsp)
movq   $0x0,0x30(%rsp)
movq   $0x0,0x18(%rsp)
cmp    %rdx,%rsi
mov    %rdx,%rax
cmovb  %rsi,%rax
cmp    %rax,%r13
jae    13e3 <svd_topk+0x253>
mov    %rdx,%r12
mov    %rsi,%rbx
mov    %rdi,(%rsp)
mov    %rcx,0x40(%rsp)
mov    %rbp,0x8(%rsp)
mov    %r13,%r14
imul   %rdx,%r14
mov    %r14,%rdi
mov    $0x4,%esi
call   10a0 <mem_alloc@plt>
mov    %rax,%r15
cmp    %r12,%rbx
mov    %r12,%rbp
mov    %rbx,0x28(%rsp)
cmova  %rbx,%rbp
mov    %r13,%rbx
imul   %r13,%rbp
mov    %rbp,%rdi
mov    $0x4,%esi
call   10a0 <mem_alloc@plt>
mov    %rax,%r13
mov    %rbp,%rdi
mov    $0x4,%esi
call   10a0 <mem_alloc@plt>
mov    %rax,%rdi
test   %r15,%r15
je     13f9 <svd_topk+0x269>
mov    %r13,0x10(%rsp)
test   %r13,%r13
je     13ed <svd_topk+0x25d>
test   %rdi,%rdi
je     13ed <svd_topk+0x25d>
mov    %rdi,0x38(%rsp)
test   %r14,%r14
je     1276 <svd_topk+0xe6>
xor    %ebp,%ebp
xor    %eax,%eax
call   1080 <rnorm@plt>
movss  %xmm0,(%r15,%rbp,4)
add    $0x1,%rbp
cmp    %rbp,%r14
jne    1260 <svd_topk+0xd0>
mov    (%rsp),%rdi
mov    %r15,%rsi
mov    0x28(%rsp),%rbp
mov    %rbp,%rdx
mov    %r12,%rcx
mov    %rbx,%r8
mov    0x38(%rsp),%r13
mov    %r13,%r9
call   1060 <dotnn@plt>
mov    %r13,%rdi
mov    %rbp,%rsi
mov    %rbx,%rdx
mov    0x10(%rsp),%r14
mov    %r14,%rcx
call   10b0 <qr@plt>
mov    (%rsp),%rdi
mov    %r14,%rsi
mov    %rbp,%rdx
mov    %r12,%rcx
mov    %rbx,%r8
mov    %r13,%rbp
mov    %r13,%r9
call   1090 <dottn@plt>
mov    %r13,%rdi
mov    %r12,%rsi
mov    %rbx,%rdx
mov    %r14,%rcx
call   10b0 <qr@plt>
mov    (%rsp),%rdi
mov    %r14,%rsi
mov    0x28(%rsp),%r13
mov    %r13,%rdx
mov    %r12,%rcx
mov    %rbx,%r8
mov    %rbp,%r9
call   1060 <dotnn@plt>
mov    %rbp,%rdi
mov    %r13,%rsi
mov    %rbx,%rdx
mov    %r14,%rcx
call   10b0 <qr@plt>
mov    (%rsp),%rdi
mov    %r14,%rsi
mov    %r13,%rdx
mov    %r12,%rcx
mov    %rbx,%r8
mov    %rbp,%r9
call   1090 <dottn@plt>
mov    %rbp,%rdi
mov    %r12,%rsi
mov    %rbx,%rdx
mov    %r14,%rcx
call   10b0 <qr@plt>
mov    (%rsp),%rdi
mov    %r14,%rsi
mov    %r13,%rdx
mov    %r12,%rcx
mov    %rbx,%r8
mov    %rbp,%r9
call   1060 <dotnn@plt>
mov    %rbp,%rdi
mov    %r13,%rsi
mov    %rbx,%rdx
mov    %r14,%rcx
call   10b0 <qr@plt>
mov    %r14,%rdi
mov    (%rsp),%rsi
mov    %r13,%rdx
mov    %rbx,%rcx
mov    %r12,%r8
mov    %r15,%r9
call   1090 <dottn@plt>
mov    %r15,%rdi
mov    %rbx,%rsi
mov    %r12,%rdx
call   1050 <transpose@plt>
lea    0x30(%rsp),%rcx
lea    0x20(%rsp),%r8
lea    0x18(%rsp),%r9
mov    %r15,%rdi
mov    %r12,%rsi
mov    %rbx,%rdx
call   1070 <svd_full@plt>
mov    0x18(%rsp),%rdi
mov    0x20(%rsp),%rsi
mov    %rbx,%rdx
mov    %rbx,%rcx
mov    0x40(%rsp),%r12
mov    %r12,%r8
mov    %r15,%r9
call   1040 <trim@plt>
mov    %r14,%rdi
mov    %r15,%rsi
mov    %r13,%rdx
mov    %rbx,%rcx
mov    %r12,%r8
mov    %rbp,%r9
call   1060 <dotnn@plt>
mov    %rbp,%rax
mov    0x30(%rsp),%rdi
mov    0x8(%rsp),%rbp
jmp    140a <svd_topk+0x27a>
xor    %r15d,%r15d
xor    %r14d,%r14d
xor    %edi,%edi
jmp    1401 <svd_topk+0x271>
mov    0x8(%rsp),%rbp
mov    0x10(%rsp),%r14
jmp    1401 <svd_topk+0x271>
mov    0x8(%rsp),%rbp
mov    %r13,%r14
call   1030 <mem_free@plt>
xor    %edi,%edi
xor    %eax,%eax
mov    %rax,0x0(%rbp)
call   1030 <mem_free@plt>
mov    0x20(%rsp),%rdi
call   1030 <mem_free@plt>
mov    0x18(%rsp),%rdi
call   1030 <mem_free@plt>
mov    %r15,%rdi
call   1030 <mem_free@plt>
mov    %r14,%rdi
call   1030 <mem_free@plt>
add    $0x48,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @svd_topk(float* %0, i64 %1, i64 %2, i64 %3, float** %4) {
%6 = alloca float*
%7 = alloca i64
%8 = alloca i64
%9 = alloca i64
%10 = alloca float**
%11 = alloca i64
%12 = alloca i64
%13 = alloca i64
%14 = alloca float*
%15 = alloca float*
%16 = alloca float*
%17 = alloca float*
%18 = alloca float*
%19 = alloca float*
store float* %0, float** %6
store i64 %1, i64* %7
store i64 %2, i64* %8
store i64 %3, i64* %9
store float** %4, float*** %10
%20 = load i64, i64* %9
%21 = mul i64 2, %20
store i64 %21, i64* %11
store i64 2, i64* %12
store float* null, float** %14
store float* null, float** %15
store float* null, float** %16
store float* null, float** %17
store float* null, float** %18
store float* null, float** %19
%22 = load i64, i64* %11
%23 = load i64, i64* %7
%24 = load i64, i64* %8
%25 = icmp ult i64 %23, %24
br i1 %25, label %26, label %28
26: ; preds = %5
%27 = load i64, i64* %7
br label %30
28: ; preds = %5
%29 = load i64, i64* %8
br label %30
30: ; preds = %28, %26
%31 = phi i64 [ %27, %26 ], [ %29, %28 ]
%32 = icmp uge i64 %22, %31
br i1 %32, label %33, label %34
33: ; preds = %30
br label %161
34: ; preds = %30
%35 = load i64, i64* %11
%36 = load i64, i64* %8
%37 = mul i64 %35, %36
%38 = call float* @mem_alloc(i64 %37, i32 4)
store float* %38, float** %14
%39 = load i64, i64* %11
%40 = load i64, i64* %7
%41 = load i64, i64* %8
%42 = icmp ugt i64 %40, %41
br i1 %42, label %43, label %45
43: ; preds = %34
%44 = load i64, i64* %7
br label %47
45: ; preds = %34
%46 = load i64, i64* %8
br label %47
47: ; preds = %45, %43
%48 = phi i64 [ %44, %43 ], [ %46, %45 ]
%49 = mul i64 %39, %48
%50 = call float* @mem_alloc(i64 %49, i32 4)
store float* %50, float** %15
%51 = load i64, i64* %11
%52 = load i64, i64* %7
%53 = load i64, i64* %8
%54 = icmp ugt i64 %52, %53
br i1 %54, label %55, label %57
55: ; preds = %47
%56 = load i64, i64* %7
br label %59
57: ; preds = %47
%58 = load i64, i64* %8
br label %59
59: ; preds = %57, %55
%60 = phi i64 [ %56, %55 ], [ %58, %57 ]
%61 = mul i64 %51, %60
%62 = call float* @mem_alloc(i64 %61, i32 4)
store float* %62, float** %19
%63 = load float*, float** %14
%64 = icmp eq float* %63, null
br i1 %64, label %71, label %65
65: ; preds = %59
%66 = load float*, float** %15
%67 = icmp eq float* %66, null
br i1 %67, label %71, label %68
68: ; preds = %65
%69 = load float*, float** %19
%70 = icmp eq float* %69, null
br i1 %70, label %71, label %72
71: ; preds = %68, %65, %59
br label %161
72: ; preds = %68
store i64 0, i64* %13
br label %73
73: ; preds = %84, %72
%74 = load i64, i64* %13
%75 = load i64, i64* %8
%76 = load i64, i64* %11
%77 = mul i64 %75, %76
%78 = icmp ult i64 %74, %77
br i1 %78, label %79, label %87
79: ; preds = %73
%80 = call float (...) @rnorm()
%81 = load float*, float** %14
%82 = load i64, i64* %13
%83 = getelementptr inbounds float, float* %81, i64 %82
store float %80, float* %83
br label %84
84: ; preds = %79
%85 = load i64, i64* %13
%86 = add i64 %85, 1
store i64 %86, i64* %13
br label %73
87: ; preds = %73
%88 = load float*, float** %6
%89 = load float*, float** %14
%90 = load i64, i64* %7
%91 = load i64, i64* %8
%92 = load i64, i64* %11
%93 = load float*, float** %19
%94 = call i32 @dotnn(float* %88, float* %89, i64 %90, i64 %91, i64 %92, float* %93)
%95 = load float*, float** %19
%96 = load i64, i64* %7
%97 = load i64, i64* %11
%98 = load float*, float** %15
%99 = call i32 @qr(float* %95, i64 %96, i64 %97, float* %98)
store i64 0, i64* %13
br label %100
100: ; preds = %128, %87
%101 = load i64, i64* %13
%102 = icmp ult i64 %101, 2
br i1 %102, label %103, label %131
103: ; preds = %100
%104 = load float*, float** %6
%105 = load float*, float** %15
%106 = load i64, i64* %7
%107 = load i64, i64* %8
%108 = load i64, i64* %11
%109 = load float*, float** %19
%110 = call i32 @dottn(float* %104, float* %105, i64 %106, i64 %107, i64 %108, float* %109)
%111 = load float*, float** %19
%112 = load i64, i64* %8
%113 = load i64, i64* %11
%114 = load float*, float** %15
%115 = call i32 @qr(float* %111, i64 %112, i64 %113, float* %114)
%116 = load float*, float** %6
%117 = load float*, float** %15
%118 = load i64, i64* %7
%119 = load i64, i64* %8
%120 = load i64, i64* %11
%121 = load float*, float** %19
%122 = call i32 @dotnn(float* %116, float* %117, i64 %118, i64 %119, i64 %120, float* %121)
%123 = load float*, float** %19
%124 = load i64, i64* %7
%125 = load i64, i64* %11
%126 = load float*, float** %15
%127 = call i32 @qr(float* %123, i64 %124, i64 %125, float* %126)
br label %128
128: ; preds = %103
%129 = load i64, i64* %13
%130 = add i64 %129, 1
store i64 %130, i64* %13
br label %100
131: ; preds = %100
%132 = load float*, float** %15
%133 = load float*, float** %6
%134 = load i64, i64* %7
%135 = load i64, i64* %11
%136 = load i64, i64* %8
%137 = load float*, float** %14
%138 = call i32 @dottn(float* %132, float* %133, i64 %134, i64 %135, i64 %136, float* %137)
%139 = load float*, float** %14
%140 = load i64, i64* %11
%141 = load i64, i64* %8
%142 = call i32 @transpose(float* %139, i64 %140, i64 %141)
%143 = load float*, float** %14
%144 = load i64, i64* %8
%145 = load i64, i64* %11
%146 = call i32 @svd_full(float* %143, i64 %144, i64 %145, float** %17, float** %16, float** %18)
%147 = load float*, float** %18
%148 = load float*, float** %16
%149 = load i64, i64* %11
%150 = load i64, i64* %11
%151 = load i64, i64* %9
%152 = load float*, float** %14
%153 = call i32 @trim(float* %147, float* %148, i64 %149, i64 %150, i64 %151, float* %152)
%154 = load float*, float** %15
%155 = load float*, float** %14
%156 = load i64, i64* %7
%157 = load i64, i64* %11
%158 = load i64, i64* %9
%159 = load float*, float** %19
%160 = call i32 @dotnn(float* %154, float* %155, i64 %156, i64 %157, i64 %158, float* %159)
br label %166
161: ; preds = %71, %33
br label %162
162: ; preds = %161
%163 = load float*, float** %19
%164 = call i32 @mem_free(float* %163)
store float* null, float** %19
br label %165
165: ; preds = %162
br label %166
166: ; preds = %165, %131
%167 = load float*, float** %19
%168 = load float**, float*** %10
store float* %167, float** %168
%169 = load float*, float** %17
%170 = call i32 @mem_free(float* %169)
%171 = load float*, float** %16
%172 = call i32 @mem_free(float* %171)
%173 = load float*, float** %18
%174 = call i32 @mem_free(float* %173)
%175 = load float*, float** %14
%176 = call i32 @mem_free(float* %175)
%177 = load float*, float** %15
%178 = call i32 @mem_free(float* %177)
ret void
}

LLVM IR (-O2):
define void @svd_topk(float* %0, i64 %1, i64 %2, i64 %3, float** nocapture writeonly %4) {
%6 = alloca float*
%7 = alloca float*
%8 = alloca float*
%9 = shl i64 %3, 1
%10 = bitcast float** %6 to i8*
store float* null, float** %6
%11 = bitcast float** %7 to i8*
store float* null, float** %7
%12 = bitcast float** %8 to i8*
store float* null, float** %8
%13 = icmp ult i64 %1, %2
%14 = select i1 %13, i64 %1, i64 %2
%15 = icmp ult i64 %9, %14
br i1 %15, label %16, label %56
16: ; preds = %5
%17 = mul i64 %9, %2
%18 = tail call float* @mem_alloc(i64 %17, i32 4)
%19 = icmp ugt i64 %1, %2
%20 = select i1 %19, i64 %1, i64 %2
%21 = mul i64 %9, %20
%22 = tail call float* @mem_alloc(i64 %21, i32 4)
%23 = tail call float* @mem_alloc(i64 %21, i32 4)
%24 = icmp eq float* %18, null
%25 = icmp eq float* %22, null
%26 = select i1 %24, i1 true, i1 %25
%27 = icmp eq float* %23, null
%28 = select i1 %26, i1 true, i1 %27
br i1 %28, label %56, label %29
29: ; preds = %16
%30 = icmp eq i64 %17, 0
br i1 %30, label %37, label %31
31: ; preds = %29, %31
%32 = phi i64 [ %35, %31 ], [ 0, %29 ]
%33 = tail call float (...) @rnorm()
%34 = getelementptr inbounds float, float* %18, i64 %32
store float %33, float* %34
%35 = add nuw i64 %32, 1
%36 = icmp eq i64 %35, %17
br i1 %36, label %37, label %31
37: ; preds = %31, %29
%38 = tail call i32 @dotnn(float* %0, float* %18, i64 %1, i64 %2, i64 %9, float* %23)
%39 = tail call i32 @qr(float* %23, i64 %1, i64 %9, float* %22)
%40 = tail call i32 @dottn(float* %0, float* %22, i64 %1, i64 %2, i64 %9, float* %23)
%41 = tail call i32 @qr(float* %23, i64 %2, i64 %9, float* %22)
%42 = tail call i32 @dotnn(float* %0, float* %22, i64 %1, i64 %2, i64 %9, float* %23)
%43 = tail call i32 @qr(float* %23, i64 %1, i64 %9, float* %22)
%44 = tail call i32 @dottn(float* %0, float* %22, i64 %1, i64 %2, i64 %9, float* %23)
%45 = tail call i32 @qr(float* %23, i64 %2, i64 %9, float* %22)
%46 = tail call i32 @dotnn(float* %0, float* %22, i64 %1, i64 %2, i64 %9, float* %23)
%47 = tail call i32 @qr(float* %23, i64 %1, i64 %9, float* %22)
%48 = tail call i32 @dottn(float* %22, float* %0, i64 %1, i64 %9, i64 %2, float* %18)
%49 = tail call i32 @transpose(float* %18, i64 %9, i64 %2)
%50 = call i32 @svd_full(float* %18, i64 %2, i64 %9, float** %7, float** %6, float** %8)
%51 = load float*, float** %8
%52 = load float*, float** %6
%53 = call i32 @trim(float* %51, float* %52, i64 %9, i64 %9, i64 %3, float* %18)
%54 = call i32 @dotnn(float* %22, float* %18, i64 %1, i64 %9, i64 %3, float* %23)
%55 = load float*, float** %7
br label %61
56: ; preds = %5, %16
%57 = phi float* [ null, %5 ], [ %18, %16 ]
%58 = phi float* [ null, %5 ], [ %22, %16 ]
%59 = phi float* [ null, %5 ], [ %23, %16 ]
%60 = tail call i32 @mem_free(float* %59)
br label %61
61: ; preds = %56, %37
%62 = phi float* [ null, %56 ], [ %55, %37 ]
%63 = phi float* [ %57, %56 ], [ %18, %37 ]
%64 = phi float* [ %58, %56 ], [ %22, %37 ]
%65 = phi float* [ null, %56 ], [ %23, %37 ]
store float* %65, float** %4
%66 = call i32 @mem_free(float* %62)
%67 = load float*, float** %6
%68 = call i32 @mem_free(float* %67)
%69 = load float*, float** %8
%70 = call i32 @mem_free(float* %69)
%71 = call i32 @mem_free(float* %63)
%72 = call i32 @mem_free(float* %64)
ret void
}