diff options
| author | Tristan Gingold <tgingold@free.fr> | 2020-12-13 18:35:19 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2020-12-13 18:35:19 +0100 |
| commit | 500ead97ba8211947a8adada9504a1cbc7539b99 (patch) | |
| tree | 5859e2cebc1a0ddbce126a0f8dbf29d538696bf4 /src | |
| parent | f9976fcdb4e1955231c3908c731c4954c6053e1c (diff) | |
| download | ghdl-500ead97ba8211947a8adada9504a1cbc7539b99.tar.gz ghdl-500ead97ba8211947a8adada9504a1cbc7539b99.tar.bz2 ghdl-500ead97ba8211947a8adada9504a1cbc7539b99.zip | |
synth-static_oper: handle bit xor (scalar and array). Fix #1534
Diffstat (limited to 'src')
| -rw-r--r-- | src/synth/synth-static_oper.adb | 25 |
1 files changed, 23 insertions, 2 deletions
diff --git a/src/synth/synth-static_oper.adb b/src/synth/synth-static_oper.adb index 9f21a5619..246ed8221 100644 --- a/src/synth/synth-static_oper.adb +++ b/src/synth/synth-static_oper.adb @@ -119,7 +119,8 @@ package body Synth.Static_Oper is when Iir_Predefined_Error => return Null_Memtyp; - when Iir_Predefined_Boolean_Xor => + when Iir_Predefined_Boolean_Xor + | Iir_Predefined_Bit_Xor => return Create_Memory_U8 (Boolean'Pos (Boolean'Val (Read_Discrete (Left)) xor Boolean'Val (Read_Discrete (Right))), @@ -365,6 +366,25 @@ package body Synth.Static_Oper is (Boolean'Pos (Read_Access (Left) /= Read_Access (Right)), Boolean_Type); + when Iir_Predefined_TF_Array_Xor => + if Left.Typ.Sz /= Right.Typ.Sz then + Error_Msg_Synth (+Expr, "length mismatch"); + return Left; + else + declare + Res : Memtyp; + L, R : Boolean; + begin + Res := Create_Memory (Left.Typ); + for I in 1 .. Left.Typ.Sz loop + L := Boolean'Val (Read_U8 (Left.Mem + (I - 1))); + R := Boolean'Val (Read_U8 (Right.Mem + (I - 1))); + Write_U8 (Res.Mem + (I - 1), Boolean'Pos (L xor R)); + end loop; + return Res; + end; + end if; + when Iir_Predefined_Ieee_1164_Vector_And | Iir_Predefined_Ieee_Numeric_Std_And_Uns_Uns | Iir_Predefined_Ieee_Numeric_Std_And_Sgn_Sgn => @@ -875,7 +895,8 @@ package body Synth.Static_Oper is return Create_Memory_U8 (Std_Ulogic'Pos (B), Res_Typ); end; - when Iir_Predefined_Ieee_1164_To_Stdlogicvector_Bv => + when Iir_Predefined_Ieee_1164_To_Stdlogicvector_Bv + | Iir_Predefined_Ieee_1164_To_Stdulogicvector_Bv => declare El_Type : constant Type_Acc := Get_Array_Element (Res_Typ); Res : Memtyp; |