#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 *);
char *os_GetSuffixPtr(char const *path) {
  char const *s;
  int len;
  if (!path) {
    return NULL;
  }
  len = strlen(path);
  for (s = path + len - 1; s >= path; s--) {
    if (*s == '.' || *s == '/' || *s == '\\' || *s == ':')
      break;
  }
  if (s < path || *s == '/' || *s == '\\' || *s == ':' || s == path) {
    return NULL;
  }
  if (s[-1] == '/' || s[-1] == '\\' || s[-1] == ':') {
    return NULL;
  }
  return (char *)s;
}


x86 assembly (clang, -O0):
<os_GetSuffixPtr>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
cmpq   $0x0,-0x10(%rbp)
jne    1134 <os_GetSuffixPtr+0x24>
movq   $0x0,-0x8(%rbp)
jmp    125d <os_GetSuffixPtr+0x14d>
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
add    %rcx,%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
cmp    -0x10(%rbp),%rax
jb     11bc <os_GetSuffixPtr+0xac>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
je     11a1 <os_GetSuffixPtr+0x91>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
je     11a1 <os_GetSuffixPtr+0x91>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5c,%eax
je     11a1 <os_GetSuffixPtr+0x91>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x3a,%eax
jne    11a6 <os_GetSuffixPtr+0x96>
jmp    11bc <os_GetSuffixPtr+0xac>
jmp    11ab <os_GetSuffixPtr+0x9b>
mov    -0x18(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x18(%rbp)
jmp    1153 <os_GetSuffixPtr+0x43>
mov    -0x18(%rbp),%rax
cmp    -0x10(%rbp),%rax
jb     1208 <os_GetSuffixPtr+0xf8>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
je     1208 <os_GetSuffixPtr+0xf8>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5c,%eax
je     1208 <os_GetSuffixPtr+0xf8>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x3a,%eax
je     1208 <os_GetSuffixPtr+0xf8>
mov    -0x18(%rbp),%rax
cmp    -0x10(%rbp),%rax
jne    1215 <os_GetSuffixPtr+0x105>
movq   $0x0,-0x8(%rbp)
jmp    125d <os_GetSuffixPtr+0x14d>
mov    -0x18(%rbp),%rax
movsbl -0x1(%rax),%eax
cmp    $0x2f,%eax
je     1248 <os_GetSuffixPtr+0x138>
mov    -0x18(%rbp),%rax
movsbl -0x1(%rax),%eax
cmp    $0x5c,%eax
je     1248 <os_GetSuffixPtr+0x138>
mov    -0x18(%rbp),%rax
movsbl -0x1(%rax),%eax
cmp    $0x3a,%eax
jne    1255 <os_GetSuffixPtr+0x145>
movq   $0x0,-0x8(%rbp)
jmp    125d <os_GetSuffixPtr+0x14d>
mov    -0x18(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<os_GetSuffixPtr>:
push   %r14
push   %rbx
push   %rax
test   %rdi,%rdi
je     118c <os_GetSuffixPtr+0x7c>
mov    %rdi,%r14
call   1030 <strlen@plt>
movslq %eax,%rdx
lea    (%rdx,%r14,1),%rcx
add    $0xffffffffffffffff,%rcx
xor    %eax,%eax
xchg   %ax,%ax
cmp    %r14,%rcx
jb     118e <os_GetSuffixPtr+0x7e>
movzbl (%rcx),%ebx
add    $0xffffffffffffffff,%rcx
add    $0xffffffffffffffff,%rdx
cmp    $0x39,%bl
jg     1160 <os_GetSuffixPtr+0x50>
cmp    $0x2e,%bl
je     116c <os_GetSuffixPtr+0x5c>
cmp    $0x2f,%bl
jne    1130 <os_GetSuffixPtr+0x20>
jmp    118e <os_GetSuffixPtr+0x7e>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
cmp    $0x3a,%bl
je     118e <os_GetSuffixPtr+0x7e>
cmp    $0x5c,%bl
jne    1130 <os_GetSuffixPtr+0x20>
jmp    118e <os_GetSuffixPtr+0x7e>
test   %rdx,%rdx
je     118c <os_GetSuffixPtr+0x7c>
mov    (%rcx),%al
add    $0xd1,%al
cmp    $0x2d,%al
ja     1196 <os_GetSuffixPtr+0x86>
movzbl %al,%eax
movabs $0x200000000801,%rdx
bt     %rax,%rdx
jae    1196 <os_GetSuffixPtr+0x86>
xor    %eax,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret
add    $0x1,%rcx
mov    %rcx,%rax
jmp    118e <os_GetSuffixPtr+0x7e>

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

LLVM IR (-O2):
define i8* @os_GetSuffixPtr(i8* %0) {
%2 = icmp eq i8* %0, null
br i1 %2, label %19, label %3
3: ; preds = %1
%4 = tail call i32 @strlen(i8* %0)
%5 = sext i32 %4 to i64
%6 = getelementptr inbounds i8, i8* %0, i64 %5
br label %7
7: ; preds = %11, %3
%8 = phi i8* [ %6, %3 ], [ %9, %11 ]
%9 = getelementptr inbounds i8, i8* %8, i64 -1
%10 = icmp ult i8* %9, %0
br i1 %10, label %19, label %11
11: ; preds = %7
%12 = load i8, i8* %9
switch i8 %12, label %7 [
i8 47, label %19
i8 92, label %19
i8 58, label %19
i8 46, label %13
]
13: ; preds = %11
%14 = icmp eq i8* %9, %0
br i1 %14, label %19, label %15
15: ; preds = %13
%16 = getelementptr inbounds i8, i8* %8, i64 -2
%17 = load i8, i8* %16
switch i8 %17, label %18 [
i8 47, label %19
i8 92, label %19
i8 58, label %19
]
18: ; preds = %15
br label %19
19: ; preds = %11, %11, %11, %7, %15, %15, %15, %13, %1, %18
%20 = phi i8* [ %9, %18 ], [ null, %1 ], [ null, %13 ], [ null, %15 ], [ null, %15 ], [ null, %15 ], [ null, %7 ], [ null, %11 ], [ null, %11 ], [ null, %11 ]
ret i8* %20
}