#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 */
struct drunkard {
  int dummy;
};

/* Variables and functions */
int drunkard_get_dx_to_target(struct drunkard *);
int drunkard_get_dy_to_target(struct drunkard *);
double drunkard_rng_uniform(struct drunkard *);
int /*<<< orphan*/ drunkard_step_by(struct drunkard *, int, int);
void drunkard_step_to_target(struct drunkard *drunk, double weight) {
  int dx = drunkard_get_dx_to_target(drunk);
  int dy = drunkard_get_dy_to_target(drunk);
  if (dx > 1)
    dx = 1;
  if (dx < -1)
    dx = -1;
  if (dy > 1)
    dy = 1;
  if (dy < -1)
    dy = -1;
  double r = drunkard_rng_uniform(drunk);
  if (dx == 0 && dy == 0) {
  } else if (dx == 0 || dy == 0) {
    int *dpz, *dpnz;
    if (dx == 0) {
      dpz = &dx;
      dpnz = &dy;
    } else {
      dpz = &dy;
      dpnz = &dx;
    }
    if (r >= (weight * 0.5)) {
      r -= weight * 0.5;
      if (r < weight * (1.0 / 6) + (1 - weight) * (1.0 / 3)) {
        *dpz = -1;
        *dpnz = 0;
      } else if (r < weight * (2.0 / 6) + (1 - weight) * (2.0 / 3)) {
        *dpz = 1;
        *dpnz = 0;
      } else {
        *dpz = 0;
        *dpnz *= -1;
      }
    }
  } else {
    if (r < weight * 0.5) {
      dy = 0;
    } else if (r < weight) {
      dx = 0;
    } else if (r < weight + (1 - weight) * 0.5) {
      dx *= -1;
      dy = 0;
    } else {
      dx = 0;
      dy *= -1;
    }
  }
  drunkard_step_by(drunk, dx, dy);
}


x86 assembly (clang, -O0):
<drunkard_step_to_target>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
movsd  %xmm0,-0x10(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <drunkard_get_dx_to_target@plt>
mov    %eax,-0x14(%rbp)
mov    -0x8(%rbp),%rdi
call   1040 <drunkard_get_dy_to_target@plt>
mov    %eax,-0x18(%rbp)
cmpl   $0x1,-0x14(%rbp)
jle    117a <drunkard_step_to_target+0x3a>
movl   $0x1,-0x14(%rbp)
cmpl   $0xffffffff,-0x14(%rbp)
jge    118b <drunkard_step_to_target+0x4b>
movl   $0xffffffff,-0x14(%rbp)
cmpl   $0x1,-0x18(%rbp)
jle    119c <drunkard_step_to_target+0x5c>
movl   $0x1,-0x18(%rbp)
cmpl   $0xffffffff,-0x18(%rbp)
jge    11ad <drunkard_step_to_target+0x6d>
movl   $0xffffffff,-0x18(%rbp)
mov    -0x8(%rbp),%rdi
call   1060 <drunkard_rng_uniform@plt>
movsd  %xmm0,-0x20(%rbp)
cmpl   $0x0,-0x14(%rbp)
jne    11d4 <drunkard_step_to_target+0x94>
cmpl   $0x0,-0x18(%rbp)
jne    11d4 <drunkard_step_to_target+0x94>
jmp    13e5 <drunkard_step_to_target+0x2a5>
cmpl   $0x0,-0x14(%rbp)
je     11e8 <drunkard_step_to_target+0xa8>
cmpl   $0x0,-0x18(%rbp)
jne    1337 <drunkard_step_to_target+0x1f7>
cmpl   $0x0,-0x14(%rbp)
jne    1207 <drunkard_step_to_target+0xc7>
lea    -0x14(%rbp),%rax
mov    %rax,-0x28(%rbp)
lea    -0x18(%rbp),%rax
mov    %rax,-0x30(%rbp)
jmp    1217 <drunkard_step_to_target+0xd7>
lea    -0x18(%rbp),%rax
mov    %rax,-0x28(%rbp)
lea    -0x14(%rbp),%rax
mov    %rax,-0x30(%rbp)
movsd  -0x20(%rbp),%xmm0
movsd  0xddc(%rip),%xmm1
mulsd  -0x10(%rbp),%xmm1
ucomisd %xmm1,%xmm0
jb     1332 <drunkard_step_to_target+0x1f2>
movsd  -0x10(%rbp),%xmm0
movsd  -0x20(%rbp),%xmm1
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  0xda4(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  -0x20(%rbp),%xmm1
movsd  -0x10(%rbp),%xmm0
movsd  0xd8d(%rip),%xmm2
subsd  -0x10(%rbp),%xmm2
movsd  0xd90(%rip),%xmm3
mulsd  %xmm3,%xmm2
movsd  0xd7c(%rip),%xmm3
mulsd  %xmm3,%xmm0
addsd  %xmm2,%xmm0
ucomisd %xmm1,%xmm0
jbe    12bf <drunkard_step_to_target+0x17f>
mov    -0x28(%rbp),%rax
movl   $0xffffffff,(%rax)
mov    -0x30(%rbp),%rax
movl   $0x0,(%rax)
jmp    132d <drunkard_step_to_target+0x1ed>
movsd  -0x20(%rbp),%xmm1
movsd  -0x10(%rbp),%xmm0
movsd  0xd37(%rip),%xmm2
subsd  -0x10(%rbp),%xmm2
movsd  0xd42(%rip),%xmm3
mulsd  %xmm3,%xmm2
movsd  0xd2e(%rip),%xmm3
mulsd  %xmm3,%xmm0
addsd  %xmm2,%xmm0
ucomisd %xmm1,%xmm0
jbe    1315 <drunkard_step_to_target+0x1d5>
mov    -0x28(%rbp),%rax
movl   $0x1,(%rax)
mov    -0x30(%rbp),%rax
movl   $0x0,(%rax)
jmp    1328 <drunkard_step_to_target+0x1e8>
mov    -0x28(%rbp),%rax
movl   $0x0,(%rax)
mov    -0x30(%rbp),%rax
imul   $0xffffffff,(%rax),%ecx
mov    %ecx,(%rax)
jmp    132d <drunkard_step_to_target+0x1ed>
jmp    1332 <drunkard_step_to_target+0x1f2>
jmp    13e0 <drunkard_step_to_target+0x2a0>
movsd  -0x20(%rbp),%xmm1
movsd  0xcbc(%rip),%xmm0
mulsd  -0x10(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    135f <drunkard_step_to_target+0x21f>
movl   $0x0,-0x18(%rbp)
jmp    13db <drunkard_step_to_target+0x29b>
movsd  -0x20(%rbp),%xmm1
movsd  -0x10(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    137f <drunkard_step_to_target+0x23f>
movl   $0x0,-0x14(%rbp)
jmp    13d6 <drunkard_step_to_target+0x296>
movsd  -0x20(%rbp),%xmm1
movsd  -0x10(%rbp),%xmm2
movsd  0xc77(%rip),%xmm0
subsd  -0x10(%rbp),%xmm0
movsd  0xc62(%rip),%xmm3
mulsd  %xmm3,%xmm0
addsd  %xmm2,%xmm0
ucomisd %xmm1,%xmm0
jbe    13c3 <drunkard_step_to_target+0x283>
imul   $0xffffffff,-0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
jmp    13d1 <drunkard_step_to_target+0x291>
movl   $0x0,-0x14(%rbp)
imul   $0xffffffff,-0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
jmp    13d6 <drunkard_step_to_target+0x296>
jmp    13db <drunkard_step_to_target+0x29b>
jmp    13e0 <drunkard_step_to_target+0x2a0>
jmp    13e5 <drunkard_step_to_target+0x2a5>
mov    -0x8(%rbp),%rdi
mov    -0x14(%rbp),%esi
mov    -0x18(%rbp),%edx
call   1050 <drunkard_step_by@plt>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<drunkard_step_to_target>:
push   %rbp
push   %r14
push   %rbx
sub    $0x20,%rsp
movapd %xmm0,0x10(%rsp)
mov    %rdi,%r14
call   1030 <drunkard_get_dx_to_target@plt>
mov    %eax,%ebp
mov    %r14,%rdi
call   1040 <drunkard_get_dy_to_target@plt>
mov    $0x1,%ebx
cmp    $0x1,%ebp
jg     1175 <drunkard_step_to_target+0x35>
mov    %ebp,%ebx
test   %ebp,%ebp
jns    1175 <drunkard_step_to_target+0x35>
mov    $0xffffffff,%ebx
mov    %ebx,0xc(%rsp)
test   %eax,%eax
mov    $0x1,%ecx
cmovle %eax,%ecx
test   %ecx,%ecx
mov    $0xffffffff,%ebp
cmovns %ecx,%ebp
mov    %ebp,0x8(%rsp)
mov    %r14,%rdi
call   1060 <drunkard_rng_uniform@plt>
mov    %ebx,%eax
or     %ebp,%eax
je     12db <drunkard_step_to_target+0x19b>
test   %ebx,%ebx
je     11d4 <drunkard_step_to_target+0x94>
test   %ebp,%ebp
je     11d4 <drunkard_step_to_target+0x94>
movsd  0xe4d(%rip),%xmm1
movapd 0x10(%rsp),%xmm2
mulsd  %xmm2,%xmm1
ucomisd %xmm0,%xmm1
jbe    125d <drunkard_step_to_target+0x11d>
movl   $0x0,0x8(%rsp)
jmp    12db <drunkard_step_to_target+0x19b>
test   %ebx,%ebx
lea    0xc(%rsp),%rax
lea    0x8(%rsp),%rdx
mov    %rdx,%rcx
cmove  %rax,%rcx
cmove  %rdx,%rax
movsd  0xe0d(%rip),%xmm1
mulsd  0x10(%rsp),%xmm1
ucomisd %xmm1,%xmm0
jb     12db <drunkard_step_to_target+0x19b>
movapd 0xe15(%rip),%xmm1
movapd 0x10(%rsp),%xmm4
xorpd  %xmm4,%xmm1
movsd  0xdeb(%rip),%xmm2
subsd  %xmm4,%xmm2
movsd  0xde7(%rip),%xmm3
mulsd  %xmm2,%xmm3
unpcklpd %xmm4,%xmm1
unpcklpd %xmm3,%xmm0
mulpd  0xdf3(%rip),%xmm1
addpd  %xmm0,%xmm1
movapd %xmm1,%xmm0
unpckhpd %xmm1,%xmm0
ucomisd %xmm1,%xmm0
jbe    126d <drunkard_step_to_target+0x12d>
movl   $0xffffffff,(%rcx)
movl   $0x0,(%rax)
jmp    12db <drunkard_step_to_target+0x19b>
ucomisd %xmm0,%xmm2
jbe    1295 <drunkard_step_to_target+0x155>
movl   $0x0,0xc(%rsp)
jmp    12db <drunkard_step_to_target+0x19b>
mulsd  0xda3(%rip),%xmm2
mulsd  0xd93(%rip),%xmm4
addsd  %xmm2,%xmm4
ucomisd %xmm1,%xmm4
jbe    12c3 <drunkard_step_to_target+0x183>
movl   $0x1,(%rcx)
movl   $0x0,(%rax)
jmp    12db <drunkard_step_to_target+0x19b>
movsd  0xd6b(%rip),%xmm1
subsd  %xmm2,%xmm1
mulsd  0xd57(%rip),%xmm1
addsd  %xmm2,%xmm1
ucomisd %xmm0,%xmm1
jbe    12cd <drunkard_step_to_target+0x18d>
neg    %ebx
mov    %ebx,0xc(%rsp)
movl   $0x0,0x8(%rsp)
jmp    12db <drunkard_step_to_target+0x19b>
movl   $0x0,(%rcx)
negl   (%rax)
jmp    12db <drunkard_step_to_target+0x19b>
movl   $0x0,0xc(%rsp)
neg    %ebp
mov    %ebp,0x8(%rsp)
mov    0xc(%rsp),%esi
mov    0x8(%rsp),%edx
mov    %r14,%rdi
add    $0x20,%rsp
pop    %rbx
pop    %r14
pop    %rbp
jmp    1050 <drunkard_step_by@plt>

LLVM IR (-O0):
%struct.drunkard = type { i32 }
define void @drunkard_step_to_target(%struct.drunkard* %0, double %1) {
%3 = alloca %struct.drunkard*
%4 = alloca double
%5 = alloca i32
%6 = alloca i32
%7 = alloca double
%8 = alloca i32*
%9 = alloca i32*
store %struct.drunkard* %0, %struct.drunkard** %3
store double %1, double* %4
%10 = load %struct.drunkard*, %struct.drunkard** %3
%11 = call i32 @drunkard_get_dx_to_target(%struct.drunkard* %10)
store i32 %11, i32* %5
%12 = load %struct.drunkard*, %struct.drunkard** %3
%13 = call i32 @drunkard_get_dy_to_target(%struct.drunkard* %12)
store i32 %13, i32* %6
%14 = load i32, i32* %5
%15 = icmp sgt i32 %14, 1
br i1 %15, label %16, label %17
16: ; preds = %2
store i32 1, i32* %5
br label %17
17: ; preds = %16, %2
%18 = load i32, i32* %5
%19 = icmp slt i32 %18, -1
br i1 %19, label %20, label %21
20: ; preds = %17
store i32 -1, i32* %5
br label %21
21: ; preds = %20, %17
%22 = load i32, i32* %6
%23 = icmp sgt i32 %22, 1
br i1 %23, label %24, label %25
24: ; preds = %21
store i32 1, i32* %6
br label %25
25: ; preds = %24, %21
%26 = load i32, i32* %6
%27 = icmp slt i32 %26, -1
br i1 %27, label %28, label %29
28: ; preds = %25
store i32 -1, i32* %6
br label %29
29: ; preds = %28, %25
%30 = load %struct.drunkard*, %struct.drunkard** %3
%31 = call double @drunkard_rng_uniform(%struct.drunkard* %30)
store double %31, double* %7
%32 = load i32, i32* %5
%33 = icmp eq i32 %32, 0
br i1 %33, label %34, label %38
34: ; preds = %29
%35 = load i32, i32* %6
%36 = icmp eq i32 %35, 0
br i1 %36, label %37, label %38
37: ; preds = %34
br label %116
38: ; preds = %34, %29
%39 = load i32, i32* %5
%40 = icmp eq i32 %39, 0
br i1 %40, label %44, label %41
41: ; preds = %38
%42 = load i32, i32* %6
%43 = icmp eq i32 %42, 0
br i1 %43, label %44, label %88
44: ; preds = %41, %38
%45 = load i32, i32* %5
%46 = icmp eq i32 %45, 0
br i1 %46, label %47, label %48
47: ; preds = %44
store i32* %5, i32** %8
store i32* %6, i32** %9
br label %49
48: ; preds = %44
store i32* %6, i32** %8
store i32* %5, i32** %9
br label %49
49: ; preds = %48, %47
%50 = load double, double* %7
%51 = load double, double* %4
%52 = fmul double %51, 5.000000e-01
%53 = fcmp oge double %50, %52
br i1 %53, label %54, label %87
54: ; preds = %49
%55 = load double, double* %4
%56 = load double, double* %7
%57 = fneg double %55
%58 = call double @llvm.fmuladd.f64(double %57, double 5.000000e-01, double %56)
store double %58, double* %7
%59 = load double, double* %7
%60 = load double, double* %4
%61 = load double, double* %4
%62 = fsub double 1.000000e+00, %61
%63 = fmul double %62, 0x3FD5555555555555
%64 = call double @llvm.fmuladd.f64(double %60, double 0x3FC5555555555555, double %63)
%65 = fcmp olt double %59, %64
br i1 %65, label %66, label %69
66: ; preds = %54
%67 = load i32*, i32** %8
store i32 -1, i32* %67
%68 = load i32*, i32** %9
store i32 0, i32* %68
br label %86
69: ; preds = %54
%70 = load double, double* %7
%71 = load double, double* %4
%72 = load double, double* %4
%73 = fsub double 1.000000e+00, %72
%74 = fmul double %73, 0x3FE5555555555555
%75 = call double @llvm.fmuladd.f64(double %71, double 0x3FD5555555555555, double %74)
%76 = fcmp olt double %70, %75
br i1 %76, label %77, label %80
77: ; preds = %69
%78 = load i32*, i32** %8
store i32 1, i32* %78
%79 = load i32*, i32** %9
store i32 0, i32* %79
br label %85
80: ; preds = %69
%81 = load i32*, i32** %8
store i32 0, i32* %81
%82 = load i32*, i32** %9
%83 = load i32, i32* %82
%84 = mul nsw i32 %83, -1
store i32 %84, i32* %82
br label %85
85: ; preds = %80, %77
br label %86
86: ; preds = %85, %66
br label %87
87: ; preds = %86, %49
br label %115
88: ; preds = %41
%89 = load double, double* %7
%90 = load double, double* %4
%91 = fmul double %90, 5.000000e-01
%92 = fcmp olt double %89, %91
br i1 %92, label %93, label %94
93: ; preds = %88
store i32 0, i32* %6
br label %114
94: ; preds = %88
%95 = load double, double* %7
%96 = load double, double* %4
%97 = fcmp olt double %95, %96
br i1 %97, label %98, label %99
98: ; preds = %94
store i32 0, i32* %5
br label %113
99: ; preds = %94
%100 = load double, double* %7
%101 = load double, double* %4
%102 = load double, double* %4
%103 = fsub double 1.000000e+00, %102
%104 = call double @llvm.fmuladd.f64(double %103, double 5.000000e-01, double %101)
%105 = fcmp olt double %100, %104
br i1 %105, label %106, label %109
106: ; preds = %99
%107 = load i32, i32* %5
%108 = mul nsw i32 %107, -1
store i32 %108, i32* %5
store i32 0, i32* %6
br label %112
109: ; preds = %99
store i32 0, i32* %5
%110 = load i32, i32* %6
%111 = mul nsw i32 %110, -1
store i32 %111, i32* %6
br label %112
112: ; preds = %109, %106
br label %113
113: ; preds = %112, %98
br label %114
114: ; preds = %113, %93
br label %115
115: ; preds = %114, %87
br label %116
116: ; preds = %115, %37
%117 = load %struct.drunkard*, %struct.drunkard** %3
%118 = load i32, i32* %5
%119 = load i32, i32* %6
%120 = call i32 @drunkard_step_by(%struct.drunkard* %117, i32 %118, i32 %119)
ret void
}

LLVM IR (-O2):
%struct.drunkard = type { i32 }
define void @drunkard_step_to_target(%struct.drunkard* %0, double %1) {
%3 = alloca i32
%4 = alloca i32
%5 = bitcast i32* %3 to i8*
%6 = tail call i32 @drunkard_get_dx_to_target(%struct.drunkard* %0)
%7 = bitcast i32* %4 to i8*
%8 = tail call i32 @drunkard_get_dy_to_target(%struct.drunkard* %0)
%9 = icmp sgt i32 %6, 1
br i1 %9, label %12, label %10
10: ; preds = %2
%11 = icmp sgt i32 %6, -1
br i1 %11, label %12, label %14
12: ; preds = %2, %10
%13 = phi i32 [ %6, %10 ], [ 1, %2 ]
br label %14
14: ; preds = %10, %12
%15 = phi i32 [ %13, %12 ], [ -1, %10 ]
store i32 %15, i32* %3
%16 = icmp slt i32 %8, 1
%17 = select i1 %16, i32 %8, i32 1
%18 = icmp sgt i32 %17, -1
%19 = select i1 %18, i32 %17, i32 -1
store i32 %19, i32* %4
%20 = tail call double @drunkard_rng_uniform(%struct.drunkard* %0)
%21 = icmp eq i32 %15, 0
%22 = icmp eq i32 %19, 0
%23 = select i1 %21, i1 %22, i1 false
br i1 %23, label %67, label %24
24: ; preds = %14
%25 = select i1 %21, i1 true, i1 %22
br i1 %25, label %26, label %52
26: ; preds = %24
%27 = select i1 %21, i32* %3, i32* %4
%28 = select i1 %21, i32* %4, i32* %3
%29 = fmul double %1, 5.000000e-01
%30 = fcmp ult double %20, %29
br i1 %30, label %67, label %31
31: ; preds = %26
%32 = fneg double %1
%33 = fsub double 1.000000e+00, %1
%34 = fmul double %33, 0x3FD5555555555555
%35 = insertelement <2 x double> poison, double %1, i64 1
%36 = insertelement <2 x double> %35, double %32, i64 0
%37 = insertelement <2 x double> poison, double %20, i64 0
%38 = insertelement <2 x double> %37, double %34, i64 1
%39 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %36, <2 x double> <double 5.000000e-01, double 0x3FC5555555555555>, <2 x double> %38)
%40 = extractelement <2 x double> %39, i64 0
%41 = extractelement <2 x double> %39, i64 1
%42 = fcmp olt double %40, %41
br i1 %42, label %43, label %44
43: ; preds = %31
store i32 -1, i32* %27
store i32 0, i32* %28
br label %67
44: ; preds = %31
%45 = fmul double %33, 0x3FE5555555555555
%46 = tail call double @llvm.fmuladd.f64(double %1, double 0x3FD5555555555555, double %45)
%47 = fcmp olt double %40, %46
br i1 %47, label %48, label %49
48: ; preds = %44
store i32 1, i32* %27
store i32 0, i32* %28
br label %67
49: ; preds = %44
store i32 0, i32* %27
%50 = load i32, i32* %28
%51 = sub nsw i32 0, %50
store i32 %51, i32* %28
br label %67
52: ; preds = %24
%53 = fmul double %1, 5.000000e-01
%54 = fcmp olt double %20, %53
br i1 %54, label %55, label %56
55: ; preds = %52
store i32 0, i32* %4
br label %67
56: ; preds = %52
%57 = fcmp olt double %20, %1
br i1 %57, label %58, label %59
58: ; preds = %56
store i32 0, i32* %3
br label %67
59: ; preds = %56
%60 = fsub double 1.000000e+00, %1
%61 = tail call double @llvm.fmuladd.f64(double %60, double 5.000000e-01, double %1)
%62 = fcmp olt double %20, %61
br i1 %62, label %63, label %65
63: ; preds = %59
%64 = sub nsw i32 0, %15
store i32 %64, i32* %3
store i32 0, i32* %4
br label %67
65: ; preds = %59
store i32 0, i32* %3
%66 = sub nsw i32 0, %19
store i32 %66, i32* %4
br label %67
67: ; preds = %26, %48, %49, %43, %58, %65, %63, %55, %14
%68 = load i32, i32* %3
%69 = load i32, i32* %4
%70 = tail call i32 @drunkard_step_by(%struct.drunkard* %0, i32 %68, i32 %69)
ret void
}