#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 scalar_t__ ssize_t;

/* Variables and functions */
int EAGAIN;
int EINTR;
int errno;
int /*<<< orphan*/ msg(char *, size_t, int /*<<< orphan*/);
int /*<<< orphan*/ strerror(int);
scalar_t__ write(int, char const *, size_t);
ssize_t write_len(int fd, const void *buf, size_t len) {
  const char *bufptr = buf;
  ssize_t total = 0;
  if (len == 0)
    return 0;
  do {
    ssize_t written = write(fd, bufptr, len);
    if (written < 0) {
      int real_errno;
      if (errno == EINTR || errno == EAGAIN)
        continue;
      real_errno = errno;
      msg("Could not write %u bytes: %s", len, strerror(errno));
      errno = real_errno;
      break;
    }
    total += written;
    bufptr += written;
    len -= written;
  } while (len > 0);
  return total > 0 ? 0 : -1;
}


x86 assembly (clang, -O0):
<write_len>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %edi,-0xc(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x28(%rbp)
movq   $0x0,-0x30(%rbp)
cmpq   $0x0,-0x20(%rbp)
jne    116b <write_len+0x3b>
movq   $0x0,-0x8(%rbp)
jmp    1253 <write_len+0x123>
jmp    1170 <write_len+0x40>
mov    -0xc(%rbp),%edi
mov    -0x28(%rbp),%rsi
mov    -0x20(%rbp),%rdx
call   1030 <write@plt>
mov    %rax,-0x38(%rbp)
cmpq   $0x0,-0x38(%rbp)
jge    1209 <write_len+0xd9>
mov    0x2e4a(%rip),%rax
mov    (%rax),%eax
mov    0x2e39(%rip),%rcx
cmp    (%rcx),%eax
je     11bf <write_len+0x8f>
mov    0x2e32(%rip),%rax
mov    (%rax),%eax
mov    0x2e11(%rip),%rcx
cmp    (%rcx),%eax
jne    11c4 <write_len+0x94>
jmp    1230 <write_len+0x100>
mov    0x2e15(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    0x2e01(%rip),%rax
mov    (%rax),%edi
call   1040 <strerror@plt>
mov    -0x48(%rbp),%rsi
mov    %eax,%edx
lea    0xe0d(%rip),%rdi
call   1050 <msg@plt>
mov    -0x3c(%rbp),%ecx
mov    0x2dde(%rip),%rax
mov    %ecx,(%rax)
jmp    123b <write_len+0x10b>
mov    -0x38(%rbp),%rax
add    -0x30(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x38(%rbp),%rax
add    -0x28(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x38(%rbp),%rcx
mov    -0x20(%rbp),%rax
sub    %rcx,%rax
mov    %rax,-0x20(%rbp)
cmpq   $0x0,-0x20(%rbp)
ja     1170 <write_len+0x40>
mov    -0x30(%rbp),%rdx
mov    $0xffffffff,%eax
xor    %ecx,%ecx
cmp    $0x0,%rdx
cmovg  %ecx,%eax
cltq
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<write_len>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
test   %rdx,%rdx
je     11c9 <write_len+0x99>
mov    %rdx,%rbx
mov    %rsi,%r14
mov    %edi,%r15d
xor    %r12d,%r12d
mov    0x2e81(%rip),%r13
jmp    116e <write_len+0x3e>
nopl   0x0(%rax)
add    %rax,%r12
add    %rax,%r14
sub    %rax,%rbx
test   %rbx,%rbx
je     11bc <write_len+0x8c>
mov    %r15d,%edi
mov    %r14,%rsi
mov    %rbx,%rdx
call   1030 <write@plt>
test   %rax,%rax
jns    1160 <write_len+0x30>
mov    0x2e58(%rip),%rax
mov    (%rax),%ebp
cmp    0x0(%r13),%ebp
je     1169 <write_len+0x39>
mov    0x2e31(%rip),%rax
cmp    (%rax),%ebp
je     1169 <write_len+0x39>
mov    %ebp,%edi
call   1040 <strerror@plt>
lea    0xe57(%rip),%rdi
mov    %rbx,%rsi
mov    %eax,%edx
call   1050 <msg@plt>
mov    0x2e26(%rip),%rax
mov    %ebp,(%rax)
xor    %eax,%eax
test   %r12,%r12
setle  %al
neg    %rax
jmp    11cb <write_len+0x9b>
xor    %eax,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@errno = global i32 0
@EINTR = global i32 0
@EAGAIN = global i32 0
@.str = [29 x i8] c"Could not write %u bytes: %s\00"
define i64 @write_len(i32 %0, i8* %1, i64 %2) {
%4 = alloca i64
%5 = alloca i32
%6 = alloca i8*
%7 = alloca i64
%8 = alloca i8*
%9 = alloca i64
%10 = alloca i64
%11 = alloca i32
store i32 %0, i32* %5
store i8* %1, i8** %6
store i64 %2, i64* %7
%12 = load i8*, i8** %6
store i8* %12, i8** %8
store i64 0, i64* %9
%13 = load i64, i64* %7
%14 = icmp eq i64 %13, 0
br i1 %14, label %15, label %16
15: ; preds = %3
store i64 0, i64* %4
br label %59
16: ; preds = %3
br label %17
17: ; preds = %50, %16
%18 = load i32, i32* %5
%19 = load i8*, i8** %8
%20 = load i64, i64* %7
%21 = call i64 @write(i32 %18, i8* %19, i64 %20)
store i64 %21, i64* %10
%22 = load i64, i64* %10
%23 = icmp slt i64 %22, 0
br i1 %23, label %24, label %40
24: ; preds = %17
%25 = load i32, i32* @errno
%26 = load i32, i32* @EINTR
%27 = icmp eq i32 %25, %26
br i1 %27, label %32, label %28
28: ; preds = %24
%29 = load i32, i32* @errno
%30 = load i32, i32* @EAGAIN
%31 = icmp eq i32 %29, %30
br i1 %31, label %32, label %33
32: ; preds = %28, %24
br label %50
33: ; preds = %28
%34 = load i32, i32* @errno
store i32 %34, i32* %11
%35 = load i64, i64* %7
%36 = load i32, i32* @errno
%37 = call i32 @strerror(i32 %36)
%38 = call i32 @msg(i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str, i64 0, i64 0), i64 %35, i32 %37)
%39 = load i32, i32* %11
store i32 %39, i32* @errno
br label %53
40: ; preds = %17
%41 = load i64, i64* %10
%42 = load i64, i64* %9
%43 = add nsw i64 %42, %41
store i64 %43, i64* %9
%44 = load i64, i64* %10
%45 = load i8*, i8** %8
%46 = getelementptr inbounds i8, i8* %45, i64 %44
store i8* %46, i8** %8
%47 = load i64, i64* %10
%48 = load i64, i64* %7
%49 = sub i64 %48, %47
store i64 %49, i64* %7
br label %50
50: ; preds = %40, %32
%51 = load i64, i64* %7
%52 = icmp ugt i64 %51, 0
br i1 %52, label %17, label %53
53: ; preds = %50, %33
%54 = load i64, i64* %9
%55 = icmp sgt i64 %54, 0
%56 = zext i1 %55 to i64
%57 = select i1 %55, i32 0, i32 -1
%58 = sext i32 %57 to i64
store i64 %58, i64* %4
br label %59
59: ; preds = %53, %15
%60 = load i64, i64* %4
ret i64 %60
}

LLVM IR (-O2):
@errno = global i32 0
@EINTR = global i32 0
@EAGAIN = global i32 0
@.str = [29 x i8] c"Could not write %u bytes: %s\00"
define i64 @write_len(i32 %0, i8* nocapture %1, i64 %2) {
%4 = icmp eq i64 %2, 0
br i1 %4, label %34, label %5
5: ; preds = %3, %25
%6 = phi i8* [ %26, %25 ], [ %1, %3 ]
%7 = phi i64 [ %27, %25 ], [ 0, %3 ]
%8 = phi i64 [ %28, %25 ], [ %2, %3 ]
%9 = tail call i64 @write(i32 %0, i8* %6, i64 %8)
%10 = icmp slt i64 %9, 0
br i1 %10, label %11, label %21
11: ; preds = %5
%12 = load i32, i32* @errno
%13 = load i32, i32* @EINTR
%14 = icmp eq i32 %12, %13
%15 = load i32, i32* @EAGAIN
%16 = icmp eq i32 %12, %15
%17 = select i1 %14, i1 true, i1 %16
br i1 %17, label %25, label %18
18: ; preds = %11
%19 = tail call i32 @strerror(i32 %12)
%20 = tail call i32 @msg(i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str, i64 0, i64 0), i64 %8, i32 %19)
store i32 %12, i32* @errno
br label %30
21: ; preds = %5
%22 = add nsw i64 %9, %7
%23 = getelementptr inbounds i8, i8* %6, i64 %9
%24 = sub i64 %8, %9
br label %25
25: ; preds = %11, %21
%26 = phi i8* [ %23, %21 ], [ %6, %11 ]
%27 = phi i64 [ %22, %21 ], [ %7, %11 ]
%28 = phi i64 [ %24, %21 ], [ %8, %11 ]
%29 = icmp eq i64 %28, 0
br i1 %29, label %30, label %5
30: ; preds = %25, %18
%31 = phi i64 [ %7, %18 ], [ %27, %25 ]
%32 = icmp slt i64 %31, 1
%33 = sext i1 %32 to i64
br label %34
34: ; preds = %3, %30
%35 = phi i64 [ %33, %30 ], [ 0, %3 ]
ret i64 %35
}