int procuraTodos(int *v, int N, int x, int *posicoes, int *nPosicoes) {
  for (int i = 0; i < N; ++i) {
    if (v[i] == x) {
      posicoes[(*nPosicoes)++] = i;
    }
  }
  return (*nPosicoes) != 0;
}


x86 assembly (clang, -O0):
<procuraTodos>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
mov    %r8,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    116a <procuraTodos+0x6a>
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x10(%rbp),%eax
jne    1157 <procuraTodos+0x57>
mov    -0x24(%rbp),%edx
mov    -0x18(%rbp),%rax
mov    -0x20(%rbp),%rsi
mov    (%rsi),%ecx
mov    %ecx,%edi
add    $0x1,%edi
mov    %edi,(%rsi)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
jmp    115c <procuraTodos+0x5c>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    111d <procuraTodos+0x1d>
mov    -0x20(%rbp),%rax
cmpl   $0x0,(%rax)
setne  %al
and    $0x1,%al
movzbl %al,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<procuraTodos>:
test   %esi,%esi
jle    1125 <procuraTodos+0x25>
mov    %esi,%r9d
cmp    $0x1,%esi
jne    112f <procuraTodos+0x2f>
xor    %eax,%eax
test   $0x1,%r9b
je     1125 <procuraTodos+0x25>
cmp    %edx,(%rdi,%rax,4)
jne    1125 <procuraTodos+0x25>
movslq (%r8),%rdx
lea    0x1(%rdx),%esi
mov    %esi,(%r8)
mov    %eax,(%rcx,%rdx,4)
xor    %eax,%eax
cmpl   $0x0,(%r8)
setne  %al
ret
mov    %r9d,%r10d
and    $0xfffffffe,%r10d
xor    %eax,%eax
jmp    1149 <procuraTodos+0x49>
nopw   0x0(%rax,%rax,1)
add    $0x2,%rax
cmp    %rax,%r10
je     110e <procuraTodos+0xe>
cmp    %edx,(%rdi,%rax,4)
jne    115c <procuraTodos+0x5c>
movslq (%r8),%r11
lea    0x1(%r11),%esi
mov    %esi,(%r8)
mov    %eax,(%rcx,%r11,4)
cmp    %edx,0x4(%rdi,%rax,4)
jne    1140 <procuraTodos+0x40>
movslq (%r8),%r11
lea    0x1(%r11),%esi
mov    %esi,(%r8)
lea    0x1(%rax),%esi
mov    %esi,(%rcx,%r11,4)
jmp    1140 <procuraTodos+0x40>

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

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