void reverse(char *str) {
  int len = length(str);
  if (len == 0 || len == 1) {
    return;
  }
  for (int i = 0; i < (len / 2); i++) {
    char temp = *(str + i);
    *(str + i) = *(str + len - i - 1);
    *(str + len - i - 1) = temp;
  }
}


x86 assembly (clang, -O0):
<reverse>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rdi
mov    $0x0,%al
call   1030 <length@plt>
mov    %eax,-0xc(%rbp)
cmpl   $0x0,-0xc(%rbp)
je     113e <reverse+0x2e>
cmpl   $0x1,-0xc(%rbp)
jne    1143 <reverse+0x33>
jmp    11c2 <reverse+0xb2>
movl   $0x0,-0x10(%rbp)
mov    -0x10(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0xc(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x18(%rbp),%eax
cmp    %ecx,%eax
jge    11c2 <reverse+0xb2>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x11(%rbp)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
add    %rcx,%rax
movslq -0x10(%rbp),%rdx
xor    %ecx,%ecx
sub    %rdx,%rcx
mov    -0x1(%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x11(%rbp),%dl
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
add    %rcx,%rax
movslq -0x10(%rbp),%rsi
xor    %ecx,%ecx
sub    %rsi,%rcx
mov    %dl,-0x1(%rax,%rcx,1)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    114a <reverse+0x3a>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<reverse>:
push   %r14
push   %rbx
push   %rax
mov    %rdi,%r14
xor    %eax,%eax
call   1030 <length@plt>
cmp    $0x2,%eax
jl     118f <reverse+0x7f>
mov    %eax,%r8d
shr    %eax
lea    (%r14,%r8,1),%rsi
add    $0xffffffffffffffff,%rsi
cmp    $0x1,%eax
jne    113d <reverse+0x2d>
xor    %edx,%edx
test   $0x1,%al
jne    1180 <reverse+0x70>
jmp    118f <reverse+0x7f>
lea    0x1(%r14),%rdi
shr    %r8
and    $0xfffffffe,%r8d
neg    %r8
xor    %edx,%edx
nopl   (%rax)
movzbl -0x1(%rdi),%ebx
movzbl (%rsi,%rdx,1),%ecx
mov    %cl,-0x1(%rdi)
mov    %bl,(%rsi,%rdx,1)
movzbl (%rdi),%ecx
movzbl -0x1(%rsi,%rdx,1),%ebx
mov    %bl,(%rdi)
mov    %cl,-0x1(%rsi,%rdx,1)
add    $0x2,%rdi
add    $0xfffffffffffffffe,%rdx
cmp    %rdx,%r8
jne    1150 <reverse+0x40>
neg    %rdx
test   $0x1,%al
je     118f <reverse+0x7f>
mov    (%r14,%rdx,1),%al
sub    %rdx,%rsi
mov    (%rsi),%cl
mov    %cl,(%r14,%rdx,1)
mov    %al,(%rsi)
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret

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

LLVM IR (-O2):
define void @reverse(i8* %0) {
%2 = tail call i32 (i8*, ...) bitcast (i32 (...)* @length to i32 (i8*, ...)*)(i8* %0)
%3 = icmp sgt i32 %2, 1
br i1 %3, label %4, label %40
4: ; preds = %1
%5 = lshr i32 %2, 1
%6 = zext i32 %2 to i64
%7 = getelementptr inbounds i8, i8* %0, i64 %6
%8 = zext i32 %5 to i64
%9 = getelementptr inbounds i8, i8* %7, i64 -1
%10 = and i64 %8, 1
%11 = icmp eq i32 %5, 1
br i1 %11, label %31, label %12
12: ; preds = %4
%13 = and i64 %8, 2147483646
br label %14
14: ; preds = %14, %12
%15 = phi i64 [ 0, %12 ], [ %28, %14 ]
%16 = phi i64 [ 0, %12 ], [ %29, %14 ]
%17 = getelementptr inbounds i8, i8* %0, i64 %15
%18 = load i8, i8* %17
%19 = sub nsw i64 0, %15
%20 = getelementptr inbounds i8, i8* %9, i64 %19
%21 = load i8, i8* %20
store i8 %21, i8* %17
store i8 %18, i8* %20
%22 = or i64 %15, 1
%23 = getelementptr inbounds i8, i8* %0, i64 %22
%24 = load i8, i8* %23
%25 = xor i64 %15, -1
%26 = getelementptr inbounds i8, i8* %9, i64 %25
%27 = load i8, i8* %26
store i8 %27, i8* %23
store i8 %24, i8* %26
%28 = add nuw nsw i64 %15, 2
%29 = add i64 %16, 2
%30 = icmp eq i64 %29, %13
br i1 %30, label %31, label %14
31: ; preds = %14, %4
%32 = phi i64 [ 0, %4 ], [ %28, %14 ]
%33 = icmp eq i64 %10, 0
br i1 %33, label %40, label %34
34: ; preds = %31
%35 = getelementptr inbounds i8, i8* %0, i64 %32
%36 = load i8, i8* %35
%37 = sub nsw i64 0, %32
%38 = getelementptr inbounds i8, i8* %9, i64 %37
%39 = load i8, i8* %38
store i8 %39, i8* %35
store i8 %36, i8* %38
br label %40
40: ; preds = %34, %31, %1
ret void
}