#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*/ free(void **);
void **realloc(void **, unsigned int);
unsigned int valen(void **);
unsigned int valookup(void **, void *);
void **valess(void *argv[], void *item, void (*rmitem)(void *)) {
  unsigned argc = valen(argv);
  unsigned i;
  if ((i = valookup(argv, item)) != -1) {
    unsigned j;
    if (rmitem)
      rmitem(argv[i]);
    for (j = i; j < argc - 1; j++)
      argv[j] = argv[j + 1];
    argv[j] = NULL;
    if (argc > 1)
      argv = realloc(argv, argc * sizeof(void *));
    else
      free(argv);
  }
  return argc > 1 ? argv : NULL;
}


x86 assembly (clang, -O0):
<valess>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x8(%rbp),%rdi
call   1040 <valen@plt>
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
call   1050 <valookup@plt>
mov    %eax,-0x20(%rbp)
cmp    $0xffffffff,%eax
je     1217 <valess+0xd7>
cmpq   $0x0,-0x18(%rbp)
je     1195 <valess+0x55>
mov    -0x18(%rbp),%rax
mov    -0x8(%rbp),%rcx
mov    -0x20(%rbp),%edx
mov    (%rcx,%rdx,8),%rdi
call   *%rax
mov    -0x20(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jae    11d5 <valess+0x95>
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    $0x1,%ecx
mov    %ecx,%ecx
mov    (%rax,%rcx,8),%rdx
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
mov    %rdx,(%rax,%rcx,8)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    119b <valess+0x5b>
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
movq   $0x0,(%rax,%rcx,8)
cmpl   $0x1,-0x1c(%rbp)
jbe    1209 <valess+0xc9>
mov    -0x8(%rbp),%rdi
mov    -0x1c(%rbp),%eax
shl    $0x3,%rax
mov    %eax,%esi
call   1060 <realloc@plt>
mov    %rax,-0x8(%rbp)
jmp    1212 <valess+0xd2>
mov    -0x8(%rbp),%rdi
call   1030 <free@plt>
jmp    1217 <valess+0xd7>
cmpl   $0x1,-0x1c(%rbp)
jbe    122e <valess+0xee>
mov    -0x8(%rbp),%rax
mov    %rax,-0x30(%rbp)
jmp    1239 <valess+0xf9>
xor    %eax,%eax
mov    %rax,-0x30(%rbp)
jmp    1239 <valess+0xf9>
mov    -0x30(%rbp),%rax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<valess>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    %rdx,%r15
mov    %rsi,%rbp
mov    %rdi,%rbx
call   1040 <valen@plt>
mov    %eax,%r14d
mov    %rbx,%rdi
mov    %rbp,%rsi
call   1050 <valookup@plt>
cmp    $0xffffffff,%eax
je     1273 <valess+0x133>
mov    %eax,%r12d
mov    %eax,%ebp
test   %r15,%r15
je     117e <valess+0x3e>
mov    (%rbx,%rbp,8),%rdi
call   *%r15
lea    -0x1(%r14),%eax
cmp    %eax,%r12d
jae    1248 <valess+0x108>
mov    %eax,%eax
mov    %rax,%rcx
sub    %rbp,%rcx
cmp    $0x4,%rcx
jb     1230 <valess+0xf0>
mov    %rcx,%r8
and    $0xfffffffffffffffc,%r8
lea    -0x4(%r8),%rdx
mov    %rdx,%r9
shr    $0x2,%r9
add    $0x1,%r9
test   %rdx,%rdx
je     1286 <valess+0x146>
mov    %r9,%rsi
and    $0xfffffffffffffffe,%rsi
lea    (%rbx,%rbp,8),%rdx
add    $0x38,%rdx
xor    %edi,%edi
nopl   (%rax)
movups -0x30(%rdx,%rdi,8),%xmm0
movups -0x20(%rdx,%rdi,8),%xmm1
movups -0x10(%rdx,%rdi,8),%xmm2
movups (%rdx,%rdi,8),%xmm3
movups %xmm0,-0x38(%rdx,%rdi,8)
movups %xmm1,-0x28(%rdx,%rdi,8)
movups %xmm2,-0x18(%rdx,%rdi,8)
movups %xmm3,-0x8(%rdx,%rdi,8)
add    $0x8,%rdi
add    $0xfffffffffffffffe,%rsi
jne    11d0 <valess+0x90>
test   $0x1,%r9b
je     121d <valess+0xdd>
add    %rbp,%rdi
movups 0x8(%rbx,%rdi,8),%xmm0
movups 0x18(%rbx,%rdi,8),%xmm1
movups %xmm0,(%rbx,%rdi,8)
movups %xmm1,0x10(%rbx,%rdi,8)
cmp    %r8,%rcx
je     1245 <valess+0x105>
add    %r8,%rbp
cs nopw 0x0(%rax,%rax,1)
nop
mov    0x8(%rbx,%rbp,8),%rcx
mov    %rcx,(%rbx,%rbp,8)
lea    0x1(%rbp),%rcx
mov    %rcx,%rbp
cmp    %rcx,%rax
jne    1230 <valess+0xf0>
mov    %rax,%rbp
movq   $0x0,(%rbx,%rbp,8)
cmp    $0x2,%r14d
jb     126b <valess+0x12b>
lea    0x0(,%r14,8),%esi
mov    %rbx,%rdi
call   1060 <realloc@plt>
mov    %rax,%rbx
jmp    1273 <valess+0x133>
mov    %rbx,%rdi
call   1030 <free@plt>
xor    %eax,%eax
cmp    $0x2,%r14d
cmovae %rbx,%rax
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret
xor    %edi,%edi
test   $0x1,%r9b
jne    1207 <valess+0xc7>
jmp    121d <valess+0xdd>

LLVM IR (-O0):
define i8** @valess(i8** %0, i8* %1, void (i8*)* %2) {
%4 = alloca i8**
%5 = alloca i8*
%6 = alloca void (i8*)*
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
store i8** %0, i8*** %4
store i8* %1, i8** %5
store void (i8*)* %2, void (i8*)** %6
%10 = load i8**, i8*** %4
%11 = call i32 @valen(i8** %10)
store i32 %11, i32* %7
%12 = load i8**, i8*** %4
%13 = load i8*, i8** %5
%14 = call i32 @valookup(i8** %12, i8* %13)
store i32 %14, i32* %8
%15 = icmp ne i32 %14, -1
br i1 %15, label %16, label %65
16: ; preds = %3
%17 = load void (i8*)*, void (i8*)** %6
%18 = icmp ne void (i8*)* %17, null
br i1 %18, label %19, label %26
19: ; preds = %16
%20 = load void (i8*)*, void (i8*)** %6
%21 = load i8**, i8*** %4
%22 = load i32, i32* %8
%23 = zext i32 %22 to i64
%24 = getelementptr inbounds i8*, i8** %21, i64 %23
%25 = load i8*, i8** %24
br label %26
26: ; preds = %19, %16
%27 = load i32, i32* %8
store i32 %27, i32* %9
br label %28
28: ; preds = %44, %26
%29 = load i32, i32* %9
%30 = load i32, i32* %7
%31 = sub i32 %30, 1
%32 = icmp ult i32 %29, %31
br i1 %32, label %33, label %47
33: ; preds = %28
%34 = load i8**, i8*** %4
%35 = load i32, i32* %9
%36 = add i32 %35, 1
%37 = zext i32 %36 to i64
%38 = getelementptr inbounds i8*, i8** %34, i64 %37
%39 = load i8*, i8** %38
%40 = load i8**, i8*** %4
%41 = load i32, i32* %9
%42 = zext i32 %41 to i64
%43 = getelementptr inbounds i8*, i8** %40, i64 %42
store i8* %39, i8** %43
br label %44
44: ; preds = %33
%45 = load i32, i32* %9
%46 = add i32 %45, 1
store i32 %46, i32* %9
br label %28
47: ; preds = %28
%48 = load i8**, i8*** %4
%49 = load i32, i32* %9
%50 = zext i32 %49 to i64
%51 = getelementptr inbounds i8*, i8** %48, i64 %50
store i8* null, i8** %51
%52 = load i32, i32* %7
%53 = icmp ugt i32 %52, 1
br i1 %53, label %54, label %61
54: ; preds = %47
%55 = load i8**, i8*** %4
%56 = load i32, i32* %7
%57 = zext i32 %56 to i64
%58 = mul i64 %57, 8
%59 = trunc i64 %58 to i32
%60 = call i8** @realloc(i8** %55, i32 %59)
store i8** %60, i8*** %4
br label %64
61: ; preds = %47
%62 = load i8**, i8*** %4
%63 = call i32 @free(i8** %62)
br label %64
64: ; preds = %61, %54
br label %65
65: ; preds = %64, %3
%66 = load i32, i32* %7
%67 = icmp ugt i32 %66, 1
br i1 %67, label %68, label %70
68: ; preds = %65
%69 = load i8**, i8*** %4
br label %71
70: ; preds = %65
br label %71
71: ; preds = %70, %68
%72 = phi i8** [ %69, %68 ], [ null, %70 ]
ret i8** %72
}

LLVM IR (-O2):
define i8** @valess(i8** %0, i8* %1, void (i8*)* %2) {
%4 = tail call i32 @valen(i8** %0)
%5 = tail call i32 @valookup(i8** %0, i8* %1)
%6 = icmp eq i32 %5, -1
br i1 %6, label %98, label %7
7: ; preds = %3
%8 = icmp eq void (i8*)* %2, null
br i1 %8, label %13, label %9
9: ; preds = %7
%10 = zext i32 %5 to i64
%11 = getelementptr inbounds i8*, i8** %0, i64 %10
%12 = load i8*, i8** %11
tail call void %2(i8* %12)
br label %13
13: ; preds = %9, %7
%14 = add i32 %4, -1
%15 = icmp ult i32 %5, %14
%16 = zext i32 %5 to i64
br i1 %15, label %17, label %89
17: ; preds = %13
%18 = zext i32 %14 to i64
%19 = sub nsw i64 %18, %16
%20 = icmp ult i64 %19, 4
br i1 %20, label %80, label %21
21: ; preds = %17
%22 = and i64 %19, -4
%23 = add nsw i64 %22, %16
%24 = add nsw i64 %22, -4
%25 = lshr exact i64 %24, 2
%26 = add nuw nsw i64 %25, 1
%27 = and i64 %26, 1
%28 = icmp eq i64 %24, 0
br i1 %28, label %62, label %29
29: ; preds = %21
%30 = and i64 %26, 9223372036854775806
br label %31
31: ; preds = %31, %29
%32 = phi i64 [ 0, %29 ], [ %59, %31 ]
%33 = phi i64 [ 0, %29 ], [ %60, %31 ]
%34 = add i64 %32, %16
%35 = add nuw nsw i64 %34, 1
%36 = getelementptr inbounds i8*, i8** %0, i64 %35
%37 = bitcast i8** %36 to <2 x i8*>*
%38 = load <2 x i8*>, <2 x i8*>* %37
%39 = getelementptr inbounds i8*, i8** %36, i64 2
%40 = bitcast i8** %39 to <2 x i8*>*
%41 = load <2 x i8*>, <2 x i8*>* %40
%42 = getelementptr inbounds i8*, i8** %0, i64 %34
%43 = bitcast i8** %42 to <2 x i8*>*
store <2 x i8*> %38, <2 x i8*>* %43
%44 = getelementptr inbounds i8*, i8** %42, i64 2
%45 = bitcast i8** %44 to <2 x i8*>*
store <2 x i8*> %41, <2 x i8*>* %45
%46 = or i64 %32, 4
%47 = add i64 %46, %16
%48 = add nuw nsw i64 %47, 1
%49 = getelementptr inbounds i8*, i8** %0, i64 %48
%50 = bitcast i8** %49 to <2 x i8*>*
%51 = load <2 x i8*>, <2 x i8*>* %50
%52 = getelementptr inbounds i8*, i8** %49, i64 2
%53 = bitcast i8** %52 to <2 x i8*>*
%54 = load <2 x i8*>, <2 x i8*>* %53
%55 = getelementptr inbounds i8*, i8** %0, i64 %47
%56 = bitcast i8** %55 to <2 x i8*>*
store <2 x i8*> %51, <2 x i8*>* %56
%57 = getelementptr inbounds i8*, i8** %55, i64 2
%58 = bitcast i8** %57 to <2 x i8*>*
store <2 x i8*> %54, <2 x i8*>* %58
%59 = add nuw i64 %32, 8
%60 = add i64 %33, 2
%61 = icmp eq i64 %60, %30
br i1 %61, label %62, label %31
62: ; preds = %31, %21
%63 = phi i64 [ 0, %21 ], [ %59, %31 ]
%64 = icmp eq i64 %27, 0
br i1 %64, label %78, label %65
65: ; preds = %62
%66 = add i64 %63, %16
%67 = add nuw nsw i64 %66, 1
%68 = getelementptr inbounds i8*, i8** %0, i64 %67
%69 = bitcast i8** %68 to <2 x i8*>*
%70 = load <2 x i8*>, <2 x i8*>* %69
%71 = getelementptr inbounds i8*, i8** %68, i64 2
%72 = bitcast i8** %71 to <2 x i8*>*
%73 = load <2 x i8*>, <2 x i8*>* %72
%74 = getelementptr inbounds i8*, i8** %0, i64 %66
%75 = bitcast i8** %74 to <2 x i8*>*
store <2 x i8*> %70, <2 x i8*>* %75
%76 = getelementptr inbounds i8*, i8** %74, i64 2
%77 = bitcast i8** %76 to <2 x i8*>*
store <2 x i8*> %73, <2 x i8*>* %77
br label %78
78: ; preds = %62, %65
%79 = icmp eq i64 %19, %22
br i1 %79, label %89, label %80
80: ; preds = %17, %78
%81 = phi i64 [ %16, %17 ], [ %23, %78 ]
br label %82
82: ; preds = %80, %82
%83 = phi i64 [ %84, %82 ], [ %81, %80 ]
%84 = add nuw nsw i64 %83, 1
%85 = getelementptr inbounds i8*, i8** %0, i64 %84
%86 = load i8*, i8** %85
%87 = getelementptr inbounds i8*, i8** %0, i64 %83
store i8* %86, i8** %87
%88 = icmp eq i64 %84, %18
br i1 %88, label %89, label %82
89: ; preds = %82, %78, %13
%90 = phi i64 [ %16, %13 ], [ %18, %78 ], [ %18, %82 ]
%91 = getelementptr inbounds i8*, i8** %0, i64 %90
store i8* null, i8** %91
%92 = icmp ugt i32 %4, 1
br i1 %92, label %93, label %96
93: ; preds = %89
%94 = shl i32 %4, 3
%95 = tail call i8** @realloc(i8** %0, i32 %94)
br label %98
96: ; preds = %89
%97 = tail call i32 @free(i8** %0)
br label %98
98: ; preds = %93, %96, %3
%99 = phi i8** [ %0, %3 ], [ %95, %93 ], [ %0, %96 ]
%100 = icmp ugt i32 %4, 1
%101 = select i1 %100, i8** %99, i8** null
ret i8** %101
}