#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 stat {
  int st_mode;
};
typedef scalar_t__ ssize_t;

/* Variables and functions */
int EINTR;
int O_CREAT;
int O_EXCL;
int /*<<< orphan*/ O_RDONLY;
int O_WRONLY;
scalar_t__ close(int);
int errno;
scalar_t__ fstat(int, struct stat *);
int open(char const *, int, ...);
scalar_t__ sendfile(int, int, int /*<<< orphan*/ *, int);
int copyfile(const char *src, const char *dest) {
  int fsrc = -1;
  int fdest = -1;
  int saved_errno;
  ssize_t sent;
  struct stat attr;
  do {
    if (fsrc = open(src, O_RDONLY), fsrc < 0)
      goto fail;
  } while (0);
  do {
    if (fstat(fsrc, &attr))
      goto fail;
  } while (0);
  do {
    if (fdest = open(dest, O_WRONLY | O_CREAT | O_EXCL, attr.st_mode & 07777),
        fdest < 0)
      goto fail;
  } while (0);
  do {
    sent = sendfile(fdest, fsrc, NULL, 0x7ffff000UL);
    do {
      if ((sent < 0) && (errno != EINTR))
        goto fail;
    } while (0);
  } while (sent);
  while (close(fsrc) && (errno == EINTR))
    ;
  while (close(fdest) && (errno == EINTR))
    ;
  return 0;
fail:
  saved_errno = errno;
  if (fsrc >= 0)
    while (close(fsrc) && (errno == EINTR))
      ;
  if (fdest >= 0)
    while (close(fdest) && (errno == EINTR))
      ;
  errno = saved_errno;
  return -1;
}


x86 assembly (clang, -O0):
<copyfile>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
movl   $0xffffffff,-0x1c(%rbp)
movl   $0xffffffff,-0x20(%rbp)
mov    -0x10(%rbp),%rdi
mov    0x2e77(%rip),%rax
mov    (%rax),%esi
mov    $0x0,%al
call   1050 <open@plt>
mov    %eax,-0x1c(%rbp)
cmpl   $0x0,-0x1c(%rbp)
jge    1184 <copyfile+0x44>
jmp    12f7 <copyfile+0x1b7>
jmp    1189 <copyfile+0x49>
jmp    118e <copyfile+0x4e>
mov    -0x1c(%rbp),%edi
lea    -0x38(%rbp),%rsi
call   1060 <fstat@plt>
cmp    $0x0,%rax
je     11a9 <copyfile+0x69>
jmp    12f7 <copyfile+0x1b7>
jmp    11ae <copyfile+0x6e>
jmp    11b3 <copyfile+0x73>
mov    -0x18(%rbp),%rdi
mov    0x2df2(%rip),%rax
mov    (%rax),%esi
mov    0x2e31(%rip),%rax
or     (%rax),%esi
mov    0x2e00(%rip),%rax
or     (%rax),%esi
mov    -0x38(%rbp),%edx
and    $0xfff,%edx
mov    $0x0,%al
call   1050 <open@plt>
mov    %eax,-0x20(%rbp)
cmpl   $0x0,-0x20(%rbp)
jge    11f4 <copyfile+0xb4>
jmp    12f7 <copyfile+0x1b7>
jmp    11f9 <copyfile+0xb9>
jmp    11fe <copyfile+0xbe>
mov    -0x20(%rbp),%edi
mov    -0x1c(%rbp),%esi
xor    %eax,%eax
mov    %eax,%edx
mov    $0x7ffff000,%ecx
call   1040 <sendfile@plt>
mov    %rax,-0x30(%rbp)
cmpq   $0x0,-0x30(%rbp)
jge    123e <copyfile+0xfe>
mov    0x2da0(%rip),%rax
mov    (%rax),%eax
mov    0x2d8f(%rip),%rcx
cmp    (%rcx),%eax
je     123e <copyfile+0xfe>
jmp    12f7 <copyfile+0x1b7>
jmp    1243 <copyfile+0x103>
jmp    1248 <copyfile+0x108>
cmpq   $0x0,-0x30(%rbp)
jne    11fe <copyfile+0xbe>
jmp    1258 <copyfile+0x118>
mov    -0x1c(%rbp),%edi
call   1030 <close@plt>
mov    %rax,%rcx
xor    %eax,%eax
cmp    $0x0,%rcx
mov    %al,-0x39(%rbp)
je     128a <copyfile+0x14a>
mov    0x2d4f(%rip),%rax
mov    (%rax),%eax
mov    0x2d3e(%rip),%rcx
cmp    (%rcx),%eax
sete   %al
mov    %al,-0x39(%rbp)
mov    -0x39(%rbp),%al
test   $0x1,%al
jne    129a <copyfile+0x15a>
jmp    129f <copyfile+0x15f>
jmp    1258 <copyfile+0x118>
jmp    12a4 <copyfile+0x164>
mov    -0x20(%rbp),%edi
call   1030 <close@plt>
mov    %rax,%rcx
xor    %eax,%eax
cmp    $0x0,%rcx
mov    %al,-0x3a(%rbp)
je     12d6 <copyfile+0x196>
mov    0x2d03(%rip),%rax
mov    (%rax),%eax
mov    0x2cf2(%rip),%rcx
cmp    (%rcx),%eax
sete   %al
mov    %al,-0x3a(%rbp)
mov    -0x3a(%rbp),%al
test   $0x1,%al
jne    12e6 <copyfile+0x1a6>
jmp    12eb <copyfile+0x1ab>
jmp    12a4 <copyfile+0x164>
movl   $0x0,-0x4(%rbp)
jmp    13cc <copyfile+0x28c>
mov    0x2cca(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x24(%rbp)
cmpl   $0x0,-0x1c(%rbp)
jl     135e <copyfile+0x21e>
jmp    1312 <copyfile+0x1d2>
mov    -0x1c(%rbp),%edi
call   1030 <close@plt>
mov    %rax,%rcx
xor    %eax,%eax
cmp    $0x0,%rcx
mov    %al,-0x3b(%rbp)
je     1344 <copyfile+0x204>
mov    0x2c95(%rip),%rax
mov    (%rax),%eax
mov    0x2c84(%rip),%rcx
cmp    (%rcx),%eax
sete   %al
mov    %al,-0x3b(%rbp)
mov    -0x3b(%rbp),%al
test   $0x1,%al
jne    1354 <copyfile+0x214>
jmp    1359 <copyfile+0x219>
jmp    1312 <copyfile+0x1d2>
jmp    135e <copyfile+0x21e>
cmpl   $0x0,-0x20(%rbp)
jl     13b9 <copyfile+0x279>
jmp    136d <copyfile+0x22d>
mov    -0x20(%rbp),%edi
call   1030 <close@plt>
mov    %rax,%rcx
xor    %eax,%eax
cmp    $0x0,%rcx
mov    %al,-0x3c(%rbp)
je     139f <copyfile+0x25f>
mov    0x2c3a(%rip),%rax
mov    (%rax),%eax
mov    0x2c29(%rip),%rcx
cmp    (%rcx),%eax
sete   %al
mov    %al,-0x3c(%rbp)
mov    -0x3c(%rbp),%al
test   $0x1,%al
jne    13af <copyfile+0x26f>
jmp    13b4 <copyfile+0x274>
jmp    136d <copyfile+0x22d>
jmp    13b9 <copyfile+0x279>
mov    -0x24(%rbp),%ecx
mov    0x2c05(%rip),%rax
mov    %ecx,(%rax)
movl   $0xffffffff,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<copyfile>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rsi,%r14
mov    0x2e8b(%rip),%rax
mov    (%rax),%esi
xor    %eax,%eax
call   1050 <open@plt>
test   %eax,%eax
js     11e6 <copyfile+0xa6>
mov    %eax,%r13d
mov    %rsp,%rsi
mov    %eax,%edi
call   1060 <fstat@plt>
mov    $0xffffffff,%r12d
test   %rax,%rax
je     120e <copyfile+0xce>
mov    0x2e3f(%rip),%rax
mov    (%rax),%r14d
mov    0x2e35(%rip),%rbx
mov    0x2e26(%rip),%rbp
nopw   0x0(%rax,%rax,1)
mov    %r13d,%edi
call   1030 <close@plt>
test   %rax,%rax
je     11b4 <copyfile+0x74>
mov    0x0(%rbp),%eax
cmp    %eax,(%rbx)
je     11a0 <copyfile+0x60>
test   %r12d,%r12d
js     11f0 <copyfile+0xb0>
mov    0x2e08(%rip),%rbx
mov    0x2df9(%rip),%rbp
nopw   0x0(%rax,%rax,1)
mov    %r12d,%edi
call   1030 <close@plt>
test   %rax,%rax
je     11f0 <copyfile+0xb0>
mov    0x0(%rbp),%eax
cmp    %eax,(%rbx)
je     11d0 <copyfile+0x90>
jmp    11f0 <copyfile+0xb0>
mov    0x2ddb(%rip),%rax
mov    (%rax),%r14d
mov    0x2dd1(%rip),%rax
mov    %r14d,(%rax)
mov    $0xffffffff,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    0x2d9b(%rip),%rax
mov    0x2ddc(%rip),%rcx
mov    (%rcx),%esi
or     (%rax),%esi
mov    0x2da9(%rip),%rax
or     (%rax),%esi
mov    $0xfff,%edx
and    (%rsp),%edx
mov    %r14,%rdi
xor    %eax,%eax
call   1050 <open@plt>
mov    %eax,%r12d
test   %eax,%eax
js     1182 <copyfile+0x42>
mov    0x2d7b(%rip),%r14
mov    0x2d6c(%rip),%r15
jmp    1265 <copyfile+0x125>
cs nopw 0x0(%rax,%rax,1)
test   %rax,%rax
je     12a0 <copyfile+0x160>
mov    %r12d,%edi
mov    %r13d,%esi
xor    %edx,%edx
mov    $0x7ffff000,%ecx
call   1040 <sendfile@plt>
test   %rax,%rax
jns    1260 <copyfile+0x120>
mov    (%r14),%ecx
cmp    (%r15),%ecx
je     1260 <copyfile+0x120>
mov    (%r14),%r14d
test   %r13d,%r13d
jns    118c <copyfile+0x4c>
jmp    11b4 <copyfile+0x74>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %r13d,%edi
call   1030 <close@plt>
test   %rax,%rax
je     12cc <copyfile+0x18c>
mov    (%r15),%eax
cmp    %eax,(%r14)
je     12a0 <copyfile+0x160>
jmp    12cc <copyfile+0x18c>
nopw   0x0(%rax,%rax,1)
mov    (%r15),%ecx
cmp    %ecx,(%r14)
jne    11ff <copyfile+0xbf>
mov    %r12d,%edi
call   1030 <close@plt>
mov    %rax,%rcx
xor    %eax,%eax
test   %rcx,%rcx
jne    12c0 <copyfile+0x180>
jmp    11ff <copyfile+0xbf>

LLVM IR (-O0):
%struct.stat = type { i32 }
@O_RDONLY = global i32 0
@O_WRONLY = global i32 0
@O_CREAT = global i32 0
@O_EXCL = global i32 0
@errno = global i32 0
@EINTR = global i32 0
define i32 @copyfile(i8* %0, i8* %1) {
%3 = alloca i32
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i64
%10 = alloca %struct.stat
store i8* %0, i8** %4
store i8* %1, i8** %5
store i32 -1, i32* %6
store i32 -1, i32* %7
br label %11
11: ; preds = %2
%12 = load i8*, i8** %4
%13 = load i32, i32* @O_RDONLY
%14 = call i32 (i8*, i32, ...) @open(i8* %12, i32 %13)
store i32 %14, i32* %6
%15 = load i32, i32* %6
%16 = icmp slt i32 %15, 0
br i1 %16, label %17, label %18
17: ; preds = %11
br label %85
18: ; preds = %11
br label %19
19: ; preds = %18
br label %20
20: ; preds = %19
%21 = load i32, i32* %6
%22 = call i64 @fstat(i32 %21, %struct.stat* %10)
%23 = icmp ne i64 %22, 0
br i1 %23, label %24, label %25
24: ; preds = %20
br label %85
25: ; preds = %20
br label %26
26: ; preds = %25
br label %27
27: ; preds = %26
%28 = load i8*, i8** %5
%29 = load i32, i32* @O_WRONLY
%30 = load i32, i32* @O_CREAT
%31 = or i32 %29, %30
%32 = load i32, i32* @O_EXCL
%33 = or i32 %31, %32
%34 = getelementptr inbounds %struct.stat, %struct.stat* %10, i32 0, i32 0
%35 = load i32, i32* %34
%36 = and i32 %35, 4095
%37 = call i32 (i8*, i32, ...) @open(i8* %28, i32 %33, i32 %36)
store i32 %37, i32* %7
%38 = load i32, i32* %7
%39 = icmp slt i32 %38, 0
br i1 %39, label %40, label %41
40: ; preds = %27
br label %85
41: ; preds = %27
br label %42
42: ; preds = %41
br label %43
43: ; preds = %57, %42
%44 = load i32, i32* %7
%45 = load i32, i32* %6
%46 = call i64 @sendfile(i32 %44, i32 %45, i32* null, i32 2147479552)
store i64 %46, i64* %9
br label %47
47: ; preds = %43
%48 = load i64, i64* %9
%49 = icmp slt i64 %48, 0
br i1 %49, label %50, label %55
50: ; preds = %47
%51 = load i32, i32* @errno
%52 = load i32, i32* @EINTR
%53 = icmp ne i32 %51, %52
br i1 %53, label %54, label %55
54: ; preds = %50
br label %85
55: ; preds = %50, %47
br label %56
56: ; preds = %55
br label %57
57: ; preds = %56
%58 = load i64, i64* %9
%59 = icmp ne i64 %58, 0
br i1 %59, label %43, label %60
60: ; preds = %57
br label %61
61: ; preds = %71, %60
%62 = load i32, i32* %6
%63 = call i64 @close(i32 %62)
%64 = icmp ne i64 %63, 0
br i1 %64, label %65, label %69
65: ; preds = %61
%66 = load i32, i32* @errno
%67 = load i32, i32* @EINTR
%68 = icmp eq i32 %66, %67
br label %69
69: ; preds = %65, %61
%70 = phi i1 [ false, %61 ], [ %68, %65 ]
br i1 %70, label %71, label %72
71: ; preds = %69
br label %61
72: ; preds = %69
br label %73
73: ; preds = %83, %72
%74 = load i32, i32* %7
%75 = call i64 @close(i32 %74)
%76 = icmp ne i64 %75, 0
br i1 %76, label %77, label %81
77: ; preds = %73
%78 = load i32, i32* @errno
%79 = load i32, i32* @EINTR
%80 = icmp eq i32 %78, %79
br label %81
81: ; preds = %77, %73
%82 = phi i1 [ false, %73 ], [ %80, %77 ]
br i1 %82, label %83, label %84
83: ; preds = %81
br label %73
84: ; preds = %81
store i32 0, i32* %3
br label %120
85: ; preds = %54, %40, %24, %17
%86 = load i32, i32* @errno
store i32 %86, i32* %8
%87 = load i32, i32* %6
%88 = icmp sge i32 %87, 0
br i1 %88, label %89, label %102
89: ; preds = %85
br label %90
90: ; preds = %100, %89
%91 = load i32, i32* %6
%92 = call i64 @close(i32 %91)
%93 = icmp ne i64 %92, 0
br i1 %93, label %94, label %98
94: ; preds = %90
%95 = load i32, i32* @errno
%96 = load i32, i32* @EINTR
%97 = icmp eq i32 %95, %96
br label %98
98: ; preds = %94, %90
%99 = phi i1 [ false, %90 ], [ %97, %94 ]
br i1 %99, label %100, label %101
100: ; preds = %98
br label %90
101: ; preds = %98
br label %102
102: ; preds = %101, %85
%103 = load i32, i32* %7
%104 = icmp sge i32 %103, 0
br i1 %104, label %105, label %118
105: ; preds = %102
br label %106
106: ; preds = %116, %105
%107 = load i32, i32* %7
%108 = call i64 @close(i32 %107)
%109 = icmp ne i64 %108, 0
br i1 %109, label %110, label %114
110: ; preds = %106
%111 = load i32, i32* @errno
%112 = load i32, i32* @EINTR
%113 = icmp eq i32 %111, %112
br label %114
114: ; preds = %110, %106
%115 = phi i1 [ false, %106 ], [ %113, %110 ]
br i1 %115, label %116, label %117
116: ; preds = %114
br label %106
117: ; preds = %114
br label %118
118: ; preds = %117, %102
%119 = load i32, i32* %8
store i32 %119, i32* @errno
store i32 -1, i32* %3
br label %120
120: ; preds = %118, %84
%121 = load i32, i32* %3
ret i32 %121
}

LLVM IR (-O2):
%struct.stat = type { i32 }
@O_RDONLY = global i32 0
@O_WRONLY = global i32 0
@O_CREAT = global i32 0
@O_EXCL = global i32 0
@errno = global i32 0
@EINTR = global i32 0
define i32 @copyfile(i8* nocapture %0, i8* nocapture %1) {
%3 = alloca %struct.stat
%4 = bitcast %struct.stat* %3 to i8*
%5 = load i32, i32* @O_RDONLY
%6 = tail call i32 (i8*, i32, ...) @open(i8* %0, i32 %5)
%7 = icmp slt i32 %6, 0
br i1 %7, label %8, label %10
8: ; preds = %2
%9 = load i32, i32* @errno
br label %74
10: ; preds = %2
%11 = call i64 @fstat(i32 %6, %struct.stat* %3)
%12 = icmp eq i64 %11, 0
br i1 %12, label %13, label %47
13: ; preds = %10
%14 = load i32, i32* @O_WRONLY
%15 = load i32, i32* @O_CREAT
%16 = or i32 %15, %14
%17 = load i32, i32* @O_EXCL
%18 = or i32 %16, %17
%19 = getelementptr inbounds %struct.stat, %struct.stat* %3, i64 0, i32 0
%20 = load i32, i32* %19
%21 = and i32 %20, 4095
%22 = tail call i32 (i8*, i32, ...) @open(i8* %1, i32 %18, i32 %21)
%23 = icmp slt i32 %22, 0
br i1 %23, label %47, label %24
24: ; preds = %13, %31
%25 = tail call i64 @sendfile(i32 %22, i32 %6, i32* null, i32 2147479552)
%26 = icmp slt i64 %25, 0
br i1 %26, label %27, label %31
27: ; preds = %24
%28 = load i32, i32* @errno
%29 = load i32, i32* @EINTR
%30 = icmp eq i32 %28, %29
br i1 %30, label %31, label %50
31: ; preds = %24, %27
%32 = icmp eq i64 %25, 0
br i1 %32, label %33, label %24
33: ; preds = %31, %33
%34 = tail call i64 @close(i32 %6)
%35 = icmp ne i64 %34, 0
%36 = load i32, i32* @errno
%37 = load i32, i32* @EINTR
%38 = icmp eq i32 %36, %37
%39 = select i1 %35, i1 %38, i1 false
br i1 %39, label %33, label %40
40: ; preds = %33, %40
%41 = tail call i64 @close(i32 %22)
%42 = icmp ne i64 %41, 0
%43 = load i32, i32* @errno
%44 = load i32, i32* @EINTR
%45 = icmp eq i32 %43, %44
%46 = select i1 %42, i1 %45, i1 false
br i1 %46, label %40, label %76
47: ; preds = %13, %10
%48 = phi i32 [ %22, %13 ], [ -1, %10 ]
%49 = load i32, i32* @errno
br label %53
50: ; preds = %27
%51 = load i32, i32* @errno
%52 = icmp sgt i32 %6, -1
br i1 %52, label %53, label %63
53: ; preds = %47, %50
%54 = phi i32 [ %49, %47 ], [ %51, %50 ]
%55 = phi i32 [ %48, %47 ], [ %22, %50 ]
br label %56
56: ; preds = %53, %56
%57 = tail call i64 @close(i32 %6)
%58 = icmp ne i64 %57, 0
%59 = load i32, i32* @errno
%60 = load i32, i32* @EINTR
%61 = icmp eq i32 %59, %60
%62 = select i1 %58, i1 %61, i1 false
br i1 %62, label %56, label %63
63: ; preds = %56, %50
%64 = phi i32 [ %51, %50 ], [ %54, %56 ]
%65 = phi i32 [ %22, %50 ], [ %55, %56 ]
%66 = icmp sgt i32 %65, -1
br i1 %66, label %67, label %74
67: ; preds = %63, %67
%68 = tail call i64 @close(i32 %65)
%69 = icmp ne i64 %68, 0
%70 = load i32, i32* @errno
%71 = load i32, i32* @EINTR
%72 = icmp eq i32 %70, %71
%73 = select i1 %69, i1 %72, i1 false
br i1 %73, label %67, label %74
74: ; preds = %67, %8, %63
%75 = phi i32 [ %9, %8 ], [ %64, %63 ], [ %64, %67 ]
store i32 %75, i32* @errno
br label %76
76: ; preds = %40, %74
%77 = phi i32 [ -1, %74 ], [ 0, %40 ]
ret i32 %77
}