#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*/ memmove(void *, void *, unsigned int);
extern void fff_permutation(unsigned int *x, unsigned int n,
                            unsigned long magic) {
  unsigned int *xi, i, ir, j, tmp, nc;
  unsigned long int m = magic;
  for (i = 0, xi = x; i < n; i++, xi++)
    *xi = i;
  for (i = 0, nc = n; i < n; i++, nc--) {
    ir = m % nc;
    m = m / nc;
    j = ir + i;
    tmp = x[j];
    xi = x + i;
    memmove((void *)(xi + 1), (void *)xi, ir * sizeof(unsigned int));
    *xi = tmp;
  }
  return;
}


x86 assembly (clang, -O0):
<fff_permutation>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x40(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0xc(%rbp),%eax
jae    1169 <fff_permutation+0x59>
mov    -0x24(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x20(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x20(%rbp)
jmp    113a <fff_permutation+0x2a>
movl   $0x0,-0x24(%rbp)
mov    -0xc(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0xc(%rbp),%eax
jae    1205 <fff_permutation+0xf5>
mov    -0x40(%rbp),%rax
mov    -0x34(%rbp),%ecx
xor    %edx,%edx
div    %rcx
mov    %edx,%eax
mov    %eax,-0x28(%rbp)
mov    -0x40(%rbp),%rax
mov    -0x34(%rbp),%ecx
xor    %edx,%edx
div    %rcx
mov    %rax,-0x40(%rbp)
mov    -0x28(%rbp),%eax
add    -0x24(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x2c(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x30(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rdi
add    $0x4,%rdi
mov    -0x20(%rbp),%rsi
mov    -0x28(%rbp),%eax
shl    $0x2,%rax
mov    %eax,%edx
call   1030 <memmove@plt>
mov    -0x30(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x34(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x34(%rbp)
jmp    1176 <fff_permutation+0x66>
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<fff_permutation>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
test   %esi,%esi
je     1320 <fff_permutation+0x210>
mov    %rdx,%r15
mov    %esi,%r13d
mov    %rdi,%r14
lea    -0x1(%r13),%ecx
xor    %eax,%eax
mov    %rdi,%rdx
cmp    $0x7,%ecx
jb     12b0 <fff_permutation+0x1a0>
add    $0x1,%rcx
mov    %rcx,%rax
and    $0xfffffffffffffff8,%rax
lea    -0x8(%rax),%rdi
mov    %rdi,%rsi
shr    $0x3,%rsi
add    $0x1,%rsi
mov    %esi,%edx
and    $0x3,%edx
cmp    $0x18,%rdi
jae    1172 <fff_permutation+0x62>
movdqa 0xe95(%rip),%xmm0
xor    %edi,%edi
jmp    1250 <fff_permutation+0x140>
and    $0xfffffffffffffffc,%rsi
movdqa 0xe82(%rip),%xmm0
xor    %edi,%edi
movdqa 0xe87(%rip),%xmm8
movdqa 0xe8e(%rip),%xmm9
movdqa 0xe95(%rip),%xmm10
movdqa 0xe9d(%rip),%xmm4
movdqa 0xea5(%rip),%xmm5
movdqa 0xead(%rip),%xmm6
movdqa 0xeb5(%rip),%xmm7
movdqa 0xebd(%rip),%xmm1
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movdqa %xmm0,%xmm2
paddd  %xmm8,%xmm2
movdqu %xmm0,(%r14,%rdi,4)
movdqu %xmm2,0x10(%r14,%rdi,4)
movdqa %xmm0,%xmm2
paddd  %xmm9,%xmm2
movdqa %xmm0,%xmm3
paddd  %xmm10,%xmm3
movdqu %xmm2,0x20(%r14,%rdi,4)
movdqu %xmm3,0x30(%r14,%rdi,4)
movdqa %xmm0,%xmm2
paddd  %xmm4,%xmm2
movdqa %xmm0,%xmm3
paddd  %xmm5,%xmm3
movdqu %xmm2,0x40(%r14,%rdi,4)
movdqu %xmm3,0x50(%r14,%rdi,4)
movdqa %xmm0,%xmm2
paddd  %xmm6,%xmm2
movdqa %xmm0,%xmm3
paddd  %xmm7,%xmm3
movdqu %xmm2,0x60(%r14,%rdi,4)
movdqu %xmm3,0x70(%r14,%rdi,4)
add    $0x20,%rdi
paddd  %xmm1,%xmm0
add    $0xfffffffffffffffc,%rsi
jne    11d0 <fff_permutation+0xc0>
test   %rdx,%rdx
je     12a0 <fff_permutation+0x190>
lea    (%r14,%rdi,4),%rsi
add    $0x10,%rsi
shl    $0x5,%rdx
xor    %edi,%edi
movdqa 0xda5(%rip),%xmm1
movdqa 0xdad(%rip),%xmm2
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movdqa %xmm0,%xmm3
paddd  %xmm1,%xmm3
movdqu %xmm0,-0x10(%rsi,%rdi,1)
movdqu %xmm3,(%rsi,%rdi,1)
paddd  %xmm2,%xmm0
add    $0x20,%rdi
cmp    %rdi,%rdx
jne    1280 <fff_permutation+0x170>
cmp    %rax,%rcx
je     12be <fff_permutation+0x1ae>
lea    (%r14,%rax,4),%rdx
nopl   0x0(%rax)
mov    %eax,(%rdx)
add    $0x1,%eax
add    $0x4,%rdx
cmp    %eax,%r13d
jne    12b0 <fff_permutation+0x1a0>
test   %r13d,%r13d
je     1320 <fff_permutation+0x210>
mov    %r13d,%r12d
xor    %ebx,%ebx
jmp    1307 <fff_permutation+0x1f7>
nopw   0x0(%rax,%rax,1)
mov    %r15,%rax
xor    %edx,%edx
div    %r13
mov    %rax,%r15
lea    (%rbx,%rdx,1),%eax
mov    (%r14,%rax,4),%ebp
lea    (%r14,%rbx,4),%rsi
lea    (%r14,%rbx,4),%rdi
add    $0x4,%rdi
shl    $0x2,%edx
call   1030 <memmove@plt>
mov    %ebp,(%r14,%rbx,4)
add    $0x1,%rbx
add    $0xffffffff,%r13d
cmp    %r12,%rbx
je     1320 <fff_permutation+0x210>
mov    %r13d,%r13d
mov    %r15,%rax
shr    $0x20,%rax
jne    12d0 <fff_permutation+0x1c0>
mov    %r15d,%eax
xor    %edx,%edx
div    %r13d
mov    %eax,%r15d
jmp    12db <fff_permutation+0x1cb>
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @fff_permutation(i32* %0, i32 %1, i64 %2) {
%4 = alloca i32*
%5 = alloca i32
%6 = alloca i64
%7 = alloca i32*
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i64
store i32* %0, i32** %4
store i32 %1, i32* %5
store i64 %2, i64* %6
%14 = load i64, i64* %6
store i64 %14, i64* %13
store i32 0, i32* %8
%15 = load i32*, i32** %4
store i32* %15, i32** %7
br label %16
16: ; preds = %23, %3
%17 = load i32, i32* %8
%18 = load i32, i32* %5
%19 = icmp ult i32 %17, %18
br i1 %19, label %20, label %28
20: ; preds = %16
%21 = load i32, i32* %8
%22 = load i32*, i32** %7
store i32 %21, i32* %22
br label %23
23: ; preds = %20
%24 = load i32, i32* %8
%25 = add i32 %24, 1
store i32 %25, i32* %8
%26 = load i32*, i32** %7
%27 = getelementptr inbounds i32, i32* %26, i32 1
store i32* %27, i32** %7
br label %16
28: ; preds = %16
store i32 0, i32* %8
%29 = load i32, i32* %5
store i32 %29, i32* %12
br label %30
30: ; preds = %68, %28
%31 = load i32, i32* %8
%32 = load i32, i32* %5
%33 = icmp ult i32 %31, %32
br i1 %33, label %34, label %73
34: ; preds = %30
%35 = load i64, i64* %13
%36 = load i32, i32* %12
%37 = zext i32 %36 to i64
%38 = urem i64 %35, %37
%39 = trunc i64 %38 to i32
store i32 %39, i32* %9
%40 = load i64, i64* %13
%41 = load i32, i32* %12
%42 = zext i32 %41 to i64
%43 = udiv i64 %40, %42
store i64 %43, i64* %13
%44 = load i32, i32* %9
%45 = load i32, i32* %8
%46 = add i32 %44, %45
store i32 %46, i32* %10
%47 = load i32*, i32** %4
%48 = load i32, i32* %10
%49 = zext i32 %48 to i64
%50 = getelementptr inbounds i32, i32* %47, i64 %49
%51 = load i32, i32* %50
store i32 %51, i32* %11
%52 = load i32*, i32** %4
%53 = load i32, i32* %8
%54 = zext i32 %53 to i64
%55 = getelementptr inbounds i32, i32* %52, i64 %54
store i32* %55, i32** %7
%56 = load i32*, i32** %7
%57 = getelementptr inbounds i32, i32* %56, i64 1
%58 = bitcast i32* %57 to i8*
%59 = load i32*, i32** %7
%60 = bitcast i32* %59 to i8*
%61 = load i32, i32* %9
%62 = zext i32 %61 to i64
%63 = mul i64 %62, 4
%64 = trunc i64 %63 to i32
%65 = call i32 @memmove(i8* %58, i8* %60, i32 %64)
%66 = load i32, i32* %11
%67 = load i32*, i32** %7
store i32 %66, i32* %67
br label %68
68: ; preds = %34
%69 = load i32, i32* %8
%70 = add i32 %69, 1
store i32 %70, i32* %8
%71 = load i32, i32* %12
%72 = add i32 %71, -1
store i32 %72, i32* %12
br label %30
73: ; preds = %30
ret void
}

LLVM IR (-O2):
define void @fff_permutation(i32* %0, i32 %1, i64 %2) {
%4 = icmp eq i32 %1, 0
br i1 %4, label %107, label %5
5: ; preds = %3
%6 = add i32 %1, -1
%7 = zext i32 %6 to i64
%8 = add nuw nsw i64 %7, 1
%9 = icmp ult i32 %6, 7
br i1 %9, label %74, label %10
10: ; preds = %5
%11 = and i64 %8, 8589934584
%12 = getelementptr i32, i32* %0, i64 %11
%13 = trunc i64 %11 to i32
%14 = add nsw i64 %11, -8
%15 = lshr exact i64 %14, 3
%16 = add nuw nsw i64 %15, 1
%17 = and i64 %16, 3
%18 = icmp ult i64 %14, 24
br i1 %18, label %55, label %19
19: ; preds = %10
%20 = and i64 %16, 4611686018427387900
br label %21
21: ; preds = %21, %19
%22 = phi i64 [ 0, %19 ], [ %51, %21 ]
%23 = phi <4 x i32> [ <i32 0, i32 1, i32 2, i32 3>, %19 ], [ %52, %21 ]
%24 = phi i64 [ 0, %19 ], [ %53, %21 ]
%25 = getelementptr i32, i32* %0, i64 %22
%26 = add <4 x i32> %23, <i32 4, i32 4, i32 4, i32 4>
%27 = bitcast i32* %25 to <4 x i32>*
store <4 x i32> %23, <4 x i32>* %27
%28 = getelementptr i32, i32* %25, i64 4
%29 = bitcast i32* %28 to <4 x i32>*
store <4 x i32> %26, <4 x i32>* %29
%30 = or i64 %22, 8
%31 = add <4 x i32> %23, <i32 8, i32 8, i32 8, i32 8>
%32 = getelementptr i32, i32* %0, i64 %30
%33 = add <4 x i32> %23, <i32 12, i32 12, i32 12, i32 12>
%34 = bitcast i32* %32 to <4 x i32>*
store <4 x i32> %31, <4 x i32>* %34
%35 = getelementptr i32, i32* %32, i64 4
%36 = bitcast i32* %35 to <4 x i32>*
store <4 x i32> %33, <4 x i32>* %36
%37 = or i64 %22, 16
%38 = add <4 x i32> %23, <i32 16, i32 16, i32 16, i32 16>
%39 = getelementptr i32, i32* %0, i64 %37
%40 = add <4 x i32> %23, <i32 20, i32 20, i32 20, i32 20>
%41 = bitcast i32* %39 to <4 x i32>*
store <4 x i32> %38, <4 x i32>* %41
%42 = getelementptr i32, i32* %39, i64 4
%43 = bitcast i32* %42 to <4 x i32>*
store <4 x i32> %40, <4 x i32>* %43
%44 = or i64 %22, 24
%45 = add <4 x i32> %23, <i32 24, i32 24, i32 24, i32 24>
%46 = getelementptr i32, i32* %0, i64 %44
%47 = add <4 x i32> %23, <i32 28, i32 28, i32 28, i32 28>
%48 = bitcast i32* %46 to <4 x i32>*
store <4 x i32> %45, <4 x i32>* %48
%49 = getelementptr i32, i32* %46, i64 4
%50 = bitcast i32* %49 to <4 x i32>*
store <4 x i32> %47, <4 x i32>* %50
%51 = add nuw i64 %22, 32
%52 = add <4 x i32> %23, <i32 32, i32 32, i32 32, i32 32>
%53 = add i64 %24, 4
%54 = icmp eq i64 %53, %20
br i1 %54, label %55, label %21
55: ; preds = %21, %10
%56 = phi i64 [ 0, %10 ], [ %51, %21 ]
%57 = phi <4 x i32> [ <i32 0, i32 1, i32 2, i32 3>, %10 ], [ %52, %21 ]
%58 = icmp eq i64 %17, 0
br i1 %58, label %72, label %59
59: ; preds = %55, %59
%60 = phi i64 [ %68, %59 ], [ %56, %55 ]
%61 = phi <4 x i32> [ %69, %59 ], [ %57, %55 ]
%62 = phi i64 [ %70, %59 ], [ 0, %55 ]
%63 = getelementptr i32, i32* %0, i64 %60
%64 = add <4 x i32> %61, <i32 4, i32 4, i32 4, i32 4>
%65 = bitcast i32* %63 to <4 x i32>*
store <4 x i32> %61, <4 x i32>* %65
%66 = getelementptr i32, i32* %63, i64 4
%67 = bitcast i32* %66 to <4 x i32>*
store <4 x i32> %64, <4 x i32>* %67
%68 = add nuw i64 %60, 8
%69 = add <4 x i32> %61, <i32 8, i32 8, i32 8, i32 8>
%70 = add i64 %62, 1
%71 = icmp eq i64 %70, %17
br i1 %71, label %72, label %59
72: ; preds = %59, %55
%73 = icmp eq i64 %8, %11
br i1 %73, label %77, label %74
74: ; preds = %5, %72
%75 = phi i32* [ %0, %5 ], [ %12, %72 ]
%76 = phi i32 [ 0, %5 ], [ %13, %72 ]
br label %80
77: ; preds = %80, %72
br i1 %4, label %107, label %78
78: ; preds = %77
%79 = zext i32 %1 to i64
br label %86
80: ; preds = %74, %80
%81 = phi i32* [ %84, %80 ], [ %75, %74 ]
%82 = phi i32 [ %83, %80 ], [ %76, %74 ]
store i32 %82, i32* %81
%83 = add nuw i32 %82, 1
%84 = getelementptr inbounds i32, i32* %81, i64 1
%85 = icmp eq i32 %83, %1
br i1 %85, label %77, label %80
86: ; preds = %78, %86
%87 = phi i64 [ 0, %78 ], [ %104, %86 ]
%88 = phi i64 [ %2, %78 ], [ %93, %86 ]
%89 = phi i32 [ %1, %78 ], [ %105, %86 ]
%90 = zext i32 %89 to i64
%91 = urem i64 %88, %90
%92 = trunc i64 %91 to i32
%93 = udiv i64 %88, %90
%94 = add nuw i64 %87, %91
%95 = and i64 %94, 4294967295
%96 = getelementptr inbounds i32, i32* %0, i64 %95
%97 = load i32, i32* %96
%98 = getelementptr inbounds i32, i32* %0, i64 %87
%99 = getelementptr inbounds i32, i32* %98, i64 1
%100 = bitcast i32* %99 to i8*
%101 = bitcast i32* %98 to i8*
%102 = shl i32 %92, 2
%103 = tail call i32 @memmove(i8* %100, i8* %101, i32 %102)
store i32 %97, i32* %98
%104 = add nuw nsw i64 %87, 1
%105 = add i32 %89, -1
%106 = icmp eq i64 %104, %79
br i1 %106, label %107, label %86
107: ; preds = %86, %3, %77
ret void
}