mescc: Tinycc support: ((unsigned char*)str)[0].
authorJan Nieuwenhuizen <janneke@gnu.org>
Fri, 4 Aug 2017 09:34:01 +0000 (11:34 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Fri, 4 Aug 2017 09:34:01 +0000 (11:34 +0200)
* module/language/c99/compiler.mes (expr->accu): Consider size of
  expr array deref.
* stage0/x86.M1 (movzbl_0x32(%ebp),%eax): New define.
* scaffold/tests/7d-cast-char.c: Test it.

make.scm
module/language/c99/compiler.mes
scaffold/tests/7d-cast-char.c [new file with mode: 0644]
stage0/x86.M1

index 7c5d28839b642a51a9d1aca9e79262cbdd1a0891..99dbf02ec624089842e750b6f484e5f788aafc1a 100755 (executable)
--- a/make.scm
+++ b/make.scm
@@ -162,7 +162,8 @@ exec ${GUILE-guile} --no-auto-compile -L . -L guile -C . -C guile -s "$0" ${1+"$
    "79-int-array"
    "7a-struct-char-array"
    "7b-struct-int-array"
-   "7c-dynarray"))
+   "7c-dynarray"
+   "7d-cast-char"))
 
 (add-target (group "check-scaffold-tests/7" #:dependencies (filter (target-prefix? "check-scaffold/tests/7") %targets)))
 
index d7359180dee9b5673c398a41e1697e9b05b375c5..c633ad362c9258c60726d42a4ddc77a804ca20b7 100644 (file)
 
         ;; <expr>[baz]
         ((array-ref ,index ,array)
-         (let ((info ((expr->accu* info) o)))
-           (append-text info (wrap-as (i386:mem->accu)))))
+         (let* ((info ((expr->accu* info) o))
+                (ptr (expr->pointer info array))
+                (size (if (= ptr 1) (expr->size info array)
+                          4)))
+           (append-text info (wrap-as (if (= size 1) (i386:byte-mem->accu)
+                                          (i386:mem->accu))))))
 
         ;; bar.f.i
         ((d-sel (ident ,field1) (d-sel (ident ,field0) (p-expr (ident ,struct0))))
diff --git a/scaffold/tests/7d-cast-char.c b/scaffold/tests/7d-cast-char.c
new file mode 100644 (file)
index 0000000..063045f
--- /dev/null
@@ -0,0 +1,33 @@
+/* -*-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"
+
+int
+test ()
+{
+  char *s = "int";
+  char c = s[0];
+  if (c != 'i') return 1;
+  int i = ((unsigned char *)s)[0];
+  if (i != 'i') return 2;
+
+  return 0;
+}
index 86eea36800346131ec6812e12f6e4d1f5fcc3367..549b242ffadc780e9776827b6338003410601425 100644 (file)
@@ -120,6 +120,7 @@ DEFINE movzbl_%dl,%edx 0fb6d2
 DEFINE movzbl_(%eax),%eax 0fb600
 DEFINE movzbl_(%eax),%edx 0fb610
 DEFINE movzbl_(%edx),%edx 0fb612
+DEFINE movzbl_0x32(%ebp),%eax 0fb685
 DEFINE movzbl_0x8(%ebp),%eax 0fb645
 DEFINE movzbl_0x8(%ebp),%edx 0fb655
 DEFINE mul____%edx f7e2