#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*/ print(char *, size_t);
int /*<<< orphan*/ printf(char *, ...);
int /*<<< orphan*/ strncpy(char *, char *, size_t);
int sum(char *out, char *el1, size_t sel1, char *el2, size_t sel2) {
  if (sel1 == 0) {
    strncpy(out, el2, sel2);
    return sel2;
  } else if (sel2 == 0) {
    strncpy(out, el1, sel1);
    return sel1;
  }
  int written = 0;
  if (sel1 > sel2) {
    while (sel1--) {
      if (*el1 < *el2)
        *out = *el1, el1++;
      else if (*el1 > *el2)
        *out = *el2, sel1++, sel2--;
      else
        *out = *el1, el1++, el2++, sel2--;
      printf("sum1) writting '%c'\n", *out);
      written++;
      out++;
      if (!sel2) {
        strncpy(out, el1, sel1);
        printf("sum1) finish writting :");
        print(out, sel1);
        return written + sel1;
      }
    }
    if (sel2) {
      strncpy(out, el2, sel2);
      printf("sum1) finish writting 2 :");
      print(out, sel2);
      return written + sel2;
    }
  } else {
    while (sel2--) {
      if (*el2 < *el1)
        *out = *el2, el2++;
      else if (*el2 > *el1)
        *out = *el1, el1++, sel1--, sel2++;
      else
        *out = *el2, el2++, el1++, sel1--;
      printf("sum2) writting '%c'\n", *out);
      written++;
      out++;
      if (!sel1) {
        strncpy(out, el2, sel2);
        printf("sum2) finish writting :");
        print(out, sel2);
        return written + sel2;
      }
    }
    if (sel1) {
      strncpy(out, el1, sel1);
      printf("sum1) finish writting 2 :");
      print(out, sel1);
      return written + sel1;
    }
  }
  return written;
}


x86 assembly (clang, -O0):
<sum>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8,-0x30(%rbp)
cmpq   $0x0,-0x20(%rbp)
jne    1174 <sum+0x44>
mov    -0x10(%rbp),%rdi
mov    -0x28(%rbp),%rsi
mov    -0x30(%rbp),%rdx
call   1030 <strncpy@plt>
mov    -0x30(%rbp),%rax
mov    %eax,-0x4(%rbp)
jmp    14d6 <sum+0x3a6>
cmpq   $0x0,-0x30(%rbp)
jne    119c <sum+0x6c>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    -0x20(%rbp),%rdx
call   1030 <strncpy@plt>
mov    -0x20(%rbp),%rax
mov    %eax,-0x4(%rbp)
jmp    14d6 <sum+0x3a6>
jmp    11a1 <sum+0x71>
movl   $0x0,-0x34(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x30(%rbp),%rax
jbe    133d <sum+0x20d>
jmp    11bb <sum+0x8b>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x20(%rbp)
cmp    $0x0,%rax
je     12f1 <sum+0x1c1>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
mov    -0x28(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
jge    1207 <sum+0xd7>
mov    -0x18(%rbp),%rax
mov    (%rax),%cl
mov    -0x10(%rbp),%rax
mov    %cl,(%rax)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    127b <sum+0x14b>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
mov    -0x28(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
jle    1246 <sum+0x116>
mov    -0x28(%rbp),%rax
mov    (%rax),%cl
mov    -0x10(%rbp),%rax
mov    %cl,(%rax)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0x30(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x30(%rbp)
jmp    1276 <sum+0x146>
mov    -0x18(%rbp),%rax
mov    (%rax),%cl
mov    -0x10(%rbp),%rax
mov    %cl,(%rax)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
mov    -0x30(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x30(%rbp)
jmp    127b <sum+0x14b>
mov    -0x10(%rbp),%rax
movsbl (%rax),%esi
lea    0xd77(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
cmpq   $0x0,-0x30(%rbp)
jne    12ec <sum+0x1bc>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    -0x20(%rbp),%rdx
call   1030 <strncpy@plt>
lea    0xd4d(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x10(%rbp),%rdi
mov    -0x20(%rbp),%rsi
call   1050 <print@plt>
movslq -0x34(%rbp),%rax
add    -0x20(%rbp),%rax
mov    %eax,-0x4(%rbp)
jmp    14d6 <sum+0x3a6>
jmp    11bb <sum+0x8b>
cmpq   $0x0,-0x30(%rbp)
je     1338 <sum+0x208>
mov    -0x10(%rbp),%rdi
mov    -0x28(%rbp),%rsi
mov    -0x30(%rbp),%rdx
call   1030 <strncpy@plt>
lea    0xd19(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x10(%rbp),%rdi
mov    -0x30(%rbp),%rsi
call   1050 <print@plt>
movslq -0x34(%rbp),%rax
add    -0x30(%rbp),%rax
mov    %eax,-0x4(%rbp)
jmp    14d6 <sum+0x3a6>
jmp    14d0 <sum+0x3a0>
jmp    1342 <sum+0x212>
mov    -0x30(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x30(%rbp)
cmp    $0x0,%rax
je     1484 <sum+0x354>
mov    -0x28(%rbp),%rax
movsbl (%rax),%eax
mov    -0x18(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
jge    138e <sum+0x25e>
mov    -0x28(%rbp),%rax
mov    (%rax),%cl
mov    -0x10(%rbp),%rax
mov    %cl,(%rax)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    140e <sum+0x2de>
mov    -0x28(%rbp),%rax
movsbl (%rax),%eax
mov    -0x18(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
jle    13d9 <sum+0x2a9>
mov    -0x18(%rbp),%rax
mov    (%rax),%cl
mov    -0x10(%rbp),%rax
mov    %cl,(%rax)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
mov    -0x20(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x20(%rbp)
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    1409 <sum+0x2d9>
mov    -0x28(%rbp),%rax
mov    (%rax),%cl
mov    -0x10(%rbp),%rax
mov    %cl,(%rax)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
mov    -0x20(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x20(%rbp)
jmp    140e <sum+0x2de>
mov    -0x10(%rbp),%rax
movsbl (%rax),%esi
lea    0xc2b(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
cmpq   $0x0,-0x20(%rbp)
jne    147f <sum+0x34f>
mov    -0x10(%rbp),%rdi
mov    -0x28(%rbp),%rsi
mov    -0x30(%rbp),%rdx
call   1030 <strncpy@plt>
lea    0xc01(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x10(%rbp),%rdi
mov    -0x30(%rbp),%rsi
call   1050 <print@plt>
movslq -0x34(%rbp),%rax
add    -0x30(%rbp),%rax
mov    %eax,-0x4(%rbp)
jmp    14d6 <sum+0x3a6>
jmp    1342 <sum+0x212>
cmpq   $0x0,-0x20(%rbp)
je     14cb <sum+0x39b>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    -0x20(%rbp),%rdx
call   1030 <strncpy@plt>
lea    0xb86(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x10(%rbp),%rdi
mov    -0x20(%rbp),%rsi
call   1050 <print@plt>
movslq -0x34(%rbp),%rax
add    -0x20(%rbp),%rax
mov    %eax,-0x4(%rbp)
jmp    14d6 <sum+0x3a6>
jmp    14d0 <sum+0x3a0>
mov    -0x34(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<sum>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %r8,%r12
mov    %rcx,%r13
mov    %rdi,%r14
test   %rdx,%rdx
je     1252 <sum+0x122>
mov    %rdx,%r15
mov    %rsi,%rbx
test   %r12,%r12
je     1265 <sum+0x135>
xor    %ebp,%ebp
cmp    %r12,%r15
ja     1199 <sum+0x69>
jmp    1209 <sum+0xd9>
nopl   0x0(%rax,%rax,1)
mov    %al,(%r14,%rbp,1)
add    $0x1,%rbx
mov    %rcx,%r15
movsbl %al,%esi
lea    0xe7b(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
add    $0x1,%rbp
test   %r12,%r12
je     1278 <sum+0x148>
mov    %r15,%rcx
sub    $0x1,%rcx
jb     1292 <sum+0x162>
movzbl (%rbx),%eax
movzbl 0x0(%r13),%edx
cmp    %dl,%al
jl     1170 <sum+0x40>
jle    11c0 <sum+0x90>
mov    %dl,(%r14,%rbp,1)
add    $0xffffffffffffffff,%r12
mov    %edx,%eax
jmp    117b <sum+0x4b>
mov    %al,(%r14,%rbp,1)
add    $0x1,%rbx
add    $0x1,%r13
add    $0xffffffffffffffff,%r12
jmp    1178 <sum+0x48>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    %al,(%r14,%rbp,1)
add    $0x1,%r13
mov    %rcx,%r12
movsbl %al,%esi
lea    0xe52(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
add    $0x1,%rbp
test   %r15,%r15
je     12ac <sum+0x17c>
mov    %r12,%rcx
sub    $0x1,%rcx
jb     12db <sum+0x1ab>
movzbl 0x0(%r13),%eax
movzbl (%rbx),%edx
cmp    %dl,%al
jl     11e0 <sum+0xb0>
jle    1240 <sum+0x110>
mov    %dl,(%r14,%rbp,1)
add    $0x1,%rbx
add    $0xffffffffffffffff,%r15
mov    %edx,%eax
jmp    11eb <sum+0xbb>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %al,(%r14,%rbp,1)
add    $0x1,%r13
add    $0x1,%rbx
add    $0xffffffffffffffff,%r15
jmp    11e8 <sum+0xb8>
mov    %r14,%rdi
mov    %r13,%rsi
mov    %r12,%rdx
call   1030 <strncpy@plt>
jmp    130b <sum+0x1db>
mov    %r14,%rdi
mov    %rbx,%rsi
mov    %r15,%rdx
call   1030 <strncpy@plt>
jmp    1308 <sum+0x1d8>
add    %rbp,%r14
mov    %r14,%rdi
mov    %rbx,%rsi
mov    %r15,%rdx
call   1030 <strncpy@plt>
lea    0xd85(%rip),%rdi
jmp    12f3 <sum+0x1c3>
add    %rbp,%r14
mov    %r14,%rdi
mov    %r13,%rsi
mov    %r12,%rdx
call   1030 <strncpy@plt>
lea    0xd83(%rip),%rdi
jmp    12c4 <sum+0x194>
add    %rbp,%r14
mov    %r14,%rdi
mov    %r13,%rsi
mov    %r12,%rdx
call   1030 <strncpy@plt>
lea    0xd98(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    %r14,%rdi
mov    %r12,%rsi
call   1050 <print@plt>
add    %ebp,%r12d
jmp    130b <sum+0x1db>
add    %rbp,%r14
mov    %r14,%rdi
mov    %rbx,%rsi
mov    %r15,%rdx
call   1030 <strncpy@plt>
lea    0xd3a(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    %r14,%rdi
mov    %r15,%rsi
call   1050 <print@plt>
add    %ebp,%r15d
mov    %r15d,%r12d
mov    %r12d,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [21 x i8] c"sum1) writting '%c'\0A\00"
@.str.1 = [24 x i8] c"sum1) finish writting :\00"
@.str.2 = [26 x i8] c"sum1) finish writting 2 :\00"
@.str.3 = [21 x i8] c"sum2) writting '%c'\0A\00"
@.str.4 = [24 x i8] c"sum2) finish writting :\00"
define i32 @sum(i8* %0, i8* %1, i64 %2, i8* %3, i64 %4) {
%6 = alloca i32
%7 = alloca i8*
%8 = alloca i8*
%9 = alloca i64
%10 = alloca i8*
%11 = alloca i64
%12 = alloca i32
store i8* %0, i8** %7
store i8* %1, i8** %8
store i64 %2, i64* %9
store i8* %3, i8** %10
store i64 %4, i64* %11
%13 = load i64, i64* %9
%14 = icmp eq i64 %13, 0
br i1 %14, label %15, label %22
15: ; preds = %5
%16 = load i8*, i8** %7
%17 = load i8*, i8** %10
%18 = load i64, i64* %11
%19 = call i32 @strncpy(i8* %16, i8* %17, i64 %18)
%20 = load i64, i64* %11
%21 = trunc i64 %20 to i32
store i32 %21, i32* %6
br label %221
22: ; preds = %5
%23 = load i64, i64* %11
%24 = icmp eq i64 %23, 0
br i1 %24, label %25, label %32
25: ; preds = %22
%26 = load i8*, i8** %7
%27 = load i8*, i8** %8
%28 = load i64, i64* %9
%29 = call i32 @strncpy(i8* %26, i8* %27, i64 %28)
%30 = load i64, i64* %9
%31 = trunc i64 %30 to i32
store i32 %31, i32* %6
br label %221
32: ; preds = %22
br label %33
33: ; preds = %32
store i32 0, i32* %12
%34 = load i64, i64* %9
%35 = load i64, i64* %11
%36 = icmp ugt i64 %34, %35
br i1 %36, label %37, label %127
37: ; preds = %33
br label %38
38: ; preds = %108, %37
%39 = load i64, i64* %9
%40 = add i64 %39, -1
store i64 %40, i64* %9
%41 = icmp ne i64 %39, 0
br i1 %41, label %42, label %109
42: ; preds = %38
%43 = load i8*, i8** %8
%44 = load i8, i8* %43
%45 = sext i8 %44 to i32
%46 = load i8*, i8** %10
%47 = load i8, i8* %46
%48 = sext i8 %47 to i32
%49 = icmp slt i32 %45, %48
br i1 %49, label %50, label %56
50: ; preds = %42
%51 = load i8*, i8** %8
%52 = load i8, i8* %51
%53 = load i8*, i8** %7
store i8 %52, i8* %53
%54 = load i8*, i8** %8
%55 = getelementptr inbounds i8, i8* %54, i32 1
store i8* %55, i8** %8
br label %83
56: ; preds = %42
%57 = load i8*, i8** %8
%58 = load i8, i8* %57
%59 = sext i8 %58 to i32
%60 = load i8*, i8** %10
%61 = load i8, i8* %60
%62 = sext i8 %61 to i32
%63 = icmp sgt i32 %59, %62
br i1 %63, label %64, label %72
64: ; preds = %56
%65 = load i8*, i8** %10
%66 = load i8, i8* %65
%67 = load i8*, i8** %7
store i8 %66, i8* %67
%68 = load i64, i64* %9
%69 = add i64 %68, 1
store i64 %69, i64* %9
%70 = load i64, i64* %11
%71 = add i64 %70, -1
store i64 %71, i64* %11
br label %82
72: ; preds = %56
%73 = load i8*, i8** %8
%74 = load i8, i8* %73
%75 = load i8*, i8** %7
store i8 %74, i8* %75
%76 = load i8*, i8** %8
%77 = getelementptr inbounds i8, i8* %76, i32 1
store i8* %77, i8** %8
%78 = load i8*, i8** %10
%79 = getelementptr inbounds i8, i8* %78, i32 1
store i8* %79, i8** %10
%80 = load i64, i64* %11
%81 = add i64 %80, -1
store i64 %81, i64* %11
br label %82
82: ; preds = %72, %64
br label %83
83: ; preds = %82, %50
%84 = load i8*, i8** %7
%85 = load i8, i8* %84
%86 = sext i8 %85 to i32
%87 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str, i64 0, i64 0), i32 %86)
%88 = load i32, i32* %12
%89 = add nsw i32 %88, 1
store i32 %89, i32* %12
%90 = load i8*, i8** %7
%91 = getelementptr inbounds i8, i8* %90, i32 1
store i8* %91, i8** %7
%92 = load i64, i64* %11
%93 = icmp ne i64 %92, 0
br i1 %93, label %108, label %94
94: ; preds = %83
%95 = load i8*, i8** %7
%96 = load i8*, i8** %8
%97 = load i64, i64* %9
%98 = call i32 @strncpy(i8* %95, i8* %96, i64 %97)
%99 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.1, i64 0, i64 0))
%100 = load i8*, i8** %7
%101 = load i64, i64* %9
%102 = call i32 @print(i8* %100, i64 %101)
%103 = load i32, i32* %12
%104 = sext i32 %103 to i64
%105 = load i64, i64* %9
%106 = add i64 %104, %105
%107 = trunc i64 %106 to i32
store i32 %107, i32* %6
br label %221
108: ; preds = %83
br label %38
109: ; preds = %38
%110 = load i64, i64* %11
%111 = icmp ne i64 %110, 0
br i1 %111, label %112, label %126
112: ; preds = %109
%113 = load i8*, i8** %7
%114 = load i8*, i8** %10
%115 = load i64, i64* %11
%116 = call i32 @strncpy(i8* %113, i8* %114, i64 %115)
%117 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([26 x i8], [26 x i8]* @.str.2, i64 0, i64 0))
%118 = load i8*, i8** %7
%119 = load i64, i64* %11
%120 = call i32 @print(i8* %118, i64 %119)
%121 = load i32, i32* %12
%122 = sext i32 %121 to i64
%123 = load i64, i64* %11
%124 = add i64 %122, %123
%125 = trunc i64 %124 to i32
store i32 %125, i32* %6
br label %221
126: ; preds = %109
br label %219
127: ; preds = %33
br label %128
128: ; preds = %200, %127
%129 = load i64, i64* %11
%130 = add i64 %129, -1
store i64 %130, i64* %11
%131 = icmp ne i64 %129, 0
br i1 %131, label %132, label %201
132: ; preds = %128
%133 = load i8*, i8** %10
%134 = load i8, i8* %133
%135 = sext i8 %134 to i32
%136 = load i8*, i8** %8
%137 = load i8, i8* %136
%138 = sext i8 %137 to i32
%139 = icmp slt i32 %135, %138
br i1 %139, label %140, label %146
140: ; preds = %132
%141 = load i8*, i8** %10
%142 = load i8, i8* %141
%143 = load i8*, i8** %7
store i8 %142, i8* %143
%144 = load i8*, i8** %10
%145 = getelementptr inbounds i8, i8* %144, i32 1
store i8* %145, i8** %10
br label %175
146: ; preds = %132
%147 = load i8*, i8** %10
%148 = load i8, i8* %147
%149 = sext i8 %148 to i32
%150 = load i8*, i8** %8
%151 = load i8, i8* %150
%152 = sext i8 %151 to i32
%153 = icmp sgt i32 %149, %152
br i1 %153, label %154, label %164
154: ; preds = %146
%155 = load i8*, i8** %8
%156 = load i8, i8* %155
%157 = load i8*, i8** %7
store i8 %156, i8* %157
%158 = load i8*, i8** %8
%159 = getelementptr inbounds i8, i8* %158, i32 1
store i8* %159, i8** %8
%160 = load i64, i64* %9
%161 = add i64 %160, -1
store i64 %161, i64* %9
%162 = load i64, i64* %11
%163 = add i64 %162, 1
store i64 %163, i64* %11
br label %174
164: ; preds = %146
%165 = load i8*, i8** %10
%166 = load i8, i8* %165
%167 = load i8*, i8** %7
store i8 %166, i8* %167
%168 = load i8*, i8** %10
%169 = getelementptr inbounds i8, i8* %168, i32 1
store i8* %169, i8** %10
%170 = load i8*, i8** %8
%171 = getelementptr inbounds i8, i8* %170, i32 1
store i8* %171, i8** %8
%172 = load i64, i64* %9
%173 = add i64 %172, -1
store i64 %173, i64* %9
br label %174
174: ; preds = %164, %154
br label %175
175: ; preds = %174, %140
%176 = load i8*, i8** %7
%177 = load i8, i8* %176
%178 = sext i8 %177 to i32
%179 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.3, i64 0, i64 0), i32 %178)
%180 = load i32, i32* %12
%181 = add nsw i32 %180, 1
store i32 %181, i32* %12
%182 = load i8*, i8** %7
%183 = getelementptr inbounds i8, i8* %182, i32 1
store i8* %183, i8** %7
%184 = load i64, i64* %9
%185 = icmp ne i64 %184, 0
br i1 %185, label %200, label %186
186: ; preds = %175
%187 = load i8*, i8** %7
%188 = load i8*, i8** %10
%189 = load i64, i64* %11
%190 = call i32 @strncpy(i8* %187, i8* %188, i64 %189)
%191 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.4, i64 0, i64 0))
%192 = load i8*, i8** %7
%193 = load i64, i64* %11
%194 = call i32 @print(i8* %192, i64 %193)
%195 = load i32, i32* %12
%196 = sext i32 %195 to i64
%197 = load i64, i64* %11
%198 = add i64 %196, %197
%199 = trunc i64 %198 to i32
store i32 %199, i32* %6
br label %221
200: ; preds = %175
br label %128
201: ; preds = %128
%202 = load i64, i64* %9
%203 = icmp ne i64 %202, 0
br i1 %203, label %204, label %218
204: ; preds = %201
%205 = load i8*, i8** %7
%206 = load i8*, i8** %8
%207 = load i64, i64* %9
%208 = call i32 @strncpy(i8* %205, i8* %206, i64 %207)
%209 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([26 x i8], [26 x i8]* @.str.2, i64 0, i64 0))
%210 = load i8*, i8** %7
%211 = load i64, i64* %9
%212 = call i32 @print(i8* %210, i64 %211)
%213 = load i32, i32* %12
%214 = sext i32 %213 to i64
%215 = load i64, i64* %9
%216 = add i64 %214, %215
%217 = trunc i64 %216 to i32
store i32 %217, i32* %6
br label %221
218: ; preds = %201
br label %219
219: ; preds = %218, %126
%220 = load i32, i32* %12
store i32 %220, i32* %6
br label %221
221: ; preds = %219, %204, %186, %112, %94, %25, %15
%222 = load i32, i32* %6
ret i32 %222
}

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