Appearance
fundal_weno5_recon_compdot
Source: src/third_party/FUNDAL/src/tests/precision/fundal_weno5_recon_compdot.F90
Dependencies
Contents
Subroutines
two_prod
Veltkamp split + Dekker TwoProd, FP32, no FMA dependency. Returns (hi, lo) such that ab = hi + lo exactly in unbounded precision, with hi = fl(ab) and lo the exact rounding error.
Attributes: pure
fortran
subroutine two_prod(a, b, hi, lo)Arguments
| Name | Type | Intent | Attributes | Description |
|---|---|---|---|---|
a | real(kind=R4P) | in | ||
b | real(kind=R4P) | in | ||
hi | real(kind=R4P) | out | ||
lo | real(kind=R4P) | out |
Call graph
two_sum
Knuth/Moller TwoSum, FP32, branchless. Returns (s, e) such that a + b = s + e exactly, with s = fl(a + b).
Attributes: pure
fortran
subroutine two_sum(a, b, s, e)Arguments
| Name | Type | Intent | Attributes | Description |
|---|---|---|---|---|
a | real(kind=R4P) | in | ||
b | real(kind=R4P) | in | ||
s | real(kind=R4P) | out | ||
e | real(kind=R4P) | out |
Call graph
Functions
weno5_recon_r4_compdot
WENO5-JS reconstruction at i+1/2 from the left with compensated final dot.
Attributes: pure
Returns: real(kind=R4P)
fortran
function weno5_recon_r4_compdot(vm2, vm1, v0, vp1, vp2) result(vL)Arguments
| Name | Type | Intent | Attributes | Description |
|---|---|---|---|---|
vm2 | real(kind=R4P) | in | ||
vm1 | real(kind=R4P) | in | ||
v0 | real(kind=R4P) | in | ||
vp1 | real(kind=R4P) | in | ||
vp2 | real(kind=R4P) | in |
Call graph