#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*/ memmove(char *, char *, int);
void vec_splice_(char **data, int *length, int *capacity, int memsz, int start,
                 int count) {
  (void)capacity;
  memmove(*data + start * memsz, *data + (start + count) * memsz,
          (*length - start - count) * memsz);
}


x86 assembly (clang, -O0):
<vec_splice_>:
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    %r8d,-0x20(%rbp)
mov    %r9d,-0x24(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%rdi
mov    -0x20(%rbp),%eax
imul   -0x1c(%rbp),%eax
cltq
add    %rax,%rdi
mov    -0x8(%rbp),%rax
mov    (%rax),%rsi
mov    -0x20(%rbp),%eax
add    -0x24(%rbp),%eax
imul   -0x1c(%rbp),%eax
cltq
add    %rax,%rsi
mov    -0x10(%rbp),%rax
mov    (%rax),%edx
sub    -0x20(%rbp),%edx
sub    -0x24(%rbp),%edx
imul   -0x1c(%rbp),%edx
call   1030 <memmove@plt>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<vec_splice_>:
mov    (%rdi),%rax
add    %r8d,%r9d
imul   %ecx,%r8d
movslq %r8d,%rdi
add    %rax,%rdi
mov    (%rsi),%edx
sub    %r9d,%edx
imul   %ecx,%r9d
movslq %r9d,%rsi
add    %rax,%rsi
imul   %ecx,%edx
jmp    1030 <memmove@plt>

LLVM IR (-O0):
define void @vec_splice_(i8** %0, i32* %1, i32* %2, i32 %3, i32 %4, i32 %5) {
%7 = alloca i8**
%8 = alloca i32*
%9 = alloca i32*
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
store i8** %0, i8*** %7
store i32* %1, i32** %8
store i32* %2, i32** %9
store i32 %3, i32* %10
store i32 %4, i32* %11
store i32 %5, i32* %12
%13 = load i32*, i32** %9
%14 = load i8**, i8*** %7
%15 = load i8*, i8** %14
%16 = load i32, i32* %11
%17 = load i32, i32* %10
%18 = mul nsw i32 %16, %17
%19 = sext i32 %18 to i64
%20 = getelementptr inbounds i8, i8* %15, i64 %19
%21 = load i8**, i8*** %7
%22 = load i8*, i8** %21
%23 = load i32, i32* %11
%24 = load i32, i32* %12
%25 = add nsw i32 %23, %24
%26 = load i32, i32* %10
%27 = mul nsw i32 %25, %26
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds i8, i8* %22, i64 %28
%30 = load i32*, i32** %8
%31 = load i32, i32* %30
%32 = load i32, i32* %11
%33 = sub nsw i32 %31, %32
%34 = load i32, i32* %12
%35 = sub nsw i32 %33, %34
%36 = load i32, i32* %10
%37 = mul nsw i32 %35, %36
%38 = call i32 @memmove(i8* %20, i8* %29, i32 %37)
ret void
}

LLVM IR (-O2):
define void @vec_splice_(i8** nocapture %0, i32* nocapture %1, i32* nocapture readnone %2, i32 %3, i32 %4, i32 %5) {
%7 = load i8*, i8** %0
%8 = mul nsw i32 %4, %3
%9 = sext i32 %8 to i64
%10 = getelementptr inbounds i8, i8* %7, i64 %9
%11 = add nsw i32 %5, %4
%12 = mul nsw i32 %11, %3
%13 = sext i32 %12 to i64
%14 = getelementptr inbounds i8, i8* %7, i64 %13
%15 = load i32, i32* %1
%16 = sub i32 %15, %11
%17 = mul nsw i32 %16, %3
%18 = tail call i32 @memmove(i8* %10, i8* %14, i32 %17)
ret void
}