#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*/ permutation_first(int, int, int *);
scalar_t__ permutation_next(int, int, int *);
int /*<<< orphan*/ raid_sort(int, int *);
int raid_test_sort(void) {
  int p[6];
  int r;
  for (r = 1; r <= 6; ++r) {
    permutation_first(r, 6, p);
    do {
      int i[6];
      int j;
      for (j = 0; j < r; ++j)
        i[j] = p[j];
      raid_sort(r, i);
      for (j = 1; j < r; ++j) {
        if (i[j - 1] > i[j]) {
          return -1;
        }
      }
    } while (permutation_next(r, 6, p));
  }
  return 0;
}


x86 assembly (clang, -O0):
<raid_test_sort>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
movl   $0x1,-0x24(%rbp)
cmpl   $0x6,-0x24(%rbp)
jg     1216 <raid_test_sort+0xe6>
mov    -0x24(%rbp),%edi
lea    -0x20(%rbp),%rdx
mov    $0x6,%esi
call   1050 <permutation_first@plt>
movl   $0x0,-0x44(%rbp)
mov    -0x44(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    118b <raid_test_sort+0x5b>
movslq -0x44(%rbp),%rax
mov    -0x20(%rbp,%rax,4),%ecx
movslq -0x44(%rbp),%rax
mov    %ecx,-0x40(%rbp,%rax,4)
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    1161 <raid_test_sort+0x31>
mov    -0x24(%rbp),%edi
lea    -0x40(%rbp),%rsi
call   1040 <raid_sort@plt>
movl   $0x1,-0x44(%rbp)
mov    -0x44(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    11e3 <raid_test_sort+0xb3>
mov    -0x44(%rbp),%eax
sub    $0x1,%eax
cltq
mov    -0x40(%rbp,%rax,4),%eax
movslq -0x44(%rbp),%rcx
cmp    -0x40(%rbp,%rcx,4),%eax
jle    11d0 <raid_test_sort+0xa0>
movl   $0xffffffff,-0x4(%rbp)
jmp    121d <raid_test_sort+0xed>
jmp    11d5 <raid_test_sort+0xa5>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    119e <raid_test_sort+0x6e>
jmp    11e8 <raid_test_sort+0xb8>
mov    -0x24(%rbp),%edi
lea    -0x20(%rbp),%rdx
mov    $0x6,%esi
call   1030 <permutation_next@plt>
cmp    $0x0,%rax
jne    115a <raid_test_sort+0x2a>
jmp    1208 <raid_test_sort+0xd8>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    113f <raid_test_sort+0xf>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<raid_test_sort>:
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x40,%rsp
mov    $0x1,%ebx
xor    %r13d,%r13d
lea    0x20(%rsp),%r14
mov    %rsp,%r15
lea    0x4(,%r13,4),%r12
mov    %ebx,%edi
mov    $0x6,%esi
mov    %r14,%rdx
call   1060 <permutation_first@plt>
jmp    1194 <raid_test_sort+0x54>
cs nopw 0x0(%rax,%rax,1)
mov    %ebx,%edi
mov    $0x6,%esi
mov    %r14,%rdx
call   1030 <permutation_next@plt>
test   %rax,%rax
je     1200 <raid_test_sort+0xc0>
mov    %r15,%rdi
mov    %r14,%rsi
mov    %r12,%rdx
call   1050 <memcpy@plt>
mov    %ebx,%edi
mov    %r15,%rsi
call   1040 <raid_sort@plt>
cmp    $0x1,%rbx
jbe    1180 <raid_test_sort+0x40>
mov    0x4(%rsp),%ecx
cmp    %ecx,(%rsp)
jg     1216 <raid_test_sort+0xd6>
cmp    $0x2,%rbx
je     1180 <raid_test_sort+0x40>
mov    0x8(%rsp),%eax
cmp    %eax,%ecx
jg     1216 <raid_test_sort+0xd6>
cmp    $0x3,%rbx
je     1180 <raid_test_sort+0x40>
mov    0xc(%rsp),%ecx
cmp    %ecx,%eax
jg     1216 <raid_test_sort+0xd6>
cmp    $0x4,%rbx
je     1180 <raid_test_sort+0x40>
mov    0x10(%rsp),%eax
cmp    %eax,%ecx
jg     1216 <raid_test_sort+0xd6>
cmp    $0x5,%rbx
je     1180 <raid_test_sort+0x40>
cmp    0x14(%rsp),%eax
jle    1180 <raid_test_sort+0x40>
jmp    1216 <raid_test_sort+0xd6>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0x1,%rbx
add    $0x1,%r13
cmp    $0x6,%r13
jne    115d <raid_test_sort+0x1d>
xor    %eax,%eax
jmp    121b <raid_test_sort+0xdb>
mov    $0xffffffff,%eax
add    $0x40,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define i32 @raid_test_sort() {
%1 = alloca i32
%2 = alloca [6 x i32]
%3 = alloca i32
%4 = alloca [6 x i32]
%5 = alloca i32
store i32 1, i32* %3
br label %6
6: ; preds = %60, %0
%7 = load i32, i32* %3
%8 = icmp sle i32 %7, 6
br i1 %8, label %9, label %63
9: ; preds = %6
%10 = load i32, i32* %3
%11 = getelementptr inbounds [6 x i32], [6 x i32]* %2, i64 0, i64 0
%12 = call i32 @permutation_first(i32 %10, i32 6, i32* %11)
br label %13
13: ; preds = %54, %9
store i32 0, i32* %5
br label %14
14: ; preds = %26, %13
%15 = load i32, i32* %5
%16 = load i32, i32* %3
%17 = icmp slt i32 %15, %16
br i1 %17, label %18, label %29
18: ; preds = %14
%19 = load i32, i32* %5
%20 = sext i32 %19 to i64
%21 = getelementptr inbounds [6 x i32], [6 x i32]* %2, i64 0, i64 %20
%22 = load i32, i32* %21
%23 = load i32, i32* %5
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds [6 x i32], [6 x i32]* %4, i64 0, i64 %24
store i32 %22, i32* %25
br label %26
26: ; preds = %18
%27 = load i32, i32* %5
%28 = add nsw i32 %27, 1
store i32 %28, i32* %5
br label %14
29: ; preds = %14
%30 = load i32, i32* %3
%31 = getelementptr inbounds [6 x i32], [6 x i32]* %4, i64 0, i64 0
%32 = call i32 @raid_sort(i32 %30, i32* %31)
store i32 1, i32* %5
br label %33
33: ; preds = %50, %29
%34 = load i32, i32* %5
%35 = load i32, i32* %3
%36 = icmp slt i32 %34, %35
br i1 %36, label %37, label %53
37: ; preds = %33
%38 = load i32, i32* %5
%39 = sub nsw i32 %38, 1
%40 = sext i32 %39 to i64
%41 = getelementptr inbounds [6 x i32], [6 x i32]* %4, i64 0, i64 %40
%42 = load i32, i32* %41
%43 = load i32, i32* %5
%44 = sext i32 %43 to i64
%45 = getelementptr inbounds [6 x i32], [6 x i32]* %4, i64 0, i64 %44
%46 = load i32, i32* %45
%47 = icmp sgt i32 %42, %46
br i1 %47, label %48, label %49
48: ; preds = %37
store i32 -1, i32* %1
br label %64
49: ; preds = %37
br label %50
50: ; preds = %49
%51 = load i32, i32* %5
%52 = add nsw i32 %51, 1
store i32 %52, i32* %5
br label %33
53: ; preds = %33
br label %54
54: ; preds = %53
%55 = load i32, i32* %3
%56 = getelementptr inbounds [6 x i32], [6 x i32]* %2, i64 0, i64 0
%57 = call i64 @permutation_next(i32 %55, i32 6, i32* %56)
%58 = icmp ne i64 %57, 0
br i1 %58, label %13, label %59
59: ; preds = %54
br label %60
60: ; preds = %59
%61 = load i32, i32* %3
%62 = add nsw i32 %61, 1
store i32 %62, i32* %3
br label %6
63: ; preds = %6
store i32 0, i32* %1
br label %64
64: ; preds = %63, %48
%65 = load i32, i32* %1
ret i32 %65
}

LLVM IR (-O2):
define i32 @raid_test_sort() {
%1 = alloca [6 x i32]
%2 = bitcast [6 x i32]* %1 to i8*
%3 = alloca [6 x i32]
%4 = bitcast [6 x i32]* %3 to i8*
%5 = getelementptr inbounds [6 x i32], [6 x i32]* %1, i64 0, i64 0
%6 = getelementptr inbounds [6 x i32], [6 x i32]* %3, i64 0, i64 0
%7 = getelementptr inbounds [6 x i32], [6 x i32]* %3, i64 0, i64 1
%8 = getelementptr inbounds [6 x i32], [6 x i32]* %3, i64 0, i64 2
%9 = getelementptr inbounds [6 x i32], [6 x i32]* %3, i64 0, i64 3
%10 = getelementptr inbounds [6 x i32], [6 x i32]* %3, i64 0, i64 4
%11 = getelementptr inbounds [6 x i32], [6 x i32]* %3, i64 0, i64 5
br label %12
12: ; preds = %0, %50
%13 = phi i64 [ 1, %0 ], [ %51, %50 ]
%14 = phi i64 [ 0, %0 ], [ %52, %50 ]
%15 = shl nuw nsw i64 %14, 2
%16 = add nuw nsw i64 %15, 4
%17 = trunc i64 %13 to i32
%18 = call i32 @permutation_first(i32 %17, i32 6, i32* %5)
%19 = icmp ugt i64 %13, 1
%20 = icmp eq i64 %13, 2
%21 = icmp eq i64 %13, 3
%22 = icmp eq i64 %13, 4
%23 = icmp ne i64 %13, 5
br label %24
24: ; preds = %47, %12
%25 = call i32 @raid_sort(i32 %17, i32* %6)
br i1 %19, label %42, label %47
26: ; preds = %42
br i1 %20, label %47, label %27
27: ; preds = %26
%28 = load i32, i32* %8
%29 = icmp sgt i32 %44, %28
br i1 %29, label %46, label %30
30: ; preds = %27
br i1 %21, label %47, label %31
31: ; preds = %30
%32 = load i32, i32* %9
%33 = icmp sgt i32 %28, %32
br i1 %33, label %46, label %34
34: ; preds = %31
br i1 %22, label %47, label %35
35: ; preds = %34
%36 = load i32, i32* %10
%37 = icmp sgt i32 %32, %36
br i1 %37, label %46, label %38
38: ; preds = %35
%39 = load i32, i32* %11
%40 = icmp sgt i32 %36, %39
%41 = select i1 %23, i1 %40, i1 false
br i1 %41, label %46, label %47
42: ; preds = %24
%43 = load i32, i32* %6
%44 = load i32, i32* %7
%45 = icmp sgt i32 %43, %44
br i1 %45, label %46, label %26
46: ; preds = %38, %35, %31, %27, %42
br label %54
47: ; preds = %26, %30, %34, %38, %24
%48 = call i64 @permutation_next(i32 %17, i32 6, i32* %5)
%49 = icmp eq i64 %48, 0
br i1 %49, label %50, label %24
50: ; preds = %47
%51 = add nuw nsw i64 %13, 1
%52 = add nuw nsw i64 %14, 1
%53 = icmp eq i64 %52, 6
br i1 %53, label %54, label %12
54: ; preds = %50, %46
%55 = phi i32 [ -1, %46 ], [ 0, %50 ]
ret i32 %55
}