artemist/mes
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

mescc: Enhance sizeof support.

Browse source 
* module/language/c99/compiler.mes (expr->accu): Support sizeof (simple-type),
  sizeof (var).
This commit is contained in:
Jan Nieuwenhuizen 2017-05-08 21:32:32 +02:00
parent ed3aa5be35
commit 5d0202bbf7
1 changed files with 14 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
module/language/c99/compiler.mes
View file

@ -523,6 +523,7 @@
(locals (cons (make-local name type pointer id) locals)))
locals))
(pmatch o
((expr) info)
((p-expr (string ,string))
(let* ((globals (append globals (list (string->global string))))
(info (clone info #:globals globals)))
@ -558,6 +559,18 @@
((ref-to (array-ref ,index (p-expr (ident ,array))))
((expr->accu* info) `(array-ref ,index (p-expr (ident ,array)))))
((sizeof-expr (p-expr (ident ,name)))
(let* ((type (ident->type info name))
(fields (or (type->description info type) '()))
(size (type->size info type)))
(append-text info (wrap-as (i386:value->accu size)))))
((sizeof-type (type-name (decl-spec-list (type-spec (fixed-type ,name)))))
(let* ((type name)
(fields (or (type->description info type) '()))
(size (type->size info type)))
(append-text info (wrap-as (i386:value->accu size)))))
((sizeof-type (type-name (decl-spec-list (type-spec (struct-ref (ident ,name))))))
(let* ((type (list "struct" name))
(fields (or (type->description info type) '()))
@ -1453,9 +1466,6 @@
(list (lambda (f g ta t d)
(jump (- (label-offset (.function info) label f) offset))))))))
((return (expr))
(append-text info (append (wrap-as (i386:ret)))))
((return ,expr)
(let ((info ((expr->accu info) expr)))
(append-text info (append (wrap-as (i386:ret))))))