#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 */
scalar_t__ dot_real(double *, double *, int);
void pflslv(int neqns, double **penv, double *diag, double *rhs) {
  int i, iband;
  if (neqns <= 1)
    return;
  for (i = 1; i < neqns; i++) {
    iband = penv[i + 1] - penv[i];
    if (iband > i)
      iband = i;
    if (iband > 0) {
      rhs[i] -= dot_real(penv[i + 1] - iband, rhs + i - iband, iband);
    }
  }
  return;
}


x86 assembly (clang, -O0):
<pflslv>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
cmpl   $0x1,-0x4(%rbp)
jg     1136 <pflslv+0x26>
jmp    1207 <pflslv+0xf7>
movl   $0x1,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    1202 <pflslv+0xf2>
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x10(%rbp),%rcx
movslq -0x24(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
sub    %rcx,%rax
sar    $0x3,%rax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x24(%rbp),%eax
jle    1182 <pflslv+0x72>
mov    -0x24(%rbp),%eax
mov    %eax,-0x28(%rbp)
cmpl   $0x0,-0x28(%rbp)
jle    11ef <pflslv+0xdf>
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rdi
movslq -0x28(%rbp),%rcx
xor    %eax,%eax
sub    %rcx,%rax
shl    $0x3,%rax
add    %rax,%rdi
mov    -0x20(%rbp),%rsi
movslq -0x24(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rsi
movslq -0x28(%rbp),%rcx
xor    %eax,%eax
sub    %rcx,%rax
shl    $0x3,%rax
add    %rax,%rsi
mov    -0x28(%rbp),%edx
call   1030 <dot_real@plt>
cvtsi2sd %rax,%xmm1
mov    -0x20(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
subsd  %xmm1,%xmm0
movsd  %xmm0,(%rax,%rcx,8)
jmp    11f4 <pflslv+0xe4>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    113d <pflslv+0x2d>
jmp    1207 <pflslv+0xf7>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<pflslv>:
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
cmp    $0x2,%edi
jl     118b <pflslv+0x7b>
mov    %rcx,%r14
mov    %rsi,%r12
mov    %edi,%r15d
mov    $0x1,%ebx
jmp    1138 <pflslv+0x28>
xchg   %ax,%ax
mov    %r13,%rbx
cmp    %r15,%r13
je     118b <pflslv+0x7b>
mov    0x8(%r12,%rbx,8),%rdi
mov    %rdi,%rax
sub    (%r12,%rbx,8),%rax
shr    $0x3,%rax
movslq %eax,%rcx
mov    %ebx,%edx
cmp    %rcx,%rbx
jl     1154 <pflslv+0x44>
mov    %eax,%edx
lea    0x1(%rbx),%r13
test   %eax,%eax
jle    1130 <pflslv+0x20>
mov    %edx,%eax
shl    $0x3,%rax
sub    %rax,%rdi
lea    (%r14,%rbx,8),%rsi
sub    %rax,%rsi
call   1030 <dot_real@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %rax,%xmm0
movsd  (%r14,%rbx,8),%xmm1
subsd  %xmm0,%xmm1
movsd  %xmm1,(%r14,%rbx,8)
jmp    1130 <pflslv+0x20>
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define void @pflslv(i32 %0, double** %1, double* %2, double* %3) {
%5 = alloca i32
%6 = alloca double**
%7 = alloca double*
%8 = alloca double*
%9 = alloca i32
%10 = alloca i32
store i32 %0, i32* %5
store double** %1, double*** %6
store double* %2, double** %7
store double* %3, double** %8
%11 = load i32, i32* %5
%12 = icmp sle i32 %11, 1
br i1 %12, label %13, label %14
13: ; preds = %4
br label %77
14: ; preds = %4
store i32 1, i32* %9
br label %15
15: ; preds = %73, %14
%16 = load i32, i32* %9
%17 = load i32, i32* %5
%18 = icmp slt i32 %16, %17
br i1 %18, label %19, label %76
19: ; preds = %15
%20 = load double**, double*** %6
%21 = load i32, i32* %9
%22 = add nsw i32 %21, 1
%23 = sext i32 %22 to i64
%24 = getelementptr inbounds double*, double** %20, i64 %23
%25 = load double*, double** %24
%26 = load double**, double*** %6
%27 = load i32, i32* %9
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds double*, double** %26, i64 %28
%30 = load double*, double** %29
%31 = ptrtoint double* %25 to i64
%32 = ptrtoint double* %30 to i64
%33 = sub i64 %31, %32
%34 = sdiv exact i64 %33, 8
%35 = trunc i64 %34 to i32
store i32 %35, i32* %10
%36 = load i32, i32* %10
%37 = load i32, i32* %9
%38 = icmp sgt i32 %36, %37
br i1 %38, label %39, label %41
39: ; preds = %19
%40 = load i32, i32* %9
store i32 %40, i32* %10
br label %41
41: ; preds = %39, %19
%42 = load i32, i32* %10
%43 = icmp sgt i32 %42, 0
br i1 %43, label %44, label %72
44: ; preds = %41
%45 = load double**, double*** %6
%46 = load i32, i32* %9
%47 = add nsw i32 %46, 1
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds double*, double** %45, i64 %48
%50 = load double*, double** %49
%51 = load i32, i32* %10
%52 = sext i32 %51 to i64
%53 = sub i64 0, %52
%54 = getelementptr inbounds double, double* %50, i64 %53
%55 = load double*, double** %8
%56 = load i32, i32* %9
%57 = sext i32 %56 to i64
%58 = getelementptr inbounds double, double* %55, i64 %57
%59 = load i32, i32* %10
%60 = sext i32 %59 to i64
%61 = sub i64 0, %60
%62 = getelementptr inbounds double, double* %58, i64 %61
%63 = load i32, i32* %10
%64 = call i64 @dot_real(double* %54, double* %62, i32 %63)
%65 = sitofp i64 %64 to double
%66 = load double*, double** %8
%67 = load i32, i32* %9
%68 = sext i32 %67 to i64
%69 = getelementptr inbounds double, double* %66, i64 %68
%70 = load double, double* %69
%71 = fsub double %70, %65
store double %71, double* %69
br label %72
72: ; preds = %44, %41
br label %73
73: ; preds = %72
%74 = load i32, i32* %9
%75 = add nsw i32 %74, 1
store i32 %75, i32* %9
br label %15
76: ; preds = %15
br label %77
77: ; preds = %76, %13
ret void
}

LLVM IR (-O2):
define void @pflslv(i32 %0, double** nocapture %1, double* nocapture readnone %2, double* %3) {
%5 = icmp sgt i32 %0, 1
br i1 %5, label %6, label %38
6: ; preds = %4
%7 = zext i32 %0 to i64
br label %8
8: ; preds = %6, %36
%9 = phi i64 [ 1, %6 ], [ %10, %36 ]
%10 = add nuw nsw i64 %9, 1
%11 = getelementptr inbounds double*, double** %1, i64 %10
%12 = load double*, double** %11
%13 = getelementptr inbounds double*, double** %1, i64 %9
%14 = load double*, double** %13
%15 = ptrtoint double* %12 to i64
%16 = ptrtoint double* %14 to i64
%17 = sub i64 %15, %16
%18 = lshr exact i64 %17, 3
%19 = trunc i64 %18 to i32
%20 = shl i64 %17, 29
%21 = ashr i64 %20, 32
%22 = icmp slt i64 %9, %21
%23 = trunc i64 %9 to i32
%24 = select i1 %22, i32 %23, i32 %19
%25 = icmp sgt i32 %19, 0
br i1 %25, label %26, label %36
26: ; preds = %8
%27 = zext i32 %24 to i64
%28 = sub nsw i64 0, %27
%29 = getelementptr inbounds double, double* %12, i64 %28
%30 = getelementptr inbounds double, double* %3, i64 %9
%31 = getelementptr inbounds double, double* %30, i64 %28
%32 = tail call i64 @dot_real(double* %29, double* %31, i32 %24)
%33 = sitofp i64 %32 to double
%34 = load double, double* %30
%35 = fsub double %34, %33
store double %35, double* %30
br label %36
36: ; preds = %8, %26
%37 = icmp eq i64 %10, %7
br i1 %37, label %38, label %8
38: ; preds = %36, %4
ret void
}