aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/synth-static_oper.adb
diff options
context:
space:
mode:
Diffstat (limited to 'src/synth/synth-static_oper.adb')
-rw-r--r--src/synth/synth-static_oper.adb7
1 files changed, 7 insertions, 0 deletions
diff --git a/src/synth/synth-static_oper.adb b/src/synth/synth-static_oper.adb
index 4b301b128..c25775bae 100644
--- a/src/synth/synth-static_oper.adb
+++ b/src/synth/synth-static_oper.adb
@@ -188,6 +188,13 @@ package body Synth.Static_Oper is
return Create_Value_Discrete
(Boolean'Pos (not Is_Equal (Left, Right)), Boolean_Type);
+ when Iir_Predefined_Access_Equality =>
+ return Create_Value_Discrete
+ (Boolean'Pos (Left.Acc = Right.Acc), Boolean_Type);
+ when Iir_Predefined_Access_Inequality =>
+ return Create_Value_Discrete
+ (Boolean'Pos (Left.Acc /= Right.Acc), Boolean_Type);
+
when Iir_Predefined_Ieee_1164_Vector_And
| Iir_Predefined_Ieee_Numeric_Std_And_Uns_Uns
| Iir_Predefined_Ieee_Numeric_Std_And_Sgn_Sgn =>