int ber_tid_create(long tid, char *b_msg) {
  int i = 0, r = 0, d, min = 1, max = 1;
  b_msg[i++] = 0x02;
  while ((tid >> (r * 8)) > 0)
    r++;
  for (d = 1; d <= 8 * r - 1; d++)
    min *= 2;
  for (d = 1; d <= 8 * r; d++)
    max *= 2;
  if ((min <= tid) && (tid < max)) {
    b_msg[i++] = r + 1;
    b_msg[i++] = 0;
  } else {
    b_msg[i++] = r;
  }
  while (r > 0) {
    r--;
    b_msg[i++] = tid >> (r * 8);
  }
  return i;
}


x86 assembly (clang, -O0):
<ber_tid_create>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
movl   $0x1,-0x20(%rbp)
movl   $0x1,-0x24(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x14(%rbp)
movslq %ecx,%rcx
movb   $0x2,(%rax,%rcx,1)
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
shl    $0x3,%ecx
mov    %ecx,%ecx
sar    %cl,%rax
cmp    $0x0,%rax
jle    1165 <ber_tid_create+0x65>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    113e <ber_tid_create+0x3e>
movl   $0x1,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    -0x18(%rbp),%ecx
shl    $0x3,%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jg     1197 <ber_tid_create+0x97>
mov    -0x20(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    116c <ber_tid_create+0x6c>
movl   $0x1,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    -0x18(%rbp),%ecx
shl    $0x3,%ecx
cmp    %ecx,%eax
jg     11c6 <ber_tid_create+0xc6>
mov    -0x24(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    119e <ber_tid_create+0x9e>
movslq -0x20(%rbp),%rax
cmp    -0x8(%rbp),%rax
jg     121d <ber_tid_create+0x11d>
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
cmp    %rcx,%rax
jge    121d <ber_tid_create+0x11d>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %al,%dl
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x14(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x14(%rbp)
movslq %ecx,%rcx
movb   $0x0,(%rax,%rcx,1)
jmp    1237 <ber_tid_create+0x137>
mov    -0x18(%rbp),%eax
mov    %al,%dl
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x14(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
jmp    123c <ber_tid_create+0x13c>
cmpl   $0x0,-0x18(%rbp)
jle    127a <ber_tid_create+0x17a>
mov    -0x18(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
shl    $0x3,%ecx
mov    %ecx,%ecx
sar    %cl,%rax
mov    %al,%dl
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x14(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
jmp    123c <ber_tid_create+0x13c>
mov    -0x14(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<ber_tid_create>:
push   %r15
push   %r14
push   %r12
push   %rbx
movb   $0x2,(%rsi)
mov    $0xfffffff8,%ecx
mov    $0xffffffff,%r10d
xor    %r8d,%r8d
nopl   0x0(%rax,%rax,1)
add    $0x8,%ecx
mov    %rdi,%rax
sar    %cl,%rax
add    $0x1,%r8
add    $0x1,%r10d
test   %rax,%rax
jg     1120 <ber_tid_create+0x20>
mov    $0x1,%r9d
mov    $0x1,%eax
cmp    $0x1,%r8d
je     120a <ber_tid_create+0x10a>
cmp    $0x3,%ecx
mov    $0x2,%ebx
cmovae %ecx,%ebx
mov    $0x2,%edx
add    $0xfffffffe,%ebx
mov    $0x1,%eax
cmp    $0x7,%ebx
jb     1188 <ber_tid_create+0x88>
cmp    $0x3,%ecx
mov    $0x2,%ebx
cmovae %ecx,%ebx
add    $0xffffffff,%ebx
and    $0xfffffff8,%ebx
mov    $0x1,%eax
xchg   %ax,%ax
shl    $0x8,%eax
add    $0xfffffff8,%ebx
jne    1180 <ber_tid_create+0x80>
cmp    $0x3,%ecx
cmovae %ecx,%edx
add    $0x6,%dl
movzbl %dl,%edx
and    $0x7,%edx
add    $0x1,%edx
nopw   0x0(%rax,%rax,1)
add    %eax,%eax
add    $0xffffffff,%edx
jne    11a0 <ber_tid_create+0xa0>
cmp    $0x1,%r8d
je     120a <ber_tid_create+0x10a>
cmp    $0x2,%ecx
mov    $0x1,%edx
mov    $0x1,%r9d
cmovae %ecx,%r9d
lea    -0x1(%r9),%ebx
cmp    $0x7,%ebx
jb     11e8 <ber_tid_create+0xe8>
cmp    $0x2,%ecx
mov    $0x1,%edx
mov    $0x1,%ebx
cmovae %ecx,%ebx
and    $0xfffffff8,%ebx
nopl   0x0(%rax,%rax,1)
shl    $0x8,%edx
add    $0xfffffff8,%ebx
jne    11e0 <ber_tid_create+0xe0>
test   $0x1,%r9b
je     1207 <ber_tid_create+0x107>
cmp    $0x2,%ecx
mov    $0x1,%ebx
cmovae %ecx,%ebx
and    $0x1,%ebx
nopl   0x0(%rax)
add    %edx,%edx
add    $0xffffffff,%ebx
jne    1200 <ber_tid_create+0x100>
mov    %edx,%r9d
mov    %eax,%eax
cmp    %rdi,%rax
jg     1224 <ber_tid_create+0x124>
cmp    %rdi,%r9
jle    1224 <ber_tid_create+0x124>
movb   $0x0,0x2(%rsi)
mov    $0x3,%eax
mov    %r8d,%ecx
jmp    1230 <ber_tid_create+0x130>
lea    0xff(%r8),%rcx
mov    $0x2,%eax
mov    %eax,%eax
mov    %cl,0x1(%rsi)
cmp    $0x1,%r8d
je     12f3 <ber_tid_create+0x1f3>
lea    -0x1(%r8),%rcx
test   %r10d,%r10d
mov    $0x1,%r9d
cmovle %r10d,%r9d
mov    %ecx,%r11d
neg    %r9d
add    %rax,%r9
add    %r8,%r9
mov    %r9d,%r14d
mov    %r9d,%ecx
sub    %eax,%ecx
mov    %rax,%rdx
not    %rdx
test   $0x1,%cl
jne    1279 <ber_tid_create+0x179>
mov    %rax,%r12
add    %r14,%rdx
jne    129b <ber_tid_create+0x19b>
jmp    12f0 <ber_tid_create+0x1f0>
add    $0xffffffffffffffff,%r11
lea    0x0(,%r11,8),%ecx
mov    %rdi,%r15
sar    %cl,%r15
mov    %rax,%r12
add    $0x1,%r12
mov    %r15b,(%rsi,%rax,1)
add    %r14,%rdx
je     12f0 <ber_tid_create+0x1f0>
test   %r10d,%r10d
mov    $0x1,%ecx
cmovle %r10d,%ecx
sub    %ecx,%eax
add    %eax,%r8d
mov    $0xfffffff8,%eax
lea    (%rax,%r11,8),%rax
lea    -0x10(,%r11,8),%rdx
ff
nopl   (%rax)
mov    %eax,%ecx
and    $0xf8,%cl
mov    %rdi,%rbx
sar    %cl,%rbx
mov    %bl,(%rsi,%r12,1)
mov    %edx,%ecx
and    $0xf8,%cl
mov    %rdi,%rbx
sar    %cl,%rbx
mov    %bl,0x1(%rsi,%r12,1)
add    $0x2,%r12
add    $0xfffffffffffffff0,%rax
add    $0xfffffffffffffff0,%rdx
cmp    %r12,%r8
jne    12c0 <ber_tid_create+0x1c0>
mov    %r9d,%eax
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
ret

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

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