#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__ strlen(char const *);
char const tolower(char const);
char const toupper(char const);
int check_ext(const char *filename, const char *ext) {
  int flen, elen;
  int i;
  flen = (int)strlen(filename);
  elen = (int)strlen(ext);
  if (flen <= elen + 1)
    return 0;
  if (filename[flen - elen - 1] != '.')
    return 0;
  for (i = 0; i < elen; i++)
    if (filename[flen - elen + i] != toupper(ext[i]))
      break;
  if (i == elen)
    return 1;
  for (i = 0; i < elen; i++)
    if (filename[flen - elen + i] != tolower(ext[i]))
      break;
  if (i == elen)
    return 1;
  return 0;
}


x86 assembly (clang, -O0):
<check_ext>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    -0x10(%rbp),%rdi
call   1040 <strlen@plt>
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%rdi
call   1040 <strlen@plt>
mov    %eax,-0x20(%rbp)
mov    -0x1c(%rbp),%eax
mov    -0x20(%rbp),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
jg     1175 <check_ext+0x45>
movl   $0x0,-0x4(%rbp)
jmp    129b <check_ext+0x16b>
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    -0x20(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2e,%eax
je     119e <check_ext+0x6e>
movl   $0x0,-0x4(%rbp)
jmp    129b <check_ext+0x16b>
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    1201 <check_ext+0xd1>
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    -0x20(%rbp),%ecx
add    -0x24(%rbp),%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
mov    %eax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1030 <toupper@plt>
mov    %al,%cl
mov    -0x28(%rbp),%eax
movsbl %cl,%ecx
cmp    %ecx,%eax
je     11ee <check_ext+0xbe>
jmp    1201 <check_ext+0xd1>
jmp    11f3 <check_ext+0xc3>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    11a5 <check_ext+0x75>
mov    -0x24(%rbp),%eax
cmp    -0x20(%rbp),%eax
jne    1219 <check_ext+0xe9>
movl   $0x1,-0x4(%rbp)
jmp    129b <check_ext+0x16b>
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    127c <check_ext+0x14c>
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    -0x20(%rbp),%ecx
add    -0x24(%rbp),%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x18(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1050 <tolower@plt>
mov    %al,%cl
mov    -0x2c(%rbp),%eax
movsbl %cl,%ecx
cmp    %ecx,%eax
je     1269 <check_ext+0x139>
jmp    127c <check_ext+0x14c>
jmp    126e <check_ext+0x13e>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1220 <check_ext+0xf0>
mov    -0x24(%rbp),%eax
cmp    -0x20(%rbp),%eax
jne    1294 <check_ext+0x164>
movl   $0x1,-0x4(%rbp)
jmp    129b <check_ext+0x16b>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<check_ext>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rsi,%r15
mov    %rdi,%r12
call   1040 <strlen@plt>
mov    %rax,%rbx
mov    %r15,%rdi
call   1040 <strlen@plt>
mov    %rax,%rdx
lea    0x1(%rax),%ecx
xor    %eax,%eax
cmp    %ebx,%ecx
jge    121a <check_ext+0xea>
sub    %edx,%ebx
movslq %ebx,%rcx
cmpb   $0x2e,-0x1(%rcx,%r12,1)
jne    121a <check_ext+0xea>
test   %edx,%edx
jle    11b5 <check_ext+0x85>
mov    %rdx,(%rsp)
mov    %edx,%ebp
mov    %ebx,%r13d
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
lea    (%rbx,%r13,1),%eax
cltq
movzbl (%r12,%rax,1),%r14d
movsbl (%r15,%rbx,1),%edi
call   1030 <toupper@plt>
cmp    %al,%r14b
jne    11c2 <check_ext+0x92>
add    $0x1,%rbx
cmp    %rbx,%rbp
jne    1190 <check_ext+0x60>
jmp    11bb <check_ext+0x8b>
xor    %ebx,%ebx
test   %edx,%edx
jne    1213 <check_ext+0xe3>
mov    $0x1,%eax
jmp    121a <check_ext+0xea>
mov    $0x1,%eax
mov    (%rsp),%rdx
cmp    %ebx,%edx
je     121a <check_ext+0xea>
test   %edx,%edx
jle    120b <check_ext+0xdb>
mov    %edx,%ebp
xor    %ebx,%ebx
nopw   0x0(%rax,%rax,1)
lea    (%rbx,%r13,1),%eax
cltq
movzbl (%r12,%rax,1),%r14d
movsbl (%r15,%rbx,1),%edi
call   1050 <tolower@plt>
cmp    %al,%r14b
jne    120f <check_ext+0xdf>
add    $0x1,%rbx
cmp    %rbx,%rbp
jne    11e0 <check_ext+0xb0>
mov    (%rsp),%rdx
mov    %edx,%ebx
jmp    1213 <check_ext+0xe3>
xor    %ebx,%ebx
jmp    1213 <check_ext+0xe3>
mov    (%rsp),%rdx
xor    %eax,%eax
cmp    %edx,%ebx
sete   %al
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @check_ext(i8* %0, i8* %1) {
%3 = alloca i32
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
store i8* %0, i8** %4
store i8* %1, i8** %5
%9 = load i8*, i8** %4
%10 = call i64 @strlen(i8* %9)
%11 = trunc i64 %10 to i32
store i32 %11, i32* %6
%12 = load i8*, i8** %5
%13 = call i64 @strlen(i8* %12)
%14 = trunc i64 %13 to i32
store i32 %14, i32* %7
%15 = load i32, i32* %6
%16 = load i32, i32* %7
%17 = add nsw i32 %16, 1
%18 = icmp sle i32 %15, %17
br i1 %18, label %19, label %20
19: ; preds = %2
store i32 0, i32* %3
br label %101
20: ; preds = %2
%21 = load i8*, i8** %4
%22 = load i32, i32* %6
%23 = load i32, i32* %7
%24 = sub nsw i32 %22, %23
%25 = sub nsw i32 %24, 1
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds i8, i8* %21, i64 %26
%28 = load i8, i8* %27
%29 = sext i8 %28 to i32
%30 = icmp ne i32 %29, 46
br i1 %30, label %31, label %32
31: ; preds = %20
store i32 0, i32* %3
br label %101
32: ; preds = %20
store i32 0, i32* %8
br label %33
33: ; preds = %58, %32
%34 = load i32, i32* %8
%35 = load i32, i32* %7
%36 = icmp slt i32 %34, %35
br i1 %36, label %37, label %61
37: ; preds = %33
%38 = load i8*, i8** %4
%39 = load i32, i32* %6
%40 = load i32, i32* %7
%41 = sub nsw i32 %39, %40
%42 = load i32, i32* %8
%43 = add nsw i32 %41, %42
%44 = sext i32 %43 to i64
%45 = getelementptr inbounds i8, i8* %38, i64 %44
%46 = load i8, i8* %45
%47 = sext i8 %46 to i32
%48 = load i8*, i8** %5
%49 = load i32, i32* %8
%50 = sext i32 %49 to i64
%51 = getelementptr inbounds i8, i8* %48, i64 %50
%52 = load i8, i8* %51
%53 = call signext i8 @toupper(i8 signext %52)
%54 = sext i8 %53 to i32
%55 = icmp ne i32 %47, %54
br i1 %55, label %56, label %57
56: ; preds = %37
br label %61
57: ; preds = %37
br label %58
58: ; preds = %57
%59 = load i32, i32* %8
%60 = add nsw i32 %59, 1
store i32 %60, i32* %8
br label %33
61: ; preds = %56, %33
%62 = load i32, i32* %8
%63 = load i32, i32* %7
%64 = icmp eq i32 %62, %63
br i1 %64, label %65, label %66
65: ; preds = %61
store i32 1, i32* %3
br label %101
66: ; preds = %61
store i32 0, i32* %8
br label %67
67: ; preds = %92, %66
%68 = load i32, i32* %8
%69 = load i32, i32* %7
%70 = icmp slt i32 %68, %69
br i1 %70, label %71, label %95
71: ; preds = %67
%72 = load i8*, i8** %4
%73 = load i32, i32* %6
%74 = load i32, i32* %7
%75 = sub nsw i32 %73, %74
%76 = load i32, i32* %8
%77 = add nsw i32 %75, %76
%78 = sext i32 %77 to i64
%79 = getelementptr inbounds i8, i8* %72, i64 %78
%80 = load i8, i8* %79
%81 = sext i8 %80 to i32
%82 = load i8*, i8** %5
%83 = load i32, i32* %8
%84 = sext i32 %83 to i64
%85 = getelementptr inbounds i8, i8* %82, i64 %84
%86 = load i8, i8* %85
%87 = call signext i8 @tolower(i8 signext %86)
%88 = sext i8 %87 to i32
%89 = icmp ne i32 %81, %88
br i1 %89, label %90, label %91
90: ; preds = %71
br label %95
91: ; preds = %71
br label %92
92: ; preds = %91
%93 = load i32, i32* %8
%94 = add nsw i32 %93, 1
store i32 %94, i32* %8
br label %67
95: ; preds = %90, %67
%96 = load i32, i32* %8
%97 = load i32, i32* %7
%98 = icmp eq i32 %96, %97
br i1 %98, label %99, label %100
99: ; preds = %95
store i32 1, i32* %3
br label %101
100: ; preds = %95
store i32 0, i32* %3
br label %101
101: ; preds = %100, %99, %65, %31, %19
%102 = load i32, i32* %3
ret i32 %102
}

LLVM IR (-O2):
define i32 @check_ext(i8* nocapture %0, i8* nocapture %1) {
%3 = tail call i64 @strlen(i8* dereferenceable(1) %0)
%4 = trunc i64 %3 to i32
%5 = tail call i64 @strlen(i8* dereferenceable(1) %1)
%6 = trunc i64 %5 to i32
%7 = add nsw i32 %6, 1
%8 = icmp slt i32 %7, %4
br i1 %8, label %9, label %62
9: ; preds = %2
%10 = sub nsw i32 %4, %6
%11 = add nsw i32 %10, -1
%12 = sext i32 %11 to i64
%13 = getelementptr inbounds i8, i8* %0, i64 %12
%14 = load i8, i8* %13
%15 = icmp eq i8 %14, 46
br i1 %15, label %16, label %62
16: ; preds = %9
%17 = icmp sgt i32 %6, 0
br i1 %17, label %18, label %37
18: ; preds = %16
%19 = and i64 %5, 4294967295
br label %20
20: ; preds = %18, %31
%21 = phi i64 [ 0, %18 ], [ %32, %31 ]
%22 = trunc i64 %21 to i32
%23 = add nsw i32 %10, %22
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds i8, i8* %0, i64 %24
%26 = load i8, i8* %25
%27 = getelementptr inbounds i8, i8* %1, i64 %21
%28 = load i8, i8* %27
%29 = tail call signext i8 @toupper(i8 signext %28)
%30 = icmp eq i8 %26, %29
br i1 %30, label %31, label %34
31: ; preds = %20
%32 = add nuw nsw i64 %21, 1
%33 = icmp eq i64 %32, %19
br i1 %33, label %62, label %20
34: ; preds = %20
%35 = trunc i64 %21 to i32
%36 = icmp eq i32 %35, %6
br i1 %36, label %62, label %39
37: ; preds = %16
%38 = icmp eq i32 %6, 0
br i1 %38, label %62, label %58
39: ; preds = %34
br i1 %17, label %40, label %58
40: ; preds = %39
%41 = and i64 %5, 4294967295
br label %42
42: ; preds = %40, %53
%43 = phi i64 [ 0, %40 ], [ %54, %53 ]
%44 = trunc i64 %43 to i32
%45 = add nsw i32 %10, %44
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds i8, i8* %0, i64 %46
%48 = load i8, i8* %47
%49 = getelementptr inbounds i8, i8* %1, i64 %43
%50 = load i8, i8* %49
%51 = tail call signext i8 @tolower(i8 signext %50)
%52 = icmp eq i8 %48, %51
br i1 %52, label %53, label %56
53: ; preds = %42
%54 = add nuw nsw i64 %43, 1
%55 = icmp eq i64 %54, %41
br i1 %55, label %58, label %42
56: ; preds = %42
%57 = trunc i64 %43 to i32
br label %58
58: ; preds = %53, %56, %37, %39
%59 = phi i32 [ 0, %39 ], [ 0, %37 ], [ %57, %56 ], [ %6, %53 ]
%60 = icmp eq i32 %59, %6
%61 = zext i1 %60 to i32
br label %62
62: ; preds = %31, %37, %58, %34, %9, %2
%63 = phi i32 [ 0, %2 ], [ 0, %9 ], [ 1, %34 ], [ %61, %58 ], [ 1, %37 ], [ 1, %31 ]
ret i32 %63
}