int rend_id_is_in_interval(const char *a, const char *b, const char *c) {
  int a_b, b_c, c_a;
  (void)({
    if (__builtin_expect(!!(!(a)), 0)) {
      tor_assertion_failed_(("/scratch/repos/new/home/jordi_armengol_estape/"
                             "c-scraper/outputs/2022-01-22/02-19-57/repos/5mil/"
                             "lulz/refs/heads/master/src/tor/rendcommon.c"),
                            888, __func__, "a");
      abort();
    }
  });
  (void)({
    if (__builtin_expect(!!(!(b)), 0)) {
      tor_assertion_failed_(("/scratch/repos/new/home/jordi_armengol_estape/"
                             "c-scraper/outputs/2022-01-22/02-19-57/repos/5mil/"
                             "lulz/refs/heads/master/src/tor/rendcommon.c"),
                            889, __func__, "b");
      abort();
    }
  });
  (void)({
    if (__builtin_expect(!!(!(c)), 0)) {
      tor_assertion_failed_(("/scratch/repos/new/home/jordi_armengol_estape/"
                             "c-scraper/outputs/2022-01-22/02-19-57/repos/5mil/"
                             "lulz/refs/heads/master/src/tor/rendcommon.c"),
                            890, __func__, "c");
      abort();
    }
  });
  a_b = tor_memcmp(a, b, 20);
  if (a_b == 0)
    return 0;
  b_c = tor_memcmp(b, c, 20);
  if (b_c == 0)
    return 0;
  else if (a_b <= 0 && b_c < 0)
    return 0;
  c_a = tor_memcmp(c, a, 20);
  if (c_a < 0 && a_b <= 0)
    return 0;
  else if (b_c < 0 && c_a < 0)
    return 0;
  return 1;
}


x86 assembly (clang, -O0):
<rend_id_is_in_interval>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
cmpq   $0x0,-0x10(%rbp)
setne  %al
xor    $0xff,%al
xor    $0xff,%al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
cltq
cmp    $0x0,%rax
je     1189 <rend_id_is_in_interval+0x59>
lea    0xe96(%rip),%rdi
mov    $0x378,%esi
lea    0xf15(%rip),%rdx
lea    0xf25(%rip),%rcx
mov    $0x0,%al
call   1030 <tor_assertion_failed_@plt>
call   1040 <abort@plt>
cmpq   $0x0,-0x18(%rbp)
setne  %al
xor    $0xff,%al
xor    $0xff,%al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
cltq
cmp    $0x0,%rax
je     11ce <rend_id_is_in_interval+0x9e>
lea    0xe51(%rip),%rdi
mov    $0x379,%esi
lea    0xed0(%rip),%rdx
lea    0xee2(%rip),%rcx
mov    $0x0,%al
call   1030 <tor_assertion_failed_@plt>
call   1040 <abort@plt>
cmpq   $0x0,-0x20(%rbp)
setne  %al
xor    $0xff,%al
xor    $0xff,%al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
cltq
cmp    $0x0,%rax
je     1213 <rend_id_is_in_interval+0xe3>
lea    0xe0c(%rip),%rdi
mov    $0x37a,%esi
lea    0xe8b(%rip),%rdx
lea    0xe82(%rip),%rcx
mov    $0x0,%al
call   1030 <tor_assertion_failed_@plt>
call   1040 <abort@plt>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    $0x14,%edx
mov    $0x0,%al
call   1050 <tor_memcmp@plt>
mov    %eax,-0x24(%rbp)
cmpl   $0x0,-0x24(%rbp)
jne    1240 <rend_id_is_in_interval+0x110>
movl   $0x0,-0x4(%rbp)
jmp    12f5 <rend_id_is_in_interval+0x1c5>
mov    -0x18(%rbp),%rdi
mov    -0x20(%rbp),%rsi
mov    $0x14,%edx
mov    $0x0,%al
call   1050 <tor_memcmp@plt>
mov    %eax,-0x28(%rbp)
cmpl   $0x0,-0x28(%rbp)
jne    126d <rend_id_is_in_interval+0x13d>
movl   $0x0,-0x4(%rbp)
jmp    12f5 <rend_id_is_in_interval+0x1c5>
cmpl   $0x0,-0x24(%rbp)
jg     128d <rend_id_is_in_interval+0x15d>
cmpl   $0x0,-0x28(%rbp)
jge    128d <rend_id_is_in_interval+0x15d>
movl   $0x0,-0x4(%rbp)
jmp    12f5 <rend_id_is_in_interval+0x1c5>
jmp    1292 <rend_id_is_in_interval+0x162>
mov    -0x20(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    $0x14,%edx
mov    $0x0,%al
call   1050 <tor_memcmp@plt>
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0x2c(%rbp)
jge    12c9 <rend_id_is_in_interval+0x199>
cmpl   $0x0,-0x24(%rbp)
jg     12c9 <rend_id_is_in_interval+0x199>
movl   $0x0,-0x4(%rbp)
jmp    12f5 <rend_id_is_in_interval+0x1c5>
cmpl   $0x0,-0x28(%rbp)
jge    12e9 <rend_id_is_in_interval+0x1b9>
cmpl   $0x0,-0x2c(%rbp)
jge    12e9 <rend_id_is_in_interval+0x1b9>
movl   $0x0,-0x4(%rbp)
jmp    12f5 <rend_id_is_in_interval+0x1c5>
jmp    12ee <rend_id_is_in_interval+0x1be>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<rend_id_is_in_interval>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
test   %rdi,%rdi
je     11db <rend_id_is_in_interval+0xab>
mov    %rsi,%rbp
test   %rsi,%rsi
je     11f7 <rend_id_is_in_interval+0xc7>
mov    %rdx,%r14
test   %rdx,%rdx
je     1213 <rend_id_is_in_interval+0xe3>
mov    %rdi,%rbx
xor    %r15d,%r15d
mov    %rbp,%rsi
mov    $0x14,%edx
xor    %eax,%eax
call   1050 <tor_memcmp@plt>
test   %eax,%eax
je     11c9 <rend_id_is_in_interval+0x99>
mov    %eax,%r13d
xor    %r15d,%r15d
mov    %rbp,%rdi
mov    %r14,%rsi
mov    $0x14,%edx
xor    %eax,%eax
call   1050 <tor_memcmp@plt>
test   %eax,%eax
je     11c9 <rend_id_is_in_interval+0x99>
mov    %eax,%r12d
test   %r13d,%r13d
jg     119e <rend_id_is_in_interval+0x6e>
test   %r12d,%r12d
js     11c9 <rend_id_is_in_interval+0x99>
xor    %r15d,%r15d
mov    %r14,%rdi
mov    %rbx,%rsi
mov    $0x14,%edx
xor    %eax,%eax
call   1050 <tor_memcmp@plt>
test   %eax,%eax
jns    11bc <rend_id_is_in_interval+0x8c>
test   %r13d,%r13d
jle    11c9 <rend_id_is_in_interval+0x99>
and    %eax,%r12d
not    %r12d
shr    $0x1f,%r12d
mov    %r12d,%r15d
mov    %r15d,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
lea    0xe1e(%rip),%rdi
lea    0xea2(%rip),%rdx
lea    0xeb2(%rip),%rcx
mov    $0x378,%esi
jmp    122d <rend_id_is_in_interval+0xfd>
lea    0xe02(%rip),%rdi
lea    0xe86(%rip),%rdx
lea    0xe98(%rip),%rcx
mov    $0x379,%esi
jmp    122d <rend_id_is_in_interval+0xfd>
lea    0xde6(%rip),%rdi
lea    0xe6a(%rip),%rdx
lea    0xe61(%rip),%rcx
mov    $0x37a,%esi
xor    %eax,%eax
call   1030 <tor_assertion_failed_@plt>
call   1040 <abort@plt>

LLVM IR (-O0):
@.str = [139 x i8] c"/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/2022-01-22/02-19-57/repos/5mil/lulz/refs/heads/master/src/tor/rendcommon.c\00"
@__func__.rend_id_is_in_interval = [23 x i8] c"rend_id_is_in_interval\00"
@.str.1 = [2 x i8] c"a\00"
@.str.2 = [2 x i8] c"b\00"
@.str.3 = [2 x i8] c"c\00"
define i32 @rend_id_is_in_interval(i8* %0, i8* %1, i8* %2) {
%4 = alloca i32
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca i8*
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
store i8* %0, i8** %5
store i8* %1, i8** %6
store i8* %2, i8** %7
%11 = load i8*, i8** %5
%12 = icmp ne i8* %11, null
%13 = xor i1 %12, true
%14 = xor i1 %13, true
%15 = xor i1 %14, true
%16 = zext i1 %15 to i32
%17 = sext i32 %16 to i64
%18 = icmp ne i64 %17, 0
br i1 %18, label %19, label %21
19: ; preds = %3
%20 = call i32 (i8*, i32, i8*, i8*, ...) bitcast (i32 (...)* @tor_assertion_failed_ to i32 (i8*, i32, i8*, i8*, ...)*)(i8* getelementptr inbounds ([139 x i8], [139 x i8]* @.str, i64 0, i64 0), i32 888, i8* getelementptr inbounds ([23 x i8], [23 x i8]* @__func__.rend_id_is_in_interval, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0))
unreachable
21: ; preds = %3
%22 = load i8*, i8** %6
%23 = icmp ne i8* %22, null
%24 = xor i1 %23, true
%25 = xor i1 %24, true
%26 = xor i1 %25, true
%27 = zext i1 %26 to i32
%28 = sext i32 %27 to i64
%29 = icmp ne i64 %28, 0
br i1 %29, label %30, label %32
30: ; preds = %21
%31 = call i32 (i8*, i32, i8*, i8*, ...) bitcast (i32 (...)* @tor_assertion_failed_ to i32 (i8*, i32, i8*, i8*, ...)*)(i8* getelementptr inbounds ([139 x i8], [139 x i8]* @.str, i64 0, i64 0), i32 889, i8* getelementptr inbounds ([23 x i8], [23 x i8]* @__func__.rend_id_is_in_interval, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.2, i64 0, i64 0))
unreachable
32: ; preds = %21
%33 = load i8*, i8** %7
%34 = icmp ne i8* %33, null
%35 = xor i1 %34, true
%36 = xor i1 %35, true
%37 = xor i1 %36, true
%38 = zext i1 %37 to i32
%39 = sext i32 %38 to i64
%40 = icmp ne i64 %39, 0
br i1 %40, label %41, label %43
41: ; preds = %32
%42 = call i32 (i8*, i32, i8*, i8*, ...) bitcast (i32 (...)* @tor_assertion_failed_ to i32 (i8*, i32, i8*, i8*, ...)*)(i8* getelementptr inbounds ([139 x i8], [139 x i8]* @.str, i64 0, i64 0), i32 890, i8* getelementptr inbounds ([23 x i8], [23 x i8]* @__func__.rend_id_is_in_interval, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.3, i64 0, i64 0))
unreachable
43: ; preds = %32
%44 = load i8*, i8** %5
%45 = load i8*, i8** %6
%46 = call i32 (i8*, i8*, i32, ...) bitcast (i32 (...)* @tor_memcmp to i32 (i8*, i8*, i32, ...)*)(i8* %44, i8* %45, i32 20)
store i32 %46, i32* %8
%47 = load i32, i32* %8
%48 = icmp eq i32 %47, 0
br i1 %48, label %49, label %50
49: ; preds = %43
store i32 0, i32* %4
br label %84
50: ; preds = %43
%51 = load i8*, i8** %6
%52 = load i8*, i8** %7
%53 = call i32 (i8*, i8*, i32, ...) bitcast (i32 (...)* @tor_memcmp to i32 (i8*, i8*, i32, ...)*)(i8* %51, i8* %52, i32 20)
store i32 %53, i32* %9
%54 = load i32, i32* %9
%55 = icmp eq i32 %54, 0
br i1 %55, label %56, label %57
56: ; preds = %50
store i32 0, i32* %4
br label %84
57: ; preds = %50
%58 = load i32, i32* %8
%59 = icmp sle i32 %58, 0
br i1 %59, label %60, label %64
60: ; preds = %57
%61 = load i32, i32* %9
%62 = icmp slt i32 %61, 0
br i1 %62, label %63, label %64
63: ; preds = %60
store i32 0, i32* %4
br label %84
64: ; preds = %60, %57
br label %65
65: ; preds = %64
%66 = load i8*, i8** %7
%67 = load i8*, i8** %5
%68 = call i32 (i8*, i8*, i32, ...) bitcast (i32 (...)* @tor_memcmp to i32 (i8*, i8*, i32, ...)*)(i8* %66, i8* %67, i32 20)
store i32 %68, i32* %10
%69 = load i32, i32* %10
%70 = icmp slt i32 %69, 0
br i1 %70, label %71, label %75
71: ; preds = %65
%72 = load i32, i32* %8
%73 = icmp sle i32 %72, 0
br i1 %73, label %74, label %75
74: ; preds = %71
store i32 0, i32* %4
br label %84
75: ; preds = %71, %65
%76 = load i32, i32* %9
%77 = icmp slt i32 %76, 0
br i1 %77, label %78, label %82
78: ; preds = %75
%79 = load i32, i32* %10
%80 = icmp slt i32 %79, 0
br i1 %80, label %81, label %82
81: ; preds = %78
store i32 0, i32* %4
br label %84
82: ; preds = %78, %75
br label %83
83: ; preds = %82
store i32 1, i32* %4
br label %84
84: ; preds = %83, %81, %74, %63, %56, %49
%85 = load i32, i32* %4
ret i32 %85
}

LLVM IR (-O2):
@.str = [139 x i8] c"/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/2022-01-22/02-19-57/repos/5mil/lulz/refs/heads/master/src/tor/rendcommon.c\00"
@__func__.rend_id_is_in_interval = [23 x i8] c"rend_id_is_in_interval\00"
@.str.1 = [2 x i8] c"a\00"
@.str.2 = [2 x i8] c"b\00"
@.str.3 = [2 x i8] c"c\00"
define i32 @rend_id_is_in_interval(i8* %0, i8* %1, i8* %2) {
%4 = icmp eq i8* %0, null
br i1 %4, label %5, label %7
5: ; preds = %3
%6 = tail call i32 (i8*, i32, i8*, i8*, ...) bitcast (i32 (...)* @tor_assertion_failed_ to i32 (i8*, i32, i8*, i8*, ...)*)(i8* getelementptr inbounds ([139 x i8], [139 x i8]* @.str, i64 0, i64 0), i32 888, i8* getelementptr inbounds ([23 x i8], [23 x i8]* @__func__.rend_id_is_in_interval, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0))
tail call void @abort()
unreachable
7: ; preds = %3
%8 = icmp eq i8* %1, null
br i1 %8, label %9, label %11
9: ; preds = %7
%10 = tail call i32 (i8*, i32, i8*, i8*, ...) bitcast (i32 (...)* @tor_assertion_failed_ to i32 (i8*, i32, i8*, i8*, ...)*)(i8* getelementptr inbounds ([139 x i8], [139 x i8]* @.str, i64 0, i64 0), i32 889, i8* getelementptr inbounds ([23 x i8], [23 x i8]* @__func__.rend_id_is_in_interval, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.2, i64 0, i64 0))
tail call void @abort()
unreachable
11: ; preds = %7
%12 = icmp eq i8* %2, null
br i1 %12, label %13, label %15
13: ; preds = %11
%14 = tail call i32 (i8*, i32, i8*, i8*, ...) bitcast (i32 (...)* @tor_assertion_failed_ to i32 (i8*, i32, i8*, i8*, ...)*)(i8* getelementptr inbounds ([139 x i8], [139 x i8]* @.str, i64 0, i64 0), i32 890, i8* getelementptr inbounds ([23 x i8], [23 x i8]* @__func__.rend_id_is_in_interval, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.3, i64 0, i64 0))
tail call void @abort()
unreachable
15: ; preds = %11
%16 = tail call i32 (i8*, i8*, i32, ...) bitcast (i32 (...)* @tor_memcmp to i32 (i8*, i8*, i32, ...)*)(i8* %0, i8* %1, i32 20)
%17 = icmp eq i32 %16, 0
br i1 %17, label %33, label %18
18: ; preds = %15
%19 = tail call i32 (i8*, i8*, i32, ...) bitcast (i32 (...)* @tor_memcmp to i32 (i8*, i8*, i32, ...)*)(i8* %1, i8* %2, i32 20)
%20 = icmp eq i32 %19, 0
br i1 %20, label %33, label %21
21: ; preds = %18
%22 = icmp slt i32 %16, 1
%23 = icmp slt i32 %19, 0
%24 = select i1 %22, i1 %23, i1 false
br i1 %24, label %33, label %25
25: ; preds = %21
%26 = tail call i32 (i8*, i8*, i32, ...) bitcast (i32 (...)* @tor_memcmp to i32 (i8*, i8*, i32, ...)*)(i8* %2, i8* %0, i32 20)
%27 = icmp slt i32 %26, 0
%28 = select i1 %27, i1 %22, i1 false
br i1 %28, label %33, label %29
29: ; preds = %25
%30 = select i1 %23, i1 %27, i1 false
%31 = xor i1 %30, true
%32 = zext i1 %31 to i32
br label %33
33: ; preds = %29, %25, %21, %18, %15
%34 = phi i32 [ 0, %15 ], [ 0, %18 ], [ 0, %21 ], [ 0, %25 ], [ %32, %29 ]
ret i32 %34
}