#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*/ finibot_(int *, int *, int *, int *);
void finibot(int a[], int na, int iord[], int nb) {
  int i;
  finibot_(a, &na, iord, &nb);
  for (i = 0; i < nb; i++)
    iord[i]--;
}


x86 assembly (clang, -O0):
<finibot>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0x18(%rbp),%rdx
lea    -0xc(%rbp),%rsi
lea    -0x1c(%rbp),%rcx
call   1030 <finibot_@plt>
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    116d <finibot+0x5d>
mov    -0x18(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
add    $0xffffffff,%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1142 <finibot+0x32>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<finibot>:
push   %rbx
sub    $0x10,%rsp
mov    %rdx,%rbx
mov    %esi,0xc(%rsp)
mov    %ecx,0x8(%rsp)
lea    0xc(%rsp),%rsi
lea    0x8(%rsp),%rcx
call   1030 <finibot_@plt>
mov    0x8(%rsp),%eax
test   %eax,%eax
jle    120d <finibot+0xfd>
cmp    $0x8,%eax
jae    1147 <finibot+0x37>
xor    %ecx,%ecx
jmp    1200 <finibot+0xf0>
mov    %eax,%ecx
and    $0xfffffff8,%ecx
lea    -0x8(%rcx),%rdx
mov    %rdx,%rsi
shr    $0x3,%rsi
add    $0x1,%rsi
test   %rdx,%rdx
je     1213 <finibot+0x103>
mov    %rsi,%rdi
and    $0xfffffffffffffffe,%rdi
xor    %edx,%edx
pcmpeqd %xmm0,%xmm0
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movdqu (%rbx,%rdx,4),%xmm1
movdqu 0x10(%rbx,%rdx,4),%xmm2
movdqu 0x20(%rbx,%rdx,4),%xmm3
movdqu 0x30(%rbx,%rdx,4),%xmm4
paddd  %xmm0,%xmm1
paddd  %xmm0,%xmm2
movdqu %xmm1,(%rbx,%rdx,4)
movdqu %xmm2,0x10(%rbx,%rdx,4)
paddd  %xmm0,%xmm3
paddd  %xmm0,%xmm4
movdqu %xmm3,0x20(%rbx,%rdx,4)
movdqu %xmm4,0x30(%rbx,%rdx,4)
add    $0x10,%rdx
add    $0xfffffffffffffffe,%rdi
jne    1180 <finibot+0x70>
test   $0x1,%sil
je     11f0 <finibot+0xe0>
movdqu (%rbx,%rdx,4),%xmm0
movdqu 0x10(%rbx,%rdx,4),%xmm1
pcmpeqd %xmm2,%xmm2
paddd  %xmm2,%xmm0
paddd  %xmm2,%xmm1
movdqu %xmm0,(%rbx,%rdx,4)
movdqu %xmm1,0x10(%rbx,%rdx,4)
cmp    %rax,%rcx
je     120d <finibot+0xfd>
cs nopw 0x0(%rax,%rax,1)
nop
addl   $0xffffffff,(%rbx,%rcx,4)
add    $0x1,%rcx
cmp    %rcx,%rax
jne    1200 <finibot+0xf0>
add    $0x10,%rsp
pop    %rbx
ret
xor    %edx,%edx
test   $0x1,%sil
jne    11ce <finibot+0xbe>
jmp    11f0 <finibot+0xe0>

LLVM IR (-O0):
define void @finibot(i32* %0, i32 %1, i32* %2, i32 %3) {
%5 = alloca i32*
%6 = alloca i32
%7 = alloca i32*
%8 = alloca i32
%9 = alloca i32
store i32* %0, i32** %5
store i32 %1, i32* %6
store i32* %2, i32** %7
store i32 %3, i32* %8
%10 = load i32*, i32** %5
%11 = load i32*, i32** %7
%12 = call i32 @finibot_(i32* %10, i32* %6, i32* %11, i32* %8)
store i32 0, i32* %9
br label %13
13: ; preds = %24, %4
%14 = load i32, i32* %9
%15 = load i32, i32* %8
%16 = icmp slt i32 %14, %15
br i1 %16, label %17, label %27
17: ; preds = %13
%18 = load i32*, i32** %7
%19 = load i32, i32* %9
%20 = sext i32 %19 to i64
%21 = getelementptr inbounds i32, i32* %18, i64 %20
%22 = load i32, i32* %21
%23 = add nsw i32 %22, -1
store i32 %23, i32* %21
br label %24
24: ; preds = %17
%25 = load i32, i32* %9
%26 = add nsw i32 %25, 1
store i32 %26, i32* %9
br label %13
27: ; preds = %13
ret void
}

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