#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */
typedef int uint32_t;

/* Variables and functions */
uint32_t read32(char *buffer, int offset) {
  char b0 = buffer[offset];
  char b1 = buffer[offset + 1];
  char b2 = buffer[offset + 2];
  char b3 = buffer[offset + 3];
  uint32_t i0 = ((b0 & 0x80) == 0x80 ? (b0 & 0x7F) + 0x80 : b0);
  uint32_t i1 = ((b1 & 0x80) == 0x80 ? (b1 & 0x7F) + 0x80 : b1);
  uint32_t i2 = ((b2 & 0x80) == 0x80 ? (b2 & 0x7F) + 0x80 : b2);
  uint32_t i3 = ((b3 & 0x80) == 0x80 ? (b3 & 0x7F) + 0x80 : b3);
  uint32_t v = (i0 << 24) + (i1 << 16) + (i2 << 8) + i3;
  return v;
}


x86 assembly (clang, -O0):
<read32>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0xd(%rbp)
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0xe(%rbp)
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0xf(%rbp)
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x3,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x10(%rbp)
movsbl -0xd(%rbp),%eax
and    $0x80,%eax
cmp    $0x80,%eax
jne    117a <read32+0x7a>
movsbl -0xd(%rbp),%eax
and    $0x7f,%eax
add    $0x80,%eax
mov    %eax,-0x28(%rbp)
jmp    1181 <read32+0x81>
movsbl -0xd(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
mov    %eax,-0x14(%rbp)
movsbl -0xe(%rbp),%eax
and    $0x80,%eax
cmp    $0x80,%eax
jne    11af <read32+0xaf>
movsbl -0xe(%rbp),%eax
and    $0x7f,%eax
add    $0x80,%eax
mov    %eax,-0x2c(%rbp)
jmp    11b6 <read32+0xb6>
movsbl -0xe(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
mov    %eax,-0x18(%rbp)
movsbl -0xf(%rbp),%eax
and    $0x80,%eax
cmp    $0x80,%eax
jne    11e4 <read32+0xe4>
movsbl -0xf(%rbp),%eax
and    $0x7f,%eax
add    $0x80,%eax
mov    %eax,-0x30(%rbp)
jmp    11eb <read32+0xeb>
movsbl -0xf(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    %eax,-0x1c(%rbp)
movsbl -0x10(%rbp),%eax
and    $0x80,%eax
cmp    $0x80,%eax
jne    1219 <read32+0x119>
movsbl -0x10(%rbp),%eax
and    $0x7f,%eax
add    $0x80,%eax
mov    %eax,-0x34(%rbp)
jmp    1220 <read32+0x120>
movsbl -0x10(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x14(%rbp),%eax
shl    $0x18,%eax
mov    -0x18(%rbp),%ecx
shl    $0x10,%ecx
add    %ecx,%eax
mov    -0x1c(%rbp),%ecx
shl    $0x8,%ecx
add    %ecx,%eax
add    -0x20(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<read32>:
movslq %esi,%rdx
movzbl 0x1(%rdi,%rdx,1),%ecx
movzbl 0x2(%rdi,%rdx,1),%eax
movsbl %cl,%esi
or     $0x80,%ecx
test   $0x80,%sil
cmove  %esi,%ecx
movsbl %al,%esi
or     $0x80,%eax
test   $0x80,%sil
cmove  %esi,%eax
movzbl 0x3(%rdi,%rdx,1),%esi
movzbl (%rdi,%rdx,1),%edx
movsbl %sil,%edi
or     $0x80,%esi
test   $0x80,%dil
cmove  %edi,%esi
shl    $0x18,%edx
shl    $0x10,%ecx
add    %edx,%ecx
shl    $0x8,%eax
add    %ecx,%eax
add    %esi,%eax
ret

LLVM IR (-O0):
define i32 @read32(i8* %0, i32 %1) {
%3 = alloca i8*
%4 = alloca i32
%5 = alloca i8
%6 = alloca i8
%7 = alloca i8
%8 = alloca i8
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
store i8* %0, i8** %3
store i32 %1, i32* %4
%14 = load i8*, i8** %3
%15 = load i32, i32* %4
%16 = sext i32 %15 to i64
%17 = getelementptr inbounds i8, i8* %14, i64 %16
%18 = load i8, i8* %17
store i8 %18, i8* %5
%19 = load i8*, i8** %3
%20 = load i32, i32* %4
%21 = add nsw i32 %20, 1
%22 = sext i32 %21 to i64
%23 = getelementptr inbounds i8, i8* %19, i64 %22
%24 = load i8, i8* %23
store i8 %24, i8* %6
%25 = load i8*, i8** %3
%26 = load i32, i32* %4
%27 = add nsw i32 %26, 2
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds i8, i8* %25, i64 %28
%30 = load i8, i8* %29
store i8 %30, i8* %7
%31 = load i8*, i8** %3
%32 = load i32, i32* %4
%33 = add nsw i32 %32, 3
%34 = sext i32 %33 to i64
%35 = getelementptr inbounds i8, i8* %31, i64 %34
%36 = load i8, i8* %35
store i8 %36, i8* %8
%37 = load i8, i8* %5
%38 = sext i8 %37 to i32
%39 = and i32 %38, 128
%40 = icmp eq i32 %39, 128
br i1 %40, label %41, label %46
41: ; preds = %2
%42 = load i8, i8* %5
%43 = sext i8 %42 to i32
%44 = and i32 %43, 127
%45 = add nsw i32 %44, 128
br label %49
46: ; preds = %2
%47 = load i8, i8* %5
%48 = sext i8 %47 to i32
br label %49
49: ; preds = %46, %41
%50 = phi i32 [ %45, %41 ], [ %48, %46 ]
store i32 %50, i32* %9
%51 = load i8, i8* %6
%52 = sext i8 %51 to i32
%53 = and i32 %52, 128
%54 = icmp eq i32 %53, 128
br i1 %54, label %55, label %60
55: ; preds = %49
%56 = load i8, i8* %6
%57 = sext i8 %56 to i32
%58 = and i32 %57, 127
%59 = add nsw i32 %58, 128
br label %63
60: ; preds = %49
%61 = load i8, i8* %6
%62 = sext i8 %61 to i32
br label %63
63: ; preds = %60, %55
%64 = phi i32 [ %59, %55 ], [ %62, %60 ]
store i32 %64, i32* %10
%65 = load i8, i8* %7
%66 = sext i8 %65 to i32
%67 = and i32 %66, 128
%68 = icmp eq i32 %67, 128
br i1 %68, label %69, label %74
69: ; preds = %63
%70 = load i8, i8* %7
%71 = sext i8 %70 to i32
%72 = and i32 %71, 127
%73 = add nsw i32 %72, 128
br label %77
74: ; preds = %63
%75 = load i8, i8* %7
%76 = sext i8 %75 to i32
br label %77
77: ; preds = %74, %69
%78 = phi i32 [ %73, %69 ], [ %76, %74 ]
store i32 %78, i32* %11
%79 = load i8, i8* %8
%80 = sext i8 %79 to i32
%81 = and i32 %80, 128
%82 = icmp eq i32 %81, 128
br i1 %82, label %83, label %88
83: ; preds = %77
%84 = load i8, i8* %8
%85 = sext i8 %84 to i32
%86 = and i32 %85, 127
%87 = add nsw i32 %86, 128
br label %91
88: ; preds = %77
%89 = load i8, i8* %8
%90 = sext i8 %89 to i32
br label %91
91: ; preds = %88, %83
%92 = phi i32 [ %87, %83 ], [ %90, %88 ]
store i32 %92, i32* %12
%93 = load i32, i32* %9
%94 = shl i32 %93, 24
%95 = load i32, i32* %10
%96 = shl i32 %95, 16
%97 = add nsw i32 %94, %96
%98 = load i32, i32* %11
%99 = shl i32 %98, 8
%100 = add nsw i32 %97, %99
%101 = load i32, i32* %12
%102 = add nsw i32 %100, %101
store i32 %102, i32* %13
%103 = load i32, i32* %13
ret i32 %103
}

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