#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 */
typedef int /*<<< orphan*/ buf;
typedef int /*<<< orphan*/ FILE;

/* Variables and functions */
int /*<<< orphan*/ fin_connection(int /*<<< orphan*/ *, char *);
int /*<<< orphan*/ my_fgets(char *, int, int /*<<< orphan*/ *);
scalar_t__ strncmp(char *, char *, int);
void lit_get(FILE *stream, char *url, int size) {
  char buf[4096];
  int i, j;
  my_fgets(buf, sizeof(buf), stream);
  if (strncmp(buf, "GET", 3))
    fin_connection(stream, "la requete n'est pas GET");
  for (i = 3; buf[i] == ' '; i++)
    ;
  if (!strncmp(buf + i, "http://", 7))
    i += 7;
  for (; buf[i] && buf[i] != '/'; i++)
    ;
  if (buf[i] == '/')
    i++;
  for (j = 0; buf[i] && buf[i] != ' ' && j < size - 1; j++, i++)
    url[j] = buf[i];
  url[j] = 0;
  for (; buf[i] == ' '; i++)
    ;
  if (strncmp(buf + i, "HTTP/1.", 7))
    fin_connection(stream, "la version n'est pas HTTP/1.1");
}


x86 assembly (clang, -O0):
<lit_get>:
push   %rbp
mov    %rsp,%rbp
sub    $0x1030,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
lea    -0x1020(%rbp),%rdi
mov    -0x8(%rbp),%rdx
mov    $0x1000,%esi
call   1040 <my_fgets@plt>
lea    -0x1020(%rbp),%rdi
lea    0xeac(%rip),%rsi
mov    $0x3,%edx
call   1030 <strncmp@plt>
cmp    $0x0,%rax
je     118d <lit_get+0x5d>
mov    -0x8(%rbp),%rdi
lea    0xe78(%rip),%rsi
call   1050 <fin_connection@plt>
movl   $0x3,-0x1024(%rbp)
movslq -0x1024(%rbp),%rax
movsbl -0x1020(%rbp,%rax,1),%eax
ff
cmp    $0x20,%eax
jne    11c8 <lit_get+0x98>
jmp    11b4 <lit_get+0x84>
mov    -0x1024(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1024(%rbp)
jmp    1197 <lit_get+0x67>
lea    -0x1020(%rbp),%rdi
movslq -0x1024(%rbp),%rax
add    %rax,%rdi
lea    0xe39(%rip),%rsi
mov    $0x7,%edx
call   1030 <strncmp@plt>
cmp    $0x0,%rax
jne    1203 <lit_get+0xd3>
mov    -0x1024(%rbp),%eax
add    $0x7,%eax
mov    %eax,-0x1024(%rbp)
jmp    1208 <lit_get+0xd8>
movslq -0x1024(%rbp),%rax
movsbl -0x1020(%rbp,%rax,1),%ecx
ff
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x1029(%rbp)
je     1243 <lit_get+0x113>
movslq -0x1024(%rbp),%rax
movsbl -0x1020(%rbp,%rax,1),%eax
ff
cmp    $0x2f,%eax
setne  %al
mov    %al,-0x1029(%rbp)
mov    -0x1029(%rbp),%al
test   $0x1,%al
jne    1256 <lit_get+0x126>
jmp    126f <lit_get+0x13f>
jmp    125b <lit_get+0x12b>
mov    -0x1024(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1024(%rbp)
jmp    1208 <lit_get+0xd8>
movslq -0x1024(%rbp),%rax
movsbl -0x1020(%rbp,%rax,1),%eax
ff
cmp    $0x2f,%eax
jne    1296 <lit_get+0x166>
mov    -0x1024(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1024(%rbp)
movl   $0x0,-0x1028(%rbp)
movslq -0x1024(%rbp),%rax
movsbl -0x1020(%rbp,%rax,1),%ecx
ff
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x102a(%rbp)
je     12f7 <lit_get+0x1c7>
movslq -0x1024(%rbp),%rax
movsbl -0x1020(%rbp,%rax,1),%ecx
ff
xor    %eax,%eax
cmp    $0x20,%ecx
mov    %al,-0x102a(%rbp)
je     12f7 <lit_get+0x1c7>
mov    -0x1028(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
setl   %al
mov    %al,-0x102a(%rbp)
mov    -0x102a(%rbp),%al
test   $0x1,%al
jne    130a <lit_get+0x1da>
jmp    1349 <lit_get+0x219>
movslq -0x1024(%rbp),%rax
mov    -0x1020(%rbp,%rax,1),%dl
mov    -0x10(%rbp),%rax
movslq -0x1028(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x1028(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1028(%rbp)
mov    -0x1024(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1024(%rbp)
jmp    12a0 <lit_get+0x170>
mov    -0x10(%rbp),%rax
movslq -0x1028(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
movslq -0x1024(%rbp),%rax
movsbl -0x1020(%rbp,%rax,1),%eax
ff
cmp    $0x20,%eax
jne    1389 <lit_get+0x259>
jmp    1375 <lit_get+0x245>
mov    -0x1024(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1024(%rbp)
jmp    1358 <lit_get+0x228>
lea    -0x1020(%rbp),%rdi
movslq -0x1024(%rbp),%rax
add    %rax,%rdi
lea    0xc80(%rip),%rsi
mov    $0x7,%edx
call   1030 <strncmp@plt>
cmp    $0x0,%rax
je     13c5 <lit_get+0x295>
mov    -0x8(%rbp),%rdi
lea    0xc69(%rip),%rsi
call   1050 <fin_connection@plt>
add    $0x1030,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<lit_get>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x1008,%rsp
mov    %edx,%r13d
mov    %rsi,%r12
mov    %rdi,%r14
mov    %rsp,%r15
mov    %r15,%rdi
mov    $0x1000,%esi
mov    %r14,%rdx
call   1040 <my_fgets@plt>
lea    0xeb1(%rip),%rsi
mov    %r15,%rdi
mov    $0x3,%edx
call   1030 <strncmp@plt>
test   %rax,%rax
je     1185 <lit_get+0x55>
lea    0xe83(%rip),%rsi
mov    %r14,%rdi
call   1050 <fin_connection@plt>
mov    $0x9,%ebp
nopw   0x0(%rax,%rax,1)
cmpb   $0x20,-0x6(%rsp,%rbp,1)
lea    0x1(%rbp),%rbp
je     1190 <lit_get+0x60>
lea    -0x7(%rbp),%rbx
mov    %ebx,%eax
lea    (%rsp,%rax,1),%rdi
lea    0xe6d(%rip),%rsi
mov    $0x7,%edx
call   1030 <strncmp@plt>
test   %rax,%rax
cmove  %rbp,%rbx
mov    %ebx,%eax
add    %rsp,%rax
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movzbl (%rax),%ecx
test   %cl,%cl
je     11e5 <lit_get+0xb5>
cmp    $0x2f,%cl
je     11e5 <lit_get+0xb5>
add    $0x1,%ebx
add    $0x1,%rax
jmp    11d0 <lit_get+0xa0>
xor    %eax,%eax
cmp    $0x2f,%cl
sete   %al
add    $0xffffffff,%r13d
xor    %edx,%edx
test   %r13d,%r13d
cmovle %edx,%r13d
lea    (%rax,%r13,1),%ecx
add    %ebx,%ecx
add    %ebx,%eax
lea    (%rsp,%rax,1),%rsi
cs nopw 0x0(%rax,%rax,1)
movzbl (%rsi,%rdx,1),%ebx
test   $0xdf,%bl
je     1228 <lit_get+0xf8>
cmp    %rdx,%r13
je     122f <lit_get+0xff>
mov    %bl,(%r12,%rdx,1)
add    $0x1,%rdx
jmp    1210 <lit_get+0xe0>
add    %edx,%eax
mov    %eax,%ecx
mov    %edx,%r13d
mov    %r13d,%eax
movb   $0x0,(%r12,%rax,1)
movslq %ecx,%rax
lea    (%rax,%r15,1),%rdi
add    $0xffffffffffffffff,%rdi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
cmpb   $0x20,0x1(%rdi)
lea    0x1(%rdi),%rdi
je     1250 <lit_get+0x120>
lea    0xdc0(%rip),%rsi
mov    $0x7,%edx
call   1030 <strncmp@plt>
test   %rax,%rax
je     127f <lit_get+0x14f>
lea    0xdb2(%rip),%rsi
mov    %r14,%rdi
call   1050 <fin_connection@plt>
add    $0x1008,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [4 x i8] c"GET\00"
@.str.1 = [25 x i8] c"la requete n'est pas GET\00"
@.str.2 = [8 x i8] c"http://\00"
@.str.3 = [8 x i8] c"HTTP/1.\00"
@.str.4 = [30 x i8] c"la version n'est pas HTTP/1.1\00"
define void @lit_get(i32* %0, i8* %1, i32 %2) {
%4 = alloca i32*
%5 = alloca i8*
%6 = alloca i32
%7 = alloca [4096 x i8]
%8 = alloca i32
%9 = alloca i32
store i32* %0, i32** %4
store i8* %1, i8** %5
store i32 %2, i32* %6
%10 = getelementptr inbounds [4096 x i8], [4096 x i8]* %7, i64 0, i64 0
%11 = load i32*, i32** %4
%12 = call i32 @my_fgets(i8* %10, i32 4096, i32* %11)
%13 = getelementptr inbounds [4096 x i8], [4096 x i8]* %7, i64 0, i64 0
%14 = call i64 @strncmp(i8* %13, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0), i32 3)
%15 = icmp ne i64 %14, 0
br i1 %15, label %16, label %19
16: ; preds = %3
%17 = load i32*, i32** %4
%18 = call i32 @fin_connection(i32* %17, i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.1, i64 0, i64 0))
br label %19
19: ; preds = %16, %3
store i32 3, i32* %8
br label %20
20: ; preds = %28, %19
%21 = load i32, i32* %8
%22 = sext i32 %21 to i64
%23 = getelementptr inbounds [4096 x i8], [4096 x i8]* %7, i64 0, i64 %22
%24 = load i8, i8* %23
%25 = sext i8 %24 to i32
%26 = icmp eq i32 %25, 32
br i1 %26, label %27, label %31
27: ; preds = %20
br label %28
28: ; preds = %27
%29 = load i32, i32* %8
%30 = add nsw i32 %29, 1
store i32 %30, i32* %8
br label %20
31: ; preds = %20
%32 = getelementptr inbounds [4096 x i8], [4096 x i8]* %7, i64 0, i64 0
%33 = load i32, i32* %8
%34 = sext i32 %33 to i64
%35 = getelementptr inbounds i8, i8* %32, i64 %34
%36 = call i64 @strncmp(i8* %35, i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.2, i64 0, i64 0), i32 7)
%37 = icmp ne i64 %36, 0
br i1 %37, label %41, label %38
38: ; preds = %31
%39 = load i32, i32* %8
%40 = add nsw i32 %39, 7
store i32 %40, i32* %8
br label %41
41: ; preds = %38, %31
br label %42
42: ; preds = %59, %41
%43 = load i32, i32* %8
%44 = sext i32 %43 to i64
%45 = getelementptr inbounds [4096 x i8], [4096 x i8]* %7, i64 0, i64 %44
%46 = load i8, i8* %45
%47 = sext i8 %46 to i32
%48 = icmp ne i32 %47, 0
br i1 %48, label %49, label %56
49: ; preds = %42
%50 = load i32, i32* %8
%51 = sext i32 %50 to i64
%52 = getelementptr inbounds [4096 x i8], [4096 x i8]* %7, i64 0, i64 %51
%53 = load i8, i8* %52
%54 = sext i8 %53 to i32
%55 = icmp ne i32 %54, 47
br label %56
56: ; preds = %49, %42
%57 = phi i1 [ false, %42 ], [ %55, %49 ]
br i1 %57, label %58, label %62
58: ; preds = %56
br label %59
59: ; preds = %58
%60 = load i32, i32* %8
%61 = add nsw i32 %60, 1
store i32 %61, i32* %8
br label %42
62: ; preds = %56
%63 = load i32, i32* %8
%64 = sext i32 %63 to i64
%65 = getelementptr inbounds [4096 x i8], [4096 x i8]* %7, i64 0, i64 %64
%66 = load i8, i8* %65
%67 = sext i8 %66 to i32
%68 = icmp eq i32 %67, 47
br i1 %68, label %69, label %72
69: ; preds = %62
%70 = load i32, i32* %8
%71 = add nsw i32 %70, 1
store i32 %71, i32* %8
br label %72
72: ; preds = %69, %62
store i32 0, i32* %9
br label %73
73: ; preds = %103, %72
%74 = load i32, i32* %8
%75 = sext i32 %74 to i64
%76 = getelementptr inbounds [4096 x i8], [4096 x i8]* %7, i64 0, i64 %75
%77 = load i8, i8* %76
%78 = sext i8 %77 to i32
%79 = icmp ne i32 %78, 0
br i1 %79, label %80, label %92
80: ; preds = %73
%81 = load i32, i32* %8
%82 = sext i32 %81 to i64
%83 = getelementptr inbounds [4096 x i8], [4096 x i8]* %7, i64 0, i64 %82
%84 = load i8, i8* %83
%85 = sext i8 %84 to i32
%86 = icmp ne i32 %85, 32
br i1 %86, label %87, label %92
87: ; preds = %80
%88 = load i32, i32* %9
%89 = load i32, i32* %6
%90 = sub nsw i32 %89, 1
%91 = icmp slt i32 %88, %90
br label %92
92: ; preds = %87, %80, %73
%93 = phi i1 [ false, %80 ], [ false, %73 ], [ %91, %87 ]
br i1 %93, label %94, label %108
94: ; preds = %92
%95 = load i32, i32* %8
%96 = sext i32 %95 to i64
%97 = getelementptr inbounds [4096 x i8], [4096 x i8]* %7, i64 0, i64 %96
%98 = load i8, i8* %97
%99 = load i8*, i8** %5
%100 = load i32, i32* %9
%101 = sext i32 %100 to i64
%102 = getelementptr inbounds i8, i8* %99, i64 %101
store i8 %98, i8* %102
br label %103
103: ; preds = %94
%104 = load i32, i32* %9
%105 = add nsw i32 %104, 1
store i32 %105, i32* %9
%106 = load i32, i32* %8
%107 = add nsw i32 %106, 1
store i32 %107, i32* %8
br label %73
108: ; preds = %92
%109 = load i8*, i8** %5
%110 = load i32, i32* %9
%111 = sext i32 %110 to i64
%112 = getelementptr inbounds i8, i8* %109, i64 %111
store i8 0, i8* %112
br label %113
113: ; preds = %121, %108
%114 = load i32, i32* %8
%115 = sext i32 %114 to i64
%116 = getelementptr inbounds [4096 x i8], [4096 x i8]* %7, i64 0, i64 %115
%117 = load i8, i8* %116
%118 = sext i8 %117 to i32
%119 = icmp eq i32 %118, 32
br i1 %119, label %120, label %124
120: ; preds = %113
br label %121
121: ; preds = %120
%122 = load i32, i32* %8
%123 = add nsw i32 %122, 1
store i32 %123, i32* %8
br label %113
124: ; preds = %113
%125 = getelementptr inbounds [4096 x i8], [4096 x i8]* %7, i64 0, i64 0
%126 = load i32, i32* %8
%127 = sext i32 %126 to i64
%128 = getelementptr inbounds i8, i8* %125, i64 %127
%129 = call i64 @strncmp(i8* %128, i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.3, i64 0, i64 0), i32 7)
%130 = icmp ne i64 %129, 0
br i1 %130, label %131, label %134
131: ; preds = %124
%132 = load i32*, i32** %4
%133 = call i32 @fin_connection(i32* %132, i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.4, i64 0, i64 0))
br label %134
134: ; preds = %131, %124
ret void
}

LLVM IR (-O2):
@.str = [4 x i8] c"GET\00"
@.str.1 = [25 x i8] c"la requete n'est pas GET\00"
@.str.2 = [8 x i8] c"http://\00"
@.str.3 = [8 x i8] c"HTTP/1.\00"
@.str.4 = [30 x i8] c"la version n'est pas HTTP/1.1\00"
define void @lit_get(i32* %0, i8* nocapture writeonly %1, i32 %2) {
%4 = alloca [4096 x i8]
%5 = getelementptr inbounds [4096 x i8], [4096 x i8]* %4, i64 0, i64 0
%6 = call i32 @my_fgets(i8* %5, i32 4096, i32* %0)
%7 = call i64 @strncmp(i8* %5, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0), i32 3)
%8 = icmp eq i64 %7, 0
br i1 %8, label %11, label %9
9: ; preds = %3
%10 = call i32 @fin_connection(i32* %0, i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.1, i64 0, i64 0))
br label %11
11: ; preds = %9, %3
br label %12
12: ; preds = %11, %12
%13 = phi i64 [ %17, %12 ], [ 3, %11 ]
%14 = getelementptr inbounds [4096 x i8], [4096 x i8]* %4, i64 0, i64 %13
%15 = load i8, i8* %14
%16 = icmp eq i8 %15, 32
%17 = add nuw i64 %13, 1
br i1 %16, label %12, label %18
18: ; preds = %12
%19 = and i64 %13, 4294967295
%20 = getelementptr inbounds [4096 x i8], [4096 x i8]* %4, i64 0, i64 %19
%21 = call i64 @strncmp(i8* %20, i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.2, i64 0, i64 0), i32 7)
%22 = icmp eq i64 %21, 0
%23 = add i64 %13, 7
%24 = select i1 %22, i64 %23, i64 %13
%25 = and i64 %24, 4294967295
br label %26
26: ; preds = %30, %18
%27 = phi i64 [ %31, %30 ], [ %25, %18 ]
%28 = getelementptr inbounds [4096 x i8], [4096 x i8]* %4, i64 0, i64 %27
%29 = load i8, i8* %28
switch i8 %29, label %30 [
i8 0, label %32
i8 47, label %32
]
30: ; preds = %26
%31 = add nuw i64 %27, 1
br label %26
32: ; preds = %26, %26
%33 = trunc i64 %27 to i32
%34 = icmp eq i8 %29, 47
%35 = zext i1 %34 to i32
%36 = add i32 %33, %35
%37 = add i32 %2, -1
%38 = zext i32 %36 to i64
%39 = call i32 @llvm.smax.i32(i32 %37, i32 0)
%40 = add i32 %39, %33
%41 = add i32 %40, %35
%42 = zext i32 %39 to i64
br label %43
43: ; preds = %50, %32
%44 = phi i64 [ %52, %50 ], [ 0, %32 ]
%45 = phi i64 [ %53, %50 ], [ %38, %32 ]
%46 = getelementptr inbounds [4096 x i8], [4096 x i8]* %4, i64 0, i64 %45
%47 = load i8, i8* %46
switch i8 %47, label %48 [
i8 0, label %54
i8 32, label %54
]
48: ; preds = %43
%49 = icmp eq i64 %44, %42
br i1 %49, label %57, label %50
50: ; preds = %48
%51 = getelementptr inbounds i8, i8* %1, i64 %44
store i8 %47, i8* %51
%52 = add nuw nsw i64 %44, 1
%53 = add nuw nsw i64 %45, 1
br label %43
54: ; preds = %43, %43
%55 = trunc i64 %45 to i32
%56 = trunc i64 %44 to i32
br label %57
57: ; preds = %48, %54
%58 = phi i32 [ %55, %54 ], [ %41, %48 ]
%59 = phi i32 [ %56, %54 ], [ %39, %48 ]
%60 = zext i32 %59 to i64
%61 = getelementptr inbounds i8, i8* %1, i64 %60
store i8 0, i8* %61
%62 = sext i32 %58 to i64
br label %63
63: ; preds = %63, %57
%64 = phi i64 [ %68, %63 ], [ %62, %57 ]
%65 = getelementptr inbounds [4096 x i8], [4096 x i8]* %4, i64 0, i64 %64
%66 = load i8, i8* %65
%67 = icmp eq i8 %66, 32
%68 = add i64 %64, 1
br i1 %67, label %63, label %69
69: ; preds = %63
%70 = getelementptr inbounds [4096 x i8], [4096 x i8]* %4, i64 0, i64 %64
%71 = call i64 @strncmp(i8* %70, i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.3, i64 0, i64 0), i32 7)
%72 = icmp eq i64 %71, 0
br i1 %72, label %75, label %73
73: ; preds = %69
%74 = call i32 @fin_connection(i32* %0, i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.4, i64 0, i64 0))
br label %75
75: ; preds = %73, %69
ret void
}