void reverse(char to[], char from[], int len) {
  int i, j;
  for (i = 0, j = len - 2 - i; i <= len - 2; j = len - 2 - ++i)
    to[i] = from[j];
  to[i++] = '\n';
  to[i] = '\0';
}


x86 assembly (clang, -O0):
<reverse>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x14(%rbp),%eax
sub    $0x2,%eax
sub    -0x18(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x2,%ecx
cmp    %ecx,%eax
jg     1162 <reverse+0x62>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x14(%rbp),%eax
sub    $0x2,%eax
mov    -0x18(%rbp),%ecx
add    $0x1,%ecx
mov    %ecx,-0x18(%rbp)
sub    %ecx,%eax
mov    %eax,-0x1c(%rbp)
jmp    1122 <reverse+0x22>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
movb   $0xa,(%rax,%rcx,1)
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
pop    %rbp
ret

x86 assembly (clang, -O2):
<reverse>:
push   %rbp
push   %r15
push   %r14
push   %rbx
xor    %r9d,%r9d
cmp    $0x2,%edx
jl     11e7 <reverse+0xe7>
lea    -0x2(%rdx),%r8d
lea    -0x1(%rdx),%r9d
cmp    $0x8,%r9d
jae    11f7 <reverse+0xf7>
xor    %r11d,%r11d
mov    %r8d,%ebp
mov    %r11,%r10
not    %r10
add    %r9,%r10
mov    %r9,%rcx
and    $0x3,%rcx
je     1170 <reverse+0x70>
mov    %edx,%ebx
sub    %r11d,%ebx
add    $0xfffffffd,%ebx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movslq %ebp,%rbp
movzbl (%rsi,%rbp,1),%eax
mov    %al,(%rdi,%r11,1)
add    $0x1,%r11
mov    %ebx,%ebp
add    $0xffffffff,%ebx
add    $0xffffffffffffffff,%rcx
jne    1150 <reverse+0x50>
sub    %r11d,%r8d
mov    %r8d,%ebp
cmp    $0x3,%r10
jb     11e7 <reverse+0xe7>
mov    %r11,%r8
sub    %r9,%r8
sub    %r11d,%edx
lea    -0x6(%rdx),%r10d
lea    (%r11,%rdi,1),%rax
add    $0x3,%rax
lea    -0x5(%rdx),%r11d
lea    -0x4(%rdx),%r14d
add    $0xfffffffd,%edx
xor    %r15d,%r15d
xor    %ebx,%ebx
nopl   0x0(%rax,%rax,1)
movslq %ebp,%rbp
movzbl (%rsi,%rbp,1),%ecx
mov    %cl,-0x3(%rax)
lea    (%rdx,%r15,1),%ecx
movslq %ecx,%rcx
movzbl (%rsi,%rcx,1),%ecx
mov    %cl,-0x2(%rax)
lea    (%r14,%r15,1),%ecx
movslq %ecx,%rcx
movzbl (%rsi,%rcx,1),%ecx
mov    %cl,-0x1(%rax)
lea    (%r11,%r15,1),%ecx
movslq %ecx,%rcx
movzbl (%rsi,%rcx,1),%ecx
mov    %cl,(%rax)
add    $0xfffffffffffffffc,%rbx
lea    (%r10,%r15,1),%ebp
add    $0x4,%rax
mov    %rbx,%r15
cmp    %rbx,%r8
jne    11a0 <reverse+0xa0>
mov    %r9d,%eax
movw   $0xa,(%rdi,%rax,1)
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret
lea    -0x1(%r9),%rcx
mov    %r8d,%ebp
sub    %ecx,%ebp
xor    %r11d,%r11d
cmp    %r8d,%ebp
jg     1127 <reverse+0x27>
shr    $0x20,%rcx
mov    %r8d,%ebp
jne    112a <reverse+0x2a>
movslq %r8d,%rax
lea    (%rsi,%rax,1),%rcx
add    $0x1,%rcx
cmp    %rdi,%rcx
jbe    1240 <reverse+0x140>
lea    (%rdi,%r9,1),%rcx
add    $0x1,%rax
sub    %r9,%rax
add    %rsi,%rax
cmp    %rcx,%rax
jb     1124 <reverse+0x24>
cmp    $0x20,%r9d
jae    124e <reverse+0x14e>
xor    %r11d,%r11d
jmp    12f5 <reverse+0x1f5>
mov    %r9d,%r11d
and    $0xffffffe0,%r11d
xor    %ecx,%ecx
pxor   %xmm0,%xmm0
mov    %r8d,%ebx
xchg   %ax,%ax
movslq %ebx,%rbx
movdqu -0x1f(%rsi,%rbx,1),%xmm1
movdqu -0xf(%rsi,%rbx,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
movdqu %xmm2,(%rdi,%rcx,1)
movdqu %xmm1,0x10(%rdi,%rcx,1)
add    $0x20,%rcx
add    $0xffffffe0,%ebx
cmp    %rcx,%r11
jne    1260 <reverse+0x160>
cmp    %r9,%r11
je     11e7 <reverse+0xe7>
test   $0x18,%r9b
je     134f <reverse+0x24f>
mov    %r11,%rbx
mov    %r9d,%r11d
and    $0xfffffff8,%r11d
mov    %r8d,%ebp
sub    %r11d,%ebp
mov    %edx,%ecx
sub    %ebx,%ecx
add    $0xfffffffe,%ecx
pxor   %xmm0,%xmm0
movslq %ecx,%rcx
movq   -0x7(%rsi,%rcx,1),%xmm1
punpcklbw %xmm0,%xmm1
pshufd $0x4e,%xmm1,%xmm1
pshuflw $0x1b,%xmm1,%xmm1
pshufhw $0x1b,%xmm1,%xmm1
packuswb %xmm1,%xmm1
movq   %xmm1,(%rdi,%rbx,1)
add    $0x8,%rbx
add    $0xfffffff8,%ecx
cmp    %rbx,%r11
jne    1310 <reverse+0x210>
cmp    %r9,%r11
jne    112a <reverse+0x2a>
jmp    11e7 <reverse+0xe7>
mov    %r8d,%ebp
sub    %r11d,%ebp
jmp    112a <reverse+0x2a>

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

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