#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*/ EXIT_FAILURE;
int /*<<< orphan*/ exit(int /*<<< orphan*/);
int /*<<< orphan*/ nocc_fatal(char *, int, void **, int, int);
void da_delitem(int *cur, int *max, void ***array, int idx) {
  if (idx >= *cur) {
    nocc_fatal("item at index %d in array at %p (%d,%d) does not exist!", idx,
               *array, *cur, *max);
    exit(EXIT_FAILURE);
  }
  if (idx == (*cur - 1)) {
    *cur = *cur - 1;
  } else {
    void **walk;
    int i = (*cur - idx) - 1;
    for (walk = (*array) + idx; i > 0; walk++, i--) {
      walk[0] = walk[1];
    }
    *cur = *cur - 1;
  }
  return;
}


x86 assembly (clang, -O0):
<da_delitem>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    -0x8(%rbp),%rcx
cmp    (%rcx),%eax
jl     1177 <da_delitem+0x57>
mov    -0x1c(%rbp),%esi
mov    -0x18(%rbp),%rax
mov    (%rax),%rdx
mov    -0x8(%rbp),%rax
mov    (%rax),%ecx
mov    -0x10(%rbp),%rax
mov    (%rax),%r8d
lea    0xe9c(%rip),%rdi
call   1030 <nocc_fatal@plt>
mov    0x2e70(%rip),%rax
mov    (%rax),%edi
call   1040 <exit@plt>
mov    -0x1c(%rbp),%eax
mov    -0x8(%rbp),%rcx
mov    (%rcx),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jne    119f <da_delitem+0x7f>
mov    -0x8(%rbp),%rax
mov    (%rax),%ecx
sub    $0x1,%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,(%rax)
jmp    1206 <da_delitem+0xe6>
mov    -0x8(%rbp),%rax
mov    (%rax),%eax
sub    -0x1c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movslq -0x1c(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x28(%rbp)
cmpl   $0x0,-0x2c(%rbp)
jle    11f7 <da_delitem+0xd7>
mov    -0x28(%rbp),%rax
mov    0x8(%rax),%rcx
mov    -0x28(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x28(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x28(%rbp)
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
jmp    11c4 <da_delitem+0xa4>
mov    -0x8(%rbp),%rax
mov    (%rax),%ecx
sub    $0x1,%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,(%rax)
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<da_delitem>:
push   %rbp
push   %r14
push   %rbx
mov    %ecx,%eax
mov    (%rdi),%ecx
mov    %ecx,%r8d
sub    %eax,%r8d
jle    125b <da_delitem+0x13b>
lea    -0x1(%rcx),%r14d
cmp    %eax,%r14d
je     1253 <da_delitem+0x133>
mov    %eax,%esi
not    %esi
add    %esi,%ecx
test   %ecx,%ecx
jle    1253 <da_delitem+0x133>
mov    (%rdx),%r9
movslq %eax,%r11
lea    (%r9,%r11,8),%rax
add    $0xfffffffe,%r8d
cmp    $0x3,%r8d
jb     1238 <da_delitem+0x118>
add    $0x1,%r8
mov    %r8,%r10
and    $0xfffffffffffffffc,%r10
lea    -0x4(%r10),%rsi
mov    %rsi,%rbx
shr    $0x2,%rbx
add    $0x1,%rbx
mov    %ebx,%edx
and    $0x3,%edx
cmp    $0xc,%rsi
jae    1190 <da_delitem+0x70>
xor    %esi,%esi
jmp    11fa <da_delitem+0xda>
and    $0xfffffffffffffffc,%rbx
lea    (%r9,%r11,8),%rbp
add    $0x78,%rbp
xor    %esi,%esi
xchg   %ax,%ax
movups -0x70(%rbp,%rsi,8),%xmm0
movups -0x60(%rbp,%rsi,8),%xmm1
movups -0x50(%rbp,%rsi,8),%xmm2
movups -0x40(%rbp,%rsi,8),%xmm3
movups %xmm0,-0x78(%rbp,%rsi,8)
movups %xmm1,-0x68(%rbp,%rsi,8)
movups %xmm2,-0x58(%rbp,%rsi,8)
movups %xmm3,-0x48(%rbp,%rsi,8)
movups -0x30(%rbp,%rsi,8),%xmm0
movups -0x20(%rbp,%rsi,8),%xmm1
movups %xmm0,-0x38(%rbp,%rsi,8)
movups %xmm1,-0x28(%rbp,%rsi,8)
movups -0x10(%rbp,%rsi,8),%xmm0
movups 0x0(%rbp,%rsi,8),%xmm1
movups %xmm0,-0x18(%rbp,%rsi,8)
movups %xmm1,-0x8(%rbp,%rsi,8)
add    $0x10,%rsi
add    $0xfffffffffffffffc,%rbx
jne    11a0 <da_delitem+0x80>
test   %rdx,%rdx
je     122c <da_delitem+0x10c>
add    %r11,%rsi
lea    (%r9,%rsi,8),%rsi
add    $0x18,%rsi
shl    $0x5,%rdx
xor    %ebp,%ebp
movups -0x10(%rsi,%rbp,1),%xmm0
movups (%rsi,%rbp,1),%xmm1
movups %xmm0,-0x18(%rsi,%rbp,1)
movups %xmm1,-0x8(%rsi,%rbp,1)
add    $0x20,%rbp
cmp    %rbp,%rdx
jne    1210 <da_delitem+0xf0>
cmp    %r10,%r8
je     1253 <da_delitem+0x133>
sub    %r10d,%ecx
lea    (%rax,%r10,8),%rax
add    $0x1,%ecx
add    $0x8,%rax
nop
mov    (%rax),%rdx
mov    %rdx,-0x8(%rax)
add    $0xffffffff,%ecx
add    $0x8,%rax
cmp    $0x1,%ecx
ja     1240 <da_delitem+0x120>
mov    %r14d,(%rdi)
pop    %rbx
pop    %r14
pop    %rbp
ret
mov    (%rdx),%rdx
mov    (%rsi),%r8d
lea    0xd98(%rip),%rdi
mov    %eax,%esi
call   1030 <nocc_fatal@plt>
mov    0x2d6a(%rip),%rax
mov    (%rax),%edi
call   1040 <exit@plt>

LLVM IR (-O0):
@.str = [56 x i8] c"item at index %d in array at %p (%d,%d) does not exist!\00"
@EXIT_FAILURE = global i32 0
define void @da_delitem(i32* %0, i32* %1, i8*** %2, i32 %3) {
%5 = alloca i32*
%6 = alloca i32*
%7 = alloca i8***
%8 = alloca i32
%9 = alloca i8**
%10 = alloca i32
store i32* %0, i32** %5
store i32* %1, i32** %6
store i8*** %2, i8**** %7
store i32 %3, i32* %8
%11 = load i32, i32* %8
%12 = load i32*, i32** %5
%13 = load i32, i32* %12
%14 = icmp sge i32 %11, %13
br i1 %14, label %15, label %26
15: ; preds = %4
%16 = load i32, i32* %8
%17 = load i8***, i8**** %7
%18 = load i8**, i8*** %17
%19 = load i32*, i32** %5
%20 = load i32, i32* %19
%21 = load i32*, i32** %6
%22 = load i32, i32* %21
%23 = call i32 @nocc_fatal(i8* getelementptr inbounds ([56 x i8], [56 x i8]* @.str, i64 0, i64 0), i32 %16, i8** %18, i32 %20, i32 %22)
%24 = load i32, i32* @EXIT_FAILURE
%25 = call i32 @exit(i32 %24)
unreachable
26: ; preds = %4
%27 = load i32, i32* %8
%28 = load i32*, i32** %5
%29 = load i32, i32* %28
%30 = sub nsw i32 %29, 1
%31 = icmp eq i32 %27, %30
br i1 %31, label %32, label %37
32: ; preds = %26
%33 = load i32*, i32** %5
%34 = load i32, i32* %33
%35 = sub nsw i32 %34, 1
%36 = load i32*, i32** %5
store i32 %35, i32* %36
br label %67
37: ; preds = %26
%38 = load i32*, i32** %5
%39 = load i32, i32* %38
%40 = load i32, i32* %8
%41 = sub nsw i32 %39, %40
%42 = sub nsw i32 %41, 1
store i32 %42, i32* %10
%43 = load i8***, i8**** %7
%44 = load i8**, i8*** %43
%45 = load i32, i32* %8
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds i8*, i8** %44, i64 %46
store i8** %47, i8*** %9
br label %48
48: ; preds = %57, %37
%49 = load i32, i32* %10
%50 = icmp sgt i32 %49, 0
br i1 %50, label %51, label %62
51: ; preds = %48
%52 = load i8**, i8*** %9
%53 = getelementptr inbounds i8*, i8** %52, i64 1
%54 = load i8*, i8** %53
%55 = load i8**, i8*** %9
%56 = getelementptr inbounds i8*, i8** %55, i64 0
store i8* %54, i8** %56
br label %57
57: ; preds = %51
%58 = load i8**, i8*** %9
%59 = getelementptr inbounds i8*, i8** %58, i32 1
store i8** %59, i8*** %9
%60 = load i32, i32* %10
%61 = add nsw i32 %60, -1
store i32 %61, i32* %10
br label %48
62: ; preds = %48
%63 = load i32*, i32** %5
%64 = load i32, i32* %63
%65 = sub nsw i32 %64, 1
%66 = load i32*, i32** %5
store i32 %65, i32* %66
br label %67
67: ; preds = %62, %32
ret void
}

LLVM IR (-O2):
@.str = [56 x i8] c"item at index %d in array at %p (%d,%d) does not exist!\00"
@EXIT_FAILURE = global i32 0
define void @da_delitem(i32* nocapture %0, i32* nocapture %1, i8*** nocapture %2, i32 %3) {
%5 = load i32, i32* %0
%6 = icmp sgt i32 %5, %3
br i1 %6, label %13, label %7
7: ; preds = %4
%8 = load i8**, i8*** %2
%9 = load i32, i32* %1
%10 = tail call i32 @nocc_fatal(i8* getelementptr inbounds ([56 x i8], [56 x i8]* @.str, i64 0, i64 0), i32 %3, i8** %8, i32 %5, i32 %9)
%11 = load i32, i32* @EXIT_FAILURE
%12 = tail call i32 @exit(i32 %11)
unreachable
13: ; preds = %4
%14 = add nsw i32 %5, -1
%15 = icmp eq i32 %14, %3
br i1 %15, label %121, label %16
16: ; preds = %13
%17 = xor i32 %3, -1
%18 = add i32 %5, %17
%19 = icmp sgt i32 %18, 0
br i1 %19, label %20, label %121
20: ; preds = %16
%21 = load i8**, i8*** %2
%22 = sext i32 %3 to i64
%23 = getelementptr i8*, i8** %21, i64 %22
%24 = add i32 %5, -2
%25 = sub i32 %24, %3
%26 = zext i32 %25 to i64
%27 = add nuw nsw i64 %26, 1
%28 = icmp ult i32 %25, 3
br i1 %28, label %111, label %29
29: ; preds = %20
%30 = and i64 %27, 8589934588
%31 = trunc i64 %30 to i32
%32 = sub i32 %18, %31
%33 = getelementptr i8*, i8** %23, i64 %30
%34 = add nsw i64 %30, -4
%35 = lshr exact i64 %34, 2
%36 = add nuw nsw i64 %35, 1
%37 = and i64 %36, 3
%38 = icmp ult i64 %34, 12
br i1 %38, label %90, label %39
39: ; preds = %29
%40 = and i64 %36, 9223372036854775804
br label %41
41: ; preds = %41, %39
%42 = phi i64 [ 0, %39 ], [ %87, %41 ]
%43 = phi i64 [ 0, %39 ], [ %88, %41 ]
%44 = getelementptr i8*, i8** %23, i64 %42
%45 = getelementptr inbounds i8*, i8** %44, i64 1
%46 = bitcast i8** %45 to <2 x i8*>*
%47 = load <2 x i8*>, <2 x i8*>* %46
%48 = getelementptr inbounds i8*, i8** %45, i64 2
%49 = bitcast i8** %48 to <2 x i8*>*
%50 = load <2 x i8*>, <2 x i8*>* %49
%51 = bitcast i8** %44 to <2 x i8*>*
store <2 x i8*> %47, <2 x i8*>* %51
%52 = getelementptr i8*, i8** %44, i64 2
%53 = bitcast i8** %52 to <2 x i8*>*
store <2 x i8*> %50, <2 x i8*>* %53
%54 = or i64 %42, 4
%55 = getelementptr i8*, i8** %23, i64 %54
%56 = getelementptr inbounds i8*, i8** %55, i64 1
%57 = bitcast i8** %56 to <2 x i8*>*
%58 = load <2 x i8*>, <2 x i8*>* %57
%59 = getelementptr inbounds i8*, i8** %56, i64 2
%60 = bitcast i8** %59 to <2 x i8*>*
%61 = load <2 x i8*>, <2 x i8*>* %60
%62 = bitcast i8** %55 to <2 x i8*>*
store <2 x i8*> %58, <2 x i8*>* %62
%63 = getelementptr i8*, i8** %55, i64 2
%64 = bitcast i8** %63 to <2 x i8*>*
store <2 x i8*> %61, <2 x i8*>* %64
%65 = or i64 %42, 8
%66 = getelementptr i8*, i8** %23, i64 %65
%67 = getelementptr inbounds i8*, i8** %66, i64 1
%68 = bitcast i8** %67 to <2 x i8*>*
%69 = load <2 x i8*>, <2 x i8*>* %68
%70 = getelementptr inbounds i8*, i8** %67, i64 2
%71 = bitcast i8** %70 to <2 x i8*>*
%72 = load <2 x i8*>, <2 x i8*>* %71
%73 = bitcast i8** %66 to <2 x i8*>*
store <2 x i8*> %69, <2 x i8*>* %73
%74 = getelementptr i8*, i8** %66, i64 2
%75 = bitcast i8** %74 to <2 x i8*>*
store <2 x i8*> %72, <2 x i8*>* %75
%76 = or i64 %42, 12
%77 = getelementptr i8*, i8** %23, i64 %76
%78 = getelementptr inbounds i8*, i8** %77, i64 1
%79 = bitcast i8** %78 to <2 x i8*>*
%80 = load <2 x i8*>, <2 x i8*>* %79
%81 = getelementptr inbounds i8*, i8** %78, i64 2
%82 = bitcast i8** %81 to <2 x i8*>*
%83 = load <2 x i8*>, <2 x i8*>* %82
%84 = bitcast i8** %77 to <2 x i8*>*
store <2 x i8*> %80, <2 x i8*>* %84
%85 = getelementptr i8*, i8** %77, i64 2
%86 = bitcast i8** %85 to <2 x i8*>*
store <2 x i8*> %83, <2 x i8*>* %86
%87 = add nuw i64 %42, 16
%88 = add nuw i64 %43, 4
%89 = icmp eq i64 %88, %40
br i1 %89, label %90, label %41
90: ; preds = %41, %29
%91 = phi i64 [ 0, %29 ], [ %87, %41 ]
%92 = icmp eq i64 %37, 0
br i1 %92, label %109, label %93
93: ; preds = %90, %93
%94 = phi i64 [ %106, %93 ], [ %91, %90 ]
%95 = phi i64 [ %107, %93 ], [ 0, %90 ]
%96 = getelementptr i8*, i8** %23, i64 %94
%97 = getelementptr inbounds i8*, i8** %96, i64 1
%98 = bitcast i8** %97 to <2 x i8*>*
%99 = load <2 x i8*>, <2 x i8*>* %98
%100 = getelementptr inbounds i8*, i8** %97, i64 2
%101 = bitcast i8** %100 to <2 x i8*>*
%102 = load <2 x i8*>, <2 x i8*>* %101
%103 = bitcast i8** %96 to <2 x i8*>*
store <2 x i8*> %99, <2 x i8*>* %103
%104 = getelementptr i8*, i8** %96, i64 2
%105 = bitcast i8** %104 to <2 x i8*>*
store <2 x i8*> %102, <2 x i8*>* %105
%106 = add nuw i64 %94, 4
%107 = add i64 %95, 1
%108 = icmp eq i64 %107, %37
br i1 %108, label %109, label %93
109: ; preds = %93, %90
%110 = icmp eq i64 %27, %30
br i1 %110, label %121, label %111
111: ; preds = %20, %109
%112 = phi i32 [ %18, %20 ], [ %32, %109 ]
%113 = phi i8** [ %23, %20 ], [ %33, %109 ]
br label %114
114: ; preds = %111, %114
%115 = phi i32 [ %119, %114 ], [ %112, %111 ]
%116 = phi i8** [ %117, %114 ], [ %113, %111 ]
%117 = getelementptr inbounds i8*, i8** %116, i64 1
%118 = load i8*, i8** %117
store i8* %118, i8** %116
%119 = add nsw i32 %115, -1
%120 = icmp ugt i32 %115, 1
br i1 %120, label %114, label %121
121: ; preds = %114, %109, %16, %13
store i32 %14, i32* %0
ret void
}