kc3-lang/kc3/test/ic3/integer.lisp

• Show log

  Commit

• Hash : e9cff855
  Author : Thomas de Grivel
  Date : 2023-08-20T20:35:09
  

  add tests for integer

Download

• test/ic3/integer.lisp

• (in-package :cl-user)
  
  (defparameter *ops* '(+ - * /))
  
  (defparameter *su* '(s u))
  
  (defparameter *bits* '(8 16 32 64 128))
  
  (defun do-numbers (fn)
    (dolist (su *su*)
      (let ((sign (if (eq su 's) -1 1)))
        (dolist (bits (if (eq su 's) (reverse *bits*) *bits*))
          (let ((su-bits (if (eq su 's) (1- bits) bits)))
            (when (< sign 0)
              (funcall fn (* sign (expt 2 su-bits))))
            (funcall fn (* sign (1- (expt 2 su-bits))))
            (when (> sign 0)
              (funcall fn (* sign (expt 2 su-bits)))))))))
  
  (with-open-file (expected #P"integer.out.expected"
                            :direction :output
                            :element-type 'character
                            :if-exists :supersede)
    (with-open-file (in #P"integer.in"
                        :direction :output
                        :element-type 'character
                        :if-exists :supersede)
      (do-numbers
          (lambda (a)
            (flet ((output-base (prefix base)
                     (format expected "~A~A~%"
                             (if (< a 0) "-" "")
                             (positional:positional (abs a) 10))
                     (format in "~A~A~A~%"
                             (if (< a 0) "-" "")
                             prefix
                             (positional:positional (abs a) base))))
              (output-base "0b" 2)
              (output-base "0o" 8)
              (output-base "0x" 16))))
      (dolist (op *ops*)
        (do-numbers
            (lambda (a)
              (do-numbers
                  (lambda (b)
                    (format expected "~A~%" (truncate (funcall op a b)))
                    (format in "~A ~A ~A~%" a op b))))))))
  

Download