diff options
| author | Tristan Gingold <tgingold@free.fr> | 2020-09-14 20:49:31 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2020-09-14 20:49:31 +0200 |
| commit | c08088745ad48841bb0dccd634d5b767d40b7e73 (patch) | |
| tree | 59b93107c10d1a243434893cb470e31292bc84da /src/vhdl | |
| parent | e6acce83994a1a00fe148f70f29a61f646422826 (diff) | |
| download | ghdl-c08088745ad48841bb0dccd634d5b767d40b7e73.tar.gz ghdl-c08088745ad48841bb0dccd634d5b767d40b7e73.tar.bz2 ghdl-c08088745ad48841bb0dccd634d5b767d40b7e73.zip | |
vhdl: recognize reduce operations from numeric_std.
Handle them in synthesis.
Diffstat (limited to 'src/vhdl')
| -rw-r--r-- | src/vhdl/vhdl-ieee-numeric.adb | 54 | ||||
| -rw-r--r-- | src/vhdl/vhdl-nodes.ads | 14 |
2 files changed, 68 insertions, 0 deletions
diff --git a/src/vhdl/vhdl-ieee-numeric.adb b/src/vhdl/vhdl-ieee-numeric.adb index a6a0559e4..fae624d78 100644 --- a/src/vhdl/vhdl-ieee-numeric.adb +++ b/src/vhdl/vhdl-ieee-numeric.adb @@ -422,6 +422,48 @@ package body Vhdl.Ieee.Numeric is Pkg_Bit => (others => Iir_Predefined_None)); + Red_And_Patterns : constant Unary_Pattern_Type := + (Pkg_Std => + (Type_Unsigned => Iir_Predefined_Ieee_Numeric_Std_And_Uns, + Type_Signed => Iir_Predefined_Ieee_Numeric_Std_And_Sgn), + Pkg_Bit => + (others => Iir_Predefined_None)); + + Red_Nand_Patterns : constant Unary_Pattern_Type := + (Pkg_Std => + (Type_Unsigned => Iir_Predefined_Ieee_Numeric_Std_Nand_Uns, + Type_Signed => Iir_Predefined_Ieee_Numeric_Std_Nand_Sgn), + Pkg_Bit => + (others => Iir_Predefined_None)); + + Red_Or_Patterns : constant Unary_Pattern_Type := + (Pkg_Std => + (Type_Unsigned => Iir_Predefined_Ieee_Numeric_Std_Or_Uns, + Type_Signed => Iir_Predefined_Ieee_Numeric_Std_Or_Sgn), + Pkg_Bit => + (others => Iir_Predefined_None)); + + Red_Nor_Patterns : constant Unary_Pattern_Type := + (Pkg_Std => + (Type_Unsigned => Iir_Predefined_Ieee_Numeric_Std_Nor_Uns, + Type_Signed => Iir_Predefined_Ieee_Numeric_Std_Nor_Sgn), + Pkg_Bit => + (others => Iir_Predefined_None)); + + Red_Xor_Patterns : constant Unary_Pattern_Type := + (Pkg_Std => + (Type_Unsigned => Iir_Predefined_Ieee_Numeric_Std_Xor_Uns, + Type_Signed => Iir_Predefined_Ieee_Numeric_Std_Xor_Sgn), + Pkg_Bit => + (others => Iir_Predefined_None)); + + Red_Xnor_Patterns : constant Unary_Pattern_Type := + (Pkg_Std => + (Type_Unsigned => Iir_Predefined_Ieee_Numeric_Std_Xnor_Uns, + Type_Signed => Iir_Predefined_Ieee_Numeric_Std_Xnor_Sgn), + Pkg_Bit => + (others => Iir_Predefined_None)); + And_Patterns : constant Binary_Pattern_Type := (Pkg_Std => (Type_Unsigned => @@ -925,6 +967,18 @@ package body Vhdl.Ieee.Numeric is Handle_Unary (Abs_Patterns); when Name_To_Integer => Handle_To_Integer; + when Name_And => + Handle_Unary (Red_And_Patterns); + when Name_Nand => + Handle_Unary (Red_Nand_Patterns); + when Name_Or => + Handle_Unary (Red_Or_Patterns); + when Name_Nor => + Handle_Unary (Red_Nor_Patterns); + when Name_Xor => + Handle_Unary (Red_Xor_Patterns); + when Name_Xnor => + Handle_Unary (Red_Xnor_Patterns); when others => null; end case; diff --git a/src/vhdl/vhdl-nodes.ads b/src/vhdl/vhdl-nodes.ads index eeaf86c72..82a45c3ed 100644 --- a/src/vhdl/vhdl-nodes.ads +++ b/src/vhdl/vhdl-nodes.ads @@ -5793,6 +5793,20 @@ package Vhdl.Nodes is Iir_Predefined_Ieee_Numeric_Std_Rot_Left_Sgn_Nat, Iir_Predefined_Ieee_Numeric_Std_Rot_Right_Sgn_Nat, + -- Reduction + Iir_Predefined_Ieee_Numeric_Std_And_Sgn, + Iir_Predefined_Ieee_Numeric_Std_Nand_Sgn, + Iir_Predefined_Ieee_Numeric_Std_Or_Sgn, + Iir_Predefined_Ieee_Numeric_Std_Nor_Sgn, + Iir_Predefined_Ieee_Numeric_Std_Xor_Sgn, + Iir_Predefined_Ieee_Numeric_Std_Xnor_Sgn, + Iir_Predefined_Ieee_Numeric_Std_And_Uns, + Iir_Predefined_Ieee_Numeric_Std_Nand_Uns, + Iir_Predefined_Ieee_Numeric_Std_Or_Uns, + Iir_Predefined_Ieee_Numeric_Std_Nor_Uns, + Iir_Predefined_Ieee_Numeric_Std_Xor_Uns, + Iir_Predefined_Ieee_Numeric_Std_Xnor_Uns, + -- Std_Match functions. Iir_Predefined_Ieee_Numeric_Std_Match_Log, Iir_Predefined_Ieee_Numeric_Std_Match_Uns, |