#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*/ imprimir_arreglo(int *);
int /*<<< orphan*/ imprimir_lista(int *, int);
int /*<<< orphan*/ printf(char *, int);
void merge(int *lista, int izq_inicio, int izq_fin, int der_inicio, int der_fin,
           int *iter) {
  int izq_longitud = izq_fin - izq_inicio;
  int der_longitud = der_fin - der_inicio;
  int izq_mitad[izq_longitud];
  int der_mitad[der_longitud];
  int r = 0;
  int l = 0;
  int i = 0;
  for (i = izq_inicio; i < izq_fin; i++, l++) {
    izq_mitad[l] = lista[i];
  }
  for (i = der_inicio; i < der_fin; i++, r++) {
    der_mitad[r] = lista[i];
  }
  printf("Iteracion #%03d lista izquierda ", (*iter));
  imprimir_lista(izq_mitad, izq_longitud);
  printf("Iteracion #%03d lista derecha ", (*iter));
  imprimir_lista(der_mitad, der_longitud);
  for (i = izq_inicio, r = 0, l = 0; l < izq_longitud && r < der_longitud;
       i++) {
    if (izq_mitad[l] < der_mitad[r]) {
      lista[i] = izq_mitad[l++];
    } else {
      lista[i] = der_mitad[r++];
    }
    printf("Iteracion #%03d mezcla, ", (*iter));
    imprimir_arreglo(lista);
  }
  for (; l < izq_longitud; i++, l++) {
    lista[i] = izq_mitad[l];
    printf("Iteracion #%03d sobras lista parcial izquierda, ", (*iter));
    imprimir_arreglo(lista);
  }
  for (; r < der_longitud; i++, r++) {
    lista[i] = der_mitad[r];
    printf("Iteracion #%03d sobras lista parcial derecha, ", (*iter));
    imprimir_arreglo(lista);
  }
  (*iter)++;
}


x86 assembly (clang, -O0):
<merge>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
mov    %r8d,-0x18(%rbp)
mov    %r9,-0x20(%rbp)
mov    -0x10(%rbp),%eax
mov    -0xc(%rbp),%ecx
sub    %ecx,%eax
mov    %eax,-0x24(%rbp)
mov    -0x18(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    %ecx,%eax
mov    %eax,-0x28(%rbp)
mov    -0x24(%rbp),%eax
mov    %rsp,%rcx
mov    %rcx,-0x30(%rbp)
lea    0xf(,%rax,4),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x60(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x38(%rbp)
mov    -0x28(%rbp),%eax
lea    0xf(,%rax,4),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x58(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x40(%rbp)
movl   $0x0,-0x44(%rbp)
movl   $0x0,-0x48(%rbp)
movl   $0x0,-0x4c(%rbp)
mov    -0xc(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    11fe <merge+0xce>
mov    -0x60(%rbp),%rax
mov    -0x8(%rbp),%rcx
movslq -0x4c(%rbp),%rdx
mov    (%rcx,%rdx,4),%edx
movslq -0x48(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
mov    -0x48(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x48(%rbp)
jmp    11c5 <merge+0x95>
mov    -0x14(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    123d <merge+0x10d>
mov    -0x58(%rbp),%rax
mov    -0x8(%rbp),%rcx
movslq -0x4c(%rbp),%rdx
mov    (%rcx,%rdx,4),%edx
movslq -0x44(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    1204 <merge+0xd4>
mov    -0x20(%rbp),%rax
mov    (%rax),%esi
lea    0xdb6(%rip),%rdi
call   1040 <printf@plt>
mov    -0x60(%rbp),%rdi
mov    -0x24(%rbp),%esi
call   1030 <imprimir_lista@plt>
mov    -0x20(%rbp),%rax
mov    (%rax),%esi
lea    0xdb9(%rip),%rdi
call   1040 <printf@plt>
mov    -0x58(%rbp),%rdi
mov    -0x28(%rbp),%esi
call   1030 <imprimir_lista@plt>
mov    -0xc(%rbp),%eax
mov    %eax,-0x4c(%rbp)
movl   $0x0,-0x44(%rbp)
movl   $0x0,-0x48(%rbp)
mov    -0x48(%rbp),%ecx
xor    %eax,%eax
cmp    -0x24(%rbp),%ecx
mov    %al,-0x61(%rbp)
jge    12aa <merge+0x17a>
mov    -0x44(%rbp),%eax
cmp    -0x28(%rbp),%eax
setl   %al
mov    %al,-0x61(%rbp)
mov    -0x61(%rbp),%al
test   $0x1,%al
jne    12ba <merge+0x18a>
jmp    1344 <merge+0x214>
mov    -0x58(%rbp),%rcx
mov    -0x60(%rbp),%rax
movslq -0x48(%rbp),%rdx
mov    (%rax,%rdx,4),%eax
movslq -0x44(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    12fb <merge+0x1cb>
mov    -0x60(%rbp),%rax
mov    -0x48(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x48(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x4c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    131b <merge+0x1eb>
mov    -0x58(%rbp),%rax
mov    -0x44(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x44(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x4c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%rax
mov    (%rax),%esi
lea    0xd18(%rip),%rdi
call   1040 <printf@plt>
mov    -0x8(%rbp),%rdi
call   1050 <imprimir_arreglo@plt>
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    128d <merge+0x15d>
jmp    1349 <merge+0x219>
mov    -0x48(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    139d <merge+0x26d>
mov    -0x60(%rbp),%rax
movslq -0x48(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x4c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%rax
mov    (%rax),%esi
lea    0xce1(%rip),%rdi
call   1040 <printf@plt>
mov    -0x8(%rbp),%rdi
call   1050 <imprimir_arreglo@plt>
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
mov    -0x48(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x48(%rbp)
jmp    1349 <merge+0x219>
jmp    13a2 <merge+0x272>
mov    -0x44(%rbp),%eax
cmp    -0x28(%rbp),%eax
jge    13f6 <merge+0x2c6>
mov    -0x58(%rbp),%rax
movslq -0x44(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x4c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%rax
mov    (%rax),%esi
lea    0xcb9(%rip),%rdi
call   1040 <printf@plt>
mov    -0x8(%rbp),%rdi
call   1050 <imprimir_arreglo@plt>
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    13a2 <merge+0x272>
mov    -0x20(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
mov    -0x30(%rbp),%rax
mov    %rax,%rsp
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<merge>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %r9,-0x58(%rbp)
mov    %esi,%r13d
mov    %rdi,%r14
mov    %r8d,%esi
sub    %ecx,%esi
mov    %edx,%eax
sub    %r13d,%eax
lea    0xf(,%rax,4),%rax
and    $0xfffffffffffffff0,%rax
mov    %rsp,%r12
sub    %rax,%r12
mov    %r12,%rsp
mov    %rsi,-0x50(%rbp)
lea    0xf(,%rsi,4),%rax
and    $0xfffffffffffffff0,%rax
mov    %rsp,%rsi
sub    %rax,%rsi
mov    %rsi,-0x38(%rbp)
mov    %rsi,%rsp
mov    %edx,%ebx
movslq %r13d,%r15
sub    %r13d,%ebx
mov    %rdi,-0x30(%rbp)
jle    11d2 <merge+0x92>
lea    (%r14,%r15,4),%rsi
mov    %r15d,%eax
not    %eax
add    %edx,%eax
lea    0x4(,%rax,4),%rdx
mov    %r12,%rdi
mov    %rcx,-0x40(%rbp)
mov    %r8d,%r14d
call   1050 <memcpy@plt>
mov    %r14d,%r8d
mov    -0x40(%rbp),%rcx
mov    -0x30(%rbp),%r14
mov    %r15,-0x48(%rbp)
cmp    %ecx,%r8d
jle    11f8 <merge+0xb8>
movslq %ecx,%rax
lea    (%r14,%rax,4),%rsi
not    %ecx
add    %r8d,%ecx
lea    0x4(,%rcx,4),%rdx
mov    -0x38(%rbp),%rdi
call   1050 <memcpy@plt>
mov    -0x58(%rbp),%r15
mov    (%r15),%esi
lea    0xdfa(%rip),%rdi
call   1040 <printf@plt>
mov    %r12,-0x40(%rbp)
mov    %r12,%rdi
mov    %ebx,%r14d
mov    %ebx,%esi
call   1030 <imprimir_lista@plt>
mov    (%r15),%esi
lea    0xdfb(%rip),%rdi
call   1040 <printf@plt>
mov    -0x38(%rbp),%rdi
mov    -0x50(%rbp),%r12
mov    %r12d,%esi
call   1030 <imprimir_lista@plt>
xor    %r15d,%r15d
test   %ebx,%ebx
jle    12c6 <merge+0x186>
test   %r12d,%r12d
jle    12c6 <merge+0x186>
mov    -0x30(%rbp),%r14
mov    -0x48(%rbp),%rax
lea    (%r14,%rax,4),%r14
xor    %r12d,%r12d
xor    %r15d,%r15d
nopl   (%rax)
mov    %r15d,%eax
mov    %r12d,%ecx
mov    %r12d,%edx
mov    -0x40(%rbp),%rsi
mov    (%rsi,%rdx,4),%edx
mov    %r15d,%esi
mov    -0x38(%rbp),%rdi
mov    (%rdi,%rsi,4),%esi
xor    %r12d,%r12d
xor    %r15d,%r15d
cmp    %esi,%edx
setl   %r12b
setge  %r15b
cmovl  %edx,%esi
add    %eax,%r15d
add    %ecx,%r12d
mov    %esi,(%r14)
mov    -0x58(%rbp),%rax
mov    (%rax),%esi
lea    0xd9d(%rip),%rdi
call   1040 <printf@plt>
mov    -0x30(%rbp),%rdi
call   1060 <imprimir_arreglo@plt>
add    $0x1,%r13d
cmp    %ebx,%r12d
jge    12c9 <merge+0x189>
add    $0x4,%r14
cmp    -0x50(%rbp),%r15d
jl     1260 <merge+0x120>
jmp    12c9 <merge+0x189>
xor    %r12d,%r12d
mov    -0x58(%rbp),%r14
cmp    %ebx,%r12d
jge    1325 <merge+0x1e5>
mov    %ebx,%ecx
movslq %r13d,%rax
movslq %r12d,%rbx
movslq %ecx,%rcx
mov    %rcx,-0x48(%rbp)
mov    -0x30(%rbp),%rcx
lea    (%rcx,%rax,4),%r12
nopl   0x0(%rax)
mov    -0x40(%rbp),%rax
mov    (%rax,%rbx,4),%eax
mov    %eax,(%r12)
mov    (%r14),%esi
lea    0xd54(%rip),%rdi
call   1040 <printf@plt>
mov    -0x30(%rbp),%rdi
call   1060 <imprimir_arreglo@plt>
add    $0x1,%rbx
add    $0x4,%r12
add    $0x1,%r13d
cmp    -0x48(%rbp),%rbx
jl     12f0 <merge+0x1b0>
mov    -0x50(%rbp),%rcx
cmp    %ecx,%r15d
mov    -0x38(%rbp),%rdx
jge    1382 <merge+0x242>
movslq %r13d,%rax
movslq %r15d,%rbx
movslq %ecx,%r15
mov    -0x30(%rbp),%rcx
lea    (%rcx,%rax,4),%r12
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    (%rdx,%rbx,4),%eax
mov    %eax,(%r12)
mov    (%r14),%esi
lea    0xd29(%rip),%rdi
mov    %rdx,%r13
call   1040 <printf@plt>
mov    -0x30(%rbp),%rdi
call   1060 <imprimir_arreglo@plt>
mov    %r13,%rdx
add    $0x1,%rbx
add    $0x4,%r12
cmp    %r15,%rbx
jl     1350 <merge+0x210>
addl   $0x1,(%r14)
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [33 x i8] c"Iteracion #%03d lista izquierda \00"
@.str.1 = [31 x i8] c"Iteracion #%03d lista derecha \00"
@.str.2 = [25 x i8] c"Iteracion #%03d mezcla, \00"
@.str.3 = [49 x i8] c"Iteracion #%03d sobras lista parcial izquierda, \00"
@.str.4 = [47 x i8] c"Iteracion #%03d sobras lista parcial derecha, \00"
define void @merge(i32* %0, i32 %1, i32 %2, i32 %3, i32 %4, i32* %5) {
%7 = alloca i32*
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32*
%13 = alloca i32
%14 = alloca i32
%15 = alloca i8*
%16 = alloca i64
%17 = alloca i64
%18 = alloca i32
%19 = alloca i32
%20 = alloca i32
store i32* %0, i32** %7
store i32 %1, i32* %8
store i32 %2, i32* %9
store i32 %3, i32* %10
store i32 %4, i32* %11
store i32* %5, i32** %12
%21 = load i32, i32* %9
%22 = load i32, i32* %8
%23 = sub nsw i32 %21, %22
store i32 %23, i32* %13
%24 = load i32, i32* %11
%25 = load i32, i32* %10
%26 = sub nsw i32 %24, %25
store i32 %26, i32* %14
%27 = load i32, i32* %13
%28 = zext i32 %27 to i64
%29 = call i8* @llvm.stacksave()
store i8* %29, i8** %15
%30 = alloca i32, i64 %28
store i64 %28, i64* %16
%31 = load i32, i32* %14
%32 = zext i32 %31 to i64
%33 = alloca i32, i64 %32
store i64 %32, i64* %17
store i32 0, i32* %18
store i32 0, i32* %19
store i32 0, i32* %20
%34 = load i32, i32* %8
store i32 %34, i32* %20
br label %35
35: ; preds = %48, %6
%36 = load i32, i32* %20
%37 = load i32, i32* %9
%38 = icmp slt i32 %36, %37
br i1 %38, label %39, label %53
39: ; preds = %35
%40 = load i32*, i32** %7
%41 = load i32, i32* %20
%42 = sext i32 %41 to i64
%43 = getelementptr inbounds i32, i32* %40, i64 %42
%44 = load i32, i32* %43
%45 = load i32, i32* %19
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds i32, i32* %30, i64 %46
store i32 %44, i32* %47
br label %48
48: ; preds = %39
%49 = load i32, i32* %20
%50 = add nsw i32 %49, 1
store i32 %50, i32* %20
%51 = load i32, i32* %19
%52 = add nsw i32 %51, 1
store i32 %52, i32* %19
br label %35
53: ; preds = %35
%54 = load i32, i32* %10
store i32 %54, i32* %20
br label %55
55: ; preds = %68, %53
%56 = load i32, i32* %20
%57 = load i32, i32* %11
%58 = icmp slt i32 %56, %57
br i1 %58, label %59, label %73
59: ; preds = %55
%60 = load i32*, i32** %7
%61 = load i32, i32* %20
%62 = sext i32 %61 to i64
%63 = getelementptr inbounds i32, i32* %60, i64 %62
%64 = load i32, i32* %63
%65 = load i32, i32* %18
%66 = sext i32 %65 to i64
%67 = getelementptr inbounds i32, i32* %33, i64 %66
store i32 %64, i32* %67
br label %68
68: ; preds = %59
%69 = load i32, i32* %20
%70 = add nsw i32 %69, 1
store i32 %70, i32* %20
%71 = load i32, i32* %18
%72 = add nsw i32 %71, 1
store i32 %72, i32* %18
br label %55
73: ; preds = %55
%74 = load i32*, i32** %12
%75 = load i32, i32* %74
%76 = call i32 @printf(i8* getelementptr inbounds ([33 x i8], [33 x i8]* @.str, i64 0, i64 0), i32 %75)
%77 = load i32, i32* %13
%78 = call i32 @imprimir_lista(i32* %30, i32 %77)
%79 = load i32*, i32** %12
%80 = load i32, i32* %79
%81 = call i32 @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i32 %80)
%82 = load i32, i32* %14
%83 = call i32 @imprimir_lista(i32* %33, i32 %82)
%84 = load i32, i32* %8
store i32 %84, i32* %20
store i32 0, i32* %18
store i32 0, i32* %19
br label %85
85: ; preds = %131, %73
%86 = load i32, i32* %19
%87 = load i32, i32* %13
%88 = icmp slt i32 %86, %87
br i1 %88, label %89, label %93
89: ; preds = %85
%90 = load i32, i32* %18
%91 = load i32, i32* %14
%92 = icmp slt i32 %90, %91
br label %93
93: ; preds = %89, %85
%94 = phi i1 [ false, %85 ], [ %92, %89 ]
br i1 %94, label %95, label %134
95: ; preds = %93
%96 = load i32, i32* %19
%97 = sext i32 %96 to i64
%98 = getelementptr inbounds i32, i32* %30, i64 %97
%99 = load i32, i32* %98
%100 = load i32, i32* %18
%101 = sext i32 %100 to i64
%102 = getelementptr inbounds i32, i32* %33, i64 %101
%103 = load i32, i32* %102
%104 = icmp slt i32 %99, %103
br i1 %104, label %105, label %115
105: ; preds = %95
%106 = load i32, i32* %19
%107 = add nsw i32 %106, 1
store i32 %107, i32* %19
%108 = sext i32 %106 to i64
%109 = getelementptr inbounds i32, i32* %30, i64 %108
%110 = load i32, i32* %109
%111 = load i32*, i32** %7
%112 = load i32, i32* %20
%113 = sext i32 %112 to i64
%114 = getelementptr inbounds i32, i32* %111, i64 %113
store i32 %110, i32* %114
br label %125
115: ; preds = %95
%116 = load i32, i32* %18
%117 = add nsw i32 %116, 1
store i32 %117, i32* %18
%118 = sext i32 %116 to i64
%119 = getelementptr inbounds i32, i32* %33, i64 %118
%120 = load i32, i32* %119
%121 = load i32*, i32** %7
%122 = load i32, i32* %20
%123 = sext i32 %122 to i64
%124 = getelementptr inbounds i32, i32* %121, i64 %123
store i32 %120, i32* %124
br label %125
125: ; preds = %115, %105
%126 = load i32*, i32** %12
%127 = load i32, i32* %126
%128 = call i32 @printf(i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.2, i64 0, i64 0), i32 %127)
%129 = load i32*, i32** %7
%130 = call i32 @imprimir_arreglo(i32* %129)
br label %131
131: ; preds = %125
%132 = load i32, i32* %20
%133 = add nsw i32 %132, 1
store i32 %133, i32* %20
br label %85
134: ; preds = %93
br label %135
135: ; preds = %153, %134
%136 = load i32, i32* %19
%137 = load i32, i32* %13
%138 = icmp slt i32 %136, %137
br i1 %138, label %139, label %158
139: ; preds = %135
%140 = load i32, i32* %19
%141 = sext i32 %140 to i64
%142 = getelementptr inbounds i32, i32* %30, i64 %141
%143 = load i32, i32* %142
%144 = load i32*, i32** %7
%145 = load i32, i32* %20
%146 = sext i32 %145 to i64
%147 = getelementptr inbounds i32, i32* %144, i64 %146
store i32 %143, i32* %147
%148 = load i32*, i32** %12
%149 = load i32, i32* %148
%150 = call i32 @printf(i8* getelementptr inbounds ([49 x i8], [49 x i8]* @.str.3, i64 0, i64 0), i32 %149)
%151 = load i32*, i32** %7
%152 = call i32 @imprimir_arreglo(i32* %151)
br label %153
153: ; preds = %139
%154 = load i32, i32* %20
%155 = add nsw i32 %154, 1
store i32 %155, i32* %20
%156 = load i32, i32* %19
%157 = add nsw i32 %156, 1
store i32 %157, i32* %19
br label %135
158: ; preds = %135
br label %159
159: ; preds = %177, %158
%160 = load i32, i32* %18
%161 = load i32, i32* %14
%162 = icmp slt i32 %160, %161
br i1 %162, label %163, label %182
163: ; preds = %159
%164 = load i32, i32* %18
%165 = sext i32 %164 to i64
%166 = getelementptr inbounds i32, i32* %33, i64 %165
%167 = load i32, i32* %166
%168 = load i32*, i32** %7
%169 = load i32, i32* %20
%170 = sext i32 %169 to i64
%171 = getelementptr inbounds i32, i32* %168, i64 %170
store i32 %167, i32* %171
%172 = load i32*, i32** %12
%173 = load i32, i32* %172
%174 = call i32 @printf(i8* getelementptr inbounds ([47 x i8], [47 x i8]* @.str.4, i64 0, i64 0), i32 %173)
%175 = load i32*, i32** %7
%176 = call i32 @imprimir_arreglo(i32* %175)
br label %177
177: ; preds = %163
%178 = load i32, i32* %20
%179 = add nsw i32 %178, 1
store i32 %179, i32* %20
%180 = load i32, i32* %18
%181 = add nsw i32 %180, 1
store i32 %181, i32* %18
br label %159
182: ; preds = %159
%183 = load i32*, i32** %12
%184 = load i32, i32* %183
%185 = add nsw i32 %184, 1
store i32 %185, i32* %183
%186 = load i8*, i8** %15
ret void
}

LLVM IR (-O2):
@.str = [33 x i8] c"Iteracion #%03d lista izquierda \00"
@.str.1 = [31 x i8] c"Iteracion #%03d lista derecha \00"
@.str.2 = [25 x i8] c"Iteracion #%03d mezcla, \00"
@.str.3 = [49 x i8] c"Iteracion #%03d sobras lista parcial izquierda, \00"
@.str.4 = [47 x i8] c"Iteracion #%03d sobras lista parcial derecha, \00"
define void @merge(i32* %0, i32 %1, i32 %2, i32 %3, i32 %4, i32* nocapture %5) {
%7 = sub nsw i32 %2, %1
%8 = sub nsw i32 %4, %3
%9 = zext i32 %7 to i64
%10 = alloca i32, i64 %9
%11 = zext i32 %8 to i64
%12 = alloca i32, i64 %11
%13 = bitcast i32* %12 to i8*
%14 = icmp sgt i32 %2, %1
br i1 %14, label %15, label %25
15: ; preds = %6
%16 = bitcast i32* %10 to i8*
%17 = sext i32 %1 to i64
%18 = getelementptr i32, i32* %0, i64 %17
%19 = bitcast i32* %18 to i8*
%20 = xor i32 %1, -1
%21 = add i32 %20, %2
%22 = zext i32 %21 to i64
%23 = shl nuw nsw i64 %22, 2
%24 = add nuw nsw i64 %23, 4
br label %25
25: ; preds = %15, %6
%26 = icmp sgt i32 %4, %3
br i1 %26, label %27, label %36
27: ; preds = %25
%28 = sext i32 %3 to i64
%29 = getelementptr i32, i32* %0, i64 %28
%30 = bitcast i32* %29 to i8*
%31 = xor i32 %3, -1
%32 = add i32 %31, %4
%33 = zext i32 %32 to i64
%34 = shl nuw nsw i64 %33, 2
%35 = add nuw nsw i64 %34, 4
br label %36
36: ; preds = %27, %25
%37 = load i32, i32* %5
%38 = tail call i32 @printf(i8* getelementptr inbounds ([33 x i8], [33 x i8]* @.str, i64 0, i64 0), i32 %37)
%39 = call i32 @imprimir_lista(i32* %10, i32 %7)
%40 = load i32, i32* %5
%41 = call i32 @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i32 %40)
%42 = call i32 @imprimir_lista(i32* %12, i32 %8)
%43 = icmp sgt i32 %7, 0
%44 = icmp sgt i32 %8, 0
%45 = select i1 %43, i1 %44, i1 false
br i1 %45, label %46, label %50
46: ; preds = %36
%47 = sext i32 %1 to i64
br label %59
48: ; preds = %59
%49 = trunc i64 %80 to i32
br label %50
50: ; preds = %48, %36
%51 = phi i32 [ 0, %36 ], [ %73, %48 ]
%52 = phi i32 [ 0, %36 ], [ %75, %48 ]
%53 = phi i32 [ %1, %36 ], [ %49, %48 ]
%54 = icmp slt i32 %52, %7
br i1 %54, label %55, label %86
55: ; preds = %50
%56 = sext i32 %53 to i64
%57 = sext i32 %52 to i64
%58 = sext i32 %7 to i64
br label %93
59: ; preds = %46, %59
%60 = phi i64 [ %47, %46 ], [ %80, %59 ]
%61 = phi i32 [ 0, %46 ], [ %75, %59 ]
%62 = phi i32 [ 0, %46 ], [ %73, %59 ]
%63 = zext i32 %61 to i64
%64 = getelementptr inbounds i32, i32* %10, i64 %63
%65 = load i32, i32* %64
%66 = zext i32 %62 to i64
%67 = getelementptr inbounds i32, i32* %12, i64 %66
%68 = load i32, i32* %67
%69 = icmp slt i32 %65, %68
%70 = select i1 %69, i32 %65, i32 %68
%71 = xor i1 %69, true
%72 = zext i1 %71 to i32
%73 = add nuw nsw i32 %62, %72
%74 = zext i1 %69 to i32
%75 = add nuw nsw i32 %61, %74
%76 = getelementptr inbounds i32, i32* %0, i64 %60
store i32 %70, i32* %76
%77 = load i32, i32* %5
%78 = call i32 @printf(i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.2, i64 0, i64 0), i32 %77)
%79 = call i32 @imprimir_arreglo(i32* %0)
%80 = add i64 %60, 1
%81 = icmp slt i32 %75, %7
%82 = icmp slt i32 %73, %8
%83 = select i1 %81, i1 %82, i1 false
br i1 %83, label %59, label %48
84: ; preds = %93
%85 = trunc i64 %102 to i32
br label %86
86: ; preds = %84, %50
%87 = phi i32 [ %53, %50 ], [ %85, %84 ]
%88 = icmp slt i32 %51, %8
br i1 %88, label %89, label %117
89: ; preds = %86
%90 = sext i32 %87 to i64
%91 = sext i32 %51 to i64
%92 = sext i32 %8 to i64
br label %105
93: ; preds = %55, %93
%94 = phi i64 [ %57, %55 ], [ %103, %93 ]
%95 = phi i64 [ %56, %55 ], [ %102, %93 ]
%96 = getelementptr inbounds i32, i32* %10, i64 %94
%97 = load i32, i32* %96
%98 = getelementptr inbounds i32, i32* %0, i64 %95
store i32 %97, i32* %98
%99 = load i32, i32* %5
%100 = call i32 @printf(i8* getelementptr inbounds ([49 x i8], [49 x i8]* @.str.3, i64 0, i64 0), i32 %99)
%101 = call i32 @imprimir_arreglo(i32* %0)
%102 = add nsw i64 %95, 1
%103 = add nsw i64 %94, 1
%104 = icmp slt i64 %103, %58
br i1 %104, label %93, label %84
105: ; preds = %89, %105
%106 = phi i64 [ %91, %89 ], [ %115, %105 ]
%107 = phi i64 [ %90, %89 ], [ %114, %105 ]
%108 = getelementptr inbounds i32, i32* %12, i64 %106
%109 = load i32, i32* %108
%110 = getelementptr inbounds i32, i32* %0, i64 %107
store i32 %109, i32* %110
%111 = load i32, i32* %5
%112 = call i32 @printf(i8* getelementptr inbounds ([47 x i8], [47 x i8]* @.str.4, i64 0, i64 0), i32 %111)
%113 = call i32 @imprimir_arreglo(i32* %0)
%114 = add nsw i64 %107, 1
%115 = add nsw i64 %106, 1
%116 = icmp slt i64 %115, %92
br i1 %116, label %105, label %117
117: ; preds = %105, %86
%118 = load i32, i32* %5
%119 = add nsw i32 %118, 1
store i32 %119, i32* %5
ret void
}