#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int getTam_lista(int *);
void find_delete(int *l, int a) {
  int t;
  int indice_elem;
  int is = 0;
  int Taml = getTam_lista(l);
  for (t = 0; t < Taml; t++) {
    if (l[t] == a) {
      indice_elem = t;
      is = 1;
    }
  }
  if (is == 0) {
  } else {
    Taml--;
    for (t = indice_elem; t < Taml; t++) {
      l[t] = l[t + 1];
    }
    l[Taml] = '\0';
  }
}


x86 assembly (clang, -O0):
<find_delete>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <getTam_lista@plt>
mov    %eax,-0x1c(%rbp)
movl   $0x0,-0x10(%rbp)
mov    -0x10(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    1179 <find_delete+0x69>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0xc(%rbp),%eax
jne    1166 <find_delete+0x56>
mov    -0x10(%rbp),%eax
mov    %eax,-0x14(%rbp)
movl   $0x1,-0x18(%rbp)
jmp    116b <find_delete+0x5b>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1139 <find_delete+0x29>
cmpl   $0x0,-0x18(%rbp)
jne    1188 <find_delete+0x78>
jmp    11db <find_delete+0xcb>
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    11cc <find_delete+0xbc>
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1197 <find_delete+0x87>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<find_delete>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
mov    %esi,%r15d
mov    %rdi,%r14
call   1030 <getTam_lista@plt>
test   %eax,%eax
jle    12a1 <find_delete+0x191>
mov    %eax,%r8d
lea    -0x1(%r8),%rdx
mov    %r8d,%ecx
and    $0x3,%ecx
cmp    $0x3,%rdx
jae    1143 <find_delete+0x33>
xor    %esi,%esi
xor    %edi,%edi
jmp    11a3 <find_delete+0x93>
and    $0xfffffffc,%r8d
xor    %esi,%esi
mov    $0x1,%r9d
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
lea    0x1(%rsi),%ebx
lea    0x2(%rsi),%ebp
lea    0x3(%rsi),%r10d
cmp    %r15d,(%r14,%rsi,4)
cmove  %esi,%edx
cmove  %r9d,%edi
cmp    %r15d,0x4(%r14,%rsi,4)
cmove  %ebx,%edx
cmove  %r9d,%edi
cmp    %r15d,0x8(%r14,%rsi,4)
cmove  %ebp,%edx
cmove  %r9d,%edi
cmp    %r15d,0xc(%r14,%rsi,4)
cmove  %r10d,%edx
cmove  %r9d,%edi
add    $0x4,%rsi
cmp    %r8,%rsi
jne    1160 <find_delete+0x50>
test   %rcx,%rcx
je     11c4 <find_delete+0xb4>
mov    $0x1,%ebx
nopl   (%rax)
cmp    %r15d,(%r14,%rsi,4)
cmove  %esi,%edx
cmove  %ebx,%edi
add    $0x1,%rsi
add    $0xffffffffffffffff,%rcx
jne    11b0 <find_delete+0xa0>
test   %edi,%edi
je     12a1 <find_delete+0x191>
add    $0xffffffff,%eax
cmp    %eax,%edx
jge    1297 <find_delete+0x187>
movslq %edx,%rcx
cltq
mov    %rax,%rdx
sub    %rcx,%rdx
cmp    $0x8,%rdx
jb     1280 <find_delete+0x170>
mov    %rdx,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rsi
mov    %rsi,%rbx
shr    $0x3,%rbx
add    $0x1,%rbx
test   %rsi,%rsi
je     12ac <find_delete+0x19c>
mov    %rbx,%rdi
and    $0xfffffffffffffffe,%rdi
lea    (%r14,%rcx,4),%rsi
add    $0x34,%rsi
xor    %ebp,%ebp
nopl   0x0(%rax)
movups -0x30(%rsi,%rbp,4),%xmm0
movups -0x20(%rsi,%rbp,4),%xmm1
movups -0x10(%rsi,%rbp,4),%xmm2
movups (%rsi,%rbp,4),%xmm3
movups %xmm0,-0x34(%rsi,%rbp,4)
movups %xmm1,-0x24(%rsi,%rbp,4)
movups %xmm2,-0x14(%rsi,%rbp,4)
movups %xmm3,-0x4(%rsi,%rbp,4)
add    $0x10,%rbp
add    $0xfffffffffffffffe,%rdi
jne    1220 <find_delete+0x110>
test   $0x1,%bl
je     1270 <find_delete+0x160>
add    %rcx,%rbp
movups 0x4(%r14,%rbp,4),%xmm0
movups 0x14(%r14,%rbp,4),%xmm1
movups %xmm0,(%r14,%rbp,4)
movups %xmm1,0x10(%r14,%rbp,4)
cmp    %r8,%rdx
je     1299 <find_delete+0x189>
add    %r8,%rcx
nopl   0x0(%rax,%rax,1)
mov    0x4(%r14,%rcx,4),%edx
mov    %edx,(%r14,%rcx,4)
lea    0x1(%rcx),%rdx
mov    %rdx,%rcx
cmp    %rdx,%rax
jne    1280 <find_delete+0x170>
jmp    1299 <find_delete+0x189>
cltq
movl   $0x0,(%r14,%rax,4)
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret
xor    %ebp,%ebp
test   $0x1,%bl
jne    1256 <find_delete+0x146>
jmp    1270 <find_delete+0x160>

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

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