#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 */
scalar_t__ check_nl(char *);
scalar_t__ check_stars(char *);
scalar_t__ ft_isascii(char);
int verif(char *str) {
  int i;
  i = 0;
  while (i < 20) {
    if ((str[i] == '#') || (str[i] == '.') || (str[i] == '\n'))
      i++;
    else
      return (0);
  }
  if ((str[i] != '\n') && ft_isascii(str[i]))
    if ((str[i] != '\0') && ft_isascii(str[i]))
      return (0);
  if (check_stars(str) && check_nl(str))
    return (1);
  return (0);
}


x86 assembly (clang, -O0):
<verif>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
cmpl   $0x14,-0x14(%rbp)
jge    11ab <verif+0x7b>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x23,%eax
je     118c <verif+0x5c>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2e,%eax
je     118c <verif+0x5c>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0xa,%eax
jne    119a <verif+0x6a>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    11a6 <verif+0x76>
movl   $0x0,-0x4(%rbp)
jmp    1255 <verif+0x125>
jmp    1143 <verif+0x13>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0xa,%eax
je     121c <verif+0xec>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1040 <ft_isascii@plt>
cmp    $0x0,%rax
je     121c <verif+0xec>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     1217 <verif+0xe7>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1040 <ft_isascii@plt>
cmp    $0x0,%rax
je     1217 <verif+0xe7>
movl   $0x0,-0x4(%rbp)
jmp    1255 <verif+0x125>
jmp    121c <verif+0xec>
mov    -0x10(%rbp),%rdi
call   1050 <check_stars@plt>
cmp    $0x0,%rax
je     124e <verif+0x11e>
mov    -0x10(%rbp),%rdi
call   1030 <check_nl@plt>
cmp    $0x0,%rax
je     124e <verif+0x11e>
movl   $0x1,-0x4(%rbp)
jmp    1255 <verif+0x125>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<verif>:
push   %rbp
push   %rbx
push   %rax
movzbl (%rdi),%ecx
xor    %ebp,%ebp
cmp    $0x2e,%rcx
ja     134a <verif+0x21a>
movabs $0x400800000400,%rax
bt     %rcx,%rax
jae    134a <verif+0x21a>
mov    %rdi,%rbx
movzbl 0x1(%rdi),%ecx
cmp    $0x2e,%rcx
ja     134a <verif+0x21a>
bt     %rcx,%rax
jae    134a <verif+0x21a>
movzbl 0x2(%rbx),%ecx
cmp    $0x2e,%rcx
ja     134a <verif+0x21a>
bt     %rcx,%rax
jae    134a <verif+0x21a>
movzbl 0x3(%rbx),%ecx
cmp    $0x2e,%rcx
ja     134a <verif+0x21a>
bt     %rcx,%rax
jae    134a <verif+0x21a>
movzbl 0x4(%rbx),%ecx
cmp    $0x2e,%rcx
ja     134a <verif+0x21a>
bt     %rcx,%rax
jae    134a <verif+0x21a>
movzbl 0x5(%rbx),%ecx
cmp    $0x2e,%rcx
ja     134a <verif+0x21a>
bt     %rcx,%rax
jae    134a <verif+0x21a>
movzbl 0x6(%rbx),%ecx
cmp    $0x2e,%rcx
ja     134a <verif+0x21a>
bt     %rcx,%rax
jae    134a <verif+0x21a>
movzbl 0x7(%rbx),%ecx
cmp    $0x2e,%rcx
ja     134a <verif+0x21a>
bt     %rcx,%rax
jae    134a <verif+0x21a>
movzbl 0x8(%rbx),%ecx
cmp    $0x2e,%rcx
ja     134a <verif+0x21a>
bt     %rcx,%rax
jae    134a <verif+0x21a>
movzbl 0x9(%rbx),%ecx
cmp    $0x2e,%rcx
ja     134a <verif+0x21a>
bt     %rcx,%rax
jae    134a <verif+0x21a>
movzbl 0xa(%rbx),%ecx
cmp    $0x2e,%rcx
ja     134a <verif+0x21a>
bt     %rcx,%rax
jae    134a <verif+0x21a>
movzbl 0xb(%rbx),%ecx
cmp    $0x2e,%rcx
ja     134a <verif+0x21a>
bt     %rcx,%rax
jae    134a <verif+0x21a>
movzbl 0xc(%rbx),%ecx
cmp    $0x2e,%rcx
ja     134a <verif+0x21a>
bt     %rcx,%rax
jae    134a <verif+0x21a>
movzbl 0xd(%rbx),%ecx
cmp    $0x2e,%rcx
ja     134a <verif+0x21a>
bt     %rcx,%rax
jae    134a <verif+0x21a>
movzbl 0xe(%rbx),%ecx
cmp    $0x2e,%rcx
ja     134a <verif+0x21a>
bt     %rcx,%rax
jae    134a <verif+0x21a>
movzbl 0xf(%rbx),%ecx
cmp    $0x2e,%rcx
ja     134a <verif+0x21a>
bt     %rcx,%rax
jae    134a <verif+0x21a>
movzbl 0x10(%rbx),%ecx
cmp    $0x2e,%rcx
ja     134a <verif+0x21a>
bt     %rcx,%rax
jae    134a <verif+0x21a>
movzbl 0x11(%rbx),%ecx
cmp    $0x2e,%rcx
ja     134a <verif+0x21a>
bt     %rcx,%rax
jae    134a <verif+0x21a>
movzbl 0x12(%rbx),%ecx
cmp    $0x2e,%rcx
ja     134a <verif+0x21a>
bt     %rcx,%rax
jae    134a <verif+0x21a>
movzbl 0x13(%rbx),%ecx
cmp    $0x2e,%rcx
ja     134a <verif+0x21a>
bt     %rcx,%rax
jae    134a <verif+0x21a>
mov    0x14(%rbx),%al
cmp    $0xa,%al
je     1329 <verif+0x1f9>
movsbl %al,%edi
call   1040 <ft_isascii@plt>
test   %rax,%rax
je     1329 <verif+0x1f9>
mov    0x14(%rbx),%al
test   %al,%al
je     1329 <verif+0x1f9>
movsbl %al,%edi
call   1040 <ft_isascii@plt>
test   %rax,%rax
jne    134a <verif+0x21a>
mov    %rbx,%rdi
call   1050 <check_stars@plt>
test   %rax,%rax
je     1348 <verif+0x218>
mov    %rbx,%rdi
call   1030 <check_nl@plt>
mov    $0x1,%ebp
test   %rax,%rax
jne    134a <verif+0x21a>
xor    %ebp,%ebp
mov    %ebp,%eax
add    $0x8,%rsp
pop    %rbx
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @verif(i8* %0) {
%2 = load i8, i8* %0
switch i8 %2, label %80 [
i8 35, label %3
i8 46, label %3
i8 10, label %3
]
3: ; preds = %1, %1, %1
%4 = getelementptr inbounds i8, i8* %0, i64 1
%5 = load i8, i8* %4
switch i8 %5, label %80 [
i8 35, label %6
i8 46, label %6
i8 10, label %6
]
6: ; preds = %3, %3, %3
%7 = getelementptr inbounds i8, i8* %0, i64 2
%8 = load i8, i8* %7
switch i8 %8, label %80 [
i8 35, label %9
i8 46, label %9
i8 10, label %9
]
9: ; preds = %6, %6, %6
%10 = getelementptr inbounds i8, i8* %0, i64 3
%11 = load i8, i8* %10
switch i8 %11, label %80 [
i8 35, label %12
i8 46, label %12
i8 10, label %12
]
12: ; preds = %9, %9, %9
%13 = getelementptr inbounds i8, i8* %0, i64 4
%14 = load i8, i8* %13
switch i8 %14, label %80 [
i8 35, label %15
i8 46, label %15
i8 10, label %15
]
15: ; preds = %12, %12, %12
%16 = getelementptr inbounds i8, i8* %0, i64 5
%17 = load i8, i8* %16
switch i8 %17, label %80 [
i8 35, label %18
i8 46, label %18
i8 10, label %18
]
18: ; preds = %15, %15, %15
%19 = getelementptr inbounds i8, i8* %0, i64 6
%20 = load i8, i8* %19
switch i8 %20, label %80 [
i8 35, label %21
i8 46, label %21
i8 10, label %21
]
21: ; preds = %18, %18, %18
%22 = getelementptr inbounds i8, i8* %0, i64 7
%23 = load i8, i8* %22
switch i8 %23, label %80 [
i8 35, label %24
i8 46, label %24
i8 10, label %24
]
24: ; preds = %21, %21, %21
%25 = getelementptr inbounds i8, i8* %0, i64 8
%26 = load i8, i8* %25
switch i8 %26, label %80 [
i8 35, label %27
i8 46, label %27
i8 10, label %27
]
27: ; preds = %24, %24, %24
%28 = getelementptr inbounds i8, i8* %0, i64 9
%29 = load i8, i8* %28
switch i8 %29, label %80 [
i8 35, label %30
i8 46, label %30
i8 10, label %30
]
30: ; preds = %27, %27, %27
%31 = getelementptr inbounds i8, i8* %0, i64 10
%32 = load i8, i8* %31
switch i8 %32, label %80 [
i8 35, label %33
i8 46, label %33
i8 10, label %33
]
33: ; preds = %30, %30, %30
%34 = getelementptr inbounds i8, i8* %0, i64 11
%35 = load i8, i8* %34
switch i8 %35, label %80 [
i8 35, label %36
i8 46, label %36
i8 10, label %36
]
36: ; preds = %33, %33, %33
%37 = getelementptr inbounds i8, i8* %0, i64 12
%38 = load i8, i8* %37
switch i8 %38, label %80 [
i8 35, label %39
i8 46, label %39
i8 10, label %39
]
39: ; preds = %36, %36, %36
%40 = getelementptr inbounds i8, i8* %0, i64 13
%41 = load i8, i8* %40
switch i8 %41, label %80 [
i8 35, label %42
i8 46, label %42
i8 10, label %42
]
42: ; preds = %39, %39, %39
%43 = getelementptr inbounds i8, i8* %0, i64 14
%44 = load i8, i8* %43
switch i8 %44, label %80 [
i8 35, label %45
i8 46, label %45
i8 10, label %45
]
45: ; preds = %42, %42, %42
%46 = getelementptr inbounds i8, i8* %0, i64 15
%47 = load i8, i8* %46
switch i8 %47, label %80 [
i8 35, label %48
i8 46, label %48
i8 10, label %48
]
48: ; preds = %45, %45, %45
%49 = getelementptr inbounds i8, i8* %0, i64 16
%50 = load i8, i8* %49
switch i8 %50, label %80 [
i8 35, label %51
i8 46, label %51
i8 10, label %51
]
51: ; preds = %48, %48, %48
%52 = getelementptr inbounds i8, i8* %0, i64 17
%53 = load i8, i8* %52
switch i8 %53, label %80 [
i8 35, label %54
i8 46, label %54
i8 10, label %54
]
54: ; preds = %51, %51, %51
%55 = getelementptr inbounds i8, i8* %0, i64 18
%56 = load i8, i8* %55
switch i8 %56, label %80 [
i8 35, label %57
i8 46, label %57
i8 10, label %57
]
57: ; preds = %54, %54, %54
%58 = getelementptr inbounds i8, i8* %0, i64 19
%59 = load i8, i8* %58
switch i8 %59, label %80 [
i8 35, label %60
i8 46, label %60
i8 10, label %60
]
60: ; preds = %57, %57, %57
%61 = getelementptr inbounds i8, i8* %0, i64 20
%62 = load i8, i8* %61
%63 = icmp eq i8 %62, 10
br i1 %63, label %73, label %64
64: ; preds = %60
%65 = tail call i64 @ft_isascii(i8 signext %62)
%66 = icmp eq i64 %65, 0
br i1 %66, label %73, label %67
67: ; preds = %64
%68 = load i8, i8* %61
%69 = icmp eq i8 %68, 0
br i1 %69, label %73, label %70
70: ; preds = %67
%71 = tail call i64 @ft_isascii(i8 signext %68)
%72 = icmp eq i64 %71, 0
br i1 %72, label %73, label %80
73: ; preds = %67, %70, %64, %60
%74 = tail call i64 @check_stars(i8* %0)
%75 = icmp eq i64 %74, 0
br i1 %75, label %79, label %76
76: ; preds = %73
%77 = tail call i64 @check_nl(i8* %0)
%78 = icmp eq i64 %77, 0
br i1 %78, label %79, label %80
79: ; preds = %76, %73
br label %80
80: ; preds = %1, %3, %6, %9, %12, %15, %18, %21, %24, %27, %30, %33, %36, %39, %42, %45, %48, %51, %54, %57, %76, %70, %79
%81 = phi i32 [ 0, %79 ], [ 0, %70 ], [ 1, %76 ], [ 0, %57 ], [ 0, %54 ], [ 0, %51 ], [ 0, %48 ], [ 0, %45 ], [ 0, %42 ], [ 0, %39 ], [ 0, %36 ], [ 0, %33 ], [ 0, %30 ], [ 0, %27 ], [ 0, %24 ], [ 0, %21 ], [ 0, %18 ], [ 0, %15 ], [ 0, %12 ], [ 0, %9 ], [ 0, %6 ], [ 0, %3 ], [ 0, %1 ]
ret i32 %81
}