#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 */
typedef size_t uint8_t;

/* Variables and functions */
size_t cobs_decode(const uint8_t *input, size_t length, uint8_t *output) {
  size_t read_index = 0;
  size_t write_index = 0;
  uint8_t code;
  uint8_t i;
  while (read_index < length) {
    code = input[read_index];
    if (read_index + code > length && code != 1) {
      return 0;
    }
    read_index++;
    for (i = 1; i < code; i++) {
      output[write_index++] = input[read_index++];
    }
    if (code != 0xFF && read_index != length) {
      output[write_index++] = '\0';
    }
  }
  return write_index;
}


x86 assembly (clang, -O0):
<cobs_decode>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
movq   $0x0,-0x28(%rbp)
movq   $0x0,-0x30(%rbp)
mov    -0x28(%rbp),%rax
cmp    -0x18(%rbp),%rax
jae    1205 <cobs_decode+0x105>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x38(%rbp)
mov    -0x28(%rbp),%rax
add    -0x38(%rbp),%rax
cmp    -0x18(%rbp),%rax
jbe    1168 <cobs_decode+0x68>
cmpq   $0x1,-0x38(%rbp)
je     1168 <cobs_decode+0x68>
movq   $0x0,-0x8(%rbp)
jmp    120d <cobs_decode+0x10d>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
movq   $0x1,-0x40(%rbp)
mov    -0x40(%rbp),%rax
cmp    -0x38(%rbp),%rax
jae    11c9 <cobs_decode+0xc9>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x28(%rbp)
mov    (%rax,%rcx,8),%rdx
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    %rcx,%rsi
add    $0x1,%rsi
mov    %rsi,-0x30(%rbp)
mov    %rdx,(%rax,%rcx,8)
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
jmp    117c <cobs_decode+0x7c>
cmpq   $0xff,-0x38(%rbp)
je     1200 <cobs_decode+0x100>
mov    -0x28(%rbp),%rax
cmp    -0x18(%rbp),%rax
je     1200 <cobs_decode+0x100>
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x30(%rbp)
movq   $0x0,(%rax,%rcx,8)
jmp    1120 <cobs_decode+0x20>
mov    -0x30(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<cobs_decode>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
test   %rsi,%rsi
je     135c <cobs_decode+0x25c>
lea    -0x8(%rdx),%rax
mov    %rax,-0x8(%rsp)
lea    0x8(%rdi),%rax
mov    %rax,-0x10(%rsp)
lea    0x38(%rdi),%rax
mov    %rax,-0x28(%rsp)
lea    0x30(%rdx),%rax
mov    %rax,-0x30(%rsp)
lea    0x18(%rdi),%r10
lea    0x18(%rdx),%r11
xor    %eax,%eax
xor    %r12d,%r12d
mov    %rsi,-0x38(%rsp)
mov    %r10,-0x18(%rsp)
mov    %r11,-0x20(%rsp)
jmp    1169 <cobs_decode+0x69>
cs nopw 0x0(%rax,%rax,1)
nop
cmp    %rsi,%r12
jae    135e <cobs_decode+0x25e>
mov    (%rdi,%r12,8),%r13
lea    (%r12,%r13,1),%r14
cmp    $0x1,%r13
je     1180 <cobs_decode+0x80>
cmp    %rsi,%r14
ja     135c <cobs_decode+0x25c>
lea    0x1(%r12),%rcx
cmp    $0x2,%r13
jb     1250 <cobs_decode+0x150>
lea    -0x1(%r13),%r9
cmp    $0x4,%r9
jb     12b0 <cobs_decode+0x1b0>
lea    (%rdx,%rax,8),%rbx
lea    (%rdi,%r14,8),%rbp
cmp    %rbp,%rbx
jae    11c9 <cobs_decode+0xc9>
lea    (%rax,%r13,1),%rbp
mov    -0x8(%rsp),%rbx
lea    (%rbx,%rbp,8),%rbp
mov    -0x10(%rsp),%rbx
lea    (%rbx,%r12,8),%rbx
cmp    %rbp,%rbx
jb     12b0 <cobs_decode+0x1b0>
mov    %r9,%rbx
and    $0xfffffffffffffffc,%rbx
lea    -0x4(%rbx),%rsi
mov    %rsi,%r11
shr    $0x2,%r11
add    $0x1,%r11
mov    %r14,%rbp
test   %rsi,%rsi
je     1258 <cobs_decode+0x158>
mov    %r11,%r10
and    $0xfffffffffffffffe,%r10
mov    -0x28(%rsp),%rsi
lea    (%rsi,%r12,8),%r14
mov    -0x30(%rsp),%rsi
lea    (%rsi,%rax,8),%r15
xor    %r8d,%r8d
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movups -0x30(%r14,%r8,8),%xmm0
movups -0x20(%r14,%r8,8),%xmm1
movups %xmm0,-0x30(%r15,%r8,8)
movups %xmm1,-0x20(%r15,%r8,8)
movups -0x10(%r14,%r8,8),%xmm0
movups (%r14,%r8,8),%xmm1
movups %xmm0,-0x10(%r15,%r8,8)
movups %xmm1,(%r15,%r8,8)
add    $0x8,%r8
add    $0xfffffffffffffffe,%r10
jne    1210 <cobs_decode+0x110>
jmp    125b <cobs_decode+0x15b>
nopw   0x0(%rax,%rax,1)
mov    %rcx,%r12
jmp    1335 <cobs_decode+0x235>
xor    %r8d,%r8d
test   $0x1,%r11b
mov    %rbp,%r14
je     127f <cobs_decode+0x17f>
lea    (%rcx,%r8,1),%rsi
add    %rax,%r8
movups (%rdi,%rsi,8),%xmm0
movups 0x10(%rdi,%rsi,8),%xmm1
movups %xmm0,(%rdx,%r8,8)
movups %xmm1,0x10(%rdx,%r8,8)
add    %rbx,%rax
cmp    %rbx,%r9
mov    -0x18(%rsp),%r10
mov    -0x20(%rsp),%r11
jne    129e <cobs_decode+0x19e>
mov    %r14,%r12
mov    -0x38(%rsp),%rsi
jmp    1335 <cobs_decode+0x235>
add    %rbx,%rcx
mov    -0x38(%rsp),%rsi
cs nopw 0x0(%rax,%rax,1)
lea    (%r12,%r13,1),%ebp
sub    %ecx,%ebp
add    %r13,%r12
mov    %rcx,%r9
not    %r9
add    %r12,%r9
and    $0x3,%rbp
je     12e6 <cobs_decode+0x1e6>
nopl   0x0(%rax,%rax,1)
mov    (%rdi,%rcx,8),%rbx
mov    %rbx,(%rdx,%rax,8)
add    $0x1,%rax
add    $0x1,%rcx
add    $0xffffffffffffffff,%rbp
jne    12d0 <cobs_decode+0x1d0>
cmp    $0x3,%r9
jb     1332 <cobs_decode+0x232>
sub    %rcx,%r12
lea    (%r10,%rcx,8),%r8
lea    (%r11,%rax,8),%rbx
xor    %ebp,%ebp
nopl   0x0(%rax)
mov    -0x18(%r8,%rbp,8),%rcx
mov    %rcx,-0x18(%rbx,%rbp,8)
mov    -0x10(%r8,%rbp,8),%rcx
mov    %rcx,-0x10(%rbx,%rbp,8)
mov    -0x8(%r8,%rbp,8),%rcx
mov    %rcx,-0x8(%rbx,%rbp,8)
mov    (%r8,%rbp,8),%rcx
mov    %rcx,(%rbx,%rbp,8)
add    $0x4,%rbp
cmp    %rbp,%r12
jne    1300 <cobs_decode+0x200>
add    %rbp,%rax
mov    %r14,%r12
cmp    $0xff,%r13
je     1160 <cobs_decode+0x60>
cmp    %rsi,%r12
je     1160 <cobs_decode+0x60>
movq   $0x0,(%rdx,%rax,8)
add    $0x1,%rax
jmp    1160 <cobs_decode+0x60>
xor    %eax,%eax
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i64 @cobs_decode(i64* %0, i64 %1, i64* %2) {
%4 = alloca i64
%5 = alloca i64*
%6 = alloca i64
%7 = alloca i64*
%8 = alloca i64
%9 = alloca i64
%10 = alloca i64
%11 = alloca i64
store i64* %0, i64** %5
store i64 %1, i64* %6
store i64* %2, i64** %7
store i64 0, i64* %8
store i64 0, i64* %9
br label %12
12: ; preds = %62, %3
%13 = load i64, i64* %8
%14 = load i64, i64* %6
%15 = icmp ult i64 %13, %14
br i1 %15, label %16, label %63
16: ; preds = %12
%17 = load i64*, i64** %5
%18 = load i64, i64* %8
%19 = getelementptr inbounds i64, i64* %17, i64 %18
%20 = load i64, i64* %19
store i64 %20, i64* %10
%21 = load i64, i64* %8
%22 = load i64, i64* %10
%23 = add i64 %21, %22
%24 = load i64, i64* %6
%25 = icmp ugt i64 %23, %24
br i1 %25, label %26, label %30
26: ; preds = %16
%27 = load i64, i64* %10
%28 = icmp ne i64 %27, 1
br i1 %28, label %29, label %30
29: ; preds = %26
store i64 0, i64* %4
br label %65
30: ; preds = %26, %16
%31 = load i64, i64* %8
%32 = add i64 %31, 1
store i64 %32, i64* %8
store i64 1, i64* %11
br label %33
33: ; preds = %47, %30
%34 = load i64, i64* %11
%35 = load i64, i64* %10
%36 = icmp ult i64 %34, %35
br i1 %36, label %37, label %50
37: ; preds = %33
%38 = load i64*, i64** %5
%39 = load i64, i64* %8
%40 = add i64 %39, 1
store i64 %40, i64* %8
%41 = getelementptr inbounds i64, i64* %38, i64 %39
%42 = load i64, i64* %41
%43 = load i64*, i64** %7
%44 = load i64, i64* %9
%45 = add i64 %44, 1
store i64 %45, i64* %9
%46 = getelementptr inbounds i64, i64* %43, i64 %44
store i64 %42, i64* %46
br label %47
47: ; preds = %37
%48 = load i64, i64* %11
%49 = add i64 %48, 1
store i64 %49, i64* %11
br label %33
50: ; preds = %33
%51 = load i64, i64* %10
%52 = icmp ne i64 %51, 255
br i1 %52, label %53, label %62
53: ; preds = %50
%54 = load i64, i64* %8
%55 = load i64, i64* %6
%56 = icmp ne i64 %54, %55
br i1 %56, label %57, label %62
57: ; preds = %53
%58 = load i64*, i64** %7
%59 = load i64, i64* %9
%60 = add i64 %59, 1
store i64 %60, i64* %9
%61 = getelementptr inbounds i64, i64* %58, i64 %59
store i64 0, i64* %61
br label %62
62: ; preds = %57, %53, %50
br label %12
63: ; preds = %12
%64 = load i64, i64* %9
store i64 %64, i64* %4
br label %65
65: ; preds = %63, %29
%66 = load i64, i64* %4
ret i64 %66
}

LLVM IR (-O2):
define i64 @cobs_decode(i64* nocapture %0, i64 %1, i64* nocapture writeonly %2) {
%4 = icmp eq i64 %1, 0
br i1 %4, label %154, label %5
5: ; preds = %3
%6 = getelementptr i64, i64* %2, i64 -1
%7 = getelementptr i64, i64* %0, i64 1
br label %8
8: ; preds = %5, %151
%9 = phi i64 [ %152, %151 ], [ 0, %5 ]
%10 = phi i64 [ %144, %151 ], [ 0, %5 ]
%11 = getelementptr inbounds i64, i64* %0, i64 %10
%12 = load i64, i64* %11
%13 = add i64 %12, %10
%14 = icmp ugt i64 %13, %1
%15 = icmp ne i64 %12, 1
%16 = and i1 %15, %14
br i1 %16, label %154, label %17
17: ; preds = %8
%18 = add nuw i64 %10, 1
%19 = icmp ugt i64 %12, 1
br i1 %19, label %20, label %142
20: ; preds = %17
%21 = add i64 %12, -1
%22 = icmp ult i64 %21, 4
br i1 %22, label %92, label %23
23: ; preds = %20
%24 = getelementptr i64, i64* %2, i64 %9
%25 = add i64 %9, %12
%26 = getelementptr i64, i64* %6, i64 %25
%27 = getelementptr i64, i64* %7, i64 %10
%28 = getelementptr i64, i64* %0, i64 %13
%29 = icmp ult i64* %24, %28
%30 = icmp ult i64* %27, %26
%31 = and i1 %29, %30
br i1 %31, label %92, label %32
32: ; preds = %23
%33 = and i64 %21, -4
%34 = add i64 %18, %33
%35 = add i64 %9, %33
%36 = add i64 %33, -4
%37 = lshr exact i64 %36, 2
%38 = add nuw nsw i64 %37, 1
%39 = and i64 %38, 1
%40 = icmp eq i64 %36, 0
br i1 %40, label %74, label %41
41: ; preds = %32
%42 = and i64 %38, 9223372036854775806
br label %43
43: ; preds = %43, %41
%44 = phi i64 [ 0, %41 ], [ %71, %43 ]
%45 = phi i64 [ 0, %41 ], [ %72, %43 ]
%46 = add i64 %18, %44
%47 = add i64 %9, %44
%48 = getelementptr inbounds i64, i64* %0, i64 %46
%49 = bitcast i64* %48 to <2 x i64>*
%50 = load <2 x i64>, <2 x i64>* %49
%51 = getelementptr inbounds i64, i64* %48, i64 2
%52 = bitcast i64* %51 to <2 x i64>*
%53 = load <2 x i64>, <2 x i64>* %52
%54 = getelementptr inbounds i64, i64* %2, i64 %47
%55 = bitcast i64* %54 to <2 x i64>*
store <2 x i64> %50, <2 x i64>* %55
%56 = getelementptr inbounds i64, i64* %54, i64 2
%57 = bitcast i64* %56 to <2 x i64>*
store <2 x i64> %53, <2 x i64>* %57
%58 = or i64 %44, 4
%59 = add i64 %18, %58
%60 = add i64 %9, %58
%61 = getelementptr inbounds i64, i64* %0, i64 %59
%62 = bitcast i64* %61 to <2 x i64>*
%63 = load <2 x i64>, <2 x i64>* %62
%64 = getelementptr inbounds i64, i64* %61, i64 2
%65 = bitcast i64* %64 to <2 x i64>*
%66 = load <2 x i64>, <2 x i64>* %65
%67 = getelementptr inbounds i64, i64* %2, i64 %60
%68 = bitcast i64* %67 to <2 x i64>*
store <2 x i64> %63, <2 x i64>* %68
%69 = getelementptr inbounds i64, i64* %67, i64 2
%70 = bitcast i64* %69 to <2 x i64>*
store <2 x i64> %66, <2 x i64>* %70
%71 = add nuw i64 %44, 8
%72 = add i64 %45, 2
%73 = icmp eq i64 %72, %42
br i1 %73, label %74, label %43
74: ; preds = %43, %32
%75 = phi i64 [ 0, %32 ], [ %71, %43 ]
%76 = icmp eq i64 %39, 0
br i1 %76, label %90, label %77
77: ; preds = %74
%78 = add i64 %18, %75
%79 = add i64 %9, %75
%80 = getelementptr inbounds i64, i64* %0, i64 %78
%81 = bitcast i64* %80 to <2 x i64>*
%82 = load <2 x i64>, <2 x i64>* %81
%83 = getelementptr inbounds i64, i64* %80, i64 2
%84 = bitcast i64* %83 to <2 x i64>*
%85 = load <2 x i64>, <2 x i64>* %84
%86 = getelementptr inbounds i64, i64* %2, i64 %79
%87 = bitcast i64* %86 to <2 x i64>*
store <2 x i64> %82, <2 x i64>* %87
%88 = getelementptr inbounds i64, i64* %86, i64 2
%89 = bitcast i64* %88 to <2 x i64>*
store <2 x i64> %85, <2 x i64>* %89
br label %90
90: ; preds = %74, %77
%91 = icmp eq i64 %21, %33
br i1 %91, label %142, label %92
92: ; preds = %23, %20, %90
%93 = phi i64 [ %18, %23 ], [ %18, %20 ], [ %34, %90 ]
%94 = phi i64 [ %9, %23 ], [ %9, %20 ], [ %35, %90 ]
%95 = add i64 %10, %12
%96 = sub i64 %95, %93
%97 = add i64 %10, -1
%98 = add i64 %97, %12
%99 = sub i64 %98, %93
%100 = and i64 %96, 3
%101 = icmp eq i64 %100, 0
br i1 %101, label %113, label %102
102: ; preds = %92, %102
%103 = phi i64 [ %110, %102 ], [ %93, %92 ]
%104 = phi i64 [ %108, %102 ], [ %94, %92 ]
%105 = phi i64 [ %111, %102 ], [ 0, %92 ]
%106 = getelementptr inbounds i64, i64* %0, i64 %103
%107 = load i64, i64* %106
%108 = add i64 %104, 1
%109 = getelementptr inbounds i64, i64* %2, i64 %104
store i64 %107, i64* %109
%110 = add i64 %103, 1
%111 = add i64 %105, 1
%112 = icmp eq i64 %111, %100
br i1 %112, label %113, label %102
113: ; preds = %102, %92
%114 = phi i64 [ undef, %92 ], [ %108, %102 ]
%115 = phi i64 [ %93, %92 ], [ %110, %102 ]
%116 = phi i64 [ %94, %92 ], [ %108, %102 ]
%117 = icmp ult i64 %99, 3
br i1 %117, label %142, label %118
118: ; preds = %113, %118
%119 = phi i64 [ %140, %118 ], [ %115, %113 ]
%120 = phi i64 [ %138, %118 ], [ %116, %113 ]
%121 = getelementptr inbounds i64, i64* %0, i64 %119
%122 = load i64, i64* %121
%123 = add i64 %120, 1
%124 = getelementptr inbounds i64, i64* %2, i64 %120
store i64 %122, i64* %124
%125 = add i64 %119, 1
%126 = getelementptr inbounds i64, i64* %0, i64 %125
%127 = load i64, i64* %126
%128 = add i64 %120, 2
%129 = getelementptr inbounds i64, i64* %2, i64 %123
store i64 %127, i64* %129
%130 = add i64 %119, 2
%131 = getelementptr inbounds i64, i64* %0, i64 %130
%132 = load i64, i64* %131
%133 = add i64 %120, 3
%134 = getelementptr inbounds i64, i64* %2, i64 %128
store i64 %132, i64* %134
%135 = add i64 %119, 3
%136 = getelementptr inbounds i64, i64* %0, i64 %135
%137 = load i64, i64* %136
%138 = add i64 %120, 4
%139 = getelementptr inbounds i64, i64* %2, i64 %133
store i64 %137, i64* %139
%140 = add i64 %119, 4
%141 = icmp eq i64 %140, %13
br i1 %141, label %142, label %118
142: ; preds = %113, %118, %90, %17
%143 = phi i64 [ %9, %17 ], [ %35, %90 ], [ %114, %113 ], [ %138, %118 ]
%144 = phi i64 [ %18, %17 ], [ %13, %90 ], [ %13, %118 ], [ %13, %113 ]
%145 = icmp eq i64 %12, 255
%146 = icmp eq i64 %144, %1
%147 = select i1 %145, i1 true, i1 %146
br i1 %147, label %151, label %148
148: ; preds = %142
%149 = add i64 %143, 1
%150 = getelementptr inbounds i64, i64* %2, i64 %143
store i64 0, i64* %150
br label %151
151: ; preds = %148, %142
%152 = phi i64 [ %149, %148 ], [ %143, %142 ]
%153 = icmp ult i64 %144, %1
br i1 %153, label %8, label %154
154: ; preds = %8, %151, %3
%155 = phi i64 [ 0, %3 ], [ %152, %151 ], [ 0, %8 ]
ret i64 %155
}