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

Branch : - branch - marshall master pdf v0.1 - tag - HTTPd-v0.1.0 HTTPd-v0.1.1 HTTPd-v0.2.0 v0 v0.1.0 v0.1.1 v0.1.10 v0.1.11 v0.1.12 v0.1.13 v0.1.14 v0.1.15 v0.1.16 v0.1.2 v0.1.3 v0.1.4 v0.1.5 v0.1.6 v0.1.7 v0.1.8 v0.1.9

• Show log

  Commit

• Author : Thomas de Grivel
  Date : 2023-08-08 21:17:20
  Hash : f37dc90f
  Message : wip test/ic3/integer

• 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)))))