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

DRAFT mescc: Consider truncate after each shift operation.

Browse source 
* module/mescc/compile.scm (expr->register): After lshift and rshift,
use convert-r0.  Tuncate on largest of default/int or size of first
operand.
This commit is contained in:
Janneke Nieuwenhuizen 2023-07-30 09:51:08 +02:00
parent 05e945c0a8
commit 592a612777
1 changed files with 14 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
module/mescc/compile.scm
View file

@ -1215,8 +1215,20 @@
(append-text info (wrap-as (as info 'not-r)))))
((bitwise-or ,a ,b) ((binop->r info) a b 'r0-or-r1))
((bitwise-xor ,a ,b) ((binop->r info) a b 'r0-xor-r1))
((lshift ,a ,b) ((binop->r info) a b 'r0<<r1))
((rshift ,a ,b) ((binop->r info) a b 'r0>>r1))
((lshift ,a ,b)
(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))))
((rshift ,a ,b)
(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))))
((div ,a ,b)
((binop->r info) a b 'r0/r1
(signed? (ast->type a info))))