// File: /workspace/github_c_makefile_star2_O0/PoulinV[P]AxiCLASS/build/../source/primordial.c
// Function: primordial_inflation_check_potential
int primordial_inflation_check_potential(
                                         struct primordial * ppm,
                                         double phi,
                                         double * V,
                                         double * dV,
                                         double * ddV
                                         ) {

  class_call(primordial_inflation_potential(ppm,phi,V,dV,ddV),
             ppm->error_message,
             ppm->error_message);

  class_test(*V <= 0.,
             ppm->error_message,
             "This potential becomes negative at phi=%g, before the end of observable inflation. It  cannot be treated by this code",
             phi);

  class_test(*dV >= 0.,
             ppm->error_message,
             "All the code is written for the case dV/dphi<0. Here, in phi=%g, we have dV/dphi=%g. This potential cannot be treated by this code",
             phi,*dV);

  return _SUCCESS_;
}

// Assembly:
subq $0x2838, %rsp           # imm = 0x2838
movq %rdi, 0x2828(%rsp)
movsd %xmm0, 0x2820(%rsp)
movq %rsi, 0x2818(%rsp)
movq %rdx, 0x2810(%rsp)
movq %rcx, 0x2808(%rsp)
movq 0x2828(%rsp), %rdi
movsd 0x2820(%rsp), %xmm0
movq 0x2818(%rsp), %rsi
movq 0x2810(%rsp), %rdx
movq 0x2808(%rsp), %rcx
callq 0x1189b0
cmpl $0x1, %eax
jne 0x11e260
leaq 0x2000(%rsp), %rdi
movq 0x2828(%rsp), %rcx
addq $0x32a, %rcx            # imm = 0x32A
leaq 0xb41c7(%rip), %rsi     # 0x1d23d8
leaq 0xe0443(%rip), %rdx     # 0x1fe65b
movb $0x0, %al
callq 0x5b9c0
movq 0x2828(%rsp), %rdi
addq $0x32a, %rdi            # imm = 0x32A
leaq 0x2000(%rsp), %r8
leaq 0xb3df7(%rip), %rsi     # 0x1d2034
leaq 0xe0448(%rip), %rdx     # 0x1fe68c
movl $0x96d, %ecx            # imm = 0x96D
movb $0x0, %al
callq 0x5b9c0
movl $0x1, 0x2834(%rsp)
jmp 0x11e3a2
movq 0x2818(%rsp), %rax
xorps %xmm0, %xmm0
ucomisd (%rax), %xmm0
jb 0x11e2fa
leaq 0x1800(%rsp), %rdi
movsd 0x2820(%rsp), %xmm0
leaq 0xe0424(%rip), %rsi     # 0x1fe6b1
movb $0x1, %al
callq 0x5b9c0
leaq 0x1000(%rsp), %rdi
leaq 0x1800(%rsp), %rcx
leaq 0xb3dd7(%rip), %rsi     # 0x1d2082
leaq 0xe0475(%rip), %rdx     # 0x1fe727
movb $0x0, %al
callq 0x5b9c0
movq 0x2828(%rsp), %rdi
addq $0x32a, %rdi            # imm = 0x32A
leaq 0x1000(%rsp), %r8
leaq 0xb3d5d(%rip), %rsi     # 0x1d2034
leaq 0xe03ae(%rip), %rdx     # 0x1fe68c
movl $0x972, %ecx            # imm = 0x972
movb $0x0, %al
callq 0x5b9c0
movl $0x1, 0x2834(%rsp)
jmp 0x11e3a2
movq 0x2810(%rsp), %rax
movsd (%rax), %xmm0
xorps %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jb 0x11e397
leaq 0x800(%rsp), %rdi
movsd 0x2820(%rsp), %xmm0
movq 0x2810(%rsp), %rax
movsd (%rax), %xmm1
leaq 0xe03f9(%rip), %rsi     # 0x1fe730
movb $0x2, %al
callq 0x5b9c0
movq %rsp, %rdi
leaq 0x800(%rsp), %rcx
leaq 0xb3d32(%rip), %rsi     # 0x1d2082
leaq 0xe045c(%rip), %rdx     # 0x1fe7b3
movb $0x0, %al
callq 0x5b9c0
movq 0x2828(%rsp), %rdi
addq $0x32a, %rdi            # imm = 0x32A
movq %rsp, %r8
leaq 0xb3cbd(%rip), %rsi     # 0x1d2034
leaq 0xe030e(%rip), %rdx     # 0x1fe68c
movl $0x977, %ecx            # imm = 0x977
movb $0x0, %al
callq 0x5b9c0
movl $0x1, 0x2834(%rsp)
jmp 0x11e3a2
movl $0x0, 0x2834(%rsp)
movl 0x2834(%rsp), %eax
addq $0x2838, %rsp           # imm = 0x2838
retq
nopw %cs:(%rax,%rax)