diff --git a/ivtest/ivltests/br_gh823a.sv b/ivtest/ivltests/br_gh823a.sv
new file mode 100644
index 000000000..b9ba8ac27
--- /dev/null
+++ b/ivtest/ivltests/br_gh823a.sv
@@ -0,0 +1,7 @@
+// testcase for Issue #823 on Github
+
+module test;
+  struct packed {logic a;} s;
+  assign s.a = 1;
+  assign s.c = 1;
+endmodule
diff --git a/ivtest/ivltests/br_gh823b.sv b/ivtest/ivltests/br_gh823b.sv
new file mode 100644
index 000000000..cad6f276a
--- /dev/null
+++ b/ivtest/ivltests/br_gh823b.sv
@@ -0,0 +1,7 @@
+// Testcase for Issue #823 on Github
+
+module test;
+  struct packed {struct packed {logic a;} t;} u;
+  assign u.t.a = 1;
+  assign u.t.c = 1;
+endmodule
diff --git a/ivtest/ivltests/br_gh840a.sv b/ivtest/ivltests/br_gh840a.sv
new file mode 100644
index 000000000..7d20d4e4a
--- /dev/null
+++ b/ivtest/ivltests/br_gh840a.sv
@@ -0,0 +1,10 @@
+// Testcase for Issue #840 on Github
+
+module test;
+  logic [1:0][1:0] a;
+  logic [1:0][1:0] b;
+  generate
+    for(genvar i=0;i<3;i++)
+      assign b[i] = a[i];
+  endgenerate
+endmodule
diff --git a/ivtest/ivltests/br_gh840b.sv b/ivtest/ivltests/br_gh840b.sv
new file mode 100644
index 000000000..171ab5688
--- /dev/null
+++ b/ivtest/ivltests/br_gh840b.sv
@@ -0,0 +1,10 @@
+// Testcase for Issue #840 on Github
+
+module test;
+  logic [1:0][1:0] a;
+  logic [2:0][1:0] b;
+  generate
+    for(genvar i=0;i<3;i++)
+      assign b[i] = a[i];
+  endgenerate
+endmodule
diff --git a/ivtest/regress-sv.list b/ivtest/regress-sv.list
index cc5a8ec25..07fd88ba5 100644
--- a/ivtest/regress-sv.list
+++ b/ivtest/regress-sv.list
@@ -926,3 +926,7 @@ br_gh451		normal,-g2012,-Ptest.foo=4	ivltests gold=br_gh451.gold
 br_gh453		normal,-g2012		ivltests
 br_gh460		normal,-g2012		ivltests
 issue576		normal,-g2012		ivltests
+br_gh823a               CE,-g2012               ivltests
+br_gh823b               CE,-g2012               ivltests
+br_gh840a               CE,-g2012               ivltests
+br_gh840b               CE,-g2012               ivltests