#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 char uint32_t;

/* Variables and functions */
int layer3_write(char *, int);
int /*<<< orphan*/ value_to_char_array(char, char *);
int layer4_write(char *msg, int len) {
  static int _error = 0;
  if ((_error == -1))
    return _error = -1;
  uint32_t checksum = 0;
  for (int i = 0; i < len; ++i)
    checksum += msg[i];
  char checksum_buf[sizeof(unsigned)];
  value_to_char_array(checksum, checksum_buf);
  if (((layer3_write(checksum_buf, sizeof(unsigned))) == -1))
    return _error = -1;
  if (((layer3_write(msg, len)) == -1))
    return _error = -1;
  return len;
}


x86 assembly (clang, -O0):
<layer4_write>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
cmpl   $0xffffffff,0x2efe(%rip)
jne    1152 <layer4_write+0x32>
movl   $0xffffffff,0x2eee(%rip)
ff ff ff
movl   $0xffffffff,-0x4(%rbp)
jmp    11f9 <layer4_write+0xd9>
movb   $0x0,-0x15(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    118c <layer4_write+0x6c>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%ecx
movsbl -0x15(%rbp),%eax
add    %ecx,%eax
mov    %al,-0x15(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    115d <layer4_write+0x3d>
mov    -0x15(%rbp),%al
lea    -0x20(%rbp),%rsi
movsbl %al,%edi
call   1030 <value_to_char_array@plt>
lea    -0x20(%rbp),%rdi
mov    $0x4,%esi
call   1040 <layer3_write@plt>
cmp    $0xffffffff,%eax
jne    11c8 <layer4_write+0xa8>
movl   $0xffffffff,0x2e78(%rip)
ff ff ff
movl   $0xffffffff,-0x4(%rbp)
jmp    11f9 <layer4_write+0xd9>
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
call   1040 <layer3_write@plt>
cmp    $0xffffffff,%eax
jne    11f3 <layer4_write+0xd3>
movl   $0xffffffff,0x2e4d(%rip)
ff ff ff
movl   $0xffffffff,-0x4(%rbp)
jmp    11f9 <layer4_write+0xd9>
mov    -0x14(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<layer4_write>:
push   %rbp
push   %r14
push   %rbx
sub    $0x10,%rsp
cmpb   $0x0,0x2f05(%rip)
jne    12ce <layer4_write+0x1ae>
mov    %esi,%r14d
mov    %rdi,%rbx
test   %esi,%esi
jle    1151 <layer4_write+0x31>
mov    %r14d,%eax
cmp    $0x8,%r14d
jae    1158 <layer4_write+0x38>
xor    %ecx,%ecx
xor    %edx,%edx
jmp    1290 <layer4_write+0x170>
xor    %edx,%edx
jmp    129c <layer4_write+0x17c>
cmp    $0x20,%r14d
jae    1167 <layer4_write+0x47>
xor    %edx,%edx
xor    %ecx,%ecx
jmp    124e <layer4_write+0x12e>
mov    %eax,%ecx
and    $0xffffffe0,%ecx
lea    -0x20(%rcx),%rsi
mov    %rsi,%rdi
shr    $0x5,%rdi
add    $0x1,%rdi
mov    %edi,%edx
and    $0x3,%edx
cmp    $0x60,%rsi
jae    1192 <layer4_write+0x72>
pxor   %xmm0,%xmm0
xor    %esi,%esi
pxor   %xmm1,%xmm1
jmp    11f9 <layer4_write+0xd9>
and    $0xfffffffffffffffc,%rdi
pxor   %xmm0,%xmm0
xor    %esi,%esi
pxor   %xmm1,%xmm1
movdqu (%rbx,%rsi,1),%xmm2
paddb  %xmm0,%xmm2
movdqu 0x10(%rbx,%rsi,1),%xmm0
paddb  %xmm1,%xmm0
movdqu 0x20(%rbx,%rsi,1),%xmm1
movdqu 0x30(%rbx,%rsi,1),%xmm3
movdqu 0x40(%rbx,%rsi,1),%xmm4
paddb  %xmm1,%xmm4
paddb  %xmm2,%xmm4
movdqu 0x50(%rbx,%rsi,1),%xmm2
paddb  %xmm3,%xmm2
paddb  %xmm0,%xmm2
movdqu 0x60(%rbx,%rsi,1),%xmm0
paddb  %xmm4,%xmm0
movdqu 0x70(%rbx,%rsi,1),%xmm1
paddb  %xmm2,%xmm1
sub    $0xffffffffffffff80,%rsi
add    $0xfffffffffffffffc,%rdi
jne    11a0 <layer4_write+0x80>
test   %rdx,%rdx
je     122c <layer4_write+0x10c>
add    %rbx,%rsi
add    $0x10,%rsi
shl    $0x5,%rdx
xor    %edi,%edi
nopl   0x0(%rax,%rax,1)
movdqu -0x10(%rsi,%rdi,1),%xmm2
paddb  %xmm2,%xmm0
movdqu (%rsi,%rdi,1),%xmm2
paddb  %xmm2,%xmm1
add    $0x20,%rdi
cmp    %rdi,%rdx
jne    1210 <layer4_write+0xf0>
paddb  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddb  %xmm0,%xmm1
pxor   %xmm0,%xmm0
psadbw %xmm1,%xmm0
movd   %xmm0,%edx
cmp    %rax,%rcx
je     129c <layer4_write+0x17c>
test   $0x18,%al
je     1290 <layer4_write+0x170>
mov    %rcx,%rsi
mov    %eax,%ecx
and    $0xfffffff8,%ecx
movzbl %dl,%edx
movd   %edx,%xmm0
nopl   (%rax)
movq   (%rbx,%rsi,1),%xmm1
paddb  %xmm1,%xmm0
add    $0x8,%rsi
cmp    %rsi,%rcx
jne    1260 <layer4_write+0x140>
pxor   %xmm1,%xmm1
psadbw %xmm1,%xmm0
movd   %xmm0,%edx
cmp    %rax,%rcx
je     129c <layer4_write+0x17c>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    (%rbx,%rcx,1),%dl
add    $0x1,%rcx
cmp    %rcx,%rax
jne    1290 <layer4_write+0x170>
movsbl %dl,%edi
lea    0xc(%rsp),%rbp
mov    %rbp,%rsi
call   1030 <value_to_char_array@plt>
mov    %rbp,%rdi
mov    $0x4,%esi
call   1040 <layer3_write@plt>
cmp    $0xffffffff,%eax
je     12ce <layer4_write+0x1ae>
mov    %rbx,%rdi
mov    %r14d,%esi
call   1040 <layer3_write@plt>
cmp    $0xffffffff,%eax
jne    12db <layer4_write+0x1bb>
movb   $0x1,0x2d5f(%rip)
mov    $0xffffffff,%r14d
mov    %r14d,%eax
add    $0x10,%rsp
pop    %rbx
pop    %r14
pop    %rbp
ret

LLVM IR (-O0):
@layer4_write._error = internal global i32 0
define i32 @layer4_write(i8* %0, i32 %1) {
%3 = alloca i32
%4 = alloca i8*
%5 = alloca i32
%6 = alloca i8
%7 = alloca i32
%8 = alloca [4 x i8]
store i8* %0, i8** %4
store i32 %1, i32* %5
%9 = load i32, i32* @layer4_write._error
%10 = icmp eq i32 %9, -1
br i1 %10, label %11, label %12
11: ; preds = %2
store i32 -1, i32* @layer4_write._error
store i32 -1, i32* %3
br label %47
12: ; preds = %2
store i8 0, i8* %6
store i32 0, i32* %7
br label %13
13: ; preds = %28, %12
%14 = load i32, i32* %7
%15 = load i32, i32* %5
%16 = icmp slt i32 %14, %15
br i1 %16, label %17, label %31
17: ; preds = %13
%18 = load i8*, i8** %4
%19 = load i32, i32* %7
%20 = sext i32 %19 to i64
%21 = getelementptr inbounds i8, i8* %18, i64 %20
%22 = load i8, i8* %21
%23 = sext i8 %22 to i32
%24 = load i8, i8* %6
%25 = sext i8 %24 to i32
%26 = add nsw i32 %25, %23
%27 = trunc i32 %26 to i8
store i8 %27, i8* %6
br label %28
28: ; preds = %17
%29 = load i32, i32* %7
%30 = add nsw i32 %29, 1
store i32 %30, i32* %7
br label %13
31: ; preds = %13
%32 = load i8, i8* %6
%33 = getelementptr inbounds [4 x i8], [4 x i8]* %8, i64 0, i64 0
%34 = call i32 @value_to_char_array(i8 signext %32, i8* %33)
%35 = getelementptr inbounds [4 x i8], [4 x i8]* %8, i64 0, i64 0
%36 = call i32 @layer3_write(i8* %35, i32 4)
%37 = icmp eq i32 %36, -1
br i1 %37, label %38, label %39
38: ; preds = %31
store i32 -1, i32* @layer4_write._error
store i32 -1, i32* %3
br label %47
39: ; preds = %31
%40 = load i8*, i8** %4
%41 = load i32, i32* %5
%42 = call i32 @layer3_write(i8* %40, i32 %41)
%43 = icmp eq i32 %42, -1
br i1 %43, label %44, label %45
44: ; preds = %39
store i32 -1, i32* @layer4_write._error
store i32 -1, i32* %3
br label %47
45: ; preds = %39
%46 = load i32, i32* %5
store i32 %46, i32* %3
br label %47
47: ; preds = %45, %44, %38, %11
%48 = load i32, i32* %3
ret i32 %48
}

LLVM IR (-O2):
@layer4_write._error = internal unnamed_addr global i1 false
define i32 @layer4_write(i8* %0, i32 %1) {
%3 = alloca [4 x i8]
%4 = load i1, i1* @layer4_write._error
br i1 %4, label %116, label %5
5: ; preds = %2
%6 = icmp sgt i32 %1, 0
br i1 %6, label %7, label %117
7: ; preds = %5
%8 = zext i32 %1 to i64
%9 = icmp ult i32 %1, 8
br i1 %9, label %113, label %10
10: ; preds = %7
%11 = icmp ult i32 %1, 32
br i1 %11, label %96, label %12
12: ; preds = %10
%13 = and i64 %8, 4294967264
%14 = add nsw i64 %13, -32
%15 = lshr exact i64 %14, 5
%16 = add nuw nsw i64 %15, 1
%17 = and i64 %16, 3
%18 = icmp ult i64 %14, 96
br i1 %18, label %64, label %19
19: ; preds = %12
%20 = and i64 %16, 1152921504606846972
br label %21
21: ; preds = %21, %19
%22 = phi i64 [ 0, %19 ], [ %61, %21 ]
%23 = phi <16 x i8> [ zeroinitializer, %19 ], [ %59, %21 ]
%24 = phi <16 x i8> [ zeroinitializer, %19 ], [ %60, %21 ]
%25 = phi i64 [ 0, %19 ], [ %62, %21 ]
%26 = getelementptr inbounds i8, i8* %0, i64 %22
%27 = bitcast i8* %26 to <16 x i8>*
%28 = load <16 x i8>, <16 x i8>* %27
%29 = getelementptr inbounds i8, i8* %26, i64 16
%30 = bitcast i8* %29 to <16 x i8>*
%31 = load <16 x i8>, <16 x i8>* %30
%32 = add <16 x i8> %28, %23
%33 = add <16 x i8> %31, %24
%34 = or i64 %22, 32
%35 = getelementptr inbounds i8, i8* %0, i64 %34
%36 = bitcast i8* %35 to <16 x i8>*
%37 = load <16 x i8>, <16 x i8>* %36
%38 = getelementptr inbounds i8, i8* %35, i64 16
%39 = bitcast i8* %38 to <16 x i8>*
%40 = load <16 x i8>, <16 x i8>* %39
%41 = add <16 x i8> %37, %32
%42 = add <16 x i8> %40, %33
%43 = or i64 %22, 64
%44 = getelementptr inbounds i8, i8* %0, i64 %43
%45 = bitcast i8* %44 to <16 x i8>*
%46 = load <16 x i8>, <16 x i8>* %45
%47 = getelementptr inbounds i8, i8* %44, i64 16
%48 = bitcast i8* %47 to <16 x i8>*
%49 = load <16 x i8>, <16 x i8>* %48
%50 = add <16 x i8> %46, %41
%51 = add <16 x i8> %49, %42
%52 = or i64 %22, 96
%53 = getelementptr inbounds i8, i8* %0, i64 %52
%54 = bitcast i8* %53 to <16 x i8>*
%55 = load <16 x i8>, <16 x i8>* %54
%56 = getelementptr inbounds i8, i8* %53, i64 16
%57 = bitcast i8* %56 to <16 x i8>*
%58 = load <16 x i8>, <16 x i8>* %57
%59 = add <16 x i8> %55, %50
%60 = add <16 x i8> %58, %51
%61 = add nuw i64 %22, 128
%62 = add i64 %25, 4
%63 = icmp eq i64 %62, %20
br i1 %63, label %64, label %21
64: ; preds = %21, %12
%65 = phi <16 x i8> [ undef, %12 ], [ %59, %21 ]
%66 = phi <16 x i8> [ undef, %12 ], [ %60, %21 ]
%67 = phi i64 [ 0, %12 ], [ %61, %21 ]
%68 = phi <16 x i8> [ zeroinitializer, %12 ], [ %59, %21 ]
%69 = phi <16 x i8> [ zeroinitializer, %12 ], [ %60, %21 ]
%70 = icmp eq i64 %17, 0
br i1 %70, label %87, label %71
71: ; preds = %64, %71
%72 = phi i64 [ %84, %71 ], [ %67, %64 ]
%73 = phi <16 x i8> [ %82, %71 ], [ %68, %64 ]
%74 = phi <16 x i8> [ %83, %71 ], [ %69, %64 ]
%75 = phi i64 [ %85, %71 ], [ 0, %64 ]
%76 = getelementptr inbounds i8, i8* %0, i64 %72
%77 = bitcast i8* %76 to <16 x i8>*
%78 = load <16 x i8>, <16 x i8>* %77
%79 = getelementptr inbounds i8, i8* %76, i64 16
%80 = bitcast i8* %79 to <16 x i8>*
%81 = load <16 x i8>, <16 x i8>* %80
%82 = add <16 x i8> %78, %73
%83 = add <16 x i8> %81, %74
%84 = add nuw i64 %72, 32
%85 = add i64 %75, 1
%86 = icmp eq i64 %85, %17
br i1 %86, label %87, label %71
87: ; preds = %71, %64
%88 = phi <16 x i8> [ %65, %64 ], [ %82, %71 ]
%89 = phi <16 x i8> [ %66, %64 ], [ %83, %71 ]
%90 = add <16 x i8> %89, %88
%91 = call i8 @llvm.vector.reduce.add.v16i8(<16 x i8> %90)
%92 = icmp eq i64 %13, %8
br i1 %92, label %117, label %93
93: ; preds = %87
%94 = and i64 %8, 24
%95 = icmp eq i64 %94, 0
br i1 %95, label %113, label %96
96: ; preds = %10, %93
%97 = phi i8 [ 0, %10 ], [ %91, %93 ]
%98 = phi i64 [ 0, %10 ], [ %13, %93 ]
%99 = and i64 %8, 4294967288
%100 = insertelement <8 x i8> <i8 poison, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0>, i8 %97, i64 0
br label %101
101: ; preds = %101, %96
%102 = phi i64 [ %98, %96 ], [ %108, %101 ]
%103 = phi <8 x i8> [ %100, %96 ], [ %107, %101 ]
%104 = getelementptr inbounds i8, i8* %0, i64 %102
%105 = bitcast i8* %104 to <8 x i8>*
%106 = load <8 x i8>, <8 x i8>* %105
%107 = add <8 x i8> %106, %103
%108 = add nuw i64 %102, 8
%109 = icmp eq i64 %108, %99
br i1 %109, label %110, label %101
110: ; preds = %101
%111 = call i8 @llvm.vector.reduce.add.v8i8(<8 x i8> %107)
%112 = icmp eq i64 %99, %8
br i1 %112, label %117, label %113
113: ; preds = %7, %93, %110
%114 = phi i64 [ 0, %7 ], [ %13, %93 ], [ %99, %110 ]
%115 = phi i8 [ 0, %7 ], [ %91, %93 ], [ %111, %110 ]
br label %123
116: ; preds = %2
store i1 true, i1* @layer4_write._error
br label %137
117: ; preds = %123, %87, %110, %5
%118 = phi i8 [ 0, %5 ], [ %91, %87 ], [ %111, %110 ], [ %128, %123 ]
%119 = getelementptr inbounds [4 x i8], [4 x i8]* %3, i64 0, i64 0
%120 = call i32 @value_to_char_array(i8 signext %118, i8* %119)
%121 = call i32 @layer3_write(i8* %119, i32 4)
%122 = icmp eq i32 %121, -1
br i1 %122, label %134, label %131
123: ; preds = %113, %123
%124 = phi i64 [ %129, %123 ], [ %114, %113 ]
%125 = phi i8 [ %128, %123 ], [ %115, %113 ]
%126 = getelementptr inbounds i8, i8* %0, i64 %124
%127 = load i8, i8* %126
%128 = add i8 %127, %125
%129 = add nuw nsw i64 %124, 1
%130 = icmp eq i64 %129, %8
br i1 %130, label %117, label %123
131: ; preds = %117
%132 = call i32 @layer3_write(i8* %0, i32 %1)
%133 = icmp eq i32 %132, -1
br i1 %133, label %134, label %135
134: ; preds = %131, %117
store i1 true, i1* @layer4_write._error
br label %135
135: ; preds = %134, %131
%136 = phi i32 [ %1, %131 ], [ -1, %134 ]
br label %137
137: ; preds = %135, %116
%138 = phi i32 [ -1, %116 ], [ %136, %135 ]
ret i32 %138
}