int DeleteElem(int table[], int *size, int element_index) {
  int i, tab[100];
  if (element_index >= *size)
    return 0;
  else {
    for (i = 0; i < element_index; i++)
      tab[i] = table[i];
    for (i = element_index + 1; i < *size; i++)
      tab[i - 1] = table[i];
    for (i = 0; i < *size - 1; i++)
      table[i] = tab[i];
    *size -= 1;
  }
  return 0;
}


x86 assembly (clang, -O0):
<DeleteElem>:
push   %rbp
mov    %rsp,%rbp
sub    $0x130,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    -0x18(%rbp),%rcx
cmp    (%rcx),%eax
jl     1131 <DeleteElem+0x31>
movl   $0x0,-0x4(%rbp)
jmp    11f9 <DeleteElem+0xf9>
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    1168 <DeleteElem+0x68>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%ecx
movslq -0x20(%rbp),%rax
mov    %ecx,-0x1b0(%rbp,%rax,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1138 <DeleteElem+0x38>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
mov    -0x18(%rbp),%rcx
cmp    (%rcx),%eax
jge    11a8 <DeleteElem+0xa8>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%ecx
mov    -0x20(%rbp),%eax
sub    $0x1,%eax
cltq
mov    %ecx,-0x1b0(%rbp,%rax,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1171 <DeleteElem+0x71>
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
mov    -0x18(%rbp),%rcx
mov    (%rcx),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    11e7 <DeleteElem+0xe7>
movslq -0x20(%rbp),%rax
mov    -0x1b0(%rbp,%rax,4),%edx
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    11af <DeleteElem+0xaf>
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
sub    $0x1,%ecx
mov    %ecx,(%rax)
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x130,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<DeleteElem>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
sub    $0x190,%rsp
mov    (%rsi),%ebx
cmp    %edx,%ebx
jle    131f <DeleteElem+0x20f>
mov    %edx,%r12d
mov    %rsi,%r14
mov    %rdi,%r15
test   %edx,%edx
jle    1148 <DeleteElem+0x38>
mov    %r12d,%edx
shl    $0x2,%rdx
mov    %rsp,%rdi
mov    %r15,%rsi
call   1030 <memcpy@plt>
lea    0x1(%r12),%eax
cmp    %ebx,%eax
jge    12f2 <DeleteElem+0x1e2>
movslq %eax,%r8
lea    -0x2(%rbx),%eax
mov    %eax,%r11d
sub    %r12d,%r11d
cmp    $0x7,%r11d
jb     121e <DeleteElem+0x10e>
cmp    %r12d,%eax
jl     121e <DeleteElem+0x10e>
add    $0x1,%r11
mov    %r11,%r9
and    $0xfffffffffffffff8,%r9
lea    -0x8(%r9),%rax
mov    %rax,%r10
shr    $0x3,%r10
add    $0x1,%r10
test   %rax,%rax
je     1331 <DeleteElem+0x221>
mov    %r10,%rsi
and    $0xfffffffffffffffe,%rsi
lea    (%r15,%r8,4),%rdx
add    $0x30,%rdx
lea    0x8(%r12),%eax
mov    %r12d,%ecx
xor    %edi,%edi
lea    (%rcx,%rdi,1),%ebp
movups -0x30(%rdx,%rdi,4),%xmm0
movups -0x20(%rdx,%rdi,4),%xmm1
movslq %ebp,%rbp
movups %xmm0,(%rsp,%rbp,4)
movups %xmm1,0x10(%rsp,%rbp,4)
lea    (%rax,%rdi,1),%ebp
movups -0x10(%rdx,%rdi,4),%xmm0
movups (%rdx,%rdi,4),%xmm1
movslq %ebp,%rbp
movups %xmm0,(%rsp,%rbp,4)
movups %xmm1,0x10(%rsp,%rbp,4)
add    $0x10,%rdi
add    $0xfffffffffffffffe,%rsi
jne    11b0 <DeleteElem+0xa0>
test   $0x1,%r10b
je     120f <DeleteElem+0xff>
lea    (%rdi,%r8,1),%rax
add    %r12d,%edi
movups (%r15,%rax,4),%xmm0
movups 0x10(%r15,%rax,4),%xmm1
movslq %edi,%rax
movups %xmm0,(%rsp,%rax,4)
movups %xmm1,0x10(%rsp,%rax,4)
cmp    %r9,%r11
je     12f2 <DeleteElem+0x1e2>
add    %r9,%r8
add    %r9d,%r12d
mov    %ebx,%eax
sub    %r8d,%eax
mov    %r8d,%edx
not    %edx
add    %ebx,%edx
and    $0x3,%eax
je     126b <DeleteElem+0x15b>
neg    %eax
xor    %esi,%esi
mov    %r8,%rcx
cs nopw 0x0(%rax,%rax,1)
mov    (%r15,%rcx,4),%edi
movslq %r12d,%rbp
mov    %edi,(%rsp,%rbp,4)
mov    %ecx,%r12d
add    $0x1,%rcx
add    $0xffffffffffffffff,%rsi
cmp    %esi,%eax
jne    1240 <DeleteElem+0x130>
not    %esi
add    %r8d,%esi
mov    %esi,%r12d
cmp    $0x3,%edx
jae    1277 <DeleteElem+0x167>
jmp    12f2 <DeleteElem+0x1e2>
mov    %r8,%rcx
cmp    $0x3,%edx
jb     12f2 <DeleteElem+0x1e2>
movabs $0x1fffffff8,%r8
mov    %rcx,%rsi
shl    $0x20,%rsi
movabs $0x100000000,%r9
movabs $0x400000000,%rdi
nopl   0x0(%rax)
mov    (%r15,%rcx,4),%ebp
movslq %r12d,%rax
mov    %ebp,(%rsp,%rax,4)
mov    0x4(%r15,%rcx,4),%eax
mov    %rsi,%rdx
sar    $0x1e,%rdx
mov    %eax,(%rsp,%rdx,1)
mov    0x8(%r15,%rcx,4),%eax
lea    (%rsi,%r9,1),%rdx
sar    $0x1e,%rdx
mov    %eax,(%rsp,%rdx,1)
mov    0xc(%r15,%rcx,4),%eax
lea    (%r8,%rsi,1),%rdx
add    $0x8,%rdx
sar    $0x1e,%rdx
mov    %eax,(%rsp,%rdx,1)
mov    %ecx,%r12d
lea    0x4(%rcx),%rax
add    $0x3,%r12d
add    %rdi,%rsi
mov    %rax,%rcx
cmp    %eax,%ebx
jne    12a0 <DeleteElem+0x190>
cmp    $0x2,%ebx
jl     1319 <DeleteElem+0x209>
xor    %eax,%eax
nopl   0x0(%rax)
mov    (%rsp,%rax,4),%ecx
mov    %ecx,(%r15,%rax,4)
add    $0x1,%rax
movslq (%r14),%rbx
add    $0xffffffffffffffff,%rbx
cmp    %rbx,%rax
jl     1300 <DeleteElem+0x1f0>
jmp    131c <DeleteElem+0x20c>
add    $0xffffffff,%ebx
mov    %ebx,(%r14)
xor    %eax,%eax
add    $0x190,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret
xor    %edi,%edi
test   $0x1,%r10b
jne    11f1 <DeleteElem+0xe1>
jmp    120f <DeleteElem+0xff>

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

LLVM IR (-O2):
define i32 @DeleteElem(i32* nocapture %0, i32* nocapture %1, i32 %2) {
%4 = bitcast i32* %0 to i8*
%5 = alloca [100 x i32]
%6 = bitcast [100 x i32]* %5 to i8*
%7 = load i32, i32* %1
%8 = icmp sgt i32 %7, %2
br i1 %8, label %9, label %165
9: ; preds = %3
%10 = icmp sgt i32 %2, 0
br i1 %10, label %11, label %14
11: ; preds = %9
%12 = zext i32 %2 to i64
%13 = shl nuw nsw i64 %12, 2
br label %14
14: ; preds = %11, %9
%15 = add nsw i32 %2, 1
%16 = icmp slt i32 %15, %7
br i1 %16, label %17, label %121
17: ; preds = %14
%18 = sext i32 %15 to i64
%19 = add i32 %7, -2
%20 = sub i32 %19, %2
%21 = zext i32 %20 to i64
%22 = add nuw nsw i64 %21, 1
%23 = icmp ult i32 %20, 7
%24 = add i32 %7, -2
%25 = icmp slt i32 %24, %2
%26 = select i1 %23, i1 true, i1 %25
br i1 %26, label %94, label %27
27: ; preds = %17
%28 = and i64 %22, 8589934584
%29 = add nsw i64 %28, %18
%30 = trunc i64 %28 to i32
%31 = add i32 %30, %2
%32 = add nsw i64 %28, -8
%33 = lshr exact i64 %32, 3
%34 = add nuw nsw i64 %33, 1
%35 = and i64 %34, 1
%36 = icmp eq i64 %32, 0
br i1 %36, label %74, label %37
37: ; preds = %27
%38 = and i64 %34, 4611686018427387902
br label %39
39: ; preds = %39, %37
%40 = phi i64 [ 0, %37 ], [ %71, %39 ]
%41 = phi i64 [ 0, %37 ], [ %72, %39 ]
%42 = add i64 %40, %18
%43 = trunc i64 %40 to i32
%44 = add i32 %43, %2
%45 = getelementptr inbounds i32, i32* %0, i64 %42
%46 = bitcast i32* %45 to <4 x i32>*
%47 = load <4 x i32>, <4 x i32>* %46
%48 = getelementptr inbounds i32, i32* %45, i64 4
%49 = bitcast i32* %48 to <4 x i32>*
%50 = load <4 x i32>, <4 x i32>* %49
%51 = sext i32 %44 to i64
%52 = getelementptr inbounds [100 x i32], [100 x i32]* %5, i64 0, i64 %51
%53 = bitcast i32* %52 to <4 x i32>*
store <4 x i32> %47, <4 x i32>* %53
%54 = getelementptr inbounds i32, i32* %52, i64 4
%55 = bitcast i32* %54 to <4 x i32>*
store <4 x i32> %50, <4 x i32>* %55
%56 = or i64 %40, 8
%57 = add i64 %56, %18
%58 = trunc i64 %56 to i32
%59 = add i32 %58, %2
%60 = getelementptr inbounds i32, i32* %0, i64 %57
%61 = bitcast i32* %60 to <4 x i32>*
%62 = load <4 x i32>, <4 x i32>* %61
%63 = getelementptr inbounds i32, i32* %60, i64 4
%64 = bitcast i32* %63 to <4 x i32>*
%65 = load <4 x i32>, <4 x i32>* %64
%66 = sext i32 %59 to i64
%67 = getelementptr inbounds [100 x i32], [100 x i32]* %5, i64 0, i64 %66
%68 = bitcast i32* %67 to <4 x i32>*
store <4 x i32> %62, <4 x i32>* %68
%69 = getelementptr inbounds i32, i32* %67, i64 4
%70 = bitcast i32* %69 to <4 x i32>*
store <4 x i32> %65, <4 x i32>* %70
%71 = add nuw i64 %40, 16
%72 = add i64 %41, 2
%73 = icmp eq i64 %72, %38
br i1 %73, label %74, label %39
74: ; preds = %39, %27
%75 = phi i64 [ 0, %27 ], [ %71, %39 ]
%76 = icmp eq i64 %35, 0
br i1 %76, label %92, label %77
77: ; preds = %74
%78 = add i64 %75, %18
%79 = trunc i64 %75 to i32
%80 = add i32 %79, %2
%81 = getelementptr inbounds i32, i32* %0, i64 %78
%82 = bitcast i32* %81 to <4 x i32>*
%83 = load <4 x i32>, <4 x i32>* %82
%84 = getelementptr inbounds i32, i32* %81, i64 4
%85 = bitcast i32* %84 to <4 x i32>*
%86 = load <4 x i32>, <4 x i32>* %85
%87 = sext i32 %80 to i64
%88 = getelementptr inbounds [100 x i32], [100 x i32]* %5, i64 0, i64 %87
%89 = bitcast i32* %88 to <4 x i32>*
store <4 x i32> %83, <4 x i32>* %89
%90 = getelementptr inbounds i32, i32* %88, i64 4
%91 = bitcast i32* %90 to <4 x i32>*
store <4 x i32> %86, <4 x i32>* %91
br label %92
92: ; preds = %74, %77
%93 = icmp eq i64 %22, %28
br i1 %93, label %121, label %94
94: ; preds = %17, %92
%95 = phi i64 [ %18, %17 ], [ %29, %92 ]
%96 = phi i32 [ %2, %17 ], [ %31, %92 ]
%97 = trunc i64 %95 to i32
%98 = sub i32 %7, %97
%99 = xor i32 %97, -1
%100 = add i32 %7, %99
%101 = and i32 %98, 3
%102 = icmp eq i32 %101, 0
br i1 %102, label %117, label %103
103: ; preds = %94, %103
%104 = phi i64 [ %111, %103 ], [ %95, %94 ]
%105 = phi i32 [ %112, %103 ], [ %96, %94 ]
%106 = phi i32 [ %113, %103 ], [ 0, %94 ]
%107 = getelementptr inbounds i32, i32* %0, i64 %104
%108 = load i32, i32* %107
%109 = sext i32 %105 to i64
%110 = getelementptr inbounds [100 x i32], [100 x i32]* %5, i64 0, i64 %109
store i32 %108, i32* %110
%111 = add nsw i64 %104, 1
%112 = trunc i64 %104 to i32
%113 = add i32 %106, 1
%114 = icmp eq i32 %113, %101
br i1 %114, label %115, label %103
115: ; preds = %103
%116 = trunc i64 %104 to i32
br label %117
117: ; preds = %115, %94
%118 = phi i64 [ %95, %94 ], [ %111, %115 ]
%119 = phi i32 [ %96, %94 ], [ %116, %115 ]
%120 = icmp ult i32 %100, 3
br i1 %120, label %121, label %124
121: ; preds = %117, %124, %92, %14
%122 = add nsw i32 %7, -1
%123 = icmp sgt i32 %7, 1
br i1 %123, label %153, label %163
124: ; preds = %117, %124
%125 = phi i64 [ %149, %124 ], [ %118, %117 ]
%126 = phi i32 [ %150, %124 ], [ %119, %117 ]
%127 = getelementptr inbounds i32, i32* %0, i64 %125
%128 = load i32, i32* %127
%129 = sext i32 %126 to i64
%130 = getelementptr inbounds [100 x i32], [100 x i32]* %5, i64 0, i64 %129
store i32 %128, i32* %130
%131 = add nsw i64 %125, 1
%132 = getelementptr inbounds i32, i32* %0, i64 %131
%133 = load i32, i32* %132
%134 = shl i64 %125, 32
%135 = ashr exact i64 %134, 32
%136 = getelementptr inbounds [100 x i32], [100 x i32]* %5, i64 0, i64 %135
store i32 %133, i32* %136
%137 = add nsw i64 %125, 2
%138 = getelementptr inbounds i32, i32* %0, i64 %137
%139 = load i32, i32* %138
%140 = shl i64 %131, 32
%141 = ashr exact i64 %140, 32
%142 = getelementptr inbounds [100 x i32], [100 x i32]* %5, i64 0, i64 %141
store i32 %139, i32* %142
%143 = add nsw i64 %125, 3
%144 = getelementptr inbounds i32, i32* %0, i64 %143
%145 = load i32, i32* %144
%146 = shl i64 %137, 32
%147 = ashr exact i64 %146, 32
%148 = getelementptr inbounds [100 x i32], [100 x i32]* %5, i64 0, i64 %147
store i32 %145, i32* %148
%149 = add nsw i64 %125, 4
%150 = trunc i64 %143 to i32
%151 = trunc i64 %149 to i32
%152 = icmp eq i32 %7, %151
br i1 %152, label %121, label %124
153: ; preds = %121, %153
%154 = phi i64 [ %158, %153 ], [ 0, %121 ]
%155 = getelementptr inbounds [100 x i32], [100 x i32]* %5, i64 0, i64 %154
%156 = load i32, i32* %155
%157 = getelementptr inbounds i32, i32* %0, i64 %154
store i32 %156, i32* %157
%158 = add nuw nsw i64 %154, 1
%159 = load i32, i32* %1
%160 = add nsw i32 %159, -1
%161 = sext i32 %160 to i64
%162 = icmp slt i64 %158, %161
br i1 %162, label %153, label %163
163: ; preds = %153, %121
%164 = phi i32 [ %122, %121 ], [ %160, %153 ]
store i32 %164, i32* %1
br label %165
165: ; preds = %3, %163
ret i32 0
}