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

• Show log

  Commit

• Hash : f37dc90f
  Author : Thomas de Grivel
  Date : 2023-08-08T21:17:20
  

  wip test/ic3/integer

Download

• test/ic3/integer.lisp

• (in-package :cl-user)
  
  (with-open-file (out #P"~/integer.out"
                       :direction :output
                       :element-type 'character
                       :if-exists :supersede)
    (dolist (op (list #'/))
      (format out "~A~%" (truncate (funcall op -18446744073709551616 -18446744073709551616)))
      (format out "~A~%" (truncate (funcall op -18446744073709551616 -4294967296)))
      (format out "~A~%" (truncate (funcall op -18446744073709551616 -32769)))
      (format out "~A~%" (truncate (funcall op -18446744073709551616 -129)))
      (format out "~A~%" (truncate (funcall op -18446744073709551616 -1)))
      (format out "~A~%" (truncate (funcall op -18446744073709551616 1)))
      (format out "~A~%" (truncate (funcall op -18446744073709551616 256)))
      (format out "~A~%" (truncate (funcall op -18446744073709551616 65536)))
      (format out "~A~%" (truncate (funcall op -18446744073709551616 8589934592)))
      (format out "~A~%" (truncate (funcall op -18446744073709551616 36893488147419103232)))
      (format out "~A~%" (truncate (funcall op -4294967296 -18446744073709551616)))
      (format out "~A~%" (truncate (funcall op -4294967296 -4294967296)))
      (format out "~A~%" (truncate (funcall op -4294967296 -32769)))
      (format out "~A~%" (truncate (funcall op -4294967296 -129)))
      (format out "~A~%" (truncate (funcall op -4294967296 -1)))
      (format out "~A~%" (truncate (funcall op -4294967296 1)))
      (format out "~A~%" (truncate (funcall op -4294967296 256)))
      (format out "~A~%" (truncate (funcall op -4294967296 65536)))
      (format out "~A~%" (truncate (funcall op -4294967296 8589934592)))
      (format out "~A~%" (truncate (funcall op -4294967296 36893488147419103232)))
      (format out "~A~%" (truncate (funcall op -32769 -18446744073709551616)))
      (format out "~A~%" (truncate (funcall op -32769 -4294967296)))
      (format out "~A~%" (truncate (funcall op -32769 -32769)))
      (format out "~A~%" (truncate (funcall op -32769 -129)))
      (format out "~A~%" (truncate (funcall op -32769 -1)))
      (format out "~A~%" (truncate (funcall op -32769 1)))
      (format out "~A~%" (truncate (funcall op -32769 256)))
      (format out "~A~%" (truncate (funcall op -32769 65536)))
      (format out "~A~%" (truncate (funcall op -32769 8589934592)))
      (format out "~A~%" (truncate (funcall op -32769 36893488147419103232)))
      (format out "~A~%" (truncate (funcall op -129 -18446744073709551616)))
      (format out "~A~%" (truncate (funcall op -129 -4294967296)))
      (format out "~A~%" (truncate (funcall op -129 -32769)))
      (format out "~A~%" (truncate (funcall op -129 -129)))
      (format out "~A~%" (truncate (funcall op -129 -1)))
      (format out "~A~%" (truncate (funcall op -129 1)))
      (format out "~A~%" (truncate (funcall op -129 256)))
      (format out "~A~%" (truncate (funcall op -129 65536)))
      (format out "~A~%" (truncate (funcall op -129 8589934592)))
      (format out "~A~%" (truncate (funcall op -129 36893488147419103232)))
      (format out "~A~%" (truncate (funcall op -1 -18446744073709551616)))
      (format out "~A~%" (truncate (funcall op -1 -4294967296)))
      (format out "~A~%" (truncate (funcall op -1 -32769)))
      (format out "~A~%" (truncate (funcall op -1 -129)))
      (format out "~A~%" (truncate (funcall op -1 -1)))
      (format out "~A~%" (truncate (funcall op -1 1)))
      (format out "~A~%" (truncate (funcall op -1 256)))
      (format out "~A~%" (truncate (funcall op -1 65536)))
      (format out "~A~%" (truncate (funcall op -1 8589934592)))
      (format out "~A~%" (truncate (funcall op -1 36893488147419103232)))
      (format out "~A~%" (truncate (funcall op 1 -18446744073709551616)))
      (format out "~A~%" (truncate (funcall op 1 -4294967296)))
      (format out "~A~%" (truncate (funcall op 1 -32769)))
      (format out "~A~%" (truncate (funcall op 1 -129)))
      (format out "~A~%" (truncate (funcall op 1 -1)))
      (format out "~A~%" (truncate (funcall op 1 1)))
      (format out "~A~%" (truncate (funcall op 1 256)))
      (format out "~A~%" (truncate (funcall op 1 65536)))
      (format out "~A~%" (truncate (funcall op 1 8589934592)))
      (format out "~A~%" (truncate (funcall op 1 36893488147419103232)))
      (format out "~A~%" (truncate (funcall op 256 -18446744073709551616)))
      (format out "~A~%" (truncate (funcall op 256 -4294967296)))
      (format out "~A~%" (truncate (funcall op 256 -32769)))
      (format out "~A~%" (truncate (funcall op 256 -257)))
      (format out "~A~%" (truncate (funcall op 256 -1)))
      (format out "~A~%" (truncate (funcall op 256 1)))
      (format out "~A~%" (truncate (funcall op 256 256)))
      (format out "~A~%" (truncate (funcall op 256 65536)))
      (format out "~A~%" (truncate (funcall op 256 8589934592)))
      (format out "~A~%" (truncate (funcall op 256 36893488147419103232)))
      (format out "~A~%" (truncate (funcall op 65536 -18446744073709551616)))
      (format out "~A~%" (truncate (funcall op 65536 -4294967296)))
      (format out "~A~%" (truncate (funcall op 65536 -32769)))
      (format out "~A~%" (truncate (funcall op 65536 -129)))
      (format out "~A~%" (truncate (funcall op 65536 -1)))
      (format out "~A~%" (truncate (funcall op 65536 1)))
      (format out "~A~%" (truncate (funcall op 65536 256)))
      (format out "~A~%" (truncate (funcall op 65536 65536)))
      (format out "~A~%" (truncate (funcall op 65536 8589934592)))
      (format out "~A~%" (truncate (funcall op 65536 36893488147419103232)))
      (format out "~A~%" (truncate (funcall op 8589934592 -18446744073709551616)))
      (format out "~A~%" (truncate (funcall op 8589934592 -4294967296)))
      (format out "~A~%" (truncate (funcall op 8589934592 -32769)))
      (format out "~A~%" (truncate (funcall op 8589934592 -129)))
      (format out "~A~%" (truncate (funcall op 8589934592 -1)))
      (format out "~A~%" (truncate (funcall op 8589934592 1)))
      (format out "~A~%" (truncate (funcall op 8589934592 256)))
      (format out "~A~%" (truncate (funcall op 8589934592 65536)))
      (format out "~A~%" (truncate (funcall op 8589934592 8589934592)))
      (format out "~A~%" (truncate (funcall op 8589934592 36893488147419103232)))
      (format out "~A~%" (truncate (funcall op 36893488147419103232 -18446744073709551616)))
      (format out "~A~%" (truncate (funcall op 36893488147419103232 -4294967296)))
      (format out "~A~%" (truncate (funcall op 36893488147419103232 -32769)))
      (format out "~A~%" (truncate (funcall op 36893488147419103232 -129)))
      (format out "~A~%" (truncate (funcall op 36893488147419103232 -1)))
      (format out "~A~%" (truncate (funcall op 36893488147419103232 1)))
      (format out "~A~%" (truncate (funcall op 36893488147419103232 256)))
      (format out "~A~%" (truncate (funcall op 36893488147419103232 65536)))
      (format out "~A~%" (truncate (funcall op 36893488147419103232 8589934592)))
      (format out "~A~%" (truncate (funcall op 36893488147419103232 36893488147419103232)))))
  

Download