#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 exp(int);
int /*<<< orphan*/ zapit(float *, int);
int gen_brune_stf(float *slip, float *t0, float *stf, int nt, float *dt) {
  int it, nstf;
  float t95, tend, sfac, tfac;
  float sum;
  zapit(stf, nt);
  t95 = 1.745 * exp(1.0) * (*t0);
  tend = 3.0 * t95;
  nstf = (int)((tend) / (*dt) + 0.5);
  if (nstf > nt)
    nstf = nt;
  if (nstf == 0)
    return (0);
  sfac = (*slip) / (*t0);
  tfac = (*dt) / (*t0);
  for (it = 0; it < nstf; it++)
    stf[it] = sfac * (it * tfac) * exp(-it * tfac);
  sum = 0.0;
  for (it = 0; it < nstf; it++)
    sum = sum + (*dt) * stf[it];
  if (sum <= 0.0)
    return (0);
  return (nstf);
}


x86 assembly (clang, -O0):
<gen_brune_stf>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %ecx,-0x24(%rbp)
mov    %r8,-0x30(%rbp)
mov    -0x20(%rbp),%rdi
mov    -0x24(%rbp),%esi
call   1040 <zapit@plt>
mov    $0x1,%edi
call   1030 <exp@plt>
cvtss2sd %xmm0,%xmm1
movsd  0xeb3(%rip),%xmm0
mulsd  %xmm1,%xmm0
mov    -0x18(%rbp),%rax
movss  (%rax),%xmm1
cvtss2sd %xmm1,%xmm1
mulsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x3c(%rbp)
movss  -0x3c(%rbp),%xmm0
cvtss2sd %xmm0,%xmm1
movsd  0xe7d(%rip),%xmm0
mulsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x40(%rbp)
movss  -0x40(%rbp),%xmm0
mov    -0x30(%rbp),%rax
divss  (%rax),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xe4f(%rip),%xmm1
addsd  %xmm1,%xmm0
cvttsd2si %xmm0,%eax
mov    %eax,-0x38(%rbp)
mov    -0x38(%rbp),%eax
cmp    -0x24(%rbp),%eax
jle    11ce <gen_brune_stf+0xae>
mov    -0x24(%rbp),%eax
mov    %eax,-0x38(%rbp)
cmpl   $0x0,-0x38(%rbp)
jne    11e4 <gen_brune_stf+0xc4>
movl   $0x0,-0x4(%rbp)
jmp    12ef <gen_brune_stf+0x1cf>
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x18(%rbp),%rax
divss  (%rax),%xmm0
movss  %xmm0,-0x44(%rbp)
mov    -0x30(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x18(%rbp),%rax
divss  (%rax),%xmm0
movss  %xmm0,-0x48(%rbp)
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x38(%rbp),%eax
jge    1277 <gen_brune_stf+0x157>
movss  -0x44(%rbp),%xmm0
cvtsi2ssl -0x34(%rbp),%xmm1
mulss  -0x48(%rbp),%xmm1
mulss  %xmm1,%xmm0
movss  %xmm0,-0x50(%rbp)
xor    %eax,%eax
sub    -0x34(%rbp),%eax
cvtsi2ss %eax,%xmm0
mulss  -0x48(%rbp),%xmm0
cvttss2si %xmm0,%edi
call   1030 <exp@plt>
movaps %xmm0,%xmm1
movss  -0x50(%rbp),%xmm0
mulss  %xmm1,%xmm0
mov    -0x20(%rbp),%rax
movslq -0x34(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1215 <gen_brune_stf+0xf5>
xorps  %xmm0,%xmm0
movss  %xmm0,-0x4c(%rbp)
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x38(%rbp),%eax
jge    12c7 <gen_brune_stf+0x1a7>
movss  -0x4c(%rbp),%xmm1
mov    -0x30(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x20(%rbp),%rax
movslq -0x34(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x4c(%rbp)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1286 <gen_brune_stf+0x166>
movss  -0x4c(%rbp),%xmm0
cvtss2sd %xmm0,%xmm1
xorps  %xmm0,%xmm0
ucomisd %xmm1,%xmm0
jb     12e9 <gen_brune_stf+0x1c9>
movl   $0x0,-0x4(%rbp)
jmp    12ef <gen_brune_stf+0x1cf>
mov    -0x38(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<gen_brune_stf>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %r8,%r14
mov    %ecx,%ebp
mov    %rdx,%r13
mov    %rsi,%r12
mov    %rdi,%r15
mov    %rdx,%rdi
mov    %ecx,%esi
call   1040 <zapit@plt>
mov    $0x1,%edi
call   1030 <exp@plt>
cvtss2sd %xmm0,%xmm1
mulsd  0xea4(%rip),%xmm1
movss  (%r12),%xmm0
cvtss2sd %xmm0,%xmm2
mulsd  %xmm1,%xmm2
xorps  %xmm1,%xmm1
cvtsd2ss %xmm2,%xmm1
mulss  0xe97(%rip),%xmm1
movss  (%r14),%xmm2
divss  %xmm2,%xmm1
cvtss2sd %xmm1,%xmm1
addsd  0xe7a(%rip),%xmm1
cvttsd2si %xmm1,%r12d
cmp    %ebp,%r12d
cmovg  %ebp,%r12d
xor    %eax,%eax
test   %r12d,%r12d
je     12d2 <gen_brune_stf+0x1b2>
jle    12d2 <gen_brune_stf+0x1b2>
movss  (%r15),%xmm1
divss  %xmm0,%xmm1
movss  %xmm1,0xc(%rsp)
divss  %xmm0,%xmm2
mov    %r12d,%r15d
xor    %ebp,%ebp
xor    %ebx,%ebx
movss  %xmm2,0x10(%rsp)
nopl   0x0(%rax,%rax,1)
xorps  %xmm1,%xmm1
cvtsi2ss %ebx,%xmm1
mulss  %xmm2,%xmm1
xorps  %xmm0,%xmm0
cvtsi2ss %ebp,%xmm0
mulss  0xc(%rsp),%xmm1
movss  %xmm1,0x14(%rsp)
mulss  %xmm2,%xmm0
cvttss2si %xmm0,%edi
call   1030 <exp@plt>
movss  0x10(%rsp),%xmm2
mulss  0x14(%rsp),%xmm0
movss  %xmm0,0x0(%r13,%rbx,4)
add    $0x1,%rbx
add    $0xffffffff,%ebp
cmp    %rbx,%r15
jne    11d0 <gen_brune_stf+0xb0>
test   %r12d,%r12d
jle    123b <gen_brune_stf+0x11b>
movss  (%r14),%xmm0
lea    -0x1(%r15),%rcx
mov    %r15d,%eax
and    $0x3,%eax
cmp    $0x3,%rcx
jae    1242 <gen_brune_stf+0x122>
xorps  %xmm1,%xmm1
xor    %ecx,%ecx
jmp    1295 <gen_brune_stf+0x175>
xor    %eax,%eax
jmp    12d2 <gen_brune_stf+0x1b2>
and    $0xfffffffc,%r15d
xorps  %xmm1,%xmm1
xor    %ecx,%ecx
nopl   0x0(%rax,%rax,1)
movss  0x0(%r13,%rcx,4),%xmm2
mulss  %xmm0,%xmm2
addss  %xmm1,%xmm2
movss  0x4(%r13,%rcx,4),%xmm1
mulss  %xmm0,%xmm1
addss  %xmm2,%xmm1
movss  0x8(%r13,%rcx,4),%xmm2
mulss  %xmm0,%xmm2
addss  %xmm1,%xmm2
movss  0xc(%r13,%rcx,4),%xmm1
mulss  %xmm0,%xmm1
addss  %xmm2,%xmm1
add    $0x4,%rcx
cmp    %rcx,%r15
jne    1250 <gen_brune_stf+0x130>
test   %rax,%rax
je     12c6 <gen_brune_stf+0x1a6>
lea    0x0(,%rcx,4),%rcx
add    %r13,%rcx
xor    %edx,%edx
nopw   0x0(%rax,%rax,1)
movss  (%rcx,%rdx,4),%xmm2
mulss  %xmm0,%xmm2
addss  %xmm2,%xmm1
add    $0x1,%rdx
cmp    %rdx,%rax
jne    12b0 <gen_brune_stf+0x190>
xor    %eax,%eax
xorps  %xmm0,%xmm0
ucomiss %xmm1,%xmm0
cmovb  %r12d,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @gen_brune_stf(float* %0, float* %1, float* %2, i32 %3, float* %4) {
%6 = alloca i32
%7 = alloca float*
%8 = alloca float*
%9 = alloca float*
%10 = alloca i32
%11 = alloca float*
%12 = alloca i32
%13 = alloca i32
%14 = alloca float
%15 = alloca float
%16 = alloca float
%17 = alloca float
%18 = alloca float
store float* %0, float** %7
store float* %1, float** %8
store float* %2, float** %9
store i32 %3, i32* %10
store float* %4, float** %11
%19 = load float*, float** %9
%20 = load i32, i32* %10
%21 = call i32 @zapit(float* %19, i32 %20)
%22 = call float @exp(i32 1)
%23 = fpext float %22 to double
%24 = fmul double 1.745000e+00, %23
%25 = load float*, float** %8
%26 = load float, float* %25
%27 = fpext float %26 to double
%28 = fmul double %24, %27
%29 = fptrunc double %28 to float
store float %29, float* %14
%30 = load float, float* %14
%31 = fpext float %30 to double
%32 = fmul double 3.000000e+00, %31
%33 = fptrunc double %32 to float
store float %33, float* %15
%34 = load float, float* %15
%35 = load float*, float** %11
%36 = load float, float* %35
%37 = fdiv float %34, %36
%38 = fpext float %37 to double
%39 = fadd double %38, 5.000000e-01
%40 = fptosi double %39 to i32
store i32 %40, i32* %13
%41 = load i32, i32* %13
%42 = load i32, i32* %10
%43 = icmp sgt i32 %41, %42
br i1 %43, label %44, label %46
44: ; preds = %5
%45 = load i32, i32* %10
store i32 %45, i32* %13
br label %46
46: ; preds = %44, %5
%47 = load i32, i32* %13
%48 = icmp eq i32 %47, 0
br i1 %48, label %49, label %50
49: ; preds = %46
store i32 0, i32* %6
br label %112
50: ; preds = %46
%51 = load float*, float** %7
%52 = load float, float* %51
%53 = load float*, float** %8
%54 = load float, float* %53
%55 = fdiv float %52, %54
store float %55, float* %16
%56 = load float*, float** %11
%57 = load float, float* %56
%58 = load float*, float** %8
%59 = load float, float* %58
%60 = fdiv float %57, %59
store float %60, float* %17
store i32 0, i32* %12
br label %61
61: ; preds = %84, %50
%62 = load i32, i32* %12
%63 = load i32, i32* %13
%64 = icmp slt i32 %62, %63
br i1 %64, label %65, label %87
65: ; preds = %61
%66 = load float, float* %16
%67 = load i32, i32* %12
%68 = sitofp i32 %67 to float
%69 = load float, float* %17
%70 = fmul float %68, %69
%71 = fmul float %66, %70
%72 = load i32, i32* %12
%73 = sub nsw i32 0, %72
%74 = sitofp i32 %73 to float
%75 = load float, float* %17
%76 = fmul float %74, %75
%77 = fptosi float %76 to i32
%78 = call float @exp(i32 %77)
%79 = fmul float %71, %78
%80 = load float*, float** %9
%81 = load i32, i32* %12
%82 = sext i32 %81 to i64
%83 = getelementptr inbounds float, float* %80, i64 %82
store float %79, float* %83
br label %84
84: ; preds = %65
%85 = load i32, i32* %12
%86 = add nsw i32 %85, 1
store i32 %86, i32* %12
br label %61
87: ; preds = %61
store float 0.000000e+00, float* %18
store i32 0, i32* %12
br label %88
88: ; preds = %102, %87
%89 = load i32, i32* %12
%90 = load i32, i32* %13
%91 = icmp slt i32 %89, %90
br i1 %91, label %92, label %105
92: ; preds = %88
%93 = load float, float* %18
%94 = load float*, float** %11
%95 = load float, float* %94
%96 = load float*, float** %9
%97 = load i32, i32* %12
%98 = sext i32 %97 to i64
%99 = getelementptr inbounds float, float* %96, i64 %98
%100 = load float, float* %99
%101 = call float @llvm.fmuladd.f32(float %95, float %100, float %93)
store float %101, float* %18
br label %102
102: ; preds = %92
%103 = load i32, i32* %12
%104 = add nsw i32 %103, 1
store i32 %104, i32* %12
br label %88
105: ; preds = %88
%106 = load float, float* %18
%107 = fpext float %106 to double
%108 = fcmp ole double %107, 0.000000e+00
br i1 %108, label %109, label %110
109: ; preds = %105
store i32 0, i32* %6
br label %112
110: ; preds = %105
%111 = load i32, i32* %13
store i32 %111, i32* %6
br label %112
112: ; preds = %110, %109, %49
%113 = load i32, i32* %6
ret i32 %113
}

LLVM IR (-O2):
define i32 @gen_brune_stf(float* nocapture %0, float* nocapture %1, float* %2, i32 %3, float* nocapture %4) {
%6 = tail call i32 @zapit(float* %2, i32 %3)
%7 = tail call float @exp(i32 1)
%8 = fpext float %7 to double
%9 = fmul double %8, 1.745000e+00
%10 = load float, float* %1
%11 = fpext float %10 to double
%12 = fmul double %9, %11
%13 = fptrunc double %12 to float
%14 = fmul float %13, 3.000000e+00
%15 = load float, float* %4
%16 = fdiv float %14, %15
%17 = fpext float %16 to double
%18 = fadd double %17, 5.000000e-01
%19 = fptosi double %18 to i32
%20 = icmp sgt i32 %19, %3
%21 = select i1 %20, i32 %3, i32 %19
%22 = icmp eq i32 %21, 0
br i1 %22, label %95, label %23
23: ; preds = %5
%24 = load float, float* %0
%25 = fdiv float %24, %10
%26 = fdiv float %15, %10
%27 = icmp sgt i32 %21, 0
br i1 %27, label %28, label %95
28: ; preds = %23
%29 = zext i32 %21 to i64
br label %38
30: ; preds = %38
br i1 %27, label %31, label %95
31: ; preds = %30
%32 = load float, float* %4
%33 = add nsw i64 %29, -1
%34 = and i64 %29, 3
%35 = icmp ult i64 %33, 3
br i1 %35, label %76, label %36
36: ; preds = %31
%37 = and i64 %29, 4294967292
br label %54
38: ; preds = %28, %38
%39 = phi i64 [ 0, %28 ], [ %52, %38 ]
%40 = trunc i64 %39 to i32
%41 = sitofp i32 %40 to float
%42 = fmul float %26, %41
%43 = fmul float %25, %42
%44 = trunc i64 %39 to i32
%45 = sub i32 0, %44
%46 = sitofp i32 %45 to float
%47 = fmul float %26, %46
%48 = fptosi float %47 to i32
%49 = tail call float @exp(i32 %48)
%50 = fmul float %43, %49
%51 = getelementptr inbounds float, float* %2, i64 %39
store float %50, float* %51
%52 = add nuw nsw i64 %39, 1
%53 = icmp eq i64 %52, %29
br i1 %53, label %30, label %38
54: ; preds = %54, %36
%55 = phi i64 [ 0, %36 ], [ %73, %54 ]
%56 = phi float [ 0.000000e+00, %36 ], [ %72, %54 ]
%57 = phi i64 [ 0, %36 ], [ %74, %54 ]
%58 = getelementptr inbounds float, float* %2, i64 %55
%59 = load float, float* %58
%60 = tail call float @llvm.fmuladd.f32(float %32, float %59, float %56)
%61 = or i64 %55, 1
%62 = getelementptr inbounds float, float* %2, i64 %61
%63 = load float, float* %62
%64 = tail call float @llvm.fmuladd.f32(float %32, float %63, float %60)
%65 = or i64 %55, 2
%66 = getelementptr inbounds float, float* %2, i64 %65
%67 = load float, float* %66
%68 = tail call float @llvm.fmuladd.f32(float %32, float %67, float %64)
%69 = or i64 %55, 3
%70 = getelementptr inbounds float, float* %2, i64 %69
%71 = load float, float* %70
%72 = tail call float @llvm.fmuladd.f32(float %32, float %71, float %68)
%73 = add nuw nsw i64 %55, 4
%74 = add i64 %57, 4
%75 = icmp eq i64 %74, %37
br i1 %75, label %76, label %54
76: ; preds = %54, %31
%77 = phi float [ undef, %31 ], [ %72, %54 ]
%78 = phi i64 [ 0, %31 ], [ %73, %54 ]
%79 = phi float [ 0.000000e+00, %31 ], [ %72, %54 ]
%80 = icmp eq i64 %34, 0
br i1 %80, label %91, label %81
81: ; preds = %76, %81
%82 = phi i64 [ %88, %81 ], [ %78, %76 ]
%83 = phi float [ %87, %81 ], [ %79, %76 ]
%84 = phi i64 [ %89, %81 ], [ 0, %76 ]
%85 = getelementptr inbounds float, float* %2, i64 %82
%86 = load float, float* %85
%87 = tail call float @llvm.fmuladd.f32(float %32, float %86, float %83)
%88 = add nuw nsw i64 %82, 1
%89 = add i64 %84, 1
%90 = icmp eq i64 %89, %34
br i1 %90, label %91, label %81
91: ; preds = %81, %76
%92 = phi float [ %77, %76 ], [ %87, %81 ]
%93 = fcmp ugt float %92, 0.000000e+00
%94 = select i1 %93, i32 %21, i32 0
br label %95
95: ; preds = %23, %30, %91, %5
%96 = phi i32 [ 0, %5 ], [ 0, %30 ], [ %94, %91 ], [ 0, %23 ]
ret i32 %96
}