// File: /workspace/github_c_makefile_star2_O0/PoulinV[P]AxiCLASS/build/../source/primordial.c
// Function: primordial_inflation_check_hubble
int primordial_inflation_check_hubble(
                                      struct primordial * ppm,
                                      double phi,
                                      double * H,
                                      double * dH,
                                      double * ddH,
                                      double * dddH
                                      ) {

  class_call(primordial_inflation_hubble(ppm,
                                         phi,
                                         H,dH,ddH,dddH),
             ppm->error_message,
             ppm->error_message);

  class_test(*H < 0.,
             ppm->error_message,
             "this H(phi) is not physical. H = %e",
             *H);

  class_test(*dH > 0.,
             ppm->error_message,
             "this H(phi) is not decreasing with growing phi. dH/dphi = %e",
             *dH);

  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 %r8, 0x2800(%rsp)
movq 0x2828(%rsp), %rdi
movsd 0x2820(%rsp), %xmm0
movq 0x2818(%rsp), %rsi
movq 0x2810(%rsp), %rdx
movq 0x2808(%rsp), %rcx
movq 0x2800(%rsp), %r8
callq 0x119520
cmpl $0x1, %eax
jne 0x11bf10
leaq 0x2000(%rsp), %rdi
movq 0x2828(%rsp), %rcx
addq $0x32a, %rcx            # imm = 0x32A
leaq 0xb6517(%rip), %rsi     # 0x1d23d8
leaq 0xe28f5(%rip), %rdx     # 0x1fe7bd
movb $0x0, %al
callq 0x5b9c0
movq 0x2828(%rsp), %rdi
addq $0x32a, %rdi            # imm = 0x32A
leaq 0x2000(%rsp), %r8
leaq 0xb6147(%rip), %rsi     # 0x1d2034
leaq 0xe28fe(%rip), %rdx     # 0x1fe7f2
movl $0x99a, %ecx            # imm = 0x99A
movb $0x0, %al
callq 0x5b9c0
movl $0x1, 0x2834(%rsp)
jmp 0x11c048
movq 0x2818(%rsp), %rax
xorps %xmm0, %xmm0
ucomisd (%rax), %xmm0
jbe 0x11bfad
leaq 0x1800(%rsp), %rdi
movq 0x2818(%rsp), %rax
movsd (%rax), %xmm0
leaq 0xe28d4(%rip), %rsi     # 0x1fe814
movb $0x1, %al
callq 0x5b9c0
leaq 0x1000(%rsp), %rdi
leaq 0x1800(%rsp), %rcx
leaq 0xb6124(%rip), %rsi     # 0x1d2082
leaq 0xe28d3(%rip), %rdx     # 0x1fe838
movb $0x0, %al
callq 0x5b9c0
movq 0x2828(%rsp), %rdi
addq $0x32a, %rdi            # imm = 0x32A
leaq 0x1000(%rsp), %r8
leaq 0xb60aa(%rip), %rsi     # 0x1d2034
leaq 0xe2861(%rip), %rdx     # 0x1fe7f2
movl $0x99f, %ecx            # imm = 0x99F
movb $0x0, %al
callq 0x5b9c0
movl $0x1, 0x2834(%rsp)
jmp 0x11c048
movq 0x2810(%rsp), %rax
movsd (%rax), %xmm0
xorps %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jbe 0x11c03d
leaq 0x800(%rsp), %rdi
movq 0x2810(%rsp), %rax
movsd (%rax), %xmm0
leaq 0xe2863(%rip), %rsi     # 0x1fe840
movb $0x1, %al
callq 0x5b9c0
movq %rsp, %rdi
leaq 0x800(%rsp), %rcx
leaq 0xb608c(%rip), %rsi     # 0x1d2082
leaq 0xe2880(%rip), %rdx     # 0x1fe87d
movb $0x0, %al
callq 0x5b9c0
movq 0x2828(%rsp), %rdi
addq $0x32a, %rdi            # imm = 0x32A
movq %rsp, %r8
leaq 0xb6017(%rip), %rsi     # 0x1d2034
leaq 0xe27ce(%rip), %rdx     # 0x1fe7f2
movl $0x9a4, %ecx            # imm = 0x9A4
movb $0x0, %al
callq 0x5b9c0
movl $0x1, 0x2834(%rsp)
jmp 0x11c048
movl $0x0, 0x2834(%rsp)
movl 0x2834(%rsp), %eax
addq $0x2838, %rsp           # imm = 0x2838
retq
nopw (%rax,%rax)