void restore_state(vec, a, b, c, d, e, f) int vec[6];
int *a, *b, *c, *d, *e, *f;
{
  *a = vec[0];
  *b = vec[1];
  *c = vec[2];
  *d = vec[3];
  *e = vec[4];
  *f = vec[5];
}


x86 assembly (clang, -O0):
<restore_state>:
push   %rbp
mov    %rsp,%rbp
mov    0x10(%rbp),%rax
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9,-0x30(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x8(%rbp),%rax
mov    0x4(%rax),%ecx
mov    -0x18(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x8(%rbp),%rax
mov    0xc(%rax),%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x8(%rbp),%rax
mov    0x10(%rax),%ecx
mov    -0x30(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x8(%rbp),%rax
mov    0x14(%rax),%ecx
mov    0x10(%rbp),%rax
mov    %ecx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<restore_state>:
mov    0x8(%rsp),%r10
mov    (%rdi),%eax
mov    %eax,(%rsi)
mov    0x4(%rdi),%eax
mov    %eax,(%rdx)
mov    0x8(%rdi),%eax
mov    %eax,(%rcx)
mov    0xc(%rdi),%eax
mov    %eax,(%r8)
mov    0x10(%rdi),%eax
mov    %eax,(%r9)
mov    0x14(%rdi),%eax
mov    %eax,(%r10)
ret

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

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