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

• Show log

  Commit

• Hash : f533a6ed
  Author : Thomas de Grivel
  Date : 2023-08-04T19:08:27
  

  integer

Download

• test/ic3/integer.lisp

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

Download