void poly_mult(double a[], int Na, double b[], int Nb, double ans[], int Nans) {
  int i;
  int j;
  int k;
  Nans = Na + Nb - 1;
  for (i = 0; i < Na; i++) {
    for (j = 0; j < Nb; j++) {
      k = Na + Nb - i - j - 2;
      ans[k] = 0;
    }
  }
  for (i = 0; i < Na; i++) {
    for (j = 0; j < Nb; j++) {
      k = Na + Nb - i - j - 2;
      ans[k] = ans[k] + a[Na - i - 1] * b[Nb - j - 1];
    }
  }
}


x86 assembly (clang, -O0):
<poly_mult>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9d,-0x2c(%rbp)
mov    -0xc(%rbp),%eax
add    -0x1c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x2c(%rbp)
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    118f <poly_mult+0x8f>
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    117c <poly_mult+0x7c>
mov    -0xc(%rbp),%eax
add    -0x1c(%rbp),%eax
sub    -0x30(%rbp),%eax
sub    -0x34(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x38(%rbp)
mov    -0x28(%rbp),%rax
movslq -0x38(%rbp),%rcx
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1140 <poly_mult+0x40>
jmp    1181 <poly_mult+0x81>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    112d <poly_mult+0x2d>
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1234 <poly_mult+0x134>
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    1221 <poly_mult+0x121>
mov    -0xc(%rbp),%eax
add    -0x1c(%rbp),%eax
sub    -0x30(%rbp),%eax
sub    -0x34(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x38(%rbp)
mov    -0x28(%rbp),%rax
movslq -0x38(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
sub    -0x30(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x18(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    -0x34(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x28(%rbp),%rax
movslq -0x38(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    11a9 <poly_mult+0xa9>
jmp    1226 <poly_mult+0x126>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1196 <poly_mult+0x96>
pop    %rbp
ret

x86 assembly (clang, -O2):
<poly_mult>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rcx,-0x80(%rsp)
mov    %rsi,-0x60(%rsp)
test   %esi,%esi
jle    1639 <poly_mult+0x539>
mov    %rdi,-0x10(%rsp)
mov    -0x80(%rsp),%rax
mov    -0x60(%rsp),%rcx
lea    (%rax,%rcx,1),%r10d
add    $0xfffffffe,%r10d
mov    %ecx,%esi
mov    %rsi,-0x18(%rsp)
mov    %eax,%ebp
lea    -0x1(%rbp),%rsi
mov    %rsi,-0x30(%rsp)
mov    %ebp,%esi
and    $0xfffffffc,%esi
mov    %rsi,-0x70(%rsp)
add    $0xfffffffffffffffc,%rsi
mov    %rsi,(%rsp)
shr    $0x2,%rsi
add    $0x1,%rsi
mov    %esi,%edi
and    $0x3,%edi
mov    %rdi,-0x68(%rsp)
and    $0xfffffffffffffffc,%rsi
mov    %rsi,-0x8(%rsp)
mov    %ebp,%ebx
and    $0x3,%ebx
lea    (%rax,%rcx,1),%r9d
add    $0xfffffff6,%r9d
lea    (%rax,%rcx,1),%r14d
add    $0xfffffffa,%r14d
lea    (%rax,%rcx,1),%r15d
add    $0xfffffff2,%r15d
mov    %rbx,-0x20(%rsp)
neg    %rbx
lea    -0x5(%rcx),%eax
mov    %rax,-0x40(%rsp)
lea    -0x4(%rcx),%eax
mov    %rax,-0x48(%rsp)
xorpd  %xmm0,%xmm0
lea    -0x2(%rcx),%eax
mov    %rax,-0x50(%rsp)
lea    -0x3(%rcx),%eax
mov    %rax,-0x58(%rsp)
xor    %eax,%eax
mov    %rax,-0x78(%rsp)
mov    %r10,-0x28(%rsp)
mov    %rbp,-0x38(%rsp)
jmp    1214 <poly_mult+0x114>
nop
mov    -0x78(%rsp),%rcx
add    $0x1,%rcx
add    $0xffffffffffffffff,%r9
add    $0xffffffffffffffff,%r14
add    $0xffffffffffffffff,%r15
add    $0xffffffffffffffff,%r10
addq   $0xffffffffffffffff,-0x40(%rsp)
addq   $0xffffffffffffffff,-0x48(%rsp)
addq   $0xffffffffffffffff,-0x50(%rsp)
addq   $0xffffffffffffffff,-0x58(%rsp)
mov    %rcx,%rax
mov    %rcx,-0x78(%rsp)
cmp    -0x18(%rsp),%rcx
je     13f0 <poly_mult+0x2f0>
cmpl   $0x0,-0x80(%rsp)
jle    11d0 <poly_mult+0xd0>
cmpl   $0x4,-0x80(%rsp)
jae    12f0 <poly_mult+0x1f0>
xor    %eax,%eax
mov    %rax,%rcx
not    %rcx
add    %rbp,%rcx
cmpq   $0x0,-0x20(%rsp)
je     125f <poly_mult+0x15f>
mov    %r10d,%edi
sub    %eax,%edi
xor    %esi,%esi
lea    (%rdi,%rsi,1),%ebp
movslq %ebp,%rbp
movq   $0x0,(%r8,%rbp,8)
add    $0xffffffffffffffff,%rsi
cmp    %rsi,%rbx
jne    1240 <poly_mult+0x140>
sub    %rsi,%rax
mov    -0x38(%rsp),%rbp
cmp    $0x3,%rcx
jb     11d0 <poly_mult+0xd0>
mov    %eax,%ecx
neg    %ecx
add    %rbp,%rcx
mov    -0x58(%rsp),%r12
mov    -0x50(%rsp),%r11
mov    -0x48(%rsp),%r13
mov    -0x40(%rsp),%rdi
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
lea    (%rcx,%r11,1),%esi
movslq %esi,%rsi
movq   $0x0,(%r8,%rsi,8)
lea    (%rcx,%r12,1),%esi
movslq %esi,%rsi
movq   $0x0,(%r8,%rsi,8)
lea    0x0(%r13,%rcx,1),%esi
movslq %esi,%rsi
movq   $0x0,(%r8,%rsi,8)
lea    (%rdi,%rcx,1),%esi
movslq %esi,%rsi
movq   $0x0,(%r8,%rsi,8)
add    $0x4,%rax
add    $0xfffffffffffffffc,%rdi
add    $0xfffffffffffffffc,%r13
add    $0xfffffffffffffffc,%r11
add    $0xfffffffffffffffc,%r12
cmp    %rax,%rbp
jne    1290 <poly_mult+0x190>
jmp    11d0 <poly_mult+0xd0>
nopw   0x0(%rax,%rax,1)
mov    -0x28(%rsp),%rax
sub    -0x78(%rsp),%eax
mov    %eax,%ecx
mov    -0x30(%rsp),%rsi
sub    %esi,%ecx
cmp    %eax,%ecx
jg     1226 <poly_mult+0x126>
mov    %rsi,%rax
shr    $0x20,%rax
mov    $0x0,%eax
jne    1228 <poly_mult+0x128>
cmpq   $0xc,(%rsp)
jae    1332 <poly_mult+0x232>
xor    %eax,%eax
cmpq   $0x0,-0x68(%rsp)
jne    13a9 <poly_mult+0x2a9>
jmp    13da <poly_mult+0x2da>
mov    -0x8(%rsp),%rcx
xor    %eax,%eax
nopl   0x0(%rax)
lea    (%r10,%rax,1),%esi
movslq %esi,%rsi
movupd %xmm0,-0x8(%r8,%rsi,8)
movupd %xmm0,-0x18(%r8,%rsi,8)
lea    (%r14,%rax,1),%esi
movslq %esi,%rsi
movupd %xmm0,-0x8(%r8,%rsi,8)
movupd %xmm0,-0x18(%r8,%rsi,8)
lea    (%r9,%rax,1),%esi
movslq %esi,%rsi
movupd %xmm0,-0x8(%r8,%rsi,8)
movupd %xmm0,-0x18(%r8,%rsi,8)
lea    (%r15,%rax,1),%esi
movslq %esi,%rsi
movupd %xmm0,-0x8(%r8,%rsi,8)
movupd %xmm0,-0x18(%r8,%rsi,8)
add    $0xfffffffffffffff0,%rax
add    $0xfffffffffffffffc,%rcx
jne    1340 <poly_mult+0x240>
neg    %rax
cmpq   $0x0,-0x68(%rsp)
je     13da <poly_mult+0x2da>
mov    %r10d,%ecx
sub    %eax,%ecx
mov    -0x68(%rsp),%rax
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movslq %ecx,%rcx
movupd %xmm0,-0x8(%r8,%rcx,8)
movupd %xmm0,-0x18(%r8,%rcx,8)
add    $0xfffffffc,%ecx
add    $0xffffffffffffffff,%rax
jne    13c0 <poly_mult+0x2c0>
mov    -0x70(%rsp),%rcx
mov    %rcx,%rax
cmp    %rbp,%rcx
je     11d0 <poly_mult+0xd0>
jmp    1228 <poly_mult+0x128>
cmpl   $0x0,-0x60(%rsp)
mov    -0x10(%rsp),%rbp
jle    1639 <poly_mult+0x539>
mov    -0x80(%rsp),%rax
lea    -0x1(%rax),%r15d
lea    0x8(%rbp),%rax
mov    %rax,-0x48(%rsp)
mov    $0x1,%eax
mov    -0x38(%rsp),%r12
sub    %r12,%rax
lea    (%r8,%rax,8),%rax
mov    %rax,-0x50(%rsp)
lea    0x8(%r8),%rax
mov    %rax,-0x58(%rsp)
movslq %r15d,%rax
lea    0x1(%rax),%rcx
sub    %r12,%rcx
lea    (%rdx,%rcx,8),%rcx
mov    %rcx,-0x20(%rsp)
lea    (%rdx,%rax,8),%rcx
add    $0x8,%rcx
mov    %rcx,-0x68(%rsp)
mov    %eax,%ecx
mov    -0x30(%rsp),%rsi
sub    %esi,%ecx
cmp    %eax,%ecx
setg   %al
shr    $0x20,%rsi
mov    %rsi,-0x78(%rsp)
setne  %cl
or     %al,%cl
mov    %cl,-0x40(%rsp)
mov    %r12d,%eax
and    $0xfffffffc,%eax
mov    %rax,-0x70(%rsp)
neg    %r12
xor    %r9d,%r9d
mov    -0x28(%rsp),%rax
mov    %eax,%r10d
jmp    14a3 <poly_mult+0x3a3>
nopl   0x0(%rax)
add    $0x1,%r9
add    $0xffffffff,%r10d
cmp    -0x18(%rsp),%r9
je     1639 <poly_mult+0x539>
cmpl   $0x0,-0x80(%rsp)
jle    1490 <poly_mult+0x390>
mov    %r9d,%eax
not    %eax
add    -0x60(%rsp),%eax
movslq %eax,%r11
cmpl   $0x4,-0x80(%rsp)
jb     15e0 <poly_mult+0x4e0>
mov    -0x28(%rsp),%rax
sub    %r9d,%eax
cmpq   $0x0,-0x78(%rsp)
setne  %cl
mov    %eax,%edi
sub    -0x30(%rsp),%edi
cmp    %eax,%edi
setg   %bl
or     %cl,%bl
or     -0x40(%rsp),%bl
jne    15e0 <poly_mult+0x4e0>
mov    %r9d,%ecx
not    %ecx
add    -0x60(%rsp),%ecx
movslq %ecx,%rcx
lea    0x0(,%rcx,8),%rdi
add    %rbp,%rdi
mov    -0x48(%rsp),%rsi
lea    (%rsi,%rcx,8),%rcx
cltq
mov    -0x50(%rsp),%rsi
lea    (%rsi,%rax,8),%rbx
mov    -0x58(%rsp),%rsi
lea    (%rsi,%rax,8),%rax
cmp    %rax,%rdi
setb   %dil
cmp    %rcx,%rbx
setb   %r14b
cmp    -0x68(%rsp),%rbx
setb   %cl
cmp    %rax,-0x20(%rsp)
setb   %bl
test   %r14b,%dil
jne    15e0 <poly_mult+0x4e0>
mov    $0x0,%eax
and    %bl,%cl
jne    15e2 <poly_mult+0x4e2>
movsd  0x0(%rbp,%r11,8),%xmm0
unpcklpd %xmm0,%xmm0
mov    %r15d,%eax
mov    -0x70(%rsp),%rcx
mov    %r10d,%edi
nopw   0x0(%rax,%rax,1)
movslq %edi,%rdi
movupd -0x18(%r8,%rdi,8),%xmm1
movupd -0x8(%r8,%rdi,8),%xmm2
cltq
movupd -0x18(%rdx,%rax,8),%xmm3
movupd -0x8(%rdx,%rax,8),%xmm4
movapd %xmm0,%xmm5
shufpd $0x1,%xmm0,%xmm5
mulpd  %xmm5,%xmm4
addpd  %xmm2,%xmm4
movupd %xmm4,-0x8(%r8,%rdi,8)
mulpd  %xmm3,%xmm5
addpd  %xmm1,%xmm5
movupd %xmm5,-0x18(%r8,%rdi,8)
add    $0xfffffffc,%edi
add    $0xfffffffc,%eax
add    $0xfffffffffffffffc,%rcx
jne    1570 <poly_mult+0x470>
mov    -0x70(%rsp),%rcx
mov    %rcx,%rax
cmp    -0x38(%rsp),%rcx
je     1490 <poly_mult+0x390>
jmp    15e2 <poly_mult+0x4e2>
nopw   0x0(%rax,%rax,1)
xor    %eax,%eax
mov    %r15d,%ecx
sub    %eax,%ecx
mov    %r10d,%edi
sub    %eax,%edi
add    %r12,%rax
xor    %r14d,%r14d
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
lea    (%rdi,%r14,1),%ebx
movslq %ebx,%rbx
movsd  0x0(%rbp,%r11,8),%xmm0
lea    (%rcx,%r14,1),%r13d
movslq %r13d,%rsi
mov    -0x10(%rsp),%rbp
mulsd  (%rdx,%rsi,8),%xmm0
addsd  (%r8,%rbx,8),%xmm0
movsd  %xmm0,(%r8,%rbx,8)
add    $0xffffffffffffffff,%r14
cmp    %r14,%rax
jne    1600 <poly_mult+0x500>
jmp    1490 <poly_mult+0x390>
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @poly_mult(double* %0, i32 %1, double* %2, i32 %3, double* %4, i32 %5) {
%7 = alloca double*
%8 = alloca i32
%9 = alloca double*
%10 = alloca i32
%11 = alloca double*
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
store double* %0, double** %7
store i32 %1, i32* %8
store double* %2, double** %9
store i32 %3, i32* %10
store double* %4, double** %11
store i32 %5, i32* %12
%16 = load i32, i32* %8
%17 = load i32, i32* %10
%18 = add nsw i32 %16, %17
%19 = sub nsw i32 %18, 1
store i32 %19, i32* %12
store i32 0, i32* %13
br label %20
20: ; preds = %46, %6
%21 = load i32, i32* %13
%22 = load i32, i32* %8
%23 = icmp slt i32 %21, %22
br i1 %23, label %24, label %49
24: ; preds = %20
store i32 0, i32* %14
br label %25
25: ; preds = %42, %24
%26 = load i32, i32* %14
%27 = load i32, i32* %10
%28 = icmp slt i32 %26, %27
br i1 %28, label %29, label %45
29: ; preds = %25
%30 = load i32, i32* %8
%31 = load i32, i32* %10
%32 = add nsw i32 %30, %31
%33 = load i32, i32* %13
%34 = sub nsw i32 %32, %33
%35 = load i32, i32* %14
%36 = sub nsw i32 %34, %35
%37 = sub nsw i32 %36, 2
store i32 %37, i32* %15
%38 = load double*, double** %11
%39 = load i32, i32* %15
%40 = sext i32 %39 to i64
%41 = getelementptr inbounds double, double* %38, i64 %40
store double 0.000000e+00, double* %41
br label %42
42: ; preds = %29
%43 = load i32, i32* %14
%44 = add nsw i32 %43, 1
store i32 %44, i32* %14
br label %25
45: ; preds = %25
br label %46
46: ; preds = %45
%47 = load i32, i32* %13
%48 = add nsw i32 %47, 1
store i32 %48, i32* %13
br label %20
49: ; preds = %20
store i32 0, i32* %13
br label %50
50: ; preds = %98, %49
%51 = load i32, i32* %13
%52 = load i32, i32* %8
%53 = icmp slt i32 %51, %52
br i1 %53, label %54, label %101
54: ; preds = %50
store i32 0, i32* %14
br label %55
55: ; preds = %94, %54
%56 = load i32, i32* %14
%57 = load i32, i32* %10
%58 = icmp slt i32 %56, %57
br i1 %58, label %59, label %97
59: ; preds = %55
%60 = load i32, i32* %8
%61 = load i32, i32* %10
%62 = add nsw i32 %60, %61
%63 = load i32, i32* %13
%64 = sub nsw i32 %62, %63
%65 = load i32, i32* %14
%66 = sub nsw i32 %64, %65
%67 = sub nsw i32 %66, 2
store i32 %67, i32* %15
%68 = load double*, double** %11
%69 = load i32, i32* %15
%70 = sext i32 %69 to i64
%71 = getelementptr inbounds double, double* %68, i64 %70
%72 = load double, double* %71
%73 = load double*, double** %7
%74 = load i32, i32* %8
%75 = load i32, i32* %13
%76 = sub nsw i32 %74, %75
%77 = sub nsw i32 %76, 1
%78 = sext i32 %77 to i64
%79 = getelementptr inbounds double, double* %73, i64 %78
%80 = load double, double* %79
%81 = load double*, double** %9
%82 = load i32, i32* %10
%83 = load i32, i32* %14
%84 = sub nsw i32 %82, %83
%85 = sub nsw i32 %84, 1
%86 = sext i32 %85 to i64
%87 = getelementptr inbounds double, double* %81, i64 %86
%88 = load double, double* %87
%89 = call double @llvm.fmuladd.f64(double %80, double %88, double %72)
%90 = load double*, double** %11
%91 = load i32, i32* %15
%92 = sext i32 %91 to i64
%93 = getelementptr inbounds double, double* %90, i64 %92
store double %89, double* %93
br label %94
94: ; preds = %59
%95 = load i32, i32* %14
%96 = add nsw i32 %95, 1
store i32 %96, i32* %14
br label %55
97: ; preds = %55
br label %98
98: ; preds = %97
%99 = load i32, i32* %13
%100 = add nsw i32 %99, 1
store i32 %100, i32* %13
br label %50
101: ; preds = %50
ret void
}

LLVM IR (-O2):
define void @poly_mult(double* nocapture %0, i32 %1, double* nocapture %2, i32 %3, double* nocapture %4, i32 %5) {
%7 = add nsw i32 %3, %1
%8 = icmp sgt i32 %1, 0
br i1 %8, label %9, label %287
9: ; preds = %6
%10 = icmp sgt i32 %3, 0
%11 = add i32 %7, -2
%12 = zext i32 %1 to i64
%13 = zext i32 %3 to i64
%14 = add nsw i64 %13, -1
%15 = and i64 %13, 4294967292
%16 = add nsw i64 %15, -4
%17 = lshr exact i64 %16, 2
%18 = add nuw nsw i64 %17, 1
%19 = icmp ult i32 %3, 4
%20 = trunc i64 %14 to i32
%21 = icmp ugt i64 %14, 4294967295
%22 = and i64 %13, 4294967292
%23 = and i64 %18, 3
%24 = icmp ult i64 %16, 12
%25 = and i64 %18, 9223372036854775804
%26 = icmp eq i64 %23, 0
%27 = icmp eq i64 %22, %13
%28 = and i64 %13, 3
%29 = icmp eq i64 %28, 0
br label %30
30: ; preds = %9, %182
%31 = phi i64 [ 0, %9 ], [ %183, %182 ]
%32 = trunc i64 %31 to i32
%33 = sub i32 %11, %32
br i1 %10, label %34, label %182
34: ; preds = %30
br i1 %19, label %108, label %35
35: ; preds = %34
%36 = sub i32 %33, %20
%37 = icmp sgt i32 %36, %33
%38 = or i1 %37, %21
br i1 %38, label %108, label %39
39: ; preds = %35
br i1 %24, label %89, label %40
40: ; preds = %39, %40
%41 = phi i64 [ %86, %40 ], [ 0, %39 ]
%42 = phi i64 [ %87, %40 ], [ 0, %39 ]
%43 = add nuw nsw i64 %31, %41
%44 = trunc i64 %43 to i32
%45 = sub i32 %11, %44
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds double, double* %4, i64 %46
%48 = getelementptr inbounds double, double* %47, i64 -1
%49 = bitcast double* %48 to <2 x double>*
store <2 x double> zeroinitializer, <2 x double>* %49
%50 = getelementptr inbounds double, double* %47, i64 -2
%51 = getelementptr inbounds double, double* %50, i64 -1
%52 = bitcast double* %51 to <2 x double>*
store <2 x double> zeroinitializer, <2 x double>* %52
%53 = or i64 %41, 4
%54 = add nuw nsw i64 %31, %53
%55 = trunc i64 %54 to i32
%56 = sub i32 %11, %55
%57 = sext i32 %56 to i64
%58 = getelementptr inbounds double, double* %4, i64 %57
%59 = getelementptr inbounds double, double* %58, i64 -1
%60 = bitcast double* %59 to <2 x double>*
store <2 x double> zeroinitializer, <2 x double>* %60
%61 = getelementptr inbounds double, double* %58, i64 -2
%62 = getelementptr inbounds double, double* %61, i64 -1
%63 = bitcast double* %62 to <2 x double>*
store <2 x double> zeroinitializer, <2 x double>* %63
%64 = or i64 %41, 8
%65 = add nuw nsw i64 %31, %64
%66 = trunc i64 %65 to i32
%67 = sub i32 %11, %66
%68 = sext i32 %67 to i64
%69 = getelementptr inbounds double, double* %4, i64 %68
%70 = getelementptr inbounds double, double* %69, i64 -1
%71 = bitcast double* %70 to <2 x double>*
store <2 x double> zeroinitializer, <2 x double>* %71
%72 = getelementptr inbounds double, double* %69, i64 -2
%73 = getelementptr inbounds double, double* %72, i64 -1
%74 = bitcast double* %73 to <2 x double>*
store <2 x double> zeroinitializer, <2 x double>* %74
%75 = or i64 %41, 12
%76 = add nuw nsw i64 %31, %75
%77 = trunc i64 %76 to i32
%78 = sub i32 %11, %77
%79 = sext i32 %78 to i64
%80 = getelementptr inbounds double, double* %4, i64 %79
%81 = getelementptr inbounds double, double* %80, i64 -1
%82 = bitcast double* %81 to <2 x double>*
store <2 x double> zeroinitializer, <2 x double>* %82
%83 = getelementptr inbounds double, double* %80, i64 -2
%84 = getelementptr inbounds double, double* %83, i64 -1
%85 = bitcast double* %84 to <2 x double>*
store <2 x double> zeroinitializer, <2 x double>* %85
%86 = add nuw i64 %41, 16
%87 = add nuw i64 %42, 4
%88 = icmp eq i64 %87, %25
br i1 %88, label %89, label %40
89: ; preds = %40, %39
%90 = phi i64 [ 0, %39 ], [ %86, %40 ]
br i1 %26, label %107, label %91
91: ; preds = %89, %91
%92 = phi i64 [ %104, %91 ], [ %90, %89 ]
%93 = phi i64 [ %105, %91 ], [ 0, %89 ]
%94 = add nuw nsw i64 %31, %92
%95 = trunc i64 %94 to i32
%96 = sub i32 %11, %95
%97 = sext i32 %96 to i64
%98 = getelementptr inbounds double, double* %4, i64 %97
%99 = getelementptr inbounds double, double* %98, i64 -1
%100 = bitcast double* %99 to <2 x double>*
store <2 x double> zeroinitializer, <2 x double>* %100
%101 = getelementptr inbounds double, double* %98, i64 -2
%102 = getelementptr inbounds double, double* %101, i64 -1
%103 = bitcast double* %102 to <2 x double>*
store <2 x double> zeroinitializer, <2 x double>* %103
%104 = add nuw i64 %92, 4
%105 = add i64 %93, 1
%106 = icmp eq i64 %105, %23
br i1 %106, label %107, label %91
107: ; preds = %91, %89
br i1 %27, label %182, label %108
108: ; preds = %35, %34, %107
%109 = phi i64 [ 0, %35 ], [ 0, %34 ], [ %22, %107 ]
%110 = xor i64 %109, -1
%111 = add nsw i64 %110, %13
br i1 %29, label %123, label %112
112: ; preds = %108, %112
%113 = phi i64 [ %120, %112 ], [ %109, %108 ]
%114 = phi i64 [ %121, %112 ], [ 0, %108 ]
%115 = add nuw nsw i64 %31, %113
%116 = trunc i64 %115 to i32
%117 = sub i32 %11, %116
%118 = sext i32 %117 to i64
%119 = getelementptr inbounds double, double* %4, i64 %118
store double 0.000000e+00, double* %119
%120 = add nuw nsw i64 %113, 1
%121 = add i64 %114, 1
%122 = icmp eq i64 %121, %28
br i1 %122, label %123, label %112
123: ; preds = %112, %108
%124 = phi i64 [ %109, %108 ], [ %120, %112 ]
%125 = icmp ult i64 %111, 3
br i1 %125, label %182, label %155
126: ; preds = %182
br i1 %8, label %127, label %287
127: ; preds = %126
%128 = icmp sgt i32 %3, 0
%129 = add i32 %7, -2
%130 = zext i32 %1 to i64
%131 = zext i32 %3 to i64
%132 = add nsw i64 %13, -1
%133 = add i32 %3, -1
%134 = getelementptr double, double* %0, i64 1
%135 = sub nsw i64 1, %13
%136 = getelementptr double, double* %4, i64 %135
%137 = getelementptr double, double* %4, i64 1
%138 = add i32 %3, -1
%139 = sext i32 %138 to i64
%140 = add nsw i64 %139, 1
%141 = sub nsw i64 %140, %13
%142 = getelementptr double, double* %2, i64 %141
%143 = add nsw i64 %139, 1
%144 = getelementptr double, double* %2, i64 %143
%145 = icmp ult i32 %3, 4
%146 = trunc i64 %132 to i32
%147 = icmp ugt i64 %132, 4294967295
%148 = trunc i64 %132 to i32
%149 = sub i32 %133, %148
%150 = icmp sgt i32 %149, %133
%151 = icmp ugt i64 %132, 4294967295
%152 = or i1 %150, %151
%153 = and i64 %13, 4294967292
%154 = icmp eq i64 %153, %13
br label %185
155: ; preds = %123, %155
%156 = phi i64 [ %180, %155 ], [ %124, %123 ]
%157 = add nuw nsw i64 %31, %156
%158 = trunc i64 %157 to i32
%159 = sub i32 %11, %158
%160 = sext i32 %159 to i64
%161 = getelementptr inbounds double, double* %4, i64 %160
store double 0.000000e+00, double* %161
%162 = add nuw nsw i64 %156, 1
%163 = add nuw nsw i64 %31, %162
%164 = trunc i64 %163 to i32
%165 = sub i32 %11, %164
%166 = sext i32 %165 to i64
%167 = getelementptr inbounds double, double* %4, i64 %166
store double 0.000000e+00, double* %167
%168 = add nuw nsw i64 %156, 2
%169 = add nuw nsw i64 %31, %168
%170 = trunc i64 %169 to i32
%171 = sub i32 %11, %170
%172 = sext i32 %171 to i64
%173 = getelementptr inbounds double, double* %4, i64 %172
store double 0.000000e+00, double* %173
%174 = add nuw nsw i64 %156, 3
%175 = add nuw nsw i64 %31, %174
%176 = trunc i64 %175 to i32
%177 = sub i32 %11, %176
%178 = sext i32 %177 to i64
%179 = getelementptr inbounds double, double* %4, i64 %178
store double 0.000000e+00, double* %179
%180 = add nuw nsw i64 %156, 4
%181 = icmp eq i64 %180, %13
br i1 %181, label %182, label %155
182: ; preds = %123, %155, %107, %30
%183 = add nuw nsw i64 %31, 1
%184 = icmp eq i64 %183, %12
br i1 %184, label %126, label %30
185: ; preds = %127, %284
%186 = phi i64 [ 0, %127 ], [ %285, %284 ]
%187 = trunc i64 %186 to i32
%188 = xor i32 %187, -1
%189 = add i32 %188, %1
%190 = sext i32 %189 to i64
%191 = getelementptr double, double* %0, i64 %190
%192 = getelementptr double, double* %134, i64 %190
%193 = trunc i64 %186 to i32
%194 = sub i32 %11, %193
%195 = sext i32 %194 to i64
%196 = getelementptr double, double* %136, i64 %195
%197 = getelementptr double, double* %137, i64 %195
%198 = trunc i64 %186 to i32
%199 = sub i32 %11, %198
br i1 %128, label %200, label %284
200: ; preds = %185
%201 = trunc i64 %186 to i32
%202 = xor i32 %201, -1
%203 = add i32 %202, %1
%204 = sext i32 %203 to i64
%205 = getelementptr inbounds double, double* %0, i64 %204
br i1 %145, label %264, label %206
206: ; preds = %200
%207 = sub i32 %199, %146
%208 = icmp sgt i32 %207, %199
%209 = or i1 %208, %147
%210 = or i1 %209, %152
br i1 %210, label %264, label %211
211: ; preds = %206
%212 = icmp ult double* %191, %197
%213 = icmp ult double* %196, %192
%214 = and i1 %212, %213
%215 = icmp ult double* %196, %144
%216 = icmp ult double* %142, %197
%217 = and i1 %215, %216
%218 = or i1 %214, %217
br i1 %218, label %264, label %219
219: ; preds = %211
%220 = load double, double* %205
%221 = insertelement <2 x double> poison, double %220, i64 0
%222 = shufflevector <2 x double> %221, <2 x double> poison, <2 x i32> zeroinitializer
%223 = insertelement <2 x double> poison, double %220, i64 0
%224 = shufflevector <2 x double> %223, <2 x double> poison, <2 x i32> zeroinitializer
br label %225
225: ; preds = %225, %219
%226 = phi i64 [ 0, %219 ], [ %261, %225 ]
%227 = trunc i64 %226 to i32
%228 = add nuw nsw i64 %186, %226
%229 = trunc i64 %228 to i32
%230 = sub i32 %129, %229
%231 = sext i32 %230 to i64
%232 = getelementptr inbounds double, double* %4, i64 %231
%233 = getelementptr inbounds double, double* %232, i64 -1
%234 = bitcast double* %233 to <2 x double>*
%235 = load <2 x double>, <2 x double>* %234
%236 = shufflevector <2 x double> %235, <2 x double> poison, <2 x i32> <i32 1, i32 0>
%237 = getelementptr inbounds double, double* %232, i64 -2
%238 = getelementptr inbounds double, double* %237, i64 -1
%239 = bitcast double* %238 to <2 x double>*
%240 = load <2 x double>, <2 x double>* %239
%241 = shufflevector <2 x double> %240, <2 x double> poison, <2 x i32> <i32 1, i32 0>
%242 = xor i32 %227, -1
%243 = add i32 %242, %3
%244 = sext i32 %243 to i64
%245 = getelementptr inbounds double, double* %2, i64 %244
%246 = getelementptr inbounds double, double* %245, i64 -1
%247 = bitcast double* %246 to <2 x double>*
%248 = load <2 x double>, <2 x double>* %247
%249 = shufflevector <2 x double> %248, <2 x double> poison, <2 x i32> <i32 1, i32 0>
%250 = getelementptr inbounds double, double* %245, i64 -2
%251 = getelementptr inbounds double, double* %250, i64 -1
%252 = bitcast double* %251 to <2 x double>*
%253 = load <2 x double>, <2 x double>* %252
%254 = shufflevector <2 x double> %253, <2 x double> poison, <2 x i32> <i32 1, i32 0>
%255 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %222, <2 x double> %249, <2 x double> %236)
%256 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %224, <2 x double> %254, <2 x double> %241)
%257 = shufflevector <2 x double> %255, <2 x double> poison, <2 x i32> <i32 1, i32 0>
%258 = bitcast double* %233 to <2 x double>*
store <2 x double> %257, <2 x double>* %258
%259 = shufflevector <2 x double> %256, <2 x double> poison, <2 x i32> <i32 1, i32 0>
%260 = bitcast double* %238 to <2 x double>*
store <2 x double> %259, <2 x double>* %260
%261 = add nuw i64 %226, 4
%262 = icmp eq i64 %261, %153
br i1 %262, label %263, label %225
263: ; preds = %225
br i1 %154, label %284, label %264
264: ; preds = %211, %206, %200, %263
%265 = phi i64 [ 0, %211 ], [ 0, %206 ], [ 0, %200 ], [ %153, %263 ]
br label %266
266: ; preds = %264, %266
%267 = phi i64 [ %282, %266 ], [ %265, %264 ]
%268 = add nuw nsw i64 %186, %267
%269 = trunc i64 %268 to i32
%270 = sub i32 %129, %269
%271 = sext i32 %270 to i64
%272 = getelementptr inbounds double, double* %4, i64 %271
%273 = load double, double* %272
%274 = load double, double* %205
%275 = trunc i64 %267 to i32
%276 = xor i32 %275, -1
%277 = add i32 %276, %3
%278 = sext i32 %277 to i64
%279 = getelementptr inbounds double, double* %2, i64 %278
%280 = load double, double* %279
%281 = tail call double @llvm.fmuladd.f64(double %274, double %280, double %273)
store double %281, double* %272
%282 = add nuw nsw i64 %267, 1
%283 = icmp eq i64 %282, %131
br i1 %283, label %284, label %266
284: ; preds = %266, %263, %185
%285 = add nuw nsw i64 %186, 1
%286 = icmp eq i64 %285, %130
br i1 %286, label %287, label %185
287: ; preds = %284, %6, %126
ret void
}