diff options
| author | Tristan Gingold <tgingold@free.fr> | 2022-04-29 12:15:30 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2022-04-29 12:19:22 +0200 |
| commit | bdb90f2f54f4ccd1c290d872c5bafcb4ba3e1778 (patch) | |
| tree | 43e189985bc89894e653aaf02d6e65b72adc9552 /src | |
| parent | d2ea6d49cd301ff7bd129bfe39a09b0b14f4dbcc (diff) | |
| download | ghdl-bdb90f2f54f4ccd1c290d872c5bafcb4ba3e1778.tar.gz ghdl-bdb90f2f54f4ccd1c290d872c5bafcb4ba3e1778.tar.bz2 ghdl-bdb90f2f54f4ccd1c290d872c5bafcb4ba3e1778.zip | |
synth-vhdl_eval: handle all comparisons for enums
Diffstat (limited to 'src')
| -rw-r--r-- | src/synth/synth-vhdl_eval.adb | 62 |
1 files changed, 29 insertions, 33 deletions
diff --git a/src/synth/synth-vhdl_eval.adb b/src/synth/synth-vhdl_eval.adb index 8c205051d..c6846718d 100644 --- a/src/synth/synth-vhdl_eval.adb +++ b/src/synth/synth-vhdl_eval.adb @@ -149,6 +149,11 @@ package body Synth.Vhdl_Eval is end case; end Check_Integer_Overflow; + function Create_Memory_Boolean (V : Boolean) return Memtyp is + begin + return Create_Memory_U8 (Boolean'Pos (V), Boolean_Type); + end Create_Memory_Boolean; + function Eval_Static_Dyadic_Predefined (Imp : Node; Res_Typ : Type_Acc; Left : Memtyp; @@ -169,15 +174,6 @@ package body Synth.Vhdl_Eval is xor Boolean'Val (Read_Discrete (Right))), Res_Typ); - when Iir_Predefined_Enum_Equality => - return Create_Memory_U8 - (Boolean'Pos (Read_Discrete (Left) = Read_Discrete (Right)), - Boolean_Type); - when Iir_Predefined_Enum_Inequality => - return Create_Memory_U8 - (Boolean'Pos (Read_Discrete (Left) /= Read_Discrete (Right)), - Boolean_Type); - when Iir_Predefined_Integer_Plus | Iir_Predefined_Physical_Plus => declare @@ -250,35 +246,35 @@ package body Synth.Vhdl_Eval is Res_Typ); when Iir_Predefined_Integer_Less_Equal - | Iir_Predefined_Physical_Less_Equal => - return Create_Memory_U8 - (Boolean'Pos (Read_Discrete (Left) <= Read_Discrete (Right)), - Boolean_Type); + | Iir_Predefined_Physical_Less_Equal + | Iir_Predefined_Enum_Less_Equal => + return Create_Memory_Boolean + (Read_Discrete (Left) <= Read_Discrete (Right)); when Iir_Predefined_Integer_Less - | Iir_Predefined_Physical_Less => - return Create_Memory_U8 - (Boolean'Pos (Read_Discrete (Left) < Read_Discrete (Right)), - Boolean_Type); + | Iir_Predefined_Physical_Less + | Iir_Predefined_Enum_Less => + return Create_Memory_Boolean + (Read_Discrete (Left) < Read_Discrete (Right)); when Iir_Predefined_Integer_Greater_Equal - | Iir_Predefined_Physical_Greater_Equal => - return Create_Memory_U8 - (Boolean'Pos (Read_Discrete (Left) >= Read_Discrete (Right)), - Boolean_Type); + | Iir_Predefined_Physical_Greater_Equal + | Iir_Predefined_Enum_Greater_Equal => + return Create_Memory_Boolean + (Read_Discrete (Left) >= Read_Discrete (Right)); when Iir_Predefined_Integer_Greater - | Iir_Predefined_Physical_Greater => - return Create_Memory_U8 - (Boolean'Pos (Read_Discrete (Left) > Read_Discrete (Right)), - Boolean_Type); + | Iir_Predefined_Physical_Greater + | Iir_Predefined_Enum_Greater => + return Create_Memory_Boolean + (Read_Discrete (Left) > Read_Discrete (Right)); when Iir_Predefined_Integer_Equality - | Iir_Predefined_Physical_Equality => - return Create_Memory_U8 - (Boolean'Pos (Read_Discrete (Left) = Read_Discrete (Right)), - Boolean_Type); + | Iir_Predefined_Physical_Equality + | Iir_Predefined_Enum_Equality => + return Create_Memory_Boolean + (Read_Discrete (Left) = Read_Discrete (Right)); when Iir_Predefined_Integer_Inequality - | Iir_Predefined_Physical_Inequality => - return Create_Memory_U8 - (Boolean'Pos (Read_Discrete (Left) /= Read_Discrete (Right)), - Boolean_Type); + | Iir_Predefined_Physical_Inequality + | Iir_Predefined_Enum_Inequality => + return Create_Memory_Boolean + (Read_Discrete (Left) /= Read_Discrete (Right)); when Iir_Predefined_Physical_Real_Mul => return Create_Memory_Discrete |