January 2018 - cmucl-cvs - mailman3.common-lisp.net

[Git][cmucl/cmucl][master] Fix typo in building on darwin.
by Raymond Toy 21 Jan '18

21 Jan '18

Raymond Toy pushed to branch master at cmucl / cmucl Commits: ab27781b by Raymond Toy at 2018-01-21T08:55:56-08:00 Fix typo in building on darwin. Should be snapshot/bin/lisp - - - - - 1 changed file: - .gitlab-ci.yml Changes: ===================================== .gitlab-ci.yml ===================================== --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -20,6 +20,6 @@ osx-runner: - mkdir snapshot - (cd snapshot; tar xjf ../cmucl-2018-01-x86-darwin.tar.bz2) script: - - bin/build.sh -C "" -o snapshot/lisp/lisp + - bin/build.sh -C "" -o snapshot/bin/lisp - bin/make-dist.sh -I dist darwin-4 - bin/run-tests.sh -l dist/bin/lisp 2>&1 | tee test.log View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/commit/ab27781ba923fff4144c5919b… --- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/commit/ab27781ba923fff4144c5919b… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][master] Update CI to use 2018-01 snapshot
by Raymond Toy 21 Jan '18

21 Jan '18

Raymond Toy pushed to branch master at cmucl / cmucl Commits: 91c26cba by Raymond Toy at 2018-01-21T08:50:35-08:00 Update CI to use 2018-01 snapshot - - - - - 1 changed file: - .gitlab-ci.yml Changes: ===================================== .gitlab-ci.yml ===================================== --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -3,15 +3,12 @@ linux-runner: - linux before_script: - apt-get update -qq && apt-get install -y wget bzip2 make gcc gcc-multilib time bc git - - wget -nv https://common-lisp.net/project/cmucl/downloads/release/21c/cmucl-21c-x86-l… - - wget -nv https://common-lisp.net/project/cmucl/downloads/release/21c/cmucl-21c-x86-l… + - wget -nv https://common-lisp.net/project/cmucl/downloads/snapshots/2018/01/cmucl-201… + - wget -nv https://common-lisp.net/project/cmucl/downloads/snapshots/2018/01/cmucl-201… - mkdir snapshot - - (cd snapshot; tar xjf ../cmucl-21c-x86-linux.tar.bz2; tar xjf ../cmucl-21c-x86-linux.extra.tar.bz2) + - (cd snapshot; tar xjf ../cmucl-2018-01-x86-linux.tar.bz2; tar xjf ../cmucl-2018-01-x86-linux.extra.tar.bz2) script: - - bin/create-target.sh xtarget x86_linux x86 - - bin/create-target.sh xcross x86_linux x86 - - bin/cross-build-world.sh -crl xtarget xcross src/bootfiles/21c/boot-21c-cross.lisp ./snapshot/bin/lisp - - bin/build.sh -C "" -o xtarget/lisp/lisp + - bin/build.sh -C "" -o snapshot/bin/lisp - bin/make-dist.sh -I dist linux-4 - bin/run-tests.sh -l dist/bin/lisp 2>&1 | tee test.log @@ -19,13 +16,10 @@ osx-runner: tags: - osx before_script: - - curl -o cmucl-21c-x86-darwin.tar.bz2 https://common-lisp.net/project/cmucl/downloads/release/21c/cmucl-21c-x86-d… + - curl -o cmucl-2018-01-x86-darwin.tar.bz2 https://common-lisp.net/project/cmucl/downloads/snapshots/2018/01//cmucl-20… - mkdir snapshot - - (cd snapshot; tar xjf ../cmucl-21c-x86-darwin.tar.bz2) + - (cd snapshot; tar xjf ../cmucl-2018-01-x86-darwin.tar.bz2) script: - - bin/create-target.sh xtarget x86_darwin - - bin/create-target.sh xcross x86_darwin - - bin/cross-build-world.sh -crl xtarget xcross src/bootfiles/21c/boot-21c-cross.lisp ./snapshot/bin/lisp - - bin/build.sh -C "" -o xtarget/lisp/lisp + - bin/build.sh -C "" -o snapshot/lisp/lisp - bin/make-dist.sh -I dist darwin-4 - bin/run-tests.sh -l dist/bin/lisp 2>&1 | tee test.log View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/commit/91c26cba71fecb8b8e0b3c822… --- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/commit/91c26cba71fecb8b8e0b3c822… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][sparc64-dev] 2 commits: Regenerate
by Raymond Toy 20 Jan '18

20 Jan '18

Raymond Toy pushed to branch sparc64-dev at cmucl / cmucl Commits: f19dd877 by Raymond Toy at 2018-01-13T08:22:44-08:00 Regenerate - - - - - 9ce8a07e by Raymond Toy at 2018-01-20T09:20:19-08:00 Merge branch 'master' into sparc64-dev - - - - - 2 changed files: - src/i18n/locale/en(a)piglatin/LC_MESSAGES/cmucl.po - src/i18n/locale/ko/LC_MESSAGES/cmucl.po Changes: ===================================== src/i18n/locale/en(a)piglatin/LC_MESSAGES/cmucl.po ===================================== --- a/src/i18n/locale/en(a)piglatin/LC_MESSAGES/cmucl.po +++ b/src/i18n/locale/en(a)piglatin/LC_MESSAGES/cmucl.po @@ -34,7 +34,7 @@ msgstr "Ethay izesay ofway away eamstray inway-ufferbay." #: src/code/intl.lisp src/compiler/globaldb.lisp src/code/defstruct.lisp #: src/code/remote.lisp src/code/wire.lisp src/code/internet.lisp #: src/code/loop.lisp src/code/run-program.lisp src/code/parse-time.lisp -#: src/code/profile.lisp src/code/ntrace.lisp src/code/rand-mt19937.lisp +#: src/code/profile.lisp src/code/ntrace.lisp src/code/rand-xoroshiro.lisp #: src/code/debug.lisp src/code/debug-int.lisp src/code/debug-info.lisp #: src/code/eval.lisp src/code/filesys.lisp src/code/pathname.lisp #: src/code/fd-stream.lisp src/code/extfmts.lisp src/code/serve-event.lisp @@ -17335,17 +17335,18 @@ msgstr "" msgid "Type \"yes\" for yes or \"no\" for no. " msgstr "Ypetay \"esyay\" orfay esyay orway \"onay\" orfay onay. " -#: src/code/rand-mt19937.lisp +#: src/code/rand-xoroshiro.lisp +#, fuzzy msgid "" "Generate an random state vector from the given SEED. The seed can be\n" -" either an integer or a vector of (unsigned-byte 32)" +" either an integer or a vector of (unsigned-byte 64)" msgstr "" "Enerategay anway andomray tatesay ectorvay omfray ethay ivengay SEED. Ethay " "eedsay ancay ebay\n" " eitherway anway integerway orway away ectorvay ofway (unsignedway-ytebay " "32)" -#: src/code/rand-mt19937.lisp +#: src/code/rand-xoroshiro.lisp msgid "" "Make a random state object. If STATE is not supplied, return a copy\n" " of the default random state. If STATE is a random state, then return a\n" @@ -17360,11 +17361,12 @@ msgstr "" "tatesay eneratedgay omfray\n" " ethay universalway imetay orway /evday/urandomway ifway availableway." -#: src/code/rand-mt19937.lisp -msgid "Argument is not a RANDOM-STATE, T or NIL: ~S" +#: src/code/rand-xoroshiro.lisp +#, fuzzy +msgid "Argument is not a RANDOM-STATE, T, or NIL: ~S" msgstr "Argumentway isway otnay away RANDOM-STATE, T orway NIL: ~S" -#: src/code/rand-mt19937.lisp +#: src/code/rand-xoroshiro.lisp msgid "" "Generate a uniformly distributed pseudo-random number between zero\n" " and Arg. State, if supplied, is the random state to use." @@ -17374,12 +17376,19 @@ msgstr "" " andway Argway. Tatesay, ifway uppliedsay, isway ethay andomray tatesay " "otay useway." -#: src/code/rand-mt19937.lisp +#: src/code/rand-xoroshiro.lisp msgid "Argument is not a positive integer or a positive float: ~S" msgstr "" "Argumentway isway otnay away ositivepay integerway orway away ositivepay " "oatflay: ~S" +#: src/code/rand-xoroshiro.lisp +msgid "" +"Jump the RNG-STATE. This is equivalent to 2^64 calls to the\n" +" xoroshiro128+ generator. It can be used to generate 2^64\n" +" non-overlapping subsequences for parallel computations." +msgstr "" + #: src/code/ntrace.lisp msgid "" "This is bound to the returned values when evaluating :BREAK-AFTER and\n" @@ -27348,10 +27357,6 @@ msgid "use inline (unsigned-byte 32) operations" msgstr "useway inlineway (unsignedway-ytebay 32) operationsway" #: src/compiler/float-tran.lisp -msgid "Shouldn't happen" -msgstr "Ouldnshay't appenhay" - -#: src/compiler/float-tran.lisp msgid "Can't open-code float to rational comparison." msgstr "Ancay't openway-odecay oatflay otay ationalray omparisoncay." @@ -30979,6 +30984,9 @@ msgstr "" "eplacedray ybay ethay\n" "Unicodeway eplacementray aracterchay." +#~ msgid "Shouldn't happen" +#~ msgstr "Ouldnshay't appenhay" + #~ msgid "No such program: ~S" #~ msgstr "Onay uchsay ogrampray: ~S" ===================================== src/i18n/locale/ko/LC_MESSAGES/cmucl.po ===================================== --- a/src/i18n/locale/ko/LC_MESSAGES/cmucl.po +++ b/src/i18n/locale/ko/LC_MESSAGES/cmucl.po @@ -34,7 +34,7 @@ msgstr "스트림 인 버퍼의 크기." #: src/code/intl.lisp src/compiler/globaldb.lisp src/code/defstruct.lisp #: src/code/remote.lisp src/code/wire.lisp src/code/internet.lisp #: src/code/loop.lisp src/code/run-program.lisp src/code/parse-time.lisp -#: src/code/profile.lisp src/code/ntrace.lisp src/code/rand-mt19937.lisp +#: src/code/profile.lisp src/code/ntrace.lisp src/code/rand-xoroshiro.lisp #: src/code/debug.lisp src/code/debug-int.lisp src/code/debug-info.lisp #: src/code/eval.lisp src/code/filesys.lisp src/code/pathname.lisp #: src/code/fd-stream.lisp src/code/extfmts.lisp src/code/serve-event.lisp @@ -12130,13 +12130,13 @@ msgstr "" msgid "Type \"yes\" for yes or \"no\" for no. " msgstr "" -#: src/code/rand-mt19937.lisp +#: src/code/rand-xoroshiro.lisp msgid "" "Generate an random state vector from the given SEED. The seed can be\n" -" either an integer or a vector of (unsigned-byte 32)" +" either an integer or a vector of (unsigned-byte 64)" msgstr "" -#: src/code/rand-mt19937.lisp +#: src/code/rand-xoroshiro.lisp msgid "" "Make a random state object. If STATE is not supplied, return a copy\n" " of the default random state. If STATE is a random state, then return a\n" @@ -12144,20 +12144,27 @@ msgid "" " the universal time or /dev/urandom if available." msgstr "" -#: src/code/rand-mt19937.lisp -msgid "Argument is not a RANDOM-STATE, T or NIL: ~S" +#: src/code/rand-xoroshiro.lisp +msgid "Argument is not a RANDOM-STATE, T, or NIL: ~S" msgstr "" -#: src/code/rand-mt19937.lisp +#: src/code/rand-xoroshiro.lisp msgid "" "Generate a uniformly distributed pseudo-random number between zero\n" " and Arg. State, if supplied, is the random state to use." msgstr "" -#: src/code/rand-mt19937.lisp +#: src/code/rand-xoroshiro.lisp msgid "Argument is not a positive integer or a positive float: ~S" msgstr "" +#: src/code/rand-xoroshiro.lisp +msgid "" +"Jump the RNG-STATE. This is equivalent to 2^64 calls to the\n" +" xoroshiro128+ generator. It can be used to generate 2^64\n" +" non-overlapping subsequences for parallel computations." +msgstr "" + #: src/code/ntrace.lisp msgid "" "This is bound to the returned values when evaluating :BREAK-AFTER and\n" @@ -18909,10 +18916,6 @@ msgid "use inline (unsigned-byte 32) operations" msgstr "" #: src/compiler/float-tran.lisp -msgid "Shouldn't happen" -msgstr "" - -#: src/compiler/float-tran.lisp msgid "Can't open-code float to rational comparison." msgstr "" View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/compare/11e8aafe5be25c1ad2b99854… --- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/compare/11e8aafe5be25c1ad2b99854… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl] Pushed new tag snapshot-2018-01
by Raymond Toy 15 Jan '18

15 Jan '18

Raymond Toy pushed new tag snapshot-2018-01 at cmucl / cmucl --- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/tree/snapshot-2018-01 You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][master] Regenerate
by Raymond Toy 13 Jan '18

13 Jan '18

Raymond Toy pushed to branch master at cmucl / cmucl Commits: f19dd877 by Raymond Toy at 2018-01-13T08:22:44-08:00 Regenerate - - - - - 2 changed files: - src/i18n/locale/en(a)piglatin/LC_MESSAGES/cmucl.po - src/i18n/locale/ko/LC_MESSAGES/cmucl.po Changes: ===================================== src/i18n/locale/en(a)piglatin/LC_MESSAGES/cmucl.po ===================================== --- a/src/i18n/locale/en(a)piglatin/LC_MESSAGES/cmucl.po +++ b/src/i18n/locale/en(a)piglatin/LC_MESSAGES/cmucl.po @@ -34,7 +34,7 @@ msgstr "Ethay izesay ofway away eamstray inway-ufferbay." #: src/code/intl.lisp src/compiler/globaldb.lisp src/code/defstruct.lisp #: src/code/remote.lisp src/code/wire.lisp src/code/internet.lisp #: src/code/loop.lisp src/code/run-program.lisp src/code/parse-time.lisp -#: src/code/profile.lisp src/code/ntrace.lisp src/code/rand-mt19937.lisp +#: src/code/profile.lisp src/code/ntrace.lisp src/code/rand-xoroshiro.lisp #: src/code/debug.lisp src/code/debug-int.lisp src/code/debug-info.lisp #: src/code/eval.lisp src/code/filesys.lisp src/code/pathname.lisp #: src/code/fd-stream.lisp src/code/extfmts.lisp src/code/serve-event.lisp @@ -17335,17 +17335,18 @@ msgstr "" msgid "Type \"yes\" for yes or \"no\" for no. " msgstr "Ypetay \"esyay\" orfay esyay orway \"onay\" orfay onay. " -#: src/code/rand-mt19937.lisp +#: src/code/rand-xoroshiro.lisp +#, fuzzy msgid "" "Generate an random state vector from the given SEED. The seed can be\n" -" either an integer or a vector of (unsigned-byte 32)" +" either an integer or a vector of (unsigned-byte 64)" msgstr "" "Enerategay anway andomray tatesay ectorvay omfray ethay ivengay SEED. Ethay " "eedsay ancay ebay\n" " eitherway anway integerway orway away ectorvay ofway (unsignedway-ytebay " "32)" -#: src/code/rand-mt19937.lisp +#: src/code/rand-xoroshiro.lisp msgid "" "Make a random state object. If STATE is not supplied, return a copy\n" " of the default random state. If STATE is a random state, then return a\n" @@ -17360,11 +17361,12 @@ msgstr "" "tatesay eneratedgay omfray\n" " ethay universalway imetay orway /evday/urandomway ifway availableway." -#: src/code/rand-mt19937.lisp -msgid "Argument is not a RANDOM-STATE, T or NIL: ~S" +#: src/code/rand-xoroshiro.lisp +#, fuzzy +msgid "Argument is not a RANDOM-STATE, T, or NIL: ~S" msgstr "Argumentway isway otnay away RANDOM-STATE, T orway NIL: ~S" -#: src/code/rand-mt19937.lisp +#: src/code/rand-xoroshiro.lisp msgid "" "Generate a uniformly distributed pseudo-random number between zero\n" " and Arg. State, if supplied, is the random state to use." @@ -17374,12 +17376,19 @@ msgstr "" " andway Argway. Tatesay, ifway uppliedsay, isway ethay andomray tatesay " "otay useway." -#: src/code/rand-mt19937.lisp +#: src/code/rand-xoroshiro.lisp msgid "Argument is not a positive integer or a positive float: ~S" msgstr "" "Argumentway isway otnay away ositivepay integerway orway away ositivepay " "oatflay: ~S" +#: src/code/rand-xoroshiro.lisp +msgid "" +"Jump the RNG-STATE. This is equivalent to 2^64 calls to the\n" +" xoroshiro128+ generator. It can be used to generate 2^64\n" +" non-overlapping subsequences for parallel computations." +msgstr "" + #: src/code/ntrace.lisp msgid "" "This is bound to the returned values when evaluating :BREAK-AFTER and\n" @@ -27348,10 +27357,6 @@ msgid "use inline (unsigned-byte 32) operations" msgstr "useway inlineway (unsignedway-ytebay 32) operationsway" #: src/compiler/float-tran.lisp -msgid "Shouldn't happen" -msgstr "Ouldnshay't appenhay" - -#: src/compiler/float-tran.lisp msgid "Can't open-code float to rational comparison." msgstr "Ancay't openway-odecay oatflay otay ationalray omparisoncay." @@ -30979,6 +30984,9 @@ msgstr "" "eplacedray ybay ethay\n" "Unicodeway eplacementray aracterchay." +#~ msgid "Shouldn't happen" +#~ msgstr "Ouldnshay't appenhay" + #~ msgid "No such program: ~S" #~ msgstr "Onay uchsay ogrampray: ~S" ===================================== src/i18n/locale/ko/LC_MESSAGES/cmucl.po ===================================== --- a/src/i18n/locale/ko/LC_MESSAGES/cmucl.po +++ b/src/i18n/locale/ko/LC_MESSAGES/cmucl.po @@ -34,7 +34,7 @@ msgstr "스트림 인 버퍼의 크기." #: src/code/intl.lisp src/compiler/globaldb.lisp src/code/defstruct.lisp #: src/code/remote.lisp src/code/wire.lisp src/code/internet.lisp #: src/code/loop.lisp src/code/run-program.lisp src/code/parse-time.lisp -#: src/code/profile.lisp src/code/ntrace.lisp src/code/rand-mt19937.lisp +#: src/code/profile.lisp src/code/ntrace.lisp src/code/rand-xoroshiro.lisp #: src/code/debug.lisp src/code/debug-int.lisp src/code/debug-info.lisp #: src/code/eval.lisp src/code/filesys.lisp src/code/pathname.lisp #: src/code/fd-stream.lisp src/code/extfmts.lisp src/code/serve-event.lisp @@ -12130,13 +12130,13 @@ msgstr "" msgid "Type \"yes\" for yes or \"no\" for no. " msgstr "" -#: src/code/rand-mt19937.lisp +#: src/code/rand-xoroshiro.lisp msgid "" "Generate an random state vector from the given SEED. The seed can be\n" -" either an integer or a vector of (unsigned-byte 32)" +" either an integer or a vector of (unsigned-byte 64)" msgstr "" -#: src/code/rand-mt19937.lisp +#: src/code/rand-xoroshiro.lisp msgid "" "Make a random state object. If STATE is not supplied, return a copy\n" " of the default random state. If STATE is a random state, then return a\n" @@ -12144,20 +12144,27 @@ msgid "" " the universal time or /dev/urandom if available." msgstr "" -#: src/code/rand-mt19937.lisp -msgid "Argument is not a RANDOM-STATE, T or NIL: ~S" +#: src/code/rand-xoroshiro.lisp +msgid "Argument is not a RANDOM-STATE, T, or NIL: ~S" msgstr "" -#: src/code/rand-mt19937.lisp +#: src/code/rand-xoroshiro.lisp msgid "" "Generate a uniformly distributed pseudo-random number between zero\n" " and Arg. State, if supplied, is the random state to use." msgstr "" -#: src/code/rand-mt19937.lisp +#: src/code/rand-xoroshiro.lisp msgid "Argument is not a positive integer or a positive float: ~S" msgstr "" +#: src/code/rand-xoroshiro.lisp +msgid "" +"Jump the RNG-STATE. This is equivalent to 2^64 calls to the\n" +" xoroshiro128+ generator. It can be used to generate 2^64\n" +" non-overlapping subsequences for parallel computations." +msgstr "" + #: src/code/ntrace.lisp msgid "" "This is bound to the returned values when evaluating :BREAK-AFTER and\n" @@ -18909,10 +18916,6 @@ msgid "use inline (unsigned-byte 32) operations" msgstr "" #: src/compiler/float-tran.lisp -msgid "Shouldn't happen" -msgstr "" - -#: src/compiler/float-tran.lisp msgid "Can't open-code float to rational comparison." msgstr "" View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/commit/f19dd8773ef50989907e1e6c4… --- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/commit/f19dd8773ef50989907e1e6c4… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][sparc64-dev] 2 commits: Fix stack computations in COPY-MORE-ARGS
by Raymond Toy 07 Jan '18

07 Jan '18

Raymond Toy pushed to branch sparc64-dev at cmucl / cmucl Commits: a94d7f1f by Raymond Toy at 2018-01-06T18:32:24-08:00 Fix stack computations in COPY-MORE-ARGS Fixnums aren't 8-byte word offsets, so we need to shift fixnums left by 1 to get a word offset when computing new stack locations. - - - - - 11e8aafe by Raymond Toy at 2018-01-06T19:02:09-08:00 Fix stack computations in MORE-ARG-CONTEXT Fixnums aren't 8-byte word offsets, so we need to shift fixnums left by 1 to get a word offset when computing new stack locations. - - - - - 1 changed file: - src/compiler/sparc64/call.lisp Changes: ===================================== src/compiler/sparc64/call.lisp ===================================== --- a/src/compiler/sparc64/call.lisp +++ b/src/compiler/sparc64/call.lisp @@ -1141,12 +1141,17 @@ default-value-8 ;; Allocate the space on the stack. (cond ((zerop fixed) (inst cmp nargs-tn) + ;; Add nargs-tn to csp-tn twice to get the right address + ;; because fixnum values need to be multiplied by two to + ;; get the right word address/offset. + (inst add csp-tn csp-tn nargs-tn) (inst b :eq done) (inst add csp-tn csp-tn nargs-tn)) (t (inst subcc count nargs-tn (fixnumize fixed)) (inst b :le done) (inst nop) + (inst add csp-tn csp-tn count) (inst add csp-tn csp-tn count))) (when (< fixed register-arg-count) ;; We must stop when we run out of stack args, not when we run out of @@ -1158,6 +1163,7 @@ default-value-8 (move dst csp-tn) ;; Initialize src to be end of args. (inst add src cfp-tn nargs-tn) + (inst add src cfp-tn nargs-tn) (emit-label loop) ;; *--dst = *--src, --count @@ -1271,7 +1277,9 @@ default-value-8 (:generator 5 (emit-not-implemented) (inst sub count supplied (fixnumize fixed)) - (inst sub context csp-tn count))) + ;; Subtract count twice to get the correct word offset. + (inst sub context csp-tn count) + (inst sub context context count))) ;;; Signal wrong argument count error if Nargs isn't = to Count. View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/compare/5fa489dfddcbaf53394a1b11… --- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/compare/5fa489dfddcbaf53394a1b11… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][sparc64-dev] 3 commits: Fix some typos in format strings
by Raymond Toy 05 Jan '18

05 Jan '18

Raymond Toy pushed to branch sparc64-dev at cmucl / cmucl Commits: 587df5a1 by Raymond Toy at 2018-01-03T21:09:32-08:00 Fix some typos in format strings And make indentation consistent between uses. - - - - - bf42cefc by Raymond Toy at 2018-01-04T21:53:45-08:00 Add more not-implemented. - - - - - 5fa489df by Raymond Toy at 2018-01-04T21:55:08-08:00 Create trace-files for lispinit and globaldb Create the trace files so we can compare the actualassembly code with the compiler trace. Makes it easier to understand what each register contains because the trace file has more detail. - - - - - 3 changed files: - src/compiler/sparc64/arith.lisp - src/compiler/sparc64/insts.lisp - src/tools/worldcom.lisp Changes: ===================================== src/compiler/sparc64/arith.lisp ===================================== --- a/src/compiler/sparc64/arith.lisp +++ b/src/compiler/sparc64/arith.lisp @@ -130,6 +130,7 @@ ,@(when restore-fixnum-mask `((:temporary (:sc non-descriptor-reg) temp))) (:generator 2 + (emit-not-implemented) ,(if arg-swap `(inst ,op ,(if restore-fixnum-mask 'temp 'r) y x) `(inst ,op ,(if restore-fixnum-mask 'temp 'r) x y)) @@ -142,6 +143,7 @@ ,@(when restore-fixnum-mask `((:temporary (:sc non-descriptor-reg) temp))) (:generator 1 + (emit-not-implemented) (inst ,op ,(if restore-fixnum-mask 'temp 'r) x (fixnumize y)) ,@(when restore-fixnum-mask `((inst andn r temp fixnum-tag-mask))))))) @@ -149,6 +151,7 @@ fast-signed-binop) (:translate ,translate) (:generator ,(1+ untagged-penalty) + (emit-not-implemented) ,(if arg-swap `(inst ,op r y x) `(inst ,op r x y)))) @@ -157,11 +160,13 @@ fast-signed-binop-c) (:translate ,translate) (:generator ,untagged-penalty + (emit-not-implemented) (inst ,op r x y))))) (define-vop (,(symbolicate "FAST-" translate "/UNSIGNED=>UNSIGNED") fast-unsigned-binop) (:translate ,translate) (:generator ,(1+ untagged-penalty) + (emit-not-implemented) ,(if arg-swap `(inst ,op r y x) `(inst ,op r x y)))) @@ -170,6 +175,7 @@ fast-unsigned-binop-c) (:translate ,translate) (:generator ,untagged-penalty + (emit-not-implemented) (inst ,op r x y))))))) ); eval-when @@ -211,6 +217,7 @@ (:constant (or (and (unsigned-byte 12) (not (integer 0 0))) (integer #xfffff000 #xffffffff)))) (:generator 2 ; Needs to be low to give this vop a chance. + (emit-not-implemented) (cond ((= y #xffffffff) (move r x)) ((typep y '(unsigned-byte 13)) @@ -231,6 +238,7 @@ (:note _N"inline 32-bit abs") (:temporary (:scs (signed-reg)) y) (:generator 1 + (emit-not-implemented) ;; From Hacker's Delight ;; ;; abs(x) = (x ^ y) - y, where y = x >> 31 (signed shift) ===================================== src/compiler/sparc64/insts.lisp ===================================== --- a/src/compiler/sparc64/insts.lisp +++ b/src/compiler/sparc64/insts.lisp @@ -2346,12 +2346,16 @@ about function addresses and register values.") (emit-compute-inst segment vop dst src label temp #'(lambda (label posn delta-if-after) (when c::*compiler-trace-output* - (format c::*compiler-trace-output* "COMPUTE-CODE-FROM=LRA~%") - (format c::*compiler-trace-output* "label posn delta-if-after = ~A ~A ~A~%" + (format c::*compiler-trace-output* + "COMPUTE-CODE-FROM=FN~%") + (format c::*compiler-trace-output* + "label posn delta-if-after = ~A ~A ~A~%" label posn delta-if-after) - (format c::*compiler-trace-output* "label-position = ~A~%" + (format c::*compiler-trace-output* + "label-position = ~A~%" (label-position label posn delta-if-after)) - (format c::*compiler-trace-output* "header-len = ~A~%" + (format c::*compiler-trace-output* + "header-len = ~A~%" (component-header-length)) (format c::*compiler-trace-output* "Final offset = ~A~%" @@ -2413,12 +2417,16 @@ about function addresses and register values.") (emit-compute-inst segment vop dst src label temp #'(lambda (label posn delta-if-after) (when c::*compiler-trace-output* - (format c::*compiler-trace-output* "COMPUTE-LRA-FROM-CODE~%") - (format c::*compiler-trace-output* "label posn delta-if-after = ~A ~A ~A~%" + (format c::*compiler-trace-output* + "COMPUTE-LRA-FROM-CODE~%") + (format c::*compiler-trace-output* + "label posn delta-if-after = ~A ~A ~A~%" label posn delta-if-after) - (format c::*compiler-trace-output* "label-position = ~A~%" + (format c::*compiler-trace-output* + "label-position = ~A~%" (label-position label posn delta-if-after)) - (format c::*compiler-trace-output* "header-len = ~A~%" + (format c::*compiler-trace-output* + "header-len = ~A~%" (component-header-length)) (format c::*compiler-trace-output* "Final offset = ~A~%" ===================================== src/tools/worldcom.lisp ===================================== --- a/src/tools/worldcom.lisp +++ b/src/tools/worldcom.lisp @@ -119,7 +119,7 @@ (comf "target:code/globals") (comf "target:code/kernel") -(comf "target:code/lispinit") +(comf "target:code/lispinit" :trace-file t) (comf "target:pcl/walk") (comf "target:code/fwrappers") (comf "target:code/fdefinition") @@ -325,7 +325,7 @@ (let ((c:*compile-time-define-macros* nil)) (comf "target:code/defstruct") (comf "target:code/defmacro" :byte-compile *byte-compile*) - (comf "target:compiler/globaldb") + (comf "target:compiler/globaldb" :trace-file t) (comf "target:code/macros") #-no-runtime (comf "target:code/macros" :byte-compile t)) View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/compare/caa31bdf92d9c27668e9cc55… --- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/compare/caa31bdf92d9c27668e9cc55… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][sparc64-dev] 2 commits: Fix up the fast-ash-right vops
by Raymond Toy 04 Jan '18

04 Jan '18

Raymond Toy pushed to branch sparc64-dev at cmucl / cmucl Commits: d11ccfbf by Raymond Toy at 2018-01-03T20:55:23-08:00 Fix up the fast-ash-right vops Remove some nil'ed out code too. - - - - - caa31bdf by Raymond Toy at 2018-01-03T21:01:16-08:00 Mark allocate-vector and fix up length computation * Add NOT-IMPLEMENTED for this routine. * The number of words needs to be multiplied by 2 to get the actual number of bytes since fixnums are only shifted by 2, and words are now 8 bytes long. - - - - - 2 changed files: - src/assembly/sparc64/array.lisp - src/compiler/sparc64/arith.lisp Changes: ===================================== src/assembly/sparc64/array.lisp ===================================== --- a/src/assembly/sparc64/array.lisp +++ b/src/assembly/sparc64/array.lisp @@ -32,8 +32,12 @@ (:temp ndescr non-descriptor-reg nl0-offset) (:temp gc-temp non-descriptor-reg nl1-offset) (:temp vector descriptor-reg a3-offset)) + (not-implemented "ALLOCATE-VECTOR") (pseudo-atomic () - (inst add ndescr words (* (1+ vm:vector-data-offset) vm:word-bytes)) + ;; words is a fixnum. Multiply by 2 to get the actual number of + ;; bytes to allocate. + (inst sllx ndescr words 1) + (inst add ndescr ndescr (* (1+ vm:vector-data-offset) vm:word-bytes)) (inst andn ndescr vm:lowtag-mask) (allocation vector ndescr other-pointer-type :temp-tn gc-temp) #+gencgc @@ -42,7 +46,7 @@ ;; space. Fill the last word with a zero. (inst add ndescr vector) (storew zero-tn ndescr -1 vm:other-pointer-type)) - (inst srl ndescr type vm:word-shift) + (inst srl ndescr type vm:fixnum-tag-bits) (storew ndescr vector 0 vm:other-pointer-type) (storew length vector vm:vector-length-slot vm:other-pointer-type)) ;; This makes sure the zero byte at the end of a string is paged in so ===================================== src/compiler/sparc64/arith.lisp ===================================== --- a/src/compiler/sparc64/arith.lisp +++ b/src/compiler/sparc64/arith.lisp @@ -555,15 +555,9 @@ (let ((amt (tn-value amount))) (inst ,shift-inst result number amt)))))))) (frob ash-right-signed fast-ash-right/signed=>signed - signed-reg signed-num sra 3) + signed-reg signed-num sran 3) (frob ash-right-unsigned fast-ash-right/unsigned=>unsigned - unsigned-reg unsigned-num srl 3) - #+(and sparc-v9 sparc-v8plus) - (frob ash-right-signed fast-ash-right/signed64=>signed64 - signed64-reg signed64-num srax 3) - #+(and sparc-v9 sparc-v8plus) - (frob ash-right-unsigned fast-ash-right/unsigned64=>unsigned64 - unsigned64-reg unsigned64-num srlx 3) + unsigned-reg unsigned-num srln 3) ) ;; Constant right shift. @@ -585,32 +579,11 @@ (move result number) (inst ,shift-inst result number amount)))))) (frob ash-right-signed fast-ash-right-c/signed=>signed - signed-reg signed-num sra 1 31) + signed-reg signed-num sran 1 63) (frob ash-right-unsigned fast-ash-right-c/unsigned=>unsigned - unsigned-reg unsigned-num srl 1 31) - #+(and sparc-v9 sparc-v8plus) - (frob ash-right-signed fast-ash-right-c/signed64=>signed64 - signed64-reg signed64-num srax 1 63) - #+(and sparc-v9 sparc-v8plus) - (frob ash-right-unsigned fast-ash-right-c/unsigned64=>unsigned64 - unsigned64-reg unsigned64-num srlx 1 63) + unsigned-reg unsigned-num srln 1 63) ) -#+nil -(define-vop (fash-ash-right-c/signed=>signed fast-signed-binop-c) - (:args (x :target r :scs (signed-reg zero))) - (:arg-types signed-num - (:constant (integer 0 31))) - (:results (r :scs (signed-reg))) - (:result-types signed-num) - (:translate ash-right-signed) - (:note _N"inline (signed-byte 32) arithmetic") - (:generator 1 - (if (zerop y) - (move r x) - (inst srln r x y)))) - - (define-vop (fast-ash-right/fixnum=>fixnum) (:note _N"inline right ASH") (:translate ash-right-signed) View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/compare/34f8edd9936a038e22820e6e… --- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/compare/34f8edd9936a038e22820e6e… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][sparc64-dev] 3 commits: Make target fixnum 61 bits long
by Raymond Toy 04 Jan '18

04 Jan '18

Raymond Toy pushed to branch sparc64-dev at cmucl / cmucl Commits: 93f40930 by Raymond Toy at 2018-01-03T16:13:54-08:00 Make target fixnum 61 bits long Let's try this and see how far we can get. If it proves to be too complicated, revert this and use 30-bit fixnums instead of 62-bit fixnums. - - - - - dc477f5b by Raymond Toy at 2018-01-03T16:15:48-08:00 Fix typo: sparc64 -> sparc-64. - - - - - 34f8edd9 by Raymond Toy at 2018-01-03T19:52:03-08:00 Bignum digits is still int for sparc64 For simplicity, we're keeping bignum digits in a 32-bit object because sparc-v9 doesn't have a 64x64->128 multiply. - - - - - 1 changed file: - src/compiler/generic/objdef.lisp Changes: ===================================== src/compiler/generic/objdef.lisp ===================================== --- a/src/compiler/generic/objdef.lisp +++ b/src/compiler/generic/objdef.lisp @@ -92,10 +92,12 @@ ); eval-when -(defparameter target-most-positive-fixnum (1- (ash 1 #-amd64 29 #+amd64 61)) +(defparameter target-most-positive-fixnum + (1- (ash 1 #-(or amd64 sparc-64) 29 #+(or amd64 sparc-64) 61)) "most-positive-fixnum in the target architecture.") -(defparameter target-most-negative-fixnum (ash -1 #-amd64 29 #+amd64 61) +(defparameter target-most-negative-fixnum + (ash -1 #-(or amd64 sparc-64) 29 #+(or amd64 sparc-64) 61) "most-negative-fixnum in the target architecture.") @@ -202,7 +204,11 @@ (define-primitive-object (bignum :lowtag other-pointer-type :header bignum-type :alloc-trans bignum::%allocate-bignum) - (digits :rest-p t :c-type #-alpha "long" #+alpha "u32")) + (digits :rest-p t + :c-type + #-(or alpha sparc-v9) "long" + #+alpha "u32" + #+sparc-v9 "int")) (define-primitive-object (ratio :type ratio :lowtag other-pointer-type View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/compare/5e00e1dc01a4e19469e10d23… --- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/compare/5e00e1dc01a4e19469e10d23… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0

[Git][cmucl/cmucl][sparc64-dev] Replace li with v9 version
by Raymond Toy 03 Jan '18

03 Jan '18

Raymond Toy pushed to branch sparc64-dev at cmucl / cmucl Commits: 5e00e1dc by Raymond Toy at 2018-01-03T14:11:29-08:00 Replace li with v9 version Also Remove the old version that was 32-bit. - - - - - 1 changed file: - src/compiler/sparc64/insts.lisp Changes: ===================================== src/compiler/sparc64/insts.lisp ===================================== --- a/src/compiler/sparc64/insts.lisp +++ b/src/compiler/sparc64/insts.lisp @@ -2063,52 +2063,10 @@ about function addresses and register values.") ;;;; li, jali, ji, nop, cmp, not, neg, move, and more -#-sparc-v9 -(defun %li (reg value) - (etypecase value - ((signed-byte 13) - (inst add reg zero-tn value)) - ((or (signed-byte 32) (unsigned-byte 32)) - (let ((hi (ldb (byte 22 10) value)) - (lo (ldb (byte 10 0) value))) - (inst sethi reg hi) - (unless (zerop lo) - (inst add reg lo)))) - (fixup - (inst sethi reg value) - (inst add reg value)))) - -#+sparc-v9 -(defun %li (reg value) - (etypecase value - ((signed-byte 13) - (inst add reg zero-tn value)) - ((unsigned-byte 32) - (let ((hi (ldb (byte 22 10) value)) - (lo (ldb (byte 10 0) value))) - ;; Sethi sets the top 32-bits to zero. - (inst sethi reg hi) - (unless (zerop lo) - (inst add reg lo)))) - ((signed-byte 32) - (let ((hi (ldb (byte 22 10) value)) - (lo (ldb (byte 10 0) value))) - ;; Sethi sets the top 32-bits to zero. - (inst sethi reg hi) - (unless (zerop lo) - (inst add reg lo)) - ;; Sign-extend the result - (inst signx reg))) - (fixup - (inst sethi reg value) - (inst add reg value)))) - (define-instruction-macro li (reg value) `(%li ,reg ,value)) -#+sparc-v9 -(progn -(defun %li64 (reg value &optional temp) +(defun %li (reg value &optional temp) (etypecase value ((signed-byte 13) (inst add reg zero-tn value)) @@ -2168,10 +2126,6 @@ about function addresses and register values.") (inst sethi reg value) (inst add reg value)))) -(define-instruction-macro li64 (reg value &optional temp) - `(%li64 ,reg ,value ,temp)) - -) ;; Define LDN/STN synthetic instructions to do "natural" loads and ;; stores for 32-bit or 64-bit objects depending on whether this is a View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/commit/5e00e1dc01a4e19469e10d230… --- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/commit/5e00e1dc01a4e19469e10d230… You're receiving this email because of your account on gitlab.common-lisp.net.

1 0