void E0000(int IENTRY, int *status, double *x, double *fx, unsigned long *qleft,
           unsigned long *qhi, double *zabsst, double *zabsto, double *zbig,
           double *zrelst, double *zrelto, double *zsmall, double *zstpmu) {
  static double absstp, abstol, big, fbig, fsmall, relstp, reltol, small, step,
      stpmul, xhi, xlb, xlo, xsave, xub, yy;
  static int i99999;
  static unsigned long qbdd, qcond, qdum1, qdum2, qincr, qlim, qok, qup;
  switch (IENTRY) {
  case 0:
    goto DINVR;
  case 1:
    goto DSTINV;
  }
DINVR:
  if (*status > 0)
    goto S310;
  qcond = !(int)((small) <= (*x) && (*x) <= (big));
  if (qcond)
    ftnstop(" SMALL, X, BIG not monotone in INVR");
  xsave = *x;
  *x = small;
  i99999 = 1;
  goto S300;
S10:
  fsmall = *fx;
  *x = big;
  i99999 = 2;
  goto S300;
S20:
  fbig = *fx;
  qincr = fbig > fsmall;
  if (!qincr)
    goto S50;
  if (fsmall <= 0.0e0)
    goto S30;
  *status = -1;
  *qleft = *qhi = 1;
  return;
S30:
  if (fbig >= 0.0e0)
    goto S40;
  *status = -1;
  *qleft = *qhi = 0;
  return;
S40:
  goto S80;
S50:
  if (fsmall >= 0.0e0)
    goto S60;
  *status = -1;
  *qleft = 1;
  *qhi = 0;
  return;
S60:
  if (fbig <= 0.0e0)
    goto S70;
  *status = -1;
  *qleft = 0;
  *qhi = 1;
  return;
S80:
S70:
  *x = xsave;
  step = fifdmax1(absstp, relstp * fabs(*x));
  i99999 = 3;
  goto S300;
S90:
  yy = *fx;
  if (!(yy == 0.0e0))
    goto S100;
  *status = 0;
  qok = 1;
  return;
S100:
  qup = (qincr && yy < 0.0e0) || (!qincr && yy > 0.0e0);
  if (!qup)
    goto S170;
  xlb = xsave;
  xub = fifdmin1(xlb + step, big);
  goto S120;
S110:
  if (qcond)
    goto S150;
S120:
  *x = xub;
  i99999 = 4;
  goto S300;
S130:
  yy = *fx;
  qbdd = (qincr && yy >= 0.0e0) || (!qincr && yy <= 0.0e0);
  qlim = xub >= big;
  qcond = qbdd || qlim;
  if (qcond)
    goto S140;
  step = stpmul * step;
  xlb = xub;
  xub = fifdmin1(xlb + step, big);
S140:
  goto S110;
S150:
  if (!(qlim && !qbdd))
    goto S160;
  *status = -1;
  *qleft = 0;
  *qhi = !qincr;
  *x = big;
  return;
S160:
  goto S240;
S170:
  xub = xsave;
  xlb = fifdmax1(xub - step, small);
  goto S190;
S180:
  if (qcond)
    goto S220;
S190:
  *x = xlb;
  i99999 = 5;
  goto S300;
S200:
  yy = *fx;
  qbdd = (qincr && yy <= 0.0e0) || (!qincr && yy >= 0.0e0);
  qlim = xlb <= small;
  qcond = qbdd || qlim;
  if (qcond)
    goto S210;
  step = stpmul * step;
  xub = xlb;
  xlb = fifdmax1(xub - step, small);
S210:
  goto S180;
S220:
  if (!(qlim && !qbdd))
    goto S230;
  *status = -1;
  *qleft = 1;
  *qhi = qincr;
  *x = small;
  return;
S240:
S230:
  dstzr(&xlb, &xub, &abstol, &reltol);
  *status = 0;
  goto S260;
S250:
  if (!(*status == 1))
    goto S290;
S260:
  dzror(status, x, fx, &xlo, &xhi, &qdum1, &qdum2);
  if (!(*status == 1))
    goto S280;
  i99999 = 6;
  goto S300;
S280:
S270:
  goto S250;
S290:
  *x = xlo;
  *status = 0;
  return;
DSTINV:
  small = *zsmall;
  big = *zbig;
  absstp = *zabsst;
  relstp = *zrelst;
  stpmul = *zstpmu;
  abstol = *zabsto;
  reltol = *zrelto;
  return;
S300:
  *status = 1;
  return;
S310:
  switch ((int)i99999) {
  case 1:
    goto S10;
  case 2:
    goto S20;
  case 3:
    goto S90;
  case 4:
    goto S130;
  case 5:
    goto S200;
  case 6:
    goto S270;
  default:
    break;
  }
}


x86 assembly (clang, -O0):
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    0x40(%rbp),%rax
mov    0x38(%rbp),%rax
mov    0x30(%rbp),%rax
mov    0x28(%rbp),%rax
mov    0x20(%rbp),%rax
mov    0x18(%rbp),%rax
mov    0x10(%rbp),%rax
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9,-0x30(%rbp)
mov    -0x4(%rbp),%eax
mov    %eax,-0x34(%rbp)
test   %eax,%eax
je     11af <E0000+0x5f>
jmp    119e <E0000+0x4e>
mov    -0x34(%rbp),%eax
sub    $0x1,%eax
je     11b4 <E0000+0x64>
jmp    11b9 <E0000+0x69>
jmp    11be <E0000+0x6e>
jmp    19da <E0000+0x88a>
jmp    11be <E0000+0x6e>
mov    -0x10(%rbp),%rax
cmpl   $0x0,(%rax)
jle    11d0 <E0000+0x80>
jmp    1a5e <E0000+0x90e>
movsd  0x2eb0(%rip),%xmm1
mov    -0x18(%rbp),%rax
movsd  (%rax),%xmm0
xor    %eax,%eax
ucomisd %xmm1,%xmm0
mov    %al,-0x35(%rbp)
jb     1209 <E0000+0xb9>
mov    -0x18(%rbp),%rax
movsd  (%rax),%xmm1
movsd  0x2e61(%rip),%xmm0
ucomisd %xmm1,%xmm0
setae  %al
mov    %al,-0x35(%rbp)
mov    -0x35(%rbp),%al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
cltq
mov    %rax,0x2ec4(%rip)
cmpq   $0x0,0x2ebc(%rip)
je     1238 <E0000+0xe8>
lea    0xdf7(%rip),%rdi
mov    $0x0,%al
call   1070 <ftnstop@plt>
mov    -0x18(%rbp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,0x2e70(%rip)
movsd  0x2e38(%rip),%xmm0
mov    -0x18(%rbp),%rax
movsd  %xmm0,(%rax)
movl   $0x1,0x2e6e(%rip)
jmp    1a4f <E0000+0x8ff>
mov    -0x20(%rbp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,0x2df9(%rip)
movsd  0x2de1(%rip),%xmm0
mov    -0x18(%rbp),%rax
movsd  %xmm0,(%rax)
movl   $0x2,0x2e3f(%rip)
jmp    1a4f <E0000+0x8ff>
mov    -0x20(%rbp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,0x2dc2(%rip)
movsd  0x2dba(%rip),%xmm0
ucomisd 0x2dba(%rip),%xmm0
seta   %al
and    $0x1,%al
movzbl %al,%eax
cltq
mov    %rax,0x2e31(%rip)
cmpq   $0x0,0x2e29(%rip)
jne    12da <E0000+0x18a>
jmp    1359 <E0000+0x209>
xorps  %xmm0,%xmm0
ucomisd 0x2d8b(%rip),%xmm0
jb     12f0 <E0000+0x1a0>
jmp    1315 <E0000+0x1c5>
mov    -0x10(%rbp),%rax
movl   $0xffffffff,(%rax)
mov    -0x30(%rbp),%rax
movq   $0x1,(%rax)
mov    -0x28(%rbp),%rax
movq   $0x1,(%rax)
jmp    1aad <E0000+0x95d>
movsd  0x2d4b(%rip),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jb     132f <E0000+0x1df>
jmp    1354 <E0000+0x204>
mov    -0x10(%rbp),%rax
movl   $0xffffffff,(%rax)
mov    -0x30(%rbp),%rax
movq   $0x0,(%rax)
mov    -0x28(%rbp),%rax
movq   $0x0,(%rax)
jmp    1aad <E0000+0x95d>
jmp    13d3 <E0000+0x283>
movsd  0x2d0f(%rip),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jb     1373 <E0000+0x223>
jmp    1398 <E0000+0x248>
mov    -0x10(%rbp),%rax
movl   $0xffffffff,(%rax)
mov    -0x28(%rbp),%rax
movq   $0x1,(%rax)
mov    -0x30(%rbp),%rax
movq   $0x0,(%rax)
jmp    1aad <E0000+0x95d>
xorps  %xmm0,%xmm0
ucomisd 0x2cc5(%rip),%xmm0
jb     13ae <E0000+0x25e>
jmp    13d8 <E0000+0x288>
mov    -0x10(%rbp),%rax
movl   $0xffffffff,(%rax)
mov    -0x28(%rbp),%rax
movq   $0x0,(%rax)
mov    -0x30(%rbp),%rax
movq   $0x1,(%rax)
jmp    1aad <E0000+0x95d>
jmp    13d8 <E0000+0x288>
movsd  0x2cd8(%rip),%xmm0
mov    -0x18(%rbp),%rax
movsd  %xmm0,(%rax)
movsd  0x2c60(%rip),%xmm0
movsd  0x2c80(%rip),%xmm1
mov    -0x18(%rbp),%rax
movsd  (%rax),%xmm2
movaps 0xbf9(%rip),%xmm3
pand   %xmm3,%xmm2
mulsd  %xmm2,%xmm1
mov    $0x2,%al
call   1060 <fifdmax1@plt>
cvtsi2sd %eax,%xmm0
movsd  %xmm0,0x2c6e(%rip)
movl   $0x3,0x2ca4(%rip)
jmp    1a4f <E0000+0x8ff>
mov    -0x20(%rbp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,0x2c87(%rip)
movsd  0x2c7f(%rip),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    1461 <E0000+0x311>
jp     1461 <E0000+0x311>
jmp    1466 <E0000+0x316>
jmp    1480 <E0000+0x330>
mov    -0x10(%rbp),%rax
movl   $0x0,(%rax)
movq   $0x1,0x2c8d(%rip)
jmp    1aad <E0000+0x95d>
cmpq   $0x0,0x2c70(%rip)
je     14a4 <E0000+0x354>
mov    $0x1,%al
xorps  %xmm0,%xmm0
ucomisd 0x2c2d(%rip),%xmm0
mov    %al,-0x36(%rbp)
ja     14d2 <E0000+0x382>
xor    %eax,%eax
cmpq   $0x0,0x2c4a(%rip)
mov    %al,-0x37(%rbp)
jne    14cc <E0000+0x37c>
movsd  0x2c09(%rip),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
seta   %al
mov    %al,-0x37(%rbp)
mov    -0x37(%rbp),%al
mov    %al,-0x36(%rbp)
mov    -0x36(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
cltq
mov    %rax,0x2c2d(%rip)
cmpq   $0x0,0x2c25(%rip)
jne    14f6 <E0000+0x3a6>
jmp    170a <E0000+0x5ba>
movsd  0x2bba(%rip),%xmm0
movsd  %xmm0,0x2ba2(%rip)
movsd  0x2b9a(%rip),%xmm0
addsd  0x2b7a(%rip),%xmm0
movsd  0x2b42(%rip),%xmm1
mov    $0x2,%al
call   1050 <fifdmin1@plt>
cvtsi2sd %eax,%xmm0
movsd  %xmm0,0x2b8f(%rip)
jmp    154e <E0000+0x3fe>
cmpq   $0x0,0x2ba2(%rip)
je     1549 <E0000+0x3f9>
jmp    169e <E0000+0x54e>
jmp    154e <E0000+0x3fe>
movsd  0x2b6a(%rip),%xmm0
mov    -0x18(%rbp),%rax
movsd  %xmm0,(%rax)
movl   $0x4,0x2b68(%rip)
jmp    1a4f <E0000+0x8ff>
mov    -0x20(%rbp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,0x2b4b(%rip)
cmpq   $0x0,0x2b73(%rip)
je     15a5 <E0000+0x455>
movsd  0x2b35(%rip),%xmm0
mov    $0x1,%al
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x38(%rbp)
jae    15cf <E0000+0x47f>
xor    %eax,%eax
cmpq   $0x0,0x2b49(%rip)
mov    %al,-0x39(%rbp)
jne    15c9 <E0000+0x479>
xorps  %xmm0,%xmm0
ucomisd 0x2b05(%rip),%xmm0
setae  %al
mov    %al,-0x39(%rbp)
mov    -0x39(%rbp),%al
mov    %al,-0x38(%rbp)
mov    -0x38(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
cltq
mov    %rax,0x2af8(%rip)
movsd  0x2ad8(%rip),%xmm0
ucomisd 0x2a70(%rip),%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%eax
cltq
mov    %rax,0x2aff(%rip)
mov    $0x1,%al
cmpq   $0x0,0x2acd(%rip)
mov    %al,-0x3a(%rbp)
jne    1622 <E0000+0x4d2>
cmpq   $0x0,0x2ae4(%rip)
setne  %al
mov    %al,-0x3a(%rbp)
mov    -0x3a(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
cltq
mov    %rax,0x2aad(%rip)
cmpq   $0x0,0x2aa5(%rip)
je     1646 <E0000+0x4f6>
jmp    1699 <E0000+0x549>
movsd  0x2a4a(%rip),%xmm0
mulsd  0x2a3a(%rip),%xmm0
movsd  %xmm0,0x2a32(%rip)
movsd  0x2a5a(%rip),%xmm0
movsd  %xmm0,0x2a3a(%rip)
movsd  0x2a32(%rip),%xmm0
addsd  0x2a12(%rip),%xmm0
movsd  0x29da(%rip),%xmm1
mov    $0x2,%al
call   1050 <fifdmin1@plt>
cvtsi2sd %eax,%xmm0
movsd  %xmm0,0x2a27(%rip)
jmp    1536 <E0000+0x3e6>
cmpq   $0x0,0x2a5a(%rip)
je     16ba <E0000+0x56a>
cmpq   $0x0,0x2a24(%rip)
je     16bf <E0000+0x56f>
jmp    1705 <E0000+0x5b5>
mov    -0x10(%rbp),%rax
movl   $0xffffffff,(%rax)
mov    -0x28(%rbp),%rax
movq   $0x0,(%rax)
cmpq   $0x0,0x2a1c(%rip)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
movslq %eax,%rcx
mov    -0x30(%rbp),%rax
mov    %rcx,(%rax)
movsd  0x2968(%rip),%xmm0
mov    -0x18(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1aad <E0000+0x95d>
jmp    190f <E0000+0x7bf>
movsd  0x29a6(%rip),%xmm0
movsd  %xmm0,0x29a6(%rip)
movsd  0x299e(%rip),%xmm0
subsd  0x2966(%rip),%xmm0
movsd  0x2956(%rip),%xmm1
mov    $0x2,%al
call   1060 <fifdmax1@plt>
cvtsi2sd %eax,%xmm0
movsd  %xmm0,0x2963(%rip)
jmp    1762 <E0000+0x612>
cmpq   $0x0,0x298e(%rip)
je     175d <E0000+0x60d>
jmp    18b6 <E0000+0x766>
jmp    1762 <E0000+0x612>
movsd  0x293e(%rip),%xmm0
mov    -0x18(%rbp),%rax
movsd  %xmm0,(%rax)
movl   $0x5,0x2954(%rip)
jmp    1a4f <E0000+0x8ff>
mov    -0x20(%rbp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,0x2937(%rip)
cmpq   $0x0,0x295f(%rip)
je     17b5 <E0000+0x665>
mov    $0x1,%al
xorps  %xmm0,%xmm0
ucomisd 0x291c(%rip),%xmm0
mov    %al,-0x3b(%rbp)
jae    17e3 <E0000+0x693>
xor    %eax,%eax
cmpq   $0x0,0x2939(%rip)
mov    %al,-0x3c(%rbp)
jne    17dd <E0000+0x68d>
movsd  0x28f8(%rip),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
setae  %al
mov    %al,-0x3c(%rbp)
mov    -0x3c(%rbp),%al
mov    %al,-0x3b(%rbp)
mov    -0x3b(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
cltq
mov    %rax,0x28e4(%rip)
movsd  0x28ac(%rip),%xmm1
movsd  0x2884(%rip),%xmm0
ucomisd %xmm1,%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%eax
cltq
mov    %rax,0x28e7(%rip)
mov    $0x1,%al
cmpq   $0x0,0x28b5(%rip)
mov    %al,-0x3d(%rbp)
jne    183a <E0000+0x6ea>
cmpq   $0x0,0x28cc(%rip)
setne  %al
mov    %al,-0x3d(%rbp)
mov    -0x3d(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
cltq
mov    %rax,0x2895(%rip)
cmpq   $0x0,0x288d(%rip)
je     185e <E0000+0x70e>
jmp    18b1 <E0000+0x761>
movsd  0x2832(%rip),%xmm0
mulsd  0x2822(%rip),%xmm0
movsd  %xmm0,0x281a(%rip)
movsd  0x282a(%rip),%xmm0
movsd  %xmm0,0x283a(%rip)
movsd  0x2832(%rip),%xmm0
subsd  0x27fa(%rip),%xmm0
movsd  0x27ea(%rip),%xmm1
mov    $0x2,%al
call   1060 <fifdmax1@plt>
cvtsi2sd %eax,%xmm0
movsd  %xmm0,0x27f7(%rip)
jmp    174a <E0000+0x5fa>
cmpq   $0x0,0x2842(%rip)
je     18d2 <E0000+0x782>
cmpq   $0x0,0x280c(%rip)
je     18d7 <E0000+0x787>
jmp    1914 <E0000+0x7c4>
mov    -0x10(%rbp),%rax
movl   $0xffffffff,(%rax)
mov    -0x28(%rbp),%rax
movq   $0x1,(%rax)
mov    0x2805(%rip),%rcx
mov    -0x30(%rbp),%rax
mov    %rcx,(%rax)
movsd  0x2786(%rip),%xmm0
mov    -0x18(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1aad <E0000+0x95d>
jmp    1914 <E0000+0x7c4>
lea    0x278d(%rip),%rdi
lea    0x279e(%rip),%rsi
lea    0x272f(%rip),%rdx
lea    0x2750(%rip),%rcx
mov    $0x0,%al
call   1040 <dstzr@plt>
mov    -0x10(%rbp),%rax
movl   $0x0,(%rax)
jmp    195d <E0000+0x80d>
mov    -0x10(%rbp),%rax
cmpl   $0x1,(%rax)
je     1958 <E0000+0x808>
jmp    19bb <E0000+0x86b>
jmp    195d <E0000+0x80d>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    -0x20(%rbp),%rdx
lea    0x2740(%rip),%rcx
lea    0x2729(%rip),%r8
lea    0x276a(%rip),%r9
lea    0x276b(%rip),%rax
mov    %rax,(%rsp)
mov    $0x0,%al
call   1030 <dzror@plt>
mov    -0x10(%rbp),%rax
cmpl   $0x1,(%rax)
je     19a2 <E0000+0x852>
jmp    19b1 <E0000+0x861>
movl   $0x6,0x2724(%rip)
jmp    1a4f <E0000+0x8ff>
jmp    19b6 <E0000+0x866>
jmp    1946 <E0000+0x7f6>
movsd  0x26ed(%rip),%xmm0
mov    -0x18(%rbp),%rax
movsd  %xmm0,(%rax)
mov    -0x10(%rbp),%rax
movl   $0x0,(%rax)
jmp    1aad <E0000+0x95d>
mov    0x38(%rbp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,0x269e(%rip)
mov    0x20(%rbp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,0x2666(%rip)
mov    0x10(%rbp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,0x2646(%rip)
mov    0x28(%rbp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,0x265e(%rip)
mov    0x40(%rbp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,0x266e(%rip)
mov    0x18(%rbp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,0x261e(%rip)
mov    0x30(%rbp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,0x2636(%rip)
jmp    1aad <E0000+0x95d>
mov    -0x10(%rbp),%rax
movl   $0x1,(%rax)
jmp    1aad <E0000+0x95d>
mov    0x266c(%rip),%eax
add    $0xffffffff,%eax
mov    %eax,%ecx
mov    %rcx,-0x48(%rbp)
sub    $0x5,%eax
ja     1aa8 <E0000+0x958>
mov    -0x48(%rbp),%rax
lea    0x58f(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
jmp    1267 <E0000+0x117>
jmp    1296 <E0000+0x146>
jmp    1431 <E0000+0x2e1>
jmp    156d <E0000+0x41d>
jmp    1781 <E0000+0x631>
jmp    19b6 <E0000+0x866>
jmp    1aad <E0000+0x95d>
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x10,%rsp
cmp    $0x1,%edi
jne    11df <E0000+0x8f>
mov    0x70(%rsp),%rax
mov    0x68(%rsp),%rcx
mov    0x60(%rsp),%r8
mov    0x58(%rsp),%rsi
mov    0x50(%rsp),%rdi
mov    0x48(%rsp),%rbx
mov    0x40(%rsp),%rdx
movsd  (%rcx),%xmm0
movsd  %xmm0,0x2eef(%rip)
movsd  (%rdi),%xmm0
movsd  %xmm0,0x2ec3(%rip)
movsd  (%rdx),%xmm0
movsd  %xmm0,0x2ea7(%rip)
movsd  (%rsi),%xmm0
movsd  %xmm0,0x2ebb(%rip)
movsd  (%rax),%xmm0
movsd  %xmm0,0x2ecf(%rip)
movsd  (%rbx),%xmm0
movsd  %xmm0,0x2e8b(%rip)
movsd  (%r8),%xmm0
movsd  %xmm0,0x2e9e(%rip)
jmp    12a4 <E0000+0x154>
mov    %rdx,%r14
mov    %rsi,%r13
mov    (%rsi),%eax
test   %eax,%eax
jle    1236 <E0000+0xe6>
mov    %rcx,%rbx
mov    0x2ecc(%rip),%ecx
add    $0xffffffff,%ecx
cmp    $0x5,%ecx
ja     12a4 <E0000+0x154>
mov    %r9,%r15
mov    %r8,%r12
lea    0xe03(%rip),%rdx
movslq (%rdx,%rcx,4),%rcx
add    %rdx,%rcx
jmp    *%rcx
movsd  (%rbx),%xmm0
movsd  %xmm0,0x2e46(%rip)
movsd  0x2e36(%rip),%xmm0
movsd  %xmm0,(%r14)
mov    $0x2,%eax
jmp    1296 <E0000+0x146>
movsd  0x2e42(%rip),%xmm0
movsd  (%r14),%xmm1
ucomisd %xmm0,%xmm1
setb   %al
movsd  0x2e0e(%rip),%xmm2
ucomisd %xmm1,%xmm2
setb   %cl
or     %al,%cl
movzbl %cl,%eax
mov    %rax,0x2e6b(%rip)
cmp    $0x1,%al
jne    1284 <E0000+0x134>
lea    0xdb8(%rip),%rdi
xor    %eax,%eax
call   1070 <ftnstop@plt>
movsd  (%r14),%xmm1
movsd  0x2dfc(%rip),%xmm0
movsd  %xmm1,0x2e24(%rip)
movsd  %xmm0,(%r14)
mov    $0x1,%eax
mov    %eax,0x2e24(%rip)
movl   $0x1,0x0(%r13)
add    $0x10,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
ret
movsd  (%rbx),%xmm0
movsd  0x2daa(%rip),%xmm1
xor    %eax,%eax
ucomisd %xmm1,%xmm0
seta   %al
mov    %rax,0x2e1a(%rip)
xorpd  %xmm2,%xmm2
jbe    1591 <E0000+0x441>
ucomisd %xmm1,%xmm2
jae    1629 <E0000+0x4d9>
movl   $0xffffffff,0x0(%r13)
ff
movq   $0x1,(%r15)
movq   $0x1,(%r12)
jmp    12a4 <E0000+0x154>
movsd  (%rbx),%xmm0
xorpd  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    15b7 <E0000+0x467>
jp     15b7 <E0000+0x467>
movl   $0x0,0x0(%r13)
jmp    12a4 <E0000+0x154>
movsd  (%rbx),%xmm0
xorpd  %xmm1,%xmm1
xor    %edx,%edx
ucomisd %xmm1,%xmm0
setae  %dl
xor    %eax,%eax
ucomisd %xmm0,%xmm1
setae  %al
cmpq   $0x0,0x2da9(%rip)
cmove  %eax,%edx
movzbl %dl,%esi
mov    %rsi,0x2d7c(%rip)
movsd  0x2d64(%rip),%xmm2
movsd  0x2d04(%rip),%xmm1
xor    %ecx,%ecx
ucomisd %xmm1,%xmm2
setae  %cl
mov    %rcx,0x2d84(%rip)
mov    %ecx,%eax
or     %dl,%al
movzbl %al,%eax
mov    %rax,0x2d56(%rip)
test   %al,%al
jne    13d4 <E0000+0x284>
movsd  0x2d0a(%rip),%xmm0
mulsd  0x2cfa(%rip),%xmm0
movsd  %xmm0,0x2cf2(%rip)
movsd  %xmm2,0x2d02(%rip)
addsd  %xmm2,%xmm0
mov    $0x2,%al
call   1060 <fifdmin1@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  %xmm0,0x2d00(%rip)
cmpq   $0x0,0x2d10(%rip)
je     161a <E0000+0x4ca>
mov    0x2d23(%rip),%rcx
mov    0x2cf4(%rip),%rsi
test   %rcx,%rcx
je     150c <E0000+0x3bc>
test   %rsi,%rsi
jne    150c <E0000+0x3bc>
movl   $0xffffffff,0x0(%r13)
ff
movq   $0x0,(%r12)
xor    %eax,%eax
cmpq   $0x0,0x2ce8(%rip)
sete   %al
mov    %rax,(%r15)
movsd  0x2c52(%rip),%xmm0
movsd  %xmm0,(%r14)
jmp    12a4 <E0000+0x154>
movsd  (%rbx),%xmm0
xorpd  %xmm1,%xmm1
xor    %edx,%edx
ucomisd %xmm0,%xmm1
setae  %dl
xor    %eax,%eax
ucomisd %xmm1,%xmm0
setae  %al
cmpq   $0x0,0x2cae(%rip)
cmove  %eax,%edx
movzbl %dl,%esi
mov    %rsi,0x2c81(%rip)
movsd  0x2c51(%rip),%xmm0
movsd  0x2c29(%rip),%xmm1
xor    %ecx,%ecx
ucomisd %xmm0,%xmm1
setae  %cl
mov    %rcx,0x2c89(%rip)
mov    %ecx,%eax
or     %dl,%al
movzbl %al,%eax
mov    %rax,0x2c5b(%rip)
test   %al,%al
jne    14cf <E0000+0x37f>
movsd  0x2c0f(%rip),%xmm2
mulsd  0x2bff(%rip),%xmm2
movsd  %xmm2,0x2bf7(%rip)
movsd  %xmm0,0x2c1f(%rip)
subsd  %xmm2,%xmm0
mov    $0x2,%al
call   1050 <fifdmax1@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  %xmm0,0x2bed(%rip)
cmpq   $0x0,0x2c15(%rip)
je     16e8 <E0000+0x598>
mov    0x2c28(%rip),%rcx
mov    0x2bf9(%rip),%rsi
test   %rcx,%rcx
je     150c <E0000+0x3bc>
test   %rsi,%rsi
jne    150c <E0000+0x3bc>
movl   $0xffffffff,0x0(%r13)
ff
movq   $0x1,(%r12)
mov    0x2bf8(%rip),%rax
mov    %rax,(%r15)
movsd  0x2b85(%rip),%xmm0
movsd  %xmm0,(%r14)
jmp    12a4 <E0000+0x154>
cmp    $0x1,%eax
je     1537 <E0000+0x3e7>
jmp    1577 <E0000+0x427>
lea    0x2b8d(%rip),%rdi
lea    0x2b9e(%rip),%rsi
lea    0x2b37(%rip),%rdx
lea    0x2b50(%rip),%rcx
xor    %eax,%eax
call   1040 <dstzr@plt>
movl   $0x0,0x0(%r13)
lea    0x2ba2(%rip),%rax
mov    %rax,(%rsp)
lea    0x2b5f(%rip),%rcx
lea    0x2b48(%rip),%r8
lea    0x2b81(%rip),%r9
mov    %r13,%rdi
mov    %r14,%rsi
mov    %rbx,%rdx
xor    %eax,%eax
call   1030 <dzror@plt>
mov    $0x6,%eax
cmpl   $0x1,0x0(%r13)
je     1296 <E0000+0x146>
movsd  0x2b29(%rip),%xmm0
movsd  %xmm0,(%r14)
movl   $0x0,0x0(%r13)
jmp    12a4 <E0000+0x154>
ucomisd %xmm2,%xmm1
jae    164b <E0000+0x4fb>
movl   $0xffffffff,0x0(%r13)
ff
movq   $0x1,(%r12)
movq   $0x0,(%r15)
jmp    12a4 <E0000+0x154>
mov    0x2b2a(%rip),%rax
test   %rax,%rax
je     15cd <E0000+0x47d>
xorpd  %xmm1,%xmm1
ucomisd %xmm0,%xmm1
ja     15e4 <E0000+0x494>
test   %rax,%rax
jne    16b2 <E0000+0x562>
xorpd  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jbe    16b2 <E0000+0x562>
movsd  0x2ac4(%rip),%xmm0
movsd  %xmm0,0x2aac(%rip)
addsd  0x2a8c(%rip),%xmm0
movsd  0x2a5c(%rip),%xmm1
mov    $0x2,%al
call   1060 <fifdmin1@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  %xmm0,0x2a9e(%rip)
movsd  %xmm0,(%r14)
mov    $0x4,%eax
jmp    1296 <E0000+0x146>
ucomisd %xmm2,%xmm0
jae    166d <E0000+0x51d>
movl   $0xffffffff,0x0(%r13)
ff
movq   $0x0,(%r15)
movq   $0x0,(%r12)
jmp    12a4 <E0000+0x154>
ucomisd %xmm0,%xmm2
jae    166d <E0000+0x51d>
movl   $0xffffffff,0x0(%r13)
ff
movq   $0x0,(%r12)
movq   $0x1,(%r15)
jmp    12a4 <E0000+0x154>
movsd  0x2a3b(%rip),%xmm1
movsd  %xmm1,(%r14)
movsd  0x29ce(%rip),%xmm0
andpd  0x976(%rip),%xmm1
mulsd  0x29de(%rip),%xmm1
mov    $0x2,%al
call   1050 <fifdmax1@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  %xmm0,0x29e0(%rip)
mov    $0x3,%eax
jmp    1296 <E0000+0x146>
movsd  0x29f6(%rip),%xmm0
movsd  %xmm0,0x29f6(%rip)
subsd  0x29be(%rip),%xmm0
movsd  0x29ae(%rip),%xmm1
mov    $0x2,%al
call   1050 <fifdmax1@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  %xmm0,0x29b8(%rip)
movsd  %xmm0,(%r14)
mov    $0x5,%eax
jmp    1296 <E0000+0x146>

LLVM IR (-O0):
@E0000.absstp = internal global double 0.000000e+00
@E0000.abstol = internal global double 0.000000e+00
@E0000.big = internal global double 0.000000e+00
@E0000.fbig = internal global double 0.000000e+00
@E0000.fsmall = internal global double 0.000000e+00
@E0000.relstp = internal global double 0.000000e+00
@E0000.reltol = internal global double 0.000000e+00
@E0000.small = internal global double 0.000000e+00
@E0000.step = internal global double 0.000000e+00
@E0000.stpmul = internal global double 0.000000e+00
@E0000.xhi = internal global double 0.000000e+00
@E0000.xlb = internal global double 0.000000e+00
@E0000.xlo = internal global double 0.000000e+00
@E0000.xsave = internal global double 0.000000e+00
@E0000.xub = internal global double 0.000000e+00
@E0000.yy = internal global double 0.000000e+00
@E0000.i99999 = internal global i32 0
@E0000.qbdd = internal global i64 0
@E0000.qcond = internal global i64 0
@E0000.qdum1 = internal global i64 0
@E0000.qdum2 = internal global i64 0
@E0000.qincr = internal global i64 0
@E0000.qlim = internal global i64 0
@E0000.qok = internal global i64 0
@E0000.qup = internal global i64 0
@.str = [36 x i8] c" SMALL, X, BIG not monotone in INVR\00"
define void @E0000(i32 %0, i32* %1, double* %2, double* %3, i64* %4, i64* %5, double* %6, double* %7, double* %8, double* %9, double* %10, double* %11, double* %12) {
%14 = alloca i32
%15 = alloca i32*
%16 = alloca double*
%17 = alloca double*
%18 = alloca i64*
%19 = alloca i64*
%20 = alloca double*
%21 = alloca double*
%22 = alloca double*
%23 = alloca double*
%24 = alloca double*
%25 = alloca double*
%26 = alloca double*
store i32 %0, i32* %14
store i32* %1, i32** %15
store double* %2, double** %16
store double* %3, double** %17
store i64* %4, i64** %18
store i64* %5, i64** %19
store double* %6, double** %20
store double* %7, double** %21
store double* %8, double** %22
store double* %9, double** %23
store double* %10, double** %24
store double* %11, double** %25
store double* %12, double** %26
%27 = load i32, i32* %14
switch i32 %27, label %30 [
i32 0, label %28
i32 1, label %29
]
28: ; preds = %13
br label %31
29: ; preds = %13
br label %339
30: ; preds = %13
br label %31
31: ; preds = %30, %28
%32 = load i32*, i32** %15
%33 = load i32, i32* %32
%34 = icmp sgt i32 %33, 0
br i1 %34, label %35, label %36
35: ; preds = %31
br label %356
36: ; preds = %31
%37 = load double, double* @E0000.small
%38 = load double*, double** %16
%39 = load double, double* %38
%40 = fcmp ole double %37, %39
br i1 %40, label %41, label %46
41: ; preds = %36
%42 = load double*, double** %16
%43 = load double, double* %42
%44 = load double, double* @E0000.big
%45 = fcmp ole double %43, %44
br label %46
46: ; preds = %41, %36
%47 = phi i1 [ false, %36 ], [ %45, %41 ]
%48 = xor i1 %47, true
%49 = zext i1 %48 to i32
%50 = sext i32 %49 to i64
store i64 %50, i64* @E0000.qcond
%51 = load i64, i64* @E0000.qcond
%52 = icmp ne i64 %51, 0
br i1 %52, label %53, label %55
53: ; preds = %46
%54 = call i32 (i8*, ...) bitcast (i32 (...)* @ftnstop to i32 (i8*, ...)*)(i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str, i64 0, i64 0))
br label %55
55: ; preds = %53, %46
%56 = load double*, double** %16
%57 = load double, double* %56
store double %57, double* @E0000.xsave
%58 = load double, double* @E0000.small
%59 = load double*, double** %16
store double %58, double* %59
store i32 1, i32* @E0000.i99999
br label %354
60: ; preds = %358
%61 = load double*, double** %17
%62 = load double, double* %61
store double %62, double* @E0000.fsmall
%63 = load double, double* @E0000.big
%64 = load double*, double** %16
store double %63, double* %64
store i32 2, i32* @E0000.i99999
br label %354
65: ; preds = %359
%66 = load double*, double** %17
%67 = load double, double* %66
store double %67, double* @E0000.fbig
%68 = load double, double* @E0000.fbig
%69 = load double, double* @E0000.fsmall
%70 = fcmp ogt double %68, %69
%71 = zext i1 %70 to i32
%72 = sext i32 %71 to i64
store i64 %72, i64* @E0000.qincr
%73 = load i64, i64* @E0000.qincr
%74 = icmp ne i64 %73, 0
br i1 %74, label %76, label %75
75: ; preds = %65
br label %93
76: ; preds = %65
%77 = load double, double* @E0000.fsmall
%78 = fcmp ole double %77, 0.000000e+00
br i1 %78, label %79, label %80
79: ; preds = %76
br label %84
80: ; preds = %76
%81 = load i32*, i32** %15
store i32 -1, i32* %81
%82 = load i64*, i64** %19
store i64 1, i64* %82
%83 = load i64*, i64** %18
store i64 1, i64* %83
br label %365
84: ; preds = %79
%85 = load double, double* @E0000.fbig
%86 = fcmp oge double %85, 0.000000e+00
br i1 %86, label %87, label %88
87: ; preds = %84
br label %92
88: ; preds = %84
%89 = load i32*, i32** %15
store i32 -1, i32* %89
%90 = load i64*, i64** %19
store i64 0, i64* %90
%91 = load i64*, i64** %18
store i64 0, i64* %91
br label %365
92: ; preds = %87
br label %109
93: ; preds = %75
%94 = load double, double* @E0000.fsmall
%95 = fcmp oge double %94, 0.000000e+00
br i1 %95, label %96, label %97
96: ; preds = %93
br label %101
97: ; preds = %93
%98 = load i32*, i32** %15
store i32 -1, i32* %98
%99 = load i64*, i64** %18
store i64 1, i64* %99
%100 = load i64*, i64** %19
store i64 0, i64* %100
br label %365
101: ; preds = %96
%102 = load double, double* @E0000.fbig
%103 = fcmp ole double %102, 0.000000e+00
br i1 %103, label %104, label %105
104: ; preds = %101
br label %110
105: ; preds = %101
%106 = load i32*, i32** %15
store i32 -1, i32* %106
%107 = load i64*, i64** %18
store i64 0, i64* %107
%108 = load i64*, i64** %19
store i64 1, i64* %108
br label %365
109: ; preds = %92
br label %110
110: ; preds = %109, %104
%111 = load double, double* @E0000.xsave
%112 = load double*, double** %16
store double %111, double* %112
%113 = load double, double* @E0000.absstp
%114 = load double, double* @E0000.relstp
%115 = load double*, double** %16
%116 = load double, double* %115
%117 = call double @llvm.fabs.f64(double %116)
%118 = fmul double %114, %117
%119 = call i32 (double, double, ...) bitcast (i32 (...)* @fifdmax1 to i32 (double, double, ...)*)(double %113, double %118)
%120 = sitofp i32 %119 to double
store double %120, double* @E0000.step
store i32 3, i32* @E0000.i99999
br label %354
121: ; preds = %360
%122 = load double*, double** %17
%123 = load double, double* %122
store double %123, double* @E0000.yy
%124 = load double, double* @E0000.yy
%125 = fcmp oeq double %124, 0.000000e+00
br i1 %125, label %127, label %126
126: ; preds = %121
br label %129
127: ; preds = %121
%128 = load i32*, i32** %15
store i32 0, i32* %128
store i64 1, i64* @E0000.qok
br label %365
129: ; preds = %126
%130 = load i64, i64* @E0000.qincr
%131 = icmp ne i64 %130, 0
br i1 %131, label %132, label %135
132: ; preds = %129
%133 = load double, double* @E0000.yy
%134 = fcmp olt double %133, 0.000000e+00
br i1 %134, label %143, label %135
135: ; preds = %132, %129
%136 = load i64, i64* @E0000.qincr
%137 = icmp ne i64 %136, 0
br i1 %137, label %141, label %138
138: ; preds = %135
%139 = load double, double* @E0000.yy
%140 = fcmp ogt double %139, 0.000000e+00
br label %141
141: ; preds = %138, %135
%142 = phi i1 [ false, %135 ], [ %140, %138 ]
br label %143
143: ; preds = %141, %132
%144 = phi i1 [ true, %132 ], [ %142, %141 ]
%145 = zext i1 %144 to i32
%146 = sext i32 %145 to i64
store i64 %146, i64* @E0000.qup
%147 = load i64, i64* @E0000.qup
%148 = icmp ne i64 %147, 0
br i1 %148, label %150, label %149
149: ; preds = %143
br label %234
150: ; preds = %143
%151 = load double, double* @E0000.xsave
store double %151, double* @E0000.xlb
%152 = load double, double* @E0000.xlb
%153 = load double, double* @E0000.step
%154 = fadd double %152, %153
%155 = load double, double* @E0000.big
%156 = call i32 (double, double, ...) bitcast (i32 (...)* @fifdmin1 to i32 (double, double, ...)*)(double %154, double %155)
%157 = sitofp i32 %156 to double
store double %157, double* @E0000.xub
br label %163
158: ; preds = %214
%159 = load i64, i64* @E0000.qcond
%160 = icmp ne i64 %159, 0
br i1 %160, label %161, label %162
161: ; preds = %158
br label %215
162: ; preds = %158
br label %163
163: ; preds = %162, %150
%164 = load double, double* @E0000.xub
%165 = load double*, double** %16
store double %164, double* %165
store i32 4, i32* @E0000.i99999
br label %354
166: ; preds = %361
%167 = load double*, double** %17
%168 = load double, double* %167
store double %168, double* @E0000.yy
%169 = load i64, i64* @E0000.qincr
%170 = icmp ne i64 %169, 0
br i1 %170, label %171, label %174
171: ; preds = %166
%172 = load double, double* @E0000.yy
%173 = fcmp oge double %172, 0.000000e+00
br i1 %173, label %182, label %174
174: ; preds = %171, %166
%175 = load i64, i64* @E0000.qincr
%176 = icmp ne i64 %175, 0
br i1 %176, label %180, label %177
177: ; preds = %174
%178 = load double, double* @E0000.yy
%179 = fcmp ole double %178, 0.000000e+00
br label %180
180: ; preds = %177, %174
%181 = phi i1 [ false, %174 ], [ %179, %177 ]
br label %182
182: ; preds = %180, %171
%183 = phi i1 [ true, %171 ], [ %181, %180 ]
%184 = zext i1 %183 to i32
%185 = sext i32 %184 to i64
store i64 %185, i64* @E0000.qbdd
%186 = load double, double* @E0000.xub
%187 = load double, double* @E0000.big
%188 = fcmp oge double %186, %187
%189 = zext i1 %188 to i32
%190 = sext i32 %189 to i64
store i64 %190, i64* @E0000.qlim
%191 = load i64, i64* @E0000.qbdd
%192 = icmp ne i64 %191, 0
br i1 %192, label %196, label %193
193: ; preds = %182
%194 = load i64, i64* @E0000.qlim
%195 = icmp ne i64 %194, 0
br label %196
196: ; preds = %193, %182
%197 = phi i1 [ true, %182 ], [ %195, %193 ]
%198 = zext i1 %197 to i32
%199 = sext i32 %198 to i64
store i64 %199, i64* @E0000.qcond
%200 = load i64, i64* @E0000.qcond
%201 = icmp ne i64 %200, 0
br i1 %201, label %202, label %203
202: ; preds = %196
br label %214
203: ; preds = %196
%204 = load double, double* @E0000.stpmul
%205 = load double, double* @E0000.step
%206 = fmul double %204, %205
store double %206, double* @E0000.step
%207 = load double, double* @E0000.xub
store double %207, double* @E0000.xlb
%208 = load double, double* @E0000.xlb
%209 = load double, double* @E0000.step
%210 = fadd double %208, %209
%211 = load double, double* @E0000.big
%212 = call i32 (double, double, ...) bitcast (i32 (...)* @fifdmin1 to i32 (double, double, ...)*)(double %210, double %211)
%213 = sitofp i32 %212 to double
store double %213, double* @E0000.xub
br label %214
214: ; preds = %203, %202
br label %158
215: ; preds = %161
%216 = load i64, i64* @E0000.qlim
%217 = icmp ne i64 %216, 0
br i1 %217, label %218, label %221
218: ; preds = %215
%219 = load i64, i64* @E0000.qbdd
%220 = icmp ne i64 %219, 0
br i1 %220, label %221, label %222
221: ; preds = %218, %215
br label %233
222: ; preds = %218
%223 = load i32*, i32** %15
store i32 -1, i32* %223
%224 = load i64*, i64** %18
store i64 0, i64* %224
%225 = load i64, i64* @E0000.qincr
%226 = icmp ne i64 %225, 0
%227 = xor i1 %226, true
%228 = zext i1 %227 to i32
%229 = sext i32 %228 to i64
%230 = load i64*, i64** %19
store i64 %229, i64* %230
%231 = load double, double* @E0000.big
%232 = load double*, double** %16
store double %231, double* %232
br label %365
233: ; preds = %221
br label %313
234: ; preds = %149
%235 = load double, double* @E0000.xsave
store double %235, double* @E0000.xub
%236 = load double, double* @E0000.xub
%237 = load double, double* @E0000.step
%238 = fsub double %236, %237
%239 = load double, double* @E0000.small
%240 = call i32 (double, double, ...) bitcast (i32 (...)* @fifdmax1 to i32 (double, double, ...)*)(double %238, double %239)
%241 = sitofp i32 %240 to double
store double %241, double* @E0000.xlb
br label %247
242: ; preds = %298
%243 = load i64, i64* @E0000.qcond
%244 = icmp ne i64 %243, 0
br i1 %244, label %245, label %246
245: ; preds = %242
br label %299
246: ; preds = %242
br label %247
247: ; preds = %246, %234
%248 = load double, double* @E0000.xlb
%249 = load double*, double** %16
store double %248, double* %249
store i32 5, i32* @E0000.i99999
br label %354
250: ; preds = %362
%251 = load double*, double** %17
%252 = load double, double* %251
store double %252, double* @E0000.yy
%253 = load i64, i64* @E0000.qincr
%254 = icmp ne i64 %253, 0
br i1 %254, label %255, label %258
255: ; preds = %250
%256 = load double, double* @E0000.yy
%257 = fcmp ole double %256, 0.000000e+00
br i1 %257, label %266, label %258
258: ; preds = %255, %250
%259 = load i64, i64* @E0000.qincr
%260 = icmp ne i64 %259, 0
br i1 %260, label %264, label %261
261: ; preds = %258
%262 = load double, double* @E0000.yy
%263 = fcmp oge double %262, 0.000000e+00
br label %264
264: ; preds = %261, %258
%265 = phi i1 [ false, %258 ], [ %263, %261 ]
br label %266
266: ; preds = %264, %255
%267 = phi i1 [ true, %255 ], [ %265, %264 ]
%268 = zext i1 %267 to i32
%269 = sext i32 %268 to i64
store i64 %269, i64* @E0000.qbdd
%270 = load double, double* @E0000.xlb
%271 = load double, double* @E0000.small
%272 = fcmp ole double %270, %271
%273 = zext i1 %272 to i32
%274 = sext i32 %273 to i64
store i64 %274, i64* @E0000.qlim
%275 = load i64, i64* @E0000.qbdd
%276 = icmp ne i64 %275, 0
br i1 %276, label %280, label %277
277: ; preds = %266
%278 = load i64, i64* @E0000.qlim
%279 = icmp ne i64 %278, 0
br label %280
280: ; preds = %277, %266
%281 = phi i1 [ true, %266 ], [ %279, %277 ]
%282 = zext i1 %281 to i32
%283 = sext i32 %282 to i64
store i64 %283, i64* @E0000.qcond
%284 = load i64, i64* @E0000.qcond
%285 = icmp ne i64 %284, 0
br i1 %285, label %286, label %287
286: ; preds = %280
br label %298
287: ; preds = %280
%288 = load double, double* @E0000.stpmul
%289 = load double, double* @E0000.step
%290 = fmul double %288, %289
store double %290, double* @E0000.step
%291 = load double, double* @E0000.xlb
store double %291, double* @E0000.xub
%292 = load double, double* @E0000.xub
%293 = load double, double* @E0000.step
%294 = fsub double %292, %293
%295 = load double, double* @E0000.small
%296 = call i32 (double, double, ...) bitcast (i32 (...)* @fifdmax1 to i32 (double, double, ...)*)(double %294, double %295)
%297 = sitofp i32 %296 to double
store double %297, double* @E0000.xlb
br label %298
298: ; preds = %287, %286
br label %242
299: ; preds = %245
%300 = load i64, i64* @E0000.qlim
%301 = icmp ne i64 %300, 0
br i1 %301, label %302, label %305
302: ; preds = %299
%303 = load i64, i64* @E0000.qbdd
%304 = icmp ne i64 %303, 0
br i1 %304, label %305, label %306
305: ; preds = %302, %299
br label %314
306: ; preds = %302
%307 = load i32*, i32** %15
store i32 -1, i32* %307
%308 = load i64*, i64** %18
store i64 1, i64* %308
%309 = load i64, i64* @E0000.qincr
%310 = load i64*, i64** %19
store i64 %309, i64* %310
%311 = load double, double* @E0000.small
%312 = load double*, double** %16
store double %311, double* %312
br label %365
313: ; preds = %233
br label %314
314: ; preds = %313, %305
%315 = call i32 (double*, double*, double*, double*, ...) bitcast (i32 (...)* @dstzr to i32 (double*, double*, double*, double*, ...)*)(double* @E0000.xlb, double* @E0000.xub, double* @E0000.abstol, double* @E0000.reltol)
%316 = load i32*, i32** %15
store i32 0, i32* %316
br label %323
317: ; preds = %334
%318 = load i32*, i32** %15
%319 = load i32, i32* %318
%320 = icmp eq i32 %319, 1
br i1 %320, label %322, label %321
321: ; preds = %317
br label %335
322: ; preds = %317
br label %323
323: ; preds = %322, %314
%324 = load i32*, i32** %15
%325 = load double*, double** %16
%326 = load double*, double** %17
%327 = call i32 (i32*, double*, double*, double*, double*, i64*, i64*, ...) bitcast (i32 (...)* @dzror to i32 (i32*, double*, double*, double*, double*, i64*, i64*, ...)*)(i32* %324, double* %325, double* %326, double* @E0000.xlo, double* @E0000.xhi, i64* @E0000.qdum1, i64* @E0000.qdum2)
%328 = load i32*, i32** %15
%329 = load i32, i32* %328
%330 = icmp eq i32 %329, 1
br i1 %330, label %332, label %331
331: ; preds = %323
br label %333
332: ; preds = %323
store i32 6, i32* @E0000.i99999
br label %354
333: ; preds = %331
br label %334
334: ; preds = %363, %333
br label %317
335: ; preds = %321
%336 = load double, double* @E0000.xlo
%337 = load double*, double** %16
store double %336, double* %337
%338 = load i32*, i32** %15
store i32 0, i32* %338
br label %365
339: ; preds = %29
%340 = load double*, double** %25
%341 = load double, double* %340
store double %341, double* @E0000.small
%342 = load double*, double** %22
%343 = load double, double* %342
store double %343, double* @E0000.big
%344 = load double*, double** %20
%345 = load double, double* %344
store double %345, double* @E0000.absstp
%346 = load double*, double** %23
%347 = load double, double* %346
store double %347, double* @E0000.relstp
%348 = load double*, double** %26
%349 = load double, double* %348
store double %349, double* @E0000.stpmul
%350 = load double*, double** %21
%351 = load double, double* %350
store double %351, double* @E0000.abstol
%352 = load double*, double** %24
%353 = load double, double* %352
store double %353, double* @E0000.reltol
br label %365
354: ; preds = %332, %247, %163, %110, %60, %55
%355 = load i32*, i32** %15
store i32 1, i32* %355
br label %365
356: ; preds = %35
%357 = load i32, i32* @E0000.i99999
switch i32 %357, label %364 [
i32 1, label %358
i32 2, label %359
i32 3, label %360
i32 4, label %361
i32 5, label %362
i32 6, label %363
]
358: ; preds = %356
br label %60
359: ; preds = %356
br label %65
360: ; preds = %356
br label %121
361: ; preds = %356
br label %166
362: ; preds = %356
br label %250
363: ; preds = %356
br label %334
364: ; preds = %356
br label %365
365: ; preds = %80, %88, %97, %105, %127, %222, %306, %335, %339, %354, %364
ret void
}

LLVM IR (-O2):
@E0000.absstp = internal unnamed_addr global double 0.000000e+00
@E0000.abstol = internal global double 0.000000e+00
@E0000.big = internal unnamed_addr global double 0.000000e+00
@E0000.fsmall = internal unnamed_addr global double 0.000000e+00
@E0000.relstp = internal unnamed_addr global double 0.000000e+00
@E0000.reltol = internal global double 0.000000e+00
@E0000.small = internal unnamed_addr global double 0.000000e+00
@E0000.step = internal unnamed_addr global double 0.000000e+00
@E0000.stpmul = internal unnamed_addr global double 0.000000e+00
@E0000.xhi = internal global double 0.000000e+00
@E0000.xlb = internal global double 0.000000e+00
@E0000.xlo = internal global double 0.000000e+00
@E0000.xsave = internal unnamed_addr global double 0.000000e+00
@E0000.xub = internal global double 0.000000e+00
@E0000.i99999 = internal unnamed_addr global i32 0
@E0000.qbdd = internal unnamed_addr global i64 0
@E0000.qcond = internal unnamed_addr global i64 0
@E0000.qdum1 = internal global i64 0
@E0000.qdum2 = internal global i64 0
@E0000.qincr = internal unnamed_addr global i64 0
@E0000.qlim = internal unnamed_addr global i64 0
@.str = [36 x i8] c" SMALL, X, BIG not monotone in INVR\00"
define void @E0000(i32 %0, i32* %1, double* %2, double* %3, i64* nocapture writeonly %4, i64* nocapture writeonly %5, double* nocapture %6, double* nocapture %7, double* nocapture %8, double* nocapture %9, double* nocapture %10, double* nocapture %11, double* nocapture %12) {
%14 = icmp eq i32 %0, 1
br i1 %14, label %135, label %15
15: ; preds = %13
%16 = load i32, i32* %1
%17 = icmp sgt i32 %16, 0
br i1 %17, label %145, label %18
18: ; preds = %15
%19 = load double, double* @E0000.small
%20 = load double, double* %2
%21 = fcmp ugt double %19, %20
%22 = load double, double* @E0000.big
%23 = fcmp ugt double %20, %22
%24 = select i1 %21, i1 true, i1 %23
%25 = zext i1 %24 to i64
store i64 %25, i64* @E0000.qcond
br i1 %24, label %26, label %30
26: ; preds = %18
%27 = tail call i32 (i8*, ...) bitcast (i32 (...)* @ftnstop to i32 (i8*, ...)*)(i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str, i64 0, i64 0))
%28 = load double, double* %2
%29 = load double, double* @E0000.small
br label %30
30: ; preds = %26, %18
%31 = phi double [ %29, %26 ], [ %19, %18 ]
%32 = phi double [ %28, %26 ], [ %20, %18 ]
store double %32, double* @E0000.xsave
store double %31, double* %2
br label %143
33: ; preds = %150
%34 = fcmp ugt double %152, 0.000000e+00
br i1 %34, label %35, label %36
35: ; preds = %33
store i32 -1, i32* %1
store i64 1, i64* %5
store i64 1, i64* %4
br label %186
36: ; preds = %33
%37 = fcmp ult double %151, 0.000000e+00
br i1 %37, label %38, label %45
38: ; preds = %36
store i32 -1, i32* %1
store i64 0, i64* %5
store i64 0, i64* %4
br label %186
39: ; preds = %150
%40 = fcmp ult double %152, 0.000000e+00
br i1 %40, label %41, label %42
41: ; preds = %39
store i32 -1, i32* %1
store i64 1, i64* %4
store i64 0, i64* %5
br label %186
42: ; preds = %39
%43 = fcmp ugt double %151, 0.000000e+00
br i1 %43, label %44, label %45
44: ; preds = %42
store i32 -1, i32* %1
store i64 0, i64* %4
store i64 1, i64* %5
br label %186
45: ; preds = %36, %42
%46 = load double, double* @E0000.xsave
store double %46, double* %2
%47 = load double, double* @E0000.absstp
%48 = load double, double* @E0000.relstp
%49 = tail call double @llvm.fabs.f64(double %46)
%50 = fmul double %49, %48
%51 = tail call i32 (double, double, ...) bitcast (i32 (...)* @fifdmax1 to i32 (double, double, ...)*)(double %47, double %50)
%52 = sitofp i32 %51 to double
store double %52, double* @E0000.step
br label %143
53: ; preds = %155
store i32 0, i32* %1
br label %186
54: ; preds = %155
%55 = load i64, i64* @E0000.qincr
%56 = icmp ne i64 %55, 0
%57 = fcmp olt double %156, 0.000000e+00
%58 = select i1 %56, i1 %57, i1 false
br i1 %58, label %63, label %59
59: ; preds = %54
%60 = fcmp ogt double %156, 0.000000e+00
%61 = xor i1 %56, true
%62 = select i1 %61, i1 %60, i1 false
br i1 %62, label %63, label %95
63: ; preds = %54, %59
%64 = load double, double* @E0000.xsave
store double %64, double* @E0000.xlb
%65 = load double, double* @E0000.step
%66 = fadd double %64, %65
%67 = load double, double* @E0000.big
%68 = tail call i32 (double, double, ...) bitcast (i32 (...)* @fifdmin1 to i32 (double, double, ...)*)(double %66, double %67)
%69 = sitofp i32 %68 to double
store double %69, double* @E0000.xub
br label %70
70: ; preds = %72, %63
%71 = phi double [ %78, %72 ], [ %69, %63 ]
store double %71, double* %2
br label %143
72: ; preds = %158
%73 = load double, double* @E0000.stpmul
%74 = load double, double* @E0000.step
%75 = fmul double %73, %74
store double %75, double* @E0000.step
store double %166, double* @E0000.xlb
%76 = fadd double %166, %75
%77 = tail call i32 (double, double, ...) bitcast (i32 (...)* @fifdmin1 to i32 (double, double, ...)*)(double %76, double %167)
%78 = sitofp i32 %77 to double
store double %78, double* @E0000.xub
%79 = load i64, i64* @E0000.qcond
%80 = icmp eq i64 %79, 0
br i1 %80, label %70, label %81
81: ; preds = %72
%82 = load i64, i64* @E0000.qlim
%83 = load i64, i64* @E0000.qbdd
br label %84
84: ; preds = %81, %158
%85 = phi i64 [ %83, %81 ], [ %165, %158 ]
%86 = phi i64 [ %82, %81 ], [ %169, %158 ]
%87 = icmp eq i64 %86, 0
%88 = icmp ne i64 %85, 0
%89 = select i1 %87, i1 true, i1 %88
br i1 %89, label %125, label %90
90: ; preds = %84
store i32 -1, i32* %1
store i64 0, i64* %4
%91 = load i64, i64* @E0000.qincr
%92 = icmp eq i64 %91, 0
%93 = zext i1 %92 to i64
store i64 %93, i64* %5
%94 = load double, double* @E0000.big
store double %94, double* %2
br label %186
95: ; preds = %59
%96 = load double, double* @E0000.xsave
store double %96, double* @E0000.xub
%97 = load double, double* @E0000.step
%98 = fsub double %96, %97
%99 = load double, double* @E0000.small
%100 = tail call i32 (double, double, ...) bitcast (i32 (...)* @fifdmax1 to i32 (double, double, ...)*)(double %98, double %99)
%101 = sitofp i32 %100 to double
store double %101, double* @E0000.xlb
br label %102
102: ; preds = %104, %95
%103 = phi double [ %110, %104 ], [ %101, %95 ]
store double %103, double* %2
br label %143
104: ; preds = %172
%105 = load double, double* @E0000.stpmul
%106 = load double, double* @E0000.step
%107 = fmul double %105, %106
store double %107, double* @E0000.step
store double %180, double* @E0000.xub
%108 = fsub double %180, %107
%109 = tail call i32 (double, double, ...) bitcast (i32 (...)* @fifdmax1 to i32 (double, double, ...)*)(double %108, double %181)
%110 = sitofp i32 %109 to double
store double %110, double* @E0000.xlb
%111 = load i64, i64* @E0000.qcond
%112 = icmp eq i64 %111, 0
br i1 %112, label %102, label %113
113: ; preds = %104
%114 = load i64, i64* @E0000.qlim
%115 = load i64, i64* @E0000.qbdd
br label %116
116: ; preds = %113, %172
%117 = phi i64 [ %115, %113 ], [ %179, %172 ]
%118 = phi i64 [ %114, %113 ], [ %183, %172 ]
%119 = icmp eq i64 %118, 0
%120 = icmp ne i64 %117, 0
%121 = select i1 %119, i1 true, i1 %120
br i1 %121, label %125, label %122
122: ; preds = %116
store i32 -1, i32* %1
store i64 1, i64* %4
%123 = load i64, i64* @E0000.qincr
store i64 %123, i64* %5
%124 = load double, double* @E0000.small
store double %124, double* %2
br label %186
125: ; preds = %84, %116
%126 = tail call i32 (double*, double*, double*, double*, ...) bitcast (i32 (...)* @dstzr to i32 (double*, double*, double*, double*, ...)*)(double* @E0000.xlb, double* @E0000.xub, double* @E0000.abstol, double* @E0000.reltol)
store i32 0, i32* %1
br label %127
127: ; preds = %131, %125
%128 = tail call i32 (i32*, double*, double*, double*, double*, i64*, i64*, ...) bitcast (i32 (...)* @dzror to i32 (i32*, double*, double*, double*, double*, i64*, i64*, ...)*)(i32* %1, double* %2, double* %3, double* @E0000.xlo, double* @E0000.xhi, i64* @E0000.qdum1, i64* @E0000.qdum2)
%129 = load i32, i32* %1
%130 = icmp eq i32 %129, 1
br i1 %130, label %143, label %133
131: ; preds = %145
%132 = icmp eq i32 %16, 1
br i1 %132, label %127, label %133
133: ; preds = %127, %131
%134 = load double, double* @E0000.xlo
store double %134, double* %2
store i32 0, i32* %1
br label %186
135: ; preds = %13
%136 = load double, double* %11
store double %136, double* @E0000.small
%137 = load double, double* %8
store double %137, double* @E0000.big
%138 = load double, double* %6
store double %138, double* @E0000.absstp
%139 = load double, double* %9
store double %139, double* @E0000.relstp
%140 = load double, double* %12
store double %140, double* @E0000.stpmul
%141 = load double, double* %7
store double %141, double* @E0000.abstol
%142 = load double, double* %10
store double %142, double* @E0000.reltol
br label %186
143: ; preds = %127, %102, %70, %45, %147, %30
%144 = phi i32 [ 5, %102 ], [ 4, %70 ], [ 3, %45 ], [ 2, %147 ], [ 1, %30 ], [ 6, %127 ]
store i32 %144, i32* @E0000.i99999
store i32 1, i32* %1
br label %186
145: ; preds = %15
%146 = load i32, i32* @E0000.i99999
switch i32 %146, label %186 [
i32 1, label %147
i32 2, label %150
i32 3, label %155
i32 4, label %158
i32 5, label %172
i32 6, label %131
]
147: ; preds = %145
%148 = load double, double* %3
store double %148, double* @E0000.fsmall
%149 = load double, double* @E0000.big
store double %149, double* %2
br label %143
150: ; preds = %145
%151 = load double, double* %3
%152 = load double, double* @E0000.fsmall
%153 = fcmp ogt double %151, %152
%154 = zext i1 %153 to i64
store i64 %154, i64* @E0000.qincr
br i1 %153, label %33, label %39
155: ; preds = %145
%156 = load double, double* %3
%157 = fcmp oeq double %156, 0.000000e+00
br i1 %157, label %53, label %54
158: ; preds = %145
%159 = load double, double* %3
%160 = load i64, i64* @E0000.qincr
%161 = icmp eq i64 %160, 0
%162 = fcmp oge double %159, 0.000000e+00
%163 = fcmp ole double %159, 0.000000e+00
%164 = select i1 %161, i1 %163, i1 %162
%165 = zext i1 %164 to i64
store i64 %165, i64* @E0000.qbdd
%166 = load double, double* @E0000.xub
%167 = load double, double* @E0000.big
%168 = fcmp oge double %166, %167
%169 = zext i1 %168 to i64
store i64 %169, i64* @E0000.qlim
%170 = select i1 %164, i1 true, i1 %168
%171 = zext i1 %170 to i64
store i64 %171, i64* @E0000.qcond
br i1 %170, label %84, label %72
172: ; preds = %145
%173 = load double, double* %3
%174 = load i64, i64* @E0000.qincr
%175 = icmp eq i64 %174, 0
%176 = fcmp ole double %173, 0.000000e+00
%177 = fcmp oge double %173, 0.000000e+00
%178 = select i1 %175, i1 %177, i1 %176
%179 = zext i1 %178 to i64
store i64 %179, i64* @E0000.qbdd
%180 = load double, double* @E0000.xlb
%181 = load double, double* @E0000.small
%182 = fcmp ole double %180, %181
%183 = zext i1 %182 to i64
store i64 %183, i64* @E0000.qlim
%184 = select i1 %178, i1 true, i1 %182
%185 = zext i1 %184 to i64
store i64 %185, i64* @E0000.qcond
br i1 %184, label %116, label %104
186: ; preds = %145, %35, %38, %41, %44, %53, %90, %122, %133, %135, %143
ret void
}