#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 */
float ***_s2_f2c3darr(float *, int, int, int);
int /*<<< orphan*/ _s2_free3darr(float ***, int, int);
int /*<<< orphan*/ s2vect3(float ***, float ***, float ***, int, int, int, int,
                           int, int, int, int, int, float, int, float *, float,
                           int, float, float);
void s2vect3_(float *a, float *b, float *c, int *adim, int *bdim, int *cdim,
              int *a1, int *a2, int *b1, int *b2, int *c1, int *c2,
              float *scale, int *nc, float *tr, float *minlength,
              int *colbylength, float *minl, float *maxl) {
  float ***c3a = _s2_f2c3darr(a, *adim, *bdim, *cdim);
  float ***c3b = _s2_f2c3darr(b, *adim, *bdim, *cdim);
  float ***c3c = _s2_f2c3darr(c, *adim, *bdim, *cdim);
  s2vect3(c3a, c3b, c3c, *adim, *bdim, *cdim, *a1, *a2, *b1, *b2, *c1, *c2,
          *scale, *nc, tr, *minlength, *colbylength, *minl, *maxl);
  _s2_free3darr(c3c, *adim, *bdim);
  _s2_free3darr(c3b, *adim, *bdim);
  _s2_free3darr(c3a, *adim, *bdim);
}


x86 assembly (clang, -O0):
<s2vect3_>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x98,%rsp
mov    0x70(%rbp),%rax
mov    0x68(%rbp),%rax
mov    0x60(%rbp),%rax
mov    0x58(%rbp),%rax
mov    0x50(%rbp),%rax
mov    0x48(%rbp),%rax
mov    0x40(%rbp),%rax
mov    0x38(%rbp),%rax
mov    0x30(%rbp),%rax
mov    0x28(%rbp),%rax
mov    0x20(%rbp),%rax
mov    0x18(%rbp),%rax
mov    0x10(%rbp),%rax
mov    %rdi,-0x30(%rbp)
mov    %rsi,-0x38(%rbp)
mov    %rdx,-0x40(%rbp)
mov    %rcx,-0x48(%rbp)
mov    %r8,-0x50(%rbp)
mov    %r9,-0x58(%rbp)
mov    -0x30(%rbp),%rdi
mov    -0x48(%rbp),%rax
mov    (%rax),%esi
mov    -0x50(%rbp),%rax
mov    (%rax),%edx
mov    -0x58(%rbp),%rax
mov    (%rax),%ecx
call   1040 <_s2_f2c3darr@plt>
mov    %rax,-0x60(%rbp)
mov    -0x38(%rbp),%rdi
mov    -0x48(%rbp),%rax
mov    (%rax),%esi
mov    -0x50(%rbp),%rax
mov    (%rax),%edx
mov    -0x58(%rbp),%rax
mov    (%rax),%ecx
call   1040 <_s2_f2c3darr@plt>
mov    %rax,-0x68(%rbp)
mov    -0x40(%rbp),%rdi
mov    -0x48(%rbp),%rax
mov    (%rax),%esi
mov    -0x50(%rbp),%rax
mov    (%rax),%edx
mov    -0x58(%rbp),%rax
mov    (%rax),%ecx
call   1040 <_s2_f2c3darr@plt>
mov    %rax,-0x70(%rbp)
mov    -0x60(%rbp),%rdi
mov    -0x68(%rbp),%rsi
mov    -0x70(%rbp),%rdx
mov    -0x48(%rbp),%rax
mov    (%rax),%ecx
mov    -0x50(%rbp),%rax
mov    (%rax),%r8d
mov    -0x58(%rbp),%rax
mov    (%rax),%r9d
mov    0x10(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x78(%rbp)
mov    0x18(%rbp),%rax
mov    (%rax),%r13d
mov    0x20(%rbp),%rax
mov    (%rax),%r12d
mov    0x28(%rbp),%rax
mov    (%rax),%r15d
mov    0x30(%rbp),%rax
mov    (%rax),%r14d
mov    0x38(%rbp),%rax
mov    (%rax),%ebx
mov    0x40(%rbp),%rax
movss  (%rax),%xmm0
mov    0x48(%rbp),%rax
mov    (%rax),%r11d
mov    0x50(%rbp),%r10
mov    0x58(%rbp),%rax
movss  (%rax),%xmm1
mov    0x60(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x74(%rbp)
mov    0x68(%rbp),%rax
movss  (%rax),%xmm2
mov    0x70(%rbp),%rax
movss  (%rax),%xmm3
mov    -0x78(%rbp),%eax
mov    %eax,(%rsp)
mov    -0x74(%rbp),%eax
mov    %r13d,0x8(%rsp)
mov    %r12d,0x10(%rsp)
mov    %r15d,0x18(%rsp)
mov    %r14d,0x20(%rsp)
mov    %ebx,0x28(%rsp)
mov    %r11d,0x30(%rsp)
mov    %r10,0x38(%rsp)
mov    %eax,0x40(%rsp)
call   1030 <s2vect3@plt>
mov    -0x70(%rbp),%rdi
mov    -0x48(%rbp),%rax
mov    (%rax),%esi
mov    -0x50(%rbp),%rax
mov    (%rax),%edx
call   1050 <_s2_free3darr@plt>
mov    -0x68(%rbp),%rdi
mov    -0x48(%rbp),%rax
mov    (%rax),%esi
mov    -0x50(%rbp),%rax
mov    (%rax),%edx
call   1050 <_s2_free3darr@plt>
mov    -0x60(%rbp),%rdi
mov    -0x48(%rbp),%rax
mov    (%rax),%esi
mov    -0x50(%rbp),%rax
mov    (%rax),%edx
call   1050 <_s2_free3darr@plt>
add    $0x98,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

x86 assembly (clang, -O2):
<s2vect3_>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x78,%rsp
mov    %r9,%r13
mov    %r8,%r14
mov    %rcx,%rbx
mov    %rdx,%r12
mov    %rsi,%r15
mov    0xf0(%rsp),%rax
mov    %rax,0x70(%rsp)
mov    0x110(%rsp),%rax
mov    %rax,0x18(%rsp)
mov    0x108(%rsp),%rax
mov    %rax,0x10(%rsp)
mov    0x100(%rsp),%rax
mov    %rax,0x68(%rsp)
mov    0xf8(%rsp),%rax
mov    %rax,0x8(%rsp)
mov    0xe8(%rsp),%rax
mov    %rax,0x60(%rsp)
mov    0xe0(%rsp),%rax
mov    %rax,0x30(%rsp)
mov    0xd8(%rsp),%rax
mov    %rax,0x58(%rsp)
mov    0xd0(%rsp),%rax
mov    %rax,0x50(%rsp)
mov    0xc8(%rsp),%rax
mov    %rax,0x48(%rsp)
mov    0xc0(%rsp),%rax
mov    %rax,0x40(%rsp)
mov    0xb8(%rsp),%rax
mov    %rax,0x38(%rsp)
mov    0xb0(%rsp),%rax
mov    %rax,0x28(%rsp)
mov    (%rcx),%esi
mov    (%r8),%edx
mov    (%r9),%ecx
call   1040 <_s2_f2c3darr@plt>
mov    %rax,0x20(%rsp)
mov    (%rbx),%esi
mov    (%r14),%edx
mov    0x0(%r13),%ecx
mov    %r15,%rdi
call   1040 <_s2_f2c3darr@plt>
mov    %rax,%r15
mov    (%rbx),%esi
mov    (%r14),%edx
mov    0x0(%r13),%ecx
mov    %r12,%rdi
call   1040 <_s2_f2c3darr@plt>
mov    %rax,%rbp
mov    0x30(%rsp),%rax
movss  (%rax),%xmm0
mov    0x8(%rsp),%rax
movss  (%rax),%xmm1
mov    0x10(%rsp),%rax
movss  (%rax),%xmm2
mov    (%rbx),%ecx
mov    0x18(%rsp),%rax
movss  (%rax),%xmm3
mov    (%r14),%r8d
mov    0x0(%r13),%r9d
mov    0x28(%rsp),%rax
mov    (%rax),%eax
mov    %rax,0x18(%rsp)
mov    0x38(%rsp),%rax
mov    (%rax),%eax
mov    %rax,0x10(%rsp)
mov    0x40(%rsp),%rax
mov    (%rax),%eax
mov    %rax,0x8(%rsp)
mov    0x48(%rsp),%rax
mov    (%rax),%r13d
mov    0x50(%rsp),%rax
mov    (%rax),%eax
mov    0x58(%rsp),%rdx
mov    (%rdx),%r12d
mov    0x60(%rsp),%rdx
mov    (%rdx),%r10d
mov    0x68(%rsp),%rdx
mov    (%rdx),%r11d
sub    $0x8,%rsp
mov    0x28(%rsp),%rdi
mov    %r15,%rsi
mov    %rbp,%rdx
push   %r11
push   0x80(%rsp)
push   %r10
push   %r12
push   %rax
push   %r13
push   0x40(%rsp)
push   0x50(%rsp)
push   0x60(%rsp)
call   1030 <s2vect3@plt>
add    $0x50,%rsp
mov    (%rbx),%esi
mov    (%r14),%edx
mov    %rbp,%rdi
call   1050 <_s2_free3darr@plt>
mov    (%rbx),%esi
mov    (%r14),%edx
mov    %r15,%rdi
call   1050 <_s2_free3darr@plt>
mov    (%rbx),%esi
mov    (%r14),%edx
mov    0x20(%rsp),%rdi
add    $0x78,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1050 <_s2_free3darr@plt>

LLVM IR (-O0):
define void @s2vect3_(float* %0, float* %1, float* %2, i32* %3, i32* %4, i32* %5, i32* %6, i32* %7, i32* %8, i32* %9, i32* %10, i32* %11, float* %12, i32* %13, float* %14, float* %15, i32* %16, float* %17, float* %18) {
%20 = alloca float*
%21 = alloca float*
%22 = alloca float*
%23 = alloca i32*
%24 = alloca i32*
%25 = alloca i32*
%26 = alloca i32*
%27 = alloca i32*
%28 = alloca i32*
%29 = alloca i32*
%30 = alloca i32*
%31 = alloca i32*
%32 = alloca float*
%33 = alloca i32*
%34 = alloca float*
%35 = alloca float*
%36 = alloca i32*
%37 = alloca float*
%38 = alloca float*
%39 = alloca float***
%40 = alloca float***
%41 = alloca float***
store float* %0, float** %20
store float* %1, float** %21
store float* %2, float** %22
store i32* %3, i32** %23
store i32* %4, i32** %24
store i32* %5, i32** %25
store i32* %6, i32** %26
store i32* %7, i32** %27
store i32* %8, i32** %28
store i32* %9, i32** %29
store i32* %10, i32** %30
store i32* %11, i32** %31
store float* %12, float** %32
store i32* %13, i32** %33
store float* %14, float** %34
store float* %15, float** %35
store i32* %16, i32** %36
store float* %17, float** %37
store float* %18, float** %38
%42 = load float*, float** %20
%43 = load i32*, i32** %23
%44 = load i32, i32* %43
%45 = load i32*, i32** %24
%46 = load i32, i32* %45
%47 = load i32*, i32** %25
%48 = load i32, i32* %47
%49 = call float*** @_s2_f2c3darr(float* %42, i32 %44, i32 %46, i32 %48)
store float*** %49, float**** %39
%50 = load float*, float** %21
%51 = load i32*, i32** %23
%52 = load i32, i32* %51
%53 = load i32*, i32** %24
%54 = load i32, i32* %53
%55 = load i32*, i32** %25
%56 = load i32, i32* %55
%57 = call float*** @_s2_f2c3darr(float* %50, i32 %52, i32 %54, i32 %56)
store float*** %57, float**** %40
%58 = load float*, float** %22
%59 = load i32*, i32** %23
%60 = load i32, i32* %59
%61 = load i32*, i32** %24
%62 = load i32, i32* %61
%63 = load i32*, i32** %25
%64 = load i32, i32* %63
%65 = call float*** @_s2_f2c3darr(float* %58, i32 %60, i32 %62, i32 %64)
store float*** %65, float**** %41
%66 = load float***, float**** %39
%67 = load float***, float**** %40
%68 = load float***, float**** %41
%69 = load i32*, i32** %23
%70 = load i32, i32* %69
%71 = load i32*, i32** %24
%72 = load i32, i32* %71
%73 = load i32*, i32** %25
%74 = load i32, i32* %73
%75 = load i32*, i32** %26
%76 = load i32, i32* %75
%77 = load i32*, i32** %27
%78 = load i32, i32* %77
%79 = load i32*, i32** %28
%80 = load i32, i32* %79
%81 = load i32*, i32** %29
%82 = load i32, i32* %81
%83 = load i32*, i32** %30
%84 = load i32, i32* %83
%85 = load i32*, i32** %31
%86 = load i32, i32* %85
%87 = load float*, float** %32
%88 = load float, float* %87
%89 = load i32*, i32** %33
%90 = load i32, i32* %89
%91 = load float*, float** %34
%92 = load float*, float** %35
%93 = load float, float* %92
%94 = load i32*, i32** %36
%95 = load i32, i32* %94
%96 = load float*, float** %37
%97 = load float, float* %96
%98 = load float*, float** %38
%99 = load float, float* %98
%100 = call i32 @s2vect3(float*** %66, float*** %67, float*** %68, i32 %70, i32 %72, i32 %74, i32 %76, i32 %78, i32 %80, i32 %82, i32 %84, i32 %86, float %88, i32 %90, float* %91, float %93, i32 %95, float %97, float %99)
%101 = load float***, float**** %41
%102 = load i32*, i32** %23
%103 = load i32, i32* %102
%104 = load i32*, i32** %24
%105 = load i32, i32* %104
%106 = call i32 @_s2_free3darr(float*** %101, i32 %103, i32 %105)
%107 = load float***, float**** %40
%108 = load i32*, i32** %23
%109 = load i32, i32* %108
%110 = load i32*, i32** %24
%111 = load i32, i32* %110
%112 = call i32 @_s2_free3darr(float*** %107, i32 %109, i32 %111)
%113 = load float***, float**** %39
%114 = load i32*, i32** %23
%115 = load i32, i32* %114
%116 = load i32*, i32** %24
%117 = load i32, i32* %116
%118 = call i32 @_s2_free3darr(float*** %113, i32 %115, i32 %117)
ret void
}

LLVM IR (-O2):
define void @s2vect3_(float* %0, float* %1, float* %2, i32* nocapture %3, i32* nocapture %4, i32* nocapture %5, i32* nocapture %6, i32* nocapture %7, i32* nocapture %8, i32* nocapture %9, i32* nocapture %10, i32* nocapture %11, float* nocapture %12, i32* nocapture %13, float* %14, float* nocapture %15, i32* nocapture %16, float* nocapture %17, float* nocapture %18) {
%20 = load i32, i32* %3
%21 = load i32, i32* %4
%22 = load i32, i32* %5
%23 = tail call float*** @_s2_f2c3darr(float* %0, i32 %20, i32 %21, i32 %22)
%24 = load i32, i32* %3
%25 = load i32, i32* %4
%26 = load i32, i32* %5
%27 = tail call float*** @_s2_f2c3darr(float* %1, i32 %24, i32 %25, i32 %26)
%28 = load i32, i32* %3
%29 = load i32, i32* %4
%30 = load i32, i32* %5
%31 = tail call float*** @_s2_f2c3darr(float* %2, i32 %28, i32 %29, i32 %30)
%32 = load i32, i32* %3
%33 = load i32, i32* %4
%34 = load i32, i32* %5
%35 = load i32, i32* %6
%36 = load i32, i32* %7
%37 = load i32, i32* %8
%38 = load i32, i32* %9
%39 = load i32, i32* %10
%40 = load i32, i32* %11
%41 = load float, float* %12
%42 = load i32, i32* %13
%43 = load float, float* %15
%44 = load i32, i32* %16
%45 = load float, float* %17
%46 = load float, float* %18
%47 = tail call i32 @s2vect3(float*** %23, float*** %27, float*** %31, i32 %32, i32 %33, i32 %34, i32 %35, i32 %36, i32 %37, i32 %38, i32 %39, i32 %40, float %41, i32 %42, float* %14, float %43, i32 %44, float %45, float %46)
%48 = load i32, i32* %3
%49 = load i32, i32* %4
%50 = tail call i32 @_s2_free3darr(float*** %31, i32 %48, i32 %49)
%51 = load i32, i32* %3
%52 = load i32, i32* %4
%53 = tail call i32 @_s2_free3darr(float*** %27, i32 %51, i32 %52)
%54 = load i32, i32* %3
%55 = load i32, i32* %4
%56 = tail call i32 @_s2_free3darr(float*** %23, i32 %54, i32 %55)
ret void
}