int removeElement(int a[], int n, int key) {
  int k = 0;
  for (int i = 0; i < n; ++i) {
    if (a[i] != key)
      a[k++] = a[i];
  }
  return k;
}


x86 assembly (clang, -O0):
<removeElement>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    116f <removeElement+0x6f>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x10(%rbp),%eax
je     115c <removeElement+0x5c>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x14(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1161 <removeElement+0x61>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    111c <removeElement+0x1c>
mov    -0x14(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<removeElement>:
test   %esi,%esi
jle    1127 <removeElement+0x27>
mov    %esi,%r8d
cmp    $0x1,%esi
jne    112a <removeElement+0x2a>
xor    %esi,%esi
xor    %eax,%eax
test   $0x1,%r8b
je     1126 <removeElement+0x26>
mov    (%rdi,%rsi,4),%ecx
cmp    %edx,%ecx
je     1126 <removeElement+0x26>
movslq %eax,%rdx
add    $0x1,%eax
mov    %ecx,(%rdi,%rdx,4)
ret
xor    %eax,%eax
ret
mov    %r8d,%r9d
and    $0xfffffffe,%r9d
xor    %esi,%esi
xor    %eax,%eax
jmp    1149 <removeElement+0x49>
nopw   0x0(%rax,%rax,1)
add    $0x2,%rsi
cmp    %rsi,%r9
je     1110 <removeElement+0x10>
mov    (%rdi,%rsi,4),%ecx
cmp    %edx,%ecx
je     115a <removeElement+0x5a>
movslq %eax,%r10
add    $0x1,%eax
mov    %ecx,(%rdi,%r10,4)
mov    0x4(%rdi,%rsi,4),%ecx
cmp    %edx,%ecx
je     1140 <removeElement+0x40>
movslq %eax,%r10
add    $0x1,%eax
mov    %ecx,(%rdi,%r10,4)
jmp    1140 <removeElement+0x40>

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

LLVM IR (-O2):
define i32 @removeElement(i32* nocapture %0, i32 %1, i32 %2) {
%4 = icmp sgt i32 %1, 0
br i1 %4, label %5, label %24
5: ; preds = %3
%6 = zext i32 %1 to i64
%7 = and i64 %6, 1
%8 = icmp eq i32 %1, 1
br i1 %8, label %11, label %9
9: ; preds = %5
%10 = and i64 %6, 4294967294
br label %26
11: ; preds = %47, %5
%12 = phi i32 [ undef, %5 ], [ %48, %47 ]
%13 = phi i64 [ 0, %5 ], [ %49, %47 ]
%14 = phi i32 [ 0, %5 ], [ %48, %47 ]
%15 = icmp eq i64 %7, 0
br i1 %15, label %24, label %16
16: ; preds = %11
%17 = getelementptr inbounds i32, i32* %0, i64 %13
%18 = load i32, i32* %17
%19 = icmp eq i32 %18, %2
br i1 %19, label %24, label %20
20: ; preds = %16
%21 = add nsw i32 %14, 1
%22 = sext i32 %14 to i64
%23 = getelementptr inbounds i32, i32* %0, i64 %22
store i32 %18, i32* %23
br label %24
24: ; preds = %11, %20, %16, %3
%25 = phi i32 [ 0, %3 ], [ %12, %11 ], [ %21, %20 ], [ %14, %16 ]
ret i32 %25
26: ; preds = %47, %9
%27 = phi i64 [ 0, %9 ], [ %49, %47 ]
%28 = phi i32 [ 0, %9 ], [ %48, %47 ]
%29 = phi i64 [ 0, %9 ], [ %50, %47 ]
%30 = getelementptr inbounds i32, i32* %0, i64 %27
%31 = load i32, i32* %30
%32 = icmp eq i32 %31, %2
br i1 %32, label %37, label %33
33: ; preds = %26
%34 = add nsw i32 %28, 1
%35 = sext i32 %28 to i64
%36 = getelementptr inbounds i32, i32* %0, i64 %35
store i32 %31, i32* %36
br label %37
37: ; preds = %26, %33
%38 = phi i32 [ %34, %33 ], [ %28, %26 ]
%39 = or i64 %27, 1
%40 = getelementptr inbounds i32, i32* %0, i64 %39
%41 = load i32, i32* %40
%42 = icmp eq i32 %41, %2
br i1 %42, label %47, label %43
43: ; preds = %37
%44 = add nsw i32 %38, 1
%45 = sext i32 %38 to i64
%46 = getelementptr inbounds i32, i32* %0, i64 %45
store i32 %41, i32* %46
br label %47
47: ; preds = %43, %37
%48 = phi i32 [ %44, %43 ], [ %38, %37 ]
%49 = add nuw nsw i64 %27, 2
%50 = add i64 %29, 2
%51 = icmp eq i64 %50, %10
br i1 %51, label %11, label %26
}