diff --git a/tests_ispcpp/error_0.ispc b/tests_ispcpp/error_0.ispc
new file mode 100644
index 00000000..be8bc90f
--- /dev/null
+++ b/tests_ispcpp/error_0.ispc
@@ -0,0 +1,6 @@
+//@error
+//assigning mismatched polymorphic types
+
+export void foo(floating<0> bar) {
+    floating<1> baz = bar;
+}
diff --git a/tests_ispcpp/error_1.ispc b/tests_ispcpp/error_1.ispc
new file mode 100644
index 00000000..5cf8ac5f
--- /dev/null
+++ b/tests_ispcpp/error_1.ispc
@@ -0,0 +1,6 @@
+//@error
+//assigning mismatched polymorphic types
+
+export void foo(floating<0> bar) {
+    floating baz = bar;
+}
diff --git a/tests_ispcpp/error_2.ispc b/tests_ispcpp/error_2.ispc
new file mode 100644
index 00000000..64586296
--- /dev/null
+++ b/tests_ispcpp/error_2.ispc
@@ -0,0 +1,6 @@
+//@error
+//assigning mismatched polymorphic types
+
+export void foo(number<0> bar) {
+    floating<0> baz = bar;
+}
diff --git a/tests_ispcpp/error_3.ispc b/tests_ispcpp/error_3.ispc
new file mode 100644
index 00000000..1afab53c
--- /dev/null
+++ b/tests_ispcpp/error_3.ispc
@@ -0,0 +1,6 @@
+//@error
+//assigning mismatched polymorphic types
+
+export void foo(number<0> bar) {
+    integer baz = bar;
+}
diff --git a/tests_ispcpp/error_4.ispc b/tests_ispcpp/error_4.ispc
new file mode 100644
index 00000000..0d614053
--- /dev/null
+++ b/tests_ispcpp/error_4.ispc
@@ -0,0 +1,19 @@
+//@error
+// cannot determine return type for mult
+
+
+floating mult(floating<0> x, floating<1>y) {
+    return x * y;
+}
+
+export void saxpy(uniform int N,
+                  uniform floating<0> scale,
+                  uniform floating<1> X[],
+                  uniform floating<1> Y[],
+                  uniform floating<2> result[])
+{
+    foreach (i = 0 ... N) {
+        floating<2> tmp = mult(scale, X[i]) + Y[i];
+        result[i] = tmp;
+    }
+}