__attribute__((regparm(0))) int
deputy_nullcheck(const volatile void *e, unsigned int len, unsigned int bytes) {
  int success = 0;
  switch (bytes) {
  case 1:
    do {
      char *p1 = (char *)e;
      char *p2 = ((char *)e) + len;
      while (p1 < p2 && *p1 != 0) {
        p1++;
      }
      success = (p1 >= p2);
    } while (0);
    break;
  case 2:
    do {
      short *p1 = (short *)e;
      short *p2 = ((short *)e) + len;
      while (p1 < p2 && *p1 != 0) {
        p1++;
      }
      success = (p1 >= p2);
    } while (0);
    break;
  case 4:
    do {
      long *p1 = (long *)e;
      long *p2 = ((long *)e) + len;
      while (p1 < p2 && *p1 != 0) {
        p1++;
      }
      success = (p1 >= p2);
    } while (0);
    break;
  default:
    deputy_fail_mayreturn("Bug: Invalid byte size for nullcheck.\n", "",
                          "/scratch/repos/new/home/jordi_armengol_estape/"
                          "c-scraper/outputs/2022-01-22/02-19-57/repos/spl/ivy/"
                          "refs/heads/master/deputy-include/deputy/checks.h",
                          109, __FUNCTION__);
  }
  return success;
}


x86 assembly (clang, -O0):
<deputy_nullcheck>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x10(%rbp),%eax
mov    %eax,-0x4c(%rbp)
sub    $0x1,%eax
je     115f <deputy_nullcheck+0x4f>
jmp    113d <deputy_nullcheck+0x2d>
mov    -0x4c(%rbp),%eax
sub    $0x2,%eax
je     11d6 <deputy_nullcheck+0xc6>
jmp    114e <deputy_nullcheck+0x3e>
mov    -0x4c(%rbp),%eax
sub    $0x4,%eax
je     1251 <deputy_nullcheck+0x141>
jmp    12ca <deputy_nullcheck+0x1ba>
jmp    1164 <deputy_nullcheck+0x54>
mov    -0x8(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    %rcx,%rax
mov    %rax,-0x28(%rbp)
mov    -0x20(%rbp),%rcx
xor    %eax,%eax
cmp    -0x28(%rbp),%rcx
mov    %al,-0x4d(%rbp)
jae    119d <deputy_nullcheck+0x8d>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
setne  %al
mov    %al,-0x4d(%rbp)
mov    -0x4d(%rbp),%al
test   $0x1,%al
jne    11ad <deputy_nullcheck+0x9d>
jmp    11be <deputy_nullcheck+0xae>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    117a <deputy_nullcheck+0x6a>
mov    -0x20(%rbp),%rax
cmp    -0x28(%rbp),%rax
setae  %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x14(%rbp)
jmp    12f2 <deputy_nullcheck+0x1e2>
jmp    11db <deputy_nullcheck+0xcb>
mov    -0x8(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
shl    $0x1,%rcx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x30(%rbp),%rcx
xor    %eax,%eax
cmp    -0x38(%rbp),%rcx
mov    %al,-0x4e(%rbp)
jae    1218 <deputy_nullcheck+0x108>
mov    -0x30(%rbp),%rax
movswl (%rax),%eax
cmp    $0x0,%eax
setne  %al
mov    %al,-0x4e(%rbp)
mov    -0x4e(%rbp),%al
test   $0x1,%al
jne    1228 <deputy_nullcheck+0x118>
jmp    1239 <deputy_nullcheck+0x129>
mov    -0x30(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x30(%rbp)
jmp    11f5 <deputy_nullcheck+0xe5>
mov    -0x30(%rbp),%rax
cmp    -0x38(%rbp),%rax
setae  %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x14(%rbp)
jmp    12f2 <deputy_nullcheck+0x1e2>
jmp    1256 <deputy_nullcheck+0x146>
mov    -0x8(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x48(%rbp)
mov    -0x40(%rbp),%rcx
xor    %eax,%eax
cmp    -0x48(%rbp),%rcx
mov    %al,-0x4f(%rbp)
jae    1291 <deputy_nullcheck+0x181>
mov    -0x40(%rbp),%rax
cmpq   $0x0,(%rax)
setne  %al
mov    %al,-0x4f(%rbp)
mov    -0x4f(%rbp),%al
test   $0x1,%al
jne    12a1 <deputy_nullcheck+0x191>
jmp    12b2 <deputy_nullcheck+0x1a2>
mov    -0x40(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x40(%rbp)
jmp    1270 <deputy_nullcheck+0x160>
mov    -0x40(%rbp),%rax
cmp    -0x48(%rbp),%rax
setae  %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x14(%rbp)
jmp    12f2 <deputy_nullcheck+0x1e2>
lea    0xd2f(%rip),%rdi
lea    0xd4e(%rip),%rsi
lea    0xd48(%rip),%rdx
mov    $0x6d,%ecx
lea    0xdcf(%rip),%r8
mov    $0x0,%al
call   1030 <deputy_fail_mayreturn@plt>
mov    -0x14(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<deputy_nullcheck>:
push   %rbx
cmp    $0x4,%edx
je     1140 <deputy_nullcheck+0x30>
cmp    $0x2,%edx
je     1161 <deputy_nullcheck+0x51>
cmp    $0x1,%edx
jne    1187 <deputy_nullcheck+0x77>
mov    %esi,%eax
add    %rdi,%rax
test   %esi,%esi
je     117f <deputy_nullcheck+0x6f>
nopl   0x0(%rax)
cmpb   $0x0,(%rdi)
je     117f <deputy_nullcheck+0x6f>
add    $0x1,%rdi
cmp    %rax,%rdi
jb     1130 <deputy_nullcheck+0x20>
jmp    117f <deputy_nullcheck+0x6f>
mov    %esi,%eax
lea    (%rdi,%rax,8),%rax
cmp    %rdi,%rax
jbe    117f <deputy_nullcheck+0x6f>
nopl   0x0(%rax,%rax,1)
cmpq   $0x0,(%rdi)
je     117f <deputy_nullcheck+0x6f>
add    $0x8,%rdi
cmp    %rax,%rdi
jb     1150 <deputy_nullcheck+0x40>
jmp    117f <deputy_nullcheck+0x6f>
mov    %esi,%eax
lea    (%rdi,%rax,2),%rax
cmp    %rdi,%rax
jbe    117f <deputy_nullcheck+0x6f>
nopl   0x0(%rax)
cmpw   $0x0,(%rdi)
je     117f <deputy_nullcheck+0x6f>
add    $0x2,%rdi
cmp    %rax,%rdi
jb     1170 <deputy_nullcheck+0x60>
cmp    %rax,%rdi
setae  %bl
jmp    11b1 <deputy_nullcheck+0xa1>
lea    0xe72(%rip),%rdi
lea    0xe91(%rip),%rsi
lea    0xe8b(%rip),%rdx
lea    0xf17(%rip),%r8
xor    %ebx,%ebx
mov    $0x6d,%ecx
xor    %eax,%eax
call   1030 <deputy_fail_mayreturn@plt>
movzbl %bl,%eax
pop    %rbx
ret

LLVM IR (-O0):
@.str = [39 x i8] c"Bug: Invalid byte size for nullcheck.\0A\00"
@.str.1 = [1 x i8] zeroinitializer
@.str.2 = [147 x i8] c"/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/2022-01-22/02-19-57/repos/spl/ivy/refs/heads/master/deputy-include/deputy/checks.h\00"
@__FUNCTION__.deputy_nullcheck = [17 x i8] c"deputy_nullcheck\00"
define i32 @deputy_nullcheck(i8* %0, i32 %1, i32 %2) {
%4 = alloca i8*
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i8*
%9 = alloca i8*
%10 = alloca i16*
%11 = alloca i16*
%12 = alloca i64*
%13 = alloca i64*
store i8* %0, i8** %4
store i32 %1, i32* %5
store i32 %2, i32* %6
store i32 0, i32* %7
%14 = load i32, i32* %6
switch i32 %14, label %99 [
i32 1, label %15
i32 2, label %42
i32 4, label %71
]
15: ; preds = %3
br label %16
16: ; preds = %15
%17 = load i8*, i8** %4
store i8* %17, i8** %8
%18 = load i8*, i8** %4
%19 = load i32, i32* %5
%20 = zext i32 %19 to i64
%21 = getelementptr inbounds i8, i8* %18, i64 %20
store i8* %21, i8** %9
br label %22
22: ; preds = %33, %16
%23 = load i8*, i8** %8
%24 = load i8*, i8** %9
%25 = icmp ult i8* %23, %24
br i1 %25, label %26, label %31
26: ; preds = %22
%27 = load i8*, i8** %8
%28 = load i8, i8* %27
%29 = sext i8 %28 to i32
%30 = icmp ne i32 %29, 0
br label %31
31: ; preds = %26, %22
%32 = phi i1 [ false, %22 ], [ %30, %26 ]
br i1 %32, label %33, label %36
33: ; preds = %31
%34 = load i8*, i8** %8
%35 = getelementptr inbounds i8, i8* %34, i32 1
store i8* %35, i8** %8
br label %22
36: ; preds = %31
%37 = load i8*, i8** %8
%38 = load i8*, i8** %9
%39 = icmp uge i8* %37, %38
%40 = zext i1 %39 to i32
store i32 %40, i32* %7
br label %41
41: ; preds = %36
br label %101
42: ; preds = %3
br label %43
43: ; preds = %42
%44 = load i8*, i8** %4
%45 = bitcast i8* %44 to i16*
store i16* %45, i16** %10
%46 = load i8*, i8** %4
%47 = bitcast i8* %46 to i16*
%48 = load i32, i32* %5
%49 = zext i32 %48 to i64
%50 = getelementptr inbounds i16, i16* %47, i64 %49
store i16* %50, i16** %11
br label %51
51: ; preds = %62, %43
%52 = load i16*, i16** %10
%53 = load i16*, i16** %11
%54 = icmp ult i16* %52, %53
br i1 %54, label %55, label %60
55: ; preds = %51
%56 = load i16*, i16** %10
%57 = load i16, i16* %56
%58 = sext i16 %57 to i32
%59 = icmp ne i32 %58, 0
br label %60
60: ; preds = %55, %51
%61 = phi i1 [ false, %51 ], [ %59, %55 ]
br i1 %61, label %62, label %65
62: ; preds = %60
%63 = load i16*, i16** %10
%64 = getelementptr inbounds i16, i16* %63, i32 1
store i16* %64, i16** %10
br label %51
65: ; preds = %60
%66 = load i16*, i16** %10
%67 = load i16*, i16** %11
%68 = icmp uge i16* %66, %67
%69 = zext i1 %68 to i32
store i32 %69, i32* %7
br label %70
70: ; preds = %65
br label %101
71: ; preds = %3
br label %72
72: ; preds = %71
%73 = load i8*, i8** %4
%74 = bitcast i8* %73 to i64*
store i64* %74, i64** %12
%75 = load i8*, i8** %4
%76 = bitcast i8* %75 to i64*
%77 = load i32, i32* %5
%78 = zext i32 %77 to i64
%79 = getelementptr inbounds i64, i64* %76, i64 %78
store i64* %79, i64** %13
br label %80
80: ; preds = %90, %72
%81 = load i64*, i64** %12
%82 = load i64*, i64** %13
%83 = icmp ult i64* %81, %82
br i1 %83, label %84, label %88
84: ; preds = %80
%85 = load i64*, i64** %12
%86 = load i64, i64* %85
%87 = icmp ne i64 %86, 0
br label %88
88: ; preds = %84, %80
%89 = phi i1 [ false, %80 ], [ %87, %84 ]
br i1 %89, label %90, label %93
90: ; preds = %88
%91 = load i64*, i64** %12
%92 = getelementptr inbounds i64, i64* %91, i32 1
store i64* %92, i64** %12
br label %80
93: ; preds = %88
%94 = load i64*, i64** %12
%95 = load i64*, i64** %13
%96 = icmp uge i64* %94, %95
%97 = zext i1 %96 to i32
store i32 %97, i32* %7
br label %98
98: ; preds = %93
br label %101
99: ; preds = %3
%100 = call i32 (i8*, i8*, i8*, i32, i8*, ...) bitcast (i32 (...)* @deputy_fail_mayreturn to i32 (i8*, i8*, i8*, i32, i8*, ...)*)(i8* getelementptr inbounds ([39 x i8], [39 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([147 x i8], [147 x i8]* @.str.2, i64 0, i64 0), i32 109, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @__FUNCTION__.deputy_nullcheck, i64 0, i64 0))
br label %101
101: ; preds = %99, %98, %70, %41
%102 = load i32, i32* %7
ret i32 %102
}

LLVM IR (-O2):
@.str = [39 x i8] c"Bug: Invalid byte size for nullcheck.\0A\00"
@.str.1 = [1 x i8] zeroinitializer
@.str.2 = [147 x i8] c"/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/2022-01-22/02-19-57/repos/spl/ivy/refs/heads/master/deputy-include/deputy/checks.h\00"
@__FUNCTION__.deputy_nullcheck = [17 x i8] c"deputy_nullcheck\00"
define i32 @deputy_nullcheck(i8* %0, i32 %1, i32 %2) {
switch i32 %2, label %48 [
i32 1, label %4
i32 2, label %18
i32 4, label %33
]
4: ; preds = %3
%5 = zext i32 %1 to i64
%6 = getelementptr inbounds i8, i8* %0, i64 %5
%7 = icmp eq i32 %1, 0
br i1 %7, label %15, label %8
8: ; preds = %4, %12
%9 = phi i8* [ %13, %12 ], [ %0, %4 ]
%10 = load i8, i8* %9
%11 = icmp eq i8 %10, 0
br i1 %11, label %15, label %12
12: ; preds = %8
%13 = getelementptr inbounds i8, i8* %9, i64 1
%14 = icmp ult i8* %13, %6
br i1 %14, label %8, label %15
15: ; preds = %8, %12, %4
%16 = phi i8* [ %0, %4 ], [ %13, %12 ], [ %9, %8 ]
%17 = icmp uge i8* %16, %6
br label %50
18: ; preds = %3
%19 = bitcast i8* %0 to i16*
%20 = zext i32 %1 to i64
%21 = getelementptr inbounds i16, i16* %19, i64 %20
%22 = icmp ugt i16* %21, %19
br i1 %22, label %23, label %30
23: ; preds = %18, %27
%24 = phi i16* [ %28, %27 ], [ %19, %18 ]
%25 = load i16, i16* %24
%26 = icmp eq i16 %25, 0
br i1 %26, label %30, label %27
27: ; preds = %23
%28 = getelementptr inbounds i16, i16* %24, i64 1
%29 = icmp ult i16* %28, %21
br i1 %29, label %23, label %30
30: ; preds = %23, %27, %18
%31 = phi i16* [ %19, %18 ], [ %28, %27 ], [ %24, %23 ]
%32 = icmp uge i16* %31, %21
br label %50
33: ; preds = %3
%34 = bitcast i8* %0 to i64*
%35 = zext i32 %1 to i64
%36 = getelementptr inbounds i64, i64* %34, i64 %35
%37 = icmp ugt i64* %36, %34
br i1 %37, label %38, label %45
38: ; preds = %33, %42
%39 = phi i64* [ %43, %42 ], [ %34, %33 ]
%40 = load i64, i64* %39
%41 = icmp eq i64 %40, 0
br i1 %41, label %45, label %42
42: ; preds = %38
%43 = getelementptr inbounds i64, i64* %39, i64 1
%44 = icmp ult i64* %43, %36
br i1 %44, label %38, label %45
45: ; preds = %38, %42, %33
%46 = phi i64* [ %34, %33 ], [ %43, %42 ], [ %39, %38 ]
%47 = icmp uge i64* %46, %36
br label %50
48: ; preds = %3
%49 = tail call i32 (i8*, i8*, i8*, i32, i8*, ...) bitcast (i32 (...)* @deputy_fail_mayreturn to i32 (i8*, i8*, i8*, i32, i8*, ...)*)(i8* getelementptr inbounds ([39 x i8], [39 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([147 x i8], [147 x i8]* @.str.2, i64 0, i64 0), i32 109, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @__FUNCTION__.deputy_nullcheck, i64 0, i64 0))
br label %50
50: ; preds = %48, %45, %30, %15
%51 = phi i1 [ false, %48 ], [ %47, %45 ], [ %32, %30 ], [ %17, %15 ]
%52 = zext i1 %51 to i32
ret i32 %52
}