int lines_intersect(long x1, long y1, long x2, long y2, long x3, long y3,
                    long x4, long y4, long *x, long *y) {
  long a1, a2, b1, b2, c1, c2;
  long r1, r2, r3, r4;
  long denom, offset, num;
  a1 = y2 - y1;
  b1 = x1 - x2;
  c1 = x2 * y1 - x1 * y2;
  r3 = a1 * x3 + b1 * y3 + c1;
  r4 = a1 * x4 + b1 * y4 + c1;
  if (r3 != 0 && r4 != 0 &&
      (((long)((unsigned long)r3 ^ (unsigned long)r4)) >= 0))
    return (0);
  a2 = y4 - y3;
  b2 = x3 - x4;
  c2 = x4 * y3 - x3 * y4;
  r1 = a2 * x1 + b2 * y1 + c2;
  r2 = a2 * x2 + b2 * y2 + c2;
  if (r1 != 0 && r2 != 0 &&
      (((long)((unsigned long)r1 ^ (unsigned long)r2)) >= 0))
    return (0);
  denom = a1 * b2 - a2 * b1;
  if (denom == 0)
    return (2);
  offset = denom < 0 ? -denom / 2 : denom / 2;
  num = b1 * c2 - b2 * c1;
  *x = (num < 0 ? num - offset : num + offset) / denom;
  num = a2 * c1 - a1 * c2;
  *y = (num < 0 ? num - offset : num + offset) / denom;
  return (1);
}


x86 assembly (clang, -O0):
<lines_intersect>:
push   %rbp
mov    %rsp,%rbp
sub    $0x38,%rsp
mov    0x28(%rbp),%rax
mov    0x20(%rbp),%rax
mov    0x18(%rbp),%rax
mov    0x10(%rbp),%rax
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8,-0x30(%rbp)
mov    %r9,-0x38(%rbp)
mov    -0x28(%rbp),%rax
sub    -0x18(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x10(%rbp),%rax
sub    -0x20(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    -0x20(%rbp),%rax
imul   -0x18(%rbp),%rax
mov    -0x10(%rbp),%rcx
imul   -0x28(%rbp),%rcx
sub    %rcx,%rax
mov    %rax,-0x60(%rbp)
mov    -0x40(%rbp),%rax
imul   -0x30(%rbp),%rax
mov    -0x50(%rbp),%rcx
imul   -0x38(%rbp),%rcx
add    %rcx,%rax
add    -0x60(%rbp),%rax
mov    %rax,-0x80(%rbp)
mov    -0x40(%rbp),%rax
imul   0x10(%rbp),%rax
mov    -0x50(%rbp),%rcx
imul   0x18(%rbp),%rcx
add    %rcx,%rax
add    -0x60(%rbp),%rax
mov    %rax,-0x88(%rbp)
cmpq   $0x0,-0x80(%rbp)
je     11d8 <lines_intersect+0xd8>
cmpq   $0x0,-0x88(%rbp)
je     11d8 <lines_intersect+0xd8>
mov    -0x80(%rbp),%rax
xor    -0x88(%rbp),%rax
cmp    $0x0,%rax
jl     11d8 <lines_intersect+0xd8>
movl   $0x0,-0x4(%rbp)
jmp    13ed <lines_intersect+0x2ed>
mov    0x18(%rbp),%rax
sub    -0x38(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x30(%rbp),%rax
sub    0x10(%rbp),%rax
mov    %rax,-0x58(%rbp)
mov    0x10(%rbp),%rax
imul   -0x38(%rbp),%rax
mov    -0x30(%rbp),%rcx
imul   0x18(%rbp),%rcx
sub    %rcx,%rax
mov    %rax,-0x68(%rbp)
mov    -0x48(%rbp),%rax
imul   -0x10(%rbp),%rax
mov    -0x58(%rbp),%rcx
imul   -0x18(%rbp),%rcx
add    %rcx,%rax
add    -0x68(%rbp),%rax
mov    %rax,-0x70(%rbp)
mov    -0x48(%rbp),%rax
imul   -0x20(%rbp),%rax
mov    -0x58(%rbp),%rcx
imul   -0x28(%rbp),%rcx
add    %rcx,%rax
add    -0x68(%rbp),%rax
mov    %rax,-0x78(%rbp)
cmpq   $0x0,-0x70(%rbp)
je     1277 <lines_intersect+0x177>
cmpq   $0x0,-0x78(%rbp)
je     1277 <lines_intersect+0x177>
mov    -0x70(%rbp),%rax
xor    -0x78(%rbp),%rax
cmp    $0x0,%rax
jl     1277 <lines_intersect+0x177>
movl   $0x0,-0x4(%rbp)
jmp    13ed <lines_intersect+0x2ed>
mov    -0x40(%rbp),%rax
imul   -0x58(%rbp),%rax
mov    -0x48(%rbp),%rcx
imul   -0x50(%rbp),%rcx
sub    %rcx,%rax
mov    %rax,-0x90(%rbp)
cmpq   $0x0,-0x90(%rbp)
jne    12ad <lines_intersect+0x1ad>
movl   $0x2,-0x4(%rbp)
jmp    13ed <lines_intersect+0x2ed>
cmpq   $0x0,-0x90(%rbp)
jge    12da <lines_intersect+0x1da>
xor    %eax,%eax
sub    -0x90(%rbp),%rax
mov    $0x2,%ecx
cqto
idiv   %rcx
mov    %rax,-0xa8(%rbp)
jmp    12f2 <lines_intersect+0x1f2>
mov    -0x90(%rbp),%rax
mov    $0x2,%ecx
cqto
idiv   %rcx
mov    %rax,-0xa8(%rbp)
mov    -0xa8(%rbp),%rax
mov    %rax,-0x98(%rbp)
mov    -0x50(%rbp),%rax
imul   -0x68(%rbp),%rax
mov    -0x58(%rbp),%rcx
imul   -0x60(%rbp),%rcx
sub    %rcx,%rax
mov    %rax,-0xa0(%rbp)
cmpq   $0x0,-0xa0(%rbp)
jge    1344 <lines_intersect+0x244>
mov    -0xa0(%rbp),%rax
sub    -0x98(%rbp),%rax
mov    %rax,-0xb0(%rbp)
jmp    1359 <lines_intersect+0x259>
mov    -0xa0(%rbp),%rax
add    -0x98(%rbp),%rax
mov    %rax,-0xb0(%rbp)
mov    -0xb0(%rbp),%rax
cqto
idivq  -0x90(%rbp)
mov    %rax,%rcx
mov    0x20(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x48(%rbp),%rax
imul   -0x60(%rbp),%rax
mov    -0x40(%rbp),%rcx
imul   -0x68(%rbp),%rcx
sub    %rcx,%rax
mov    %rax,-0xa0(%rbp)
cmpq   $0x0,-0xa0(%rbp)
jge    13b7 <lines_intersect+0x2b7>
mov    -0xa0(%rbp),%rax
sub    -0x98(%rbp),%rax
mov    %rax,-0xb8(%rbp)
jmp    13cc <lines_intersect+0x2cc>
mov    -0xa0(%rbp),%rax
add    -0x98(%rbp),%rax
mov    %rax,-0xb8(%rbp)
mov    -0xb8(%rbp),%rax
cqto
idivq  -0x90(%rbp)
mov    %rax,%rcx
mov    0x28(%rbp),%rax
mov    %rcx,(%rax)
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x38,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<lines_intersect>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    0x40(%rsp),%r13
mov    0x38(%rsp),%r10
mov    %rcx,%r11
sub    %rsi,%r11
mov    %rdi,%r12
sub    %rdx,%r12
mov    %rdx,%r15
imul   %rsi,%r15
mov    %rcx,%rax
imul   %rdi,%rax
sub    %rax,%r15
mov    %r11,%r14
imul   %r8,%r14
mov    %r12,%rbx
imul   %r9,%rbx
add    %r15,%r14
xor    %eax,%eax
add    %rbx,%r14
je     1168 <lines_intersect+0x68>
mov    %r11,%rbx
imul   %r10,%rbx
mov    %r12,%rbp
imul   %r13,%rbp
add    %r15,%rbx
add    %rbp,%rbx
je     1168 <lines_intersect+0x68>
xor    %r14,%rbx
jns    1244 <lines_intersect+0x144>
mov    %r13,%r14
sub    %r9,%r14
imul   %r8,%r13
sub    %r10,%r8
imul   %r9,%r10
sub    %r13,%r10
imul   %r14,%rdi
imul   %r8,%rsi
add    %rdi,%rsi
add    %r10,%rsi
je     11a5 <lines_intersect+0xa5>
imul   %r14,%rdx
imul   %r8,%rcx
add    %rdx,%rcx
add    %r10,%rcx
je     11a5 <lines_intersect+0xa5>
xor    %rcx,%rsi
jns    1244 <lines_intersect+0x144>
mov    %r8,%rsi
imul   %r11,%rsi
mov    %r14,%rax
imul   %r12,%rax
sub    %rax,%rsi
je     11fb <lines_intersect+0xfb>
mov    %rsi,%rcx
neg    %rcx
cmovs  %rsi,%rcx
shr    %rcx
imul   %r10,%r12
imul   %r15,%r8
sub    %r8,%r12
mov    %rcx,%rdi
neg    %rdi
test   %r12,%r12
mov    %rcx,%rax
cmovs  %rdi,%rax
mov    0x48(%rsp),%rbx
add    %r12,%rax
mov    %rax,%rdx
or     %rsi,%rdx
shr    $0x20,%rdx
je     1202 <lines_intersect+0x102>
cqto
idiv   %rsi
jmp    1206 <lines_intersect+0x106>
mov    $0x2,%eax
jmp    1244 <lines_intersect+0x144>
xor    %edx,%edx
div    %esi
mov    0x50(%rsp),%r8
imul   %r15,%r14
imul   %r11,%r10
sub    %r10,%r14
cmovs  %rdi,%rcx
mov    %rax,(%rbx)
add    %r14,%rcx
mov    %rcx,%rax
or     %rsi,%rax
shr    $0x20,%rax
je     1236 <lines_intersect+0x136>
mov    %rcx,%rax
cqto
idiv   %rsi
jmp    123c <lines_intersect+0x13c>
mov    %ecx,%eax
xor    %edx,%edx
div    %esi
mov    %rax,(%r8)
mov    $0x1,%eax
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @lines_intersect(i64 %0, i64 %1, i64 %2, i64 %3, i64 %4, i64 %5, i64 %6, i64 %7, i64* %8, i64* %9) {
%11 = alloca i32
%12 = alloca i64
%13 = alloca i64
%14 = alloca i64
%15 = alloca i64
%16 = alloca i64
%17 = alloca i64
%18 = alloca i64
%19 = alloca i64
%20 = alloca i64*
%21 = alloca i64*
%22 = alloca i64
%23 = alloca i64
%24 = alloca i64
%25 = alloca i64
%26 = alloca i64
%27 = alloca i64
%28 = alloca i64
%29 = alloca i64
%30 = alloca i64
%31 = alloca i64
%32 = alloca i64
%33 = alloca i64
%34 = alloca i64
store i64 %0, i64* %12
store i64 %1, i64* %13
store i64 %2, i64* %14
store i64 %3, i64* %15
store i64 %4, i64* %16
store i64 %5, i64* %17
store i64 %6, i64* %18
store i64 %7, i64* %19
store i64* %8, i64** %20
store i64* %9, i64** %21
%35 = load i64, i64* %15
%36 = load i64, i64* %13
%37 = sub nsw i64 %35, %36
store i64 %37, i64* %22
%38 = load i64, i64* %12
%39 = load i64, i64* %14
%40 = sub nsw i64 %38, %39
store i64 %40, i64* %24
%41 = load i64, i64* %14
%42 = load i64, i64* %13
%43 = mul nsw i64 %41, %42
%44 = load i64, i64* %12
%45 = load i64, i64* %15
%46 = mul nsw i64 %44, %45
%47 = sub nsw i64 %43, %46
store i64 %47, i64* %26
%48 = load i64, i64* %22
%49 = load i64, i64* %16
%50 = mul nsw i64 %48, %49
%51 = load i64, i64* %24
%52 = load i64, i64* %17
%53 = mul nsw i64 %51, %52
%54 = add nsw i64 %50, %53
%55 = load i64, i64* %26
%56 = add nsw i64 %54, %55
store i64 %56, i64* %30
%57 = load i64, i64* %22
%58 = load i64, i64* %18
%59 = mul nsw i64 %57, %58
%60 = load i64, i64* %24
%61 = load i64, i64* %19
%62 = mul nsw i64 %60, %61
%63 = add nsw i64 %59, %62
%64 = load i64, i64* %26
%65 = add nsw i64 %63, %64
store i64 %65, i64* %31
%66 = load i64, i64* %30
%67 = icmp ne i64 %66, 0
br i1 %67, label %68, label %77
68: ; preds = %10
%69 = load i64, i64* %31
%70 = icmp ne i64 %69, 0
br i1 %70, label %71, label %77
71: ; preds = %68
%72 = load i64, i64* %30
%73 = load i64, i64* %31
%74 = xor i64 %72, %73
%75 = icmp sge i64 %74, 0
br i1 %75, label %76, label %77
76: ; preds = %71
store i32 0, i32* %11
br label %187
77: ; preds = %71, %68, %10
%78 = load i64, i64* %19
%79 = load i64, i64* %17
%80 = sub nsw i64 %78, %79
store i64 %80, i64* %23
%81 = load i64, i64* %16
%82 = load i64, i64* %18
%83 = sub nsw i64 %81, %82
store i64 %83, i64* %25
%84 = load i64, i64* %18
%85 = load i64, i64* %17
%86 = mul nsw i64 %84, %85
%87 = load i64, i64* %16
%88 = load i64, i64* %19
%89 = mul nsw i64 %87, %88
%90 = sub nsw i64 %86, %89
store i64 %90, i64* %27
%91 = load i64, i64* %23
%92 = load i64, i64* %12
%93 = mul nsw i64 %91, %92
%94 = load i64, i64* %25
%95 = load i64, i64* %13
%96 = mul nsw i64 %94, %95
%97 = add nsw i64 %93, %96
%98 = load i64, i64* %27
%99 = add nsw i64 %97, %98
store i64 %99, i64* %28
%100 = load i64, i64* %23
%101 = load i64, i64* %14
%102 = mul nsw i64 %100, %101
%103 = load i64, i64* %25
%104 = load i64, i64* %15
%105 = mul nsw i64 %103, %104
%106 = add nsw i64 %102, %105
%107 = load i64, i64* %27
%108 = add nsw i64 %106, %107
store i64 %108, i64* %29
%109 = load i64, i64* %28
%110 = icmp ne i64 %109, 0
br i1 %110, label %111, label %120
111: ; preds = %77
%112 = load i64, i64* %29
%113 = icmp ne i64 %112, 0
br i1 %113, label %114, label %120
114: ; preds = %111
%115 = load i64, i64* %28
%116 = load i64, i64* %29
%117 = xor i64 %115, %116
%118 = icmp sge i64 %117, 0
br i1 %118, label %119, label %120
119: ; preds = %114
store i32 0, i32* %11
br label %187
120: ; preds = %114, %111, %77
%121 = load i64, i64* %22
%122 = load i64, i64* %25
%123 = mul nsw i64 %121, %122
%124 = load i64, i64* %23
%125 = load i64, i64* %24
%126 = mul nsw i64 %124, %125
%127 = sub nsw i64 %123, %126
store i64 %127, i64* %32
%128 = load i64, i64* %32
%129 = icmp eq i64 %128, 0
br i1 %129, label %130, label %131
130: ; preds = %120
store i32 2, i32* %11
br label %187
131: ; preds = %120
%132 = load i64, i64* %32
%133 = icmp slt i64 %132, 0
br i1 %133, label %134, label %138
134: ; preds = %131
%135 = load i64, i64* %32
%136 = sub nsw i64 0, %135
%137 = sdiv i64 %136, 2
br label %141
138: ; preds = %131
%139 = load i64, i64* %32
%140 = sdiv i64 %139, 2
br label %141
141: ; preds = %138, %134
%142 = phi i64 [ %137, %134 ], [ %140, %138 ]
store i64 %142, i64* %33
%143 = load i64, i64* %24
%144 = load i64, i64* %27
%145 = mul nsw i64 %143, %144
%146 = load i64, i64* %25
%147 = load i64, i64* %26
%148 = mul nsw i64 %146, %147
%149 = sub nsw i64 %145, %148
store i64 %149, i64* %34
%150 = load i64, i64* %34
%151 = icmp slt i64 %150, 0
br i1 %151, label %152, label %156
152: ; preds = %141
%153 = load i64, i64* %34
%154 = load i64, i64* %33
%155 = sub nsw i64 %153, %154
br label %160
156: ; preds = %141
%157 = load i64, i64* %34
%158 = load i64, i64* %33
%159 = add nsw i64 %157, %158
br label %160
160: ; preds = %156, %152
%161 = phi i64 [ %155, %152 ], [ %159, %156 ]
%162 = load i64, i64* %32
%163 = sdiv i64 %161, %162
%164 = load i64*, i64** %20
store i64 %163, i64* %164
%165 = load i64, i64* %23
%166 = load i64, i64* %26
%167 = mul nsw i64 %165, %166
%168 = load i64, i64* %22
%169 = load i64, i64* %27
%170 = mul nsw i64 %168, %169
%171 = sub nsw i64 %167, %170
store i64 %171, i64* %34
%172 = load i64, i64* %34
%173 = icmp slt i64 %172, 0
br i1 %173, label %174, label %178
174: ; preds = %160
%175 = load i64, i64* %34
%176 = load i64, i64* %33
%177 = sub nsw i64 %175, %176
br label %182
178: ; preds = %160
%179 = load i64, i64* %34
%180 = load i64, i64* %33
%181 = add nsw i64 %179, %180
br label %182
182: ; preds = %178, %174
%183 = phi i64 [ %177, %174 ], [ %181, %178 ]
%184 = load i64, i64* %32
%185 = sdiv i64 %183, %184
%186 = load i64*, i64** %21
store i64 %185, i64* %186
store i32 1, i32* %11
br label %187
187: ; preds = %182, %130, %119, %76
%188 = load i32, i32* %11
ret i32 %188
}

LLVM IR (-O2):
define i32 @lines_intersect(i64 %0, i64 %1, i64 %2, i64 %3, i64 %4, i64 %5, i64 %6, i64 %7, i64* nocapture writeonly %8, i64* nocapture writeonly %9) {
%11 = sub nsw i64 %3, %1
%12 = sub nsw i64 %0, %2
%13 = mul nsw i64 %2, %1
%14 = mul nsw i64 %3, %0
%15 = sub nsw i64 %13, %14
%16 = mul nsw i64 %11, %4
%17 = mul nsw i64 %12, %5
%18 = add i64 %15, %16
%19 = add i64 %18, %17
%20 = mul nsw i64 %11, %6
%21 = mul nsw i64 %12, %7
%22 = add i64 %20, %15
%23 = add i64 %22, %21
%24 = icmp ne i64 %19, 0
%25 = icmp ne i64 %23, 0
%26 = select i1 %24, i1 %25, i1 false
%27 = xor i64 %23, %19
%28 = icmp sgt i64 %27, -1
%29 = select i1 %26, i1 %28, i1 false
br i1 %29, label %73, label %30
30: ; preds = %10
%31 = sub nsw i64 %7, %5
%32 = sub nsw i64 %4, %6
%33 = mul nsw i64 %6, %5
%34 = mul nsw i64 %7, %4
%35 = sub nsw i64 %33, %34
%36 = mul nsw i64 %31, %0
%37 = mul nsw i64 %32, %1
%38 = add nsw i64 %36, %37
%39 = add nsw i64 %38, %35
%40 = mul nsw i64 %31, %2
%41 = mul nsw i64 %32, %3
%42 = add nsw i64 %40, %41
%43 = add nsw i64 %42, %35
%44 = icmp ne i64 %39, 0
%45 = icmp ne i64 %43, 0
%46 = select i1 %44, i1 %45, i1 false
%47 = xor i64 %39, %43
%48 = icmp sgt i64 %47, -1
%49 = select i1 %46, i1 %48, i1 false
br i1 %49, label %73, label %50
50: ; preds = %30
%51 = mul nsw i64 %32, %11
%52 = mul nsw i64 %31, %12
%53 = sub nsw i64 %51, %52
%54 = icmp eq i64 %53, 0
br i1 %54, label %73, label %55
55: ; preds = %50
%56 = tail call i64 @llvm.abs.i64(i64 %53, i1 true)
%57 = lshr i64 %56, 1
%58 = mul nsw i64 %35, %12
%59 = mul nsw i64 %32, %15
%60 = sub nsw i64 %58, %59
%61 = icmp slt i64 %60, 0
%62 = sub nsw i64 0, %57
%63 = select i1 %61, i64 %62, i64 %57
%64 = add i64 %63, %60
%65 = sdiv i64 %64, %53
store i64 %65, i64* %8
%66 = mul nsw i64 %31, %15
%67 = mul nsw i64 %35, %11
%68 = sub nsw i64 %66, %67
%69 = icmp slt i64 %68, 0
%70 = select i1 %69, i64 %62, i64 %57
%71 = add i64 %70, %68
%72 = sdiv i64 %71, %53
store i64 %72, i64* %9
br label %73
73: ; preds = %50, %30, %10, %55
%74 = phi i32 [ 1, %55 ], [ 0, %10 ], [ 0, %30 ], [ 2, %50 ]
ret i32 %74
}