int read_signed_long(unsigned char *data, long *value) {
  long tmp;
  *value = data[0] | (data[1] << 8) | (data[2] << 16) | (data[3] << 24);
  tmp = data[4];
  *value |= tmp << 32;
  tmp = data[5];
  *value |= tmp << 40;
  tmp = data[6];
  *value |= tmp << 48;
  tmp = data[7];
  *value |= tmp << 56;
  return 0;
}


x86 assembly (clang, -O0):
<read_signed_long>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rax
movzbl (%rax),%eax
mov    -0x8(%rbp),%rcx
movzbl 0x1(%rcx),%ecx
shl    $0x8,%ecx
or     %ecx,%eax
mov    -0x8(%rbp),%rcx
movzbl 0x2(%rcx),%ecx
shl    $0x10,%ecx
or     %ecx,%eax
mov    -0x8(%rbp),%rcx
movzbl 0x3(%rcx),%ecx
shl    $0x18,%ecx
or     %ecx,%eax
movslq %eax,%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x8(%rbp),%rax
movzbl 0x4(%rax),%eax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rcx
shl    $0x20,%rcx
mov    -0x10(%rbp),%rax
or     (%rax),%rcx
mov    %rcx,(%rax)
mov    -0x8(%rbp),%rax
movzbl 0x5(%rax),%eax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rcx
shl    $0x28,%rcx
mov    -0x10(%rbp),%rax
or     (%rax),%rcx
mov    %rcx,(%rax)
mov    -0x8(%rbp),%rax
movzbl 0x6(%rax),%eax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rcx
shl    $0x30,%rcx
mov    -0x10(%rbp),%rax
or     (%rax),%rcx
mov    %rcx,(%rax)
mov    -0x8(%rbp),%rax
movzbl 0x7(%rax),%eax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rcx
shl    $0x38,%rcx
mov    -0x10(%rbp),%rax
or     (%rax),%rcx
mov    %rcx,(%rax)
xor    %eax,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<read_signed_long>:
movslq (%rdi),%rax
mov    %rax,(%rsi)
movzbl 0x4(%rdi),%ecx
shl    $0x20,%rcx
or     %rax,%rcx
mov    %rcx,(%rsi)
movzbl 0x5(%rdi),%eax
shl    $0x28,%rax
or     %rcx,%rax
mov    %rax,(%rsi)
movzbl 0x6(%rdi),%ecx
shl    $0x30,%rcx
or     %rax,%rcx
mov    %rcx,(%rsi)
movzbl 0x7(%rdi),%eax
shl    $0x38,%rax
or     %rcx,%rax
mov    %rax,(%rsi)
xor    %eax,%eax
ret

LLVM IR (-O0):
define i32 @read_signed_long(i8* %0, i64* %1) {
%3 = alloca i8*
%4 = alloca i64*
%5 = alloca i64
store i8* %0, i8** %3
store i64* %1, i64** %4
%6 = load i8*, i8** %3
%7 = getelementptr inbounds i8, i8* %6, i64 0
%8 = load i8, i8* %7
%9 = zext i8 %8 to i32
%10 = load i8*, i8** %3
%11 = getelementptr inbounds i8, i8* %10, i64 1
%12 = load i8, i8* %11
%13 = zext i8 %12 to i32
%14 = shl i32 %13, 8
%15 = or i32 %9, %14
%16 = load i8*, i8** %3
%17 = getelementptr inbounds i8, i8* %16, i64 2
%18 = load i8, i8* %17
%19 = zext i8 %18 to i32
%20 = shl i32 %19, 16
%21 = or i32 %15, %20
%22 = load i8*, i8** %3
%23 = getelementptr inbounds i8, i8* %22, i64 3
%24 = load i8, i8* %23
%25 = zext i8 %24 to i32
%26 = shl i32 %25, 24
%27 = or i32 %21, %26
%28 = sext i32 %27 to i64
%29 = load i64*, i64** %4
store i64 %28, i64* %29
%30 = load i8*, i8** %3
%31 = getelementptr inbounds i8, i8* %30, i64 4
%32 = load i8, i8* %31
%33 = zext i8 %32 to i64
store i64 %33, i64* %5
%34 = load i64, i64* %5
%35 = shl i64 %34, 32
%36 = load i64*, i64** %4
%37 = load i64, i64* %36
%38 = or i64 %37, %35
store i64 %38, i64* %36
%39 = load i8*, i8** %3
%40 = getelementptr inbounds i8, i8* %39, i64 5
%41 = load i8, i8* %40
%42 = zext i8 %41 to i64
store i64 %42, i64* %5
%43 = load i64, i64* %5
%44 = shl i64 %43, 40
%45 = load i64*, i64** %4
%46 = load i64, i64* %45
%47 = or i64 %46, %44
store i64 %47, i64* %45
%48 = load i8*, i8** %3
%49 = getelementptr inbounds i8, i8* %48, i64 6
%50 = load i8, i8* %49
%51 = zext i8 %50 to i64
store i64 %51, i64* %5
%52 = load i64, i64* %5
%53 = shl i64 %52, 48
%54 = load i64*, i64** %4
%55 = load i64, i64* %54
%56 = or i64 %55, %53
store i64 %56, i64* %54
%57 = load i8*, i8** %3
%58 = getelementptr inbounds i8, i8* %57, i64 7
%59 = load i8, i8* %58
%60 = zext i8 %59 to i64
store i64 %60, i64* %5
%61 = load i64, i64* %5
%62 = shl i64 %61, 56
%63 = load i64*, i64** %4
%64 = load i64, i64* %63
%65 = or i64 %64, %62
store i64 %65, i64* %63
ret i32 0
}

LLVM IR (-O2):
define i32 @read_signed_long(i8* nocapture %0, i64* nocapture writeonly %1) {
%3 = load i8, i8* %0
%4 = zext i8 %3 to i32
%5 = getelementptr inbounds i8, i8* %0, i64 1
%6 = load i8, i8* %5
%7 = zext i8 %6 to i32
%8 = shl nuw nsw i32 %7, 8
%9 = or i32 %8, %4
%10 = getelementptr inbounds i8, i8* %0, i64 2
%11 = load i8, i8* %10
%12 = zext i8 %11 to i32
%13 = shl nuw nsw i32 %12, 16
%14 = or i32 %9, %13
%15 = getelementptr inbounds i8, i8* %0, i64 3
%16 = load i8, i8* %15
%17 = zext i8 %16 to i32
%18 = shl nuw i32 %17, 24
%19 = or i32 %14, %18
%20 = sext i32 %19 to i64
store i64 %20, i64* %1
%21 = getelementptr inbounds i8, i8* %0, i64 4
%22 = load i8, i8* %21
%23 = zext i8 %22 to i64
%24 = shl nuw nsw i64 %23, 32
%25 = or i64 %24, %20
store i64 %25, i64* %1
%26 = getelementptr inbounds i8, i8* %0, i64 5
%27 = load i8, i8* %26
%28 = zext i8 %27 to i64
%29 = shl nuw nsw i64 %28, 40
%30 = or i64 %29, %25
store i64 %30, i64* %1
%31 = getelementptr inbounds i8, i8* %0, i64 6
%32 = load i8, i8* %31
%33 = zext i8 %32 to i64
%34 = shl nuw nsw i64 %33, 48
%35 = or i64 %34, %30
store i64 %35, i64* %1
%36 = getelementptr inbounds i8, i8* %0, i64 7
%37 = load i8, i8* %36
%38 = zext i8 %37 to i64
%39 = shl nuw i64 %38, 56
%40 = or i64 %39, %35
store i64 %40, i64* %1
ret i32 0
}