#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 *);
scalar_t__ toupper(char const);
const unsigned char *str_rightis(const unsigned char *buf,
                                 const unsigned char **buf_nextline,
                                 const char *right) {
  const unsigned char *p = buf;
  while (*p != '\0' && *p != '\n' && (*p != '\r' || p[1] != '\n'))
    ++p;
  if (*p == '\0')
    *buf_nextline = NULL;
  else if (p[0] == '\r' && p[1] == '\n')
    *buf_nextline = p + 2;
  else if (p[0] == '\n')
    *buf_nextline = p + 1;
  if (p > buf)
    --p;
  int l = strlen(right);
  if (l <= 0)
    return p + 1;
  const char *r = right + l - 1;
  while (r >= right && p >= buf && toupper(*p) == toupper(*r)) {
    --p;
    --r;
  }
  if (r < right)
    return p + 1;
  return NULL;
}


x86 assembly (clang, -O0):
<str_rightis>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
movzbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x39(%rbp)
je     1192 <str_rightis+0x72>
mov    -0x28(%rbp),%rax
movzbl (%rax),%ecx
xor    %eax,%eax
cmp    $0xa,%ecx
mov    %al,-0x39(%rbp)
je     1192 <str_rightis+0x72>
mov    -0x28(%rbp),%rax
movzbl (%rax),%ecx
mov    $0x1,%al
cmp    $0xd,%ecx
mov    %al,-0x3a(%rbp)
jne    118c <str_rightis+0x6c>
mov    -0x28(%rbp),%rax
movzbl 0x1(%rax),%eax
cmp    $0xa,%eax
setne  %al
mov    %al,-0x3a(%rbp)
mov    -0x3a(%rbp),%al
mov    %al,-0x39(%rbp)
mov    -0x39(%rbp),%al
test   $0x1,%al
jne    11a2 <str_rightis+0x82>
jmp    11b3 <str_rightis+0x93>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    113c <str_rightis+0x1c>
mov    -0x28(%rbp),%rax
movzbl (%rax),%eax
cmp    $0x0,%eax
jne    11d3 <str_rightis+0xb3>
mov    -0x18(%rbp),%rax
movq   $0x0,(%rax)
jmp    1231 <str_rightis+0x111>
mov    -0x28(%rbp),%rax
movzbl (%rax),%eax
cmp    $0xd,%eax
jne    1208 <str_rightis+0xe8>
mov    -0x28(%rbp),%rax
movzbl 0x1(%rax),%eax
cmp    $0xa,%eax
jne    1208 <str_rightis+0xe8>
mov    -0x28(%rbp),%rcx
add    $0x2,%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
jmp    122c <str_rightis+0x10c>
mov    -0x28(%rbp),%rax
movzbl (%rax),%eax
cmp    $0xa,%eax
jne    1227 <str_rightis+0x107>
mov    -0x28(%rbp),%rcx
add    $0x1,%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
jmp    122c <str_rightis+0x10c>
jmp    1231 <str_rightis+0x111>
mov    -0x28(%rbp),%rax
cmp    -0x10(%rbp),%rax
jbe    124b <str_rightis+0x12b>
mov    -0x28(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x28(%rbp)
mov    -0x20(%rbp),%rdi
call   1040 <strlen@plt>
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0x2c(%rbp)
jg     1272 <str_rightis+0x152>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
jmp    132b <str_rightis+0x20b>
mov    -0x20(%rbp),%rax
movslq -0x2c(%rbp),%rcx
add    %rcx,%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rcx
xor    %eax,%eax
cmp    -0x20(%rbp),%rcx
mov    %al,-0x3b(%rbp)
jb     12d7 <str_rightis+0x1b7>
mov    -0x28(%rbp),%rcx
xor    %eax,%eax
cmp    -0x10(%rbp),%rcx
mov    %al,-0x3b(%rbp)
jb     12d7 <str_rightis+0x1b7>
mov    -0x28(%rbp),%rax
movsbl (%rax),%edi
call   1030 <toupper@plt>
mov    %rax,-0x48(%rbp)
mov    -0x38(%rbp),%rax
movsbl (%rax),%edi
call   1030 <toupper@plt>
mov    %rax,%rcx
mov    -0x48(%rbp),%rax
cmp    %rcx,%rax
sete   %al
mov    %al,-0x3b(%rbp)
mov    -0x3b(%rbp),%al
test   $0x1,%al
jne    12e7 <str_rightis+0x1c7>
jmp    1304 <str_rightis+0x1e4>
mov    -0x28(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x28(%rbp)
mov    -0x38(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x38(%rbp)
jmp    1285 <str_rightis+0x165>
mov    -0x38(%rbp),%rax
cmp    -0x20(%rbp),%rax
jae    1323 <str_rightis+0x203>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
jmp    132b <str_rightis+0x20b>
movq   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<str_rightis>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %rdx,%r13
mov    %rdi,%rbp
xor    %ebx,%ebx
jmp    114b <str_rightis+0x2b>
nopl   0x0(%rax,%rax,1)
cmpb   $0xa,0x1(%rbp,%rbx,1)
je     116a <str_rightis+0x4a>
add    $0x1,%rbx
movzbl 0x0(%rbp,%rbx,1),%eax
cmp    $0xd,%al
je     1140 <str_rightis+0x20>
test   %al,%al
je     1166 <str_rightis+0x46>
cmp    $0xa,%al
jne    1147 <str_rightis+0x27>
lea    (%rbx,%rbp,1),%rax
add    $0x1,%rax
jmp    1172 <str_rightis+0x52>
xor    %eax,%eax
jmp    1172 <str_rightis+0x52>
lea    (%rbx,%rbp,1),%rax
add    $0x2,%rax
mov    %rax,(%rsi)
lea    (%rbx,%rbp,1),%rax
xor    %r15d,%r15d
cmp    %rbp,%rax
seta   %r15b
mov    %r15,%rax
neg    %rax
mov    %rax,%r14
mov    %r13,%rdi
call   1040 <strlen@plt>
test   %eax,%eax
jle    1243 <str_rightis+0x123>
mov    %rbp,%r12
sub    %r15,%r12
add    %rbx,%r12
mov    %eax,%edi
lea    (%rdi,%r13,1),%rax
add    $0xffffffffffffffff,%rax
cmp    %r13,%rax
setb   %r8b
jb     1234 <str_rightis+0x114>
cmp    %rbp,%r12
jb     1234 <str_rightis+0x114>
add    %r13,%rdi
mov    %rbp,0x8(%rsp)
add    %rbp,%r14
mov    %r14,%r15
lea    (%r14,%rbx,1),%r12
xor    %ebp,%ebp
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
lea    (%r15,%rbp,1),%rax
mov    %rdi,%r14
movsbl (%rbx,%rax,1),%edi
call   1030 <toupper@plt>
mov    %rax,0x10(%rsp)
movsbl -0x1(%r14,%rbp,1),%edi
call   1030 <toupper@plt>
cmp    %rax,0x10(%rsp)
jne    1250 <str_rightis+0x130>
lea    (%r14,%rbp,1),%rax
add    $0xfffffffffffffffe,%rax
lea    -0x1(%rbp),%rcx
cmp    %r13,%rax
setb   %r8b
jb     1231 <str_rightis+0x111>
mov    %r14,%rdi
lea    (%r12,%rbp,1),%rdx
add    $0xffffffffffffffff,%rdx
mov    %rcx,%rbp
cmp    0x8(%rsp),%rdx
jae    11e0 <str_rightis+0xc0>
add    %rcx,%r12
add    $0x1,%r12
xor    %eax,%eax
test   %r8b,%r8b
cmovne %r12,%rax
jmp    1252 <str_rightis+0x132>
add    %r14,%rbp
lea    (%rbx,%rbp,1),%rax
add    $0x1,%rax
jmp    1252 <str_rightis+0x132>
xor    %eax,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i8* @str_rightis(i8* %0, i8** nocapture writeonly %1, i8* %2) {
br label %4
4: ; preds = %11, %3
%5 = phi i8* [ %0, %3 ], [ %12, %11 ]
%6 = load i8, i8* %5
switch i8 %6, label %11 [
i8 13, label %7
i8 0, label %17
i8 10, label %15
]
7: ; preds = %4
%8 = getelementptr inbounds i8, i8* %5, i64 1
%9 = load i8, i8* %8
%10 = icmp eq i8 %9, 10
br i1 %10, label %13, label %11
11: ; preds = %4, %7
%12 = getelementptr inbounds i8, i8* %5, i64 1
br label %4
13: ; preds = %7
%14 = getelementptr inbounds i8, i8* %5, i64 2
br label %17
15: ; preds = %4
%16 = getelementptr inbounds i8, i8* %5, i64 1
br label %17
17: ; preds = %4, %13, %15
%18 = phi i8* [ %14, %13 ], [ %16, %15 ], [ null, %4 ]
store i8* %18, i8** %1
%19 = icmp ugt i8* %5, %0
%20 = sext i1 %19 to i64
%21 = getelementptr i8, i8* %5, i64 %20
%22 = tail call i32 @strlen(i8* %2)
%23 = icmp slt i32 %22, 1
br i1 %23, label %24, label %26
24: ; preds = %17
%25 = getelementptr inbounds i8, i8* %21, i64 1
br label %52
26: ; preds = %17
%27 = zext i32 %22 to i64
%28 = getelementptr inbounds i8, i8* %2, i64 %27
%29 = getelementptr inbounds i8, i8* %28, i64 -1
%30 = icmp ult i8* %29, %2
%31 = icmp ult i8* %21, %0
%32 = or i1 %30, %31
br i1 %32, label %47, label %33
33: ; preds = %26, %41
%34 = phi i8* [ %43, %41 ], [ %29, %26 ]
%35 = phi i8* [ %42, %41 ], [ %21, %26 ]
%36 = load i8, i8* %35
%37 = tail call i64 @toupper(i8 signext %36)
%38 = load i8, i8* %34
%39 = tail call i64 @toupper(i8 signext %38)
%40 = icmp eq i64 %37, %39
br i1 %40, label %41, label %52
41: ; preds = %33
%42 = getelementptr inbounds i8, i8* %35, i64 -1
%43 = getelementptr inbounds i8, i8* %34, i64 -1
%44 = icmp ult i8* %43, %2
%45 = icmp ult i8* %42, %0
%46 = select i1 %44, i1 true, i1 %45
br i1 %46, label %47, label %33
47: ; preds = %41, %26
%48 = phi i8* [ %21, %26 ], [ %42, %41 ]
%49 = phi i1 [ %30, %26 ], [ %44, %41 ]
%50 = getelementptr inbounds i8, i8* %48, i64 1
%51 = select i1 %49, i8* %50, i8* null
br label %52
52: ; preds = %33, %47, %24
%53 = phi i8* [ %25, %24 ], [ %51, %47 ], [ null, %33 ]
ret i8* %53
}