From da21c62f29d876fa80f660be78fc5d0f665cbfcb Mon Sep 17 00:00:00 2001
From: Lars-Peter Clausen <lars@metafoo.de>
Date: Mon, 18 Apr 2022 19:45:12 +0200
Subject: [PATCH] Add regression tests for type casts with type identifiers

Check that type casts using type identifiers works as expected.

Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>
---
 ivtest/ivltests/sv_cast_typedef.v | 42 +++++++++++++++++++++++++++++++
 ivtest/regress-sv.list            |  1 +
 ivtest/regress-vlog95.list        |  1 +
 3 files changed, 44 insertions(+)
 create mode 100644 ivtest/ivltests/sv_cast_typedef.v

diff --git a/ivtest/ivltests/sv_cast_typedef.v b/ivtest/ivltests/sv_cast_typedef.v
new file mode 100644
index 000000000..06811c28c
--- /dev/null
+++ b/ivtest/ivltests/sv_cast_typedef.v
@@ -0,0 +1,42 @@
+// Check that type cast works as expected when using type identifiers.
+
+module test;
+
+  typedef string T_S;
+  typedef real T_R;
+  typedef logic [15:0] T_V;
+
+  string s;
+  real r;
+  logic [15:0] v;
+
+  bit failed;
+
+  `define check(expr, val) \
+    if (expr != val) begin \
+      $display("FAILED: %s, expected %0d, got %0d", `"expr`", val, expr); \
+      failed = 1'b1; \
+    end
+
+  initial begin
+    v = "Hi";
+    s = T_S'(v);
+
+    `check(s, "Hi")
+
+    v = 123;
+    r = T_R'(v);
+
+    `check(r, 123)
+
+    r = 1.23;
+    v = T_V'(r);
+
+    `check(v, 16'd1)
+
+    if (!failed) begin
+      $display("PASSED");
+    end
+  end
+
+endmodule
diff --git a/ivtest/regress-sv.list b/ivtest/regress-sv.list
index 3561f1aa5..aa1b7517c 100644
--- a/ivtest/regress-sv.list
+++ b/ivtest/regress-sv.list
@@ -468,6 +468,7 @@ sv_cast_integer2		normal,-g2005-sv	ivltests
 sv_cast_packed_array	normal,-g2005-sv	ivltests
 sv_cast_packed_struct	normal,-g2005-sv	ivltests
 sv_cast_string		normal,-g2005-sv	ivltests
+sv_cast_typedef		normal,-g2005-sv	ivltests
 sv_class1		normal,-g2009		ivltests
 sv_class2		normal,-g2009		ivltests
 sv_class3		normal,-g2009		ivltests
diff --git a/ivtest/regress-vlog95.list b/ivtest/regress-vlog95.list
index c85adc362..668db58d3 100644
--- a/ivtest/regress-vlog95.list
+++ b/ivtest/regress-vlog95.list
@@ -285,6 +285,7 @@ plus_arg_string		CE,-g2009		ivltests
 sformatf		CE,-g2009		ivltests
 string_events		CE,-g2009		ivltests
 string_index		CE,-g2005-sv		ivltests
+sv_cast_typedef		CE,-g2005-sv		ivltests
 sv_macro		CE,-g2009,-pallowsigned=1	ivltests
 sv_string1		CE,-g2009		ivltests
 sv_string2		CE,-g2009		ivltests