void SKf(unsigned int *k, unsigned int r, unsigned int *a, unsigned int *b,
         unsigned int *c, unsigned int *d) {
  k[r + 4] = *a;
  k[r + 5] = *b;
  k[r + 6] = *c;
  k[r + 7] = *d;
}


x86 assembly (clang, -O0):
<SKf>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9,-0x30(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%edx
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x4,%ecx
mov    %ecx,%ecx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%rax
mov    (%rax),%edx
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x5,%ecx
mov    %ecx,%ecx
mov    %edx,(%rax,%rcx,4)
mov    -0x28(%rbp),%rax
mov    (%rax),%edx
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x6,%ecx
mov    %ecx,%ecx
mov    %edx,(%rax,%rcx,4)
mov    -0x30(%rbp),%rax
mov    (%rax),%edx
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x7,%ecx
mov    %ecx,%ecx
mov    %edx,(%rax,%rcx,4)
pop    %rbp
ret

x86 assembly (clang, -O2):
<SKf>:
mov    (%rdx),%eax
lea    0x4(%rsi),%edx
mov    %eax,(%rdi,%rdx,4)
mov    (%rcx),%eax
lea    0x5(%rsi),%ecx
mov    %eax,(%rdi,%rcx,4)
mov    (%r8),%eax
lea    0x6(%rsi),%ecx
mov    %eax,(%rdi,%rcx,4)
mov    (%r9),%eax
add    $0x7,%esi
mov    %eax,(%rdi,%rsi,4)
ret

LLVM IR (-O0):
define void @SKf(i32* %0, i32 %1, i32* %2, i32* %3, i32* %4, i32* %5) {
%7 = alloca i32*
%8 = alloca i32
%9 = alloca i32*
%10 = alloca i32*
%11 = alloca i32*
%12 = alloca i32*
store i32* %0, i32** %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 i32, i32* %13
%15 = load i32*, i32** %7
%16 = load i32, i32* %8
%17 = add i32 %16, 4
%18 = zext i32 %17 to i64
%19 = getelementptr inbounds i32, i32* %15, i64 %18
store i32 %14, i32* %19
%20 = load i32*, i32** %10
%21 = load i32, i32* %20
%22 = load i32*, i32** %7
%23 = load i32, i32* %8
%24 = add i32 %23, 5
%25 = zext i32 %24 to i64
%26 = getelementptr inbounds i32, i32* %22, i64 %25
store i32 %21, i32* %26
%27 = load i32*, i32** %11
%28 = load i32, i32* %27
%29 = load i32*, i32** %7
%30 = load i32, i32* %8
%31 = add i32 %30, 6
%32 = zext i32 %31 to i64
%33 = getelementptr inbounds i32, i32* %29, i64 %32
store i32 %28, i32* %33
%34 = load i32*, i32** %12
%35 = load i32, i32* %34
%36 = load i32*, i32** %7
%37 = load i32, i32* %8
%38 = add i32 %37, 7
%39 = zext i32 %38 to i64
%40 = getelementptr inbounds i32, i32* %36, i64 %39
store i32 %35, i32* %40
ret void
}

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