#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_insert(int, int *, int);
int raid_test_insert(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)
        raid_insert(j, i, p[j]);
      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_insert>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
movl   $0x1,-0x24(%rbp)
cmpl   $0x6,-0x24(%rbp)
jg     120e <raid_test_insert+0xde>
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    118f <raid_test_insert+0x5f>
mov    -0x44(%rbp),%edi
lea    -0x40(%rbp),%rsi
movslq -0x44(%rbp),%rax
mov    -0x20(%rbp,%rax,4),%edx
call   1040 <raid_insert@plt>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    1161 <raid_test_insert+0x31>
movl   $0x1,-0x44(%rbp)
mov    -0x44(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    11db <raid_test_insert+0xab>
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    11c8 <raid_test_insert+0x98>
movl   $0xffffffff,-0x4(%rbp)
jmp    1215 <raid_test_insert+0xe5>
jmp    11cd <raid_test_insert+0x9d>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    1196 <raid_test_insert+0x66>
jmp    11e0 <raid_test_insert+0xb0>
mov    -0x24(%rbp),%edi
lea    -0x20(%rbp),%rdx
mov    $0x6,%esi
call   1030 <permutation_next@plt>
cmp    $0x0,%rax
jne    115a <raid_test_insert+0x2a>
jmp    1200 <raid_test_insert+0xd0>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    113f <raid_test_insert+0xf>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<raid_test_insert>:
push   %r15
push   %r14
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    $0x1,%r12d
lea    0x20(%rsp),%r14
mov    %rsp,%r15
mov    %r12d,%edi
mov    $0x6,%esi
mov    %r14,%rdx
call   1050 <permutation_first@plt>
jmp    1175 <raid_test_insert+0x45>
nopl   0x0(%rax,%rax,1)
mov    %r12d,%edi
mov    $0x6,%esi
mov    %r14,%rdx
call   1030 <permutation_next@plt>
test   %rax,%rax
je     11e0 <raid_test_insert+0xb0>
xor    %ebx,%ebx
nopw   0x0(%rax,%rax,1)
mov    0x20(%rsp,%rbx,4),%edx
mov    %ebx,%edi
mov    %r15,%rsi
call   1040 <raid_insert@plt>
add    $0x1,%rbx
cmp    %rbx,%r12
jne    1180 <raid_test_insert+0x50>
cmp    $0x1,%r12
jbe    1160 <raid_test_insert+0x30>
mov    0x4(%rsp),%ecx
cmp    %ecx,(%rsp)
jg     11f2 <raid_test_insert+0xc2>
cmp    $0x2,%r12
je     1160 <raid_test_insert+0x30>
mov    0x8(%rsp),%eax
cmp    %eax,%ecx
jg     11f2 <raid_test_insert+0xc2>
cmp    $0x3,%r12
je     1160 <raid_test_insert+0x30>
mov    0xc(%rsp),%ecx
cmp    %ecx,%eax
jg     11f2 <raid_test_insert+0xc2>
cmp    $0x4,%r12
je     1160 <raid_test_insert+0x30>
mov    0x10(%rsp),%eax
cmp    %eax,%ecx
jg     11f2 <raid_test_insert+0xc2>
cmp    $0x5,%r12
je     1160 <raid_test_insert+0x30>
cmp    0x14(%rsp),%eax
jle    1160 <raid_test_insert+0x30>
jmp    11f2 <raid_test_insert+0xc2>
xchg   %ax,%ax
add    $0x1,%r12
cmp    $0x7,%r12
jne    1149 <raid_test_insert+0x19>
xor    %eax,%eax
jmp    11f7 <raid_test_insert+0xc7>
mov    $0xffffffff,%eax
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define i32 @raid_test_insert() {
%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 = %57, %0
%7 = load i32, i32* %3
%8 = icmp sle i32 %7, 6
br i1 %8, label %9, label %60
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 = %51, %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 = getelementptr inbounds [6 x i32], [6 x i32]* %4, i64 0, i64 0
%21 = load i32, i32* %5
%22 = sext i32 %21 to i64
%23 = getelementptr inbounds [6 x i32], [6 x i32]* %2, i64 0, i64 %22
%24 = load i32, i32* %23
%25 = call i32 @raid_insert(i32 %19, i32* %20, i32 %24)
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
store i32 1, i32* %5
br label %30
30: ; preds = %47, %29
%31 = load i32, i32* %5
%32 = load i32, i32* %3
%33 = icmp slt i32 %31, %32
br i1 %33, label %34, label %50
34: ; preds = %30
%35 = load i32, i32* %5
%36 = sub nsw i32 %35, 1
%37 = sext i32 %36 to i64
%38 = getelementptr inbounds [6 x i32], [6 x i32]* %4, i64 0, i64 %37
%39 = load i32, i32* %38
%40 = load i32, i32* %5
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds [6 x i32], [6 x i32]* %4, i64 0, i64 %41
%43 = load i32, i32* %42
%44 = icmp sgt i32 %39, %43
br i1 %44, label %45, label %46
45: ; preds = %34
store i32 -1, i32* %1
br label %61
46: ; preds = %34
br label %47
47: ; preds = %46
%48 = load i32, i32* %5
%49 = add nsw i32 %48, 1
store i32 %49, i32* %5
br label %30
50: ; preds = %30
br label %51
51: ; preds = %50
%52 = load i32, i32* %3
%53 = getelementptr inbounds [6 x i32], [6 x i32]* %2, i64 0, i64 0
%54 = call i64 @permutation_next(i32 %52, i32 6, i32* %53)
%55 = icmp ne i64 %54, 0
br i1 %55, label %13, label %56
56: ; preds = %51
br label %57
57: ; preds = %56
%58 = load i32, i32* %3
%59 = add nsw i32 %58, 1
store i32 %59, i32* %3
br label %6
60: ; preds = %6
store i32 0, i32* %1
br label %61
61: ; preds = %60, %45
%62 = load i32, i32* %1
ret i32 %62
}

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