#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 */
void *memrchr(const void *s, int c, size_t n) {
  if (n > 0) {
    const char *p = (const char *)s;
    const char *q = p + n;
    while (1) {
      q--;
      if (q < p || q[0] == c)
        break;
      q--;
      if (q < p || q[0] == c)
        break;
      q--;
      if (q < p || q[0] == c)
        break;
      q--;
      if (q < p || q[0] == c)
        break;
    }
    if (q >= p)
      return (void *)q;
  }
  return NULL;
}


x86 assembly (clang, -O0):
<memrchr>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
cmpq   $0x0,-0x20(%rbp)
jbe    120f <memrchr+0x10f>
mov    -0x10(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
add    -0x20(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x28(%rbp),%rax
jb     1158 <memrchr+0x58>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    -0x14(%rbp),%eax
jne    115d <memrchr+0x5d>
jmp    11ef <memrchr+0xef>
mov    -0x30(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x28(%rbp),%rax
jb     1187 <memrchr+0x87>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    -0x14(%rbp),%eax
jne    118c <memrchr+0x8c>
jmp    11ef <memrchr+0xef>
mov    -0x30(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x28(%rbp),%rax
jb     11b6 <memrchr+0xb6>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    -0x14(%rbp),%eax
jne    11bb <memrchr+0xbb>
jmp    11ef <memrchr+0xef>
mov    -0x30(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x28(%rbp),%rax
jb     11e5 <memrchr+0xe5>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    -0x14(%rbp),%eax
jne    11ea <memrchr+0xea>
jmp    11ef <memrchr+0xef>
jmp    112e <memrchr+0x2e>
mov    -0x30(%rbp),%rax
cmp    -0x28(%rbp),%rax
jb     120a <memrchr+0x10a>
mov    -0x30(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1217 <memrchr+0x117>
jmp    120f <memrchr+0x10f>
movq   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<memrchr>:
test   %rdx,%rdx
je     11a5 <memrchr+0xa5>
lea    (%rdi,%rdx,1),%rax
lea    -0x1(%rdx),%r10
lea    -0x4(%rdx),%r8
lea    -0x3(%rdx),%r9
add    $0xfffffffffffffffe,%rdx
lea    (%rdi,%r10,1),%r11
cmp    %rdi,%r11
jb     1191 <memrchr+0x91>
movsbl (%r11),%ecx
cmp    %esi,%ecx
je     117d <memrchr+0x7d>
lea    (%rdi,%rdx,1),%rcx
cmp    %rdi,%rcx
jb     1187 <memrchr+0x87>
movsbl -0x1(%rdi,%r10,1),%ecx
cmp    %esi,%ecx
je     119c <memrchr+0x9c>
lea    (%rdi,%r9,1),%r11
cmp    %rdi,%r11
jb     11a8 <memrchr+0xa8>
movsbl -0x2(%rdi,%r10,1),%ecx
cmp    %esi,%ecx
je     117d <memrchr+0x7d>
lea    (%rdi,%r8,1),%rcx
cmp    %rdi,%rcx
jb     1187 <memrchr+0x87>
add    $0xfffffffffffffffc,%rax
movsbl -0x3(%rdi,%r10,1),%ecx
add    $0xfffffffffffffffc,%r10
add    $0xfffffffffffffffc,%r8
add    $0xfffffffffffffffc,%r9
add    $0xfffffffffffffffc,%rdx
cmp    %esi,%ecx
jne    111d <memrchr+0x1d>
jmp    11a0 <memrchr+0xa0>
mov    %r11,%rax
cmp    %rdi,%rax
jb     11a5 <memrchr+0xa5>
jmp    11a7 <memrchr+0xa7>
mov    %rcx,%rax
cmp    %rdi,%rax
jb     11a5 <memrchr+0xa5>
jmp    11a7 <memrchr+0xa7>
add    $0xffffffffffffffff,%rax
cmp    %rdi,%rax
jb     11a5 <memrchr+0xa5>
jmp    11a7 <memrchr+0xa7>
add    $0xfffffffffffffffe,%rax
cmp    %rdi,%rax
jae    11a7 <memrchr+0xa7>
xor    %eax,%eax
ret
add    $0xfffffffffffffffd,%rax
cmp    %rdi,%rax
jb     11a5 <memrchr+0xa5>
jmp    11a7 <memrchr+0xa7>

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

LLVM IR (-O2):
define i8* @memrchr(i8* %0, i32 %1, i64 %2) {
%4 = icmp eq i64 %2, 0
br i1 %4, label %39, label %5
5: ; preds = %3
%6 = getelementptr inbounds i8, i8* %0, i64 %2
br label %7
7: ; preds = %32, %5
%8 = phi i8* [ %6, %5 ], [ %30, %32 ]
%9 = getelementptr inbounds i8, i8* %8, i64 -1
%10 = icmp ult i8* %9, %0
br i1 %10, label %36, label %11
11: ; preds = %7
%12 = load i8, i8* %9
%13 = sext i8 %12 to i32
%14 = icmp eq i32 %13, %1
br i1 %14, label %36, label %15
15: ; preds = %11
%16 = getelementptr inbounds i8, i8* %8, i64 -2
%17 = icmp ult i8* %16, %0
br i1 %17, label %36, label %18
18: ; preds = %15
%19 = load i8, i8* %16
%20 = sext i8 %19 to i32
%21 = icmp eq i32 %20, %1
br i1 %21, label %36, label %22
22: ; preds = %18
%23 = getelementptr inbounds i8, i8* %8, i64 -3
%24 = icmp ult i8* %23, %0
br i1 %24, label %36, label %25
25: ; preds = %22
%26 = load i8, i8* %23
%27 = sext i8 %26 to i32
%28 = icmp eq i32 %27, %1
br i1 %28, label %36, label %29
29: ; preds = %25
%30 = getelementptr inbounds i8, i8* %8, i64 -4
%31 = icmp ult i8* %30, %0
br i1 %31, label %36, label %32
32: ; preds = %29
%33 = load i8, i8* %30
%34 = sext i8 %33 to i32
%35 = icmp eq i32 %34, %1
br i1 %35, label %36, label %7
36: ; preds = %29, %32, %22, %25, %15, %18, %7, %11
%37 = phi i8* [ %9, %7 ], [ %9, %11 ], [ %16, %15 ], [ %16, %18 ], [ %23, %22 ], [ %23, %25 ], [ %30, %29 ], [ %30, %32 ]
%38 = icmp ult i8* %37, %0
br i1 %38, label %39, label %40
39: ; preds = %36, %3
br label %40
40: ; preds = %36, %39
%41 = phi i8* [ %37, %36 ], [ null, %39 ]
ret i8* %41
}