#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 strlen(char const *);
int is_log_file(const char *filename) {
  if (strlen(filename) == 20 && filename[0] == '/' && filename[1] == 'v' &&
      filename[2] == 'a' && filename[3] == 'r' && filename[4] == '/' &&
      filename[5] == 'l' && filename[6] == 'o' && filename[7] == 'g' &&
      filename[8] == '/' && filename[9] == 'p' && filename[10] == 'r' &&
      filename[11] == 'o' && filename[12] == 'g' && filename[13] == 'g' &&
      filename[14] == 'e' && filename[15] == 'r' && filename[16] == '.' &&
      filename[17] == 'l' && filename[18] == 'o' && filename[19] == 'g') {
    return 1;
  } else {
    return 0;
  }
}


x86 assembly (clang, -O0):
<is_log_file>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
cmp    $0x14,%eax
jne    128d <is_log_file+0x17d>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
jne    128d <is_log_file+0x17d>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x76,%eax
jne    128d <is_log_file+0x17d>
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x61,%eax
jne    128d <is_log_file+0x17d>
mov    -0x10(%rbp),%rax
movsbl 0x3(%rax),%eax
cmp    $0x72,%eax
jne    128d <is_log_file+0x17d>
mov    -0x10(%rbp),%rax
movsbl 0x4(%rax),%eax
cmp    $0x2f,%eax
jne    128d <is_log_file+0x17d>
mov    -0x10(%rbp),%rax
movsbl 0x5(%rax),%eax
cmp    $0x6c,%eax
jne    128d <is_log_file+0x17d>
mov    -0x10(%rbp),%rax
movsbl 0x6(%rax),%eax
cmp    $0x6f,%eax
jne    128d <is_log_file+0x17d>
mov    -0x10(%rbp),%rax
movsbl 0x7(%rax),%eax
cmp    $0x67,%eax
jne    128d <is_log_file+0x17d>
mov    -0x10(%rbp),%rax
movsbl 0x8(%rax),%eax
cmp    $0x2f,%eax
jne    128d <is_log_file+0x17d>
mov    -0x10(%rbp),%rax
movsbl 0x9(%rax),%eax
cmp    $0x70,%eax
jne    128d <is_log_file+0x17d>
mov    -0x10(%rbp),%rax
movsbl 0xa(%rax),%eax
cmp    $0x72,%eax
jne    128d <is_log_file+0x17d>
mov    -0x10(%rbp),%rax
movsbl 0xb(%rax),%eax
cmp    $0x6f,%eax
jne    128d <is_log_file+0x17d>
mov    -0x10(%rbp),%rax
movsbl 0xc(%rax),%eax
cmp    $0x67,%eax
jne    128d <is_log_file+0x17d>
mov    -0x10(%rbp),%rax
movsbl 0xd(%rax),%eax
cmp    $0x67,%eax
jne    128d <is_log_file+0x17d>
mov    -0x10(%rbp),%rax
movsbl 0xe(%rax),%eax
cmp    $0x65,%eax
jne    128d <is_log_file+0x17d>
mov    -0x10(%rbp),%rax
movsbl 0xf(%rax),%eax
cmp    $0x72,%eax
jne    128d <is_log_file+0x17d>
mov    -0x10(%rbp),%rax
movsbl 0x10(%rax),%eax
cmp    $0x2e,%eax
jne    128d <is_log_file+0x17d>
mov    -0x10(%rbp),%rax
movsbl 0x11(%rax),%eax
cmp    $0x6c,%eax
jne    128d <is_log_file+0x17d>
mov    -0x10(%rbp),%rax
movsbl 0x12(%rax),%eax
cmp    $0x6f,%eax
jne    128d <is_log_file+0x17d>
mov    -0x10(%rbp),%rax
movsbl 0x13(%rax),%eax
cmp    $0x67,%eax
jne    128d <is_log_file+0x17d>
movl   $0x1,-0x4(%rbp)
jmp    1294 <is_log_file+0x184>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<is_log_file>:
push   %rbx
mov    %rdi,%rbx
call   1030 <strlen@plt>
cmp    $0x14,%eax
jne    119a <is_log_file+0x8a>
cmpb   $0x2f,(%rbx)
jne    119a <is_log_file+0x8a>
cmpb   $0x76,0x1(%rbx)
jne    119a <is_log_file+0x8a>
cmpb   $0x61,0x2(%rbx)
jne    119a <is_log_file+0x8a>
cmpb   $0x72,0x3(%rbx)
jne    119a <is_log_file+0x8a>
cmpb   $0x2f,0x4(%rbx)
jne    119a <is_log_file+0x8a>
cmpb   $0x6c,0x5(%rbx)
jne    119a <is_log_file+0x8a>
cmpb   $0x6f,0x6(%rbx)
jne    119a <is_log_file+0x8a>
cmpb   $0x67,0x7(%rbx)
jne    119a <is_log_file+0x8a>
cmpb   $0x2f,0x8(%rbx)
jne    119a <is_log_file+0x8a>
cmpb   $0x70,0x9(%rbx)
jne    119a <is_log_file+0x8a>
cmpb   $0x72,0xa(%rbx)
jne    119a <is_log_file+0x8a>
cmpb   $0x6f,0xb(%rbx)
jne    119a <is_log_file+0x8a>
cmpb   $0x67,0xc(%rbx)
jne    119a <is_log_file+0x8a>
cmpb   $0x67,0xd(%rbx)
jne    119a <is_log_file+0x8a>
cmpb   $0x65,0xe(%rbx)
jne    119a <is_log_file+0x8a>
cmpb   $0x72,0xf(%rbx)
jne    119a <is_log_file+0x8a>
cmpb   $0x2e,0x10(%rbx)
jne    119a <is_log_file+0x8a>
cmpb   $0x6c,0x11(%rbx)
jne    119a <is_log_file+0x8a>
cmpb   $0x6f,0x12(%rbx)
jne    119a <is_log_file+0x8a>
mov    $0x1,%eax
cmpb   $0x67,0x13(%rbx)
je     119c <is_log_file+0x8c>
xor    %eax,%eax
pop    %rbx
ret

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

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