#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 */
double log10f(float);
float powf(double, float);
float goff_gratch(float t) {
  float log10p, r, r1;
  r = 373.16 / t;
  r1 = r - 1.0;
  log10p = -7.90298 * r1 + 5.02808 * log10f(r) -
           1.3816e-7 * (powf(10.0, 11.344 * (1.0 - t / 373.16)) - 1.0) +
           8.1328e-3 * (powf(10.0, -3.49149 * r1) - 1.0) + 3.0057148979490314;
  return (powf(10.0, log10p));
}


x86 assembly (clang, -O0):
<goff_gratch>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
movss  %xmm0,-0x4(%rbp)
movss  -0x4(%rbp),%xmm0
cvtss2sd %xmm0,%xmm1
movsd  0xefa(%rip),%xmm0
divsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0xc(%rbp)
movss  -0xc(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xebc(%rip),%xmm1
subsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x10(%rbp)
movss  -0x10(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  %xmm0,-0x28(%rbp)
movss  -0xc(%rbp),%xmm0
call   1040 <log10f@plt>
movaps %xmm0,%xmm2
movsd  -0x28(%rbp),%xmm0
movsd  0xeb7(%rip),%xmm1
mulsd  %xmm2,%xmm1
movsd  0xea3(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x20(%rbp)
movss  -0x4(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xe7d(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  0xe51(%rip),%xmm1
subsd  %xmm0,%xmm1
movsd  0xe5d(%rip),%xmm0
mulsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm1
movsd  0xe1d(%rip),%xmm0
call   1030 <powf@plt>
movsd  -0x20(%rbp),%xmm1
cvtss2sd %xmm0,%xmm0
movsd  0xe1f(%rip),%xmm2
subsd  %xmm2,%xmm0
movsd  0xe23(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x18(%rbp)
movss  -0x10(%rbp),%xmm0
cvtss2sd %xmm0,%xmm1
movsd  0xdfd(%rip),%xmm0
mulsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm1
movsd  0xdcd(%rip),%xmm0
call   1030 <powf@plt>
movsd  -0x18(%rbp),%xmm1
cvtss2sd %xmm0,%xmm0
movsd  0xdcf(%rip),%xmm2
subsd  %xmm2,%xmm0
movsd  0xdbb(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  0xda3(%rip),%xmm1
addsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x8(%rbp)
movss  -0x8(%rbp),%xmm1
movsd  0xd81(%rip),%xmm0
call   1030 <powf@plt>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<goff_gratch>:
sub    $0x18,%rsp
cvtss2sd %xmm0,%xmm1
movsd  %xmm1,0x10(%rsp)
movsd  0xeca(%rip),%xmm0
divsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  0xf12(%rip),%xmm1
addss  %xmm0,%xmm1
cvtss2sd %xmm1,%xmm1
movsd  %xmm1,0x8(%rsp)
call   1040 <log10f@plt>
mulsd  0xea7(%rip),%xmm0
movsd  0xea7(%rip),%xmm1
mulsd  0x8(%rsp),%xmm1
addsd  %xmm0,%xmm1
movsd  %xmm1,(%rsp)
movsd  0x10(%rsp),%xmm1
divsd  0xe7a(%rip),%xmm1
movsd  0xe8a(%rip),%xmm0
subsd  %xmm1,%xmm0
mulsd  0xe86(%rip),%xmm0
xorps  %xmm1,%xmm1
cvtsd2ss %xmm0,%xmm1
movsd  0xe7f(%rip),%xmm0
call   1030 <powf@plt>
cvtss2sd %xmm0,%xmm0
addsd  0xe76(%rip),%xmm0
mulsd  0xe76(%rip),%xmm0
addsd  (%rsp),%xmm0
movsd  %xmm0,(%rsp)
movsd  0x8(%rsp),%xmm0
mulsd  0xe66(%rip),%xmm0
xorps  %xmm1,%xmm1
cvtsd2ss %xmm0,%xmm1
movsd  0xe3f(%rip),%xmm0
call   1030 <powf@plt>
cvtss2sd %xmm0,%xmm0
addsd  0xe36(%rip),%xmm0
mulsd  0xe46(%rip),%xmm0
addsd  (%rsp),%xmm0
addsd  0xe41(%rip),%xmm0
xorps  %xmm1,%xmm1
cvtsd2ss %xmm0,%xmm1
movsd  0xe0a(%rip),%xmm0
add    $0x18,%rsp
jmp    1030 <powf@plt>

LLVM IR (-O0):
define float @goff_gratch(float %0) {
%2 = alloca float
%3 = alloca float
%4 = alloca float
%5 = alloca float
store float %0, float* %2
%6 = load float, float* %2
%7 = fpext float %6 to double
%8 = fdiv double 3.731600e+02, %7
%9 = fptrunc double %8 to float
store float %9, float* %4
%10 = load float, float* %4
%11 = fpext float %10 to double
%12 = fsub double %11, 1.000000e+00
%13 = fptrunc double %12 to float
store float %13, float* %5
%14 = load float, float* %5
%15 = fpext float %14 to double
%16 = load float, float* %4
%17 = call double @log10f(float %16)
%18 = fmul double 5.028080e+00, %17
%19 = call double @llvm.fmuladd.f64(double -7.902980e+00, double %15, double %18)
%20 = load float, float* %2
%21 = fpext float %20 to double
%22 = fdiv double %21, 3.731600e+02
%23 = fsub double 1.000000e+00, %22
%24 = fmul double 1.134400e+01, %23
%25 = fptrunc double %24 to float
%26 = call float @powf(double 1.000000e+01, float %25)
%27 = fpext float %26 to double
%28 = fsub double %27, 1.000000e+00
%29 = call double @llvm.fmuladd.f64(double -1.381600e-07, double %28, double %19)
%30 = load float, float* %5
%31 = fpext float %30 to double
%32 = fmul double -3.491490e+00, %31
%33 = fptrunc double %32 to float
%34 = call float @powf(double 1.000000e+01, float %33)
%35 = fpext float %34 to double
%36 = fsub double %35, 1.000000e+00
%37 = call double @llvm.fmuladd.f64(double 8.132800e-03, double %36, double %29)
%38 = fadd double %37, 0x40080BB4409E541B
%39 = fptrunc double %38 to float
store float %39, float* %3
%40 = load float, float* %3
%41 = call float @powf(double 1.000000e+01, float %40)
ret float %41
}

LLVM IR (-O2):
define float @goff_gratch(float %0) {
%2 = fpext float %0 to double
%3 = fdiv double 3.731600e+02, %2
%4 = fptrunc double %3 to float
%5 = fadd float %4, -1.000000e+00
%6 = fpext float %5 to double
%7 = tail call double @log10f(float %4)
%8 = fmul double %7, 5.028080e+00
%9 = tail call double @llvm.fmuladd.f64(double %6, double -7.902980e+00, double %8)
%10 = fdiv double %2, 3.731600e+02
%11 = fsub double 1.000000e+00, %10
%12 = fmul double %11, 1.134400e+01
%13 = fptrunc double %12 to float
%14 = tail call float @powf(double 1.000000e+01, float %13)
%15 = fpext float %14 to double
%16 = fadd double %15, -1.000000e+00
%17 = tail call double @llvm.fmuladd.f64(double %16, double -1.381600e-07, double %9)
%18 = fmul double %6, -3.491490e+00
%19 = fptrunc double %18 to float
%20 = tail call float @powf(double 1.000000e+01, float %19)
%21 = fpext float %20 to double
%22 = fadd double %21, -1.000000e+00
%23 = tail call double @llvm.fmuladd.f64(double %22, double 8.132800e-03, double %17)
%24 = fadd double %23, 0x40080BB4409E541B
%25 = fptrunc double %24 to float
%26 = tail call float @powf(double 1.000000e+01, float %25)
ret float %26
}