sbcl:将(unsigned-byte 32)转换为单浮点数

Question

我有一个(unsigned-byte 32)包含相当多数据的数组,其中一些数据采用浮点格式.也就是说,一些字节被处理为包含位字段的整数,而其中一些字节作为32位浮点数.

我需要读取和写入数组中的数据.

不幸的是,该函数sb-kernel:make-single-float接受了一个参数(signed-byte 32),并sb-kernel:single-float-bits返回一个带符号的单词,因此它们与我的向量不直接兼容.另一方面,将向量转换为包含有符号字节将使位字段操作变得痛苦.

到目前为止,我已经写过

(defun u32-to-sf (x)
  (declare (optimize (speed 3) (compilation-speed 0) (debug 0))
           (type (unsigned-byte 32) x))
  (if (>= x #x80000000)
      (sb-kernel:make-single-float (- x #x100000000))
      (sb-kernel:make-single-float x)))

这是正确的事情,但生成的程序集看起来很难看其条件跳转和不必要的比较和减法.

关于如何说服sbcl简单地接受unsigned-byte作为float-to-be的按位内容的按位内容的任何想法 ？

Answer 1

你可能会(declare (optimize (safety 0)) (type (signed-byte 32) x)))。这似乎产生了更短的装配（它甚至优化了未使用的if分支）和相同的结果。不过，我建议真正仔细检查装配，并通过彻底的回归测试来确保这一点。