From e01d0227af0092db12a6e08f3b8278d860b37416 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Sat, 27 Feb 2021 17:15:35 +0100 Subject: synth: handle pow and arctan from ieee.math_real. Fix #1665 --- src/std_names.ads | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) (limited to 'src/std_names.ads') diff --git a/src/std_names.ads b/src/std_names.ads index 8c903019a..bd6429bff 100644 --- a/src/std_names.ads +++ b/src/std_names.ads @@ -754,12 +754,13 @@ package Std_Names is Name_Log2 : constant Name_Id := Name_First_Ieee_Name + 042; Name_Sin : constant Name_Id := Name_First_Ieee_Name + 043; Name_Cos : constant Name_Id := Name_First_Ieee_Name + 044; - Name_Shl : constant Name_Id := Name_First_Ieee_Name + 045; - Name_Shr : constant Name_Id := Name_First_Ieee_Name + 046; - Name_Ext : constant Name_Id := Name_First_Ieee_Name + 047; - Name_Sxt : constant Name_Id := Name_First_Ieee_Name + 048; - Name_Find_Leftmost : constant Name_Id := Name_First_Ieee_Name + 049; - Name_Find_Rightmost : constant Name_Id := Name_First_Ieee_Name + 050; + Name_Arctan : constant Name_Id := Name_First_Ieee_Name + 045; + Name_Shl : constant Name_Id := Name_First_Ieee_Name + 046; + Name_Shr : constant Name_Id := Name_First_Ieee_Name + 047; + Name_Ext : constant Name_Id := Name_First_Ieee_Name + 048; + Name_Sxt : constant Name_Id := Name_First_Ieee_Name + 049; + Name_Find_Leftmost : constant Name_Id := Name_First_Ieee_Name + 050; + Name_Find_Rightmost : constant Name_Id := Name_First_Ieee_Name + 051; Name_Last_Ieee_Name : constant Name_Id := Name_Find_Rightmost; Name_First_Synthesis : constant Name_Id := Name_Last_Ieee_Name + 1; -- cgit v1.2.3