void reverse(char *str) {
  char *end = str;
  char tmp;
  if (str) {
    while (*end) {
      ++end;
    }
    --end;
    while (str < end) {
      tmp = *str;
      *str++ = *end;
      *end-- = tmp;
    }
  }
}


x86 assembly (clang, -O0):
<reverse>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x10(%rbp)
cmpq   $0x0,-0x8(%rbp)
je     1196 <reverse+0x96>
jmp    1120 <reverse+0x20>
mov    -0x10(%rbp),%rax
cmpb   $0x0,(%rax)
je     113e <reverse+0x3e>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    1120 <reverse+0x20>
mov    -0x10(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
cmp    -0x10(%rbp),%rax
jae    1191 <reverse+0x91>
mov    -0x8(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x11(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%cl
mov    -0x8(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x8(%rbp)
mov    %cl,(%rax)
mov    -0x11(%rbp),%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0xffffffffffffffff,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
jmp    114a <reverse+0x4a>
jmp    1196 <reverse+0x96>
pop    %rbp
ret

x86 assembly (clang, -O2):
<reverse>:
test   %rdi,%rdi
je     114c <reverse+0x4c>
lea    -0x2(%rdi),%rax
nopl   0x0(%rax)
cmpb   $0x0,0x2(%rax)
lea    0x1(%rax),%rax
jne    1110 <reverse+0x10>
cmp    %rdi,%rax
jbe    114c <reverse+0x4c>
add    $0x1,%rdi
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movzbl -0x1(%rdi),%ecx
movzbl (%rax),%edx
mov    %dl,-0x1(%rdi)
mov    %cl,(%rax)
add    $0xffffffffffffffff,%rax
lea    0x1(%rdi),%rcx
cmp    %rax,%rdi
mov    %rcx,%rdi
jb     1130 <reverse+0x30>
ret

LLVM IR (-O0):
define void @reverse(i8* %0) {
%2 = alloca i8*
%3 = alloca i8*
%4 = alloca i8
store i8* %0, i8** %2
%5 = load i8*, i8** %2
store i8* %5, i8** %3
%6 = load i8*, i8** %2
%7 = icmp ne i8* %6, null
br i1 %7, label %8, label %34
8: ; preds = %1
br label %9
9: ; preds = %13, %8
%10 = load i8*, i8** %3
%11 = load i8, i8* %10
%12 = icmp ne i8 %11, 0
br i1 %12, label %13, label %16
13: ; preds = %9
%14 = load i8*, i8** %3
%15 = getelementptr inbounds i8, i8* %14, i32 1
store i8* %15, i8** %3
br label %9
16: ; preds = %9
%17 = load i8*, i8** %3
%18 = getelementptr inbounds i8, i8* %17, i32 -1
store i8* %18, i8** %3
br label %19
19: ; preds = %23, %16
%20 = load i8*, i8** %2
%21 = load i8*, i8** %3
%22 = icmp ult i8* %20, %21
br i1 %22, label %23, label %33
23: ; preds = %19
%24 = load i8*, i8** %2
%25 = load i8, i8* %24
store i8 %25, i8* %4
%26 = load i8*, i8** %3
%27 = load i8, i8* %26
%28 = load i8*, i8** %2
%29 = getelementptr inbounds i8, i8* %28, i32 1
store i8* %29, i8** %2
store i8 %27, i8* %28
%30 = load i8, i8* %4
%31 = load i8*, i8** %3
%32 = getelementptr inbounds i8, i8* %31, i32 -1
store i8* %32, i8** %3
store i8 %30, i8* %31
br label %19
33: ; preds = %19
br label %34
34: ; preds = %33, %1
ret void
}

LLVM IR (-O2):
define void @reverse(i8* %0) {
%2 = icmp eq i8* %0, null
br i1 %2, label %19, label %3
3: ; preds = %1, %3
%4 = phi i8* [ %7, %3 ], [ %0, %1 ]
%5 = load i8, i8* %4
%6 = icmp eq i8 %5, 0
%7 = getelementptr inbounds i8, i8* %4, i64 1
br i1 %6, label %8, label %3
8: ; preds = %3
%9 = getelementptr inbounds i8, i8* %4, i64 -1
%10 = icmp ugt i8* %9, %0
br i1 %10, label %11, label %19
11: ; preds = %8, %11
%12 = phi i8* [ %17, %11 ], [ %9, %8 ]
%13 = phi i8* [ %16, %11 ], [ %0, %8 ]
%14 = load i8, i8* %13
%15 = load i8, i8* %12
%16 = getelementptr inbounds i8, i8* %13, i64 1
store i8 %15, i8* %13
store i8 %14, i8* %12
%17 = getelementptr inbounds i8, i8* %12, i64 -1
%18 = icmp ult i8* %16, %17
br i1 %18, label %11, label %19
19: ; preds = %11, %8, %1
ret void
}