void reverse(char s[]) {
  int i;
  int length = 0;
  for (i = 0; s[i] != '\0'; i++)
    length++;
  char temp[length];
  for (i = 0; i < length; i++)
    temp[i] = s[i];
  for (i = 0; i < length; i++)
    s[i] = temp[length - 1 - i];
}


x86 assembly (clang, -O0):
<reverse>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
movl   $0x0,-0x10(%rbp)
movl   $0x0,-0xc(%rbp)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     1146 <reverse+0x46>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    111a <reverse+0x1a>
mov    -0x10(%rbp),%eax
mov    %rsp,%rcx
mov    %rcx,-0x18(%rbp)
mov    %rax,%rdx
add    $0xf,%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x28(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x20(%rbp)
movl   $0x0,-0xc(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    11a3 <reverse+0xa3>
mov    -0x28(%rbp),%rax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rdx
mov    (%rcx,%rdx,1),%dl
movslq -0xc(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1173 <reverse+0x73>
movl   $0x0,-0xc(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    11e2 <reverse+0xe2>
mov    -0x28(%rbp),%rax
mov    -0x10(%rbp),%ecx
sub    $0x1,%ecx
sub    -0xc(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    11aa <reverse+0xaa>
mov    -0x18(%rbp),%rax
mov    %rax,%rsp
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<reverse>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r12
push   %rbx
cmpb   $0x0,(%rdi)
je     12c4 <reverse+0x1b4>
mov    %rdi,%r12
xor    %ebx,%ebx
nopl   0x0(%rax)
cmpb   $0x0,0x1(%r12,%rbx,1)
lea    0x1(%rbx),%rbx
jne    1130 <reverse+0x20>
mov    %ebx,%r15d
mov    %rsp,%r14
lea    0xf(%r15),%rax
and    $0xfffffffffffffff0,%rax
sub    %rax,%r14
mov    %r14,%rsp
test   %ebx,%ebx
je     12c4 <reverse+0x1b4>
mov    %r14,%rdi
mov    %r12,%rsi
mov    %r15,%rdx
call   1030 <memcpy@plt>
cmp    $0x8,%r15
jae    1173 <reverse+0x63>
xor    %eax,%eax
jmp    1296 <reverse+0x186>
cmp    $0x20,%r15d
jae    1180 <reverse+0x70>
xor    %eax,%eax
jmp    123d <reverse+0x12d>
movslq %ebx,%rsi
mov    %ebx,%ecx
and    $0x1f,%ecx
mov    %r15,%rax
sub    %rcx,%rax
lea    (%r14,%rsi,1),%rdx
add    $0xfffffffffffffff0,%rdx
mov    %esi,%esi
sub    %rcx,%rsi
xor    %edi,%edi
pxor   %xmm0,%xmm0
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movdqu -0x10(%rdx),%xmm1
movdqu (%rdx),%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
movdqu %xmm2,(%r12,%rdi,1)
movdqu %xmm1,0x10(%r12,%rdi,1)
add    $0x20,%rdi
add    $0xffffffffffffffe0,%rdx
cmp    %rdi,%rsi
jne    11b0 <reverse+0xa0>
test   %rcx,%rcx
je     12c4 <reverse+0x1b4>
cmp    $0x8,%ecx
jb     1296 <reverse+0x186>
movslq %ebx,%rsi
mov    %ebx,%ecx
and    $0x7,%ecx
sub    %rcx,%r15
mov    %r14,%rdx
sub    %rax,%rdx
add    %rsi,%rdx
add    $0xfffffffffffffff8,%rdx
mov    %esi,%esi
sub    %rcx,%rsi
pxor   %xmm0,%xmm0
xchg   %ax,%ax
movq   (%rdx),%xmm1
punpcklbw %xmm0,%xmm1
pshufd $0x4e,%xmm1,%xmm1
pshuflw $0x1b,%xmm1,%xmm1
pshufhw $0x1b,%xmm1,%xmm1
packuswb %xmm1,%xmm1
movq   %xmm1,(%r12,%rax,1)
add    $0x8,%rax
add    $0xfffffffffffffff8,%rdx
cmp    %rax,%rsi
jne    1260 <reverse+0x150>
mov    %r15,%rax
test   %rcx,%rcx
je     12c4 <reverse+0x1b4>
sub    %rax,%r14
movslq %ebx,%rdx
lea    (%r14,%rdx,1),%rcx
add    $0xffffffffffffffff,%rcx
mov    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
movzbl (%rcx),%ebx
mov    %bl,(%r12,%rax,1)
add    $0x1,%rax
add    $0xffffffffffffffff,%rcx
cmp    %rax,%rdx
jne    12b0 <reverse+0x1a0>
lea    -0x20(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define void @reverse(i8* nocapture %0) {
%2 = load i8, i8* %0
%3 = icmp eq i8 %2, 0
br i1 %3, label %78, label %4
4: ; preds = %1, %4
%5 = phi i64 [ %6, %4 ], [ 0, %1 ]
%6 = add nuw nsw i64 %5, 1
%7 = getelementptr inbounds i8, i8* %0, i64 %6
%8 = load i8, i8* %7
%9 = icmp eq i8 %8, 0
br i1 %9, label %10, label %4
10: ; preds = %4
%11 = trunc i64 %6 to i32
%12 = and i64 %6, 4294967295
%13 = alloca i8, i64 %12
%14 = icmp eq i32 %11, 0
br i1 %14, label %78, label %15
15: ; preds = %10
%16 = shl i64 %6, 32
%17 = ashr exact i64 %16, 32
%18 = icmp ult i64 %12, 8
br i1 %18, label %67, label %19
19: ; preds = %15
%20 = icmp ult i64 %12, 32
br i1 %20, label %48, label %21
21: ; preds = %19
%22 = and i64 %6, 31
%23 = sub nsw i64 %12, %22
br label %24
24: ; preds = %24, %21
%25 = phi i64 [ 0, %21 ], [ %42, %24 ]
%26 = xor i64 %25, -1
%27 = add nsw i64 %17, %26
%28 = getelementptr inbounds i8, i8* %13, i64 %27
%29 = getelementptr inbounds i8, i8* %28, i64 -15
%30 = bitcast i8* %29 to <16 x i8>*
%31 = load <16 x i8>, <16 x i8>* %30
%32 = shufflevector <16 x i8> %31, <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>
%33 = getelementptr inbounds i8, i8* %28, i64 -16
%34 = getelementptr inbounds i8, i8* %33, i64 -15
%35 = bitcast i8* %34 to <16 x i8>*
%36 = load <16 x i8>, <16 x i8>* %35
%37 = shufflevector <16 x i8> %36, <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>
%38 = getelementptr inbounds i8, i8* %0, i64 %25
%39 = bitcast i8* %38 to <16 x i8>*
store <16 x i8> %32, <16 x i8>* %39
%40 = getelementptr inbounds i8, i8* %38, i64 16
%41 = bitcast i8* %40 to <16 x i8>*
store <16 x i8> %37, <16 x i8>* %41
%42 = add nuw i64 %25, 32
%43 = icmp eq i64 %42, %23
br i1 %43, label %44, label %24
44: ; preds = %24
%45 = icmp eq i64 %22, 0
br i1 %45, label %78, label %46
46: ; preds = %44
%47 = icmp ult i64 %22, 8
br i1 %47, label %67, label %48
48: ; preds = %19, %46
%49 = phi i64 [ %23, %46 ], [ 0, %19 ]
%50 = and i64 %6, 7
%51 = sub nsw i64 %12, %50
%52 = getelementptr inbounds i8, i8* %13, i64 -7
br label %53
53: ; preds = %53, %48
%54 = phi i64 [ %49, %48 ], [ %63, %53 ]
%55 = xor i64 %54, -1
%56 = add nsw i64 %17, %55
%57 = getelementptr inbounds i8, i8* %52, i64 %56
%58 = bitcast i8* %57 to <8 x i8>*
%59 = load <8 x i8>, <8 x i8>* %58
%60 = shufflevector <8 x i8> %59, <8 x i8> poison, <8 x i32> <i32 7, i32 6, i32 5, i32 4, i32 3, i32 2, i32 1, i32 0>
%61 = getelementptr inbounds i8, i8* %0, i64 %54
%62 = bitcast i8* %61 to <8 x i8>*
store <8 x i8> %60, <8 x i8>* %62
%63 = add nuw i64 %54, 8
%64 = icmp eq i64 %63, %51
br i1 %64, label %65, label %53
65: ; preds = %53
%66 = icmp eq i64 %50, 0
br i1 %66, label %78, label %67
67: ; preds = %15, %46, %65
%68 = phi i64 [ 0, %15 ], [ %23, %46 ], [ %51, %65 ]
br label %69
69: ; preds = %67, %69
%70 = phi i64 [ %76, %69 ], [ %68, %67 ]
%71 = xor i64 %70, -1
%72 = add nsw i64 %17, %71
%73 = getelementptr inbounds i8, i8* %13, i64 %72
%74 = load i8, i8* %73
%75 = getelementptr inbounds i8, i8* %0, i64 %70
store i8 %74, i8* %75
%76 = add nuw nsw i64 %70, 1
%77 = icmp eq i64 %76, %12
br i1 %77, label %78, label %69
78: ; preds = %69, %44, %65, %1, %10
ret void
}