#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 abs(int);
int /*<<< orphan*/ assert(int);
int fabs(int);
int lrint(float);
void traverse_segment_aa(int px, int py, int qx, int qy,
                         void (*f)(int, int, float, void *), void *e) {
  if (px == qx && py == qy)
    f(px, py, 1.0, e);
  else if (qx + qy < px + py)
    traverse_segment_aa(qx, qy, px, py, f, e);
  else {
    if (abs(qx - px) > qy - py) {
      float slope = (qy - py);
      slope /= (qx - px);
      assert(px < qx);
      assert(fabs(slope) <= 1);
      for (int i = 0; i <= qx - px; i++) {
        float exact = py + i * slope;
        int whole = lrint(exact);
        float part = fabs(whole - exact);
        int owhole = (whole < exact) ? whole + 1 : whole - 1;
        assert(part <= 0.5);
        f(i + px, whole, 1 - part, e);
        f(i + px, owhole, part, e);
      }
    } else {
      float slope = (qx - px);
      slope /= (qy - py);
      assert(abs(qy - py) >= abs(qx - px));
      assert(py < qy);
      assert(fabs(slope) <= 1);
      for (int j = 0; j <= qy - py; j++) {
        float exact = px + j * slope;
        int whole = lrint(exact);
        float part = fabs(whole - exact);
        int owhole = (whole < exact) ? whole + 1 : whole - 1;
        assert(part <= 0.5);
        f(whole, j + py, 1 - part, e);
        f(owhole, j + py, part, e);
      }
    }
  }
}


x86 assembly (clang, -O0):
<traverse_segment_aa>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
mov    %ecx,-0x10(%rbp)
mov    %r8,-0x18(%rbp)
mov    %r9,-0x20(%rbp)
mov    -0x4(%rbp),%eax
cmp    -0xc(%rbp),%eax
jne    11a1 <traverse_segment_aa+0x51>
mov    -0x8(%rbp),%eax
cmp    -0x10(%rbp),%eax
jne    11a1 <traverse_segment_aa+0x51>
mov    -0x18(%rbp),%rax
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
mov    -0x20(%rbp),%rdx
movss  0xe66(%rip),%xmm0
call   *%rax
jmp    14bf <traverse_segment_aa+0x36f>
mov    -0xc(%rbp),%eax
add    -0x10(%rbp),%eax
mov    -0x4(%rbp),%ecx
add    -0x8(%rbp),%ecx
cmp    %ecx,%eax
jge    11d3 <traverse_segment_aa+0x83>
mov    -0xc(%rbp),%edi
mov    -0x10(%rbp),%esi
mov    -0x4(%rbp),%edx
mov    -0x8(%rbp),%ecx
mov    -0x18(%rbp),%r8
mov    -0x20(%rbp),%r9
call   1070 <traverse_segment_aa@plt>
jmp    14ba <traverse_segment_aa+0x36a>
mov    -0xc(%rbp),%edi
sub    -0x4(%rbp),%edi
call   1030 <abs@plt>
mov    -0x10(%rbp),%ecx
sub    -0x8(%rbp),%ecx
cmp    %ecx,%eax
jle    133a <traverse_segment_aa+0x1ea>
mov    -0x10(%rbp),%eax
sub    -0x8(%rbp),%eax
cvtsi2ss %eax,%xmm0
movss  %xmm0,-0x24(%rbp)
mov    -0xc(%rbp),%eax
sub    -0x4(%rbp),%eax
cvtsi2ss %eax,%xmm1
movss  -0x24(%rbp),%xmm0
divss  %xmm1,%xmm0
movss  %xmm0,-0x24(%rbp)
mov    -0x4(%rbp),%eax
cmp    -0xc(%rbp),%eax
setl   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
cvttss2si -0x24(%rbp),%edi
call   1040 <fabs@plt>
cmp    $0x1,%eax
setle  %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
mov    -0xc(%rbp),%ecx
sub    -0x4(%rbp),%ecx
cmp    %ecx,%eax
jg     1335 <traverse_segment_aa+0x1e5>
cvtsi2ssl -0x8(%rbp),%xmm1
cvtsi2ssl -0x28(%rbp),%xmm0
movss  -0x24(%rbp),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x2c(%rbp)
movss  -0x2c(%rbp),%xmm0
call   1060 <lrint@plt>
mov    %eax,-0x30(%rbp)
cvtsi2ssl -0x30(%rbp),%xmm0
subss  -0x2c(%rbp),%xmm0
cvttss2si %xmm0,%edi
call   1040 <fabs@plt>
cvtsi2ss %eax,%xmm0
movss  %xmm0,-0x34(%rbp)
cvtsi2ssl -0x30(%rbp),%xmm1
movss  -0x2c(%rbp),%xmm0
ucomiss %xmm1,%xmm0
jbe    12be <traverse_segment_aa+0x16e>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x54(%rbp)
jmp    12c7 <traverse_segment_aa+0x177>
mov    -0x30(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x54(%rbp)
mov    -0x54(%rbp),%eax
mov    %eax,-0x38(%rbp)
movss  -0x34(%rbp),%xmm0
cvtss2sd %xmm0,%xmm1
movsd  0xd2a(%rip),%xmm0
ucomisd %xmm1,%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x18(%rbp),%rax
mov    -0x28(%rbp),%edi
add    -0x4(%rbp),%edi
mov    -0x30(%rbp),%esi
movss  0xcfc(%rip),%xmm0
subss  -0x34(%rbp),%xmm0
mov    -0x20(%rbp),%rdx
call   *%rax
mov    -0x18(%rbp),%rax
mov    -0x28(%rbp),%edi
add    -0x4(%rbp),%edi
mov    -0x38(%rbp),%esi
movss  -0x34(%rbp),%xmm0
mov    -0x20(%rbp),%rdx
call   *%rax
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1247 <traverse_segment_aa+0xf7>
jmp    14b5 <traverse_segment_aa+0x365>
mov    -0xc(%rbp),%eax
sub    -0x4(%rbp),%eax
cvtsi2ss %eax,%xmm0
movss  %xmm0,-0x3c(%rbp)
mov    -0x10(%rbp),%eax
sub    -0x8(%rbp),%eax
cvtsi2ss %eax,%xmm1
movss  -0x3c(%rbp),%xmm0
divss  %xmm1,%xmm0
movss  %xmm0,-0x3c(%rbp)
mov    -0x10(%rbp),%edi
sub    -0x8(%rbp),%edi
call   1030 <abs@plt>
mov    %eax,-0x58(%rbp)
mov    -0xc(%rbp),%edi
sub    -0x4(%rbp),%edi
call   1030 <abs@plt>
mov    %eax,%ecx
mov    -0x58(%rbp),%eax
cmp    %ecx,%eax
setge  %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x8(%rbp),%eax
cmp    -0x10(%rbp),%eax
setl   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
cvttss2si -0x3c(%rbp),%edi
call   1040 <fabs@plt>
cmp    $0x1,%eax
setle  %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
movl   $0x0,-0x40(%rbp)
mov    -0x40(%rbp),%eax
mov    -0x10(%rbp),%ecx
sub    -0x8(%rbp),%ecx
cmp    %ecx,%eax
jg     14b0 <traverse_segment_aa+0x360>
cvtsi2ssl -0x4(%rbp),%xmm1
cvtsi2ssl -0x40(%rbp),%xmm0
movss  -0x3c(%rbp),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x44(%rbp)
movss  -0x44(%rbp),%xmm0
call   1060 <lrint@plt>
mov    %eax,-0x48(%rbp)
cvtsi2ssl -0x48(%rbp),%xmm0
subss  -0x44(%rbp),%xmm0
cvttss2si %xmm0,%edi
call   1040 <fabs@plt>
cvtsi2ss %eax,%xmm0
movss  %xmm0,-0x4c(%rbp)
cvtsi2ssl -0x48(%rbp),%xmm1
movss  -0x44(%rbp),%xmm0
ucomiss %xmm1,%xmm0
jbe    1439 <traverse_segment_aa+0x2e9>
mov    -0x48(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x5c(%rbp)
jmp    1442 <traverse_segment_aa+0x2f2>
mov    -0x48(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x5c(%rbp)
mov    -0x5c(%rbp),%eax
mov    %eax,-0x50(%rbp)
movss  -0x4c(%rbp),%xmm0
cvtss2sd %xmm0,%xmm1
movsd  0xbaf(%rip),%xmm0
ucomisd %xmm1,%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x18(%rbp),%rax
mov    -0x48(%rbp),%edi
mov    -0x40(%rbp),%esi
add    -0x8(%rbp),%esi
movss  0xb81(%rip),%xmm0
subss  -0x4c(%rbp),%xmm0
mov    -0x20(%rbp),%rdx
call   *%rax
mov    -0x18(%rbp),%rax
mov    -0x50(%rbp),%edi
mov    -0x40(%rbp),%esi
add    -0x8(%rbp),%esi
movss  -0x4c(%rbp),%xmm0
mov    -0x20(%rbp),%rdx
call   *%rax
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    13c2 <traverse_segment_aa+0x272>
jmp    14b5 <traverse_segment_aa+0x365>
jmp    14ba <traverse_segment_aa+0x36a>
jmp    14bf <traverse_segment_aa+0x36f>
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<traverse_segment_aa>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %ecx,%r14d
jmp    1161 <traverse_segment_aa+0x31>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
lea    (%r15,%rbx,1),%eax
lea    (%r14,%rdx,1),%ecx
mov    %ebx,%edi
mov    %r15d,%esi
cmp    %ecx,%eax
jge    1197 <traverse_segment_aa+0x67>
mov    %r14d,%r15d
mov    %edx,%ebx
mov    %esi,%r14d
mov    %edi,%edx
mov    %ebx,%ebp
sub    %edi,%ebp
jne    1150 <traverse_segment_aa+0x20>
cmp    %r14d,%r15d
jne    1150 <traverse_segment_aa+0x20>
movss  0xe82(%rip),%xmm0
mov    %edx,%edi
mov    %r14d,%esi
mov    %r9,%rdx
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    *%r8
mov    %ebp,%eax
neg    %eax
cmovs  %ebp,%eax
mov    %r15d,%r12d
sub    %r14d,%r12d
cmp    %r12d,%eax
jle    12c8 <traverse_segment_aa+0x198>
cvtsi2ss %r12d,%xmm1
cvtsi2ss %ebp,%xmm0
divss  %xmm0,%xmm1
movss  %xmm1,0x10(%rsp)
xor    %edi,%edi
sub    %edx,%ebx
setg   %dil
mov    %r8,%r15
mov    %r9,%r12
mov    %rdx,0x20(%rsp)
call   1040 <assert@plt>
cvttss2si 0x10(%rsp),%edi
call   1030 <fabs@plt>
xor    %edi,%edi
cmp    $0x2,%eax
setl   %dil
call   1040 <assert@plt>
test   %ebp,%ebp
js     13fa <traverse_segment_aa+0x2ca>
xorps  %xmm0,%xmm0
cvtsi2ss %r14d,%xmm0
movss  %xmm0,0x18(%rsp)
add    $0x1,%ebx
xor    %ebp,%ebp
nopl   0x0(%rax)
xorps  %xmm0,%xmm0
cvtsi2ss %ebp,%xmm0
mulss  0x10(%rsp),%xmm0
addss  0x18(%rsp),%xmm0
movss  %xmm0,0xc(%rsp)
call   1050 <lrint@plt>
mov    %eax,%r14d
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
movss  %xmm0,0x1c(%rsp)
subss  0xc(%rsp),%xmm0
cvttss2si %xmm0,%edi
call   1030 <fabs@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
movss  %xmm0,0x14(%rsp)
xor    %ecx,%ecx
movss  0xc(%rsp),%xmm0
ucomiss 0x1c(%rsp),%xmm0
seta   %cl
lea    (%r14,%rcx,2),%ecx
add    $0xffffffff,%ecx
mov    %ecx,0xc(%rsp)
xor    %edi,%edi
test   %eax,%eax
setle  %dil
call   1040 <assert@plt>
mov    0x20(%rsp),%rax
lea    (%rax,%rbp,1),%r13d
movss  0xd6d(%rip),%xmm0
subss  0x14(%rsp),%xmm0
mov    %r13d,%edi
mov    %r14d,%esi
mov    %r12,%rdx
call   *%r15
mov    %r13d,%edi
mov    0xc(%rsp),%esi
movss  0x14(%rsp),%xmm0
mov    %r12,%rdx
call   *%r15
add    $0x1,%ebp
cmp    %ebp,%ebx
jne    1210 <traverse_segment_aa+0xe0>
jmp    13fa <traverse_segment_aa+0x2ca>
cvtsi2ss %ebp,%xmm1
cvtsi2ss %r12d,%xmm0
mov    %r12d,%ecx
neg    %ecx
cmovs  %r12d,%ecx
divss  %xmm0,%xmm1
movss  %xmm1,0x10(%rsp)
xor    %edi,%edi
cmp    %eax,%ecx
setae  %dil
mov    %r8,%r13
mov    %r9,0x20(%rsp)
mov    %rdx,%rbx
call   1040 <assert@plt>
xor    %edi,%edi
sub    %r14d,%r15d
setg   %dil
call   1040 <assert@plt>
cvttss2si 0x10(%rsp),%edi
call   1030 <fabs@plt>
xor    %edi,%edi
cmp    $0x2,%eax
setl   %dil
call   1040 <assert@plt>
test   %r12d,%r12d
js     13fa <traverse_segment_aa+0x2ca>
xorps  %xmm0,%xmm0
cvtsi2ss %ebx,%xmm0
movss  %xmm0,0x18(%rsp)
add    $0x1,%r15d
xor    %ebx,%ebx
nop
xorps  %xmm0,%xmm0
cvtsi2ss %ebx,%xmm0
mulss  0x10(%rsp),%xmm0
addss  0x18(%rsp),%xmm0
movss  %xmm0,0xc(%rsp)
call   1050 <lrint@plt>
mov    %eax,%ebp
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
movss  %xmm0,0x1c(%rsp)
subss  0xc(%rsp),%xmm0
cvttss2si %xmm0,%edi
call   1030 <fabs@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
movss  %xmm0,0x14(%rsp)
xor    %ecx,%ecx
movss  0xc(%rsp),%xmm0
ucomiss 0x1c(%rsp),%xmm0
seta   %cl
lea    -0x1(%rbp,%rcx,2),%ecx
mov    %ecx,0xc(%rsp)
xor    %edi,%edi
test   %eax,%eax
setle  %dil
call   1040 <assert@plt>
mov    %r13,%r12
mov    %r14,%r13
add    %ebx,%r14d
movss  0xc41(%rip),%xmm0
subss  0x14(%rsp),%xmm0
mov    %ebp,%edi
mov    %r14d,%esi
mov    0x20(%rsp),%rbp
mov    %rbp,%rdx
call   *%r12
mov    0xc(%rsp),%edi
mov    %r14d,%esi
mov    %r13,%r14
movss  0x14(%rsp),%xmm0
mov    %rbp,%rdx
mov    %r12,%r13
call   *%r12
add    $0x1,%ebx
cmp    %ebx,%r15d
jne    1340 <traverse_segment_aa+0x210>
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @traverse_segment_aa(i32 %0, i32 %1, i32 %2, i32 %3, void (i32, i32, float, i8*)* %4, i8* %5) {
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca void (i32, i32, float, i8*)*
%12 = alloca i8*
%13 = alloca float
%14 = alloca i32
%15 = alloca float
%16 = alloca i32
%17 = alloca float
%18 = alloca i32
%19 = alloca float
%20 = alloca i32
%21 = alloca float
%22 = alloca i32
%23 = alloca float
%24 = alloca i32
store i32 %0, i32* %7
store i32 %1, i32* %8
store i32 %2, i32* %9
store i32 %3, i32* %10
store void (i32, i32, float, i8*)* %4, void (i32, i32, float, i8*)** %11
store i8* %5, i8** %12
%25 = load i32, i32* %7
%26 = load i32, i32* %9
%27 = icmp eq i32 %25, %26
br i1 %27, label %28, label %37
28: ; preds = %6
%29 = load i32, i32* %8
%30 = load i32, i32* %10
%31 = icmp eq i32 %29, %30
br i1 %31, label %32, label %37
32: ; preds = %28
%33 = load void (i32, i32, float, i8*)*, void (i32, i32, float, i8*)** %11
%34 = load i32, i32* %7
%35 = load i32, i32* %8
%36 = load i8*, i8** %12
br label %234
37: ; preds = %28, %6
%38 = load i32, i32* %9
%39 = load i32, i32* %10
%40 = add nsw i32 %38, %39
%41 = load i32, i32* %7
%42 = load i32, i32* %8
%43 = add nsw i32 %41, %42
%44 = icmp slt i32 %40, %43
br i1 %44, label %45, label %52
45: ; preds = %37
%46 = load i32, i32* %9
%47 = load i32, i32* %10
%48 = load i32, i32* %7
%49 = load i32, i32* %8
%50 = load void (i32, i32, float, i8*)*, void (i32, i32, float, i8*)** %11
%51 = load i8*, i8** %12
br label %233
52: ; preds = %37
%53 = load i32, i32* %9
%54 = load i32, i32* %7
%55 = sub nsw i32 %53, %54
%56 = call i32 @abs(i32 %55)
%57 = load i32, i32* %10
%58 = load i32, i32* %8
%59 = sub nsw i32 %57, %58
%60 = icmp sgt i32 %56, %59
br i1 %60, label %61, label %141
61: ; preds = %52
%62 = load i32, i32* %10
%63 = load i32, i32* %8
%64 = sub nsw i32 %62, %63
%65 = sitofp i32 %64 to float
store float %65, float* %13
%66 = load i32, i32* %9
%67 = load i32, i32* %7
%68 = sub nsw i32 %66, %67
%69 = sitofp i32 %68 to float
%70 = load float, float* %13
%71 = fdiv float %70, %69
store float %71, float* %13
%72 = load i32, i32* %7
%73 = load i32, i32* %9
%74 = icmp slt i32 %72, %73
%75 = zext i1 %74 to i32
%76 = call i32 @assert(i32 %75)
%77 = load float, float* %13
%78 = fptosi float %77 to i32
%79 = call i32 @fabs(i32 %78)
%80 = icmp sle i32 %79, 1
%81 = zext i1 %80 to i32
%82 = call i32 @assert(i32 %81)
store i32 0, i32* %14
br label %83
83: ; preds = %137, %61
%84 = load i32, i32* %14
%85 = load i32, i32* %9
%86 = load i32, i32* %7
%87 = sub nsw i32 %85, %86
%88 = icmp sle i32 %84, %87
br i1 %88, label %89, label %140
89: ; preds = %83
%90 = load i32, i32* %8
%91 = sitofp i32 %90 to float
%92 = load i32, i32* %14
%93 = sitofp i32 %92 to float
%94 = load float, float* %13
%95 = call float @llvm.fmuladd.f32(float %93, float %94, float %91)
store float %95, float* %15
%96 = load float, float* %15
%97 = call i32 @lrint(float %96)
store i32 %97, i32* %16
%98 = load i32, i32* %16
%99 = sitofp i32 %98 to float
%100 = load float, float* %15
%101 = fsub float %99, %100
%102 = fptosi float %101 to i32
%103 = call i32 @fabs(i32 %102)
%104 = sitofp i32 %103 to float
store float %104, float* %17
%105 = load i32, i32* %16
%106 = sitofp i32 %105 to float
%107 = load float, float* %15
%108 = fcmp olt float %106, %107
br i1 %108, label %109, label %112
109: ; preds = %89
%110 = load i32, i32* %16
%111 = add nsw i32 %110, 1
br label %115
112: ; preds = %89
%113 = load i32, i32* %16
%114 = sub nsw i32 %113, 1
br label %115
115: ; preds = %112, %109
%116 = phi i32 [ %111, %109 ], [ %114, %112 ]
store i32 %116, i32* %18
%117 = load float, float* %17
%118 = fpext float %117 to double
%119 = fcmp ole double %118, 5.000000e-01
%120 = zext i1 %119 to i32
%121 = call i32 @assert(i32 %120)
%122 = load void (i32, i32, float, i8*)*, void (i32, i32, float, i8*)** %11
%123 = load i32, i32* %14
%124 = load i32, i32* %7
%125 = add nsw i32 %123, %124
%126 = load i32, i32* %16
%127 = load float, float* %17
%128 = fsub float 1.000000e+00, %127
%129 = load i8*, i8** %12
%130 = load void (i32, i32, float, i8*)*, void (i32, i32, float, i8*)** %11
%131 = load i32, i32* %14
%132 = load i32, i32* %7
%133 = add nsw i32 %131, %132
%134 = load i32, i32* %18
%135 = load float, float* %17
%136 = load i8*, i8** %12
br label %137
137: ; preds = %115
%138 = load i32, i32* %14
%139 = add nsw i32 %138, 1
store i32 %139, i32* %14
br label %83
140: ; preds = %83
br label %232
141: ; preds = %52
%142 = load i32, i32* %9
%143 = load i32, i32* %7
%144 = sub nsw i32 %142, %143
%145 = sitofp i32 %144 to float
store float %145, float* %19
%146 = load i32, i32* %10
%147 = load i32, i32* %8
%148 = sub nsw i32 %146, %147
%149 = sitofp i32 %148 to float
%150 = load float, float* %19
%151 = fdiv float %150, %149
store float %151, float* %19
%152 = load i32, i32* %10
%153 = load i32, i32* %8
%154 = sub nsw i32 %152, %153
%155 = call i32 @abs(i32 %154)
%156 = load i32, i32* %9
%157 = load i32, i32* %7
%158 = sub nsw i32 %156, %157
%159 = call i32 @abs(i32 %158)
%160 = icmp sge i32 %155, %159
%161 = zext i1 %160 to i32
%162 = call i32 @assert(i32 %161)
%163 = load i32, i32* %8
%164 = load i32, i32* %10
%165 = icmp slt i32 %163, %164
%166 = zext i1 %165 to i32
%167 = call i32 @assert(i32 %166)
%168 = load float, float* %19
%169 = fptosi float %168 to i32
%170 = call i32 @fabs(i32 %169)
%171 = icmp sle i32 %170, 1
%172 = zext i1 %171 to i32
%173 = call i32 @assert(i32 %172)
store i32 0, i32* %20
br label %174
174: ; preds = %228, %141
%175 = load i32, i32* %20
%176 = load i32, i32* %10
%177 = load i32, i32* %8
%178 = sub nsw i32 %176, %177
%179 = icmp sle i32 %175, %178
br i1 %179, label %180, label %231
180: ; preds = %174
%181 = load i32, i32* %7
%182 = sitofp i32 %181 to float
%183 = load i32, i32* %20
%184 = sitofp i32 %183 to float
%185 = load float, float* %19
%186 = call float @llvm.fmuladd.f32(float %184, float %185, float %182)
store float %186, float* %21
%187 = load float, float* %21
%188 = call i32 @lrint(float %187)
store i32 %188, i32* %22
%189 = load i32, i32* %22
%190 = sitofp i32 %189 to float
%191 = load float, float* %21
%192 = fsub float %190, %191
%193 = fptosi float %192 to i32
%194 = call i32 @fabs(i32 %193)
%195 = sitofp i32 %194 to float
store float %195, float* %23
%196 = load i32, i32* %22
%197 = sitofp i32 %196 to float
%198 = load float, float* %21
%199 = fcmp olt float %197, %198
br i1 %199, label %200, label %203
200: ; preds = %180
%201 = load i32, i32* %22
%202 = add nsw i32 %201, 1
br label %206
203: ; preds = %180
%204 = load i32, i32* %22
%205 = sub nsw i32 %204, 1
br label %206
206: ; preds = %203, %200
%207 = phi i32 [ %202, %200 ], [ %205, %203 ]
store i32 %207, i32* %24
%208 = load float, float* %23
%209 = fpext float %208 to double
%210 = fcmp ole double %209, 5.000000e-01
%211 = zext i1 %210 to i32
%212 = call i32 @assert(i32 %211)
%213 = load void (i32, i32, float, i8*)*, void (i32, i32, float, i8*)** %11
%214 = load i32, i32* %22
%215 = load i32, i32* %20
%216 = load i32, i32* %8
%217 = add nsw i32 %215, %216
%218 = load float, float* %23
%219 = fsub float 1.000000e+00, %218
%220 = load i8*, i8** %12
%221 = load void (i32, i32, float, i8*)*, void (i32, i32, float, i8*)** %11
%222 = load i32, i32* %24
%223 = load i32, i32* %20
%224 = load i32, i32* %8
%225 = add nsw i32 %223, %224
%226 = load float, float* %23
%227 = load i8*, i8** %12
br label %228
228: ; preds = %206
%229 = load i32, i32* %20
%230 = add nsw i32 %229, 1
store i32 %230, i32* %20
br label %174
231: ; preds = %174
br label %232
232: ; preds = %231, %140
br label %233
233: ; preds = %232, %45
br label %234
234: ; preds = %233, %32
ret void
}

LLVM IR (-O2):
define void @traverse_segment_aa(i32 %0, i32 %1, i32 %2, i32 %3, void (i32, i32, float, i8*)* nocapture %4, i8* %5) {
br label %7
7: ; preds = %16, %6
%8 = phi i32 [ %0, %6 ], [ %10, %16 ]
%9 = phi i32 [ %1, %6 ], [ %11, %16 ]
%10 = phi i32 [ %2, %6 ], [ %8, %16 ]
%11 = phi i32 [ %3, %6 ], [ %9, %16 ]
%12 = icmp eq i32 %10, %8
%13 = icmp eq i32 %11, %9
%14 = and i1 %12, %13
br i1 %14, label %15, label %16
15: ; preds = %7
tail call void %4(i32 %8, i32 %9, float 1.000000e+00, i8* %5)
br label %103
16: ; preds = %7
%17 = add nsw i32 %11, %10
%18 = add nsw i32 %9, %8
%19 = icmp slt i32 %17, %18
br i1 %19, label %7, label %20
20: ; preds = %16
%21 = sub nsw i32 %10, %8
%22 = tail call i32 @llvm.abs.i32(i32 %21, i1 true)
%23 = sub nsw i32 %11, %9
%24 = icmp sgt i32 %22, %23
br i1 %24, label %25, label %62
25: ; preds = %20
%26 = sitofp i32 %23 to float
%27 = sitofp i32 %21 to float
%28 = fdiv float %26, %27
%29 = icmp sgt i32 %10, %8
%30 = zext i1 %29 to i32
%31 = tail call i32 @assert(i32 %30)
%32 = fptosi float %28 to i32
%33 = tail call i32 @fabs(i32 %32)
%34 = icmp slt i32 %33, 2
%35 = zext i1 %34 to i32
%36 = tail call i32 @assert(i32 %35)
%37 = icmp slt i32 %21, 0
br i1 %37, label %103, label %38
38: ; preds = %25
%39 = sitofp i32 %9 to float
%40 = add i32 %10, 1
%41 = sub i32 %40, %8
br label %42
42: ; preds = %38, %42
%43 = phi i32 [ 0, %38 ], [ %60, %42 ]
%44 = sitofp i32 %43 to float
%45 = tail call float @llvm.fmuladd.f32(float %44, float %28, float %39)
%46 = tail call i32 @lrint(float %45)
%47 = sitofp i32 %46 to float
%48 = fsub float %47, %45
%49 = fptosi float %48 to i32
%50 = tail call i32 @fabs(i32 %49)
%51 = sitofp i32 %50 to float
%52 = fcmp ogt float %45, %47
%53 = select i1 %52, i32 1, i32 -1
%54 = add nsw i32 %53, %46
%55 = icmp slt i32 %50, 1
%56 = zext i1 %55 to i32
%57 = tail call i32 @assert(i32 %56)
%58 = add nsw i32 %43, %8
%59 = fsub float 1.000000e+00, %51
tail call void %4(i32 %58, i32 %46, float %59, i8* %5)
tail call void %4(i32 %58, i32 %54, float %51, i8* %5)
%60 = add nuw i32 %43, 1
%61 = icmp eq i32 %60, %41
br i1 %61, label %103, label %42
62: ; preds = %20
%63 = sitofp i32 %21 to float
%64 = sitofp i32 %23 to float
%65 = fdiv float %63, %64
%66 = tail call i32 @llvm.abs.i32(i32 %23, i1 true)
%67 = icmp uge i32 %66, %22
%68 = zext i1 %67 to i32
%69 = tail call i32 @assert(i32 %68)
%70 = icmp sgt i32 %11, %9
%71 = zext i1 %70 to i32
%72 = tail call i32 @assert(i32 %71)
%73 = fptosi float %65 to i32
%74 = tail call i32 @fabs(i32 %73)
%75 = icmp slt i32 %74, 2
%76 = zext i1 %75 to i32
%77 = tail call i32 @assert(i32 %76)
%78 = icmp slt i32 %23, 0
br i1 %78, label %103, label %79
79: ; preds = %62
%80 = sitofp i32 %8 to float
%81 = add i32 %11, 1
%82 = sub i32 %81, %9
br label %83
83: ; preds = %79, %83
%84 = phi i32 [ 0, %79 ], [ %101, %83 ]
%85 = sitofp i32 %84 to float
%86 = tail call float @llvm.fmuladd.f32(float %85, float %65, float %80)
%87 = tail call i32 @lrint(float %86)
%88 = sitofp i32 %87 to float
%89 = fsub float %88, %86
%90 = fptosi float %89 to i32
%91 = tail call i32 @fabs(i32 %90)
%92 = sitofp i32 %91 to float
%93 = fcmp ogt float %86, %88
%94 = select i1 %93, i32 1, i32 -1
%95 = add nsw i32 %94, %87
%96 = icmp slt i32 %91, 1
%97 = zext i1 %96 to i32
%98 = tail call i32 @assert(i32 %97)
%99 = add nsw i32 %84, %9
%100 = fsub float 1.000000e+00, %92
tail call void %4(i32 %87, i32 %99, float %100, i8* %5)
tail call void %4(i32 %95, i32 %99, float %92, i8* %5)
%101 = add nuw i32 %84, 1
%102 = icmp eq i32 %101, %82
br i1 %102, label %103, label %83
103: ; preds = %83, %42, %62, %25, %15
ret void
}