#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*/ puts(char *);
int /*<<< orphan*/ swap(int *, int *);
void quicksort(int a[], int m, int n) {
  int i, j, k, piv;
  if (n < -1) {
    puts("\x1b[31m"
         "Error: n debe ser un entero positivo"
         "\x1b[0m");
  }
  if (m < 0) {
    puts("\x1b[33m"
         "Aviso: Detectado m < 0, usando m = 0"
         "\x1b[0m");
    quicksort(a, 0, n);
  }
  if (m < n) {
    piv = (m + n) / 2;
    swap(&a[m], &a[piv]);
    k = a[m];
    i = m + 1;
    j = n;
    while (i <= j) {
      while ((i <= n) && (a[i] <= k)) {
        i++;
      }
      while ((j >= m) && (a[j] > k)) {
        j--;
      }
      if (i < j)
        swap(&a[i], &a[j]);
    }
    swap(&a[m], &a[j]);
    quicksort(a, m, j - 1);
    quicksort(a, j + 1, n);
  }
}


x86 assembly (clang, -O0):
<quicksort>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
cmpl   $0xffffffff,-0x10(%rbp)
jge    1158 <quicksort+0x28>
lea    0xead(%rip),%rdi
call   1030 <puts@plt>
cmpl   $0x0,-0xc(%rbp)
jge    117c <quicksort+0x4c>
lea    0xec5(%rip),%rdi
call   1030 <puts@plt>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%edx
xor    %esi,%esi
call   1040 <quicksort@plt>
mov    -0xc(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    12f0 <quicksort+0x1c0>
mov    -0xc(%rbp),%eax
add    -0x10(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%rdi
movslq -0xc(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rdi
mov    -0x8(%rbp),%rsi
movslq -0x20(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rsi
call   1050 <swap@plt>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x1c(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
jg     12a9 <quicksort+0x179>
jmp    11ea <quicksort+0xba>
mov    -0x14(%rbp),%ecx
xor    %eax,%eax
cmp    -0x10(%rbp),%ecx
mov    %al,-0x21(%rbp)
jg     120f <quicksort+0xdf>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x1c(%rbp),%eax
setle  %al
mov    %al,-0x21(%rbp)
mov    -0x21(%rbp),%al
test   $0x1,%al
jne    121f <quicksort+0xef>
jmp    122d <quicksort+0xfd>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    11ea <quicksort+0xba>
jmp    1232 <quicksort+0x102>
mov    -0x18(%rbp),%ecx
xor    %eax,%eax
cmp    -0xc(%rbp),%ecx
mov    %al,-0x22(%rbp)
jl     1257 <quicksort+0x127>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x1c(%rbp),%eax
setg   %al
mov    %al,-0x22(%rbp)
mov    -0x22(%rbp),%al
test   $0x1,%al
jne    1267 <quicksort+0x137>
jmp    1275 <quicksort+0x145>
mov    -0x18(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x18(%rbp)
jmp    1232 <quicksort+0x102>
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    12a4 <quicksort+0x174>
mov    -0x8(%rbp),%rdi
movslq -0x14(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rdi
mov    -0x8(%rbp),%rsi
movslq -0x18(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rsi
call   1050 <swap@plt>
jmp    11d9 <quicksort+0xa9>
mov    -0x8(%rbp),%rdi
movslq -0xc(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rdi
mov    -0x8(%rbp),%rsi
movslq -0x18(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rsi
call   1050 <swap@plt>
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
mov    -0x18(%rbp),%edx
sub    $0x1,%edx
call   1040 <quicksort@plt>
mov    -0x8(%rbp),%rdi
mov    -0x18(%rbp),%esi
add    $0x1,%esi
mov    -0x10(%rbp),%edx
call   1040 <quicksort@plt>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<quicksort>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %rdi,%rbx
movslq %edx,%r13
lea    0x1(%r13),%eax
mov    %eax,0x18(%rsp)
mov    %rdx,0x8(%rsp)
jmp    118e <quicksort+0x5e>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movslq %r14d,%rax
mov    %rdx,%rbp
lea    (%rbx,%rax,4),%rsi
mov    0x20(%rsp),%rdi
call   1050 <swap@plt>
lea    -0x1(%r14),%edx
mov    %rbx,%rdi
mov    %ebp,%esi
call   1040 <quicksort@plt>
mov    0x8(%rsp),%rdx
add    $0x1,%r14d
mov    %r14d,%esi
cmp    $0xfffffffe,%edx
mov    %rsi,0x10(%rsp)
jle    11b0 <quicksort+0x80>
test   %esi,%esi
js     11ca <quicksort+0x9a>
cmp    %edx,%esi
jl     11f7 <quicksort+0xc7>
jmp    12d1 <quicksort+0x1a1>
cs nopw 0x0(%rax,%rax,1)
nop
lea    0xe49(%rip),%rdi
call   1030 <puts@plt>
mov    0x10(%rsp),%rsi
mov    0x8(%rsp),%rdx
test   %esi,%esi
jns    119c <quicksort+0x6c>
lea    0xe5d(%rip),%rdi
call   1030 <puts@plt>
mov    %rbx,%rdi
xor    %esi,%esi
mov    0x8(%rsp),%rdx
call   1040 <quicksort@plt>
mov    0x10(%rsp),%rsi
mov    0x8(%rsp),%rdx
cmp    %edx,%esi
jge    12d1 <quicksort+0x1a1>
lea    (%rsi,%rdx,1),%eax
mov    %eax,%ecx
shr    $0x1f,%ecx
add    %eax,%ecx
sar    %ecx
movslq %esi,%r15
lea    (%rbx,%r15,4),%rdi
movslq %ecx,%rax
lea    (%rbx,%rax,4),%rsi
mov    %rdi,0x20(%rsp)
call   1050 <swap@plt>
mov    0x10(%rsp),%rdx
mov    0x8(%rsp),%rcx
mov    (%rbx,%r15,4),%ebp
lea    0x1(%rdx),%r12d
lea    -0x1(%rdx),%eax
mov    %eax,0x1c(%rsp)
mov    %ecx,%r14d
jmp    1249 <quicksort+0x119>
nopl   0x0(%rax)
cmp    %r14d,%r12d
jg     1160 <quicksort+0x30>
cmp    %ecx,%r12d
jg     1278 <quicksort+0x148>
movslq %r12d,%rax
add    $0xffffffffffffffff,%rax
cs nopw 0x0(%rax,%rax,1)
nop
cmp    %ebp,0x4(%rbx,%rax,4)
jg     1278 <quicksort+0x148>
add    $0x1,%r12d
add    $0x1,%rax
cmp    %r13,%rax
jl     1260 <quicksort+0x130>
mov    0x18(%rsp),%r12d
cmp    %edx,%r14d
jl     12aa <quicksort+0x17a>
movslq %r14d,%rax
add    $0x1,%rax
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
cmp    %ebp,-0x4(%rbx,%rax,4)
jle    12aa <quicksort+0x17a>
add    $0xffffffff,%r14d
add    $0xffffffffffffffff,%rax
cmp    %r15,%rax
jg     1290 <quicksort+0x160>
mov    0x1c(%rsp),%eax
mov    %eax,%r14d
cmp    %r14d,%r12d
jge    1240 <quicksort+0x110>
movslq %r12d,%rax
lea    (%rbx,%rax,4),%rdi
movslq %r14d,%rax
lea    (%rbx,%rax,4),%rsi
call   1050 <swap@plt>
mov    0x10(%rsp),%rdx
mov    0x8(%rsp),%rcx
jmp    1240 <quicksort+0x110>
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [46 x i8] c"\1B[31mError: n debe ser un entero positivo\1B[0m\00"
@.str.1 = [46 x i8] c"\1B[33mAviso: Detectado m < 0, usando m = 0\1B[0m\00"
define void @quicksort(i32* %0, i32 %1, i32 %2) {
%4 = alloca i32*
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
store i32* %0, i32** %4
store i32 %1, i32* %5
store i32 %2, i32* %6
%11 = load i32, i32* %6
%12 = icmp slt i32 %11, -1
br i1 %12, label %13, label %15
13: ; preds = %3
%14 = call i32 @puts(i8* getelementptr inbounds ([46 x i8], [46 x i8]* @.str, i64 0, i64 0))
br label %15
15: ; preds = %13, %3
%16 = load i32, i32* %5
%17 = icmp slt i32 %16, 0
br i1 %17, label %18, label %22
18: ; preds = %15
%19 = call i32 @puts(i8* getelementptr inbounds ([46 x i8], [46 x i8]* @.str.1, i64 0, i64 0))
%20 = load i32*, i32** %4
%21 = load i32, i32* %6
br label %22
22: ; preds = %18, %15
%23 = load i32, i32* %5
%24 = load i32, i32* %6
%25 = icmp slt i32 %23, %24
br i1 %25, label %26, label %121
26: ; preds = %22
%27 = load i32, i32* %5
%28 = load i32, i32* %6
%29 = add nsw i32 %27, %28
%30 = sdiv i32 %29, 2
store i32 %30, i32* %10
%31 = load i32*, i32** %4
%32 = load i32, i32* %5
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds i32, i32* %31, i64 %33
%35 = load i32*, i32** %4
%36 = load i32, i32* %10
%37 = sext i32 %36 to i64
%38 = getelementptr inbounds i32, i32* %35, i64 %37
%39 = call i32 @swap(i32* %34, i32* %38)
%40 = load i32*, i32** %4
%41 = load i32, i32* %5
%42 = sext i32 %41 to i64
%43 = getelementptr inbounds i32, i32* %40, i64 %42
%44 = load i32, i32* %43
store i32 %44, i32* %9
%45 = load i32, i32* %5
%46 = add nsw i32 %45, 1
store i32 %46, i32* %7
%47 = load i32, i32* %6
store i32 %47, i32* %8
br label %48
48: ; preds = %102, %26
%49 = load i32, i32* %7
%50 = load i32, i32* %8
%51 = icmp sle i32 %49, %50
br i1 %51, label %52, label %103
52: ; preds = %48
br label %53
53: ; preds = %67, %52
%54 = load i32, i32* %7
%55 = load i32, i32* %6
%56 = icmp sle i32 %54, %55
br i1 %56, label %57, label %65
57: ; preds = %53
%58 = load i32*, i32** %4
%59 = load i32, i32* %7
%60 = sext i32 %59 to i64
%61 = getelementptr inbounds i32, i32* %58, i64 %60
%62 = load i32, i32* %61
%63 = load i32, i32* %9
%64 = icmp sle i32 %62, %63
br label %65
65: ; preds = %57, %53
%66 = phi i1 [ false, %53 ], [ %64, %57 ]
br i1 %66, label %67, label %70
67: ; preds = %65
%68 = load i32, i32* %7
%69 = add nsw i32 %68, 1
store i32 %69, i32* %7
br label %53
70: ; preds = %65
br label %71
71: ; preds = %85, %70
%72 = load i32, i32* %8
%73 = load i32, i32* %5
%74 = icmp sge i32 %72, %73
br i1 %74, label %75, label %83
75: ; preds = %71
%76 = load i32*, i32** %4
%77 = load i32, i32* %8
%78 = sext i32 %77 to i64
%79 = getelementptr inbounds i32, i32* %76, i64 %78
%80 = load i32, i32* %79
%81 = load i32, i32* %9
%82 = icmp sgt i32 %80, %81
br label %83
83: ; preds = %75, %71
%84 = phi i1 [ false, %71 ], [ %82, %75 ]
br i1 %84, label %85, label %88
85: ; preds = %83
%86 = load i32, i32* %8
%87 = add nsw i32 %86, -1
store i32 %87, i32* %8
br label %71
88: ; preds = %83
%89 = load i32, i32* %7
%90 = load i32, i32* %8
%91 = icmp slt i32 %89, %90
br i1 %91, label %92, label %102
92: ; preds = %88
%93 = load i32*, i32** %4
%94 = load i32, i32* %7
%95 = sext i32 %94 to i64
%96 = getelementptr inbounds i32, i32* %93, i64 %95
%97 = load i32*, i32** %4
%98 = load i32, i32* %8
%99 = sext i32 %98 to i64
%100 = getelementptr inbounds i32, i32* %97, i64 %99
%101 = call i32 @swap(i32* %96, i32* %100)
br label %102
102: ; preds = %92, %88
br label %48
103: ; preds = %48
%104 = load i32*, i32** %4
%105 = load i32, i32* %5
%106 = sext i32 %105 to i64
%107 = getelementptr inbounds i32, i32* %104, i64 %106
%108 = load i32*, i32** %4
%109 = load i32, i32* %8
%110 = sext i32 %109 to i64
%111 = getelementptr inbounds i32, i32* %108, i64 %110
%112 = call i32 @swap(i32* %107, i32* %111)
%113 = load i32*, i32** %4
%114 = load i32, i32* %5
%115 = load i32, i32* %8
%116 = sub nsw i32 %115, 1
%117 = load i32*, i32** %4
%118 = load i32, i32* %8
%119 = add nsw i32 %118, 1
%120 = load i32, i32* %6
br label %121
121: ; preds = %103, %22
ret void
}

LLVM IR (-O2):
@.str = [46 x i8] c"\1B[31mError: n debe ser un entero positivo\1B[0m\00"
@.str.1 = [46 x i8] c"\1B[33mAviso: Detectado m < 0, usando m = 0\1B[0m\00"
define void @quicksort(i32* %0, i32 %1, i32 %2) {
%4 = icmp slt i32 %2, -1
%5 = sext i32 %2 to i64
%6 = add i32 %2, 1
br label %7
7: ; preds = %70, %3
%8 = phi i32 [ %1, %3 ], [ %75, %70 ]
br i1 %4, label %9, label %11
9: ; preds = %7
%10 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([46 x i8], [46 x i8]* @.str, i64 0, i64 0))
br label %11
11: ; preds = %9, %7
%12 = icmp slt i32 %8, 0
br i1 %12, label %13, label %15
13: ; preds = %11
%14 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([46 x i8], [46 x i8]* @.str.1, i64 0, i64 0))
tail call void @quicksort(i32* %0, i32 0, i32 %2)
br label %15
15: ; preds = %13, %11
%16 = icmp slt i32 %8, %2
br i1 %16, label %17, label %76
17: ; preds = %15
%18 = add nsw i32 %8, %2
%19 = sdiv i32 %18, 2
%20 = sext i32 %8 to i64
%21 = getelementptr inbounds i32, i32* %0, i64 %20
%22 = sext i32 %19 to i64
%23 = getelementptr inbounds i32, i32* %0, i64 %22
%24 = tail call i32 @swap(i32* %21, i32* %23)
%25 = load i32, i32* %21
%26 = add nsw i32 %8, 1
%27 = add i32 %8, -1
br label %28
28: ; preds = %17, %68
%29 = phi i32 [ %45, %68 ], [ %26, %17 ]
%30 = phi i32 [ %60, %68 ], [ %2, %17 ]
%31 = icmp sgt i32 %29, %2
br i1 %31, label %44, label %32
32: ; preds = %28
%33 = sext i32 %29 to i64
br label %34
34: ; preds = %32, %39
%35 = phi i64 [ %33, %32 ], [ %40, %39 ]
%36 = getelementptr inbounds i32, i32* %0, i64 %35
%37 = load i32, i32* %36
%38 = icmp sgt i32 %37, %25
br i1 %38, label %42, label %39
39: ; preds = %34
%40 = add nsw i64 %35, 1
%41 = icmp slt i64 %35, %5
br i1 %41, label %34, label %44
42: ; preds = %34
%43 = trunc i64 %35 to i32
br label %44
44: ; preds = %39, %42, %28
%45 = phi i32 [ %29, %28 ], [ %43, %42 ], [ %6, %39 ]
%46 = icmp slt i32 %30, %8
br i1 %46, label %59, label %47
47: ; preds = %44
%48 = sext i32 %30 to i64
br label %49
49: ; preds = %47, %54
%50 = phi i64 [ %48, %47 ], [ %55, %54 ]
%51 = getelementptr inbounds i32, i32* %0, i64 %50
%52 = load i32, i32* %51
%53 = icmp sgt i32 %52, %25
br i1 %53, label %54, label %57
54: ; preds = %49
%55 = add nsw i64 %50, -1
%56 = icmp sgt i64 %50, %20
br i1 %56, label %49, label %59
57: ; preds = %49
%58 = trunc i64 %50 to i32
br label %59
59: ; preds = %54, %57, %44
%60 = phi i32 [ %30, %44 ], [ %58, %57 ], [ %27, %54 ]
%61 = icmp slt i32 %45, %60
br i1 %61, label %62, label %68
62: ; preds = %59
%63 = sext i32 %45 to i64
%64 = getelementptr inbounds i32, i32* %0, i64 %63
%65 = sext i32 %60 to i64
%66 = getelementptr inbounds i32, i32* %0, i64 %65
%67 = tail call i32 @swap(i32* %64, i32* %66)
br label %68
68: ; preds = %62, %59
%69 = icmp sgt i32 %45, %60
br i1 %69, label %70, label %28
70: ; preds = %68
%71 = sext i32 %60 to i64
%72 = getelementptr inbounds i32, i32* %0, i64 %71
%73 = tail call i32 @swap(i32* %21, i32* %72)
%74 = add nsw i32 %60, -1
tail call void @quicksort(i32* %0, i32 %8, i32 %74)
%75 = add nsw i32 %60, 1
br label %7
76: ; preds = %15
ret void
}