int pnpoly(int nvert, float *vertx, float *verty, float testx, float testy) {
  int i, j, c = 0;
  for (i = 0, j = nvert - 1; i < nvert; j = i++) {
    if (((verty[i] > testy) != (verty[j] > testy)) &&
        (testx <
         (vertx[j] - vertx[i]) * (testy - verty[i]) / (verty[j] - verty[i]) +
             vertx[i]))
      c = !c;
  }
  return c;
}


x86 assembly (clang, -O0):
<pnpoly>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movss  %xmm0,-0x1c(%rbp)
movss  %xmm1,-0x20(%rbp)
movl   $0x0,-0x2c(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x4(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    1209 <pnpoly+0x109>
mov    -0x18(%rbp),%rax
movslq -0x24(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
ucomiss -0x20(%rbp),%xmm0
seta   %al
and    $0x1,%al
movzbl %al,%eax
mov    -0x18(%rbp),%rcx
movslq -0x28(%rbp),%rdx
movss  (%rcx,%rdx,4),%xmm0
ucomiss -0x20(%rbp),%xmm0
seta   %cl
and    $0x1,%cl
movzbl %cl,%ecx
cmp    %ecx,%eax
je     11f1 <pnpoly+0xf1>
movss  -0x1c(%rbp),%xmm1
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
subss  (%rax,%rcx,4),%xmm0
movss  -0x20(%rbp),%xmm2
mov    -0x18(%rbp),%rax
movslq -0x24(%rbp),%rcx
subss  (%rax,%rcx,4),%xmm2
mulss  %xmm2,%xmm0
mov    -0x18(%rbp),%rax
movslq -0x28(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm2
mov    -0x18(%rbp),%rax
movslq -0x24(%rbp),%rcx
subss  (%rax,%rcx,4),%xmm2
divss  %xmm2,%xmm0
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
addss  (%rax,%rcx,4),%xmm0
ucomiss %xmm1,%xmm0
jbe    11f1 <pnpoly+0xf1>
cmpl   $0x0,-0x2c(%rbp)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x2c(%rbp)
jmp    11f6 <pnpoly+0xf6>
mov    -0x24(%rbp),%eax
mov    %eax,%ecx
add    $0x1,%ecx
mov    %ecx,-0x24(%rbp)
mov    %eax,-0x28(%rbp)
jmp    1130 <pnpoly+0x30>
mov    -0x2c(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<pnpoly>:
test   %edi,%edi
jle    1186 <pnpoly+0x86>
mov    %edi,%r8d
add    $0xffffffff,%edi
xor    %r10d,%r10d
xor    %eax,%eax
jmp    112f <pnpoly+0x2f>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %r10d,%edi
lea    0x1(%r10),%rcx
mov    %rcx,%r10
cmp    %rcx,%r8
je     1185 <pnpoly+0x85>
movss  (%rdx,%r10,4),%xmm2
ucomiss %xmm1,%xmm2
setbe  %r9b
movslq %edi,%rdi
movss  (%rdx,%rdi,4),%xmm3
ucomiss %xmm1,%xmm3
seta   %cl
xor    %r9b,%cl
jne    1120 <pnpoly+0x20>
movss  (%rsi,%rdi,4),%xmm4
movss  (%rsi,%r10,4),%xmm5
subss  %xmm5,%xmm4
movaps %xmm1,%xmm6
subss  %xmm2,%xmm6
mulss  %xmm4,%xmm6
subss  %xmm2,%xmm3
divss  %xmm3,%xmm6
addss  %xmm5,%xmm6
ucomiss %xmm0,%xmm6
jbe    1120 <pnpoly+0x20>
xor    %ecx,%ecx
test   %eax,%eax
sete   %cl
mov    %ecx,%eax
jmp    1120 <pnpoly+0x20>
ret
xor    %eax,%eax
ret

LLVM IR (-O0):
define i32 @pnpoly(i32 %0, float* %1, float* %2, float %3, float %4) {
%6 = alloca i32
%7 = alloca float*
%8 = alloca float*
%9 = alloca float
%10 = alloca float
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
store i32 %0, i32* %6
store float* %1, float** %7
store float* %2, float** %8
store float %3, float* %9
store float %4, float* %10
store i32 0, i32* %13
store i32 0, i32* %11
%14 = load i32, i32* %6
%15 = sub nsw i32 %14, 1
store i32 %15, i32* %12
br label %16
16: ; preds = %84, %5
%17 = load i32, i32* %11
%18 = load i32, i32* %6
%19 = icmp slt i32 %17, %18
br i1 %19, label %20, label %87
20: ; preds = %16
%21 = load float*, float** %8
%22 = load i32, i32* %11
%23 = sext i32 %22 to i64
%24 = getelementptr inbounds float, float* %21, i64 %23
%25 = load float, float* %24
%26 = load float, float* %10
%27 = fcmp ogt float %25, %26
%28 = zext i1 %27 to i32
%29 = load float*, float** %8
%30 = load i32, i32* %12
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds float, float* %29, i64 %31
%33 = load float, float* %32
%34 = load float, float* %10
%35 = fcmp ogt float %33, %34
%36 = zext i1 %35 to i32
%37 = icmp ne i32 %28, %36
br i1 %37, label %38, label %83
38: ; preds = %20
%39 = load float, float* %9
%40 = load float*, float** %7
%41 = load i32, i32* %12
%42 = sext i32 %41 to i64
%43 = getelementptr inbounds float, float* %40, i64 %42
%44 = load float, float* %43
%45 = load float*, float** %7
%46 = load i32, i32* %11
%47 = sext i32 %46 to i64
%48 = getelementptr inbounds float, float* %45, i64 %47
%49 = load float, float* %48
%50 = fsub float %44, %49
%51 = load float, float* %10
%52 = load float*, float** %8
%53 = load i32, i32* %11
%54 = sext i32 %53 to i64
%55 = getelementptr inbounds float, float* %52, i64 %54
%56 = load float, float* %55
%57 = fsub float %51, %56
%58 = fmul float %50, %57
%59 = load float*, float** %8
%60 = load i32, i32* %12
%61 = sext i32 %60 to i64
%62 = getelementptr inbounds float, float* %59, i64 %61
%63 = load float, float* %62
%64 = load float*, float** %8
%65 = load i32, i32* %11
%66 = sext i32 %65 to i64
%67 = getelementptr inbounds float, float* %64, i64 %66
%68 = load float, float* %67
%69 = fsub float %63, %68
%70 = fdiv float %58, %69
%71 = load float*, float** %7
%72 = load i32, i32* %11
%73 = sext i32 %72 to i64
%74 = getelementptr inbounds float, float* %71, i64 %73
%75 = load float, float* %74
%76 = fadd float %70, %75
%77 = fcmp olt float %39, %76
br i1 %77, label %78, label %83
78: ; preds = %38
%79 = load i32, i32* %13
%80 = icmp ne i32 %79, 0
%81 = xor i1 %80, true
%82 = zext i1 %81 to i32
store i32 %82, i32* %13
br label %83
83: ; preds = %78, %38, %20
br label %84
84: ; preds = %83
%85 = load i32, i32* %11
%86 = add nsw i32 %85, 1
store i32 %86, i32* %11
store i32 %85, i32* %12
br label %16
87: ; preds = %16
%88 = load i32, i32* %13
ret i32 %88
}

LLVM IR (-O2):
define i32 @pnpoly(i32 %0, float* nocapture %1, float* nocapture %2, float %3, float %4) {
%6 = icmp sgt i32 %0, 0
br i1 %6, label %7, label %42
7: ; preds = %5
%8 = add nsw i32 %0, -1
%9 = zext i32 %0 to i64
br label %10
10: ; preds = %7, %37
%11 = phi i64 [ 0, %7 ], [ %39, %37 ]
%12 = phi i32 [ 0, %7 ], [ %38, %37 ]
%13 = phi i32 [ %8, %7 ], [ %40, %37 ]
%14 = getelementptr inbounds float, float* %2, i64 %11
%15 = load float, float* %14
%16 = fcmp ule float %15, %4
%17 = sext i32 %13 to i64
%18 = getelementptr inbounds float, float* %2, i64 %17
%19 = load float, float* %18
%20 = fcmp ogt float %19, %4
%21 = xor i1 %16, %20
br i1 %21, label %37, label %22
22: ; preds = %10
%23 = getelementptr inbounds float, float* %1, i64 %17
%24 = load float, float* %23
%25 = getelementptr inbounds float, float* %1, i64 %11
%26 = load float, float* %25
%27 = fsub float %24, %26
%28 = fsub float %4, %15
%29 = fmul float %28, %27
%30 = fsub float %19, %15
%31 = fdiv float %29, %30
%32 = fadd float %26, %31
%33 = fcmp ogt float %32, %3
br i1 %33, label %34, label %37
34: ; preds = %22
%35 = icmp eq i32 %12, 0
%36 = zext i1 %35 to i32
br label %37
37: ; preds = %10, %22, %34
%38 = phi i32 [ %36, %34 ], [ %12, %22 ], [ %12, %10 ]
%39 = add nuw nsw i64 %11, 1
%40 = trunc i64 %11 to i32
%41 = icmp eq i64 %39, %9
br i1 %41, label %42, label %10
42: ; preds = %37, %5
%43 = phi i32 [ 0, %5 ], [ %38, %37 ]
ret i32 %43
}