int enc_pascal_string(char *text, int textsize, unsigned char *stream) {
  int encsize;
  int i;
  encsize = 2 * textsize + 1;
  stream[0] = encsize;
  for (i = 0; i < textsize; i++) {
    stream[1 + 2 * i + 0] = text[i];
    stream[1 + 2 * i + 1] = 0x00;
  }
  stream[encsize++] = 0x00;
  return (encsize);
}


x86 assembly (clang, -O0):
<enc_pascal_string>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0xc(%rbp),%eax
shl    $0x1,%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    %al,%cl
mov    -0x18(%rbp),%rax
mov    %cl,(%rax)
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    117f <enc_pascal_string+0x7f>
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x18(%rbp),%rax
mov    -0x20(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x18(%rbp),%rax
mov    -0x20(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    112d <enc_pascal_string+0x2d>
mov    -0x18(%rbp),%rax
mov    -0x1c(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x1c(%rbp)
movslq %ecx,%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x1c(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<enc_pascal_string>:
push   %rbx
lea    (%rsi,%rsi,1),%eax
movslq %eax,%r9
or     $0x1,%r9
mov    %r9b,(%rdx)
test   %esi,%esi
jle    119d <enc_pascal_string+0x9d>
mov    %esi,%r8d
cmp    $0x1,%esi
jne    1122 <enc_pascal_string+0x22>
xor    %esi,%esi
jmp    1177 <enc_pascal_string+0x77>
movabs $0x400000000,%r10
mov    %r8d,%r11d
and    $0xfffffffe,%r11d
xor    %ecx,%ecx
xor    %esi,%esi
nopw   0x0(%rax,%rax,1)
movzbl (%rdi,%rsi,1),%ebx
mov    %bl,0x1(%rdx,%rsi,2)
mov    %rcx,%rbx
sar    $0x20,%rbx
or     $0x2,%rbx
movb   $0x0,(%rdx,%rbx,1)
movzbl 0x1(%rdi,%rsi,1),%ebx
mov    %bl,0x3(%rdx,%rsi,2)
add    %r10,%rcx
mov    %rcx,%rbx
sar    $0x20,%rbx
movb   $0x0,(%rdx,%rbx,1)
add    $0x2,%rsi
cmp    %rsi,%r11
jne    1140 <enc_pascal_string+0x40>
test   $0x1,%r8b
je     119d <enc_pascal_string+0x9d>
mov    (%rdi,%rsi,1),%cl
mov    %cl,0x1(%rdx,%rsi,2)
shl    $0x21,%rsi
movabs $0x200000000,%rcx
add    %rsi,%rcx
sar    $0x20,%rcx
movb   $0x0,(%rdx,%rcx,1)
add    $0x2,%eax
movb   $0x0,(%rdx,%r9,1)
pop    %rbx
ret

LLVM IR (-O0):
define i32 @enc_pascal_string(i8* %0, i32 %1, i8* %2) {
%4 = alloca i8*
%5 = alloca i32
%6 = alloca i8*
%7 = alloca i32
%8 = alloca i32
store i8* %0, i8** %4
store i32 %1, i32* %5
store i8* %2, i8** %6
%9 = load i32, i32* %5
%10 = mul nsw i32 2, %9
%11 = add nsw i32 %10, 1
store i32 %11, i32* %7
%12 = load i32, i32* %7
%13 = trunc i32 %12 to i8
%14 = load i8*, i8** %6
%15 = getelementptr inbounds i8, i8* %14, i64 0
store i8 %13, i8* %15
store i32 0, i32* %8
br label %16
16: ; preds = %40, %3
%17 = load i32, i32* %8
%18 = load i32, i32* %5
%19 = icmp slt i32 %17, %18
br i1 %19, label %20, label %43
20: ; preds = %16
%21 = load i8*, i8** %4
%22 = load i32, i32* %8
%23 = sext i32 %22 to i64
%24 = getelementptr inbounds i8, i8* %21, i64 %23
%25 = load i8, i8* %24
%26 = load i8*, i8** %6
%27 = load i32, i32* %8
%28 = mul nsw i32 2, %27
%29 = add nsw i32 1, %28
%30 = add nsw i32 %29, 0
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds i8, i8* %26, i64 %31
store i8 %25, i8* %32
%33 = load i8*, i8** %6
%34 = load i32, i32* %8
%35 = mul nsw i32 2, %34
%36 = add nsw i32 1, %35
%37 = add nsw i32 %36, 1
%38 = sext i32 %37 to i64
%39 = getelementptr inbounds i8, i8* %33, i64 %38
store i8 0, i8* %39
br label %40
40: ; preds = %20
%41 = load i32, i32* %8
%42 = add nsw i32 %41, 1
store i32 %42, i32* %8
br label %16
43: ; preds = %16
%44 = load i8*, i8** %6
%45 = load i32, i32* %7
%46 = add nsw i32 %45, 1
store i32 %46, i32* %7
%47 = sext i32 %45 to i64
%48 = getelementptr inbounds i8, i8* %44, i64 %47
store i8 0, i8* %48
%49 = load i32, i32* %7
ret i32 %49
}

LLVM IR (-O2):
define i32 @enc_pascal_string(i8* nocapture %0, i32 %1, i8* nocapture writeonly %2) {
%4 = shl nsw i32 %1, 1
%5 = or i32 %4, 1
%6 = trunc i32 %5 to i8
store i8 %6, i8* %2
%7 = icmp sgt i32 %1, 0
br i1 %7, label %8, label %52
8: ; preds = %3
%9 = zext i32 %1 to i64
%10 = and i64 %9, 1
%11 = icmp eq i32 %1, 1
br i1 %11, label %39, label %12
12: ; preds = %8
%13 = and i64 %9, 4294967294
br label %14
14: ; preds = %14, %12
%15 = phi i64 [ 0, %12 ], [ %36, %14 ]
%16 = phi i64 [ 0, %12 ], [ %37, %14 ]
%17 = getelementptr inbounds i8, i8* %0, i64 %15
%18 = load i8, i8* %17
%19 = shl nuw nsw i64 %15, 1
%20 = or i64 %19, 1
%21 = getelementptr inbounds i8, i8* %2, i64 %20
store i8 %18, i8* %21
%22 = shl i64 %15, 33
%23 = ashr exact i64 %22, 32
%24 = or i64 %23, 2
%25 = getelementptr inbounds i8, i8* %2, i64 %24
store i8 0, i8* %25
%26 = or i64 %15, 1
%27 = getelementptr inbounds i8, i8* %0, i64 %26
%28 = load i8, i8* %27
%29 = shl nuw nsw i64 %26, 1
%30 = or i64 %29, 1
%31 = getelementptr inbounds i8, i8* %2, i64 %30
store i8 %28, i8* %31
%32 = shl i64 %26, 33
%33 = add i64 %32, 8589934592
%34 = ashr exact i64 %33, 32
%35 = getelementptr inbounds i8, i8* %2, i64 %34
store i8 0, i8* %35
%36 = add nuw nsw i64 %15, 2
%37 = add nuw i64 %16, 2
%38 = icmp eq i64 %37, %13
br i1 %38, label %39, label %14
39: ; preds = %14, %8
%40 = phi i64 [ 0, %8 ], [ %36, %14 ]
%41 = icmp eq i64 %10, 0
br i1 %41, label %52, label %42
42: ; preds = %39
%43 = getelementptr inbounds i8, i8* %0, i64 %40
%44 = load i8, i8* %43
%45 = shl nuw nsw i64 %40, 1
%46 = or i64 %45, 1
%47 = getelementptr inbounds i8, i8* %2, i64 %46
store i8 %44, i8* %47
%48 = shl i64 %40, 33
%49 = add i64 %48, 8589934592
%50 = ashr exact i64 %49, 32
%51 = getelementptr inbounds i8, i8* %2, i64 %50
store i8 0, i8* %51
br label %52
52: ; preds = %42, %39, %3
%53 = add i32 %4, 2
%54 = sext i32 %5 to i64
%55 = getelementptr inbounds i8, i8* %2, i64 %54
store i8 0, i8* %55
ret i32 %53
}