#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 */
int /*<<< orphan*/ vdmnum(int, char *);
int /*<<< orphan*/ vdmprintf(char *, int /*<<< orphan*/, int /*<<< orphan*/);
void splinerel(double px, double py, int flush) {
  static int lx = 0, ly = 0;
  static double pend = 0.0;
  static int dy = 0, despx = 0, despy = 0, sigpend = 0;
  int dxnew = 0, dynew = 0, sg;
  char xcoord[4], ycoord[4];
  double npend;
  if (flush == -1) {
    lx = (int)px;
    ly = (int)py;
    return;
  }
  if (flush == 0) {
    dxnew = (int)px - lx;
    dynew = (int)py - ly;
    if ((dxnew == 0) && (dynew == 0))
      return;
    sg = (dxnew < 0) ? -1 : 0;
    if (dynew == 0) {
      despx = dxnew;
      if ((sg == sigpend) && (dy == 0)) {
        return;
      }
      dy = 0;
    } else {
      dy = 1;
      npend = (1.0 * dxnew) / dynew;
      if ((npend == pend) && (sigpend == sg)) {
        despy = dynew;
        despx = dxnew;
        return;
      } else {
        sigpend = sg;
        pend = npend;
      }
    }
  }
  if ((despx != 0) || (despy != 0))
    vdmprintf("%s%s", vdmnum(despx, xcoord), vdmnum(despy, ycoord));
  if (flush) {
    dxnew = dy = despx = despy = 0;
    return;
  }
  dxnew -= despx;
  dynew -= despy;
  if ((dxnew != 0) || (dynew != 0))
    vdmprintf("%s%s", vdmnum(dxnew, xcoord), vdmnum(dynew, ycoord));
  lx = (int)px;
  ly = (int)py;
  dxnew = dy = despx = despy = 0;
}


x86 assembly (clang, -O0):
<splinerel>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
movsd  %xmm0,-0x8(%rbp)
movsd  %xmm1,-0x10(%rbp)
mov    %edi,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
cmpl   $0xffffffff,-0x14(%rbp)
jne    1168 <splinerel+0x48>
cvttsd2si -0x8(%rbp),%eax
mov    %eax,0x2ee0(%rip)
cvttsd2si -0x10(%rbp),%eax
mov    %eax,0x2ed9(%rip)
jmp    139c <splinerel+0x27c>
cmpl   $0x0,-0x14(%rbp)
jne    1285 <splinerel+0x165>
cvttsd2si -0x8(%rbp),%eax
sub    0x2ebb(%rip),%eax
mov    %eax,-0x18(%rbp)
cvttsd2si -0x10(%rbp),%eax
sub    0x2eb1(%rip),%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x0,-0x18(%rbp)
jne    11a7 <splinerel+0x87>
cmpl   $0x0,-0x1c(%rbp)
jne    11a7 <splinerel+0x87>
jmp    139c <splinerel+0x27c>
mov    -0x18(%rbp),%edx
xor    %eax,%eax
mov    $0xffffffff,%ecx
cmp    $0x0,%edx
cmovl  %ecx,%eax
mov    %eax,-0x20(%rbp)
cmpl   $0x0,-0x1c(%rbp)
jne    11fd <splinerel+0xdd>
mov    -0x18(%rbp),%eax
mov    %eax,0x2e7f(%rip)
mov    -0x20(%rbp),%eax
cmp    0x2e7e(%rip),%eax
jne    11ee <splinerel+0xce>
cmpl   $0x0,0x2e65(%rip)
jne    11ee <splinerel+0xce>
jmp    139c <splinerel+0x27c>
movl   $0x0,0x2e50(%rip)
jmp    1280 <splinerel+0x160>
movl   $0x1,0x2e41(%rip)
cvtsi2sdl -0x18(%rbp),%xmm1
movsd  0xdec(%rip),%xmm0
mulsd  %xmm1,%xmm0
cvtsi2sdl -0x1c(%rbp),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  -0x30(%rbp),%xmm0
ucomisd 0x2e0d(%rip),%xmm0
jne    1265 <splinerel+0x145>
jp     1265 <splinerel+0x145>
mov    0x2e0f(%rip),%eax
cmp    -0x20(%rbp),%eax
jne    1265 <splinerel+0x145>
mov    -0x1c(%rbp),%eax
mov    %eax,0x2df9(%rip)
mov    -0x18(%rbp),%eax
mov    %eax,0x2dec(%rip)
jmp    139c <splinerel+0x27c>
mov    -0x20(%rbp),%eax
mov    %eax,0x2de6(%rip)
movsd  -0x30(%rbp),%xmm0
movsd  %xmm0,0x2dc5(%rip)
jmp    1280 <splinerel+0x160>
jmp    1285 <splinerel+0x165>
cmpl   $0x0,0x2dc0(%rip)
jne    129f <splinerel+0x17f>
cmpl   $0x0,0x2db7(%rip)
je     12d1 <splinerel+0x1b1>
mov    0x2da7(%rip),%edi
lea    -0x24(%rbp),%rsi
call   1030 <vdmnum@plt>
mov    %eax,-0x34(%rbp)
mov    0x2d99(%rip),%edi
lea    -0x28(%rbp),%rsi
call   1030 <vdmnum@plt>
mov    -0x34(%rbp),%esi
mov    %eax,%edx
lea    0xd3c(%rip),%rdi
call   1040 <vdmprintf@plt>
cmpl   $0x0,-0x14(%rbp)
je     1305 <splinerel+0x1e5>
movl   $0x0,0x2d6b(%rip)
movl   $0x0,0x2d5d(%rip)
movl   $0x0,0x2d4f(%rip)
movl   $0x0,-0x18(%rbp)
jmp    139c <splinerel+0x27c>
mov    0x2d41(%rip),%ecx
mov    -0x18(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x18(%rbp)
mov    0x2d37(%rip),%ecx
mov    -0x1c(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x0,-0x18(%rbp)
jne    1335 <splinerel+0x215>
cmpl   $0x0,-0x1c(%rbp)
je     1361 <splinerel+0x241>
mov    -0x18(%rbp),%edi
lea    -0x24(%rbp),%rsi
call   1030 <vdmnum@plt>
mov    %eax,-0x38(%rbp)
mov    -0x1c(%rbp),%edi
lea    -0x28(%rbp),%rsi
call   1030 <vdmnum@plt>
mov    -0x38(%rbp),%esi
mov    %eax,%edx
lea    0xcac(%rip),%rdi
call   1040 <vdmprintf@plt>
cvttsd2si -0x8(%rbp),%eax
mov    %eax,0x2ccc(%rip)
cvttsd2si -0x10(%rbp),%eax
mov    %eax,0x2cc5(%rip)
movl   $0x0,0x2ccf(%rip)
movl   $0x0,0x2cc1(%rip)
movl   $0x0,0x2cb3(%rip)
movl   $0x0,-0x18(%rbp)
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<splinerel>:
push   %rbp
push   %r15
push   %r14
push   %rbx
sub    $0x18,%rsp
mov    %edi,%ebp
xor    %r14d,%r14d
test   %edi,%edi
je     115a <splinerel+0x3a>
mov    $0x0,%ebx
cmp    $0xffffffff,%ebp
jne    11ee <splinerel+0xce>
cvttsd2si %xmm0,%eax
mov    %eax,0x2eed(%rip)
cvttsd2si %xmm1,%eax
mov    %eax,0x2ee7(%rip)
jmp    12ca <splinerel+0x1aa>
cvttsd2si %xmm0,%ebx
sub    0x2ed4(%rip),%ebx
cvttsd2si %xmm1,%eax
sub    0x2ece(%rip),%eax
mov    %ebx,%ecx
or     %eax,%ecx
je     12ca <splinerel+0x1aa>
mov    %ebx,%ecx
sar    $0x1f,%ecx
test   %eax,%eax
je     11b9 <splinerel+0x99>
movb   $0x1,0x2ec0(%rip)
cvtsi2sd %ebx,%xmm3
cvtsi2sd %eax,%xmm2
divsd  %xmm2,%xmm3
ucomisd 0x2ea4(%rip),%xmm3
jne    11dd <splinerel+0xbd>
jp     11dd <splinerel+0xbd>
cmp    %ecx,0x2eae(%rip)
jne    11dd <splinerel+0xbd>
mov    %eax,0x2ea2(%rip)
mov    %ebx,0x2e98(%rip)
jmp    12ca <splinerel+0x1aa>
mov    %ebx,0x2e8d(%rip)
cmp    0x2e8f(%rip),%ecx
jne    11d4 <splinerel+0xb4>
testb  $0x1,0x2e7a(%rip)
je     12ca <splinerel+0x1aa>
movb   $0x0,0x2e6d(%rip)
jmp    11ee <splinerel+0xce>
mov    %ecx,0x2e71(%rip)
movsd  %xmm3,0x2e55(%rip)
mov    %eax,%r14d
mov    0x2e58(%rip),%edi
mov    0x2e56(%rip),%eax
or     %edi,%eax
je     1242 <splinerel+0x122>
lea    0x14(%rsp),%rsi
movsd  %xmm1,0x8(%rsp)
movsd  %xmm0,(%rsp)
call   1030 <vdmnum@plt>
mov    %eax,%r15d
mov    0x2e34(%rip),%edi
lea    0x10(%rsp),%rsi
call   1030 <vdmnum@plt>
lea    0xdd3(%rip),%rdi
mov    %r15d,%esi
mov    %eax,%edx
call   1040 <vdmprintf@plt>
movsd  (%rsp),%xmm0
movsd  0x8(%rsp),%xmm1
test   %ebp,%ebp
jne    12af <splinerel+0x18f>
sub    0x2e00(%rip),%ebx
sub    0x2dfd(%rip),%r14d
mov    %ebx,%eax
or     %r14d,%eax
je     129b <splinerel+0x17b>
lea    0x14(%rsp),%rsi
mov    %ebx,%edi
movsd  %xmm1,0x8(%rsp)
movsd  %xmm0,(%rsp)
call   1030 <vdmnum@plt>
mov    %eax,%ebx
lea    0x10(%rsp),%rsi
mov    %r14d,%edi
call   1030 <vdmnum@plt>
lea    0xd79(%rip),%rdi
mov    %ebx,%esi
mov    %eax,%edx
call   1040 <vdmprintf@plt>
movsd  (%rsp),%xmm0
movsd  0x8(%rsp),%xmm1
cvttsd2si %xmm0,%eax
mov    %eax,0x2d93(%rip)
cvttsd2si %xmm1,%eax
mov    %eax,0x2d8d(%rip)
movl   $0x0,0x2d97(%rip)
movl   $0x0,0x2d89(%rip)
movb   $0x0,0x2d7e(%rip)
add    $0x18,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@splinerel.lx = internal global i32 0
@splinerel.ly = internal global i32 0
@splinerel.pend = internal global double 0.000000e+00
@splinerel.dy = internal global i32 0
@splinerel.despx = internal global i32 0
@splinerel.despy = internal global i32 0
@splinerel.sigpend = internal global i32 0
@.str = [5 x i8] c"%s%s\00"
define void @splinerel(double %0, double %1, i32 %2) {
%4 = alloca double
%5 = alloca double
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca [4 x i8]
%11 = alloca [4 x i8]
%12 = alloca double
store double %0, double* %4
store double %1, double* %5
store i32 %2, i32* %6
store i32 0, i32* %7
store i32 0, i32* %8
%13 = load i32, i32* %6
%14 = icmp eq i32 %13, -1
br i1 %14, label %15, label %20
15: ; preds = %3
%16 = load double, double* %4
%17 = fptosi double %16 to i32
store i32 %17, i32* @splinerel.lx
%18 = load double, double* %5
%19 = fptosi double %18 to i32
store i32 %19, i32* @splinerel.ly
br label %120
20: ; preds = %3
%21 = load i32, i32* %6
%22 = icmp eq i32 %21, 0
br i1 %22, label %23, label %77
23: ; preds = %20
%24 = load double, double* %4
%25 = fptosi double %24 to i32
%26 = load i32, i32* @splinerel.lx
%27 = sub nsw i32 %25, %26
store i32 %27, i32* %7
%28 = load double, double* %5
%29 = fptosi double %28 to i32
%30 = load i32, i32* @splinerel.ly
%31 = sub nsw i32 %29, %30
store i32 %31, i32* %8
%32 = load i32, i32* %7
%33 = icmp eq i32 %32, 0
br i1 %33, label %34, label %38
34: ; preds = %23
%35 = load i32, i32* %8
%36 = icmp eq i32 %35, 0
br i1 %36, label %37, label %38
37: ; preds = %34
br label %120
38: ; preds = %34, %23
%39 = load i32, i32* %7
%40 = icmp slt i32 %39, 0
%41 = zext i1 %40 to i64
%42 = select i1 %40, i32 -1, i32 0
store i32 %42, i32* %9
%43 = load i32, i32* %8
%44 = icmp eq i32 %43, 0
br i1 %44, label %45, label %55
45: ; preds = %38
%46 = load i32, i32* %7
store i32 %46, i32* @splinerel.despx
%47 = load i32, i32* %9
%48 = load i32, i32* @splinerel.sigpend
%49 = icmp eq i32 %47, %48
br i1 %49, label %50, label %54
50: ; preds = %45
%51 = load i32, i32* @splinerel.dy
%52 = icmp eq i32 %51, 0
br i1 %52, label %53, label %54
53: ; preds = %50
br label %120
54: ; preds = %50, %45
store i32 0, i32* @splinerel.dy
br label %76
55: ; preds = %38
store i32 1, i32* @splinerel.dy
%56 = load i32, i32* %7
%57 = sitofp i32 %56 to double
%58 = fmul double 1.000000e+00, %57
%59 = load i32, i32* %8
%60 = sitofp i32 %59 to double
%61 = fdiv double %58, %60
store double %61, double* %12
%62 = load double, double* %12
%63 = load double, double* @splinerel.pend
%64 = fcmp oeq double %62, %63
br i1 %64, label %65, label %72
65: ; preds = %55
%66 = load i32, i32* @splinerel.sigpend
%67 = load i32, i32* %9
%68 = icmp eq i32 %66, %67
br i1 %68, label %69, label %72
69: ; preds = %65
%70 = load i32, i32* %8
store i32 %70, i32* @splinerel.despy
%71 = load i32, i32* %7
store i32 %71, i32* @splinerel.despx
br label %120
72: ; preds = %65, %55
%73 = load i32, i32* %9
store i32 %73, i32* @splinerel.sigpend
%74 = load double, double* %12
store double %74, double* @splinerel.pend
br label %75
75: ; preds = %72
br label %76
76: ; preds = %75, %54
br label %77
77: ; preds = %76, %20
%78 = load i32, i32* @splinerel.despx
%79 = icmp ne i32 %78, 0
br i1 %79, label %83, label %80
80: ; preds = %77
%81 = load i32, i32* @splinerel.despy
%82 = icmp ne i32 %81, 0
br i1 %82, label %83, label %91
83: ; preds = %80, %77
%84 = load i32, i32* @splinerel.despx
%85 = getelementptr inbounds [4 x i8], [4 x i8]* %10, i64 0, i64 0
%86 = call i32 @vdmnum(i32 %84, i8* %85)
%87 = load i32, i32* @splinerel.despy
%88 = getelementptr inbounds [4 x i8], [4 x i8]* %11, i64 0, i64 0
%89 = call i32 @vdmnum(i32 %87, i8* %88)
%90 = call i32 @vdmprintf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0), i32 %86, i32 %89)
br label %91
91: ; preds = %83, %80
%92 = load i32, i32* %6
%93 = icmp ne i32 %92, 0
br i1 %93, label %94, label %95
94: ; preds = %91
store i32 0, i32* @splinerel.despy
store i32 0, i32* @splinerel.despx
store i32 0, i32* @splinerel.dy
store i32 0, i32* %7
br label %120
95: ; preds = %91
%96 = load i32, i32* @splinerel.despx
%97 = load i32, i32* %7
%98 = sub nsw i32 %97, %96
store i32 %98, i32* %7
%99 = load i32, i32* @splinerel.despy
%100 = load i32, i32* %8
%101 = sub nsw i32 %100, %99
store i32 %101, i32* %8
%102 = load i32, i32* %7
%103 = icmp ne i32 %102, 0
br i1 %103, label %107, label %104
104: ; preds = %95
%105 = load i32, i32* %8
%106 = icmp ne i32 %105, 0
br i1 %106, label %107, label %115
107: ; preds = %104, %95
%108 = load i32, i32* %7
%109 = getelementptr inbounds [4 x i8], [4 x i8]* %10, i64 0, i64 0
%110 = call i32 @vdmnum(i32 %108, i8* %109)
%111 = load i32, i32* %8
%112 = getelementptr inbounds [4 x i8], [4 x i8]* %11, i64 0, i64 0
%113 = call i32 @vdmnum(i32 %111, i8* %112)
%114 = call i32 @vdmprintf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0), i32 %110, i32 %113)
br label %115
115: ; preds = %107, %104
%116 = load double, double* %4
%117 = fptosi double %116 to i32
store i32 %117, i32* @splinerel.lx
%118 = load double, double* %5
%119 = fptosi double %118 to i32
store i32 %119, i32* @splinerel.ly
store i32 0, i32* @splinerel.despy
store i32 0, i32* @splinerel.despx
store i32 0, i32* @splinerel.dy
store i32 0, i32* %7
br label %120
120: ; preds = %115, %94, %69, %53, %37, %15
ret void
}

LLVM IR (-O2):
@splinerel.lx = internal unnamed_addr global i32 0
@splinerel.ly = internal unnamed_addr global i32 0
@splinerel.pend = internal unnamed_addr global double 0.000000e+00
@splinerel.dy = internal unnamed_addr global i1 false
@splinerel.despx = internal unnamed_addr global i32 0
@splinerel.despy = internal unnamed_addr global i32 0
@splinerel.sigpend = internal unnamed_addr global i32 0
@.str = [5 x i8] c"%s%s\00"
define void @splinerel(double %0, double %1, i32 %2) {
%4 = alloca [4 x i8]
%5 = alloca [4 x i8]
%6 = getelementptr inbounds [4 x i8], [4 x i8]* %4, i64 0, i64 0
%7 = getelementptr inbounds [4 x i8], [4 x i8]* %5, i64 0, i64 0
switch i32 %2, label %41 [
i32 -1, label %8
i32 0, label %11
]
8: ; preds = %3
%9 = fptosi double %0 to i32
store i32 %9, i32* @splinerel.lx
%10 = fptosi double %1 to i32
store i32 %10, i32* @splinerel.ly
br label %72
11: ; preds = %3
%12 = fptosi double %0 to i32
%13 = load i32, i32* @splinerel.lx
%14 = sub nsw i32 %12, %13
%15 = fptosi double %1 to i32
%16 = load i32, i32* @splinerel.ly
%17 = sub nsw i32 %15, %16
%18 = icmp eq i32 %14, 0
%19 = icmp eq i32 %17, 0
%20 = select i1 %18, i1 %19, i1 false
br i1 %20, label %72, label %21
21: ; preds = %11
%22 = ashr i32 %14, 31
br i1 %19, label %23, label %30
23: ; preds = %21
store i32 %14, i32* @splinerel.despx
%24 = load i32, i32* @splinerel.sigpend
%25 = icmp eq i32 %22, %24
%26 = load i1, i1* @splinerel.dy
%27 = xor i1 %26, true
%28 = select i1 %25, i1 %27, i1 false
br i1 %28, label %72, label %29
29: ; preds = %23
store i1 false, i1* @splinerel.dy
br label %41
30: ; preds = %21
store i1 true, i1* @splinerel.dy
%31 = sitofp i32 %14 to double
%32 = sitofp i32 %17 to double
%33 = fdiv double %31, %32
%34 = load double, double* @splinerel.pend
%35 = fcmp oeq double %33, %34
%36 = load i32, i32* @splinerel.sigpend
%37 = icmp eq i32 %36, %22
%38 = select i1 %35, i1 %37, i1 false
br i1 %38, label %39, label %40
39: ; preds = %30
store i32 %17, i32* @splinerel.despy
store i32 %14, i32* @splinerel.despx
br label %72
40: ; preds = %30
store i32 %22, i32* @splinerel.sigpend
store double %33, double* @splinerel.pend
br label %41
41: ; preds = %3, %29, %40
%42 = phi i32 [ 0, %29 ], [ %17, %40 ], [ 0, %3 ]
%43 = phi i32 [ %14, %29 ], [ %14, %40 ], [ 0, %3 ]
%44 = load i32, i32* @splinerel.despx
%45 = icmp ne i32 %44, 0
%46 = load i32, i32* @splinerel.despy
%47 = icmp ne i32 %46, 0
%48 = select i1 %45, i1 true, i1 %47
br i1 %48, label %49, label %54
49: ; preds = %41
%50 = call i32 @vdmnum(i32 %44, i8* %6)
%51 = load i32, i32* @splinerel.despy
%52 = call i32 @vdmnum(i32 %51, i8* %7)
%53 = call i32 @vdmprintf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0), i32 %50, i32 %52)
br label %54
54: ; preds = %41, %49
%55 = icmp eq i32 %2, 0
br i1 %55, label %57, label %56
56: ; preds = %54
store i32 0, i32* @splinerel.despy
store i32 0, i32* @splinerel.despx
store i1 false, i1* @splinerel.dy
br label %72
57: ; preds = %54
%58 = load i32, i32* @splinerel.despx
%59 = sub nsw i32 %43, %58
%60 = load i32, i32* @splinerel.despy
%61 = sub nsw i32 %42, %60
%62 = icmp ne i32 %59, 0
%63 = icmp ne i32 %61, 0
%64 = select i1 %62, i1 true, i1 %63
br i1 %64, label %65, label %69
65: ; preds = %57
%66 = call i32 @vdmnum(i32 %59, i8* %6)
%67 = call i32 @vdmnum(i32 %61, i8* %7)
%68 = call i32 @vdmprintf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0), i32 %66, i32 %67)
br label %69
69: ; preds = %57, %65
%70 = fptosi double %0 to i32
store i32 %70, i32* @splinerel.lx
%71 = fptosi double %1 to i32
store i32 %71, i32* @splinerel.ly
store i32 0, i32* @splinerel.despy
store i32 0, i32* @splinerel.despx
store i1 false, i1* @splinerel.dy
br label %72
72: ; preds = %23, %11, %69, %56, %39, %8
ret void
}