char *readlong(p, val)
char *p;
long *val;
{
  *val = (*p);
  p++;
  *val += (*p) << 8;
  p++;
  *val += (*p) << 16;
  p++;
  *val += (*p) << 24;
  p++;
  return p;
}


x86 assembly (clang, -O0):
<readlong>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rax
movsbq (%rax),%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
shl    $0x8,%eax
movslq %eax,%rcx
mov    -0x10(%rbp),%rax
add    (%rax),%rcx
mov    %rcx,(%rax)
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
shl    $0x10,%eax
movslq %eax,%rcx
mov    -0x10(%rbp),%rax
add    (%rax),%rcx
mov    %rcx,(%rax)
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
shl    $0x18,%eax
movslq %eax,%rcx
mov    -0x10(%rbp),%rax
add    (%rax),%rcx
mov    %rcx,(%rax)
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<readlong>:
movsbq (%rdi),%rax
mov    %rax,(%rsi)
movsbq 0x1(%rdi),%rcx
shl    $0x8,%rcx
add    %rax,%rcx
mov    %rcx,(%rsi)
movsbq 0x2(%rdi),%rax
shl    $0x10,%rax
add    %rcx,%rax
mov    %rax,(%rsi)
movzbl 0x3(%rdi),%ecx
shl    $0x18,%ecx
movslq %ecx,%rcx
add    %rax,%rcx
mov    %rcx,(%rsi)
lea    0x4(%rdi),%rax
ret

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

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