#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 _ada_use_c2phc(int, int *, int *, double *);
int convex_hull_2d(int nc_pts, char *pts, int *nc_hull, char *hull) {
  int fail, i;
  int points[10 * nc_pts];
  double *c;
  for (i = 0; i < nc_pts; i++)
    points[i] = (int)pts[i];
  fail = _ada_use_c2phc(580, &nc_pts, points, c);
  *nc_hull = nc_pts;
  for (i = 0; i < nc_pts; i++)
    hull[i] = (char)points[i];
  return fail;
}


x86 assembly (clang, -O0):
<convex_hull_2d>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    -0x4(%rbp),%ecx
add    %ecx,%ecx
mov    %ecx,%eax
lea    (%rax,%rax,4),%eax
mov    %rsp,%rcx
mov    %rcx,-0x30(%rbp)
lea    0xf(,%rax,4),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x48(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x38(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    118d <convex_hull_2d+0x7d>
mov    -0x48(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq -0x28(%rbp),%rdx
movsbl (%rcx,%rdx,1),%edx
movslq -0x28(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    115c <convex_hull_2d+0x4c>
mov    -0x48(%rbp),%rdx
mov    -0x40(%rbp),%rcx
mov    $0x244,%edi
lea    -0x4(%rbp),%rsi
call   1030 <_ada_use_c2phc@plt>
mov    %eax,-0x24(%rbp)
mov    -0x4(%rbp),%ecx
mov    -0x18(%rbp),%rax
mov    %ecx,(%rax)
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    11e8 <convex_hull_2d+0xd8>
mov    -0x48(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %al,%dl
mov    -0x20(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    11b6 <convex_hull_2d+0xa6>
mov    -0x24(%rbp),%eax
mov    -0x30(%rbp),%rcx
mov    %rcx,%rsp
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<convex_hull_2d>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %rbx
push   %rax
mov    %rcx,%r14
mov    %rdx,%r15
mov    %edi,-0x1c(%rbp)
lea    (%rdi,%rdi,1),%eax
lea    (%rax,%rax,4),%eax
lea    0xf(,%rax,4),%rax
and    $0xfffffffffffffff0,%rax
mov    %rsp,%rbx
sub    %rax,%rbx
mov    %rbx,%rsp
test   %edi,%edi
jle    1240 <convex_hull_2d+0x130>
mov    %edi,%eax
cmp    $0x8,%edi
jae    1154 <convex_hull_2d+0x44>
xor    %ecx,%ecx
jmp    1230 <convex_hull_2d+0x120>
mov    %eax,%ecx
and    $0xfffffff8,%ecx
lea    -0x8(%rcx),%rdx
mov    %rdx,%r8
shr    $0x3,%r8
add    $0x1,%r8
test   %rdx,%rdx
je     136c <convex_hull_2d+0x25c>
mov    %r8,%rdi
and    $0xfffffffffffffffe,%rdi
xor    %edx,%edx
nopw   0x0(%rax,%rax,1)
movd   (%rsi,%rdx,1),%xmm0
punpcklbw %xmm0,%xmm0
punpcklwd %xmm0,%xmm0
movd   0x4(%rsi,%rdx,1),%xmm1
punpcklbw %xmm1,%xmm1
punpcklwd %xmm1,%xmm1
psrad  $0x18,%xmm0
psrad  $0x18,%xmm1
movdqa %xmm0,(%rbx,%rdx,4)
movdqa %xmm1,0x10(%rbx,%rdx,4)
movd   0x8(%rsi,%rdx,1),%xmm0
punpcklbw %xmm0,%xmm0
punpcklwd %xmm0,%xmm0
movd   0xc(%rsi,%rdx,1),%xmm1
punpcklbw %xmm1,%xmm1
punpcklwd %xmm1,%xmm1
psrad  $0x18,%xmm0
psrad  $0x18,%xmm1
movdqa %xmm0,0x20(%rbx,%rdx,4)
movdqa %xmm1,0x30(%rbx,%rdx,4)
add    $0x10,%rdx
add    $0xfffffffffffffffe,%rdi
jne    1180 <convex_hull_2d+0x70>
test   $0x1,%r8b
je     1222 <convex_hull_2d+0x112>
movd   (%rsi,%rdx,1),%xmm0
movd   0x4(%rsi,%rdx,1),%xmm1
punpcklbw %xmm0,%xmm0
punpcklwd %xmm0,%xmm0
psrad  $0x18,%xmm0
punpcklbw %xmm1,%xmm1
punpcklwd %xmm1,%xmm1
psrad  $0x18,%xmm1
movdqa %xmm0,(%rbx,%rdx,4)
movdqa %xmm1,0x10(%rbx,%rdx,4)
cmp    %rax,%rcx
je     1240 <convex_hull_2d+0x130>
nopw   0x0(%rax,%rax,1)
movsbl (%rsi,%rcx,1),%edx
mov    %edx,(%rbx,%rcx,4)
add    $0x1,%rcx
cmp    %rcx,%rax
jne    1230 <convex_hull_2d+0x120>
lea    -0x1c(%rbp),%rsi
mov    $0x244,%edi
mov    %rbx,%rdx
call   1030 <_ada_use_c2phc@plt>
mov    -0x1c(%rbp),%r9d
mov    %r9d,(%r15)
test   %r9d,%r9d
jle    1361 <convex_hull_2d+0x251>
cmp    $0x8,%r9d
jae    126e <convex_hull_2d+0x15e>
xor    %edx,%edx
jmp    1350 <convex_hull_2d+0x240>
mov    %r9d,%edx
and    $0xfffffff8,%edx
lea    -0x8(%rdx),%rsi
mov    %rsi,%r8
shr    $0x3,%r8
add    $0x1,%r8
test   %rsi,%rsi
je     137d <convex_hull_2d+0x26d>
mov    %r8,%rdi
and    $0xfffffffffffffffe,%rdi
xor    %esi,%esi
movdqa 0xd63(%rip),%xmm0
nopl   (%rax)
movdqa (%rbx,%rsi,4),%xmm1
pand   %xmm0,%xmm1
packuswb %xmm1,%xmm1
packuswb %xmm1,%xmm1
movdqa 0x10(%rbx,%rsi,4),%xmm2
pand   %xmm0,%xmm2
packuswb %xmm2,%xmm2
packuswb %xmm2,%xmm2
movd   %xmm1,(%r14,%rsi,1)
movd   %xmm2,0x4(%r14,%rsi,1)
movdqa 0x20(%rbx,%rsi,4),%xmm1
pand   %xmm0,%xmm1
packuswb %xmm1,%xmm1
packuswb %xmm1,%xmm1
movdqa 0x30(%rbx,%rsi,4),%xmm2
pand   %xmm0,%xmm2
packuswb %xmm2,%xmm2
packuswb %xmm2,%xmm2
movd   %xmm1,0x8(%r14,%rsi,1)
movd   %xmm2,0xc(%r14,%rsi,1)
add    $0x10,%rsi
add    $0xfffffffffffffffe,%rdi
jne    12a0 <convex_hull_2d+0x190>
test   $0x1,%r8b
je     1346 <convex_hull_2d+0x236>
movdqa 0xce6(%rip),%xmm0
movdqa (%rbx,%rsi,4),%xmm1
pand   %xmm0,%xmm1
packuswb %xmm1,%xmm1
packuswb %xmm1,%xmm1
pand   0x10(%rbx,%rsi,4),%xmm0
packuswb %xmm0,%xmm0
packuswb %xmm0,%xmm0
movd   %xmm1,(%r14,%rsi,1)
movd   %xmm0,0x4(%r14,%rsi,1)
cmp    %r9,%rdx
je     1361 <convex_hull_2d+0x251>
nopl   0x0(%rax,%rax,1)
movzbl (%rbx,%rdx,4),%ecx
mov    %cl,(%r14,%rdx,1)
add    $0x1,%rdx
cmp    %rdx,%r9
jne    1350 <convex_hull_2d+0x240>
lea    -0x18(%rbp),%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret
xor    %edx,%edx
test   $0x1,%r8b
jne    11f2 <convex_hull_2d+0xe2>
jmp    1222 <convex_hull_2d+0x112>
xor    %esi,%esi
test   $0x1,%r8b
jne    1312 <convex_hull_2d+0x202>
jmp    1346 <convex_hull_2d+0x236>

LLVM IR (-O0):
define i32 @convex_hull_2d(i32 %0, i8* %1, i32* %2, i8* %3) {
%5 = alloca i32
%6 = alloca i8*
%7 = alloca i32*
%8 = alloca i8*
%9 = alloca i32
%10 = alloca i32
%11 = alloca i8*
%12 = alloca i64
%13 = alloca double*
store i32 %0, i32* %5
store i8* %1, i8** %6
store i32* %2, i32** %7
store i8* %3, i8** %8
%14 = load i32, i32* %5
%15 = mul nsw i32 10, %14
%16 = zext i32 %15 to i64
%17 = call i8* @llvm.stacksave()
store i8* %17, i8** %11
%18 = alloca i32, i64 %16
store i64 %16, i64* %12
store i32 0, i32* %10
br label %19
19: ; preds = %33, %4
%20 = load i32, i32* %10
%21 = load i32, i32* %5
%22 = icmp slt i32 %20, %21
br i1 %22, label %23, label %36
23: ; preds = %19
%24 = load i8*, i8** %6
%25 = load i32, i32* %10
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds i8, i8* %24, i64 %26
%28 = load i8, i8* %27
%29 = sext i8 %28 to i32
%30 = load i32, i32* %10
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds i32, i32* %18, i64 %31
store i32 %29, i32* %32
br label %33
33: ; preds = %23
%34 = load i32, i32* %10
%35 = add nsw i32 %34, 1
store i32 %35, i32* %10
br label %19
36: ; preds = %19
%37 = load double*, double** %13
%38 = call i32 @_ada_use_c2phc(i32 580, i32* %5, i32* %18, double* %37)
store i32 %38, i32* %9
%39 = load i32, i32* %5
%40 = load i32*, i32** %7
store i32 %39, i32* %40
store i32 0, i32* %10
br label %41
41: ; preds = %55, %36
%42 = load i32, i32* %10
%43 = load i32, i32* %5
%44 = icmp slt i32 %42, %43
br i1 %44, label %45, label %58
45: ; preds = %41
%46 = load i32, i32* %10
%47 = sext i32 %46 to i64
%48 = getelementptr inbounds i32, i32* %18, i64 %47
%49 = load i32, i32* %48
%50 = trunc i32 %49 to i8
%51 = load i8*, i8** %8
%52 = load i32, i32* %10
%53 = sext i32 %52 to i64
%54 = getelementptr inbounds i8, i8* %51, i64 %53
store i8 %50, i8* %54
br label %55
55: ; preds = %45
%56 = load i32, i32* %10
%57 = add nsw i32 %56, 1
store i32 %57, i32* %10
br label %41
58: ; preds = %41
%59 = load i32, i32* %9
%60 = load i8*, i8** %11
ret i32 %59
}

LLVM IR (-O2):
define i32 @convex_hull_2d(i32 %0, i8* nocapture %1, i32* nocapture writeonly %2, i8* nocapture writeonly %3) {
%5 = alloca i32
store i32 %0, i32* %5
%6 = mul nsw i32 %0, 10
%7 = zext i32 %6 to i64
%8 = alloca i32, i64 %7
%9 = icmp sgt i32 %0, 0
br i1 %9, label %10, label %81
10: ; preds = %4
%11 = zext i32 %0 to i64
%12 = icmp ult i32 %0, 8
br i1 %12, label %71, label %13
13: ; preds = %10
%14 = and i64 %11, 4294967288
%15 = add nsw i64 %14, -8
%16 = lshr exact i64 %15, 3
%17 = add nuw nsw i64 %16, 1
%18 = and i64 %17, 1
%19 = icmp eq i64 %15, 0
br i1 %19, label %53, label %20
20: ; preds = %13
%21 = and i64 %17, 4611686018427387902
br label %22
22: ; preds = %22, %20
%23 = phi i64 [ 0, %20 ], [ %50, %22 ]
%24 = phi i64 [ 0, %20 ], [ %51, %22 ]
%25 = getelementptr inbounds i8, i8* %1, i64 %23
%26 = bitcast i8* %25 to <4 x i8>*
%27 = load <4 x i8>, <4 x i8>* %26
%28 = getelementptr inbounds i8, i8* %25, i64 4
%29 = bitcast i8* %28 to <4 x i8>*
%30 = load <4 x i8>, <4 x i8>* %29
%31 = sext <4 x i8> %27 to <4 x i32>
%32 = sext <4 x i8> %30 to <4 x i32>
%33 = getelementptr inbounds i32, i32* %8, i64 %23
%34 = bitcast i32* %33 to <4 x i32>*
store <4 x i32> %31, <4 x i32>* %34
%35 = getelementptr inbounds i32, i32* %33, i64 4
%36 = bitcast i32* %35 to <4 x i32>*
store <4 x i32> %32, <4 x i32>* %36
%37 = or i64 %23, 8
%38 = getelementptr inbounds i8, i8* %1, i64 %37
%39 = bitcast i8* %38 to <4 x i8>*
%40 = load <4 x i8>, <4 x i8>* %39
%41 = getelementptr inbounds i8, i8* %38, i64 4
%42 = bitcast i8* %41 to <4 x i8>*
%43 = load <4 x i8>, <4 x i8>* %42
%44 = sext <4 x i8> %40 to <4 x i32>
%45 = sext <4 x i8> %43 to <4 x i32>
%46 = getelementptr inbounds i32, i32* %8, i64 %37
%47 = bitcast i32* %46 to <4 x i32>*
store <4 x i32> %44, <4 x i32>* %47
%48 = getelementptr inbounds i32, i32* %46, i64 4
%49 = bitcast i32* %48 to <4 x i32>*
store <4 x i32> %45, <4 x i32>* %49
%50 = add nuw i64 %23, 16
%51 = add i64 %24, 2
%52 = icmp eq i64 %51, %21
br i1 %52, label %53, label %22
53: ; preds = %22, %13
%54 = phi i64 [ 0, %13 ], [ %50, %22 ]
%55 = icmp eq i64 %18, 0
br i1 %55, label %69, label %56
56: ; preds = %53
%57 = getelementptr inbounds i8, i8* %1, i64 %54
%58 = bitcast i8* %57 to <4 x i8>*
%59 = load <4 x i8>, <4 x i8>* %58
%60 = getelementptr inbounds i8, i8* %57, i64 4
%61 = bitcast i8* %60 to <4 x i8>*
%62 = load <4 x i8>, <4 x i8>* %61
%63 = sext <4 x i8> %59 to <4 x i32>
%64 = sext <4 x i8> %62 to <4 x i32>
%65 = getelementptr inbounds i32, i32* %8, i64 %54
%66 = bitcast i32* %65 to <4 x i32>*
store <4 x i32> %63, <4 x i32>* %66
%67 = getelementptr inbounds i32, i32* %65, i64 4
%68 = bitcast i32* %67 to <4 x i32>*
store <4 x i32> %64, <4 x i32>* %68
br label %69
69: ; preds = %53, %56
%70 = icmp eq i64 %14, %11
br i1 %70, label %81, label %71
71: ; preds = %10, %69
%72 = phi i64 [ 0, %10 ], [ %14, %69 ]
br label %73
73: ; preds = %71, %73
%74 = phi i64 [ %79, %73 ], [ %72, %71 ]
%75 = getelementptr inbounds i8, i8* %1, i64 %74
%76 = load i8, i8* %75
%77 = sext i8 %76 to i32
%78 = getelementptr inbounds i32, i32* %8, i64 %74
store i32 %77, i32* %78
%79 = add nuw nsw i64 %74, 1
%80 = icmp eq i64 %79, %11
br i1 %80, label %81, label %73
81: ; preds = %73, %69, %4
%82 = call i32 @_ada_use_c2phc(i32 580, i32* %5, i32* %8, double* undef)
%83 = load i32, i32* %5
store i32 %83, i32* %2
%84 = icmp sgt i32 %83, 0
br i1 %84, label %85, label %156
85: ; preds = %81
%86 = zext i32 %83 to i64
%87 = icmp ult i32 %83, 8
br i1 %87, label %146, label %88
88: ; preds = %85
%89 = and i64 %86, 4294967288
%90 = add nsw i64 %89, -8
%91 = lshr exact i64 %90, 3
%92 = add nuw nsw i64 %91, 1
%93 = and i64 %92, 1
%94 = icmp eq i64 %90, 0
br i1 %94, label %128, label %95
95: ; preds = %88
%96 = and i64 %92, 4611686018427387902
br label %97
97: ; preds = %97, %95
%98 = phi i64 [ 0, %95 ], [ %125, %97 ]
%99 = phi i64 [ 0, %95 ], [ %126, %97 ]
%100 = getelementptr inbounds i32, i32* %8, i64 %98
%101 = bitcast i32* %100 to <4 x i32>*
%102 = load <4 x i32>, <4 x i32>* %101
%103 = getelementptr inbounds i32, i32* %100, i64 4
%104 = bitcast i32* %103 to <4 x i32>*
%105 = load <4 x i32>, <4 x i32>* %104
%106 = trunc <4 x i32> %102 to <4 x i8>
%107 = trunc <4 x i32> %105 to <4 x i8>
%108 = getelementptr inbounds i8, i8* %3, i64 %98
%109 = bitcast i8* %108 to <4 x i8>*
store <4 x i8> %106, <4 x i8>* %109
%110 = getelementptr inbounds i8, i8* %108, i64 4
%111 = bitcast i8* %110 to <4 x i8>*
store <4 x i8> %107, <4 x i8>* %111
%112 = or i64 %98, 8
%113 = getelementptr inbounds i32, i32* %8, i64 %112
%114 = bitcast i32* %113 to <4 x i32>*
%115 = load <4 x i32>, <4 x i32>* %114
%116 = getelementptr inbounds i32, i32* %113, i64 4
%117 = bitcast i32* %116 to <4 x i32>*
%118 = load <4 x i32>, <4 x i32>* %117
%119 = trunc <4 x i32> %115 to <4 x i8>
%120 = trunc <4 x i32> %118 to <4 x i8>
%121 = getelementptr inbounds i8, i8* %3, i64 %112
%122 = bitcast i8* %121 to <4 x i8>*
store <4 x i8> %119, <4 x i8>* %122
%123 = getelementptr inbounds i8, i8* %121, i64 4
%124 = bitcast i8* %123 to <4 x i8>*
store <4 x i8> %120, <4 x i8>* %124
%125 = add nuw i64 %98, 16
%126 = add i64 %99, 2
%127 = icmp eq i64 %126, %96
br i1 %127, label %128, label %97
128: ; preds = %97, %88
%129 = phi i64 [ 0, %88 ], [ %125, %97 ]
%130 = icmp eq i64 %93, 0
br i1 %130, label %144, label %131
131: ; preds = %128
%132 = getelementptr inbounds i32, i32* %8, i64 %129
%133 = bitcast i32* %132 to <4 x i32>*
%134 = load <4 x i32>, <4 x i32>* %133
%135 = getelementptr inbounds i32, i32* %132, i64 4
%136 = bitcast i32* %135 to <4 x i32>*
%137 = load <4 x i32>, <4 x i32>* %136
%138 = trunc <4 x i32> %134 to <4 x i8>
%139 = trunc <4 x i32> %137 to <4 x i8>
%140 = getelementptr inbounds i8, i8* %3, i64 %129
%141 = bitcast i8* %140 to <4 x i8>*
store <4 x i8> %138, <4 x i8>* %141
%142 = getelementptr inbounds i8, i8* %140, i64 4
%143 = bitcast i8* %142 to <4 x i8>*
store <4 x i8> %139, <4 x i8>* %143
br label %144
144: ; preds = %128, %131
%145 = icmp eq i64 %89, %86
br i1 %145, label %156, label %146
146: ; preds = %85, %144
%147 = phi i64 [ 0, %85 ], [ %89, %144 ]
br label %148
148: ; preds = %146, %148
%149 = phi i64 [ %154, %148 ], [ %147, %146 ]
%150 = getelementptr inbounds i32, i32* %8, i64 %149
%151 = load i32, i32* %150
%152 = trunc i32 %151 to i8
%153 = getelementptr inbounds i8, i8* %3, i64 %149
store i8 %152, i8* %153
%154 = add nuw nsw i64 %149, 1
%155 = icmp eq i64 %154, %86
br i1 %155, label %156, label %148
156: ; preds = %148, %144, %81
ret i32 %82
}