#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 /*<<< orphan*/ hashmap_key_is_in_vector(char const **, size_t,
                                            char const *);
scalar_t__ malloc(size_t);
const char **hashmap_get_update_key_vector(const char **vec1, size_t vec1_size,
                                           const char **vec2, size_t vec2_size,
                                           size_t *res_size) {
  const char **res;
  size_t i, j;
  *res_size = vec2_size;
  res = (const char **)malloc(*res_size * sizeof(char *));
  if (res == NULL)
    return NULL;
  j = 0;
  for (i = 0; i < vec2_size; i++) {
    if (!hashmap_key_is_in_vector(vec1, vec1_size, vec2[i]))
      res[j++] = vec2[i];
  }
  *res_size = j;
  return res;
}


x86 assembly (clang, -O0):
<hashmap_get_update_key_vector>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8,-0x30(%rbp)
mov    -0x28(%rbp),%rcx
mov    -0x30(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x30(%rbp),%rax
mov    (%rax),%rdi
shl    $0x3,%rdi
call   1030 <malloc@plt>
mov    %rax,-0x38(%rbp)
cmpq   $0x0,-0x38(%rbp)
jne    1173 <hashmap_get_update_key_vector+0x53>
movq   $0x0,-0x8(%rbp)
jmp    11ff <hashmap_get_update_key_vector+0xdf>
movq   $0x0,-0x48(%rbp)
movq   $0x0,-0x40(%rbp)
mov    -0x40(%rbp),%rax
cmp    -0x28(%rbp),%rax
jae    11ec <hashmap_get_update_key_vector+0xcc>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    -0x20(%rbp),%rax
mov    -0x40(%rbp),%rcx
mov    (%rax,%rcx,8),%rdx
call   1040 <hashmap_key_is_in_vector@plt>
cmp    $0x0,%eax
jne    11d6 <hashmap_get_update_key_vector+0xb6>
mov    -0x20(%rbp),%rax
mov    -0x40(%rbp),%rcx
mov    (%rax,%rcx,8),%rdx
mov    -0x38(%rbp),%rax
mov    -0x48(%rbp),%rcx
mov    %rcx,%rsi
add    $0x1,%rsi
mov    %rsi,-0x48(%rbp)
mov    %rdx,(%rax,%rcx,8)
jmp    11db <hashmap_get_update_key_vector+0xbb>
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
jmp    1183 <hashmap_get_update_key_vector+0x63>
mov    -0x48(%rbp),%rcx
mov    -0x30(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x38(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<hashmap_get_update_key_vector>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %r8,%r14
mov    %rcx,%r12
mov    %rdx,%rbx
mov    %rsi,%r13
mov    %rdi,%rbp
mov    %rcx,(%r8)
lea    0x0(,%rcx,8),%rdi
call   1030 <malloc@plt>
test   %rax,%rax
je     119f <hashmap_get_update_key_vector+0x7f>
mov    %r14,0x10(%rsp)
test   %r12,%r12
mov    %rax,0x8(%rsp)
je     11a3 <hashmap_get_update_key_vector+0x83>
xor    %r14d,%r14d
xor    %r15d,%r15d
jmp    1179 <hashmap_get_update_key_vector+0x59>
nopl   0x0(%rax)
add    $0x1,%r15
cmp    %r15,%r12
je     11a6 <hashmap_get_update_key_vector+0x86>
mov    (%rbx,%r15,8),%rdx
mov    %rbp,%rdi
mov    %r13,%rsi
call   1040 <hashmap_key_is_in_vector@plt>
test   %eax,%eax
jne    1170 <hashmap_get_update_key_vector+0x50>
mov    (%rbx,%r15,8),%rax
mov    0x8(%rsp),%rcx
mov    %rax,(%rcx,%r14,8)
add    $0x1,%r14
jmp    1170 <hashmap_get_update_key_vector+0x50>
xor    %eax,%eax
jmp    11b3 <hashmap_get_update_key_vector+0x93>
xor    %r14d,%r14d
mov    0x10(%rsp),%rax
mov    %r14,(%rax)
mov    0x8(%rsp),%rax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i8** @hashmap_get_update_key_vector(i8** %0, i64 %1, i8** nocapture %2, i64 %3, i64* nocapture writeonly %4) {
store i64 %3, i64* %4
%6 = shl i64 %3, 3
%7 = tail call i64 @malloc(i64 %6)
%8 = inttoptr i64 %7 to i8**
%9 = icmp eq i64 %7, 0
br i1 %9, label %29, label %10
10: ; preds = %5
%11 = icmp eq i64 %3, 0
br i1 %11, label %27, label %12
12: ; preds = %10, %23
%13 = phi i64 [ %24, %23 ], [ 0, %10 ]
%14 = phi i64 [ %25, %23 ], [ 0, %10 ]
%15 = getelementptr inbounds i8*, i8** %2, i64 %14
%16 = load i8*, i8** %15
%17 = tail call i32 @hashmap_key_is_in_vector(i8** %0, i64 %1, i8* %16)
%18 = icmp eq i32 %17, 0
br i1 %18, label %19, label %23
19: ; preds = %12
%20 = load i8*, i8** %15
%21 = add i64 %13, 1
%22 = getelementptr inbounds i8*, i8** %8, i64 %13
store i8* %20, i8** %22
br label %23
23: ; preds = %12, %19
%24 = phi i64 [ %13, %12 ], [ %21, %19 ]
%25 = add nuw i64 %14, 1
%26 = icmp eq i64 %25, %3
br i1 %26, label %27, label %12
27: ; preds = %23, %10
%28 = phi i64 [ 0, %10 ], [ %24, %23 ]
store i64 %28, i64* %4
br label %29
29: ; preds = %5, %27
%30 = phi i8** [ %8, %27 ], [ null, %5 ]
ret i8** %30
}