#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 */
int /*<<< orphan*/ assign(unsigned char *, unsigned char *);
void sum(unsigned char first[], unsigned char second[], unsigned char out[]) {
  unsigned char overflow = 0;
  unsigned char temp[] = {0x0, 0x0, 0x0, 0x0};
  temp[3] = first[3] + second[3];
  if (first[3] >= (256 - second[3])) {
    overflow = 1;
  }
  temp[2] = first[2] + second[2] + overflow;
  if (first[2] >= (256 - (second[2] + overflow))) {
    overflow = 1;
  } else {
    overflow = 0;
  }
  temp[1] = first[1] + second[1] + overflow;
  if (first[1] >= (256 - (second[1] + overflow))) {
    overflow = 1;
  } else {
    overflow = 0;
  }
  temp[0] = first[0] + second[0] + overflow;
  assign(out, temp);
}


x86 assembly (clang, -O0):
<sum>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movb   $0x0,-0x19(%rbp)
lea    -0x1d(%rbp),%rdi
xor    %esi,%esi
mov    $0x4,%edx
call   1030 <memset@plt>
mov    -0x8(%rbp),%rax
movzbl 0x3(%rax),%eax
mov    -0x10(%rbp),%rcx
movzbl 0x3(%rcx),%ecx
add    %ecx,%eax
mov    %al,-0x1a(%rbp)
mov    -0x8(%rbp),%rax
movzbl 0x3(%rax),%eax
mov    -0x10(%rbp),%rcx
movzbl 0x3(%rcx),%edx
mov    $0x100,%ecx
sub    %edx,%ecx
cmp    %ecx,%eax
jl     1180 <sum+0x60>
movb   $0x1,-0x19(%rbp)
mov    -0x8(%rbp),%rax
movzbl 0x2(%rax),%eax
mov    -0x10(%rbp),%rcx
movzbl 0x2(%rcx),%ecx
add    %ecx,%eax
movzbl -0x19(%rbp),%ecx
add    %ecx,%eax
mov    %al,-0x1b(%rbp)
mov    -0x8(%rbp),%rax
movzbl 0x2(%rax),%eax
mov    -0x10(%rbp),%rcx
movzbl 0x2(%rcx),%edx
movzbl -0x19(%rbp),%ecx
add    %ecx,%edx
mov    $0x100,%ecx
sub    %edx,%ecx
cmp    %ecx,%eax
jl     11c9 <sum+0xa9>
movb   $0x1,-0x19(%rbp)
jmp    11cd <sum+0xad>
movb   $0x0,-0x19(%rbp)
mov    -0x8(%rbp),%rax
movzbl 0x1(%rax),%eax
mov    -0x10(%rbp),%rcx
movzbl 0x1(%rcx),%ecx
add    %ecx,%eax
movzbl -0x19(%rbp),%ecx
add    %ecx,%eax
mov    %al,-0x1c(%rbp)
mov    -0x8(%rbp),%rax
movzbl 0x1(%rax),%eax
mov    -0x10(%rbp),%rcx
movzbl 0x1(%rcx),%edx
movzbl -0x19(%rbp),%ecx
add    %ecx,%edx
mov    $0x100,%ecx
sub    %edx,%ecx
cmp    %ecx,%eax
jl     1216 <sum+0xf6>
movb   $0x1,-0x19(%rbp)
jmp    121a <sum+0xfa>
movb   $0x0,-0x19(%rbp)
mov    -0x8(%rbp),%rax
movzbl (%rax),%eax
mov    -0x10(%rbp),%rcx
movzbl (%rcx),%ecx
add    %ecx,%eax
movzbl -0x19(%rbp),%ecx
add    %ecx,%eax
mov    %al,-0x1d(%rbp)
mov    -0x18(%rbp),%rdi
lea    -0x1d(%rbp),%rsi
call   1040 <assign@plt>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<sum>:
push   %rax
mov    %rdx,%r8
movzbl 0x3(%rdi),%ecx
movzbl 0x3(%rsi),%edx
lea    (%rdx,%rcx,1),%eax
mov    %al,0x7(%rsp)
mov    $0x100,%r9d
mov    $0x100,%eax
sub    %edx,%eax
xor    %edx,%edx
cmp    %ecx,%eax
setbe  %dl
movzbl 0x2(%rdi),%r10d
movzbl 0x2(%rsi),%ecx
lea    (%rdx,%rcx,1),%eax
add    %r10b,%al
mov    %al,0x6(%rsp)
add    %ecx,%edx
mov    $0x100,%eax
sub    %edx,%eax
xor    %ecx,%ecx
cmp    %r10d,%eax
setbe  %cl
movzbl 0x1(%rdi),%r10d
movzbl 0x1(%rsi),%edx
lea    (%rcx,%rdx,1),%eax
add    %r10b,%al
mov    %al,0x5(%rsp)
add    %edx,%ecx
sub    %ecx,%r9d
mov    (%rsi),%al
add    (%rdi),%al
cmp    %r9d,%r10d
sbb    $0xff,%al
mov    %al,0x4(%rsp)
lea    0x4(%rsp),%rsi
mov    %r8,%rdi
call   1030 <assign@plt>
pop    %rax
ret

LLVM IR (-O0):
define void @sum(i8* %0, i8* %1, i8* %2) {
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca i8
%8 = alloca [4 x i8]
store i8* %0, i8** %4
store i8* %1, i8** %5
store i8* %2, i8** %6
store i8 0, i8* %7
%9 = bitcast [4 x i8]* %8 to i8*
%10 = load i8*, i8** %4
%11 = getelementptr inbounds i8, i8* %10, i64 3
%12 = load i8, i8* %11
%13 = zext i8 %12 to i32
%14 = load i8*, i8** %5
%15 = getelementptr inbounds i8, i8* %14, i64 3
%16 = load i8, i8* %15
%17 = zext i8 %16 to i32
%18 = add nsw i32 %13, %17
%19 = trunc i32 %18 to i8
%20 = getelementptr inbounds [4 x i8], [4 x i8]* %8, i64 0, i64 3
store i8 %19, i8* %20
%21 = load i8*, i8** %4
%22 = getelementptr inbounds i8, i8* %21, i64 3
%23 = load i8, i8* %22
%24 = zext i8 %23 to i32
%25 = load i8*, i8** %5
%26 = getelementptr inbounds i8, i8* %25, i64 3
%27 = load i8, i8* %26
%28 = zext i8 %27 to i32
%29 = sub nsw i32 256, %28
%30 = icmp sge i32 %24, %29
br i1 %30, label %31, label %32
31: ; preds = %3
store i8 1, i8* %7
br label %32
32: ; preds = %31, %3
%33 = load i8*, i8** %4
%34 = getelementptr inbounds i8, i8* %33, i64 2
%35 = load i8, i8* %34
%36 = zext i8 %35 to i32
%37 = load i8*, i8** %5
%38 = getelementptr inbounds i8, i8* %37, i64 2
%39 = load i8, i8* %38
%40 = zext i8 %39 to i32
%41 = add nsw i32 %36, %40
%42 = load i8, i8* %7
%43 = zext i8 %42 to i32
%44 = add nsw i32 %41, %43
%45 = trunc i32 %44 to i8
%46 = getelementptr inbounds [4 x i8], [4 x i8]* %8, i64 0, i64 2
store i8 %45, i8* %46
%47 = load i8*, i8** %4
%48 = getelementptr inbounds i8, i8* %47, i64 2
%49 = load i8, i8* %48
%50 = zext i8 %49 to i32
%51 = load i8*, i8** %5
%52 = getelementptr inbounds i8, i8* %51, i64 2
%53 = load i8, i8* %52
%54 = zext i8 %53 to i32
%55 = load i8, i8* %7
%56 = zext i8 %55 to i32
%57 = add nsw i32 %54, %56
%58 = sub nsw i32 256, %57
%59 = icmp sge i32 %50, %58
br i1 %59, label %60, label %61
60: ; preds = %32
store i8 1, i8* %7
br label %62
61: ; preds = %32
store i8 0, i8* %7
br label %62
62: ; preds = %61, %60
%63 = load i8*, i8** %4
%64 = getelementptr inbounds i8, i8* %63, i64 1
%65 = load i8, i8* %64
%66 = zext i8 %65 to i32
%67 = load i8*, i8** %5
%68 = getelementptr inbounds i8, i8* %67, i64 1
%69 = load i8, i8* %68
%70 = zext i8 %69 to i32
%71 = add nsw i32 %66, %70
%72 = load i8, i8* %7
%73 = zext i8 %72 to i32
%74 = add nsw i32 %71, %73
%75 = trunc i32 %74 to i8
%76 = getelementptr inbounds [4 x i8], [4 x i8]* %8, i64 0, i64 1
store i8 %75, i8* %76
%77 = load i8*, i8** %4
%78 = getelementptr inbounds i8, i8* %77, i64 1
%79 = load i8, i8* %78
%80 = zext i8 %79 to i32
%81 = load i8*, i8** %5
%82 = getelementptr inbounds i8, i8* %81, i64 1
%83 = load i8, i8* %82
%84 = zext i8 %83 to i32
%85 = load i8, i8* %7
%86 = zext i8 %85 to i32
%87 = add nsw i32 %84, %86
%88 = sub nsw i32 256, %87
%89 = icmp sge i32 %80, %88
br i1 %89, label %90, label %91
90: ; preds = %62
store i8 1, i8* %7
br label %92
91: ; preds = %62
store i8 0, i8* %7
br label %92
92: ; preds = %91, %90
%93 = load i8*, i8** %4
%94 = getelementptr inbounds i8, i8* %93, i64 0
%95 = load i8, i8* %94
%96 = zext i8 %95 to i32
%97 = load i8*, i8** %5
%98 = getelementptr inbounds i8, i8* %97, i64 0
%99 = load i8, i8* %98
%100 = zext i8 %99 to i32
%101 = add nsw i32 %96, %100
%102 = load i8, i8* %7
%103 = zext i8 %102 to i32
%104 = add nsw i32 %101, %103
%105 = trunc i32 %104 to i8
%106 = getelementptr inbounds [4 x i8], [4 x i8]* %8, i64 0, i64 0
store i8 %105, i8* %106
%107 = load i8*, i8** %6
%108 = getelementptr inbounds [4 x i8], [4 x i8]* %8, i64 0, i64 0
%109 = call i32 @assign(i8* %107, i8* %108)
ret void
}

LLVM IR (-O2):
define void @sum(i8* nocapture %0, i8* nocapture %1, i8* %2) {
%4 = alloca i32
%5 = bitcast i32* %4 to [4 x i8]*
%6 = bitcast i32* %4 to i8*
%7 = getelementptr inbounds i8, i8* %0, i64 3
%8 = load i8, i8* %7
%9 = getelementptr inbounds i8, i8* %1, i64 3
%10 = load i8, i8* %9
%11 = add i8 %10, %8
%12 = getelementptr inbounds [4 x i8], [4 x i8]* %5, i64 0, i64 3
store i8 %11, i8* %12
%13 = zext i8 %8 to i32
%14 = zext i8 %10 to i32
%15 = sub nuw nsw i32 256, %14
%16 = icmp ule i32 %15, %13
%17 = sext i1 %16 to i32
%18 = getelementptr inbounds i8, i8* %0, i64 2
%19 = load i8, i8* %18
%20 = zext i8 %19 to i32
%21 = getelementptr inbounds i8, i8* %1, i64 2
%22 = load i8, i8* %21
%23 = zext i8 %22 to i32
%24 = zext i1 %16 to i8
%25 = add i8 %22, %24
%26 = add i8 %25, %19
%27 = getelementptr inbounds [4 x i8], [4 x i8]* %5, i64 0, i64 2
store i8 %26, i8* %27
%28 = sub nuw nsw i32 256, %23
%29 = add nsw i32 %28, %17
%30 = icmp ule i32 %29, %20
%31 = sext i1 %30 to i32
%32 = getelementptr inbounds i8, i8* %0, i64 1
%33 = load i8, i8* %32
%34 = zext i8 %33 to i32
%35 = getelementptr inbounds i8, i8* %1, i64 1
%36 = load i8, i8* %35
%37 = zext i8 %36 to i32
%38 = zext i1 %30 to i8
%39 = add i8 %36, %38
%40 = add i8 %39, %33
%41 = getelementptr inbounds [4 x i8], [4 x i8]* %5, i64 0, i64 1
store i8 %40, i8* %41
%42 = sub nuw nsw i32 256, %37
%43 = add nsw i32 %42, %31
%44 = icmp ule i32 %43, %34
%45 = zext i1 %44 to i8
%46 = load i8, i8* %0
%47 = load i8, i8* %1
%48 = add i8 %47, %46
%49 = add i8 %48, %45
store i8 %49, i8* %6
%50 = call i32 @assign(i8* %2, i8* %6)
ret void
}