🐛 Emit only canonical NaNs

Stefan Mach · Stefan Mach · commit fc719100bca2 · 2019-02-10T13:07:17.000+01:00
diff --git a/src/flexfloat.c b/src/flexfloat.c
@@ -286,7 +286,10 @@ void flexfloat_sanitize(flexfloat_t *a)
     }
     else if(exp == INF_EXP && (CAST_TO_INT(a->value) & MASK_FRAC)) // NaN
     {
-        exp = inf_exp;
+        exp  = inf_exp;
+        // Sanitize to canonical NaN (positive sign, quiet bit set)
+        sign = 0;
+        frac = 0x1 << a->desc.frac_bits-1;
     }
     else if(exp == INF_EXP) // Inf
     {

Original file line number	Diff line number	Diff line change
`@@ -286,7 +286,10 @@ void flexfloat_sanitize(flexfloat_t *a)`
`286`	`286`	`}`
`287`	`287`	`else if(exp == INF_EXP && (CAST_TO_INT(a->value) & MASK_FRAC)) // NaN`
`288`	`288`	`{`
`289`		`- exp = inf_exp;`
	`289`	`+ exp = inf_exp;`
	`290`	`+ // Sanitize to canonical NaN (positive sign, quiet bit set)`
	`291`	`+ sign = 0;`
	`292`	`+ frac = 0x1 << a->desc.frac_bits-1;`
`290`	`293`	`}`
`291`	`294`	`else if(exp == INF_EXP) // Inf`
`292`	`295`	`{`