__attribute__((always_)) unsigned long
do_mmap(struct file *file, unsigned long addr, unsigned long len,
        unsigned long prot, unsigned long flag, unsigned long offset) {
  unsigned long ret = -22;
  if ((offset + ((((len)) + ((typeof((len)))((((1UL) << 12))) - 1)) &
                 ~((typeof((len)))((((1UL) << 12))) - 1))) < offset)
    goto out;
  if (!(offset & ~(~(((1UL) << 12) - 1))))
    ret = do_mmap_pgoff(file, addr, len, prot, flag, offset >> 12);
out:
  return ret;
}


x86 assembly (clang, -O0):
<do_mmap>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9,-0x30(%rbp)
movq   $0xffffffffffffffea,-0x38(%rbp)
ff
mov    -0x30(%rbp),%rax
mov    -0x18(%rbp),%rcx
add    $0xfff,%rcx
and    $0xfffffffffffff000,%rcx
add    %rcx,%rax
cmp    -0x30(%rbp),%rax
jae    1160 <do_mmap+0x50>
jmp    11a2 <do_mmap+0x92>
mov    -0x30(%rbp),%rax
and    $0xfff,%rax
cmp    $0x0,%rax
jne    119d <do_mmap+0x8d>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
mov    -0x20(%rbp),%rcx
mov    -0x28(%rbp),%r8
mov    -0x30(%rbp),%r9
shr    $0xc,%r9
mov    $0x0,%al
call   1030 <do_mmap_pgoff@plt>
cltq
mov    %rax,-0x38(%rbp)
jmp    11a2 <do_mmap+0x92>
mov    -0x38(%rbp),%rax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<do_mmap>:
lea    0xfff(%rdx),%r10
and    $0xfffffffffffff000,%r10
mov    %r9,%r11
not    %r11
mov    $0xffffffffffffffea,%rax
cmp    %r11,%r10
ja     1151 <do_mmap+0x41>
mov    %r9d,%r10d
and    $0xfff,%r10d
test   %r10,%r10
jne    1151 <do_mmap+0x41>
push   %rax
shr    $0xc,%r9
xor    %eax,%eax
call   1030 <do_mmap_pgoff@plt>
cltq
add    $0x8,%rsp
ret

LLVM IR (-O0):
%struct.file = type opaque
define i64 @do_mmap(%struct.file* %0, i64 %1, i64 %2, i64 %3, i64 %4, i64 %5) {
%7 = alloca %struct.file*
%8 = alloca i64
%9 = alloca i64
%10 = alloca i64
%11 = alloca i64
%12 = alloca i64
%13 = alloca i64
store %struct.file* %0, %struct.file** %7
store i64 %1, i64* %8
store i64 %2, i64* %9
store i64 %3, i64* %10
store i64 %4, i64* %11
store i64 %5, i64* %12
store i64 -22, i64* %13
%14 = load i64, i64* %12
%15 = load i64, i64* %9
%16 = add i64 %15, 4095
%17 = and i64 %16, -4096
%18 = add i64 %14, %17
%19 = load i64, i64* %12
%20 = icmp ult i64 %18, %19
br i1 %20, label %21, label %22
21: ; preds = %6
br label %37
22: ; preds = %6
%23 = load i64, i64* %12
%24 = and i64 %23, 4095
%25 = icmp ne i64 %24, 0
br i1 %25, label %36, label %26
26: ; preds = %22
%27 = load %struct.file*, %struct.file** %7
%28 = load i64, i64* %8
%29 = load i64, i64* %9
%30 = load i64, i64* %10
%31 = load i64, i64* %11
%32 = load i64, i64* %12
%33 = lshr i64 %32, 12
%34 = call i32 (%struct.file*, i64, i64, i64, i64, i64, ...) bitcast (i32 (...)* @do_mmap_pgoff to i32 (%struct.file*, i64, i64, i64, i64, i64, ...)*)(%struct.file* %27, i64 %28, i64 %29, i64 %30, i64 %31, i64 %33)
%35 = sext i32 %34 to i64
store i64 %35, i64* %13
br label %36
36: ; preds = %26, %22
br label %37
37: ; preds = %36, %21
%38 = load i64, i64* %13
ret i64 %38
}

LLVM IR (-O2):
%struct.file = type opaque
define i64 @do_mmap(%struct.file* %0, i64 %1, i64 %2, i64 %3, i64 %4, i64 %5) {
%7 = add i64 %2, 4095
%8 = and i64 %7, -4096
%9 = xor i64 %5, -1
%10 = icmp ule i64 %8, %9
%11 = and i64 %5, 4095
%12 = icmp eq i64 %11, 0
%13 = and i1 %10, %12
br i1 %13, label %14, label %18
14: ; preds = %6
%15 = lshr i64 %5, 12
%16 = tail call i32 (%struct.file*, i64, i64, i64, i64, i64, ...) bitcast (i32 (...)* @do_mmap_pgoff to i32 (%struct.file*, i64, i64, i64, i64, i64, ...)*)(%struct.file* %0, i64 %1, i64 %2, i64 %3, i64 %4, i64 %15)
%17 = sext i32 %16 to i64
br label %18
18: ; preds = %14, %6
%19 = phi i64 [ -22, %6 ], [ %17, %14 ]
ret i64 %19
}