andrius
/
mes
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

squash! HACK mescc: Consider truncate after each shift operation. 

Instead of truncating on size of first operand, truncate on largest of
default/int or size of first operand
This commit is contained in:
Janneke Nieuwenhuizen 2023-08-25 20:57:40 +02:00
parent bc4339815f
commit 6117207d72
1 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
module/mescc/compile.scm
View File

@ -1217,12 +1217,18 @@
((bitwise-xor ,a ,b) ((binop->r info) a b 'r0-xor-r1))
((lshift ,a ,b) ;; FIXME for all binop/binop*?
(let* ((type-a (ast->type a info))
(default (get-type "default" info))
(type (if (> (->size type-a info) (->size default info)) type-a
default))
(info ((binop->r info) a b 'r0<<r1)))
(append-text info (convert-r0 info type-a))))
(append-text info (convert-r0 info type))))
((rshift ,a ,b) ;; FIXME for all binop/binop*?
(let* ((type-a (ast->type a info))
(default (get-type "default" info))
(type (if (> (->size type-a info) (->size default info)) type-a
default))
(info ((binop->r info) a b 'r0>>r1)))
(append-text info (convert-r0 info type-a))))
(append-text info (convert-r0 info type))))
((div ,a ,b)
((binop->r info) a b 'r0/r1
(signed? (ast->type a info))))