mirror/guile
mirror/guile
1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-04-30 03:40:34 +02:00
Code Activity

Narrow parameter of logand/immediate if no bits used

Browse source 
* module/language/cps/specialize-numbers.scm (specialize-operations):
Narrow ulogand/immediate param according to used bits.
This commit is contained in:
Andy Wingo 2024-09-23 15:57:23 +02:00
parent d6af34c0e0
commit 5e6288c930
1 changed files with 5 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

8
module/language/cps/specialize-numbers.scm
View file

@ -1,6 +1,6 @@
;;; Continuation-passing style (CPS) intermediate language (IL) ;;; Continuation-passing style (CPS) intermediate language (IL)
;; Copyright (C) 2015-2021, 2023 Free Software Foundation, Inc. ;; Copyright (C) 2015-2021,2023-2024 Free Software Foundation, Inc.
;;;; This library is free software; you can redistribute it and/or ;;;; This library is free software; you can redistribute it and/or
;;;; modify it under the terms of the GNU Lesser General Public ;;;; modify it under the terms of the GNU Lesser General Public
@ -561,9 +561,11 @@ BITS indicating the significant bits needed for a variable. BITS may be
(specialize-unop cps k src op param a (specialize-unop cps k src op param a
(unbox-u64 a) (box-u64 result)))) (unbox-u64 a) (box-u64 result))))
(('logand/immediate (? u64-result? ) param (? u64-operand? a)) (('logand/immediate (? u64-result?) param (? u64-operand? a))
(specialize-unop cps k src 'ulogand/immediate (specialize-unop cps k src 'ulogand/immediate
(logand param (1- (ash 1 64))) (logand param
(or (intmap-ref sigbits result) -1)
(1- (ash 1 64)))
a a
(unbox-u64 a) (box-u64 result))) (unbox-u64 a) (box-u64 result)))