// File: /workspace/github_c_makefile_star2_O0/wuxb45[P]SLB/lib1.c
// Function: damp_add_test
bool
damp_add_test(struct damp * const d, const double v)
{
  d->hist[d->next] = v;
  d->next = (d->next + 1) % d->cap;
  if (d->used < d->cap) d->used++;
  d->events++;

  // short-distance history
  const u64 end = d->next - 1;
  if (d->used >= 3) {
    const double v0 = d->hist[(end - 0) % d->cap];
    const double v1 = d->hist[(end - 1) % d->cap];
    const double v2 = d->hist[(end - 2) % d->cap];
    const double dd = v0 * d->dshort;
    const double d01 = fabs(v1 - v0);
    const double d02 = fabs(v2 - v0);
    if (d01 < dd && d02 < dd) {
      return true;
    }
  }

  // full-distance history
  const double avg = damp_average(d);
  const double dev = avg * d->dlong;
  if (d->used == d->cap) {
    double min = d->hist[0];
    double max = min;
    for (u64 i = 1; i < d->cap; i++) {
      if (d->hist[i] < min) min = d->hist[i];
      if (d->hist[i] > max) max = d->hist[i];
    }
    if (fabs(max - min) < dev) {
      return true;
    }
  }

  if (d->events >= (d->cap * 2)) {
    return true;
  }
  return false;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x90, %rsp
movq %rdi, -0x10(%rbp)
vmovsd %xmm0, -0x18(%rbp)
vmovsd -0x18(%rbp), %xmm0
movq -0x10(%rbp), %rax
movq -0x10(%rbp), %rcx
movq 0x10(%rcx), %rcx
vmovsd %xmm0, 0x30(%rax,%rcx,8)
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
addq $0x1, %rax
movq -0x10(%rbp), %rcx
xorl %edx, %edx
divq (%rcx)
movq -0x10(%rbp), %rax
movq %rdx, 0x10(%rax)
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq -0x10(%rbp), %rcx
cmpq (%rcx), %rax
jae 0xac49
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rcx
addq $0x1, %rcx
movq %rcx, 0x8(%rax)
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rcx
addq $0x1, %rcx
movq %rcx, 0x18(%rax)
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
subq $0x1, %rax
movq %rax, -0x20(%rbp)
movq -0x10(%rbp), %rax
cmpq $0x3, 0x8(%rax)
jb 0xad72
movq -0x10(%rbp), %rax
movq %rax, -0x90(%rbp)
movq -0x20(%rbp), %rax
subq $0x0, %rax
movq -0x10(%rbp), %rcx
xorl %edx, %edx
divq (%rcx)
movq -0x90(%rbp), %rax
vmovsd 0x30(%rax,%rdx,8), %xmm0
vmovsd %xmm0, -0x28(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x88(%rbp)
movq -0x20(%rbp), %rax
subq $0x1, %rax
movq -0x10(%rbp), %rcx
xorl %edx, %edx
divq (%rcx)
movq -0x88(%rbp), %rax
vmovsd 0x30(%rax,%rdx,8), %xmm0
vmovsd %xmm0, -0x30(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x80(%rbp)
movq -0x20(%rbp), %rax
subq $0x2, %rax
movq -0x10(%rbp), %rcx
xorl %edx, %edx
divq (%rcx)
movq -0x80(%rbp), %rax
vmovsd 0x30(%rax,%rdx,8), %xmm0
vmovsd %xmm0, -0x38(%rbp)
vmovsd -0x28(%rbp), %xmm0
movq -0x10(%rbp), %rax
vmulsd 0x20(%rax), %xmm0, %xmm0
vmovsd %xmm0, -0x40(%rbp)
vmovsd -0x30(%rbp), %xmm0
vsubsd -0x28(%rbp), %xmm0, %xmm0
vpbroadcastq 0x10396(%rip), %xmm1 # 0x1b0b8
vpand %xmm1, %xmm0, %xmm0
vmovsd %xmm0, -0x48(%rbp)
vmovsd -0x38(%rbp), %xmm0
vsubsd -0x28(%rbp), %xmm0, %xmm0
vpbroadcastq 0x1037a(%rip), %xmm1 # 0x1b0b8
vpand %xmm1, %xmm0, %xmm0
vmovsd %xmm0, -0x50(%rbp)
vmovsd -0x48(%rbp), %xmm1
vmovsd -0x40(%rbp), %xmm0
vucomisd %xmm1, %xmm0
jbe 0xad70
vmovsd -0x50(%rbp), %xmm1
vmovsd -0x40(%rbp), %xmm0
vucomisd %xmm1, %xmm0
jbe 0xad70
movb $0x1, -0x1(%rbp)
jmp 0xae84
jmp 0xad72
movq -0x10(%rbp), %rdi
callq 0xa970
vmovsd %xmm0, -0x58(%rbp)
vmovsd -0x58(%rbp), %xmm0
movq -0x10(%rbp), %rax
vmulsd 0x28(%rax), %xmm0, %xmm0
vmovsd %xmm0, -0x60(%rbp)
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq -0x10(%rbp), %rcx
cmpq (%rcx), %rax
jne 0xae63
movq -0x10(%rbp), %rax
vmovsd 0x30(%rax), %xmm0
vmovsd %xmm0, -0x68(%rbp)
vmovsd -0x68(%rbp), %xmm0
vmovsd %xmm0, -0x70(%rbp)
movq $0x1, -0x78(%rbp)
movq -0x78(%rbp), %rax
movq -0x10(%rbp), %rcx
cmpq (%rcx), %rax
jae 0xae39
movq -0x10(%rbp), %rax
movq -0x78(%rbp), %rcx
vmovsd 0x30(%rax,%rcx,8), %xmm1
vmovsd -0x68(%rbp), %xmm0
vucomisd %xmm1, %xmm0
jbe 0xae01
movq -0x10(%rbp), %rax
movq -0x78(%rbp), %rcx
vmovsd 0x30(%rax,%rcx,8), %xmm0
vmovsd %xmm0, -0x68(%rbp)
movq -0x10(%rbp), %rax
movq -0x78(%rbp), %rcx
vmovsd 0x30(%rax,%rcx,8), %xmm0
vucomisd -0x70(%rbp), %xmm0
jbe 0xae29
movq -0x10(%rbp), %rax
movq -0x78(%rbp), %rcx
vmovsd 0x30(%rax,%rcx,8), %xmm0
vmovsd %xmm0, -0x70(%rbp)
jmp 0xae2b
movq -0x78(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x78(%rbp)
jmp 0xadc8
vmovsd -0x70(%rbp), %xmm0
vsubsd -0x68(%rbp), %xmm0, %xmm0
vpbroadcastq 0x1026c(%rip), %xmm1 # 0x1b0b8
vpand %xmm1, %xmm0, %xmm1
vmovsd -0x60(%rbp), %xmm0
vucomisd %xmm1, %xmm0
jbe 0xae61
movb $0x1, -0x1(%rbp)
jmp 0xae84
jmp 0xae63
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
movq -0x10(%rbp), %rcx
movq (%rcx), %rcx
shlq %rcx
cmpq %rcx, %rax
jb 0xae80
movb $0x1, -0x1(%rbp)
jmp 0xae84
movb $0x0, -0x1(%rbp)
movb -0x1(%rbp), %al
andb $0x1, %al
addq $0x90, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)