#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 */
void **malloc(size_t);
int /*<<< orphan*/ memcpy(void **, void **, size_t);
void **stm_array_clone_remove(void **old_array, int old_count, int index) {
  size_t ps = sizeof(void *);
  if (old_count == 1)
    return NULL;
  void **new_array = malloc(ps * (old_count - 1));
  memcpy(&new_array[0], &old_array[0], ps * index);
  memcpy(&new_array[index], &old_array[index + 1],
         ps * (old_count - index - 1));
  return new_array;
}


x86 assembly (clang, -O0):
<stm_array_clone_remove>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
movq   $0x8,-0x20(%rbp)
cmpl   $0x1,-0x14(%rbp)
jne    1151 <stm_array_clone_remove+0x31>
movq   $0x0,-0x8(%rbp)
jmp    11c5 <stm_array_clone_remove+0xa5>
mov    -0x20(%rbp),%rdi
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
cltq
imul   %rax,%rdi
call   1040 <malloc@plt>
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x20(%rbp),%rdx
movslq -0x18(%rbp),%rax
imul   %rax,%rdx
call   1030 <memcpy@plt>
mov    -0x28(%rbp),%rdi
movslq -0x18(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%eax
add    $0x1,%eax
cltq
shl    $0x3,%rax
add    %rax,%rsi
mov    -0x20(%rbp),%rdx
mov    -0x14(%rbp),%eax
sub    -0x18(%rbp),%eax
sub    $0x1,%eax
cltq
imul   %rax,%rdx
call   1030 <memcpy@plt>
mov    -0x28(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<stm_array_clone_remove>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
cmp    $0x1,%esi
jne    1132 <stm_array_clone_remove+0x12>
xor    %r12d,%r12d
jmp    117f <stm_array_clone_remove+0x5f>
mov    %edx,%r15d
mov    %esi,%ebp
mov    %rdi,%r14
movslq %esi,%rax
lea    -0x8(,%rax,8),%rdi
ff
call   1040 <malloc@plt>
mov    %rax,%r12
movslq %r15d,%rbx
lea    0x0(,%rbx,8),%rdx
mov    %rax,%rdi
mov    %r14,%rsi
call   1030 <memcpy@plt>
lea    (%r12,%rbx,8),%rdi
lea    (%r14,%rbx,8),%rsi
add    $0x8,%rsi
not    %ebx
add    %ebp,%ebx
movslq %ebx,%rdx
shl    $0x3,%rdx
call   1030 <memcpy@plt>
mov    %r12,%rax
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i8** @stm_array_clone_remove(i8** %0, i32 %1, i32 %2) {
%4 = icmp eq i32 %1, 1
br i1 %4, label %22, label %5
5: ; preds = %3
%6 = add nsw i32 %1, -1
%7 = sext i32 %6 to i64
%8 = shl nsw i64 %7, 3
%9 = tail call i8** @malloc(i64 %8)
%10 = sext i32 %2 to i64
%11 = shl nsw i64 %10, 3
%12 = tail call i32 @memcpy(i8** %9, i8** %0, i64 %11)
%13 = getelementptr inbounds i8*, i8** %9, i64 %10
%14 = add nsw i32 %2, 1
%15 = sext i32 %14 to i64
%16 = getelementptr inbounds i8*, i8** %0, i64 %15
%17 = xor i32 %2, -1
%18 = add i32 %17, %1
%19 = sext i32 %18 to i64
%20 = shl nsw i64 %19, 3
%21 = tail call i32 @memcpy(i8** %13, i8** %16, i64 %20)
br label %22
22: ; preds = %3, %5
%23 = phi i8** [ %9, %5 ], [ null, %3 ]
ret i8** %23
}