int jpg_check_dht(const unsigned char *buffer, const unsigned int buffer_size,
                  const unsigned int i, const unsigned int size) {
  unsigned int j = i + 4;
  if (size < 18)
    return 2;
  while (j < buffer_size && j < i + size) {
    const unsigned int tc = buffer[j] >> 4;
    const unsigned int n = buffer[j] & 0x0f;
    unsigned int l;
    unsigned int sum = 0;
    if (tc > 1)
      return 2;
    if (n > 3)
      return 2;
    j++;
    for (l = 0; l < 16; l++)
      if (j + l < buffer_size)
        sum += buffer[j + l];
    if (sum > 255)
      return 2;
    j += 16;
    j += sum;
  }
  if (j > i + size)
    return 2;
  return 0;
}


x86 assembly (clang, -O0):
<jpg_check_dht>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
add    $0x4,%eax
mov    %eax,-0x20(%rbp)
cmpl   $0x12,-0x1c(%rbp)
jae    1130 <jpg_check_dht+0x30>
movl   $0x2,-0x4(%rbp)
jmp    1262 <jpg_check_dht+0x162>
jmp    1135 <jpg_check_dht+0x35>
mov    -0x20(%rbp),%ecx
xor    %eax,%eax
cmp    -0x14(%rbp),%ecx
mov    %al,-0x31(%rbp)
jae    1157 <jpg_check_dht+0x57>
mov    -0x20(%rbp),%eax
mov    -0x18(%rbp),%ecx
add    -0x1c(%rbp),%ecx
cmp    %ecx,%eax
setb   %al
mov    %al,-0x31(%rbp)
mov    -0x31(%rbp),%al
test   $0x1,%al
jne    1167 <jpg_check_dht+0x67>
jmp    123e <jpg_check_dht+0x13e>
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%ecx
movzbl (%rax,%rcx,1),%eax
sar    $0x4,%eax
mov    %eax,-0x24(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%ecx
movzbl (%rax,%rcx,1),%eax
and    $0xf,%eax
mov    %eax,-0x28(%rbp)
movl   $0x0,-0x30(%rbp)
cmpl   $0x1,-0x24(%rbp)
jbe    11a6 <jpg_check_dht+0xa6>
movl   $0x2,-0x4(%rbp)
jmp    1262 <jpg_check_dht+0x162>
cmpl   $0x3,-0x28(%rbp)
jbe    11bc <jpg_check_dht+0xbc>
movl   $0x2,-0x4(%rbp)
jmp    1262 <jpg_check_dht+0x162>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
movl   $0x0,-0x2c(%rbp)
cmpl   $0x10,-0x2c(%rbp)
jae    120e <jpg_check_dht+0x10e>
mov    -0x20(%rbp),%eax
add    -0x2c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jae    11fb <jpg_check_dht+0xfb>
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%ecx
add    -0x2c(%rbp),%ecx
mov    %ecx,%ecx
movzbl (%rax,%rcx,1),%eax
add    -0x30(%rbp),%eax
mov    %eax,-0x30(%rbp)
jmp    1200 <jpg_check_dht+0x100>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    11cc <jpg_check_dht+0xcc>
cmpl   $0xff,-0x30(%rbp)
jbe    1227 <jpg_check_dht+0x127>
movl   $0x2,-0x4(%rbp)
jmp    1262 <jpg_check_dht+0x162>
mov    -0x20(%rbp),%eax
add    $0x10,%eax
mov    %eax,-0x20(%rbp)
mov    -0x30(%rbp),%eax
add    -0x20(%rbp),%eax
mov    %eax,-0x20(%rbp)
jmp    1135 <jpg_check_dht+0x35>
mov    -0x20(%rbp),%eax
mov    -0x18(%rbp),%ecx
add    -0x1c(%rbp),%ecx
cmp    %ecx,%eax
jbe    125b <jpg_check_dht+0x15b>
movl   $0x2,-0x4(%rbp)
jmp    1262 <jpg_check_dht+0x162>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<jpg_check_dht>:
mov    $0x2,%eax
cmp    $0x12,%ecx
jb     1293 <jpg_check_dht+0x193>
add    %edx,%ecx
add    $0x4,%edx
cmp    %esi,%edx
jae    128a <jpg_check_dht+0x18a>
nopl   0x0(%rax,%rax,1)
cmp    %ecx,%edx
jae    128a <jpg_check_dht+0x18a>
mov    %edx,%r9d
testb  $0xec,(%rdi,%r9,1)
jne    1293 <jpg_check_dht+0x193>
add    $0x1,%r9
xor    %r8d,%r8d
cmp    %esi,%r9d
jae    1147 <jpg_check_dht+0x47>
movzbl (%rdi,%r9,1),%r8d
lea    0x2(%rdx),%r9d
cmp    %esi,%r9d
jae    115b <jpg_check_dht+0x5b>
mov    %r9d,%r9d
movzbl (%rdi,%r9,1),%r9d
add    %r9d,%r8d
lea    0x3(%rdx),%r9d
cmp    %esi,%r9d
jae    116f <jpg_check_dht+0x6f>
mov    %r9d,%r9d
movzbl (%rdi,%r9,1),%r9d
add    %r9d,%r8d
lea    0x4(%rdx),%r9d
cmp    %esi,%r9d
jae    1183 <jpg_check_dht+0x83>
mov    %r9d,%r9d
movzbl (%rdi,%r9,1),%r9d
add    %r9d,%r8d
lea    0x5(%rdx),%r9d
cmp    %esi,%r9d
jae    1197 <jpg_check_dht+0x97>
mov    %r9d,%r9d
movzbl (%rdi,%r9,1),%r9d
add    %r9d,%r8d
lea    0x6(%rdx),%r9d
cmp    %esi,%r9d
jae    11ab <jpg_check_dht+0xab>
mov    %r9d,%r9d
movzbl (%rdi,%r9,1),%r9d
add    %r9d,%r8d
lea    0x7(%rdx),%r9d
cmp    %esi,%r9d
jae    11bf <jpg_check_dht+0xbf>
mov    %r9d,%r9d
movzbl (%rdi,%r9,1),%r9d
add    %r9d,%r8d
lea    0x8(%rdx),%r9d
cmp    %esi,%r9d
jae    11d3 <jpg_check_dht+0xd3>
mov    %r9d,%r9d
movzbl (%rdi,%r9,1),%r9d
add    %r9d,%r8d
lea    0x9(%rdx),%r9d
cmp    %esi,%r9d
jae    11e7 <jpg_check_dht+0xe7>
mov    %r9d,%r9d
movzbl (%rdi,%r9,1),%r9d
add    %r9d,%r8d
lea    0xa(%rdx),%r9d
cmp    %esi,%r9d
jae    11fb <jpg_check_dht+0xfb>
mov    %r9d,%r9d
movzbl (%rdi,%r9,1),%r9d
add    %r9d,%r8d
lea    0xb(%rdx),%r9d
cmp    %esi,%r9d
jae    120f <jpg_check_dht+0x10f>
mov    %r9d,%r9d
movzbl (%rdi,%r9,1),%r9d
add    %r9d,%r8d
lea    0xc(%rdx),%r9d
cmp    %esi,%r9d
jae    1223 <jpg_check_dht+0x123>
mov    %r9d,%r9d
movzbl (%rdi,%r9,1),%r9d
add    %r9d,%r8d
lea    0xd(%rdx),%r9d
cmp    %esi,%r9d
jae    1237 <jpg_check_dht+0x137>
mov    %r9d,%r9d
movzbl (%rdi,%r9,1),%r9d
add    %r9d,%r8d
lea    0xe(%rdx),%r9d
cmp    %esi,%r9d
jae    124b <jpg_check_dht+0x14b>
mov    %r9d,%r9d
movzbl (%rdi,%r9,1),%r9d
add    %r9d,%r8d
lea    0xf(%rdx),%r9d
cmp    %esi,%r9d
jae    125f <jpg_check_dht+0x15f>
mov    %r9d,%r9d
movzbl (%rdi,%r9,1),%r9d
add    %r9d,%r8d
lea    0x10(%rdx),%r9d
cmp    %esi,%r9d
jae    1273 <jpg_check_dht+0x173>
mov    %r9d,%r9d
movzbl (%rdi,%r9,1),%r9d
add    %r9d,%r8d
cmp    $0xff,%r8d
ja     1293 <jpg_check_dht+0x193>
add    %r8d,%edx
add    $0x11,%edx
cmp    %esi,%edx
jb     1120 <jpg_check_dht+0x20>
xor    %eax,%eax
cmp    %ecx,%edx
seta   %al
add    %eax,%eax
ret

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

LLVM IR (-O2):
define i32 @jpg_check_dht(i8* nocapture %0, i32 %1, i32 %2, i32 %3) {
%5 = add i32 %2, 4
%6 = icmp ult i32 %3, 18
br i1 %6, label %190, label %7
7: ; preds = %4
%8 = add i32 %3, %2
%9 = icmp ult i32 %5, %1
%10 = icmp ult i32 %5, %8
%11 = and i1 %9, %10
br i1 %11, label %12, label %186
12: ; preds = %7, %180
%13 = phi i32 [ %182, %180 ], [ %5, %7 ]
%14 = zext i32 %13 to i64
%15 = getelementptr inbounds i8, i8* %0, i64 %14
%16 = load i8, i8* %15
%17 = and i8 %16, -20
%18 = icmp eq i8 %17, 0
br i1 %18, label %19, label %190
19: ; preds = %12
%20 = add nuw i32 %13, 1
%21 = icmp ult i32 %20, %1
br i1 %21, label %22, label %27
22: ; preds = %19
%23 = zext i32 %20 to i64
%24 = getelementptr inbounds i8, i8* %0, i64 %23
%25 = load i8, i8* %24
%26 = zext i8 %25 to i32
br label %27
27: ; preds = %19, %22
%28 = phi i32 [ %26, %22 ], [ 0, %19 ]
%29 = add i32 %13, 2
%30 = icmp ult i32 %29, %1
br i1 %30, label %31, label %37
31: ; preds = %27
%32 = zext i32 %29 to i64
%33 = getelementptr inbounds i8, i8* %0, i64 %32
%34 = load i8, i8* %33
%35 = zext i8 %34 to i32
%36 = add nuw nsw i32 %28, %35
br label %37
37: ; preds = %31, %27
%38 = phi i32 [ %36, %31 ], [ %28, %27 ]
%39 = add i32 %13, 3
%40 = icmp ult i32 %39, %1
br i1 %40, label %41, label %47
41: ; preds = %37
%42 = zext i32 %39 to i64
%43 = getelementptr inbounds i8, i8* %0, i64 %42
%44 = load i8, i8* %43
%45 = zext i8 %44 to i32
%46 = add nuw nsw i32 %38, %45
br label %47
47: ; preds = %41, %37
%48 = phi i32 [ %46, %41 ], [ %38, %37 ]
%49 = add i32 %13, 4
%50 = icmp ult i32 %49, %1
br i1 %50, label %51, label %57
51: ; preds = %47
%52 = zext i32 %49 to i64
%53 = getelementptr inbounds i8, i8* %0, i64 %52
%54 = load i8, i8* %53
%55 = zext i8 %54 to i32
%56 = add nuw nsw i32 %48, %55
br label %57
57: ; preds = %51, %47
%58 = phi i32 [ %56, %51 ], [ %48, %47 ]
%59 = add i32 %13, 5
%60 = icmp ult i32 %59, %1
br i1 %60, label %61, label %67
61: ; preds = %57
%62 = zext i32 %59 to i64
%63 = getelementptr inbounds i8, i8* %0, i64 %62
%64 = load i8, i8* %63
%65 = zext i8 %64 to i32
%66 = add nuw nsw i32 %58, %65
br label %67
67: ; preds = %61, %57
%68 = phi i32 [ %66, %61 ], [ %58, %57 ]
%69 = add i32 %13, 6
%70 = icmp ult i32 %69, %1
br i1 %70, label %71, label %77
71: ; preds = %67
%72 = zext i32 %69 to i64
%73 = getelementptr inbounds i8, i8* %0, i64 %72
%74 = load i8, i8* %73
%75 = zext i8 %74 to i32
%76 = add nuw nsw i32 %68, %75
br label %77
77: ; preds = %71, %67
%78 = phi i32 [ %76, %71 ], [ %68, %67 ]
%79 = add i32 %13, 7
%80 = icmp ult i32 %79, %1
br i1 %80, label %81, label %87
81: ; preds = %77
%82 = zext i32 %79 to i64
%83 = getelementptr inbounds i8, i8* %0, i64 %82
%84 = load i8, i8* %83
%85 = zext i8 %84 to i32
%86 = add nuw nsw i32 %78, %85
br label %87
87: ; preds = %81, %77
%88 = phi i32 [ %86, %81 ], [ %78, %77 ]
%89 = add i32 %13, 8
%90 = icmp ult i32 %89, %1
br i1 %90, label %91, label %97
91: ; preds = %87
%92 = zext i32 %89 to i64
%93 = getelementptr inbounds i8, i8* %0, i64 %92
%94 = load i8, i8* %93
%95 = zext i8 %94 to i32
%96 = add nuw nsw i32 %88, %95
br label %97
97: ; preds = %91, %87
%98 = phi i32 [ %96, %91 ], [ %88, %87 ]
%99 = add i32 %13, 9
%100 = icmp ult i32 %99, %1
br i1 %100, label %101, label %107
101: ; preds = %97
%102 = zext i32 %99 to i64
%103 = getelementptr inbounds i8, i8* %0, i64 %102
%104 = load i8, i8* %103
%105 = zext i8 %104 to i32
%106 = add nuw nsw i32 %98, %105
br label %107
107: ; preds = %101, %97
%108 = phi i32 [ %106, %101 ], [ %98, %97 ]
%109 = add i32 %13, 10
%110 = icmp ult i32 %109, %1
br i1 %110, label %111, label %117
111: ; preds = %107
%112 = zext i32 %109 to i64
%113 = getelementptr inbounds i8, i8* %0, i64 %112
%114 = load i8, i8* %113
%115 = zext i8 %114 to i32
%116 = add nuw nsw i32 %108, %115
br label %117
117: ; preds = %111, %107
%118 = phi i32 [ %116, %111 ], [ %108, %107 ]
%119 = add i32 %13, 11
%120 = icmp ult i32 %119, %1
br i1 %120, label %121, label %127
121: ; preds = %117
%122 = zext i32 %119 to i64
%123 = getelementptr inbounds i8, i8* %0, i64 %122
%124 = load i8, i8* %123
%125 = zext i8 %124 to i32
%126 = add nuw nsw i32 %118, %125
br label %127
127: ; preds = %121, %117
%128 = phi i32 [ %126, %121 ], [ %118, %117 ]
%129 = add i32 %13, 12
%130 = icmp ult i32 %129, %1
br i1 %130, label %131, label %137
131: ; preds = %127
%132 = zext i32 %129 to i64
%133 = getelementptr inbounds i8, i8* %0, i64 %132
%134 = load i8, i8* %133
%135 = zext i8 %134 to i32
%136 = add nuw nsw i32 %128, %135
br label %137
137: ; preds = %131, %127
%138 = phi i32 [ %136, %131 ], [ %128, %127 ]
%139 = add i32 %13, 13
%140 = icmp ult i32 %139, %1
br i1 %140, label %141, label %147
141: ; preds = %137
%142 = zext i32 %139 to i64
%143 = getelementptr inbounds i8, i8* %0, i64 %142
%144 = load i8, i8* %143
%145 = zext i8 %144 to i32
%146 = add nuw nsw i32 %138, %145
br label %147
147: ; preds = %141, %137
%148 = phi i32 [ %146, %141 ], [ %138, %137 ]
%149 = add i32 %13, 14
%150 = icmp ult i32 %149, %1
br i1 %150, label %151, label %157
151: ; preds = %147
%152 = zext i32 %149 to i64
%153 = getelementptr inbounds i8, i8* %0, i64 %152
%154 = load i8, i8* %153
%155 = zext i8 %154 to i32
%156 = add nuw nsw i32 %148, %155
br label %157
157: ; preds = %151, %147
%158 = phi i32 [ %156, %151 ], [ %148, %147 ]
%159 = add i32 %13, 15
%160 = icmp ult i32 %159, %1
br i1 %160, label %161, label %167
161: ; preds = %157
%162 = zext i32 %159 to i64
%163 = getelementptr inbounds i8, i8* %0, i64 %162
%164 = load i8, i8* %163
%165 = zext i8 %164 to i32
%166 = add nuw nsw i32 %158, %165
br label %167
167: ; preds = %161, %157
%168 = phi i32 [ %166, %161 ], [ %158, %157 ]
%169 = add i32 %13, 16
%170 = icmp ult i32 %169, %1
br i1 %170, label %171, label %177
171: ; preds = %167
%172 = zext i32 %169 to i64
%173 = getelementptr inbounds i8, i8* %0, i64 %172
%174 = load i8, i8* %173
%175 = zext i8 %174 to i32
%176 = add nuw nsw i32 %168, %175
br label %177
177: ; preds = %171, %167
%178 = phi i32 [ %176, %171 ], [ %168, %167 ]
%179 = icmp ugt i32 %178, 255
br i1 %179, label %190, label %180
180: ; preds = %177
%181 = add i32 %13, 17
%182 = add i32 %181, %178
%183 = icmp ult i32 %182, %1
%184 = icmp ult i32 %182, %8
%185 = and i1 %183, %184
br i1 %185, label %12, label %186
186: ; preds = %180, %7
%187 = phi i32 [ %5, %7 ], [ %182, %180 ]
%188 = icmp ugt i32 %187, %8
%189 = select i1 %188, i32 2, i32 0
br label %190
190: ; preds = %177, %12, %186, %4
%191 = phi i32 [ 2, %4 ], [ %189, %186 ], [ 2, %12 ], [ 2, %177 ]
ret i32 %191
}