#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*/ assert(int);
int fiducial120_id_from_symbol_sequence(int *sequence, int length) {
  int id = 0;
  int factorial[8] = {1, 1, 2, 6, 24, 120, 720, 5040};
  int mapping[8] = {0, 1, 2, 3, 4, 5, 6, 7};
  int i, j;
  assert(sequence[0] == 0);
  assert(length <= 8);
  sequence = sequence + 1;
  length = length - 1;
  for (i = 0; i < length; ++i) {
    id += mapping[(sequence[i] - 1)] * factorial[(length - 1) - i];
    for (j = (sequence[i] - 1) + 1; j < length; ++j) {
      mapping[j]--;
    }
  }
  return id;
}


x86 assembly (clang, -O0):
<fiducial120_id_from_symbol_sequence>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
movl   $0x0,-0x10(%rbp)
mov    0xed3(%rip),%rax
mov    %rax,-0x30(%rbp)
mov    0xed0(%rip),%rax
mov    %rax,-0x28(%rbp)
mov    0xecd(%rip),%rax
mov    %rax,-0x20(%rbp)
mov    0xeca(%rip),%rax
mov    %rax,-0x18(%rbp)
mov    0xec7(%rip),%rax
mov    %rax,-0x50(%rbp)
mov    0xec4(%rip),%rax
mov    %rax,-0x48(%rbp)
mov    0xec1(%rip),%rax
mov    %rax,-0x40(%rbp)
mov    0xebe(%rip),%rax
mov    %rax,-0x38(%rbp)
mov    -0x8(%rbp),%rax
cmpl   $0x0,(%rax)
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
cmpl   $0x8,-0xc(%rbp)
setle  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x8(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x8(%rbp)
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0xc(%rbp)
movl   $0x0,-0x54(%rbp)
mov    -0x54(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1246 <fiducial120_id_from_symbol_sequence+0x136>
mov    -0x8(%rbp),%rax
movslq -0x54(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
sub    $0x1,%eax
cltq
mov    -0x50(%rbp,%rax,4),%eax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
sub    -0x54(%rbp),%ecx
movslq %ecx,%rcx
imul   -0x30(%rbp,%rcx,4),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x54(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
sub    $0x1,%eax
add    $0x1,%eax
mov    %eax,-0x58(%rbp)
mov    -0x58(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1233 <fiducial120_id_from_symbol_sequence+0x123>
movslq -0x58(%rbp),%rax
mov    -0x50(%rbp,%rax,4),%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x50(%rbp,%rax,4)
mov    -0x58(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x58(%rbp)
jmp    120a <fiducial120_id_from_symbol_sequence+0xfa>
jmp    1238 <fiducial120_id_from_symbol_sequence+0x128>
mov    -0x54(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x54(%rbp)
jmp    11bf <fiducial120_id_from_symbol_sequence+0xaf>
mov    -0x10(%rbp),%eax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<fiducial120_id_from_symbol_sequence>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %esi,%r15d
mov    %rdi,%r14
movaps 0xf05(%rip),%xmm0
movaps %xmm0,0x10(%rsp)
movdqa 0xee8(%rip),%xmm0
movdqa %xmm0,(%rsp)
xor    %edi,%edi
cmpl   $0x0,(%r14)
sete   %dil
call   1030 <assert@plt>
xor    %edi,%edi
cmp    $0x9,%r15d
setl   %dil
call   1030 <assert@plt>
xor    %eax,%eax
cmp    $0x2,%r15d
jl     12bc <fiducial120_id_from_symbol_sequence+0x1ac>
lea    -0x1(%r15),%r11d
add    $0xfffffffe,%r15d
mov    %r11d,%r10d
movslq %r11d,%rsi
xor    %edi,%edi
lea    0xe82(%rip),%rbp
pcmpeqd %xmm0,%xmm0
xor    %eax,%eax
jmp    119f <fiducial120_id_from_symbol_sequence+0x8f>
cs nopw 0x0(%rax,%rax,1)
add    %ebx,%eax
add    $0x1,%rdi
cmp    %r10,%rdi
je     12bc <fiducial120_id_from_symbol_sequence+0x1ac>
movslq 0x4(%r14,%rdi,4),%rdx
mov    %r15d,%ecx
sub    %edi,%ecx
movslq %ecx,%rcx
mov    0x0(%rbp,%rcx,4),%ebx
imul   -0x4(%rsp,%rdx,4),%ebx
cmp    %r11d,%edx
jge    1190 <fiducial120_id_from_symbol_sequence+0x80>
mov    %rsi,%rcx
sub    %rdx,%rcx
cmp    $0x8,%rcx
jb     12a0 <fiducial120_id_from_symbol_sequence+0x190>
mov    %rcx,%r12
and    $0xfffffffffffffff8,%r12
lea    -0x8(%r12),%rbp
mov    %rbp,%r8
shr    $0x3,%r8
add    $0x1,%r8
test   %rbp,%rbp
je     12b2 <fiducial120_id_from_symbol_sequence+0x1a2>
mov    %r8,%r13
and    $0xfffffffffffffffe,%r13
lea    0x30(%rsp),%rbp
lea    0x0(,%rdx,4),%r9
add    %rbp,%r9
xor    %ebp,%ebp
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movdqu -0x30(%r9,%rbp,4),%xmm1
movdqu -0x20(%r9,%rbp,4),%xmm2
movdqu -0x10(%r9,%rbp,4),%xmm3
movdqu (%r9,%rbp,4),%xmm4
paddd  %xmm0,%xmm1
paddd  %xmm0,%xmm2
movdqu %xmm1,-0x30(%r9,%rbp,4)
movdqu %xmm2,-0x20(%r9,%rbp,4)
paddd  %xmm0,%xmm3
paddd  %xmm0,%xmm4
movdqu %xmm3,-0x10(%r9,%rbp,4)
movdqu %xmm4,(%r9,%rbp,4)
add    $0x10,%rbp
add    $0xfffffffffffffffe,%r13
jne    1210 <fiducial120_id_from_symbol_sequence+0x100>
test   $0x1,%r8b
je     1287 <fiducial120_id_from_symbol_sequence+0x177>
add    %rdx,%rbp
movdqu (%rsp,%rbp,4),%xmm1
movdqu 0x10(%rsp,%rbp,4),%xmm2
paddd  %xmm0,%xmm1
paddd  %xmm0,%xmm2
movdqu %xmm1,(%rsp,%rbp,4)
movdqu %xmm2,0x10(%rsp,%rbp,4)
cmp    %r12,%rcx
lea    0xd6f(%rip),%rbp
je     1190 <fiducial120_id_from_symbol_sequence+0x80>
add    %r12,%rdx
nopw   0x0(%rax,%rax,1)
addl   $0xffffffff,(%rsp,%rdx,4)
add    $0x1,%rdx
cmp    %rdx,%rsi
jne    12a0 <fiducial120_id_from_symbol_sequence+0x190>
jmp    1190 <fiducial120_id_from_symbol_sequence+0x80>
xor    %ebp,%ebp
test   $0x1,%r8b
jne    1266 <fiducial120_id_from_symbol_sequence+0x156>
jmp    1287 <fiducial120_id_from_symbol_sequence+0x177>
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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