int right(int p, int a, int b, int *xp, int *yp) {
  int rflg =
      (yp[p] - yp[a]) * (xp[b] - xp[a]) - (xp[p] - xp[a]) * (yp[b] - yp[a]);
  if (rflg > 0)
    return (1);
  else if (rflg < 0)
    return (0);
  else if ((yp[p] - yp[b]) * (yp[b] - yp[a]) +
               (xp[p] - xp[b]) * (xp[b] - xp[a]) >
           0)
    return (0);
  else
    return (1);
}


x86 assembly (clang, -O0):
<right>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
mov    %r8,-0x20(%rbp)
mov    -0x20(%rbp),%rax
movslq -0x8(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x20(%rbp),%rcx
movslq -0xc(%rbp),%rdx
sub    (%rcx,%rdx,4),%eax
mov    -0x18(%rbp),%rcx
movslq -0x10(%rbp),%rdx
mov    (%rcx,%rdx,4),%ecx
mov    -0x18(%rbp),%rdx
movslq -0xc(%rbp),%rsi
sub    (%rdx,%rsi,4),%ecx
imul   %ecx,%eax
mov    -0x18(%rbp),%rcx
movslq -0x8(%rbp),%rdx
mov    (%rcx,%rdx,4),%ecx
mov    -0x18(%rbp),%rdx
movslq -0xc(%rbp),%rsi
sub    (%rdx,%rsi,4),%ecx
mov    -0x20(%rbp),%rdx
movslq -0x10(%rbp),%rsi
mov    (%rdx,%rsi,4),%edx
mov    -0x20(%rbp),%rsi
movslq -0xc(%rbp),%rdi
sub    (%rsi,%rdi,4),%edx
imul   %edx,%ecx
sub    %ecx,%eax
mov    %eax,-0x24(%rbp)
cmpl   $0x0,-0x24(%rbp)
jle    118e <right+0x8e>
movl   $0x1,-0x4(%rbp)
jmp    1220 <right+0x120>
cmpl   $0x0,-0x24(%rbp)
jge    11a4 <right+0xa4>
movl   $0x0,-0x4(%rbp)
jmp    1220 <right+0x120>
mov    -0x20(%rbp),%rax
movslq -0x8(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x20(%rbp),%rcx
movslq -0x10(%rbp),%rdx
sub    (%rcx,%rdx,4),%eax
mov    -0x20(%rbp),%rcx
movslq -0x10(%rbp),%rdx
mov    (%rcx,%rdx,4),%ecx
mov    -0x20(%rbp),%rdx
movslq -0xc(%rbp),%rsi
sub    (%rdx,%rsi,4),%ecx
imul   %ecx,%eax
mov    -0x18(%rbp),%rcx
movslq -0x8(%rbp),%rdx
mov    (%rcx,%rdx,4),%ecx
mov    -0x18(%rbp),%rdx
movslq -0x10(%rbp),%rsi
sub    (%rdx,%rsi,4),%ecx
mov    -0x18(%rbp),%rdx
movslq -0x10(%rbp),%rsi
mov    (%rdx,%rsi,4),%edx
mov    -0x18(%rbp),%rsi
movslq -0xc(%rbp),%rdi
sub    (%rsi,%rdi,4),%edx
imul   %edx,%ecx
add    %ecx,%eax
cmp    $0x0,%eax
jle    1219 <right+0x119>
movl   $0x0,-0x4(%rbp)
jmp    1220 <right+0x120>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<right>:
push   %rbx
movslq %edi,%rax
mov    (%r8,%rax,4),%r10d
movslq %esi,%rsi
mov    (%r8,%rsi,4),%r11d
mov    %r10d,%edi
sub    %r11d,%edi
movslq %edx,%rdx
mov    (%rcx,%rdx,4),%r9d
mov    (%rcx,%rsi,4),%ebx
mov    %r9d,%esi
sub    %ebx,%esi
imul   %esi,%edi
mov    (%rcx,%rax,4),%ecx
sub    %ecx,%ebx
mov    (%r8,%rdx,4),%r8d
mov    %r8d,%edx
sub    %r11d,%edx
imul   %edx,%ebx
add    %edi,%ebx
mov    $0x1,%eax
test   %ebx,%ebx
jle    1146 <right+0x46>
pop    %rbx
ret
js     115f <right+0x5f>
sub    %r8d,%r10d
imul   %edx,%r10d
sub    %r9d,%ecx
imul   %esi,%ecx
xor    %eax,%eax
add    %r10d,%ecx
setle  %al
pop    %rbx
ret
xor    %eax,%eax
pop    %rbx
ret

LLVM IR (-O0):
define i32 @right(i32 %0, i32 %1, i32 %2, i32* %3, i32* %4) {
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32*
%11 = alloca i32*
%12 = alloca i32
store i32 %0, i32* %7
store i32 %1, i32* %8
store i32 %2, i32* %9
store i32* %3, i32** %10
store i32* %4, i32** %11
%13 = load i32*, i32** %11
%14 = load i32, i32* %7
%15 = sext i32 %14 to i64
%16 = getelementptr inbounds i32, i32* %13, i64 %15
%17 = load i32, i32* %16
%18 = load i32*, i32** %11
%19 = load i32, i32* %8
%20 = sext i32 %19 to i64
%21 = getelementptr inbounds i32, i32* %18, i64 %20
%22 = load i32, i32* %21
%23 = sub nsw i32 %17, %22
%24 = load i32*, i32** %10
%25 = load i32, i32* %9
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds i32, i32* %24, i64 %26
%28 = load i32, i32* %27
%29 = load i32*, i32** %10
%30 = load i32, i32* %8
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds i32, i32* %29, i64 %31
%33 = load i32, i32* %32
%34 = sub nsw i32 %28, %33
%35 = mul nsw i32 %23, %34
%36 = load i32*, i32** %10
%37 = load i32, i32* %7
%38 = sext i32 %37 to i64
%39 = getelementptr inbounds i32, i32* %36, i64 %38
%40 = load i32, i32* %39
%41 = load i32*, i32** %10
%42 = load i32, i32* %8
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds i32, i32* %41, i64 %43
%45 = load i32, i32* %44
%46 = sub nsw i32 %40, %45
%47 = load i32*, i32** %11
%48 = load i32, i32* %9
%49 = sext i32 %48 to i64
%50 = getelementptr inbounds i32, i32* %47, i64 %49
%51 = load i32, i32* %50
%52 = load i32*, i32** %11
%53 = load i32, i32* %8
%54 = sext i32 %53 to i64
%55 = getelementptr inbounds i32, i32* %52, i64 %54
%56 = load i32, i32* %55
%57 = sub nsw i32 %51, %56
%58 = mul nsw i32 %46, %57
%59 = sub nsw i32 %35, %58
store i32 %59, i32* %12
%60 = load i32, i32* %12
%61 = icmp sgt i32 %60, 0
br i1 %61, label %62, label %63
62: ; preds = %5
store i32 1, i32* %6
br label %118
63: ; preds = %5
%64 = load i32, i32* %12
%65 = icmp slt i32 %64, 0
br i1 %65, label %66, label %67
66: ; preds = %63
store i32 0, i32* %6
br label %118
67: ; preds = %63
%68 = load i32*, i32** %11
%69 = load i32, i32* %7
%70 = sext i32 %69 to i64
%71 = getelementptr inbounds i32, i32* %68, i64 %70
%72 = load i32, i32* %71
%73 = load i32*, i32** %11
%74 = load i32, i32* %9
%75 = sext i32 %74 to i64
%76 = getelementptr inbounds i32, i32* %73, i64 %75
%77 = load i32, i32* %76
%78 = sub nsw i32 %72, %77
%79 = load i32*, i32** %11
%80 = load i32, i32* %9
%81 = sext i32 %80 to i64
%82 = getelementptr inbounds i32, i32* %79, i64 %81
%83 = load i32, i32* %82
%84 = load i32*, i32** %11
%85 = load i32, i32* %8
%86 = sext i32 %85 to i64
%87 = getelementptr inbounds i32, i32* %84, i64 %86
%88 = load i32, i32* %87
%89 = sub nsw i32 %83, %88
%90 = mul nsw i32 %78, %89
%91 = load i32*, i32** %10
%92 = load i32, i32* %7
%93 = sext i32 %92 to i64
%94 = getelementptr inbounds i32, i32* %91, i64 %93
%95 = load i32, i32* %94
%96 = load i32*, i32** %10
%97 = load i32, i32* %9
%98 = sext i32 %97 to i64
%99 = getelementptr inbounds i32, i32* %96, i64 %98
%100 = load i32, i32* %99
%101 = sub nsw i32 %95, %100
%102 = load i32*, i32** %10
%103 = load i32, i32* %9
%104 = sext i32 %103 to i64
%105 = getelementptr inbounds i32, i32* %102, i64 %104
%106 = load i32, i32* %105
%107 = load i32*, i32** %10
%108 = load i32, i32* %8
%109 = sext i32 %108 to i64
%110 = getelementptr inbounds i32, i32* %107, i64 %109
%111 = load i32, i32* %110
%112 = sub nsw i32 %106, %111
%113 = mul nsw i32 %101, %112
%114 = add nsw i32 %90, %113
%115 = icmp sgt i32 %114, 0
br i1 %115, label %116, label %117
116: ; preds = %67
store i32 0, i32* %6
br label %118
117: ; preds = %67
store i32 1, i32* %6
br label %118
118: ; preds = %117, %116, %66, %62
%119 = load i32, i32* %6
ret i32 %119
}

LLVM IR (-O2):
define i32 @right(i32 %0, i32 %1, i32 %2, i32* nocapture %3, i32* nocapture %4) {
%6 = sext i32 %0 to i64
%7 = getelementptr inbounds i32, i32* %4, i64 %6
%8 = load i32, i32* %7
%9 = sext i32 %1 to i64
%10 = getelementptr inbounds i32, i32* %4, i64 %9
%11 = load i32, i32* %10
%12 = sub nsw i32 %8, %11
%13 = sext i32 %2 to i64
%14 = getelementptr inbounds i32, i32* %3, i64 %13
%15 = load i32, i32* %14
%16 = getelementptr inbounds i32, i32* %3, i64 %9
%17 = load i32, i32* %16
%18 = sub nsw i32 %15, %17
%19 = mul nsw i32 %18, %12
%20 = getelementptr inbounds i32, i32* %3, i64 %6
%21 = load i32, i32* %20
%22 = sub i32 %17, %21
%23 = getelementptr inbounds i32, i32* %4, i64 %13
%24 = load i32, i32* %23
%25 = sub nsw i32 %24, %11
%26 = mul i32 %25, %22
%27 = add i32 %26, %19
%28 = icmp sgt i32 %27, 0
br i1 %28, label %39, label %29
29: ; preds = %5
%30 = icmp slt i32 %27, 0
br i1 %30, label %39, label %31
31: ; preds = %29
%32 = sub nsw i32 %8, %24
%33 = mul nsw i32 %32, %25
%34 = sub nsw i32 %21, %15
%35 = mul nsw i32 %34, %18
%36 = add nsw i32 %33, %35
%37 = icmp slt i32 %36, 1
%38 = zext i1 %37 to i32
br label %39
39: ; preds = %31, %29, %5
%40 = phi i32 [ 1, %5 ], [ 0, %29 ], [ %38, %31 ]
ret i32 %40
}