gnu.scm 6.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159
  1. ;;; Extensions to SRFI-4
  2. ;; Copyright (C) 2009, 2010, 2011, 2012, 2013, 2014 Free Software Foundation, Inc.
  3. ;;
  4. ;; This library is free software; you can redistribute it and/or
  5. ;; modify it under the terms of the GNU Lesser General Public
  6. ;; License as published by the Free Software Foundation; either
  7. ;; version 3 of the License, or (at your option) any later version.
  8. ;;
  9. ;; This library is distributed in the hope that it will be useful,
  10. ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
  11. ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
  12. ;; Lesser General Public License for more details.
  13. ;;
  14. ;; You should have received a copy of the GNU Lesser General Public
  15. ;; License along with this library; if not, write to the Free Software
  16. ;; Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
  17. ;;; Commentary:
  18. ;; Extensions to SRFI-4. Fully documented in the Guile Reference Manual.
  19. ;;; Code:
  20. (define-module (srfi srfi-4 gnu)
  21. #:use-module (rnrs bytevectors)
  22. #:use-module (srfi srfi-4)
  23. #:use-module ((srfi srfi-1) #:select (append-map))
  24. #:export (;; Complex numbers with 32- and 64-bit components.
  25. c32vector? make-c32vector c32vector c32vector-length c32vector-ref
  26. c32vector-set! c32vector->list list->c32vector
  27. c64vector? make-c64vector c64vector c64vector-length c64vector-ref
  28. c64vector-set! c64vector->list list->c64vector
  29. ;; Somewhat polymorphic conversions.
  30. any->u8vector any->s8vector any->u16vector any->s16vector
  31. any->u32vector any->s32vector any->u64vector any->s64vector
  32. any->f32vector any->f64vector any->c32vector any->c64vector
  33. ;; copy range
  34. u8vector-copy s8vector-copy u16vector-copy s16vector-copy
  35. u32vector-copy s32vector-copy u64vector-copy s64vector-copy
  36. f32vector-copy f64vector-copy c32vector-copy c64vector-copy
  37. ;; copy range with destination
  38. u8vector-copy! s8vector-copy! u16vector-copy! s16vector-copy!
  39. u32vector-copy! s32vector-copy! u64vector-copy! s64vector-copy!
  40. f32vector-copy! f64vector-copy! c32vector-copy! c64vector-copy!
  41. ;; from libguile
  42. srfi-4-vector-type-size make-srfi-4-vector))
  43. (define make-srfi-4-vector (@@ (srfi srfi-4) make-srfi-4-vector))
  44. (define srfi-4-vector-type-size (@@ (srfi srfi-4) srfi-4-vector-type-size))
  45. (define (bytevector-c32-native-ref v i)
  46. (make-rectangular (bytevector-ieee-single-native-ref v i)
  47. (bytevector-ieee-single-native-ref v (+ i 4))))
  48. (define (bytevector-c32-native-set! v i x)
  49. (bytevector-ieee-single-native-set! v i (real-part x))
  50. (bytevector-ieee-single-native-set! v (+ i 4) (imag-part x)))
  51. (define (bytevector-c64-native-ref v i)
  52. (make-rectangular (bytevector-ieee-double-native-ref v i)
  53. (bytevector-ieee-double-native-ref v (+ i 8))))
  54. (define (bytevector-c64-native-set! v i x)
  55. (bytevector-ieee-double-native-set! v i (real-part x))
  56. (bytevector-ieee-double-native-set! v (+ i 8) (imag-part x)))
  57. ((@@ (srfi srfi-4) define-bytevector-type) c32 c32-native 8)
  58. ((@@ (srfi srfi-4) define-bytevector-type) c64 c64-native 16)
  59. (define sizeof-u8 1)
  60. (define sizeof-u16 2)
  61. (define sizeof-u32 4)
  62. (define sizeof-u64 8)
  63. (define sizeof-s8 1)
  64. (define sizeof-s16 2)
  65. (define sizeof-s32 4)
  66. (define sizeof-s64 8)
  67. (define sizeof-f32 4)
  68. (define sizeof-f64 8)
  69. (define sizeof-c32 8)
  70. (define sizeof-c64 16)
  71. (define-macro (type-check v tag)
  72. `(unless (,(symbol-append tag 'vector?) ,v)
  73. (scm-error 'wrong-type-arg #f
  74. ,(format #f "expecting ~a, got ~~A" (symbol-append tag 'vector))
  75. (list ,v) (list ,v))))
  76. (define-macro (define-funs . tags)
  77. `(begin
  78. ,@(append-map
  79. (lambda (tag)
  80. (list
  81. ; any->xxvector
  82. `(define (,(symbol-append 'any-> tag 'vector) obj)
  83. (cond ((,(symbol-append tag 'vector?) obj) obj)
  84. ((pair? obj) (,(symbol-append 'list-> tag 'vector) obj))
  85. ((and (array? obj) (eqv? 1 (array-rank obj)))
  86. (let* ((len (array-length obj))
  87. (v (,(symbol-append 'make- tag 'vector) len)))
  88. (let lp ((i 0))
  89. (if (< i len)
  90. (begin
  91. (,(symbol-append tag 'vector-set!)
  92. v i (array-ref obj i))
  93. (lp (1+ i)))
  94. v))))
  95. (else (scm-error 'wrong-type-arg #f "" '() (list obj)))))
  96. ; xxvector-copy!
  97. `(define* (,(symbol-append tag 'vector '-copy!) dst at src #:optional (start 0) end)
  98. ,(format #f
  99. "Copy a block of elements from @var{src} to @var{dst}, both of
  100. which must be ~as, starting in @var{dst} at @var{at} and
  101. starting in @var{src} at @var{start} and ending at @var{end}. It
  102. is an error for @var{dst} to have a length less than @var{at} +
  103. (@var{end} - @var{start}). @var{at} and @var{start} default to 0
  104. and @var{end} defaults to the length of @var{src}.
  105. If source and destination overlap, copying takes place as if the
  106. source is first copied into a temporary vector and then into the
  107. destination."
  108. (symbol-append tag 'vector))
  109. (type-check src ,tag)
  110. (type-check dst ,tag)
  111. (let ((sof ,(symbol-append 'sizeof- tag))
  112. (len (- (or end (,(symbol-append tag 'vector-length) src)) start)))
  113. (bytevector-copy! src (* start sof) dst (* at sof) (* len sof))))
  114. ; xxvector-copy
  115. `(define* (,(symbol-append tag 'vector '-copy) src #:optional (start 0) end)
  116. ,(format #f
  117. "Returns a freshly allocated ~a containing the elements of ~a
  118. @var{src} between @var{start} and @var{end}. @var{start} defaults
  119. to 0 and @var{end} defaults to the length of @var{src}."
  120. (symbol-append tag 'vector)
  121. (symbol-append tag 'vector))
  122. (type-check src ,tag)
  123. (let* ((sof ,(symbol-append 'sizeof- tag))
  124. (len (- (or end (,(symbol-append tag 'vector-length) src)) start))
  125. (dst (,(symbol-append 'make- tag 'vector) len)))
  126. (bytevector-copy! src (* start sof) dst 0 (* len sof))
  127. dst))
  128. ))
  129. tags)))
  130. (define-funs u8 s8 u16 s16 u32 s32 u64 s64 f32 f64 c32 c64)