void permute(int nPoint, int nFact, int fact[], int remain[], double xRe[],
             double xIm[], double yRe[], double yIm[]) {
  int i, j, k;
  int count[20];
  for (i = 1; i <= nFact; i++)
    count[i] = 0;
  k = 0;
  for (i = 0; i <= nPoint - 2; i++) {
    yRe[i] = xRe[k];
    yIm[i] = xIm[k];
    j = 1;
    k = k + remain[j];
    count[1] = count[1] + 1;
    while (count[j] >= fact[j]) {
      count[j] = 0;
      k = k - remain[j - 1] + remain[j + 1];
      j = j + 1;
      count[j] = count[j] + 1;
    }
  }
  yRe[nPoint - 1] = xRe[nPoint - 1];
  yIm[nPoint - 1] = xIm[nPoint - 1];
}


x86 assembly (clang, -O0):
<permute>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    0x18(%rbp),%rax
mov    0x10(%rbp),%rax
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %rdx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
mov    %r8,-0x20(%rbp)
mov    %r9,-0x28(%rbp)
movl   $0x1,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x8(%rbp),%eax
jg     1156 <permute+0x56>
movslq -0x2c(%rbp),%rax
movl   $0x0,-0x90(%rbp,%rax,4)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    112d <permute+0x2d>
movl   $0x0,-0x34(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
mov    -0x4(%rbp),%ecx
sub    $0x2,%ecx
cmp    %ecx,%eax
jg     125b <permute+0x15b>
mov    -0x20(%rbp),%rax
movslq -0x34(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x28(%rbp),%rax
movslq -0x34(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
movl   $0x1,-0x30(%rbp)
mov    -0x34(%rbp),%eax
mov    -0x18(%rbp),%rcx
movslq -0x30(%rbp),%rdx
add    (%rcx,%rdx,4),%eax
mov    %eax,-0x34(%rbp)
mov    -0x8c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8c(%rbp)
movslq -0x30(%rbp),%rax
mov    -0x90(%rbp,%rax,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x30(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jl     1248 <permute+0x148>
movslq -0x30(%rbp),%rax
movl   $0x0,-0x90(%rbp,%rax,4)
mov    -0x34(%rbp),%eax
mov    -0x18(%rbp),%rcx
mov    -0x30(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
sub    (%rcx,%rdx,4),%eax
mov    -0x18(%rbp),%rcx
mov    -0x30(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
add    (%rcx,%rdx,4),%eax
mov    %eax,-0x34(%rbp)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
movslq -0x30(%rbp),%rax
mov    -0x90(%rbp,%rax,4),%ecx
add    $0x1,%ecx
movslq -0x30(%rbp),%rax
mov    %ecx,-0x90(%rbp,%rax,4)
jmp    11d0 <permute+0xd0>
jmp    124d <permute+0x14d>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1164 <permute+0x64>
mov    -0x20(%rbp),%rax
mov    -0x4(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    0x10(%rbp),%rax
mov    -0x4(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x28(%rbp),%rax
mov    -0x4(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    0x18(%rbp),%rax
mov    -0x4(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsd  %xmm0,(%rax,%rcx,8)
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<permute>:
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x50,%rsp
mov    %r9,%r14
mov    %r8,%r15
mov    %rcx,%rbx
mov    %rdx,%r13
mov    %edi,%r12d
test   %esi,%esi
jle    1142 <permute+0x32>
lea    0x4(%rsp),%rdi
mov    %esi,%edx
shl    $0x2,%rdx
xor    %esi,%esi
call   1030 <memset@plt>
mov    0x88(%rsp),%r8
mov    0x80(%rsp),%r9
cmp    $0x1,%r12d
jg     1185 <permute+0x75>
add    $0xffffffff,%r12d
movslq %r12d,%rax
movsd  (%r15,%rax,8),%xmm0
movsd  %xmm0,(%r9,%rax,8)
movsd  (%r14,%rax,8),%xmm0
movsd  %xmm0,(%r8,%rax,8)
add    $0x50,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
ret
mov    0x4(%rbx),%r10d
mov    0x4(%r13),%r11d
add    $0xffffffff,%r12d
xor    %edi,%edi
xor    %eax,%eax
jmp    11a9 <permute+0x99>
nopw   0x0(%rax,%rax,1)
add    $0x1,%rdi
cmp    %r12,%rdi
je     115c <permute+0x4c>
cltq
movsd  (%r15,%rax,8),%xmm0
movsd  %xmm0,(%r9,%rdi,8)
movsd  (%r14,%rax,8),%xmm0
movsd  %xmm0,(%r8,%rdi,8)
add    %r10d,%eax
mov    0x4(%rsp),%ecx
add    $0x1,%ecx
mov    %ecx,0x4(%rsp)
cmp    %r11d,%ecx
jl     11a0 <permute+0x90>
mov    $0x8,%ecx
nopl   0x0(%rax,%rax,1)
movl   $0x0,-0x4(%rsp,%rcx,1)
sub    -0x8(%rbx,%rcx,1),%eax
add    (%rbx,%rcx,1),%eax
mov    (%rsp,%rcx,1),%edx
add    $0x1,%edx
mov    %edx,(%rsp,%rcx,1)
lea    0x4(%rcx),%rsi
cmp    0x0(%r13,%rcx,1),%edx
mov    %rsi,%rcx
jge    11e0 <permute+0xd0>
jmp    11a0 <permute+0x90>

LLVM IR (-O0):
define void @permute(i32 %0, i32 %1, i32* %2, i32* %3, double* %4, double* %5, double* %6, double* %7) {
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32*
%12 = alloca i32*
%13 = alloca double*
%14 = alloca double*
%15 = alloca double*
%16 = alloca double*
%17 = alloca i32
%18 = alloca i32
%19 = alloca i32
%20 = alloca [20 x i32]
store i32 %0, i32* %9
store i32 %1, i32* %10
store i32* %2, i32** %11
store i32* %3, i32** %12
store double* %4, double** %13
store double* %5, double** %14
store double* %6, double** %15
store double* %7, double** %16
store i32 1, i32* %17
br label %21
21: ; preds = %29, %8
%22 = load i32, i32* %17
%23 = load i32, i32* %10
%24 = icmp sle i32 %22, %23
br i1 %24, label %25, label %32
25: ; preds = %21
%26 = load i32, i32* %17
%27 = sext i32 %26 to i64
%28 = getelementptr inbounds [20 x i32], [20 x i32]* %20, i64 0, i64 %27
store i32 0, i32* %28
br label %29
29: ; preds = %25
%30 = load i32, i32* %17
%31 = add nsw i32 %30, 1
store i32 %31, i32* %17
br label %21
32: ; preds = %21
store i32 0, i32* %19
store i32 0, i32* %17
br label %33
33: ; preds = %109, %32
%34 = load i32, i32* %17
%35 = load i32, i32* %9
%36 = sub nsw i32 %35, 2
%37 = icmp sle i32 %34, %36
br i1 %37, label %38, label %112
38: ; preds = %33
%39 = load double*, double** %13
%40 = load i32, i32* %19
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds double, double* %39, i64 %41
%43 = load double, double* %42
%44 = load double*, double** %15
%45 = load i32, i32* %17
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds double, double* %44, i64 %46
store double %43, double* %47
%48 = load double*, double** %14
%49 = load i32, i32* %19
%50 = sext i32 %49 to i64
%51 = getelementptr inbounds double, double* %48, i64 %50
%52 = load double, double* %51
%53 = load double*, double** %16
%54 = load i32, i32* %17
%55 = sext i32 %54 to i64
%56 = getelementptr inbounds double, double* %53, i64 %55
store double %52, double* %56
store i32 1, i32* %18
%57 = load i32, i32* %19
%58 = load i32*, i32** %12
%59 = load i32, i32* %18
%60 = sext i32 %59 to i64
%61 = getelementptr inbounds i32, i32* %58, i64 %60
%62 = load i32, i32* %61
%63 = add nsw i32 %57, %62
store i32 %63, i32* %19
%64 = getelementptr inbounds [20 x i32], [20 x i32]* %20, i64 0, i64 1
%65 = load i32, i32* %64
%66 = add nsw i32 %65, 1
%67 = getelementptr inbounds [20 x i32], [20 x i32]* %20, i64 0, i64 1
store i32 %66, i32* %67
br label %68
68: ; preds = %79, %38
%69 = load i32, i32* %18
%70 = sext i32 %69 to i64
%71 = getelementptr inbounds [20 x i32], [20 x i32]* %20, i64 0, i64 %70
%72 = load i32, i32* %71
%73 = load i32*, i32** %11
%74 = load i32, i32* %18
%75 = sext i32 %74 to i64
%76 = getelementptr inbounds i32, i32* %73, i64 %75
%77 = load i32, i32* %76
%78 = icmp sge i32 %72, %77
br i1 %78, label %79, label %108
79: ; preds = %68
%80 = load i32, i32* %18
%81 = sext i32 %80 to i64
%82 = getelementptr inbounds [20 x i32], [20 x i32]* %20, i64 0, i64 %81
store i32 0, i32* %82
%83 = load i32, i32* %19
%84 = load i32*, i32** %12
%85 = load i32, i32* %18
%86 = sub nsw i32 %85, 1
%87 = sext i32 %86 to i64
%88 = getelementptr inbounds i32, i32* %84, i64 %87
%89 = load i32, i32* %88
%90 = sub nsw i32 %83, %89
%91 = load i32*, i32** %12
%92 = load i32, i32* %18
%93 = add nsw i32 %92, 1
%94 = sext i32 %93 to i64
%95 = getelementptr inbounds i32, i32* %91, i64 %94
%96 = load i32, i32* %95
%97 = add nsw i32 %90, %96
store i32 %97, i32* %19
%98 = load i32, i32* %18
%99 = add nsw i32 %98, 1
store i32 %99, i32* %18
%100 = load i32, i32* %18
%101 = sext i32 %100 to i64
%102 = getelementptr inbounds [20 x i32], [20 x i32]* %20, i64 0, i64 %101
%103 = load i32, i32* %102
%104 = add nsw i32 %103, 1
%105 = load i32, i32* %18
%106 = sext i32 %105 to i64
%107 = getelementptr inbounds [20 x i32], [20 x i32]* %20, i64 0, i64 %106
store i32 %104, i32* %107
br label %68
108: ; preds = %68
br label %109
109: ; preds = %108
%110 = load i32, i32* %17
%111 = add nsw i32 %110, 1
store i32 %111, i32* %17
br label %33
112: ; preds = %33
%113 = load double*, double** %13
%114 = load i32, i32* %9
%115 = sub nsw i32 %114, 1
%116 = sext i32 %115 to i64
%117 = getelementptr inbounds double, double* %113, i64 %116
%118 = load double, double* %117
%119 = load double*, double** %15
%120 = load i32, i32* %9
%121 = sub nsw i32 %120, 1
%122 = sext i32 %121 to i64
%123 = getelementptr inbounds double, double* %119, i64 %122
store double %118, double* %123
%124 = load double*, double** %14
%125 = load i32, i32* %9
%126 = sub nsw i32 %125, 1
%127 = sext i32 %126 to i64
%128 = getelementptr inbounds double, double* %124, i64 %127
%129 = load double, double* %128
%130 = load double*, double** %16
%131 = load i32, i32* %9
%132 = sub nsw i32 %131, 1
%133 = sext i32 %132 to i64
%134 = getelementptr inbounds double, double* %130, i64 %133
store double %129, double* %134
ret void
}

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