void togli_spazi(char str[]) {
  int i = 0, j;
  while (str[i]) {
    if (str[i] == ' ') {
      j = i + 1;
      while (str[j]) {
        str[j - 1] = str[j];
        j++;
      }
      str[j - 1] = '\0';
    } else {
      i = i + 1;
    }
  }
}


x86 assembly (clang, -O0):
<togli_spazi>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
movl   $0x0,-0xc(%rbp)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
cmpb   $0x0,(%rax,%rcx,1)
je     119e <togli_spazi+0x9e>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x20,%eax
jne    1190 <togli_spazi+0x90>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
cmpb   $0x0,(%rax,%rcx,1)
je     117a <togli_spazi+0x7a>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    113f <togli_spazi+0x3f>
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movb   $0x0,(%rax,%rcx,1)
jmp    1199 <togli_spazi+0x99>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    110f <togli_spazi+0xf>
pop    %rbp
ret

x86 assembly (clang, -O2):
<togli_spazi>:
movabs $0x100000000,%r11
xor    %r9d,%r9d
xor    %r8d,%r8d
mov    %r9d,%r10d
jmp    1124 <togli_spazi+0x24>
cs nopw 0x0(%rax,%rax,1)
nop
movb   $0x0,(%rdi,%rsi,1)
mov    (%rdi,%r10,1),%cl
cmp    $0x20,%cl
jne    1160 <togli_spazi+0x60>
mov    0x1(%rdi,%r10,1),%cl
mov    %r10,%rsi
test   %cl,%cl
je     1120 <togli_spazi+0x20>
mov    %r9,%rdx
mov    %r8,%rsi
nop
movslq %edx,%rax
mov    %cl,(%rdi,%rax,1)
movzbl 0x2(%rdi,%rdx,1),%ecx
add    %r11,%rsi
add    $0x1,%rdx
test   %cl,%cl
jne    1140 <togli_spazi+0x40>
sar    $0x20,%rsi
jmp    1120 <togli_spazi+0x20>
nopl   0x0(%rax)
test   %cl,%cl
je     116d <togli_spazi+0x6d>
add    $0x1,%r9
add    %r11,%r8
jmp    1110 <togli_spazi+0x10>
ret

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

LLVM IR (-O2):
define void @togli_spazi(i8* nocapture %0) {
br label %2
2: ; preds = %31, %1
%3 = phi i32 [ %32, %31 ], [ 0, %1 ]
%4 = zext i32 %3 to i64
%5 = getelementptr inbounds i8, i8* %0, i64 %4
%6 = add nuw nsw i32 %3, 1
%7 = zext i32 %6 to i64
%8 = getelementptr inbounds i8, i8* %0, i64 %7
br label %9
9: ; preds = %2, %28
%10 = load i8, i8* %5
switch i8 %10, label %31 [
i8 0, label %33
i8 32, label %11
]
11: ; preds = %9
%12 = load i8, i8* %8
%13 = icmp eq i8 %12, 0
br i1 %13, label %28, label %14
14: ; preds = %11, %14
%15 = phi i64 [ %20, %14 ], [ %7, %11 ]
%16 = phi i8 [ %22, %14 ], [ %12, %11 ]
%17 = phi i32 [ %24, %14 ], [ %3, %11 ]
%18 = sext i32 %17 to i64
%19 = getelementptr inbounds i8, i8* %0, i64 %18
store i8 %16, i8* %19
%20 = add i64 %15, 1
%21 = getelementptr inbounds i8, i8* %0, i64 %20
%22 = load i8, i8* %21
%23 = icmp eq i8 %22, 0
%24 = trunc i64 %15 to i32
br i1 %23, label %25, label %14
25: ; preds = %14
%26 = shl i64 %15, 32
%27 = ashr exact i64 %26, 32
br label %28
28: ; preds = %25, %11
%29 = phi i64 [ %27, %25 ], [ %4, %11 ]
%30 = getelementptr inbounds i8, i8* %0, i64 %29
store i8 0, i8* %30
br label %9
31: ; preds = %9
%32 = add nuw nsw i32 %3, 1
br label %2
33: ; preds = %9
ret void
}