unsigned int byte_rchr(const char *s, unsigned int n, int c) {
  char ch;
  const char *t;
  const char *u;
  ch = c;
  t = s;
  u = 0;
  for (;;) {
    if (!n)
      break;
    if (*t == ch)
      u = t;
    ++t;
    --n;
    if (!n)
      break;
    if (*t == ch)
      u = t;
    ++t;
    --n;
    if (!n)
      break;
    if (*t == ch)
      u = t;
    ++t;
    --n;
    if (!n)
      break;
    if (*t == ch)
      u = t;
    ++t;
    --n;
  }
  if (!u)
    u = t;
  return u - s;
}


x86 assembly (clang, -O0):
<byte_rchr>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    -0x10(%rbp),%eax
mov    %al,-0x11(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x20(%rbp)
movq   $0x0,-0x28(%rbp)
cmpl   $0x0,-0xc(%rbp)
jne    1133 <byte_rchr+0x33>
jmp    1225 <byte_rchr+0x125>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
movsbl -0x11(%rbp),%ecx
cmp    %ecx,%eax
jne    114e <byte_rchr+0x4e>
mov    -0x20(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0xc(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0xc(%rbp)
cmpl   $0x0,-0xc(%rbp)
jne    1172 <byte_rchr+0x72>
jmp    1225 <byte_rchr+0x125>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
movsbl -0x11(%rbp),%ecx
cmp    %ecx,%eax
jne    118d <byte_rchr+0x8d>
mov    -0x20(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0xc(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0xc(%rbp)
cmpl   $0x0,-0xc(%rbp)
jne    11b1 <byte_rchr+0xb1>
jmp    1225 <byte_rchr+0x125>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
movsbl -0x11(%rbp),%ecx
cmp    %ecx,%eax
jne    11cc <byte_rchr+0xcc>
mov    -0x20(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0xc(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0xc(%rbp)
cmpl   $0x0,-0xc(%rbp)
jne    11f0 <byte_rchr+0xf0>
jmp    1225 <byte_rchr+0x125>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
movsbl -0x11(%rbp),%ecx
cmp    %ecx,%eax
jne    120b <byte_rchr+0x10b>
mov    -0x20(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0xc(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0xc(%rbp)
jmp    1124 <byte_rchr+0x24>
cmpq   $0x0,-0x28(%rbp)
jne    1238 <byte_rchr+0x138>
mov    -0x20(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
mov    -0x8(%rbp),%rcx
sub    %rcx,%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<byte_rchr>:
push   %rbx
test   %esi,%esi
je     1188 <byte_rchr+0x88>
movsbl %dl,%ecx
mov    %esi,%r11d
lea    -0x1(%r11),%r8
lea    -0x2(%r11),%r9
lea    -0x3(%r11),%r10
xor    %esi,%esi
xor    %eax,%eax
nop
mov    %rax,%rdx
lea    (%rdi,%rsi,1),%rax
movsbl (%rdi,%rsi,1),%ebx
cmp    %ebx,%ecx
cmovne %rdx,%rax
lea    (%rdi,%rsi,1),%rdx
add    $0x1,%rdx
cmp    %esi,%r8d
je     118d <byte_rchr+0x8d>
movsbl 0x1(%rdi,%rsi,1),%ebx
cmp    %ebx,%ecx
cmove  %rdx,%rax
lea    (%rdi,%rsi,1),%rdx
add    $0x2,%rdx
cmp    %esi,%r9d
je     118d <byte_rchr+0x8d>
movsbl 0x2(%rdi,%rsi,1),%ebx
cmp    %ebx,%ecx
cmove  %rdx,%rax
lea    (%rdi,%rsi,1),%rdx
add    $0x3,%rdx
cmp    %esi,%r10d
je     118d <byte_rchr+0x8d>
movsbl (%rdx),%ebx
cmp    %ebx,%ecx
cmove  %rdx,%rax
add    $0x4,%rsi
cmp    %esi,%r11d
jne    1120 <byte_rchr+0x20>
add    %rdi,%rsi
mov    %rsi,%rdx
jmp    118d <byte_rchr+0x8d>
xor    %eax,%eax
mov    %rdi,%rdx
test   %rax,%rax
cmove  %edx,%eax
sub    %edi,%eax
pop    %rbx
ret

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

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