#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 */
struct iovec {
  int iov_len;
  char *iov_base;
};
typedef int ssize_t;

/* Variables and functions */
int EINVAL;
int /*<<< orphan*/ assert(int);
int errno;
int /*<<< orphan*/ free(char *);
scalar_t__ malloc(int);
int /*<<< orphan*/ memcpy(char *, char *, int);
int read(int, char *, int);
int write(int, char *, int);
ssize_t vectorio_buffer(int fildes, const struct iovec *iov, int iovcnt,
                        int readwrite, ssize_t totallen) {
  char *buffer;
  int iovidx, errno_saved;
  ssize_t copied, len, r;
  buffer = (char *)malloc(totallen);
  if (!buffer)
    return -1;
  switch (readwrite) {
  case 1:
    r = read(fildes, buffer, totallen);
    copied = 0;
    iovidx = 0;
    while (copied < r) {
      assert(iovidx < iovcnt);
      len = (((r - copied) < (iov[iovidx].iov_len)) ? (r - copied)
                                                    : (iov[iovidx].iov_len));
      memcpy(iov[iovidx++].iov_base, buffer + copied, len);
      copied += len;
    }
    assert(r < 0 || r == copied);
    break;
  case 2:
    copied = 0;
    for (iovidx = 0; iovidx < iovcnt; iovidx++) {
      memcpy(buffer + copied, iov[iovidx].iov_base, iov[iovidx].iov_len);
      copied += iov[iovidx].iov_len;
    }
    assert(copied == totallen);
    r = write(fildes, buffer, totallen);
    break;
  default:
    assert(0);
    errno = EINVAL;
    r = -1;
  }
  errno_saved = errno;
  free(buffer);
  errno = errno_saved;
  return r;
}


x86 assembly (clang, -O0):
<vectorio_buffer>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
mov    %r8d,-0x1c(%rbp)
mov    -0x1c(%rbp),%edi
call   1080 <malloc@plt>
mov    %rax,-0x28(%rbp)
cmpq   $0x0,-0x28(%rbp)
jne    119c <vectorio_buffer+0x3c>
movl   $0xffffffff,-0x4(%rbp)
jmp    1394 <vectorio_buffer+0x234>
mov    -0x18(%rbp),%eax
mov    %eax,-0x40(%rbp)
sub    $0x1,%eax
je     11c1 <vectorio_buffer+0x61>
jmp    11b0 <vectorio_buffer+0x50>
mov    -0x40(%rbp),%eax
sub    $0x2,%eax
je     12b0 <vectorio_buffer+0x150>
jmp    134d <vectorio_buffer+0x1ed>
mov    -0x8(%rbp),%edi
mov    -0x28(%rbp),%rsi
mov    -0x1c(%rbp),%edx
call   1050 <read@plt>
mov    %eax,-0x3c(%rbp)
movl   $0x0,-0x34(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x3c(%rbp),%eax
jge    1283 <vectorio_buffer+0x123>
mov    -0x2c(%rbp),%eax
cmp    -0x14(%rbp),%eax
setl   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x3c(%rbp),%eax
sub    -0x34(%rbp),%eax
mov    -0x10(%rbp),%rcx
movslq -0x2c(%rbp),%rdx
shl    $0x4,%rdx
add    %rdx,%rcx
cmp    (%rcx),%eax
jge    122b <vectorio_buffer+0xcb>
mov    -0x3c(%rbp),%eax
sub    -0x34(%rbp),%eax
mov    %eax,-0x44(%rbp)
jmp    123f <vectorio_buffer+0xdf>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
mov    (%rax),%eax
mov    %eax,-0x44(%rbp)
mov    -0x44(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x2c(%rbp)
movslq %ecx,%rcx
shl    $0x4,%rcx
add    %rcx,%rax
mov    0x8(%rax),%rdi
mov    -0x28(%rbp),%rsi
movslq -0x34(%rbp),%rax
add    %rax,%rsi
mov    -0x38(%rbp),%edx
call   1070 <memcpy@plt>
mov    -0x38(%rbp),%eax
add    -0x34(%rbp),%eax
mov    %eax,-0x34(%rbp)
jmp    11e1 <vectorio_buffer+0x81>
mov    $0x1,%al
cmpl   $0x0,-0x3c(%rbp)
mov    %al,-0x45(%rbp)
jl     129e <vectorio_buffer+0x13e>
mov    -0x3c(%rbp),%eax
cmp    -0x34(%rbp),%eax
sete   %al
mov    %al,-0x45(%rbp)
mov    -0x45(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
jmp    136d <vectorio_buffer+0x20d>
movl   $0x0,-0x34(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1323 <vectorio_buffer+0x1c3>
mov    -0x28(%rbp),%rdi
movslq -0x34(%rbp),%rax
add    %rax,%rdi
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
mov    0x8(%rax),%rsi
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
mov    (%rax),%edx
call   1070 <memcpy@plt>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
mov    (%rax),%eax
add    -0x34(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    12be <vectorio_buffer+0x15e>
mov    -0x34(%rbp),%eax
cmp    -0x1c(%rbp),%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x8(%rbp),%edi
mov    -0x28(%rbp),%rsi
mov    -0x1c(%rbp),%edx
call   1040 <write@plt>
mov    %eax,-0x3c(%rbp)
jmp    136d <vectorio_buffer+0x20d>
xor    %edi,%edi
call   1060 <assert@plt>
mov    0x2c7d(%rip),%rax
mov    (%rax),%ecx
mov    0x2c7c(%rip),%rax
mov    %ecx,(%rax)
movl   $0xffffffff,-0x3c(%rbp)
mov    0x2c6c(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x30(%rbp)
mov    -0x28(%rbp),%rdi
call   1030 <free@plt>
mov    -0x30(%rbp),%ecx
mov    0x2c54(%rip),%rax
mov    %ecx,(%rax)
mov    -0x3c(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<vectorio_buffer>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %r8d,%r13d
mov    %ecx,%ebp
mov    %edx,%ebx
mov    %rsi,%r12
mov    %edi,%r15d
mov    %r8d,%edi
call   1080 <malloc@plt>
test   %rax,%rax
je     11d7 <vectorio_buffer+0x77>
mov    %rax,%r14
cmp    $0x1,%ebp
je     11e2 <vectorio_buffer+0x82>
cmp    $0x2,%ebp
jne    1251 <vectorio_buffer+0xf1>
mov    %r15d,(%rsp)
test   %ebx,%ebx
jle    1272 <vectorio_buffer+0x112>
mov    %ebx,%ebx
shl    $0x4,%rbx
xor    %r15d,%r15d
xor    %ebp,%ebp
nopl   (%rax)
movslq %ebp,%rbp
lea    (%r14,%rbp,1),%rdi
mov    0x8(%r12,%r15,1),%rsi
mov    (%r12,%r15,1),%edx
call   1070 <memcpy@plt>
add    (%r12,%r15,1),%ebp
add    $0x10,%r15
cmp    %r15,%rbx
jne    11b0 <vectorio_buffer+0x50>
jmp    1274 <vectorio_buffer+0x114>
mov    $0xffffffff,%r15d
jmp    12c0 <vectorio_buffer+0x160>
mov    %r15d,%edi
mov    %r14,%rsi
mov    %r13d,%edx
call   1050 <read@plt>
mov    %eax,%r15d
test   %eax,%eax
jle    1295 <vectorio_buffer+0x135>
movslq %ebx,%rax
mov    %rax,(%rsp)
add    $0x8,%r12
xor    %r13d,%r13d
xor    %ebx,%ebx
nopl   0x0(%rax,%rax,1)
xor    %edi,%edi
cmp    (%rsp),%r13
setl   %dil
call   1060 <assert@plt>
mov    %r15d,%ebp
sub    %ebx,%ebp
mov    -0x8(%r12),%eax
cmp    %eax,%ebp
cmovge %eax,%ebp
add    $0x1,%r13
mov    (%r12),%rdi
movslq %ebx,%rbx
lea    (%r14,%rbx,1),%rsi
mov    %ebp,%edx
call   1070 <memcpy@plt>
add    %ebp,%ebx
add    $0x10,%r12
cmp    %ebx,%r15d
jg     1210 <vectorio_buffer+0xb0>
jmp    1297 <vectorio_buffer+0x137>
xor    %edi,%edi
call   1060 <assert@plt>
mov    0x2d79(%rip),%rax
mov    (%rax),%eax
mov    0x2d78(%rip),%rcx
mov    %eax,(%rcx)
mov    $0xffffffff,%r15d
jmp    12ad <vectorio_buffer+0x14d>
xor    %ebp,%ebp
xor    %edi,%edi
cmp    %r13d,%ebp
sete   %dil
call   1060 <assert@plt>
mov    (%rsp),%edi
mov    %r14,%rsi
mov    %r13d,%edx
call   1040 <write@plt>
mov    %eax,%r15d
jmp    12ad <vectorio_buffer+0x14d>
xor    %ebx,%ebx
test   %r15d,%r15d
sets   %al
cmp    %ebx,%r15d
sete   %cl
or     %al,%cl
movzbl %cl,%edi
call   1060 <assert@plt>
mov    0x2d2c(%rip),%rbx
mov    (%rbx),%ebp
mov    %r14,%rdi
call   1030 <free@plt>
mov    %ebp,(%rbx)
mov    %r15d,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
%struct.iovec = type { i32, i8* }
@EINVAL = global i32 0
@errno = global i32 0
define i32 @vectorio_buffer(i32 %0, %struct.iovec* %1, i32 %2, i32 %3, i32 %4) {
%6 = alloca i32
%7 = alloca i32
%8 = alloca %struct.iovec*
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i8*
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
store i32 %0, i32* %7
store %struct.iovec* %1, %struct.iovec** %8
store i32 %2, i32* %9
store i32 %3, i32* %10
store i32 %4, i32* %11
%18 = load i32, i32* %11
%19 = call i64 @malloc(i32 %18)
%20 = inttoptr i64 %19 to i8*
store i8* %20, i8** %12
%21 = load i8*, i8** %12
%22 = icmp ne i8* %21, null
br i1 %22, label %24, label %23
23: ; preds = %5
store i32 -1, i32* %6
br label %144
24: ; preds = %5
%25 = load i32, i32* %10
switch i32 %25, label %135 [
i32 1, label %26
i32 2, label %91
]
26: ; preds = %24
%27 = load i32, i32* %7
%28 = load i8*, i8** %12
%29 = load i32, i32* %11
%30 = call i32 @read(i32 %27, i8* %28, i32 %29)
store i32 %30, i32* %17
store i32 0, i32* %15
store i32 0, i32* %13
br label %31
31: ; preds = %62, %26
%32 = load i32, i32* %15
%33 = load i32, i32* %17
%34 = icmp slt i32 %32, %33
br i1 %34, label %35, label %80
35: ; preds = %31
%36 = load i32, i32* %13
%37 = load i32, i32* %9
%38 = icmp slt i32 %36, %37
%39 = zext i1 %38 to i32
%40 = call i32 @assert(i32 %39)
%41 = load i32, i32* %17
%42 = load i32, i32* %15
%43 = sub nsw i32 %41, %42
%44 = load %struct.iovec*, %struct.iovec** %8
%45 = load i32, i32* %13
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds %struct.iovec, %struct.iovec* %44, i64 %46
%48 = getelementptr inbounds %struct.iovec, %struct.iovec* %47, i32 0, i32 0
%49 = load i32, i32* %48
%50 = icmp slt i32 %43, %49
br i1 %50, label %51, label %55
51: ; preds = %35
%52 = load i32, i32* %17
%53 = load i32, i32* %15
%54 = sub nsw i32 %52, %53
br label %62
55: ; preds = %35
%56 = load %struct.iovec*, %struct.iovec** %8
%57 = load i32, i32* %13
%58 = sext i32 %57 to i64
%59 = getelementptr inbounds %struct.iovec, %struct.iovec* %56, i64 %58
%60 = getelementptr inbounds %struct.iovec, %struct.iovec* %59, i32 0, i32 0
%61 = load i32, i32* %60
br label %62
62: ; preds = %55, %51
%63 = phi i32 [ %54, %51 ], [ %61, %55 ]
store i32 %63, i32* %16
%64 = load %struct.iovec*, %struct.iovec** %8
%65 = load i32, i32* %13
%66 = add nsw i32 %65, 1
store i32 %66, i32* %13
%67 = sext i32 %65 to i64
%68 = getelementptr inbounds %struct.iovec, %struct.iovec* %64, i64 %67
%69 = getelementptr inbounds %struct.iovec, %struct.iovec* %68, i32 0, i32 1
%70 = load i8*, i8** %69
%71 = load i8*, i8** %12
%72 = load i32, i32* %15
%73 = sext i32 %72 to i64
%74 = getelementptr inbounds i8, i8* %71, i64 %73
%75 = load i32, i32* %16
%76 = call i32 @memcpy(i8* %70, i8* %74, i32 %75)
%77 = load i32, i32* %16
%78 = load i32, i32* %15
%79 = add nsw i32 %78, %77
store i32 %79, i32* %15
br label %31
80: ; preds = %31
%81 = load i32, i32* %17
%82 = icmp slt i32 %81, 0
br i1 %82, label %87, label %83
83: ; preds = %80
%84 = load i32, i32* %17
%85 = load i32, i32* %15
%86 = icmp eq i32 %84, %85
br label %87
87: ; preds = %83, %80
%88 = phi i1 [ true, %80 ], [ %86, %83 ]
%89 = zext i1 %88 to i32
%90 = call i32 @assert(i32 %89)
br label %138
91: ; preds = %24
store i32 0, i32* %15
store i32 0, i32* %13
br label %92
92: ; preds = %122, %91
%93 = load i32, i32* %13
%94 = load i32, i32* %9
%95 = icmp slt i32 %93, %94
br i1 %95, label %96, label %125
96: ; preds = %92
%97 = load i8*, i8** %12
%98 = load i32, i32* %15
%99 = sext i32 %98 to i64
%100 = getelementptr inbounds i8, i8* %97, i64 %99
%101 = load %struct.iovec*, %struct.iovec** %8
%102 = load i32, i32* %13
%103 = sext i32 %102 to i64
%104 = getelementptr inbounds %struct.iovec, %struct.iovec* %101, i64 %103
%105 = getelementptr inbounds %struct.iovec, %struct.iovec* %104, i32 0, i32 1
%106 = load i8*, i8** %105
%107 = load %struct.iovec*, %struct.iovec** %8
%108 = load i32, i32* %13
%109 = sext i32 %108 to i64
%110 = getelementptr inbounds %struct.iovec, %struct.iovec* %107, i64 %109
%111 = getelementptr inbounds %struct.iovec, %struct.iovec* %110, i32 0, i32 0
%112 = load i32, i32* %111
%113 = call i32 @memcpy(i8* %100, i8* %106, i32 %112)
%114 = load %struct.iovec*, %struct.iovec** %8
%115 = load i32, i32* %13
%116 = sext i32 %115 to i64
%117 = getelementptr inbounds %struct.iovec, %struct.iovec* %114, i64 %116
%118 = getelementptr inbounds %struct.iovec, %struct.iovec* %117, i32 0, i32 0
%119 = load i32, i32* %118
%120 = load i32, i32* %15
%121 = add nsw i32 %120, %119
store i32 %121, i32* %15
br label %122
122: ; preds = %96
%123 = load i32, i32* %13
%124 = add nsw i32 %123, 1
store i32 %124, i32* %13
br label %92
125: ; preds = %92
%126 = load i32, i32* %15
%127 = load i32, i32* %11
%128 = icmp eq i32 %126, %127
%129 = zext i1 %128 to i32
%130 = call i32 @assert(i32 %129)
%131 = load i32, i32* %7
%132 = load i8*, i8** %12
%133 = load i32, i32* %11
%134 = call i32 @write(i32 %131, i8* %132, i32 %133)
store i32 %134, i32* %17
br label %138
135: ; preds = %24
%136 = call i32 @assert(i32 0)
%137 = load i32, i32* @EINVAL
store i32 %137, i32* @errno
store i32 -1, i32* %17
br label %138
138: ; preds = %135, %125, %87
%139 = load i32, i32* @errno
store i32 %139, i32* %14
%140 = load i8*, i8** %12
%141 = call i32 @free(i8* %140)
%142 = load i32, i32* %14
store i32 %142, i32* @errno
%143 = load i32, i32* %17
store i32 %143, i32* %6
br label %144
144: ; preds = %138, %23
%145 = load i32, i32* %6
ret i32 %145
}

LLVM IR (-O2):
%struct.iovec = type { i32, i8* }
@EINVAL = global i32 0
@errno = global i32 0
define i32 @vectorio_buffer(i32 %0, %struct.iovec* nocapture %1, i32 %2, i32 %3, i32 %4) {
%6 = tail call i64 @malloc(i32 %4)
%7 = inttoptr i64 %6 to i8*
%8 = icmp eq i64 %6, 0
br i1 %8, label %72, label %9
9: ; preds = %5
switch i32 %3, label %65 [
i32 1, label %14
i32 2, label %10
]
10: ; preds = %9
%11 = icmp sgt i32 %2, 0
br i1 %11, label %12, label %59
12: ; preds = %10
%13 = zext i32 %2 to i64
br label %45
14: ; preds = %9
%15 = tail call i32 @read(i32 %0, i8* %7, i32 %4)
%16 = icmp sgt i32 %15, 0
br i1 %16, label %17, label %38
17: ; preds = %14
%18 = sext i32 %2 to i64
br label %19
19: ; preds = %17, %19
%20 = phi i64 [ 0, %17 ], [ %30, %19 ]
%21 = phi i32 [ 0, %17 ], [ %36, %19 ]
%22 = icmp slt i64 %20, %18
%23 = zext i1 %22 to i32
%24 = tail call i32 @assert(i32 %23)
%25 = sub nsw i32 %15, %21
%26 = getelementptr inbounds %struct.iovec, %struct.iovec* %1, i64 %20, i32 0
%27 = load i32, i32* %26
%28 = icmp slt i32 %25, %27
%29 = select i1 %28, i32 %25, i32 %27
%30 = add nuw i64 %20, 1
%31 = getelementptr inbounds %struct.iovec, %struct.iovec* %1, i64 %20, i32 1
%32 = load i8*, i8** %31
%33 = sext i32 %21 to i64
%34 = getelementptr inbounds i8, i8* %7, i64 %33
%35 = tail call i32 @memcpy(i8* %32, i8* %34, i32 %29)
%36 = add nsw i32 %29, %21
%37 = icmp sgt i32 %15, %36
br i1 %37, label %19, label %38
38: ; preds = %19, %14
%39 = phi i32 [ 0, %14 ], [ %36, %19 ]
%40 = icmp slt i32 %15, 0
%41 = icmp eq i32 %15, %39
%42 = select i1 %40, i1 true, i1 %41
%43 = zext i1 %42 to i32
%44 = tail call i32 @assert(i32 %43)
br label %68
45: ; preds = %12, %45
%46 = phi i64 [ 0, %12 ], [ %57, %45 ]
%47 = phi i32 [ 0, %12 ], [ %56, %45 ]
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds i8, i8* %7, i64 %48
%50 = getelementptr inbounds %struct.iovec, %struct.iovec* %1, i64 %46, i32 1
%51 = load i8*, i8** %50
%52 = getelementptr inbounds %struct.iovec, %struct.iovec* %1, i64 %46, i32 0
%53 = load i32, i32* %52
%54 = tail call i32 @memcpy(i8* %49, i8* %51, i32 %53)
%55 = load i32, i32* %52
%56 = add nsw i32 %55, %47
%57 = add nuw nsw i64 %46, 1
%58 = icmp eq i64 %57, %13
br i1 %58, label %59, label %45
59: ; preds = %45, %10
%60 = phi i32 [ 0, %10 ], [ %56, %45 ]
%61 = icmp eq i32 %60, %4
%62 = zext i1 %61 to i32
%63 = tail call i32 @assert(i32 %62)
%64 = tail call i32 @write(i32 %0, i8* %7, i32 %4)
br label %68
65: ; preds = %9
%66 = tail call i32 @assert(i32 0)
%67 = load i32, i32* @EINVAL
store i32 %67, i32* @errno
br label %68
68: ; preds = %65, %59, %38
%69 = phi i32 [ -1, %65 ], [ %64, %59 ], [ %15, %38 ]
%70 = load i32, i32* @errno
%71 = tail call i32 @free(i8* %7)
store i32 %70, i32* @errno
br label %72
72: ; preds = %5, %68
%73 = phi i32 [ %69, %68 ], [ -1, %5 ]
ret i32 %73
}