// File: /workspace/github_c_makefile_star2_O0/jiqingxiaoxi[P]RPA/RPA.c
// Function: Hs
double Hs(int i,int j,int k,double stackEnthalpies[],int Initint[],char numSeq1[],char numSeq2[])
{
	if(k==2)
	{
		if(i>= j)
			return 1.0*INFINITY;
		if(i==Initint[0]||j==Initint[1]+1)
			return 1.0*INFINITY;

		if(i>Initint[0])
			i-=Initint[0];
		if(j>Initint[1])
			j-=Initint[1];
		if(fabs(stackEnthalpies[numSeq1[i]*125+numSeq1[i+1]*25+numSeq2[j]*5+numSeq2[j-1]])<999999999)
			return stackEnthalpies[numSeq1[i]*125+numSeq1[i+1]*25+numSeq2[j]*5+numSeq2[j-1]];
		else
			return 1.0*INFINITY;
	}
	else
		return stackEnthalpies[numSeq1[i]*125+numSeq1[i+1]*25+numSeq2[j]*5+numSeq2[j+1]];
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movq 0x10(%rbp), %rax
movl %edi, -0xc(%rbp)
movl %esi, -0x10(%rbp)
movl %edx, -0x14(%rbp)
movq %rcx, -0x20(%rbp)
movq %r8, -0x28(%rbp)
movq %r9, -0x30(%rbp)
cmpl $0x2, -0x14(%rbp)
jne 0x3dcc
movl -0xc(%rbp), %eax
cmpl -0x10(%rbp), %eax
jl 0x3c91
movsd 0x134a9(%rip), %xmm0    # 0x17130
movsd %xmm0, -0x8(%rbp)
jmp 0x3e26
movl -0xc(%rbp), %eax
movq -0x28(%rbp), %rcx
cmpl (%rcx), %eax
je 0x3cad
movl -0x10(%rbp), %eax
movq -0x28(%rbp), %rcx
movl 0x4(%rcx), %ecx
addl $0x1, %ecx
cmpl %ecx, %eax
jne 0x3cbf
movsd 0x1347b(%rip), %xmm0    # 0x17130
movsd %xmm0, -0x8(%rbp)
jmp 0x3e26
movl -0xc(%rbp), %eax
movq -0x28(%rbp), %rcx
cmpl (%rcx), %eax
jle 0x3cd8
movq -0x28(%rbp), %rax
movl (%rax), %ecx
movl -0xc(%rbp), %eax
subl %ecx, %eax
movl %eax, -0xc(%rbp)
movl -0x10(%rbp), %eax
movq -0x28(%rbp), %rcx
cmpl 0x4(%rcx), %eax
jle 0x3cf3
movq -0x28(%rbp), %rax
movl 0x4(%rax), %ecx
movl -0x10(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x10(%rbp)
movq -0x20(%rbp), %rax
movq -0x30(%rbp), %rcx
movslq -0xc(%rbp), %rdx
movsbl (%rcx,%rdx), %ecx
imull $0x7d, %ecx, %ecx
movq -0x30(%rbp), %rdx
movl -0xc(%rbp), %esi
addl $0x1, %esi
movslq %esi, %rsi
movsbl (%rdx,%rsi), %edx
imull $0x19, %edx, %edx
addl %edx, %ecx
movq 0x10(%rbp), %rdx
movslq -0x10(%rbp), %rsi
movsbl (%rdx,%rsi), %edx
imull $0x5, %edx, %edx
addl %edx, %ecx
movq 0x10(%rbp), %rdx
movl -0x10(%rbp), %esi
subl $0x1, %esi
movslq %esi, %rsi
movsbl (%rdx,%rsi), %edx
addl %edx, %ecx
movslq %ecx, %rcx
movsd (%rax,%rcx,8), %xmm1
movaps 0x134a1(%rip), %xmm0    # 0x171f0
pand %xmm0, %xmm1
movsd 0x133dd(%rip), %xmm0    # 0x17138
ucomisd %xmm1, %xmm0
jbe 0x3dbd
movq -0x20(%rbp), %rax
movq -0x30(%rbp), %rcx
movslq -0xc(%rbp), %rdx
movsbl (%rcx,%rdx), %ecx
imull $0x7d, %ecx, %ecx
movq -0x30(%rbp), %rdx
movl -0xc(%rbp), %esi
addl $0x1, %esi
movslq %esi, %rsi
movsbl (%rdx,%rsi), %edx
imull $0x19, %edx, %edx
addl %edx, %ecx
movq 0x10(%rbp), %rdx
movslq -0x10(%rbp), %rsi
movsbl (%rdx,%rsi), %edx
imull $0x5, %edx, %edx
addl %edx, %ecx
movq 0x10(%rbp), %rdx
movl -0x10(%rbp), %esi
subl $0x1, %esi
movslq %esi, %rsi
movsbl (%rdx,%rsi), %edx
addl %edx, %ecx
movslq %ecx, %rcx
movsd (%rax,%rcx,8), %xmm0
movsd %xmm0, -0x8(%rbp)
jmp 0x3e26
movsd 0x1336b(%rip), %xmm0    # 0x17130
movsd %xmm0, -0x8(%rbp)
jmp 0x3e26
movq -0x20(%rbp), %rax
movq -0x30(%rbp), %rcx
movslq -0xc(%rbp), %rdx
movsbl (%rcx,%rdx), %ecx
imull $0x7d, %ecx, %ecx
movq -0x30(%rbp), %rdx
movl -0xc(%rbp), %esi
addl $0x1, %esi
movslq %esi, %rsi
movsbl (%rdx,%rsi), %edx
imull $0x19, %edx, %edx
addl %edx, %ecx
movq 0x10(%rbp), %rdx
movslq -0x10(%rbp), %rsi
movsbl (%rdx,%rsi), %edx
imull $0x5, %edx, %edx
addl %edx, %ecx
movq 0x10(%rbp), %rdx
movl -0x10(%rbp), %esi
addl $0x1, %esi
movslq %esi, %rsi
movsbl (%rdx,%rsi), %edx
addl %edx, %ecx
movslq %ecx, %rcx
movsd (%rax,%rcx,8), %xmm0
movsd %xmm0, -0x8(%rbp)
movsd -0x8(%rbp), %xmm0
popq %rbp
retq
nopl (%rax)