This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "GNU Guile".
http://git.savannah.gnu.org/cgit/guile.git/commit/?id=cb8054c7acf7bcc05cefbe93ae242f394b9a105c The branch, wip-rtl-halloween has been updated via cb8054c7acf7bcc05cefbe93ae242f394b9a105c (commit) from ef47c4229c9c19db56bb0c123eba01c71c4a2011 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit cb8054c7acf7bcc05cefbe93ae242f394b9a105c Author: Andy Wingo <[email protected]> Date: Thu Oct 31 22:57:06 2013 +0100 Better range checks in the assembler * module/system/vm/assembler.scm (pack-u8-u24, pack-u8-s24): (pack-u1-u7-u24, pack-u8-u12-u12, pack-u8-u8-u16, pack-u8-u8-u8-u8): Prevent adjacent fields from stompling each other. ----------------------------------------------------------------------- Summary of changes: module/system/vm/assembler.scm | 34 ++++++++++++++++++++++++++++------ 1 files changed, 28 insertions(+), 6 deletions(-) diff --git a/module/system/vm/assembler.scm b/module/system/vm/assembler.scm index 811841e..abfd5fb 100644 --- a/module/system/vm/assembler.scm +++ b/module/system/vm/assembler.scm @@ -68,10 +68,14 @@ ;;; RTL code consists of 32-bit units, often subdivided in some way. ;;; These helpers create one 32-bit unit from multiple components. -(define-syntax-rule (pack-u8-u24 x y) +(define-inlinable (pack-u8-u24 x y) + (unless (<= 0 x 255) + (error "out of range" x)) (logior x (ash y 8))) -(define-syntax-rule (pack-u8-s24 x y) +(define-inlinable (pack-u8-s24 x y) + (unless (<= 0 x 255) + (error "out of range" x)) (logior x (ash (cond ((< 0 (- y) #x800000) (+ y #x1000000)) @@ -80,16 +84,34 @@ (else (error "out of range" y))) 8))) -(define-syntax-rule (pack-u1-u7-u24 x y z) +(define-inlinable (pack-u1-u7-u24 x y z) + (unless (<= 0 x 1) + (error "out of range" x)) + (unless (<= 0 y 127) + (error "out of range" y)) (logior x (ash y 1) (ash z 8))) -(define-syntax-rule (pack-u8-u12-u12 x y z) +(define-inlinable (pack-u8-u12-u12 x y z) + (unless (<= 0 x 255) + (error "out of range" x)) + (unless (<= 0 y 4095) + (error "out of range" y)) (logior x (ash y 8) (ash z 20))) -(define-syntax-rule (pack-u8-u8-u16 x y z) +(define-inlinable (pack-u8-u8-u16 x y z) + (unless (<= 0 x 255) + (error "out of range" x)) + (unless (<= 0 y 255) + (error "out of range" y)) (logior x (ash y 8) (ash z 16))) -(define-syntax-rule (pack-u8-u8-u8-u8 x y z w) +(define-inlinable (pack-u8-u8-u8-u8 x y z w) + (unless (<= 0 x 255) + (error "out of range" x)) + (unless (<= 0 y 255) + (error "out of range" y)) + (unless (<= 0 z 255) + (error "out of range" z)) (logior x (ash y 8) (ash z 16) (ash w 24))) (define-syntax pack-flags hooks/post-receive -- GNU Guile
