From 3a77d37070192c5c89a5161fac4abc402a4a0a5d Mon Sep 17 00:00:00 2001 From: BRUNO LATHUILIERE Date: Tue, 15 Oct 2024 13:28:16 +0200 Subject: [PATCH] Update vr_clo option --- docs/update-vr-clo | 2 +- vr_clo.txt | 18 ++++++++++++++++++ 2 files changed, 19 insertions(+), 1 deletion(-) diff --git a/docs/update-vr-clo b/docs/update-vr-clo index 7e0bb04..c3e05a6 100755 --- a/docs/update-vr-clo +++ b/docs/update-vr-clo @@ -13,7 +13,7 @@ installConfig= subprocess.Popen(["./config.status", "--config"], env = env, stdout = subprocess.PIPE) -line = (installConfig.stdout.readline()).decode("utf8") +line = (installConfig.stdout.readline()).decode("utf8").replace("'","") spline=(line.strip()).split() pathInstall="./install" for conf in spline: diff --git a/vr_clo.txt b/vr_clo.txt index 3f5ddd7..257ed8e 100644 --- a/vr_clo.txt +++ b/vr_clo.txt @@ -41,6 +41,24 @@ \n\ This option can be activated with the env variable\n\ VERROU_ROUNDING_MODE.\n\ +\n\ + --float=yes|no [default=no]\n\ + With this option, all double precision floating-point operations\n\ + are replaced by simple precision equivalent in the frontend. Hence\n\ + this option is compatible with all --rounding-mode options and with\n\ + all other backends.\n\ +\n\ + • Numerically, option --rounding-mode=float is equivalent to\n\ + --rounding-mode=nearest --float=yes.\n\ +\n\ + • Options --rounding-mode=nearest --float=yes instrument float\n\ + operations by nearest wrapper function. So if your code\n\ + contains float operations, it can be useful to use\n\ + --vr-instr-float=no to speed up the instrumentation. The only\n\ + drawback of this approach, is the deactivation of checks (such\n\ + as Nan and Inf checks) over float operations.\n\ +\n\ + This option can be activated with the env variable VERROU_FLOAT.\n\ \n\ --libm=\n\ [default=auto_exclude]\n\