diff options
Diffstat (limited to 'src/synth/synth-expr.adb')
| -rw-r--r-- | src/synth/synth-expr.adb | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/synth/synth-expr.adb b/src/synth/synth-expr.adb index a21309b47..063257008 100644 --- a/src/synth/synth-expr.adb +++ b/src/synth/synth-expr.adb @@ -1196,6 +1196,15 @@ package body Synth.Expr is Error_Msg_Synth (+Expr, "non-constant mod not supported"); return null; end if; + when Iir_Predefined_Integer_Rem => + if Is_Const (Left) and then Is_Const (Right) then + return Create_Value_Discrete + (Left.Scal rem Right.Scal, + Get_Value_Type (Syn_Inst, Get_Type (Expr))); + else + Error_Msg_Synth (+Expr, "non-constant rem not supported"); + return null; + end if; when Iir_Predefined_Integer_Exp => if Is_Const (Left) and then Is_Const (Right) then return Create_Value_Discrete @@ -1241,6 +1250,13 @@ package body Synth.Expr is else return Synth_Compare (Id_Eq); end if; + when Iir_Predefined_Integer_Inequality => + if Is_Const (Left) and then Is_Const (Right) then + return Create_Value_Discrete + (Boolean'Pos (Left.Scal /= Right.Scal), Boolean_Type); + else + return Synth_Compare (Id_Ne); + end if; when others => Error_Msg_Synth (+Expr, "synth_dyadic_operation: unhandled " |