void reverse(char something[10000]) {
  char aux[10000];
  int i = 0;
  int length = 0;
  for (i = 0; (something[i]); ++i)
    ;
  length = i;
  for (i = 0; i < length; i++)
    aux[i] = something[length - i - 1];
  for (i = 0; i < length; i++)
    something[i] = aux[i];
}


x86 assembly (clang, -O0):
<reverse>:
push   %rbp
mov    %rsp,%rbp
sub    $0x26b0,%rsp
mov    %rdi,-0x8(%rbp)
movl   $0x0,-0x2724(%rbp)
movl   $0x0,-0x2728(%rbp)
movl   $0x0,-0x2724(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x2724(%rbp),%rcx
cmpb   $0x0,(%rax,%rcx,1)
je     115b <reverse+0x5b>
jmp    1147 <reverse+0x47>
mov    -0x2724(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2724(%rbp)
jmp    112d <reverse+0x2d>
mov    -0x2724(%rbp),%eax
mov    %eax,-0x2728(%rbp)
movl   $0x0,-0x2724(%rbp)
mov    -0x2724(%rbp),%eax
cmp    -0x2728(%rbp),%eax
jge    11be <reverse+0xbe>
mov    -0x8(%rbp),%rax
mov    -0x2728(%rbp),%ecx
sub    -0x2724(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%cl
movslq -0x2724(%rbp),%rax
mov    %cl,-0x2720(%rbp,%rax,1)
mov    -0x2724(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2724(%rbp)
jmp    1171 <reverse+0x71>
movl   $0x0,-0x2724(%rbp)
mov    -0x2724(%rbp),%eax
cmp    -0x2728(%rbp),%eax
jge    120a <reverse+0x10a>
movslq -0x2724(%rbp),%rax
mov    -0x2720(%rbp,%rax,1),%dl
mov    -0x8(%rbp),%rax
movslq -0x2724(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x2724(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2724(%rbp)
jmp    11c8 <reverse+0xc8>
add    $0x26b0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<reverse>:
push   %r15
push   %r14
push   %r12
push   %rbx
sub    $0x2718,%rsp
movabs $0xffffffff00000000,%rbx
ff ff ff
movabs $0x200000000,%rdx
movabs $0x300000000,%rsi
mov    $0xffffffffffffffff,%rcx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    %rbx,%rdx
add    %rbx,%rsi
cmpb   $0x0,0x1(%rdi,%rcx,1)
lea    0x1(%rcx),%rcx
jne    1150 <reverse+0x40>
test   %ecx,%ecx
je     11fc <reverse+0xec>
mov    %ecx,%r9d
cmp    $0x8,%r9
jae    120b <reverse+0xfb>
xor    %r8d,%r8d
mov    %ecx,%eax
sub    %r8d,%eax
lea    0x1(%r8),%r10
test   $0x1,%al
je     119e <reverse+0x8e>
mov    %r8,%rax
imul   %rbx,%rax
sub    %rdx,%rax
sar    $0x20,%rax
mov    (%rdi,%rax,1),%al
mov    %al,(%rsp,%r8,1)
mov    %r10,%r8
cmp    %r10,%r9
je     11ee <reverse+0xde>
movabs $0xfffffffe00000000,%r9
ff ff ff
mov    %ecx,%r10d
imul   %r8,%rbx
mov    %rbx,%rax
sub    %rsi,%rax
sub    %rdx,%rbx
nopl   (%rax)
mov    %rbx,%rdx
sar    $0x20,%rdx
movzbl (%rdi,%rdx,1),%edx
mov    %dl,(%rsp,%r8,1)
mov    %rax,%rdx
sar    $0x20,%rdx
movzbl (%rdi,%rdx,1),%edx
mov    %dl,0x1(%rsp,%r8,1)
add    $0x2,%r8
add    %r9,%rax
add    %r9,%rbx
cmp    %r8,%r10
jne    11c0 <reverse+0xb0>
test   %ecx,%ecx
je     11fc <reverse+0xec>
mov    %ecx,%edx
mov    %rsp,%rsi
call   1030 <memcpy@plt>
add    $0x2718,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
ret
lea    -0x1(%r9),%r10
lea    -0x1(%rcx),%r11d
mov    %r11d,%eax
sub    %r10d,%eax
xor    %r8d,%r8d
cmp    %r11d,%eax
jg     1179 <reverse+0x69>
shr    $0x20,%r10
jne    1179 <reverse+0x69>
cmp    $0x20,%r9d
jae    123d <reverse+0x12d>
xor    %r8d,%r8d
jmp    130f <reverse+0x1ff>
mov    %rdx,%r11
neg    %r11
mov    %ecx,%r14d
mov    %ecx,%r10d
and    $0x1f,%r10d
mov    %r9,%r8
sub    %r10,%r8
sub    %r10,%r14
xor    %r12d,%r12d
pxor   %xmm0,%xmm0
movabs $0xffffffe000000000,%r15
ff ff ff
nopw   0x0(%rax,%rax,1)
mov    %r11,%rax
sar    $0x20,%rax
movdqu -0x1f(%rdi,%rax,1),%xmm1
movdqu -0xf(%rdi,%rax,1),%xmm2
movdqa %xmm2,%xmm3
punpcklbw %xmm0,%xmm3
pshufd $0x4e,%xmm3,%xmm3
pshuflw $0x1b,%xmm3,%xmm3
pshufhw $0x1b,%xmm3,%xmm3
punpckhbw %xmm0,%xmm2
pshufd $0x4e,%xmm2,%xmm2
pshuflw $0x1b,%xmm2,%xmm2
pshufhw $0x1b,%xmm2,%xmm2
packuswb %xmm3,%xmm2
movdqa %xmm1,%xmm3
punpcklbw %xmm0,%xmm3
pshufd $0x4e,%xmm3,%xmm3
pshuflw $0x1b,%xmm3,%xmm3
pshufhw $0x1b,%xmm3,%xmm3
punpckhbw %xmm0,%xmm1
pshufd $0x4e,%xmm1,%xmm1
pshuflw $0x1b,%xmm1,%xmm1
pshufhw $0x1b,%xmm1,%xmm1
packuswb %xmm3,%xmm1
movdqa %xmm2,(%rsp,%r12,1)
movdqa %xmm1,0x10(%rsp,%r12,1)
add    $0x20,%r12
add    %r15,%r11
cmp    %r12,%r14
jne    1270 <reverse+0x160>
test   %r10,%r10
je     11ee <reverse+0xde>
cmp    $0x8,%r10d
jb     1179 <reverse+0x69>
mov    %r8,%r14
mov    %ecx,%r11d
mov    %ecx,%r10d
and    $0x7,%r10d
mov    %r9,%r8
sub    %r10,%r8
mov    %r14,%r12
imul   %rbx,%r12
sub    %rdx,%r12
sub    %r10,%r11
pxor   %xmm0,%xmm0
movabs $0xfffffff800000000,%r15
ff ff ff
nopl   (%rax)
mov    %r12,%rax
sar    $0x20,%rax
movq   -0x7(%rdi,%rax,1),%xmm1
punpcklbw %xmm0,%xmm1
pshufd $0x4e,%xmm1,%xmm1
pshuflw $0x1b,%xmm1,%xmm1
pshufhw $0x1b,%xmm1,%xmm1
packuswb %xmm1,%xmm1
movq   %xmm1,(%rsp,%r14,1)
add    $0x8,%r14
add    %r15,%r12
cmp    %r14,%r11
jne    1340 <reverse+0x230>
test   %r10,%r10
jne    1179 <reverse+0x69>
jmp    11ee <reverse+0xde>

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

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