Add test case for vector types

Vector types are not supported and test is not run.

tests/input/c-backend/vector-type.c

@@ -0,0 +1,15 @@
+/* Source code is based on https://gcc.gnu.org/onlinedocs/gcc/Vector-Extensions.html. */
+typedef int v4si __attribute__ ((vector_size (16)));
+
+void func(void)
+{
+    v4si a, b, c, d, e, g = {1,2,3,4}, h = {3,2,1,4}, i;
+
+    c = a + b;
+
+    d = e + 1;    /* d = e + {1,1,1,1}; */
+    d = 2 * e;    /* d = {2,2,2,2} * e; */
+
+    i = g >  h;     /* The result would be {0, 0,-1, 0}  */
+    i = g == h;     /* The result would be {0,-1, 0,-1}  */
+}

tests/test_c_backend.py

@@ -60,5 +60,10 @@ def test_fix_trunc_expr(self):
         self.cif.run(cif_input='input/c-backend/fix-trunc-expr.c', aspect='aspect/empty.aspect', cif_output='work/fix-trunc-expr.c')
         self.compare(output='work/fix-trunc-expr.c', expected='output/c-backend/fix-trunc-expr.c')
 
+    # Let's support vector types one day later.
+    def _test_vector_type(self):
+        self.cif.run(cif_input='input/c-backend/vector-type.c', aspect='aspect/empty.aspect', cif_output='work/vector-type.c')
+        self.compare(output='work/vector-type.c', expected='output/c-backend/vector-type.c')
+
 if __name__ == '__main__':
     unittest.main()