mescc: Tinycc support: union.struct.
authorJan Nieuwenhuizen <janneke@gnu.org>
Sat, 29 Jul 2017 20:50:00 +0000 (22:50 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Sat, 29 Jul 2017 20:50:00 +0000 (22:50 +0200)
* module/language/c99/compiler.mes (decl->info): Support struct inside union.
* scaffold/tests/78-union-struct.c: Test it.
* make.scm (add-scaffold-test): Build it.

make.scm
module/language/c99/compiler.mes
scaffold/tests/78-union-struct.c [new file with mode: 0644]

index e99935e37b8df6a5d9efc704e60d6c1aaaf1df1b..22e13c92b92425fdfa43bcfff3e50528fb9776b4 100755 (executable)
--- a/make.scm
+++ b/make.scm
@@ -157,7 +157,8 @@ exec ${GUILE-guile} --no-auto-compile -L . -L guile -C . -C guile -s "$0" ${1+"$
    "74-multi-line-string"
    "75-struct-union"
    "76-pointer-arithmetic"
-   "77-pointer-assign"))
+   "77-pointer-assign"
+   "78-union-struct"))
 
 (add-target (group "check-scaffold-tests/7" #:dependencies (filter (target-prefix? "check-scaffold/tests/7") %targets)))
 
index 2ce87ae4d536c921d3eeb0642baa659d1a69557a..5b7263b0dac0960080b692f42719039a432bc30a 100644 (file)
        (let* ((type0 (ident->type info struct0))
               (type1 (field-type info type0 field0))
               (offset (+ (field-offset info type0 field0)
-                         (field-offset info type1 field1))))
-         (append-text info (append ((ident-address->accu info) struct0)
+                         (field-offset info type1 field1)))
+              (ptr0 (ident->pointer info struct0)))
+         (append-text info (append ((ident->accu info) struct0)
                                    (wrap-as (i386:accu+value offset))))))
 
       ;; bar->foo.i
     ((p-expr (ident ,name)) (ident->type info name))
     ((array-ref ,index (p-expr (ident ,array))) (ident->type info array))
     ((i-sel (ident ,field) (p-expr (ident ,struct)))
-     (let ((type0 (ident->type info struct)))
-       (field-type info `("tag" ,type0) field)))
+     (let* ((type0 (ident->type info struct))
+            (type0 (if (pair? type0) type0 `("tag" ,type0))))
+       (field-type info type0 field)))
     ((d-sel (ident ,field) (p-expr (ident ,struct)))
-     (let ((type0 (ident->type info struct)))
-       (field-type info `("tag" ,type0) field)))
+     (let* ((type0 (ident->type info struct))
+            (type0 (if (pair? type0) type0 `("tag" ,type0))))
+       (field-type info type0 field)))
     ((d-sel (ident ,field) (array-ref ,index (p-expr (ident ,array))))
-     (let ((type0 (ident->type info array)))
-       (field-type info `("tag" ,type0) field)))
+     (let* ((type0 (ident->type info array))
+            (type0 (if (pair? type0) type0 `("tag" ,type0))))
+       (field-type info type0 field)))
     (_ (error "p-expr->type: unsupported: " o))))
 
 (define (local-var? o) ;; formals < 0, locals > 0
          (let ((type-entry (struct->type-entry name (map (struct-field info) fields))))
            (clone info #:types (cons type-entry types))))
 
+        ;; union
+        ((decl (decl-spec-list (type-spec (union-def (ident ,name) (field-list . ,fields)))))
+         (let ((type-entry (union->type-entry name (map (struct-field info) fields))))
+           (clone info #:types (cons type-entry types))))
+
         ;; enum e i;
         ((decl (decl-spec-list (type-spec (enum-ref (ident ,type)))) (init-declr-list (init-declr (ident ,name))))
          (let ((type "int")) ;; FIXME
            (clone info
                   #:constants (append constants (.constants info)))))
 
-        ((decl (decl-spec-list (type-spec (struct-def (ident ,name) (field-list . ,fields)))))
-         (let ((type-entry (struct->type-entry name (map (struct-field info) fields))))
-           (clone info #:types (cons type-entry types))))
-
-        ((decl (decl-spec-list (type-spec (union-def (ident ,name) (field-list . ,fields)))))
-         (let ((type-entry (union->type-entry name (map (struct-field info) fields))))
-           (clone info #:types (cons type-entry types))))
-
         ((decl (decl-spec-list (type-spec (struct-def (ident ,type) (field-list . ,fields))))
                (init-declr-list (init-declr (ident ,name))))
          (let ((info ((decl->info info) `(decl (decl-spec-list (type-spec (struct-def (ident ,type) (field-list . ,fields))))))))
                 (info (clone info #:globals globals))
                 (struct? (and (zero? pointer)
                               (or (and (pair? type) (equal? (car type) "tag"))
-                                  (eq? (type:type (ast-type->type info xtype)) 'struct))))
+                                  (memq (type:type (ast-type->type info xtype)) '(struct union)))))
                 (pointer (if struct? -1 pointer))
                 (size (if (<= pointer 0) (ast-type->size info type)
                           4)))
diff --git a/scaffold/tests/78-union-struct.c b/scaffold/tests/78-union-struct.c
new file mode 100644 (file)
index 0000000..81979ee
--- /dev/null
@@ -0,0 +1,46 @@
+/* -*-comment-start: "//";comment-end:""-*-
+ * Mes --- Maxwell Equations of Software
+ * Copyright © 2017 Jan Nieuwenhuizen <janneke@gnu.org>
+ *
+ * This file is part of Mes.
+ *
+ * Mes is free software; you can redistribute it and/or modify it
+ * under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 3 of the License, or (at
+ * your option) any later version.
+ *
+ * Mes is distributed in the hope that it will be useful, but
+ * WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with Mes.  If not, see <http://www.gnu.org/licenses/>.
+ */
+
+#include "30-test.i"
+
+#include <stdint.h>
+
+struct foo {
+    int i;
+    void *p;
+};
+
+union bar {
+  struct foo foo;
+};
+
+union bar bar;
+
+int
+test ()
+{
+  bar.foo.i = 2;
+  bar.foo.p = "hallo";
+
+  union bar *pb = &bar;
+  if (pb->foo.i != 2) return 1;
+
+  return 0;
+}