void reverseString(char *s) {
  char *s0 = s;
  if (*s == '\0') {
    return;
  }
  while (*s != '\0') {
    ++s;
  }
  --s;
  while (*s == '0' && s > s0) {
    --s;
  };
  *(s + 1) = '\0';
  for (; s0 < s; --s, ++s0) {
    const char t = *s;
    *s = *s0;
    *s0 = t;
  }
}


x86 assembly (clang, -O0):
<reverseString>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    1125 <reverseString+0x25>
jmp    11ec <reverseString+0xec>
jmp    112a <reverseString+0x2a>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     114b <reverseString+0x4b>
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
jmp    112a <reverseString+0x2a>
mov    -0x8(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x30,%ecx
mov    %al,-0x12(%rbp)
jne    117a <reverseString+0x7a>
mov    -0x8(%rbp),%rax
cmp    -0x10(%rbp),%rax
seta   %al
mov    %al,-0x12(%rbp)
mov    -0x12(%rbp),%al
test   $0x1,%al
jne    118a <reverseString+0x8a>
jmp    119b <reverseString+0x9b>
mov    -0x8(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x8(%rbp)
jmp    1157 <reverseString+0x57>
mov    -0x8(%rbp),%rax
movb   $0x0,0x1(%rax)
mov    -0x10(%rbp),%rax
cmp    -0x8(%rbp),%rax
jae    11ec <reverseString+0xec>
mov    -0x8(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x11(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%cl
mov    -0x8(%rbp),%rax
mov    %cl,(%rax)
mov    -0x11(%rbp),%cl
mov    -0x10(%rbp),%rax
mov    %cl,(%rax)
mov    -0x8(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x8(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    11a3 <reverseString+0xa3>
pop    %rbp
ret

x86 assembly (clang, -O2):
<reverseString>:
cmpb   $0x0,(%rdi)
je     117e <reverseString+0x7e>
lea    -0x2(%rdi),%r8
xor    %ecx,%ecx
nopl   0x0(%rax,%rax,1)
cmpb   $0x0,0x1(%rdi,%rcx,1)
lea    0x1(%rcx),%rcx
jne    1110 <reverseString+0x10>
jmp    1126 <reverseString+0x26>
nopl   (%rax)
cmp    $0x1,%rsi
jle    1137 <reverseString+0x37>
mov    %rcx,%rsi
add    $0xffffffffffffffff,%rcx
movzbl -0x1(%rdi,%rsi,1),%edx
cmp    $0x30,%dl
je     1120 <reverseString+0x20>
movb   $0x0,(%rdi,%rsi,1)
cmp    $0x2,%rsi
jl     117e <reverseString+0x7e>
lea    0x1(%rcx),%rsi
mov    (%rdi),%al
mov    %al,(%rdi,%rcx,1)
mov    %dl,(%rdi)
cmp    $0x4,%rsi
jl     117e <reverseString+0x7e>
add    %rcx,%r8
add    $0x1,%rdi
nopl   0x0(%rax)
movzbl 0x1(%r8),%eax
movzbl (%rdi),%ecx
mov    %cl,0x1(%r8)
mov    %al,(%rdi)
add    $0x1,%rdi
lea    -0x1(%r8),%rax
cmp    %r8,%rdi
mov    %rax,%r8
jb     1160 <reverseString+0x60>
ret

LLVM IR (-O0):
define void @reverseString(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 = load i8, i8* %6
%8 = sext i8 %7 to i32
%9 = icmp eq i32 %8, 0
br i1 %9, label %10, label %11
10: ; preds = %1
br label %57
11: ; preds = %1
br label %12
12: ; preds = %17, %11
%13 = load i8*, i8** %2
%14 = load i8, i8* %13
%15 = sext i8 %14 to i32
%16 = icmp ne i32 %15, 0
br i1 %16, label %17, label %20
17: ; preds = %12
%18 = load i8*, i8** %2
%19 = getelementptr inbounds i8, i8* %18, i32 1
store i8* %19, i8** %2
br label %12
20: ; preds = %12
%21 = load i8*, i8** %2
%22 = getelementptr inbounds i8, i8* %21, i32 -1
store i8* %22, i8** %2
br label %23
23: ; preds = %34, %20
%24 = load i8*, i8** %2
%25 = load i8, i8* %24
%26 = sext i8 %25 to i32
%27 = icmp eq i32 %26, 48
br i1 %27, label %28, label %32
28: ; preds = %23
%29 = load i8*, i8** %2
%30 = load i8*, i8** %3
%31 = icmp ugt i8* %29, %30
br label %32
32: ; preds = %28, %23
%33 = phi i1 [ false, %23 ], [ %31, %28 ]
br i1 %33, label %34, label %37
34: ; preds = %32
%35 = load i8*, i8** %2
%36 = getelementptr inbounds i8, i8* %35, i32 -1
store i8* %36, i8** %2
br label %23
37: ; preds = %32
%38 = load i8*, i8** %2
%39 = getelementptr inbounds i8, i8* %38, i64 1
store i8 0, i8* %39
br label %40
40: ; preds = %52, %37
%41 = load i8*, i8** %3
%42 = load i8*, i8** %2
%43 = icmp ult i8* %41, %42
br i1 %43, label %44, label %57
44: ; preds = %40
%45 = load i8*, i8** %2
%46 = load i8, i8* %45
store i8 %46, i8* %4
%47 = load i8*, i8** %3
%48 = load i8, i8* %47
%49 = load i8*, i8** %2
store i8 %48, i8* %49
%50 = load i8, i8* %4
%51 = load i8*, i8** %3
store i8 %50, i8* %51
br label %52
52: ; preds = %44
%53 = load i8*, i8** %2
%54 = getelementptr inbounds i8, i8* %53, i32 -1
store i8* %54, i8** %2
%55 = load i8*, i8** %3
%56 = getelementptr inbounds i8, i8* %55, i32 1
store i8* %56, i8** %3
br label %40
57: ; preds = %10, %40
ret void
}

LLVM IR (-O2):
define void @reverseString(i8* %0) {
%2 = load i8, i8* %0
%3 = icmp eq i8 %2, 0
br i1 %3, label %36, 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, %10
%11 = phi i64 [ %12, %10 ], [ %6, %4 ]
%12 = add nsw i64 %11, -1
%13 = getelementptr inbounds i8, i8* %0, i64 %12
%14 = load i8, i8* %13
%15 = icmp eq i8 %14, 48
%16 = icmp sgt i64 %11, 1
%17 = and i1 %15, %16
br i1 %17, label %10, label %18
18: ; preds = %10
%19 = getelementptr inbounds i8, i8* %0, i64 %12
%20 = getelementptr inbounds i8, i8* %0, i64 %11
store i8 0, i8* %20
br i1 %16, label %21, label %36
21: ; preds = %18
%22 = load i8, i8* %0
store i8 %22, i8* %19
store i8 %14, i8* %0
%23 = icmp sgt i64 %11, 3
br i1 %23, label %24, label %36
24: ; preds = %21
%25 = add nsw i64 %11, -2
%26 = getelementptr inbounds i8, i8* %0, i64 %25
%27 = getelementptr inbounds i8, i8* %0, i64 1
br label %28
28: ; preds = %24, %28
%29 = phi i8* [ %27, %24 ], [ %34, %28 ]
%30 = phi i8* [ %26, %24 ], [ %33, %28 ]
%31 = load i8, i8* %30
%32 = load i8, i8* %29
store i8 %32, i8* %30
store i8 %31, i8* %29
%33 = getelementptr inbounds i8, i8* %30, i64 -1
%34 = getelementptr inbounds i8, i8* %29, i64 1
%35 = icmp ult i8* %34, %33
br i1 %35, label %28, label %36
36: ; preds = %28, %21, %18, %1
ret void
}