mescc: Tinycc support: array of struct of any size.
authorJan Nieuwenhuizen <janneke@gnu.org>
Sun, 27 Aug 2017 09:23:45 +0000 (11:23 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Sun, 27 Aug 2017 09:23:45 +0000 (11:23 +0200)
* module/language/c99/compiler.mes (accu*value): New function
  (expr->accu*): Use it to support array of struct of any size.
* scaffold/tests/7l-struct-any-size-array.c: Test it.
* make.scm (add-scaffold-test): Build it.

make.scm
module/language/c99/compiler.mes
scaffold/tests/7l-struct-any-size-array.c [new file with mode: 0644]

index 3a9bcac44257c852e6c4f24862ea59b8de5a55d3..3f7fd50b50d2031a08715b0973936bb7377b3cab 100755 (executable)
--- a/make.scm
+++ b/make.scm
@@ -170,7 +170,8 @@ exec ${GUILE-guile} --no-auto-compile -L . -L guile -C . -C guile -s "$0" ${1+"$
    "7h-struct-assign"
    "7i-struct-struct"
    "7j-strtoull"
-   "7k-for-each-elem"))
+   "7k-for-each-elem"
+   "7l-struct-any-size-array"))
 
 (add-target (group "check-scaffold-tests/7" #:dependencies (filter (target-prefix? "check-scaffold/tests/7") %targets)))
 
index 99c430e7cf8f0d89ce252d22edba7521250b0ad6..6e70c86af37f6fa9105b6f4fc184d6dc68053b2f 100644 (file)
   (let ((source (with-output-to-string (lambda () (pretty-print-c99 o)))))
     (make-comment (string-join (string-split source #\newline) " "))))
 
+(define (accu*value info value)
+  (append-text info (wrap-as (case value
+                               ((1) (i386:accu->base))
+                               ((2) (i386:accu+accu))
+                               ((3) (append (i386:accu->base)
+                                            (i386:accu+accu)
+                                            (i386:accu+base)))
+                               ((4) (i386:accu-shl 2))
+                               ((8) (append (i386:accu+accu)
+                                            (i386:accu-shl 2)))
+                               ((12) (append (i386:accu->base)
+                                             (i386:accu+accu)
+                                             (i386:accu+base)
+                                             (i386:accu-shl 2)))
+                               ((16) (i386:accu-shl 4))
+                               (else (append (i386:value->base value)
+                                             (i386:accu*base)))))))
+
 (define (expr->accu* info)
   (lambda (o)
     (pmatch o
 
       ;; foo[bar]
       ((array-ref ,index (p-expr (ident ,array)))
-       (let* ((info ((expr->accu info) index))
-              (type (ident->type info array))
+       (let* ((type (ident->type info array))
               (ptr (ident->pointer info array))
               (size (if (or (= ptr 1) (= ptr -1)) (ast-type->size info type)
-                        4)))
-         (append-text info (append (wrap-as (append (i386:accu->base)
-                                                    (case size
-                                                      ((1) '())
-                                                      ((2) (i386:accu+accu))
-                                                      (else (append (if (<= size 4) '()
-                                                                        (i386:accu+accu))
-                                                                    (if (<= size 8) '()
-                                                                        (i386:accu+base))
-                                                                    (i386:accu-shl 2))))))
-                                   ((ident->base info) array)
+                        4))
+              (info ((expr->accu info) index))
+              (info (accu*value info size)))
+         (append-text info (append ((ident->base info) array)
                                    (wrap-as (i386:accu+base))))))
 
       ;; bar.foo.i
               (ptr (field-pointer info type0 field0))
               (size (if (or (= ptr -1)
                             (= ptr 1)) (ast-type->size info type1)
-                        4)))
-         (append-text info (append (wrap-as (append (i386:accu->base)
-                                                    (if (eq? size 1) '()
-                                                        (append
-                                                         (if (<= size 4) '()
-                                                             (i386:accu+accu))
-                                                         (if (<= size 8) '()
-                                                             (i386:accu+base))
-                                                         (i386:accu-shl 2)))))
-                                   (wrap-as (i386:push-accu))
+                            4))
+              (info (accu*value info size)))
+         (append-text info (append (wrap-as (i386:push-accu))
                                    ((ident->accu info) struct0)
                                    (wrap-as (append (i386:accu+value offset)
                                                     (i386:pop-base)
               (ptr (field-pointer info type0 field0))
               (size (if (or (= ptr -1)
                             (= ptr 1)) (ast-type->size info type1)
-                        4)))
-         (append-text info (append (wrap-as (append (i386:accu->base)
-                                                    (if (eq? size 1) '()
-                                                        (append
-                                                         (if (<= size 4) '()
-                                                             (i386:accu+accu))
-                                                         (if (<= size 8) '()
-                                                             (i386:accu+base))
-                                                         (i386:accu-shl 2)))))
-                                   (wrap-as (i386:push-accu))
+                            4))
+              (info (accu*value info size)))
+         (append-text info (append (wrap-as (i386:push-accu))
                                    ((ident->accu info) struct0)
                                    (wrap-as (append (i386:accu+value offset)
                                                     (i386:pop-base)
               (ptr (expr->pointer info array))
               (size (if (= ptr 1) (expr->size info array)
                         4))
-              (info (append-text info (wrap-as (append (i386:accu->base)
-                                                       (if (eq? size 1) '()
-                                                           (append
-                                                            (if (<= size 4) '()
-                                                                (i386:accu+accu))
-                                                            (if (<= size 8) '()
-                                                                (i386:accu+base))
-                                                            (i386:accu-shl 2)))))))
+              (info (accu*value info size))
               (info ((expr->base info) array)))
           (append-text info (wrap-as (i386:accu+base)))))
 
 (define (field:size o)
   (pmatch o
     ((struct . ,fields) (apply + (map field:size fields)))
-    ((union . ,fields) 4) ;; FIXME
+    ((union . ,fields) (apply max (map field:size fields)))
     ((,name ,type ,size ,pointer) size)
-    (_ 4)))
+    (_ (error (format #f "field:size: ~s\n" o)))))
 
 (define (field:type o)
   (pmatch o
     ((,name ,type ,size ,pointer) type)
-    (_ (error "field:type:" o))))
+    (_ (error (format #f "field:type: ~s\n" o)))))
 
 (define (get-type types o)
   (let ((t (assoc-ref types o)))
diff --git a/scaffold/tests/7l-struct-any-size-array.c b/scaffold/tests/7l-struct-any-size-array.c
new file mode 100644 (file)
index 0000000..08bfa1c
--- /dev/null
@@ -0,0 +1,92 @@
+/* -*-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"
+
+#if __MESC__
+#define  __attribute__(x)
+#endif
+
+struct foo13
+{
+  int a;
+  int b;
+  int c;
+  char d;
+} __attribute__ ((packed));
+
+;
+
+struct foo16
+{
+  int a;
+  int b;
+  int c;
+  int d;
+};
+
+struct foo13 tab14[3];
+struct foo16 tab16[3];
+
+int
+test ()
+{
+  unsigned char *p;
+
+  tab14[1].a = -1;
+  tab14[1].b = -1;
+  tab14[1].c = -1;
+  tab14[1].d = -1;
+
+  p = &tab14;
+  for (int i = 0; i < sizeof (struct foo13) * 2; i++)
+    {
+      if (i < 10) eputs (" "); eputs (itoa (i)); eputs (": ");
+      eputs (itoa (p[i]));
+      eputs ("\n");
+    }
+
+  for (int i = 0; i < sizeof (struct foo13); i++)
+    if (p[i] != 0) return 1 + i;
+
+  for (int i = sizeof (struct foo13); i < 2 * sizeof (struct foo13); i++)
+    if (p[i] != 255) return 1 + i;
+
+  tab16[1].a = -1;
+  tab16[1].b = -1;
+  tab16[1].c = -1;
+  tab16[1].d = -1;
+
+  p = &tab16;
+  for (int i = 0; i < sizeof (struct foo16) * 2; i++)
+    {
+      if (i < 10) eputs (" "); eputs (itoa (i)); eputs (": ");
+      eputs (itoa (p[i]));
+      eputs ("\n");
+    }
+
+  for (int i = 0; i < sizeof (struct foo16); i++)
+    if (p[i] != 0) return 1 + i;
+
+  for (int i = sizeof (struct foo16); i < 2 * sizeof (struct foo16); i++)
+    if (p[i] != 255) return 1 + i;
+
+  return 0;
+}