#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 atoi(char *);
int /*<<< orphan*/ printf(char *);
int main(int argc, char **argv) {
  if (argc < 3) {
    printf("Nombre de paramètres insuffisants\n");
    return 1;
  }
  unsigned int i, j;
  int ord[argc - 1], adir[argc - 1];
  char temp[3];
  for (i = 1; i < argc; i++) {
    for (j = 0; j < 3; j++) {
      temp[j] = argv[i][j];
    }
    char c[2];
    c[0] = temp[0];
    c[1] = '\0';
    adir[i - 1] = atoi(c);
    c[0] = temp[2];
    c[1] = '\0';
    ord[i - 1] = atoi(c);
  }
  if (adir[0] != adir[argc - 2] || ord[0] != ord[argc - 2]) {
    printf("Le polygone n'est pas complet");
    return 1;
  }
  int maxAdir = 0, minAdir = 0, maxOrd = 0, minOrd = 0;
  for (i = 0; i < argc - 1; i++) {
    maxAdir = ((adir[i] > maxAdir) ? adir[i] : maxAdir);
    maxOrd = (ord[i] > maxOrd ? ord[i] : maxOrd);
    minAdir = (adir[i] < minAdir ? adir[i] : minAdir);
    minOrd = (ord[i] < minOrd ? ord[i] : minOrd);
  }
  for (i = 0; i < argc - 1; i++) {
    if (adir[i] < maxAdir && adir[i] > minAdir && ord[i] < maxOrd &&
        ord[i] > minOrd) {
      printf("2");
      return 0;
    }
  }
  printf("1");
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
movl   $0x0,-0x4(%rbp)
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
cmpl   $0x3,-0x8(%rbp)
jge    1158 <main+0x38>
lea    0xeb9(%rip),%rdi
call   1030 <printf@plt>
movl   $0x1,-0x4(%rbp)
jmp    1451 <main+0x331>
mov    -0x8(%rbp),%eax
add    $0xffffffff,%eax
mov    %rsp,%rcx
mov    %rcx,-0x20(%rbp)
lea    0xf(,%rax,4),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x60(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x28(%rbp)
mov    -0x8(%rbp),%eax
add    $0xffffffff,%eax
lea    0xf(,%rax,4),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x58(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x30(%rbp)
movl   $0x1,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x8(%rbp),%eax
jae    1245 <main+0x125>
movl   $0x0,-0x18(%rbp)
cmpl   $0x3,-0x18(%rbp)
jae    11ef <main+0xcf>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    (%rax,%rcx,8),%rax
mov    -0x18(%rbp),%ecx
mov    (%rax,%rcx,1),%cl
mov    -0x18(%rbp),%eax
mov    %cl,-0x33(%rbp,%rax,1)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    11bf <main+0x9f>
mov    -0x33(%rbp),%al
mov    %al,-0x35(%rbp)
movb   $0x0,-0x34(%rbp)
lea    -0x35(%rbp),%rdi
call   1040 <atoi@plt>
mov    %eax,%edx
mov    -0x58(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
mov    %ecx,%ecx
mov    %edx,(%rax,%rcx,4)
mov    -0x31(%rbp),%al
mov    %al,-0x35(%rbp)
movb   $0x0,-0x34(%rbp)
lea    -0x35(%rbp),%rdi
call   1040 <atoi@plt>
mov    %eax,%edx
mov    -0x60(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
mov    %ecx,%ecx
mov    %edx,(%rax,%rcx,4)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    11ac <main+0x8c>
mov    -0x58(%rbp),%rcx
mov    (%rcx),%eax
mov    -0x8(%rbp),%edx
sub    $0x2,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jne    1275 <main+0x155>
mov    -0x60(%rbp),%rcx
mov    (%rcx),%eax
mov    -0x8(%rbp),%edx
sub    $0x2,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
je     1294 <main+0x174>
lea    0xda8(%rip),%rdi
call   1030 <printf@plt>
movl   $0x1,-0x4(%rbp)
movl   $0x1,-0x3c(%rbp)
jmp    144a <main+0x32a>
movl   $0x0,-0x40(%rbp)
movl   $0x0,-0x44(%rbp)
movl   $0x0,-0x48(%rbp)
movl   $0x0,-0x4c(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    -0x8(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jae    139a <main+0x27a>
mov    -0x58(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
cmp    -0x40(%rbp),%eax
jle    12ed <main+0x1cd>
mov    -0x58(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x64(%rbp)
jmp    12f3 <main+0x1d3>
mov    -0x40(%rbp),%eax
mov    %eax,-0x64(%rbp)
mov    -0x60(%rbp),%rax
mov    -0x64(%rbp),%ecx
mov    %ecx,-0x40(%rbp)
mov    -0x14(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
cmp    -0x48(%rbp),%eax
jle    131e <main+0x1fe>
mov    -0x60(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x68(%rbp)
jmp    1324 <main+0x204>
mov    -0x48(%rbp),%eax
mov    %eax,-0x68(%rbp)
mov    -0x58(%rbp),%rax
mov    -0x68(%rbp),%ecx
mov    %ecx,-0x48(%rbp)
mov    -0x14(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
cmp    -0x44(%rbp),%eax
jge    134f <main+0x22f>
mov    -0x58(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x6c(%rbp)
jmp    1355 <main+0x235>
mov    -0x44(%rbp),%eax
mov    %eax,-0x6c(%rbp)
mov    -0x60(%rbp),%rax
mov    -0x6c(%rbp),%ecx
mov    %ecx,-0x44(%rbp)
mov    -0x14(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
cmp    -0x4c(%rbp),%eax
jge    1380 <main+0x260>
mov    -0x60(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x70(%rbp)
jmp    1386 <main+0x266>
mov    -0x4c(%rbp),%eax
mov    %eax,-0x70(%rbp)
mov    -0x70(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    12b7 <main+0x197>
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    -0x8(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jae    1430 <main+0x310>
mov    -0x58(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
cmp    -0x40(%rbp),%eax
jge    141d <main+0x2fd>
mov    -0x58(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
cmp    -0x44(%rbp),%eax
jle    141d <main+0x2fd>
mov    -0x60(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
cmp    -0x48(%rbp),%eax
jge    141d <main+0x2fd>
mov    -0x60(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
cmp    -0x4c(%rbp),%eax
jle    141d <main+0x2fd>
lea    0xc3d(%rip),%rdi
call   1030 <printf@plt>
movl   $0x0,-0x4(%rbp)
movl   $0x1,-0x3c(%rbp)
jmp    144a <main+0x32a>
jmp    1422 <main+0x302>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    13a1 <main+0x281>
lea    0xc0d(%rip),%rdi
call   1030 <printf@plt>
movl   $0x0,-0x4(%rbp)
movl   $0x1,-0x3c(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,%rsp
mov    -0x4(%rbp),%eax
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
cmp    $0x2,%edi
jg     116c <main+0x2c>
lea    0xec1(%rip),%rdi
call   1040 <puts@plt>
mov    $0x1,%eax
jmp    15a9 <main+0x469>
mov    %rsi,%r12
mov    %rsp,-0x38(%rbp)
lea    -0x1(%rdi),%eax
mov    %rsp,%r14
mov    %rax,-0x48(%rbp)
lea    0xf(,%rax,4),%rax
and    $0xfffffffffffffff0,%rax
sub    %rax,%r14
mov    %r14,%rsp
mov    %rsp,%rcx
sub    %rax,%rcx
mov    %rcx,-0x40(%rbp)
mov    %rcx,%rsp
mov    %rdi,-0x50(%rbp)
mov    %edi,%eax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x58(%rbp)
xor    %r13d,%r13d
lea    -0x2a(%rbp),%rbx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    0x8(%r12,%r13,8),%rax
movzbl (%rax),%ecx
mov    %r14,%r15
movzbl 0x2(%rax),%r14d
mov    %cl,-0x2a(%rbp)
movb   $0x0,-0x29(%rbp)
mov    %rbx,%rdi
call   1060 <atoi@plt>
mov    -0x40(%rbp),%rcx
mov    %eax,(%rcx,%r13,4)
mov    %r14b,-0x2a(%rbp)
mov    %r15,%r14
movb   $0x0,-0x29(%rbp)
mov    %rbx,%rdi
call   1060 <atoi@plt>
mov    %eax,(%r15,%r13,4)
add    $0x1,%r13
cmp    %r13,-0x58(%rbp)
jne    11c0 <main+0x80>
mov    -0x40(%rbp),%r15
mov    (%r15),%r9d
mov    -0x50(%rbp),%rax
add    $0xfffffffe,%eax
cmp    (%r15,%rax,4),%r9d
jne    13b4 <main+0x274>
mov    (%r14),%ecx
cmp    (%r14,%rax,4),%ecx
jne    13b4 <main+0x274>
mov    -0x48(%rbp),%r11
test   %r11,%r11
je     1596 <main+0x456>
xor    %edi,%edi
test   %r9d,%r9d
mov    $0x0,%esi
cmovns %r9d,%esi
test   %ecx,%ecx
cmovns %ecx,%edi
mov    %r9d,%eax
sar    $0x1f,%eax
and    %r9d,%eax
mov    %ecx,%edx
sar    $0x1f,%edx
and    %ecx,%edx
cmp    $0x1,%r11d
je     1555 <main+0x415>
lea    -0x1(%r11),%r8
mov    $0x1,%r10d
cmp    $0x4,%r8
jb     1530 <main+0x3f0>
mov    %r8,%r10
and    $0xfffffffffffffffc,%r10
movd   %edx,%xmm0
pshufd $0x0,%xmm0,%xmm5
movd   %eax,%xmm0
pshufd $0x0,%xmm0,%xmm4
movd   %edi,%xmm0
pshufd $0x0,%xmm0,%xmm2
movd   %esi,%xmm0
pshufd $0x0,%xmm0,%xmm3
lea    -0x4(%r10),%rdx
mov    %rdx,%rax
shr    $0x2,%rax
add    $0x1,%rax
test   %rdx,%rdx
je     13ca <main+0x28a>
mov    %rax,%rsi
and    $0xfffffffffffffffe,%rsi
mov    $0x1,%edx
nopw   0x0(%rax,%rax,1)
movdqu (%r15,%rdx,4),%xmm0
movdqu 0x10(%r15,%rdx,4),%xmm8
movdqa %xmm0,%xmm6
pcmpgtd %xmm3,%xmm6
movdqa %xmm0,%xmm1
pand   %xmm6,%xmm1
pandn  %xmm3,%xmm6
por    %xmm1,%xmm6
movdqu (%r14,%rdx,4),%xmm3
movdqu 0x10(%r14,%rdx,4),%xmm9
movdqa %xmm3,%xmm7
pcmpgtd %xmm2,%xmm7
movdqa %xmm3,%xmm1
pand   %xmm7,%xmm1
pandn  %xmm2,%xmm7
por    %xmm1,%xmm7
movdqa %xmm4,%xmm1
pcmpgtd %xmm0,%xmm1
pand   %xmm1,%xmm0
pandn  %xmm4,%xmm1
por    %xmm0,%xmm1
movdqa %xmm5,%xmm0
pcmpgtd %xmm3,%xmm0
pand   %xmm0,%xmm3
pandn  %xmm5,%xmm0
por    %xmm3,%xmm0
movdqa %xmm8,%xmm3
pcmpgtd %xmm6,%xmm3
movdqa %xmm8,%xmm2
pand   %xmm3,%xmm2
pandn  %xmm6,%xmm3
por    %xmm2,%xmm3
movdqa %xmm9,%xmm2
pcmpgtd %xmm7,%xmm2
movdqa %xmm9,%xmm4
pand   %xmm2,%xmm4
pandn  %xmm7,%xmm2
por    %xmm4,%xmm2
movdqa %xmm1,%xmm4
pcmpgtd %xmm8,%xmm4
pand   %xmm4,%xmm8
pandn  %xmm1,%xmm4
por    %xmm8,%xmm4
movdqa %xmm0,%xmm5
pcmpgtd %xmm9,%xmm5
pand   %xmm5,%xmm9
pandn  %xmm0,%xmm5
por    %xmm9,%xmm5
add    $0x8,%rdx
add    $0xfffffffffffffffe,%rsi
jne    12d0 <main+0x190>
jmp    13cf <main+0x28f>
lea    0xc45(%rip),%rdi
call   1050 <printf@plt>
mov    $0x1,%eax
jmp    15a2 <main+0x462>
mov    $0x1,%edx
test   $0x1,%al
je     144c <main+0x30c>
movdqu (%r15,%rdx,4),%xmm0
movdqu (%r14,%rdx,4),%xmm8
movdqa %xmm0,%xmm6
pcmpgtd %xmm3,%xmm6
movdqa %xmm0,%xmm7
pand   %xmm6,%xmm7
pandn  %xmm3,%xmm6
por    %xmm7,%xmm6
movdqa %xmm8,%xmm7
pcmpgtd %xmm2,%xmm7
movdqa %xmm8,%xmm3
pand   %xmm7,%xmm3
pandn  %xmm2,%xmm7
por    %xmm3,%xmm7
movdqa %xmm4,%xmm1
pcmpgtd %xmm0,%xmm1
pand   %xmm1,%xmm0
pandn  %xmm4,%xmm1
por    %xmm0,%xmm1
movdqa %xmm5,%xmm0
pcmpgtd %xmm8,%xmm0
pand   %xmm0,%xmm8
pandn  %xmm5,%xmm0
por    %xmm8,%xmm0
movdqa %xmm6,%xmm3
movdqa %xmm7,%xmm2
movdqa %xmm1,%xmm4
movdqa %xmm0,%xmm5
pshufd $0xee,%xmm3,%xmm0
movdqa %xmm3,%xmm1
pcmpgtd %xmm0,%xmm1
pand   %xmm1,%xmm3
pandn  %xmm0,%xmm1
por    %xmm3,%xmm1
pshufd $0x55,%xmm1,%xmm0
movdqa %xmm1,%xmm3
pcmpgtd %xmm0,%xmm3
pand   %xmm3,%xmm1
pandn  %xmm0,%xmm3
por    %xmm1,%xmm3
movd   %xmm3,%esi
pshufd $0xee,%xmm2,%xmm0
movdqa %xmm2,%xmm1
pcmpgtd %xmm0,%xmm1
pand   %xmm1,%xmm2
pandn  %xmm0,%xmm1
por    %xmm2,%xmm1
pshufd $0x55,%xmm1,%xmm0
movdqa %xmm1,%xmm2
pcmpgtd %xmm0,%xmm2
pand   %xmm2,%xmm1
pandn  %xmm0,%xmm2
por    %xmm1,%xmm2
movd   %xmm2,%edi
pshufd $0xee,%xmm4,%xmm0
movdqa %xmm0,%xmm1
pcmpgtd %xmm4,%xmm1
pand   %xmm1,%xmm4
pandn  %xmm0,%xmm1
por    %xmm4,%xmm1
pshufd $0x55,%xmm1,%xmm0
movdqa %xmm0,%xmm2
pcmpgtd %xmm1,%xmm2
pand   %xmm2,%xmm1
pandn  %xmm0,%xmm2
por    %xmm1,%xmm2
movd   %xmm2,%eax
pshufd $0xee,%xmm5,%xmm0
movdqa %xmm0,%xmm1
pcmpgtd %xmm5,%xmm1
pand   %xmm1,%xmm5
pandn  %xmm0,%xmm1
por    %xmm5,%xmm1
pshufd $0x55,%xmm1,%xmm0
movdqa %xmm0,%xmm2
pcmpgtd %xmm1,%xmm2
pand   %xmm2,%xmm1
pandn  %xmm0,%xmm2
por    %xmm1,%xmm2
movd   %xmm2,%edx
cmp    %r10,%r8
je     1555 <main+0x415>
or     $0x1,%r10
nopl   (%rax)
mov    (%r15,%r10,4),%ebx
cmp    %esi,%ebx
cmovg  %ebx,%esi
mov    (%r14,%r10,4),%ecx
cmp    %edi,%ecx
cmovg  %ecx,%edi
cmp    %eax,%ebx
cmovl  %ebx,%eax
cmp    %edx,%ecx
cmovl  %ecx,%edx
add    $0x1,%r10
cmp    %r10,%r11
jne    1530 <main+0x3f0>
test   %r11,%r11
je     1596 <main+0x456>
add    $0xffffffffffffffff,%r11
xor    %ecx,%ecx
cmp    %esi,%r9d
jge    1581 <main+0x441>
cs nopw 0x0(%rax,%rax,1)
nop
cmp    %eax,%r9d
jle    1581 <main+0x441>
mov    (%r14,%rcx,4),%ebx
cmp    %edi,%ebx
jge    1581 <main+0x441>
cmp    %edx,%ebx
jg     15b8 <main+0x478>
cmp    %rcx,%r11
je     1596 <main+0x456>
mov    0x4(%r15,%rcx,4),%r9d
add    $0x1,%rcx
cmp    %esi,%r9d
jl     1570 <main+0x430>
jmp    1581 <main+0x441>
mov    $0x31,%edi
call   1030 <putchar@plt>
xor    %eax,%eax
mov    -0x38(%rbp),%rcx
mov    %rcx,%rsp
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    $0x32,%edi
jmp    159b <main+0x45b>

LLVM IR (-O0):
@.str = [36 x i8] c"Nombre de param\C3\A8tres insuffisants\0A\00"
@.str.1 = [30 x i8] c"Le polygone n'est pas complet\00"
@.str.2 = [2 x i8] c"2\00"
@.str.3 = [2 x i8] c"1\00"
define i32 @main(i32 %0, i8** %1) {
%3 = alloca i32
%4 = alloca i32
%5 = alloca i8**
%6 = alloca i32
%7 = alloca i32
%8 = alloca i8*
%9 = alloca i64
%10 = alloca i64
%11 = alloca [3 x i8]
%12 = alloca [2 x i8]
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
store i32 0, i32* %3
store i32 %0, i32* %4
store i8** %1, i8*** %5
%18 = load i32, i32* %4
%19 = icmp slt i32 %18, 3
br i1 %19, label %20, label %22
20: ; preds = %2
%21 = call i32 @printf(i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str, i64 0, i64 0))
store i32 1, i32* %3
br label %214
22: ; preds = %2
%23 = load i32, i32* %4
%24 = sub nsw i32 %23, 1
%25 = zext i32 %24 to i64
%26 = call i8* @llvm.stacksave()
store i8* %26, i8** %8
%27 = alloca i32, i64 %25
store i64 %25, i64* %9
%28 = load i32, i32* %4
%29 = sub nsw i32 %28, 1
%30 = zext i32 %29 to i64
%31 = alloca i32, i64 %30
store i64 %30, i64* %10
store i32 1, i32* %6
br label %32
32: ; preds = %77, %22
%33 = load i32, i32* %6
%34 = load i32, i32* %4
%35 = icmp ult i32 %33, %34
br i1 %35, label %36, label %80
36: ; preds = %32
store i32 0, i32* %7
br label %37
37: ; preds = %53, %36
%38 = load i32, i32* %7
%39 = icmp ult i32 %38, 3
br i1 %39, label %40, label %56
40: ; preds = %37
%41 = load i8**, i8*** %5
%42 = load i32, i32* %6
%43 = zext i32 %42 to i64
%44 = getelementptr inbounds i8*, i8** %41, i64 %43
%45 = load i8*, i8** %44
%46 = load i32, i32* %7
%47 = zext i32 %46 to i64
%48 = getelementptr inbounds i8, i8* %45, i64 %47
%49 = load i8, i8* %48
%50 = load i32, i32* %7
%51 = zext i32 %50 to i64
%52 = getelementptr inbounds [3 x i8], [3 x i8]* %11, i64 0, i64 %51
store i8 %49, i8* %52
br label %53
53: ; preds = %40
%54 = load i32, i32* %7
%55 = add i32 %54, 1
store i32 %55, i32* %7
br label %37
56: ; preds = %37
%57 = getelementptr inbounds [3 x i8], [3 x i8]* %11, i64 0, i64 0
%58 = load i8, i8* %57
%59 = getelementptr inbounds [2 x i8], [2 x i8]* %12, i64 0, i64 0
store i8 %58, i8* %59
%60 = getelementptr inbounds [2 x i8], [2 x i8]* %12, i64 0, i64 1
store i8 0, i8* %60
%61 = getelementptr inbounds [2 x i8], [2 x i8]* %12, i64 0, i64 0
%62 = call i32 @atoi(i8* %61)
%63 = load i32, i32* %6
%64 = sub i32 %63, 1
%65 = zext i32 %64 to i64
%66 = getelementptr inbounds i32, i32* %31, i64 %65
store i32 %62, i32* %66
%67 = getelementptr inbounds [3 x i8], [3 x i8]* %11, i64 0, i64 2
%68 = load i8, i8* %67
%69 = getelementptr inbounds [2 x i8], [2 x i8]* %12, i64 0, i64 0
store i8 %68, i8* %69
%70 = getelementptr inbounds [2 x i8], [2 x i8]* %12, i64 0, i64 1
store i8 0, i8* %70
%71 = getelementptr inbounds [2 x i8], [2 x i8]* %12, i64 0, i64 0
%72 = call i32 @atoi(i8* %71)
%73 = load i32, i32* %6
%74 = sub i32 %73, 1
%75 = zext i32 %74 to i64
%76 = getelementptr inbounds i32, i32* %27, i64 %75
store i32 %72, i32* %76
br label %77
77: ; preds = %56
%78 = load i32, i32* %6
%79 = add i32 %78, 1
store i32 %79, i32* %6
br label %32
80: ; preds = %32
%81 = getelementptr inbounds i32, i32* %31, i64 0
%82 = load i32, i32* %81
%83 = load i32, i32* %4
%84 = sub nsw i32 %83, 2
%85 = sext i32 %84 to i64
%86 = getelementptr inbounds i32, i32* %31, i64 %85
%87 = load i32, i32* %86
%88 = icmp ne i32 %82, %87
br i1 %88, label %98, label %89
89: ; preds = %80
%90 = getelementptr inbounds i32, i32* %27, i64 0
%91 = load i32, i32* %90
%92 = load i32, i32* %4
%93 = sub nsw i32 %92, 2
%94 = sext i32 %93 to i64
%95 = getelementptr inbounds i32, i32* %27, i64 %94
%96 = load i32, i32* %95
%97 = icmp ne i32 %91, %96
br i1 %97, label %98, label %100
98: ; preds = %89, %80
%99 = call i32 @printf(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.1, i64 0, i64 0))
store i32 1, i32* %3
store i32 1, i32* %13
br label %212
100: ; preds = %89
store i32 0, i32* %14
store i32 0, i32* %15
store i32 0, i32* %16
store i32 0, i32* %17
store i32 0, i32* %6
br label %101
101: ; preds = %167, %100
%102 = load i32, i32* %6
%103 = load i32, i32* %4
%104 = sub nsw i32 %103, 1
%105 = icmp ult i32 %102, %104
br i1 %105, label %106, label %170
106: ; preds = %101
%107 = load i32, i32* %6
%108 = zext i32 %107 to i64
%109 = getelementptr inbounds i32, i32* %31, i64 %108
%110 = load i32, i32* %109
%111 = load i32, i32* %14
%112 = icmp sgt i32 %110, %111
br i1 %112, label %113, label %118
113: ; preds = %106
%114 = load i32, i32* %6
%115 = zext i32 %114 to i64
%116 = getelementptr inbounds i32, i32* %31, i64 %115
%117 = load i32, i32* %116
br label %120
118: ; preds = %106
%119 = load i32, i32* %14
br label %120
120: ; preds = %118, %113
%121 = phi i32 [ %117, %113 ], [ %119, %118 ]
store i32 %121, i32* %14
%122 = load i32, i32* %6
%123 = zext i32 %122 to i64
%124 = getelementptr inbounds i32, i32* %27, i64 %123
%125 = load i32, i32* %124
%126 = load i32, i32* %16
%127 = icmp sgt i32 %125, %126
br i1 %127, label %128, label %133
128: ; preds = %120
%129 = load i32, i32* %6
%130 = zext i32 %129 to i64
%131 = getelementptr inbounds i32, i32* %27, i64 %130
%132 = load i32, i32* %131
br label %135
133: ; preds = %120
%134 = load i32, i32* %16
br label %135
135: ; preds = %133, %128
%136 = phi i32 [ %132, %128 ], [ %134, %133 ]
store i32 %136, i32* %16
%137 = load i32, i32* %6
%138 = zext i32 %137 to i64
%139 = getelementptr inbounds i32, i32* %31, i64 %138
%140 = load i32, i32* %139
%141 = load i32, i32* %15
%142 = icmp slt i32 %140, %141
br i1 %142, label %143, label %148
143: ; preds = %135
%144 = load i32, i32* %6
%145 = zext i32 %144 to i64
%146 = getelementptr inbounds i32, i32* %31, i64 %145
%147 = load i32, i32* %146
br label %150
148: ; preds = %135
%149 = load i32, i32* %15
br label %150
150: ; preds = %148, %143
%151 = phi i32 [ %147, %143 ], [ %149, %148 ]
store i32 %151, i32* %15
%152 = load i32, i32* %6
%153 = zext i32 %152 to i64
%154 = getelementptr inbounds i32, i32* %27, i64 %153
%155 = load i32, i32* %154
%156 = load i32, i32* %17
%157 = icmp slt i32 %155, %156
br i1 %157, label %158, label %163
158: ; preds = %150
%159 = load i32, i32* %6
%160 = zext i32 %159 to i64
%161 = getelementptr inbounds i32, i32* %27, i64 %160
%162 = load i32, i32* %161
br label %165
163: ; preds = %150
%164 = load i32, i32* %17
br label %165
165: ; preds = %163, %158
%166 = phi i32 [ %162, %158 ], [ %164, %163 ]
store i32 %166, i32* %17
br label %167
167: ; preds = %165
%168 = load i32, i32* %6
%169 = add i32 %168, 1
store i32 %169, i32* %6
br label %101
170: ; preds = %101
store i32 0, i32* %6
br label %171
171: ; preds = %207, %170
%172 = load i32, i32* %6
%173 = load i32, i32* %4
%174 = sub nsw i32 %173, 1
%175 = icmp ult i32 %172, %174
br i1 %175, label %176, label %210
176: ; preds = %171
%177 = load i32, i32* %6
%178 = zext i32 %177 to i64
%179 = getelementptr inbounds i32, i32* %31, i64 %178
%180 = load i32, i32* %179
%181 = load i32, i32* %14
%182 = icmp slt i32 %180, %181
br i1 %182, label %183, label %206
183: ; preds = %176
%184 = load i32, i32* %6
%185 = zext i32 %184 to i64
%186 = getelementptr inbounds i32, i32* %31, i64 %185
%187 = load i32, i32* %186
%188 = load i32, i32* %15
%189 = icmp sgt i32 %187, %188
br i1 %189, label %190, label %206
190: ; preds = %183
%191 = load i32, i32* %6
%192 = zext i32 %191 to i64
%193 = getelementptr inbounds i32, i32* %27, i64 %192
%194 = load i32, i32* %193
%195 = load i32, i32* %16
%196 = icmp slt i32 %194, %195
br i1 %196, label %197, label %206
197: ; preds = %190
%198 = load i32, i32* %6
%199 = zext i32 %198 to i64
%200 = getelementptr inbounds i32, i32* %27, i64 %199
%201 = load i32, i32* %200
%202 = load i32, i32* %17
%203 = icmp sgt i32 %201, %202
br i1 %203, label %204, label %206
204: ; preds = %197
%205 = call i32 @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.2, i64 0, i64 0))
store i32 0, i32* %3
store i32 1, i32* %13
br label %212
206: ; preds = %197, %190, %183, %176
br label %207
207: ; preds = %206
%208 = load i32, i32* %6
%209 = add i32 %208, 1
store i32 %209, i32* %6
br label %171
210: ; preds = %171
%211 = call i32 @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.3, i64 0, i64 0))
store i32 0, i32* %3
store i32 1, i32* %13
br label %212
212: ; preds = %210, %204, %98
%213 = load i8*, i8** %8
br label %214
214: ; preds = %212, %20
%215 = load i32, i32* %3
ret i32 %215
}

LLVM IR (-O2):
@.str.1 = [30 x i8] c"Le polygone n'est pas complet\00"
@str = [35 x i8] c"Nombre de param\C3\A8tres insuffisants\00"
define i32 @main(i32 %0, i8** nocapture %1) {
%3 = alloca [2 x i8]
%4 = icmp slt i32 %0, 3
br i1 %4, label %5, label %7
5: ; preds = %2
%6 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([35 x i8], [35 x i8]* @str, i64 0, i64 0))
br label %210
7: ; preds = %2
%8 = add nsw i32 %0, -1
%9 = zext i32 %8 to i64
%10 = tail call i8* @llvm.stacksave()
%11 = alloca i32, i64 %9
%12 = alloca i32, i64 %9
%13 = getelementptr inbounds [2 x i8], [2 x i8]* %3, i64 0, i64 0
%14 = getelementptr inbounds [2 x i8], [2 x i8]* %3, i64 0, i64 1
%15 = zext i32 %0 to i64
br label %16
16: ; preds = %7, %16
%17 = phi i64 [ 1, %7 ], [ %28, %16 ]
%18 = getelementptr inbounds i8*, i8** %1, i64 %17
%19 = load i8*, i8** %18
%20 = load i8, i8* %19
%21 = getelementptr inbounds i8, i8* %19, i64 2
%22 = load i8, i8* %21
store i8 %20, i8* %13
store i8 0, i8* %14
%23 = call i32 @atoi(i8* %13)
%24 = add nsw i64 %17, -1
%25 = getelementptr inbounds i32, i32* %12, i64 %24
store i32 %23, i32* %25
store i8 %22, i8* %13
store i8 0, i8* %14
%26 = call i32 @atoi(i8* %13)
%27 = getelementptr inbounds i32, i32* %11, i64 %24
store i32 %26, i32* %27
%28 = add nuw nsw i64 %17, 1
%29 = icmp eq i64 %28, %15
br i1 %29, label %30, label %16
30: ; preds = %16
%31 = load i32, i32* %12
%32 = add nsw i32 %0, -2
%33 = zext i32 %32 to i64
%34 = getelementptr inbounds i32, i32* %12, i64 %33
%35 = load i32, i32* %34
%36 = icmp eq i32 %31, %35
br i1 %36, label %37, label %159
37: ; preds = %30
%38 = load i32, i32* %11
%39 = getelementptr inbounds i32, i32* %11, i64 %33
%40 = load i32, i32* %39
%41 = icmp eq i32 %38, %40
br i1 %41, label %42, label %159
42: ; preds = %37
%43 = icmp eq i32 %8, 0
br i1 %43, label %206, label %44
44: ; preds = %42
%45 = icmp sgt i32 %31, 0
%46 = select i1 %45, i32 %31, i32 0
%47 = icmp sgt i32 %38, 0
%48 = select i1 %47, i32 %38, i32 0
%49 = icmp slt i32 %31, 0
%50 = select i1 %49, i32 %31, i32 0
%51 = icmp slt i32 %38, 0
%52 = select i1 %51, i32 %38, i32 0
%53 = icmp eq i32 %8, 1
br i1 %53, label %161, label %54
54: ; preds = %44
%55 = add nsw i64 %9, -1
%56 = icmp ult i64 %55, 4
br i1 %56, label %153, label %57
57: ; preds = %54
%58 = and i64 %55, -4
%59 = or i64 %58, 1
%60 = insertelement <4 x i32> poison, i32 %52, i64 0
%61 = shufflevector <4 x i32> %60, <4 x i32> poison, <4 x i32> zeroinitializer
%62 = insertelement <4 x i32> poison, i32 %50, i64 0
%63 = shufflevector <4 x i32> %62, <4 x i32> poison, <4 x i32> zeroinitializer
%64 = insertelement <4 x i32> poison, i32 %48, i64 0
%65 = shufflevector <4 x i32> %64, <4 x i32> poison, <4 x i32> zeroinitializer
%66 = insertelement <4 x i32> poison, i32 %46, i64 0
%67 = shufflevector <4 x i32> %66, <4 x i32> poison, <4 x i32> zeroinitializer
%68 = add nsw i64 %58, -4
%69 = lshr exact i64 %68, 2
%70 = add nuw nsw i64 %69, 1
%71 = and i64 %70, 1
%72 = icmp eq i64 %68, 0
br i1 %72, label %117, label %73
73: ; preds = %57
%74 = and i64 %70, 9223372036854775806
br label %75
75: ; preds = %75, %73
%76 = phi i64 [ 0, %73 ], [ %112, %75 ]
%77 = phi <4 x i32> [ %61, %73 ], [ %111, %75 ]
%78 = phi <4 x i32> [ %63, %73 ], [ %109, %75 ]
%79 = phi <4 x i32> [ %65, %73 ], [ %107, %75 ]
%80 = phi <4 x i32> [ %67, %73 ], [ %105, %75 ]
%81 = phi i64 [ 0, %73 ], [ %113, %75 ]
%82 = or i64 %76, 1
%83 = getelementptr inbounds i32, i32* %12, i64 %82
%84 = bitcast i32* %83 to <4 x i32>*
%85 = load <4 x i32>, <4 x i32>* %84
%86 = getelementptr inbounds i32, i32* %11, i64 %82
%87 = bitcast i32* %86 to <4 x i32>*
%88 = load <4 x i32>, <4 x i32>* %87
%89 = icmp sgt <4 x i32> %85, %80
%90 = select <4 x i1> %89, <4 x i32> %85, <4 x i32> %80
%91 = icmp sgt <4 x i32> %88, %79
%92 = select <4 x i1> %91, <4 x i32> %88, <4 x i32> %79
%93 = icmp slt <4 x i32> %85, %78
%94 = select <4 x i1> %93, <4 x i32> %85, <4 x i32> %78
%95 = icmp slt <4 x i32> %88, %77
%96 = select <4 x i1> %95, <4 x i32> %88, <4 x i32> %77
%97 = or i64 %76, 5
%98 = getelementptr inbounds i32, i32* %12, i64 %97
%99 = bitcast i32* %98 to <4 x i32>*
%100 = load <4 x i32>, <4 x i32>* %99
%101 = getelementptr inbounds i32, i32* %11, i64 %97
%102 = bitcast i32* %101 to <4 x i32>*
%103 = load <4 x i32>, <4 x i32>* %102
%104 = icmp sgt <4 x i32> %100, %90
%105 = select <4 x i1> %104, <4 x i32> %100, <4 x i32> %90
%106 = icmp sgt <4 x i32> %103, %92
%107 = select <4 x i1> %106, <4 x i32> %103, <4 x i32> %92
%108 = icmp slt <4 x i32> %100, %94
%109 = select <4 x i1> %108, <4 x i32> %100, <4 x i32> %94
%110 = icmp slt <4 x i32> %103, %96
%111 = select <4 x i1> %110, <4 x i32> %103, <4 x i32> %96
%112 = add nuw i64 %76, 8
%113 = add i64 %81, 2
%114 = icmp eq i64 %113, %74
br i1 %114, label %115, label %75
115: ; preds = %75
%116 = or i64 %112, 1
br label %117
117: ; preds = %115, %57
%118 = phi <4 x i32> [ undef, %57 ], [ %105, %115 ]
%119 = phi <4 x i32> [ undef, %57 ], [ %107, %115 ]
%120 = phi <4 x i32> [ undef, %57 ], [ %109, %115 ]
%121 = phi <4 x i32> [ undef, %57 ], [ %111, %115 ]
%122 = phi i64 [ 1, %57 ], [ %116, %115 ]
%123 = phi <4 x i32> [ %61, %57 ], [ %111, %115 ]
%124 = phi <4 x i32> [ %63, %57 ], [ %109, %115 ]
%125 = phi <4 x i32> [ %65, %57 ], [ %107, %115 ]
%126 = phi <4 x i32> [ %67, %57 ], [ %105, %115 ]
%127 = icmp eq i64 %71, 0
br i1 %127, label %143, label %128
128: ; preds = %117
%129 = getelementptr inbounds i32, i32* %12, i64 %122
%130 = bitcast i32* %129 to <4 x i32>*
%131 = load <4 x i32>, <4 x i32>* %130
%132 = getelementptr inbounds i32, i32* %11, i64 %122
%133 = bitcast i32* %132 to <4 x i32>*
%134 = load <4 x i32>, <4 x i32>* %133
%135 = icmp sgt <4 x i32> %131, %126
%136 = select <4 x i1> %135, <4 x i32> %131, <4 x i32> %126
%137 = icmp sgt <4 x i32> %134, %125
%138 = select <4 x i1> %137, <4 x i32> %134, <4 x i32> %125
%139 = icmp slt <4 x i32> %131, %124
%140 = select <4 x i1> %139, <4 x i32> %131, <4 x i32> %124
%141 = icmp slt <4 x i32> %134, %123
%142 = select <4 x i1> %141, <4 x i32> %134, <4 x i32> %123
br label %143
143: ; preds = %117, %128
%144 = phi <4 x i32> [ %118, %117 ], [ %136, %128 ]
%145 = phi <4 x i32> [ %119, %117 ], [ %138, %128 ]
%146 = phi <4 x i32> [ %120, %117 ], [ %140, %128 ]
%147 = phi <4 x i32> [ %121, %117 ], [ %142, %128 ]
%148 = call i32 @llvm.vector.reduce.smax.v4i32(<4 x i32> %144)
%149 = call i32 @llvm.vector.reduce.smax.v4i32(<4 x i32> %145)
%150 = call i32 @llvm.vector.reduce.smin.v4i32(<4 x i32> %146)
%151 = call i32 @llvm.vector.reduce.smin.v4i32(<4 x i32> %147)
%152 = icmp eq i64 %55, %58
br i1 %152, label %161, label %153
153: ; preds = %54, %143
%154 = phi i64 [ 1, %54 ], [ %59, %143 ]
%155 = phi i32 [ %52, %54 ], [ %151, %143 ]
%156 = phi i32 [ %50, %54 ], [ %150, %143 ]
%157 = phi i32 [ %48, %54 ], [ %149, %143 ]
%158 = phi i32 [ %46, %54 ], [ %148, %143 ]
br label %166
159: ; preds = %37, %30
%160 = tail call i32 @printf(i8* dereferenceable(1) getelementptr inbounds ([30 x i8], [30 x i8]* @.str.1, i64 0, i64 0))
br label %208
161: ; preds = %166, %143, %44
%162 = phi i32 [ %46, %44 ], [ %148, %143 ], [ %177, %166 ]
%163 = phi i32 [ %48, %44 ], [ %149, %143 ], [ %179, %166 ]
%164 = phi i32 [ %50, %44 ], [ %150, %143 ], [ %181, %166 ]
%165 = phi i32 [ %52, %44 ], [ %151, %143 ], [ %183, %166 ]
br i1 %43, label %206, label %186
166: ; preds = %153, %166
%167 = phi i64 [ %184, %166 ], [ %154, %153 ]
%168 = phi i32 [ %183, %166 ], [ %155, %153 ]
%169 = phi i32 [ %181, %166 ], [ %156, %153 ]
%170 = phi i32 [ %179, %166 ], [ %157, %153 ]
%171 = phi i32 [ %177, %166 ], [ %158, %153 ]
%172 = getelementptr inbounds i32, i32* %12, i64 %167
%173 = load i32, i32* %172
%174 = getelementptr inbounds i32, i32* %11, i64 %167
%175 = load i32, i32* %174
%176 = icmp sgt i32 %173, %171
%177 = select i1 %176, i32 %173, i32 %171
%178 = icmp sgt i32 %175, %170
%179 = select i1 %178, i32 %175, i32 %170
%180 = icmp slt i32 %173, %169
%181 = select i1 %180, i32 %173, i32 %169
%182 = icmp slt i32 %175, %168
%183 = select i1 %182, i32 %175, i32 %168
%184 = add nuw nsw i64 %167, 1
%185 = icmp eq i64 %184, %9
br i1 %185, label %161, label %166
186: ; preds = %161, %203
%187 = phi i32 [ %205, %203 ], [ %31, %161 ]
%188 = phi i64 [ %201, %203 ], [ 0, %161 ]
%189 = icmp slt i32 %187, %162
%190 = icmp sgt i32 %187, %164
%191 = select i1 %189, i1 %190, i1 false
br i1 %191, label %192, label %200
192: ; preds = %186
%193 = getelementptr inbounds i32, i32* %11, i64 %188
%194 = load i32, i32* %193
%195 = icmp slt i32 %194, %163
%196 = icmp sgt i32 %194, %165
%197 = select i1 %195, i1 %196, i1 false
br i1 %197, label %198, label %200
198: ; preds = %192
%199 = tail call i32 @putchar(i32 50)
br label %208
200: ; preds = %186, %192
%201 = add nuw nsw i64 %188, 1
%202 = icmp eq i64 %201, %9
br i1 %202, label %206, label %203
203: ; preds = %200
%204 = getelementptr inbounds i32, i32* %12, i64 %201
%205 = load i32, i32* %204
br label %186
206: ; preds = %200, %42, %161
%207 = tail call i32 @putchar(i32 49)
br label %208
208: ; preds = %198, %206, %159
%209 = phi i32 [ 1, %159 ], [ 0, %206 ], [ 0, %198 ]
tail call void @llvm.stackrestore(i8* %10)
br label %210
210: ; preds = %208, %5
%211 = phi i32 [ 1, %5 ], [ %209, %208 ]
ret i32 %211
}