void move_all_zeros_to_end_without_changing_order(int *array, int len) {
  int zero_index, non_zero_index;
  int temp;
  if (!array || (len <= 0)) {
    return;
  }
  zero_index = 0;
  non_zero_index = 0;
  while ((zero_index < len) && (non_zero_index < len)) {
    while ((zero_index < len) && array[zero_index]) {
      ++zero_index;
    }
    while ((non_zero_index < len) && !array[non_zero_index]) {
      ++non_zero_index;
    }
    if ((zero_index < len) && (non_zero_index < len)) {
      if (non_zero_index > zero_index) {
        temp = array[zero_index];
        array[zero_index] = array[non_zero_index];
        array[non_zero_index] = temp;
      } else {
        ++non_zero_index;
      }
    }
  }
}


x86 assembly (clang, -O0):
<move_all_zeros_to_end_without_changing_order>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
cmpq   $0x0,-0x8(%rbp)
je     1120 <move_all_zeros_to_end_without_changing_order+0x20>
cmpl   $0x0,-0xc(%rbp)
jg     1125 <move_all_zeros_to_end_without_changing_order+0x25>
jmp    125c <move_all_zeros_to_end_without_changing_order+0x15c>
movl   $0x0,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x10(%rbp),%ecx
xor    %eax,%eax
cmp    -0xc(%rbp),%ecx
mov    %al,-0x19(%rbp)
jge    1150 <move_all_zeros_to_end_without_changing_order+0x50>
mov    -0x14(%rbp),%eax
cmp    -0xc(%rbp),%eax
setl   %al
mov    %al,-0x19(%rbp)
mov    -0x19(%rbp),%al
test   $0x1,%al
jne    1160 <move_all_zeros_to_end_without_changing_order+0x60>
jmp    125c <move_all_zeros_to_end_without_changing_order+0x15c>
jmp    1165 <move_all_zeros_to_end_without_changing_order+0x65>
mov    -0x10(%rbp),%ecx
xor    %eax,%eax
cmp    -0xc(%rbp),%ecx
mov    %al,-0x1a(%rbp)
jge    1188 <move_all_zeros_to_end_without_changing_order+0x88>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
setne  %al
mov    %al,-0x1a(%rbp)
mov    -0x1a(%rbp),%al
test   $0x1,%al
jne    1198 <move_all_zeros_to_end_without_changing_order+0x98>
jmp    11a6 <move_all_zeros_to_end_without_changing_order+0xa6>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1165 <move_all_zeros_to_end_without_changing_order+0x65>
jmp    11ab <move_all_zeros_to_end_without_changing_order+0xab>
mov    -0x14(%rbp),%ecx
xor    %eax,%eax
cmp    -0xc(%rbp),%ecx
mov    %al,-0x1b(%rbp)
jge    11d0 <move_all_zeros_to_end_without_changing_order+0xd0>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
setne  %al
xor    $0xff,%al
mov    %al,-0x1b(%rbp)
mov    -0x1b(%rbp),%al
test   $0x1,%al
jne    11e0 <move_all_zeros_to_end_without_changing_order+0xe0>
jmp    11ee <move_all_zeros_to_end_without_changing_order+0xee>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    11ab <move_all_zeros_to_end_without_changing_order+0xab>
mov    -0x10(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1257 <move_all_zeros_to_end_without_changing_order+0x157>
mov    -0x14(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1257 <move_all_zeros_to_end_without_changing_order+0x157>
mov    -0x14(%rbp),%eax
cmp    -0x10(%rbp),%eax
jle    1249 <move_all_zeros_to_end_without_changing_order+0x149>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%edx
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1252 <move_all_zeros_to_end_without_changing_order+0x152>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1257 <move_all_zeros_to_end_without_changing_order+0x157>
jmp    1133 <move_all_zeros_to_end_without_changing_order+0x33>
pop    %rbp
ret

x86 assembly (clang, -O2):
<move_all_zeros_to_end_without_changing_order>:
push   %rbx
test   %rdi,%rdi
je     11f5 <move_all_zeros_to_end_without_changing_order+0xf5>
test   %esi,%esi
jle    11f5 <move_all_zeros_to_end_without_changing_order+0xf5>
mov    %esi,%r10d
lea    -0x1(%r10),%r8
xor    %edx,%edx
xor    %eax,%eax
nopl   (%rax)
cmp    %esi,%edx
jge    1170 <move_all_zeros_to_end_without_changing_order+0x70>
movslq %edx,%rdx
cmpl   $0x0,(%rdi,%rdx,4)
je     1179 <move_all_zeros_to_end_without_changing_order+0x79>
add    $0x1,%rdx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
cmp    %rdx,%r10
je     1182 <move_all_zeros_to_end_without_changing_order+0x82>
lea    0x1(%rdx),%rcx
cmpl   $0x0,(%rdi,%rdx,4)
mov    %rcx,%rdx
jne    1140 <move_all_zeros_to_end_without_changing_order+0x40>
add    $0xffffffffffffffff,%rcx
cmp    %r10,%rcx
setl   %r9b
mov    %rcx,%rdx
cmp    %esi,%eax
jl     1190 <move_all_zeros_to_end_without_changing_order+0x90>
jmp    11e0 <move_all_zeros_to_end_without_changing_order+0xe0>
cs nopw 0x0(%rax,%rax,1)
xor    %r9d,%r9d
cmp    %esi,%eax
jl     1190 <move_all_zeros_to_end_without_changing_order+0x90>
jmp    11e0 <move_all_zeros_to_end_without_changing_order+0xe0>
mov    $0x1,%r9b
cmp    %esi,%eax
jl     1190 <move_all_zeros_to_end_without_changing_order+0x90>
jmp    11e0 <move_all_zeros_to_end_without_changing_order+0xe0>
setg   %r9b
mov    %esi,%edx
cmp    %esi,%eax
jge    11e0 <move_all_zeros_to_end_without_changing_order+0xe0>
nopl   0x0(%rax)
movslq %eax,%rcx
mov    $0x1,%r11b
cmpl   $0x0,(%rdi,%rcx,4)
mov    %rcx,%rax
jne    11ba <move_all_zeros_to_end_without_changing_order+0xba>
nop
cmp    %rcx,%r8
je     11f5 <move_all_zeros_to_end_without_changing_order+0xf5>
lea    0x1(%rcx),%rax
cmpl   $0x0,0x4(%rdi,%rcx,4)
mov    %rax,%rcx
je     11a0 <move_all_zeros_to_end_without_changing_order+0xa0>
cmp    %r10,%rax
setl   %r11b
and    %r11b,%r9b
cmp    $0x1,%r9b
jne    11e0 <move_all_zeros_to_end_without_changing_order+0xe0>
cmp    %eax,%edx
jge    11ee <move_all_zeros_to_end_without_changing_order+0xee>
movslq %edx,%r11
mov    (%rdi,%r11,4),%r9d
movslq %eax,%rcx
mov    (%rdi,%rcx,4),%ebx
mov    %ebx,(%rdi,%r11,4)
mov    %r9d,(%rdi,%rcx,4)
nopl   0x0(%rax)
cmp    %esi,%edx
jge    11f5 <move_all_zeros_to_end_without_changing_order+0xf5>
cmp    %esi,%eax
jl     1120 <move_all_zeros_to_end_without_changing_order+0x20>
jmp    11f5 <move_all_zeros_to_end_without_changing_order+0xf5>
add    $0x1,%eax
cmp    %esi,%edx
jl     11e4 <move_all_zeros_to_end_without_changing_order+0xe4>
pop    %rbx
ret

LLVM IR (-O0):
define void @move_all_zeros_to_end_without_changing_order(i32* %0, i32 %1) {
%3 = alloca i32*
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
store i32* %0, i32** %3
store i32 %1, i32* %4
%8 = load i32*, i32** %3
%9 = icmp ne i32* %8, null
br i1 %9, label %10, label %13
10: ; preds = %2
%11 = load i32, i32* %4
%12 = icmp sle i32 %11, 0
br i1 %12, label %13, label %14
13: ; preds = %10, %2
br label %97
14: ; preds = %10
store i32 0, i32* %5
store i32 0, i32* %6
br label %15
15: ; preds = %96, %14
%16 = load i32, i32* %5
%17 = load i32, i32* %4
%18 = icmp slt i32 %16, %17
br i1 %18, label %19, label %23
19: ; preds = %15
%20 = load i32, i32* %6
%21 = load i32, i32* %4
%22 = icmp slt i32 %20, %21
br label %23
23: ; preds = %19, %15
%24 = phi i1 [ false, %15 ], [ %22, %19 ]
br i1 %24, label %25, label %97
25: ; preds = %23
br label %26
26: ; preds = %39, %25
%27 = load i32, i32* %5
%28 = load i32, i32* %4
%29 = icmp slt i32 %27, %28
br i1 %29, label %30, label %37
30: ; preds = %26
%31 = load i32*, i32** %3
%32 = load i32, i32* %5
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds i32, i32* %31, i64 %33
%35 = load i32, i32* %34
%36 = icmp ne i32 %35, 0
br label %37
37: ; preds = %30, %26
%38 = phi i1 [ false, %26 ], [ %36, %30 ]
br i1 %38, label %39, label %42
39: ; preds = %37
%40 = load i32, i32* %5
%41 = add nsw i32 %40, 1
store i32 %41, i32* %5
br label %26
42: ; preds = %37
br label %43
43: ; preds = %57, %42
%44 = load i32, i32* %6
%45 = load i32, i32* %4
%46 = icmp slt i32 %44, %45
br i1 %46, label %47, label %55
47: ; preds = %43
%48 = load i32*, i32** %3
%49 = load i32, i32* %6
%50 = sext i32 %49 to i64
%51 = getelementptr inbounds i32, i32* %48, i64 %50
%52 = load i32, i32* %51
%53 = icmp ne i32 %52, 0
%54 = xor i1 %53, true
br label %55
55: ; preds = %47, %43
%56 = phi i1 [ false, %43 ], [ %54, %47 ]
br i1 %56, label %57, label %60
57: ; preds = %55
%58 = load i32, i32* %6
%59 = add nsw i32 %58, 1
store i32 %59, i32* %6
br label %43
60: ; preds = %55
%61 = load i32, i32* %5
%62 = load i32, i32* %4
%63 = icmp slt i32 %61, %62
br i1 %63, label %64, label %96
64: ; preds = %60
%65 = load i32, i32* %6
%66 = load i32, i32* %4
%67 = icmp slt i32 %65, %66
br i1 %67, label %68, label %96
68: ; preds = %64
%69 = load i32, i32* %6
%70 = load i32, i32* %5
%71 = icmp sgt i32 %69, %70
br i1 %71, label %72, label %92
72: ; preds = %68
%73 = load i32*, i32** %3
%74 = load i32, i32* %5
%75 = sext i32 %74 to i64
%76 = getelementptr inbounds i32, i32* %73, i64 %75
%77 = load i32, i32* %76
store i32 %77, i32* %7
%78 = load i32*, i32** %3
%79 = load i32, i32* %6
%80 = sext i32 %79 to i64
%81 = getelementptr inbounds i32, i32* %78, i64 %80
%82 = load i32, i32* %81
%83 = load i32*, i32** %3
%84 = load i32, i32* %5
%85 = sext i32 %84 to i64
%86 = getelementptr inbounds i32, i32* %83, i64 %85
store i32 %82, i32* %86
%87 = load i32, i32* %7
%88 = load i32*, i32** %3
%89 = load i32, i32* %6
%90 = sext i32 %89 to i64
%91 = getelementptr inbounds i32, i32* %88, i64 %90
store i32 %87, i32* %91
br label %95
92: ; preds = %68
%93 = load i32, i32* %6
%94 = add nsw i32 %93, 1
store i32 %94, i32* %6
br label %95
95: ; preds = %92, %72
br label %96
96: ; preds = %95, %64, %60
br label %15
97: ; preds = %13, %23
ret void
}

LLVM IR (-O2):
define void @move_all_zeros_to_end_without_changing_order(i32* %0, i32 %1) {
%3 = icmp eq i32* %0, null
%4 = icmp slt i32 %1, 1
%5 = or i1 %3, %4
br i1 %5, label %74, label %6
6: ; preds = %2
%7 = zext i32 %1 to i64
br label %8
8: ; preds = %6, %69
%9 = phi i32 [ %34, %69 ], [ 0, %6 ]
%10 = phi i32 [ %70, %69 ], [ 0, %6 ]
%11 = icmp slt i32 %9, %1
br i1 %11, label %12, label %33
12: ; preds = %8
%13 = sext i32 %9 to i64
%14 = getelementptr inbounds i32, i32* %0, i64 %13
%15 = load i32, i32* %14
%16 = icmp eq i32 %15, 0
br i1 %16, label %27, label %21
17: ; preds = %21
%18 = getelementptr inbounds i32, i32* %0, i64 %23
%19 = load i32, i32* %18
%20 = icmp eq i32 %19, 0
br i1 %20, label %25, label %21
21: ; preds = %12, %17
%22 = phi i64 [ %23, %17 ], [ %13, %12 ]
%23 = add nsw i64 %22, 1
%24 = icmp eq i64 %23, %7
br i1 %24, label %31, label %17
25: ; preds = %17
%26 = icmp slt i64 %23, %7
br label %27
27: ; preds = %25, %12
%28 = phi i64 [ %13, %12 ], [ %23, %25 ]
%29 = phi i1 [ true, %12 ], [ %26, %25 ]
%30 = trunc i64 %28 to i32
br label %33
31: ; preds = %21
%32 = icmp slt i64 %23, %7
br label %33
33: ; preds = %31, %27, %8
%34 = phi i32 [ %9, %8 ], [ %30, %27 ], [ %1, %31 ]
%35 = phi i1 [ false, %8 ], [ %29, %27 ], [ %32, %31 ]
%36 = icmp slt i32 %10, %1
br i1 %36, label %37, label %69
37: ; preds = %33
%38 = sext i32 %10 to i64
%39 = getelementptr inbounds i32, i32* %0, i64 %38
%40 = load i32, i32* %39
%41 = icmp eq i32 %40, 0
br i1 %41, label %46, label %52
42: ; preds = %46
%43 = getelementptr inbounds i32, i32* %0, i64 %48
%44 = load i32, i32* %43
%45 = icmp eq i32 %44, 0
br i1 %45, label %46, label %50
46: ; preds = %37, %42
%47 = phi i64 [ %48, %42 ], [ %38, %37 ]
%48 = add nsw i64 %47, 1
%49 = icmp eq i64 %48, %7
br i1 %49, label %74, label %42
50: ; preds = %42
%51 = icmp slt i64 %48, %7
br label %52
52: ; preds = %50, %37
%53 = phi i64 [ %48, %50 ], [ %38, %37 ]
%54 = phi i1 [ %51, %50 ], [ true, %37 ]
%55 = trunc i64 %53 to i32
%56 = select i1 %35, i1 %54, i1 false
br i1 %56, label %57, label %69
57: ; preds = %52
%58 = icmp slt i32 %34, %55
br i1 %58, label %59, label %67
59: ; preds = %57
%60 = sext i32 %34 to i64
%61 = getelementptr inbounds i32, i32* %0, i64 %60
%62 = load i32, i32* %61
%63 = shl i64 %53, 32
%64 = ashr exact i64 %63, 32
%65 = getelementptr inbounds i32, i32* %0, i64 %64
%66 = load i32, i32* %65
store i32 %66, i32* %61
store i32 %62, i32* %65
br label %69
67: ; preds = %57
%68 = add nsw i32 %55, 1
br label %69
69: ; preds = %33, %52, %59, %67
%70 = phi i32 [ %55, %59 ], [ %68, %67 ], [ %55, %52 ], [ %10, %33 ]
%71 = icmp slt i32 %34, %1
%72 = icmp slt i32 %70, %1
%73 = select i1 %71, i1 %72, i1 false
br i1 %73, label %8, label %74
74: ; preds = %69, %46, %2
ret void
}