From 163a3c210504373b3348c4d9ddfad0ee19439f6b Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Sat, 11 Apr 2020 15:36:20 +0200 Subject: synth-static_oper: handle floor. Fix #1210 --- src/synth/synth-static_oper.adb | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'src') diff --git a/src/synth/synth-static_oper.adb b/src/synth/synth-static_oper.adb index 2443e7ee2..824e5c803 100644 --- a/src/synth/synth-static_oper.adb +++ b/src/synth/synth-static_oper.adb @@ -1147,6 +1147,13 @@ package body Synth.Static_Oper is begin return Create_Value_Float (Ceil (Read_Fp64 (Param1)), Res_Typ); end; + when Iir_Predefined_Ieee_Math_Real_Floor => + declare + function Floor (Arg : Fp64) return Fp64; + pragma Import (C, Floor); + begin + return Create_Value_Float (Floor (Read_Fp64 (Param1)), Res_Typ); + end; when Iir_Predefined_Ieee_Math_Real_Round => declare function Round (Arg : Fp64) return Fp64; -- cgit v1.2.3