int insert_(int *k, int *lp, int *list, int *lptr, int *lnew) {
  static int lsav;
  --lptr;
  --list;
  lsav = lptr[*lp];
  lptr[*lp] = *lnew;
  list[*lnew] = *k;
  lptr[*lnew] = lsav;
  ++(*lnew);
  return 0;
}


x86 assembly (clang, -O0):
<insert_>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    -0x20(%rbp),%rax
add    $0xfffffffffffffffc,%rax
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%rax
add    $0xfffffffffffffffc,%rax
mov    %rax,-0x18(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq (%rcx),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,0x2ee0(%rip)
mov    -0x28(%rbp),%rax
mov    (%rax),%edx
mov    -0x20(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq (%rcx),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
mov    (%rax),%edx
mov    -0x18(%rbp),%rax
mov    -0x28(%rbp),%rcx
movslq (%rcx),%rcx
mov    %edx,(%rax,%rcx,4)
mov    0x2eb2(%rip),%edx
mov    -0x20(%rbp),%rax
mov    -0x28(%rbp),%rcx
movslq (%rcx),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x28(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
xor    %eax,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<insert_>:
movslq (%rsi),%rax
mov    -0x4(%rcx,%rax,4),%r9d
mov    (%r8),%esi
mov    %esi,-0x4(%rcx,%rax,4)
mov    (%rdi),%eax
movslq (%r8),%rsi
mov    %eax,-0x4(%rdx,%rsi,4)
movslq (%r8),%rax
mov    %r9d,-0x4(%rcx,%rax,4)
addl   $0x1,(%r8)
xor    %eax,%eax
ret

LLVM IR (-O0):
@insert_.lsav = internal global i32 0
define i32 @insert_(i32* %0, i32* %1, i32* %2, i32* %3, i32* %4) {
%6 = alloca i32*
%7 = alloca i32*
%8 = alloca i32*
%9 = alloca i32*
%10 = alloca i32*
store i32* %0, i32** %6
store i32* %1, i32** %7
store i32* %2, i32** %8
store i32* %3, i32** %9
store i32* %4, i32** %10
%11 = load i32*, i32** %9
%12 = getelementptr inbounds i32, i32* %11, i32 -1
store i32* %12, i32** %9
%13 = load i32*, i32** %8
%14 = getelementptr inbounds i32, i32* %13, i32 -1
store i32* %14, i32** %8
%15 = load i32*, i32** %9
%16 = load i32*, i32** %7
%17 = load i32, i32* %16
%18 = sext i32 %17 to i64
%19 = getelementptr inbounds i32, i32* %15, i64 %18
%20 = load i32, i32* %19
store i32 %20, i32* @insert_.lsav
%21 = load i32*, i32** %10
%22 = load i32, i32* %21
%23 = load i32*, i32** %9
%24 = load i32*, i32** %7
%25 = load i32, i32* %24
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds i32, i32* %23, i64 %26
store i32 %22, i32* %27
%28 = load i32*, i32** %6
%29 = load i32, i32* %28
%30 = load i32*, i32** %8
%31 = load i32*, i32** %10
%32 = load i32, i32* %31
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds i32, i32* %30, i64 %33
store i32 %29, i32* %34
%35 = load i32, i32* @insert_.lsav
%36 = load i32*, i32** %9
%37 = load i32*, i32** %10
%38 = load i32, i32* %37
%39 = sext i32 %38 to i64
%40 = getelementptr inbounds i32, i32* %36, i64 %39
store i32 %35, i32* %40
%41 = load i32*, i32** %10
%42 = load i32, i32* %41
%43 = add nsw i32 %42, 1
store i32 %43, i32* %41
ret i32 0
}

LLVM IR (-O2):
define i32 @insert_(i32* nocapture %0, i32* nocapture %1, i32* nocapture writeonly %2, i32* nocapture %3, i32* nocapture %4) {
%6 = getelementptr inbounds i32, i32* %3, i64 -1
%7 = getelementptr inbounds i32, i32* %2, i64 -1
%8 = load i32, i32* %1
%9 = sext i32 %8 to i64
%10 = getelementptr inbounds i32, i32* %6, i64 %9
%11 = load i32, i32* %10
%12 = load i32, i32* %4
store i32 %12, i32* %10
%13 = load i32, i32* %0
%14 = load i32, i32* %4
%15 = sext i32 %14 to i64
%16 = getelementptr inbounds i32, i32* %7, i64 %15
store i32 %13, i32* %16
%17 = load i32, i32* %4
%18 = sext i32 %17 to i64
%19 = getelementptr inbounds i32, i32* %6, i64 %18
store i32 %11, i32* %19
%20 = load i32, i32* %4
%21 = add nsw i32 %20, 1
store i32 %21, i32* %4
ret i32 0
}