#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 */

/* Variables and functions */
scalar_t__ EAGAIN;
scalar_t__ EINTR;
scalar_t__ EPIPE;
scalar_t__ EWOULDBLOCK;
int /*<<< orphan*/ F_GETFL;
int O_NONBLOCK;
int /*<<< orphan*/ assert(int);
scalar_t__ errno;
int fcntl(int, int /*<<< orphan*/, int /*<<< orphan*/);
int recv(int, void *, int, int /*<<< orphan*/);
int BMI_sockio_nbrecv(int s, void *buf, int len) {
  int ret, comp = len;
  assert(fcntl(s, F_GETFL, 0) & O_NONBLOCK);
  while (comp) {
  nbrecv_restart:
    ret = recv(s, buf, comp, 0);
    if (ret == 0) {
      errno = EPIPE;
      return (-1);
    }
    if (ret == -1 && errno == EINTR) {
      goto nbrecv_restart;
    } else if (ret == -1 && (errno == EAGAIN || errno == EWOULDBLOCK)) {
      return (len - comp);
    } else if (ret == -1) {
      return (-1);
    }
    comp -= ret;
    buf = (char *)buf + ret;
  }
  return (len - comp);
}


x86 assembly (clang, -O0):
<BMI_sockio_nbrecv>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%edi
mov    0x2e6e(%rip),%rax
mov    (%rax),%esi
xor    %edx,%edx
call   1040 <fcntl@plt>
mov    %eax,%edi
mov    0x2e84(%rip),%rax
and    (%rax),%edi
call   1050 <assert@plt>
cmpl   $0x0,-0x1c(%rbp)
je     126c <BMI_sockio_nbrecv+0x13c>
jmp    117a <BMI_sockio_nbrecv+0x4a>
mov    -0x8(%rbp),%edi
mov    -0x10(%rbp),%rsi
mov    -0x1c(%rbp),%edx
xor    %ecx,%ecx
call   1030 <recv@plt>
mov    %eax,-0x18(%rbp)
cmpl   $0x0,-0x18(%rbp)
jne    11b8 <BMI_sockio_nbrecv+0x88>
mov    0x2e39(%rip),%rax
mov    (%rax),%rcx
mov    0x2e27(%rip),%rax
mov    %rcx,(%rax)
movl   $0xffffffff,-0x4(%rbp)
jmp    1275 <BMI_sockio_nbrecv+0x145>
cmpl   $0xffffffff,-0x18(%rbp)
jne    11e1 <BMI_sockio_nbrecv+0xb1>
mov    0x2e07(%rip),%rax
mov    (%rax),%rax
mov    0x2de5(%rip),%rcx
cmp    (%rcx),%rax
jne    11e1 <BMI_sockio_nbrecv+0xb1>
jmp    117a <BMI_sockio_nbrecv+0x4a>
cmpl   $0xffffffff,-0x18(%rbp)
jne    122d <BMI_sockio_nbrecv+0xfd>
mov    0x2dde(%rip),%rax
mov    (%rax),%rax
mov    0x2dac(%rip),%rcx
cmp    (%rcx),%rax
je     121f <BMI_sockio_nbrecv+0xef>
mov    0x2dc4(%rip),%rax
mov    (%rax),%rax
mov    0x2db2(%rip),%rcx
cmp    (%rcx),%rax
jne    122d <BMI_sockio_nbrecv+0xfd>
mov    -0x14(%rbp),%eax
sub    -0x1c(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1275 <BMI_sockio_nbrecv+0x145>
cmpl   $0xffffffff,-0x18(%rbp)
jne    1243 <BMI_sockio_nbrecv+0x113>
movl   $0xffffffff,-0x4(%rbp)
jmp    1275 <BMI_sockio_nbrecv+0x145>
jmp    1248 <BMI_sockio_nbrecv+0x118>
jmp    124d <BMI_sockio_nbrecv+0x11d>
mov    -0x18(%rbp),%ecx
mov    -0x1c(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x10(%rbp)
jmp    116b <BMI_sockio_nbrecv+0x3b>
mov    -0x14(%rbp),%eax
sub    -0x1c(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<BMI_sockio_nbrecv>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %edx,%r14d
mov    %rsi,%rbx
mov    %edi,%r15d
mov    0x2e75(%rip),%rax
mov    (%rax),%esi
xor    %ebp,%ebp
xor    %edx,%edx
call   1040 <fcntl@plt>
mov    0x2e8b(%rip),%rcx
and    (%rcx),%eax
mov    %eax,%edi
call   1050 <assert@plt>
test   %r14d,%r14d
je     11ec <BMI_sockio_nbrecv+0xbc>
mov    0x2e5a(%rip),%r12
mov    0x2e3b(%rip),%r13
mov    %r14d,%ebp
mov    %r15d,%edi
mov    %rbx,%rsi
mov    %ebp,%edx
xor    %ecx,%ecx
call   1030 <recv@plt>
cmp    $0xffffffff,%eax
jne    11a0 <BMI_sockio_nbrecv+0x70>
mov    (%r12),%rax
cmp    0x0(%r13),%rax
je     1180 <BMI_sockio_nbrecv+0x50>
jmp    11c8 <BMI_sockio_nbrecv+0x98>
test   %eax,%eax
je     11b3 <BMI_sockio_nbrecv+0x83>
movslq %eax,%rcx
add    %rcx,%rbx
sub    %eax,%ebp
jne    1180 <BMI_sockio_nbrecv+0x50>
mov    %r14d,%ebp
jmp    11ec <BMI_sockio_nbrecv+0xbc>
mov    0x2e1e(%rip),%rax
mov    (%rax),%rax
mov    %rax,(%r12)
mov    $0xffffffff,%ebp
jmp    11ec <BMI_sockio_nbrecv+0xbc>
mov    0x2df9(%rip),%rcx
sub    %ebp,%r14d
cmp    (%rcx),%rax
mov    0x2dcc(%rip),%rcx
mov    $0xffffffff,%ebp
cmove  %r14d,%ebp
cmp    (%rcx),%rax
cmove  %r14d,%ebp
mov    %ebp,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@F_GETFL = global i32 0
@O_NONBLOCK = global i32 0
@EPIPE = global i64 0
@errno = global i64 0
@EINTR = global i64 0
@EAGAIN = global i64 0
@EWOULDBLOCK = global i64 0
define i32 @BMI_sockio_nbrecv(i32 %0, i8* %1, i32 %2) {
%4 = alloca i32
%5 = alloca i32
%6 = alloca i8*
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
store i32 %0, i32* %5
store i8* %1, i8** %6
store i32 %2, i32* %7
%10 = load i32, i32* %7
store i32 %10, i32* %9
%11 = load i32, i32* %5
%12 = load i32, i32* @F_GETFL
%13 = call i32 @fcntl(i32 %11, i32 %12, i32 0)
%14 = load i32, i32* @O_NONBLOCK
%15 = and i32 %13, %14
%16 = call i32 @assert(i32 %15)
br label %17
17: ; preds = %59, %3
%18 = load i32, i32* %9
%19 = icmp ne i32 %18, 0
br i1 %19, label %20, label %67
20: ; preds = %17
br label %21
21: ; preds = %37, %20
%22 = load i32, i32* %5
%23 = load i8*, i8** %6
%24 = load i32, i32* %9
%25 = call i32 @recv(i32 %22, i8* %23, i32 %24, i32 0)
store i32 %25, i32* %8
%26 = load i32, i32* %8
%27 = icmp eq i32 %26, 0
br i1 %27, label %28, label %30
28: ; preds = %21
%29 = load i64, i64* @EPIPE
store i64 %29, i64* @errno
store i32 -1, i32* %4
br label %71
30: ; preds = %21
%31 = load i32, i32* %8
%32 = icmp eq i32 %31, -1
br i1 %32, label %33, label %38
33: ; preds = %30
%34 = load i64, i64* @errno
%35 = load i64, i64* @EINTR
%36 = icmp eq i64 %34, %35
br i1 %36, label %37, label %38
37: ; preds = %33
br label %21
38: ; preds = %33, %30
%39 = load i32, i32* %8
%40 = icmp eq i32 %39, -1
br i1 %40, label %41, label %53
41: ; preds = %38
%42 = load i64, i64* @errno
%43 = load i64, i64* @EAGAIN
%44 = icmp eq i64 %42, %43
br i1 %44, label %49, label %45
45: ; preds = %41
%46 = load i64, i64* @errno
%47 = load i64, i64* @EWOULDBLOCK
%48 = icmp eq i64 %46, %47
br i1 %48, label %49, label %53
49: ; preds = %45, %41
%50 = load i32, i32* %7
%51 = load i32, i32* %9
%52 = sub nsw i32 %50, %51
store i32 %52, i32* %4
br label %71
53: ; preds = %45, %38
%54 = load i32, i32* %8
%55 = icmp eq i32 %54, -1
br i1 %55, label %56, label %57
56: ; preds = %53
store i32 -1, i32* %4
br label %71
57: ; preds = %53
br label %58
58: ; preds = %57
br label %59
59: ; preds = %58
%60 = load i32, i32* %8
%61 = load i32, i32* %9
%62 = sub nsw i32 %61, %60
store i32 %62, i32* %9
%63 = load i8*, i8** %6
%64 = load i32, i32* %8
%65 = sext i32 %64 to i64
%66 = getelementptr inbounds i8, i8* %63, i64 %65
store i8* %66, i8** %6
br label %17
67: ; preds = %17
%68 = load i32, i32* %7
%69 = load i32, i32* %9
%70 = sub nsw i32 %68, %69
store i32 %70, i32* %4
br label %71
71: ; preds = %67, %56, %49, %28
%72 = load i32, i32* %4
ret i32 %72
}

LLVM IR (-O2):
@F_GETFL = global i32 0
@O_NONBLOCK = global i32 0
@EPIPE = global i64 0
@errno = global i64 0
@EINTR = global i64 0
@EAGAIN = global i64 0
@EWOULDBLOCK = global i64 0
define i32 @BMI_sockio_nbrecv(i32 %0, i8* %1, i32 %2) {
%4 = load i32, i32* @F_GETFL
%5 = tail call i32 @fcntl(i32 %0, i32 %4, i32 0)
%6 = load i32, i32* @O_NONBLOCK
%7 = and i32 %6, %5
%8 = tail call i32 @assert(i32 %7)
%9 = icmp eq i32 %2, 0
br i1 %9, label %34, label %10
10: ; preds = %3, %29
%11 = phi i32 [ %30, %29 ], [ %2, %3 ]
%12 = phi i8* [ %32, %29 ], [ %1, %3 ]
br label %13
13: ; preds = %10, %17
%14 = tail call i32 @recv(i32 %0, i8* %12, i32 %11, i32 0)
switch i32 %14, label %29 [
i32 0, label %15
i32 -1, label %17
]
15: ; preds = %13
%16 = load i64, i64* @EPIPE
store i64 %16, i64* @errno
br label %34
17: ; preds = %13
%18 = load i64, i64* @errno
%19 = load i64, i64* @EINTR
%20 = icmp eq i64 %18, %19
br i1 %20, label %13, label %21
21: ; preds = %17
%22 = load i64, i64* @EAGAIN
%23 = icmp eq i64 %18, %22
%24 = load i64, i64* @EWOULDBLOCK
%25 = icmp eq i64 %18, %24
%26 = select i1 %23, i1 true, i1 %25
%27 = sub nsw i32 %2, %11
%28 = select i1 %26, i32 %27, i32 -1
br label %34
29: ; preds = %13
%30 = sub nsw i32 %11, %14
%31 = sext i32 %14 to i64
%32 = getelementptr inbounds i8, i8* %12, i64 %31
%33 = icmp eq i32 %30, 0
br i1 %33, label %34, label %10
34: ; preds = %29, %3, %21, %15
%35 = phi i32 [ -1, %15 ], [ %28, %21 ], [ 0, %3 ], [ %2, %29 ]
ret i32 %35
}