#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*/ imprima(int *, int);
void rec(int s[], int j, int m, int k, int n) {
  if (j == k)
    imprima(s, k);
  else {
    if (m <= n - k + j + 1) {
      s[j + 1] = m;
      rec(s, j + 1, m + 1, k, n);
      rec(s, j, m + 1, k, n);
    }
  }
}


x86 assembly (clang, -O0):
<rec>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
mov    %r8d,-0x18(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x14(%rbp),%eax
jne    1156 <rec+0x36>
mov    -0x8(%rbp),%rdi
mov    -0x14(%rbp),%esi
call   1030 <imprima@plt>
jmp    11ba <rec+0x9a>
mov    -0x10(%rbp),%eax
mov    -0x18(%rbp),%ecx
sub    -0x14(%rbp),%ecx
add    -0xc(%rbp),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
jg     11b5 <rec+0x95>
mov    -0x10(%rbp),%edx
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
add    $0x1,%esi
mov    -0x10(%rbp),%edx
add    $0x1,%edx
mov    -0x14(%rbp),%ecx
mov    -0x18(%rbp),%r8d
call   1040 <rec@plt>
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
mov    -0x10(%rbp),%edx
add    $0x1,%edx
mov    -0x14(%rbp),%ecx
mov    -0x18(%rbp),%r8d
call   1040 <rec@plt>
jmp    11ba <rec+0x9a>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<rec>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %ecx,%r15d
mov    %rdi,%r13
cmp    %ecx,%esi
jne    1151 <rec+0x31>
mov    %r13,%rdi
mov    %r15d,%esi
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <imprima@plt>
mov    %r8d,%r14d
mov    %edx,%ebx
mov    %esi,%r12d
add    $0x1,%r12d
mov    %r12d,0xc(%rsp)
sub    %r15d,%r12d
add    %r8d,%r12d
cmp    %edx,%r12d
jl     11a8 <rec+0x88>
movslq 0xc(%rsp),%rax
mov    %rax,0x10(%rsp)
nopw   0x0(%rax,%rax,1)
mov    0x10(%rsp),%rax
mov    %ebx,0x0(%r13,%rax,4)
lea    0x1(%rbx),%ebp
mov    %r13,%rdi
mov    0xc(%rsp),%esi
mov    %ebp,%edx
mov    %r15d,%ecx
mov    %r14d,%r8d
call   1040 <rec@plt>
cmp    %ebx,%r12d
mov    %ebp,%ebx
jg     1180 <rec+0x60>
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define void @rec(i32* %0, i32 %1, i32 %2, i32 %3, i32 %4) {
%6 = icmp eq i32 %1, %3
br i1 %6, label %14, label %7
7: ; preds = %5
%8 = add i32 %1, 1
%9 = sub i32 %8, %3
%10 = add i32 %9, %4
%11 = sext i32 %8 to i64
%12 = getelementptr inbounds i32, i32* %0, i64 %11
%13 = icmp slt i32 %10, %2
br i1 %13, label %20, label %16
14: ; preds = %5
%15 = tail call i32 @imprima(i32* %0, i32 %3)
br label %20
16: ; preds = %7, %16
%17 = phi i32 [ %18, %16 ], [ %2, %7 ]
store i32 %17, i32* %12
%18 = add nsw i32 %17, 1
tail call void @rec(i32* %0, i32 %8, i32 %18, i32 %3, i32 %4)
%19 = icmp sgt i32 %10, %17
br i1 %19, label %16, label %20
20: ; preds = %16, %7, %14
ret void
}