void batata(char x, char *texto, unsigned int start) {
  for (char i = 0; i < 8; i++)
    texto[start + (7 - i)] = (x >> i & 0x1);
}


x86 assembly (clang, -O0):
<batata>:
push   %rbp
mov    %rsp,%rbp
mov    %dil,%al
mov    %al,-0x1(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
movb   $0x0,-0x15(%rbp)
movsbl -0x15(%rbp),%eax
cmp    $0x8,%eax
jge    1157 <batata+0x57>
movsbl -0x1(%rbp),%eax
movsbl -0x15(%rbp),%ecx
sar    %cl,%eax
and    $0x1,%eax
mov    %al,%dl
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
movsbl -0x15(%rbp),%edi
mov    $0x7,%esi
sub    %edi,%esi
add    %esi,%ecx
mov    %ecx,%ecx
mov    %dl,(%rax,%rcx,1)
mov    -0x15(%rbp),%al
add    $0x1,%al
mov    %al,-0x15(%rbp)
jmp    1115 <batata+0x15>
pop    %rbp
ret

x86 assembly (clang, -O2):
<batata>:
lea    0x7(%rdx),%eax
mov    %edi,%ecx
and    $0x1,%cl
mov    %cl,(%rsi,%rax,1)
mov    %edi,%eax
shr    %al
and    $0x1,%al
lea    0x6(%rdx),%ecx
mov    %al,(%rsi,%rcx,1)
mov    %edi,%eax
shr    $0x2,%al
and    $0x1,%al
lea    0x5(%rdx),%ecx
mov    %al,(%rsi,%rcx,1)
mov    %edi,%eax
shr    $0x3,%al
and    $0x1,%al
lea    0x4(%rdx),%ecx
mov    %al,(%rsi,%rcx,1)
mov    %edi,%eax
shr    $0x4,%al
and    $0x1,%al
lea    0x3(%rdx),%ecx
mov    %al,(%rsi,%rcx,1)
mov    %edi,%eax
shr    $0x5,%al
and    $0x1,%al
lea    0x2(%rdx),%ecx
mov    %al,(%rsi,%rcx,1)
mov    %edi,%eax
shr    $0x6,%al
and    $0x1,%al
lea    0x1(%rdx),%ecx
mov    %al,(%rsi,%rcx,1)
shr    $0x7,%dil
mov    %edx,%eax
mov    %dil,(%rsi,%rax,1)
ret

LLVM IR (-O0):
define void @batata(i8 signext %0, i8* %1, i32 %2) {
%4 = alloca i8
%5 = alloca i8*
%6 = alloca i32
%7 = alloca i8
store i8 %0, i8* %4
store i8* %1, i8** %5
store i32 %2, i32* %6
store i8 0, i8* %7
br label %8
8: ; preds = %28, %3
%9 = load i8, i8* %7
%10 = sext i8 %9 to i32
%11 = icmp slt i32 %10, 8
br i1 %11, label %12, label %31
12: ; preds = %8
%13 = load i8, i8* %4
%14 = sext i8 %13 to i32
%15 = load i8, i8* %7
%16 = sext i8 %15 to i32
%17 = ashr i32 %14, %16
%18 = and i32 %17, 1
%19 = trunc i32 %18 to i8
%20 = load i8*, i8** %5
%21 = load i32, i32* %6
%22 = load i8, i8* %7
%23 = sext i8 %22 to i32
%24 = sub nsw i32 7, %23
%25 = add i32 %21, %24
%26 = zext i32 %25 to i64
%27 = getelementptr inbounds i8, i8* %20, i64 %26
store i8 %19, i8* %27
br label %28
28: ; preds = %12
%29 = load i8, i8* %7
%30 = add i8 %29, 1
store i8 %30, i8* %7
br label %8
31: ; preds = %8
ret void
}

LLVM IR (-O2):
define void @batata(i8 signext %0, i8* nocapture writeonly %1, i32 %2) {
%4 = add i32 %2, 7
%5 = and i8 %0, 1
%6 = zext i32 %4 to i64
%7 = getelementptr inbounds i8, i8* %1, i64 %6
store i8 %5, i8* %7
%8 = lshr i8 %0, 1
%9 = and i8 %8, 1
%10 = add i32 %2, 6
%11 = zext i32 %10 to i64
%12 = getelementptr inbounds i8, i8* %1, i64 %11
store i8 %9, i8* %12
%13 = lshr i8 %0, 2
%14 = and i8 %13, 1
%15 = add i32 %2, 5
%16 = zext i32 %15 to i64
%17 = getelementptr inbounds i8, i8* %1, i64 %16
store i8 %14, i8* %17
%18 = lshr i8 %0, 3
%19 = and i8 %18, 1
%20 = add i32 %2, 4
%21 = zext i32 %20 to i64
%22 = getelementptr inbounds i8, i8* %1, i64 %21
store i8 %19, i8* %22
%23 = lshr i8 %0, 4
%24 = and i8 %23, 1
%25 = add i32 %2, 3
%26 = zext i32 %25 to i64
%27 = getelementptr inbounds i8, i8* %1, i64 %26
store i8 %24, i8* %27
%28 = lshr i8 %0, 5
%29 = and i8 %28, 1
%30 = add i32 %2, 2
%31 = zext i32 %30 to i64
%32 = getelementptr inbounds i8, i8* %1, i64 %31
store i8 %29, i8* %32
%33 = lshr i8 %0, 6
%34 = and i8 %33, 1
%35 = add i32 %2, 1
%36 = zext i32 %35 to i64
%37 = getelementptr inbounds i8, i8* %1, i64 %36
store i8 %34, i8* %37
%38 = lshr i8 %0, 7
%39 = zext i32 %2 to i64
%40 = getelementptr inbounds i8, i8* %1, i64 %39
store i8 %38, i8* %40
ret void
}