void bandsol(double *a, double *b, int ml, int mr, int n) {
  int i, j, k, r0;
  int mt = ml + mr + 1;
  int m, n1 = n - 1, row;
  for (i = 0; i < n; i++) {
    r0 = i * mt + ml;
    m = ((-ml) > (-i) ? (-ml) : (-i));
    for (j = m; j < 0; j++)
      b[i] += a[r0 + j] * b[i + j];
    b[i] *= a[r0];
  }
  for (row = n1 - 1; row >= 0; row--) {
    m = ((mr) < (n1 - row) ? (mr) : (n1 - row));
    r0 = row * mt + ml;
    for (k = 1; k <= m; k++)
      b[row] = b[row] - a[r0 + k] * b[row + k];
  }
}


x86 assembly (clang, -O0):
<bandsol>:
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    -0x14(%rbp),%eax
add    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x1c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x38(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    1201 <bandsol+0x101>
mov    -0x20(%rbp),%eax
imul   -0x30(%rbp),%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x2c(%rbp)
xor    %eax,%eax
sub    -0x14(%rbp),%eax
xor    %ecx,%ecx
sub    -0x20(%rbp),%ecx
cmp    %ecx,%eax
jle    116a <bandsol+0x6a>
xor    %eax,%eax
sub    -0x14(%rbp),%eax
mov    %eax,-0x40(%rbp)
jmp    1172 <bandsol+0x72>
xor    %eax,%eax
sub    -0x20(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x40(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
mov    %eax,-0x24(%rbp)
cmpl   $0x0,-0x24(%rbp)
jge    11d4 <bandsol+0xd4>
mov    -0x8(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    -0x24(%rbp),%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%ecx
add    -0x24(%rbp),%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm2
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    117e <bandsol+0x7e>
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mulsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1132 <bandsol+0x32>
mov    -0x38(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x3c(%rbp)
cmpl   $0x0,-0x3c(%rbp)
jl     12dd <bandsol+0x1dd>
mov    -0x18(%rbp),%eax
mov    -0x38(%rbp),%ecx
sub    -0x3c(%rbp),%ecx
cmp    %ecx,%eax
jge    1230 <bandsol+0x130>
mov    -0x18(%rbp),%eax
mov    %eax,-0x44(%rbp)
jmp    1239 <bandsol+0x139>
mov    -0x38(%rbp),%eax
sub    -0x3c(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x44(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x3c(%rbp),%eax
imul   -0x30(%rbp),%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x2c(%rbp)
movl   $0x1,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x34(%rbp),%eax
jg     12ca <bandsol+0x1ca>
mov    -0x10(%rbp),%rax
movslq -0x3c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
mov    -0x8(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    -0x28(%rbp),%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x10(%rbp),%rax
mov    -0x3c(%rbp),%ecx
add    -0x28(%rbp),%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm2
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x10(%rbp),%rax
movslq -0x3c(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1253 <bandsol+0x153>
jmp    12cf <bandsol+0x1cf>
mov    -0x3c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x3c(%rbp)
jmp    120a <bandsol+0x10a>
pop    %rbp
ret

x86 assembly (clang, -O2):
<bandsol>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %rdi,-0x18(%rsp)
test   %r8d,%r8d
jle    130b <bandsol+0x20b>
lea    (%rdx,%rcx,1),%eax
add    $0x1,%eax
movslq %eax,%r10
movslq %edx,%rdi
neg    %edx
movslq %edx,%r15
mov    %r8,-0x8(%rsp)
mov    %r8d,%r14d
mov    -0x18(%rsp),%r8
lea    (%r8,%rdi,8),%rbx
lea    0x0(,%r10,8),%r11
xor    %ebp,%ebp
mov    %rsi,%rdx
xor    %r12d,%r12d
jmp    1174 <bandsol+0x74>
nopl   0x0(%rax)
movsd  (%rsi,%rbp,8),%xmm0
mulsd  (%r8,%r13,8),%xmm0
movsd  %xmm0,(%rsi,%rbp,8)
add    $0x1,%rbp
add    $0xffffffff,%r12d
add    $0x8,%rdx
add    %r11,%rbx
cmp    %r14,%rbp
je     11d1 <bandsol+0xd1>
cmp    %r15d,%r12d
mov    %r15d,%r9d
cmovg  %r12d,%r9d
mov    %rbp,%r13
imul   %r10,%r13
add    %rdi,%r13
mov    %rbp,%rax
neg    %rax
cmp    %rax,%r15
cmovg  %r15d,%eax
test   %eax,%eax
jns    1150 <bandsol+0x50>
movslq %r9d,%rax
add    $0xffffffffffffffff,%rax
movsd  (%rsi,%rbp,8),%xmm0
cs nopw 0x0(%rax,%rax,1)
nop
movsd  0x8(%rbx,%rax,8),%xmm1
mulsd  0x8(%rdx,%rax,8),%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,(%rsi,%rbp,8)
add    $0x1,%rax
cmp    $0xffffffffffffffff,%rax
jl     11b0 <bandsol+0xb0>
jmp    1155 <bandsol+0x55>
mov    %rdi,-0x10(%rsp)
mov    -0x8(%rsp),%rax
cmp    $0x2,%eax
jl     130b <bandsol+0x20b>
lea    -0x2(%rax),%edi
lea    (%rsi,%rdi,8),%r12
add    $0x8,%r12
mov    %r10,%rdx
imul   %rdi,%rdx
add    -0x10(%rsp),%rdx
mov    -0x18(%rsp),%rbp
lea    0x8(,%rdx,8),%rbx
add    %rbp,%rbx
neg    %r11
mov    $0x1,%r15d
xor    %r14d,%r14d
jmp    1238 <bandsol+0x138>
nopl   0x0(%rax)
add    $0xffffffffffffffff,%rdi
add    $0x1,%r15d
add    $0xfffffffffffffff8,%r12
add    %r11,%rbx
cmp    %eax,%r15d
je     130b <bandsol+0x20b>
cmp    %r15d,%ecx
mov    %r15d,%r8d
cmovl  %ecx,%r8d
add    $0x1,%r14d
cmp    %r14d,%ecx
mov    %r14d,%r9d
cmovl  %ecx,%r9d
mov    %edi,%edx
not    %edx
add    %eax,%edx
cmp    %ecx,%edx
cmovg  %ecx,%edx
test   %edx,%edx
jle    1220 <bandsol+0x120>
add    $0x1,%r9d
lea    -0x1(%r9),%r13
movsd  (%rsi,%rdi,8),%xmm0
mov    $0x1,%edx
cmp    $0x2,%r9d
je     12cc <bandsol+0x1cc>
add    $0x1,%r8d
add    $0xffffffffffffffff,%r8
and    $0xfffffffffffffffe,%r8
neg    %r8
mov    $0x1,%edx
nopl   0x0(%rax,%rax,1)
movsd  -0x8(%rbx,%rdx,8),%xmm1
mulsd  -0x8(%r12,%rdx,8),%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,(%rsi,%rdi,8)
movsd  (%rbx,%rdx,8),%xmm1
mulsd  (%r12,%rdx,8),%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,(%rsi,%rdi,8)
lea    (%r8,%rdx,1),%rbp
add    $0x2,%rbp
add    $0x2,%rdx
cmp    $0x1,%rbp
jne    1290 <bandsol+0x190>
test   $0x1,%r13b
je     1220 <bandsol+0x120>
mov    %rdi,%rax
imul   %r10,%rax
add    -0x10(%rsp),%rax
add    %rdx,%rax
mov    -0x18(%rsp),%rbp
movsd  0x0(%rbp,%rax,8),%xmm1
mov    -0x8(%rsp),%rax
add    %rdi,%rdx
mulsd  (%rsi,%rdx,8),%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,(%rsi,%rdi,8)
jmp    1220 <bandsol+0x120>
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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