[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Gcl-devel] Re: Interpretation of random tester output
From: |
Camm Maguire |
Subject: |
[Gcl-devel] Re: Interpretation of random tester output |
Date: |
01 Mar 2004 22:22:47 -0500 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 |
Greetings, and thanks, Paul!
1) Your clear and very helpful explanations agree with my guesses as
to what the output was saying. But I'm still having a quandary.
After adjusting for the latest fix, I'm running the tester again
and found another form. I eval the :unoptimized-form with
arguments given in :vals, then the optimized form, and lastly I
compile the latter and run the compiled version on the same
arguments, and come up with the same answer all three times. (I
take the (lambda form, and change lambda to defun foo, could that
possibly be the difference?)
The example of which I speak is attached.
2) How long does one have to abort and find the g, y etc. variables
set?
3) What can :kind be besides optimized-form?
Many, many thanks!
=============================================================================
(:VARS (A B C D E F G H) :VALS
(1951007924893 10 -49879990 614214833752 -1808568999586 1282634
99 -2783010573143)
:FORM
(CEILING (CASE (LDB (BYTE 24 7)
(EXPT (CATCH 'CT6
(MULTIPLE-VALUE-PROG1
(LOGNAND
(RESTART-BIND ()
(FLET
((%F14
(&OPTIONAL (F14-1 B)
(F14-2
(MULTIPLE-VALUE-PROG1
(+ 1
(VALUES
(DOTIMES
(IV1 0 -25151273)
(PROGN -5885)))
E B)))
(F14-3 (- -370925481 H)))
-75842117))
-14543))
(LABELS
((%F11 (F11-1 F11-2 F11-3)
(ASH
(FLET
((%F17
(&OPTIONAL (F17-1 C)
(F17-2 -40708))
(* 35128932
(LET*
((V4 (LET () 254222)))
(LET ((V7 F11-3))
-203374598)))))
(FLET
((%F12 (F12-1 F12-2) B))
H))
(MIN 99
(DOTIMES
(IV3 3
(FLET
((%F17
(&OPTIONAL (F17-1 B)
(F17-2
(IF (>= 16 F11-2)
(RETURN-FROM %F11
(THROW 'CT6 16009))
(IF (> F11-3 B)
(RETURN-FROM %F11
-60031791)
93729))))
3703))
H))
(ASH -53 (MIN 51 434737)))))))
H))
(IF (>= E 42718185)
(PROGN
(TAGBODY
(- (SETF H -1100590108306))
4
(THROW 'CT6
(GCD 777
(FLET
((%F15
(F15-1 F15-2 F15-3
&OPTIONAL
(F15-4 15771)
(F15-5 A)
(F15-6 -790))
857753561))
-717563)))
TAG3
(REM
(FLET ((%F4 NIL H))
-161616)
(MAX 28
(LABELS ((%F17 (F17-1) H))
(MASK-FIELD (BYTE 24 14)
-9))))
0
(THROW 'CT6
(LET
((V9
(LET ((V2 44624))
(LET ((*S8* 65641620))
(LET* ((*S3* A)) B)))))
(THROW 'CT6 (GO TAG2))))
TAG2)
(DEPOSIT-FIELD E (BYTE 29 1) F))
(UNWIND-PROTECT F E B))
(LOGORC2
(* E F (CATCH 'CT7 E) D 1271204)
(ABS
(CATCH 'CT6
(BLOCK B5
(LOGNAND
(LOGIOR 6110049 -16481057
-1829 -27 134)
(FLET
((%F13 (F13-1 F13-2 F13-3)
(IF NIL (- D 1 F 192527)
C)))
(RETURN-FROM B5
(DOTIMES (IV2 1 E)
(%F13 IV2 34297
(%F13 D IV2 G))))))))))))
0))
((7 0 1 1 5)
(LABELS ((%F7 (F7-1)
(LDB (BYTE 1 15)
(MULTIPLE-VALUE-PROG1 1
(LDB (BYTE 20 14)
(CONDITIONS:HANDLER-BIND ()
A))
(RETURN-FROM %F7
(MASK-FIELD (BYTE 4 22)
-477490))))))
(LOGORC1 (UNWIND-PROTECT
(%F7 (%F7 -1))
(INTEGER-LENGTH
(EXPT
(FLET
((%F18 (F18-1 F18-2 F18-3)
(DENOMINATOR E)))
A)
2)))
(GCD (DOTIMES
(IV1 2
(PROGN
(TAGBODY
(PROGN C)
5
(LOGAND -2825913 G
(%F7 (%F7 (%F7 (%F7 F)))) -3)
TAG1
(%F7 (%F7 E))
4
(PROGN A)
6)
98227180))
(PROGN 7122945))
(COMPLEX
(LOGORC1
(1-
(IDENTITY
(LABELS ((%F6 NIL (%F7 B))) G)))
(PROGV '(*S2* *S3*)
(LIST 283483574 F)
(FUNCALL #'%F7
(IDENTITY
(LABELS
((%F17 (F17-1 F17-2)
-13339009))
C)))))
0)
(THE INTEGER
(LABELS
((%F2
(F2-1 &OPTIONAL (F2-2 6)
(F2-3 G))
(APPLY #'%F7 (LIST (FLOOR A)))))
(CATCH 'CT5
(LABELS
((%F17 (F17-1 F17-2 F17-3)
1471849))
(IF (> -346 11717) E C)))))
(MULTIPLE-VALUE-BIND (V7)
(DOTIMES
(IV2 0
(PROGV () ()
(PROGV () ()
(COMPLEX (%F7 (%F7 A)) 0))))
(+
(MASK-FIELD (BYTE 23 15)
-495286)
-1939))
(DOTIMES
(IV3 1
(BLOCK B3
(CASE 418383471
((877 437 899 100 40 974
536)
(/ H 1))
((792 316 777 886 697 181
780 196 901)
(LABELS
((%F18
(F18-1 F18-2 F18-3
&OPTIONAL (F18-4 V7)
(F18-5
(LET ()
(- E 85195325)))
(F18-6 78))
A))
(1-
(-
(LET* ((*S2* -968007))
-123)
(IF (/= 4 -2093191)
(RETURN-FROM B3
1708897542)
7127752)))))
((65 203) -99557129)
((110 497 159 443 442) A)
((280)
(INTEGER-LENGTH
(LOGORC1
(LABELS
((%F9
(&OPTIONAL
(F9-1
(PROGV '(*S8*)
(LIST E)
(RETURN-FROM B3
125)))
(F9-2 358202427)
(F9-3 (%F7 G)))
G))
(FUNCALL #'%F9 A 0 V7))
C)))
(T H))))
(PROGN A)))
69 H))))
(T (* (IF (AND (IF (> H A) (= E E)
(EQUAL -1727 -62114))
T)
(COERCE (LET ()
(PROGN
(TAGBODY
(PROGN 3)
2
(LOGAND -37)
TAG7)
0))
'INTEGER)
E)
(FLET ((%F6 (&OPTIONAL
(F6-1
(MASK-FIELD (BYTE 6 11) 16305)))
E))
(FLET ((%F2 (F2-1 F2-2)
(IF (EQL G (%F6 -60123422))
(LDB (BYTE 3 3) H) -303)))
G)))))
(MIN -18
(RATIONAL
(DOTIMES (IV2 1
(BLOCK B6
(LABELS
((%F7 NIL
(PROGV '(*S5* *S1* *S3*)
(LIST
(LDB (BYTE 12 11)
(LABELS
((%F11 (F11-1)
(FLET
((%F12
(F12-1 F12-2 F12-3
&OPTIONAL
(F12-4 A)
(F12-5 A))
-31014775))
(IMAGPART A))))
(APPLY #'%F11
(MIN -1 161
(LABELS
((%F7 NIL 0))
(NUMERATOR
(SETQ B 6))))
(LIST))))
(PROGN
(IF
(NOT
(AND
(IF
(OR (NOT T)
(<= -1493676186 B))
(TYPEP
(BLOCK B7
(*
(RATIONAL
(LABELS
((%F1
(F1-1
&OPTIONAL
(F1-2
(+ E
13177))
(F1-3
-615824331))
20348375))
1))
(COMPLEX
(LOGAND
(BLOCK B7
(FLET
((%F8
(F8-1)
-14518041))
(TRUNCATE
(IF
(EQL
1143
39377268)
-512017
97724900)))))
0)))
'(INTEGER
1325835974656
2054905489408))
(>
(IF (EQL -226 C)
(CONJUGATE
5826738)
35736059)
8683))
(NOT
(LDB-TEST
(BYTE 7 26)
(MAX B
(LET*
((V6 162793748))
F))))))
(LOGAND H A -195442
85349
(FLET
((%F9
(F9-1 F9-2 F9-3)
(LOGAND 45286
(LDB (BYTE 12 3)
17473)
C C
(IF
(/= 1258945 H)
-117 -29568))))
(IF (> F -8) G 584))
(DEPOSIT-FIELD E
(BYTE 2 27)
(FLET
((%F16 NIL
(PROGV () ()
(IF (< G D)
(LOGIOR
55119221)
G))))
(IF
(< 260270562 B)
(INTEGER-LENGTH
(%F16))
(CATCH 'CT2
(LABELS
((%F15 (F15-1)
F))
16))))))
(SETQ C 97791069)))
(REALPART
(DOTIMES
(IV2 3
(RATIONAL
(BLOCK B4
(FLET
((%F18
(F18-1 F18-2
F18-3)
(DOTIMES
(IV2 0
(LET
((*S1* F18-2))
(LABELS
((%F12
(F12-1)
(DOTIMES
(IV3 2
(GCD
*S1*
-924))
(LOGXOR
F18-3
(CATCH
'CT7
6013811)))))
(DOTIMES
(IV1 0
(LET ()
(* 0 E
404
(%F12
(ROUND
(COMPLEX
(LABELS
((%F11
NIL
(+
D
(*
(CEILING
2129))
(%F12
1974570)
(SIGNUM
F)
F18-1)))
(IF
T
-1546915
(PROGN
(TAGBODY
(PROGN
*S1*)
TAG4)
A)))
0)))
(CASE
52
((1)
(%F12
-505043))
((10)
(DEPOSIT-FIELD
-11
(BYTE
12
4)
F))
(T
F18-2)))))
(+
-114445
(UNWIND-PROTECT
(%F12
-329)
(PROGN
(DOTIMES
(IV4
0
1870706)
(PROGN
B)))))))))
(FLET
((%F3
(F3-1 F3-2)
(CEILING
(LOGXOR
F18-2
(LABELS
((%F6
(F6-1)
31329))
IV2)
G 3))))
(IF
(IF
(< G
835699)
(< E H) T)
(FLET
((%F7
(F7-1
F7-2
F7-3)
C))
(FUNCALL
#'%F3
(RETURN-FROM
B6
IV2)
(PROGN
(TAGBODY
(PROGN
C)
5
(FLET
((%F16
(F16-1)
(UNWIND-PROTECT
(CATCH
'CT6
IV2)
130
F16-1)))
-219570)
TAG3
(MAX
-380752
B)
0)
(%F7
(%F7
-3 E
1)
(%F3
H G)
D))))
-1)))))
(REALPART
(*
(MAX
(LET*
((V10 A))
-6)
F -228882
(CONJUGATE
(LABELS
((%F12
(F12-1
F12-2
F12-3)
(IF
(OR
(AND T
T)
(=
-63931
F12-3))
(RETURN-FROM
%F7
G)
(FLOOR
(IF T
(DOTIMES
(IV3 3
(IF
(/=
C
(%F18
5
C
-89219521))
(RETURN-FROM
%F12
(%F18
F12-3
7
G))
H))
(PROGN
D))
-73902)))))
(ABS
(FLET
((%F10
(F10-1
F10-2
F10-3)
(IF T
(MULTIPLE-VALUE-BIND
(*S4*)
-1224774
(ISQRT
(ABS
1012366)))
(%F18
17699
(%F12
-197
F10-1
13417)
(%F12
(%F12
28
1144136734
502120)
F10-2
-3017)))))
(LOGCOUNT
(+
-29696
-1))))))
(MULTIPLE-VALUE-CALL
#'%F18
(VALUES
-14148
(LABELS
((%F12
(F12-1)
-8161))
E)
C)))
(PROGV '(*S1*)
(LIST
(NUMERATOR
(IF
(EQUAL 27
(%F18 C C
A))
(IF
(IF
(>=
751437
-97)
(/= 2
(%F18
55500644
E 211))
(/=
-1072057
(%F18 B
490
(%F18
-13844
0 D))))
394661441
(MULTIPLE-VALUE-CALL
#'%F18
(VALUES
-3
(LOGIOR
B
(LOGORC1
366836
(CONJUGATE
(/
(DOTIMES
(IV2
3
(LET*
((V2
(CATCH
'CT6
D)))
E))
(LOGXOR
-6016
(GCD
G
-129)))
1)))
E
3153627)
(%F18
514619
E 11))))
(CATCH 'CT1
(ROUND
(MAX -26
(FLET
((%F9
(F9-1)
F))
F)
-1809835)
(MIN -48
(LABELS
((%F13
NIL
(THROW
'CT1
(ASH
-246
(MIN
45
(FUNCALL
#'%F18
605108550
A
F))))))
(SIGNUM
-1))))))))
(LOGNOR
(LOGORC2
1765
(LOGXOR D
(LABELS
((%F7
(&OPTIONAL
(F7-1
(LOGORC1
D
1150)))
E))
D)))
(FLET
((%F15
(F15-1
F15-2
&OPTIONAL
(F15-3
187)
(F15-4
H)
(F15-5
D))
-3889322))
D)))))))))
(FLET
((%F18 NIL
(DOTIMES
(IV1 2
(CATCH 'CT5
(DPB H
(BYTE 30 24)
C)))
(LET ((*S7* A))
549765))))
(FLET
((%F15 NIL
(LET
((*S2*
(RESTART-CASE
(%F18))))
(%F18))))
D)))))
(LDB (BYTE 1 5)
(SIGNUM
(COERCE
(ABS
(THE INTEGER
(+ -2159 1383
(PROGV
'(*S5* *S7*)
(LIST G
-638593422)
-26243))))
'INTEGER))))))
(LOGCOUNT
(MASK-FIELD (BYTE 26 26)
(LABELS
((%F12 NIL
(DENOMINATOR
(LOGAND
(LOGAND
(LABELS
((%F3
(F3-1 F3-2
&OPTIONAL
(F3-3 G))
236))
H)
(MACROLET ()
(ASH
(MULTIPLE-VALUE-BIND
(V6) C
(IGNORE-ERRORS
E))
(MIN 81 -13))))
(MOD
(DOTIMES (IV4 1 43)
(LET* ((V10 1))
(%F7)))
(MIN -77 C))
(CATCH 'CT1
(ROUND
(LABELS
((%F9 (F9-1) B))
(APPLY #'%F9
(ASH D
(MIN 88 0))
(LIST)))
(MAX 38
(PROGN
(1-
(SETF B -2))))))))))
(CATCH 'CT8
(IF (< (%F12) B) A
-765))))))))
(BLOCK B8
(* (MIN (PROG1 -4
(LABELS
((%F3
(F3-1 F3-2 &OPTIONAL
(F3-3 (CATCH 'CT8 -4602)))
(TRUNCATE
(GCD G G 27 -395127755)
(MIN -2
(CASE IV2
((-15)
(CATCH 'CT2
(SETF G 19)))
((-42 25 -236) G)
((-167 147 10 12) -11415)
((-18 5) -5202993)
((-234 -221 44 -182 160
8)
C)
((-37 -248) A)
((-106 61 188 -144 8 95
227 -107 -78)
-26)
(T -121002))))))
-2)
-937758))
(LOCALLY
(FLET ((%F13
(F13-1 F13-2 &OPTIONAL
(F13-3 543950155)
(F13-4
(MASK-FIELD (BYTE 3 22)
(IF (OR T (NOT NIL))
(SETF F 999325)
(LABELS
((%F12 NIL
(GCD
(*
(FLET ((%F6 NIL -4))
(%F6))
-123 G IV2))))
498821244)))))
(CONDITIONS:HANDLER-CASE
(RATIONALIZE
(BLOCK B8
(LABELS
((%F5 (F5-1 F5-2 F5-3)
(FLET
((%F2 (F2-1 F2-2)
1823))
(* 6 -70 G -997667
-53940 10458320))))
(MAX (LOGORC1 E H)
(PROGV
'(*S7* *S2* *S5*)
(LIST (NUMERATOR G)
205
(LET*
((V10 630674429))
(IDENTITY
(%F5 -3507 F13-4
A))))
-2)
F13-1)))))))
(%F13 -1 C (LOGANDC1 -108 189))))))))))
:VAR-TYPES
((INTEGER -2806612475904 8750665416704) (INTEGER -3 10)
(INTEGER -94336824 116591592)
(INTEGER 456813135872 903636350976)
(INTEGER -2364199833600 -172353318912) (INTEGER 717 1760915)
(INTEGER -21 105) (INTEGER -3579048169472 -346272903168))
:DECLS1
((SPEED 2) (SPACE 1) (SAFETY 0) (DEBUG 0) (COMPILATION-SPEED 0))
:DECLS2
((SPEED 2) (SPACE 1) (SAFETY 2) (DEBUG 0) (COMPILATION-SPEED 2))
:OPTIMIZED-LAMBDA-FORM
(LAMBDA (A B C D E F G H)
(DECLARE (TYPE (INTEGER -2806612475904 8750665416704) A))
(DECLARE (TYPE (INTEGER -3 10) B))
(DECLARE (TYPE (INTEGER -94336824 116591592) C))
(DECLARE (TYPE (INTEGER 456813135872 903636350976) D))
(DECLARE (TYPE (INTEGER -2364199833600 -172353318912) E))
(DECLARE (TYPE (INTEGER 717 1760915) F))
(DECLARE (TYPE (INTEGER -21 105) G))
(DECLARE (TYPE (INTEGER -3579048169472 -346272903168) H))
(DECLARE (IGNORABLE A B C D E F G H))
(DECLARE (OPTIMIZE (SPEED 2) (SPACE 1) (SAFETY 0) (DEBUG 0)
(COMPILATION-SPEED 0)))
(CEILING (CASE (LDB (BYTE 24 7)
(EXPT (CATCH 'CT6
(MULTIPLE-VALUE-PROG1
(LOGNAND
(RESTART-BIND ()
(FLET
((%F14
(&OPTIONAL (F14-1 B)
(F14-2
(MULTIPLE-VALUE-PROG1
(+ 1
(VALUES
(DOTIMES
(IV1 0 -25151273)
(PROGN -5885)))
E B)))
(F14-3 (- -370925481 H)))
-75842117))
-14543))
(LABELS
((%F11 (F11-1 F11-2 F11-3)
(ASH
(FLET
((%F17
(&OPTIONAL (F17-1 C)
(F17-2 -40708))
(* 35128932
(LET*
((V4 (LET () 254222)))
(LET ((V7 F11-3))
-203374598)))))
(FLET
((%F12 (F12-1 F12-2) B))
H))
(MIN 99
(DOTIMES
(IV3 3
(FLET
((%F17
(&OPTIONAL (F17-1 B)
(F17-2
(IF (>= 16 F11-2)
(RETURN-FROM %F11
(THROW 'CT6
16009))
(IF (> F11-3 B)
(RETURN-FROM %F11
-60031791)
93729))))
3703))
H))
(ASH -53 (MIN 51 434737)))))))
H))
(IF (>= E 42718185)
(PROGN
(TAGBODY
(- (SETF H -1100590108306))
4
(THROW 'CT6
(GCD 777
(FLET
((%F15
(F15-1 F15-2 F15-3
&OPTIONAL
(F15-4 15771)
(F15-5 A)
(F15-6 -790))
857753561))
-717563)))
TAG3
(REM
(FLET ((%F4 NIL H))
-161616)
(MAX 28
(LABELS
((%F17 (F17-1) H))
(MASK-FIELD
(BYTE 24 14) -9))))
0
(THROW 'CT6
(LET
((V9
(LET ((V2 44624))
(LET
((*S8* 65641620))
(LET* ((*S3* A))
B)))))
(THROW 'CT6 (GO TAG2))))
TAG2)
(DEPOSIT-FIELD E (BYTE 29 1)
F))
(UNWIND-PROTECT F E B))
(LOGORC2
(* E F (CATCH 'CT7 E) D
1271204)
(ABS
(CATCH 'CT6
(BLOCK B5
(LOGNAND
(LOGIOR 6110049 -16481057
-1829 -27 134)
(FLET
((%F13
(F13-1 F13-2 F13-3)
(IF NIL
(- D 1 F 192527) C)))
(RETURN-FROM B5
(DOTIMES (IV2 1 E)
(%F13 IV2 34297
(%F13 D IV2 G))))))))))))
0))
((7 0 1 1 5)
(LABELS ((%F7 (F7-1)
(LDB (BYTE 1 15)
(MULTIPLE-VALUE-PROG1 1
(LDB (BYTE 20 14)
(CONDITIONS:HANDLER-BIND () A))
(RETURN-FROM %F7
(MASK-FIELD (BYTE 4 22)
-477490))))))
(LOGORC1 (UNWIND-PROTECT
(%F7 (%F7 -1))
(INTEGER-LENGTH
(EXPT
(FLET
((%F18 (F18-1 F18-2 F18-3)
(DENOMINATOR E)))
A)
2)))
(GCD (DOTIMES
(IV1 2
(PROGN
(TAGBODY
(PROGN C)
5
(LOGAND -2825913 G
(%F7 (%F7 (%F7 (%F7 F))))
-3)
TAG1
(%F7 (%F7 E))
4
(PROGN A)
6)
98227180))
(PROGN 7122945))
(COMPLEX
(LOGORC1
(1-
(IDENTITY
(LABELS ((%F6 NIL (%F7 B)))
G)))
(PROGV '(*S2* *S3*)
(LIST 283483574 F)
(FUNCALL #'%F7
(IDENTITY
(LABELS
((%F17 (F17-1 F17-2)
-13339009))
C)))))
0)
(THE INTEGER
(LABELS
((%F2
(F2-1 &OPTIONAL (F2-2 6)
(F2-3 G))
(APPLY #'%F7
(LIST (FLOOR A)))))
(CATCH 'CT5
(LABELS
((%F17 (F17-1 F17-2 F17-3)
1471849))
(IF (> -346 11717) E C)))))
(MULTIPLE-VALUE-BIND (V7)
(DOTIMES
(IV2 0
(PROGV () ()
(PROGV () ()
(COMPLEX (%F7 (%F7 A)) 0))))
(+
(MASK-FIELD (BYTE 23 15)
-495286)
-1939))
(DOTIMES
(IV3 1
(BLOCK B3
(CASE 418383471
((877 437 899 100 40 974
536)
(/ H 1))
((792 316 777 886 697 181
780 196 901)
(LABELS
((%F18
(F18-1 F18-2 F18-3
&OPTIONAL (F18-4 V7)
(F18-5
(LET ()
(- E 85195325)))
(F18-6 78))
A))
(1-
(-
(LET*
((*S2* -968007))
-123)
(IF (/= 4 -2093191)
(RETURN-FROM B3
1708897542)
7127752)))))
((65 203) -99557129)
((110 497 159 443 442) A)
((280)
(INTEGER-LENGTH
(LOGORC1
(LABELS
((%F9
(&OPTIONAL
(F9-1
(PROGV '(*S8*)
(LIST E)
(RETURN-FROM B3
125)))
(F9-2 358202427)
(F9-3 (%F7 G)))
G))
(FUNCALL #'%F9 A 0
V7))
C)))
(T H))))
(PROGN A)))
69 H))))
(T (* (IF (AND (IF (> H A) (= E E)
(EQUAL -1727 -62114))
T)
(COERCE (LET ()
(PROGN
(TAGBODY
(PROGN 3)
2
(LOGAND -37)
TAG7)
0))
'INTEGER)
E)
(FLET ((%F6 (&OPTIONAL
(F6-1
(MASK-FIELD (BYTE 6 11) 16305)))
E))
(FLET ((%F2 (F2-1 F2-2)
(IF (EQL G (%F6 -60123422))
(LDB (BYTE 3 3) H) -303)))
G)))))
(MIN -18
(RATIONAL
(DOTIMES (IV2 1
(BLOCK B6
(LABELS
((%F7 NIL
(PROGV '(*S5* *S1* *S3*)
(LIST
(LDB (BYTE 12 11)
(LABELS
((%F11 (F11-1)
(FLET
((%F12
(F12-1 F12-2 F12-3
&OPTIONAL (F12-4 A)
(F12-5 A))
-31014775))
(IMAGPART A))))
(APPLY #'%F11
(MIN -1 161
(LABELS ((%F7 NIL 0))
(NUMERATOR
(SETQ B 6))))
(LIST))))
(PROGN
(IF
(NOT
(AND
(IF
(OR (NOT T)
(<= -1493676186 B))
(TYPEP
(BLOCK B7
(*
(RATIONAL
(LABELS
((%F1
(F1-1
&OPTIONAL
(F1-2
(+ E 13177))
(F1-3
-615824331))
20348375))
1))
(COMPLEX
(LOGAND
(BLOCK B7
(FLET
((%F8 (F8-1)
-14518041))
(TRUNCATE
(IF
(EQL 1143
39377268)
-512017
97724900)))))
0)))
'(INTEGER
1325835974656
2054905489408))
(>
(IF (EQL -226 C)
(CONJUGATE 5826738)
35736059)
8683))
(NOT
(LDB-TEST (BYTE 7 26)
(MAX B
(LET*
((V6 162793748))
F))))))
(LOGAND H A -195442
85349
(FLET
((%F9 (F9-1 F9-2 F9-3)
(LOGAND 45286
(LDB (BYTE 12 3)
17473)
C C
(IF (/= 1258945 H)
-117 -29568))))
(IF (> F -8) G 584))
(DEPOSIT-FIELD E
(BYTE 2 27)
(FLET
((%F16 NIL
(PROGV () ()
(IF (< G D)
(LOGIOR
55119221)
G))))
(IF (< 260270562 B)
(INTEGER-LENGTH
(%F16))
(CATCH 'CT2
(LABELS
((%F15 (F15-1)
F))
16))))))
(SETQ C 97791069)))
(REALPART
(DOTIMES
(IV2 3
(RATIONAL
(BLOCK B4
(FLET
((%F18
(F18-1 F18-2
F18-3)
(DOTIMES
(IV2 0
(LET
((*S1* F18-2))
(LABELS
((%F12
(F12-1)
(DOTIMES
(IV3 2
(GCD *S1*
-924))
(LOGXOR
F18-3
(CATCH
'CT7
6013811)))))
(DOTIMES
(IV1 0
(LET ()
(* 0 E
404
(%F12
(ROUND
(COMPLEX
(LABELS
((%F11
NIL
(+
D
(*
(CEILING
2129))
(%F12
1974570)
(SIGNUM
F)
F18-1)))
(IF
T
-1546915
(PROGN
(TAGBODY
(PROGN
*S1*)
TAG4)
A)))
0)))
(CASE
52
((1)
(%F12
-505043))
((10)
(DEPOSIT-FIELD
-11
(BYTE
12
4)
F))
(T
F18-2)))))
(+ -114445
(UNWIND-PROTECT
(%F12
-329)
(PROGN
(DOTIMES
(IV4
0
1870706)
(PROGN
B)))))))))
(FLET
((%F3
(F3-1 F3-2)
(CEILING
(LOGXOR
F18-2
(LABELS
((%F6
(F6-1)
31329))
IV2)
G 3))))
(IF
(IF
(< G 835699)
(< E H) T)
(FLET
((%F7
(F7-1 F7-2
F7-3)
C))
(FUNCALL
#'%F3
(RETURN-FROM
B6
IV2)
(PROGN
(TAGBODY
(PROGN
C)
5
(FLET
((%F16
(F16-1)
(UNWIND-PROTECT
(CATCH
'CT6
IV2)
130
F16-1)))
-219570)
TAG3
(MAX
-380752
B)
0)
(%F7
(%F7 -3
E 1)
(%F3 H
G)
D))))
-1)))))
(REALPART
(*
(MAX
(LET* ((V10 A))
-6)
F -228882
(CONJUGATE
(LABELS
((%F12
(F12-1 F12-2
F12-3)
(IF
(OR
(AND T T)
(= -63931
F12-3))
(RETURN-FROM
%F7
G)
(FLOOR
(IF T
(DOTIMES
(IV3 3
(IF
(/= C
(%F18
5 C
-89219521))
(RETURN-FROM
%F12
(%F18
F12-3
7
G))
H))
(PROGN
D))
-73902)))))
(ABS
(FLET
((%F10
(F10-1
F10-2
F10-3)
(IF T
(MULTIPLE-VALUE-BIND
(*S4*)
-1224774
(ISQRT
(ABS
1012366)))
(%F18
17699
(%F12
-197
F10-1
13417)
(%F12
(%F12
28
1144136734
502120)
F10-2
-3017)))))
(LOGCOUNT
(+ -29696
-1))))))
(MULTIPLE-VALUE-CALL
#'%F18
(VALUES -14148
(LABELS
((%F12
(F12-1)
-8161))
E)
C)))
(PROGV '(*S1*)
(LIST
(NUMERATOR
(IF
(EQUAL 27
(%F18 C C A))
(IF
(IF
(>= 751437
-97)
(/= 2
(%F18
55500644
E 211))
(/=
-1072057
(%F18 B
490
(%F18
-13844 0
D))))
394661441
(MULTIPLE-VALUE-CALL
#'%F18
(VALUES -3
(LOGIOR B
(LOGORC1
366836
(CONJUGATE
(/
(DOTIMES
(IV2
3
(LET*
((V2
(CATCH
'CT6
D)))
E))
(LOGXOR
-6016
(GCD
G
-129)))
1)))
E
3153627)
(%F18
514619 E
11))))
(CATCH 'CT1
(ROUND
(MAX -26
(FLET
((%F9
(F9-1)
F))
F)
-1809835)
(MIN -48
(LABELS
((%F13
NIL
(THROW
'CT1
(ASH
-246
(MIN
45
(FUNCALL
#'%F18
605108550
A
F))))))
(SIGNUM
-1))))))))
(LOGNOR
(LOGORC2 1765
(LOGXOR D
(LABELS
((%F7
(&OPTIONAL
(F7-1
(LOGORC1
D
1150)))
E))
D)))
(FLET
((%F15
(F15-1
F15-2
&OPTIONAL
(F15-3
187)
(F15-4 H)
(F15-5 D))
-3889322))
D)))))))))
(FLET
((%F18 NIL
(DOTIMES
(IV1 2
(CATCH 'CT5
(DPB H
(BYTE 30 24) C)))
(LET ((*S7* A))
549765))))
(FLET
((%F15 NIL
(LET
((*S2*
(RESTART-CASE
(%F18))))
(%F18))))
D)))))
(LDB (BYTE 1 5)
(SIGNUM
(COERCE
(ABS
(THE INTEGER
(+ -2159 1383
(PROGV '(*S5* *S7*)
(LIST G -638593422)
-26243))))
'INTEGER))))))
(LOGCOUNT
(MASK-FIELD (BYTE 26 26)
(LABELS
((%F12 NIL
(DENOMINATOR
(LOGAND
(LOGAND
(LABELS
((%F3
(F3-1 F3-2
&OPTIONAL
(F3-3 G))
236))
H)
(MACROLET ()
(ASH
(MULTIPLE-VALUE-BIND
(V6) C
(IGNORE-ERRORS E))
(MIN 81 -13))))
(MOD
(DOTIMES (IV4 1 43)
(LET* ((V10 1))
(%F7)))
(MIN -77 C))
(CATCH 'CT1
(ROUND
(LABELS
((%F9 (F9-1) B))
(APPLY #'%F9
(ASH D
(MIN 88 0))
(LIST)))
(MAX 38
(PROGN
(1- (SETF B -2))))))))))
(CATCH 'CT8
(IF (< (%F12) B) A -765))))))))
(BLOCK B8
(* (MIN (PROG1 -4
(LABELS
((%F3
(F3-1 F3-2 &OPTIONAL
(F3-3 (CATCH 'CT8 -4602)))
(TRUNCATE
(GCD G G 27 -395127755)
(MIN -2
(CASE IV2
((-15)
(CATCH 'CT2
(SETF G 19)))
((-42 25 -236) G)
((-167 147 10 12)
-11415)
((-18 5) -5202993)
((-234 -221 44 -182 160
8)
C)
((-37 -248) A)
((-106 61 188 -144 8 95
227 -107 -78)
-26)
(T -121002))))))
-2)
-937758))
(LOCALLY
(FLET
((%F13
(F13-1 F13-2 &OPTIONAL
(F13-3 543950155)
(F13-4
(MASK-FIELD (BYTE 3 22)
(IF (OR T (NOT NIL))
(SETF F 999325)
(LABELS
((%F12 NIL
(GCD
(*
(FLET ((%F6 NIL -4))
(%F6))
-123 G IV2))))
498821244)))))
(CONDITIONS:HANDLER-CASE
(RATIONALIZE
(BLOCK B8
(LABELS
((%F5 (F5-1 F5-2 F5-3)
(FLET
((%F2 (F2-1 F2-2) 1823))
(* 6 -70 G -997667
-53940 10458320))))
(MAX (LOGORC1 E H)
(PROGV '(*S7* *S2* *S5*)
(LIST (NUMERATOR G) 205
(LET* ((V10 630674429))
(IDENTITY
(%F5 -3507 F13-4 A))))
-2)
F13-1)))))))
(%F13 -1 C (LOGANDC1 -108 189)))))))))))
:UNOPTIMIZED-LAMBDA-FORM
(LAMBDA (A B C D E F G H)
(DECLARE (NOTINLINE LOGANDC1 IDENTITY NUMERATOR LIST LOGORC1
MAX * RATIONALIZE GCD NOT BYTE MASK-FIELD MIN
TRUNCATE < 1- ASH APPLY ROUND MOD LOGAND
DENOMINATOR LOGCOUNT + ABS COERCE SIGNUM LDB DPB
LOGXOR LOGORC2 LOGNOR FUNCALL / CONJUGATE LOGIOR
VALUES /= >= EQUAL ISQRT FLOOR = REALPART CEILING
DEPOSIT-FIELD COMPLEX RATIONAL INTEGER-LENGTH >
LDB-TEST EQL TYPEP <= IMAGPART - EXPT LOGNAND
REM))
(DECLARE (OPTIMIZE (SPEED 2) (SPACE 1) (SAFETY 2) (DEBUG 0)
(COMPILATION-SPEED 2)))
(CEILING (CASE (LDB (BYTE 24 7)
(EXPT (CATCH 'CT6
(MULTIPLE-VALUE-PROG1
(LOGNAND
(RESTART-BIND ()
(FLET
((%F14
(&OPTIONAL (F14-1 B)
(F14-2
(MULTIPLE-VALUE-PROG1
(+ 1
(VALUES
(DOTIMES
(IV1 0 -25151273)
(PROGN -5885)))
E B)))
(F14-3 (- -370925481 H)))
-75842117))
-14543))
(LABELS
((%F11 (F11-1 F11-2 F11-3)
(ASH
(FLET
((%F17
(&OPTIONAL (F17-1 C)
(F17-2 -40708))
(* 35128932
(LET*
((V4 (LET () 254222)))
(LET ((V7 F11-3))
-203374598)))))
(FLET
((%F12 (F12-1 F12-2) B))
H))
(MIN 99
(DOTIMES
(IV3 3
(FLET
((%F17
(&OPTIONAL (F17-1 B)
(F17-2
(IF (>= 16 F11-2)
(RETURN-FROM %F11
(THROW 'CT6
16009))
(IF (> F11-3 B)
(RETURN-FROM %F11
-60031791)
93729))))
3703))
H))
(ASH -53 (MIN 51 434737)))))))
H))
(IF (>= E 42718185)
(PROGN
(TAGBODY
(- (SETF H -1100590108306))
4
(THROW 'CT6
(GCD 777
(FLET
((%F15
(F15-1 F15-2 F15-3
&OPTIONAL
(F15-4 15771)
(F15-5 A)
(F15-6 -790))
857753561))
-717563)))
TAG3
(REM
(FLET ((%F4 NIL H))
-161616)
(MAX 28
(LABELS
((%F17 (F17-1) H))
(MASK-FIELD
(BYTE 24 14) -9))))
0
(THROW 'CT6
(LET
((V9
(LET ((V2 44624))
(LET
((*S8* 65641620))
(LET* ((*S3* A))
B)))))
(THROW 'CT6 (GO TAG2))))
TAG2)
(DEPOSIT-FIELD E (BYTE 29 1)
F))
(UNWIND-PROTECT F E B))
(LOGORC2
(* E F (CATCH 'CT7 E) D
1271204)
(ABS
(CATCH 'CT6
(BLOCK B5
(LOGNAND
(LOGIOR 6110049 -16481057
-1829 -27 134)
(FLET
((%F13
(F13-1 F13-2 F13-3)
(IF NIL
(- D 1 F 192527) C)))
(RETURN-FROM B5
(DOTIMES (IV2 1 E)
(%F13 IV2 34297
(%F13 D IV2 G))))))))))))
0))
((7 0 1 1 5)
(LABELS ((%F7 (F7-1)
(LDB (BYTE 1 15)
(MULTIPLE-VALUE-PROG1 1
(LDB (BYTE 20 14)
(CONDITIONS:HANDLER-BIND () A))
(RETURN-FROM %F7
(MASK-FIELD (BYTE 4 22)
-477490))))))
(LOGORC1 (UNWIND-PROTECT
(%F7 (%F7 -1))
(INTEGER-LENGTH
(EXPT
(FLET
((%F18 (F18-1 F18-2 F18-3)
(DENOMINATOR E)))
A)
2)))
(GCD (DOTIMES
(IV1 2
(PROGN
(TAGBODY
(PROGN C)
5
(LOGAND -2825913 G
(%F7 (%F7 (%F7 (%F7 F))))
-3)
TAG1
(%F7 (%F7 E))
4
(PROGN A)
6)
98227180))
(PROGN 7122945))
(COMPLEX
(LOGORC1
(1-
(IDENTITY
(LABELS ((%F6 NIL (%F7 B)))
G)))
(PROGV '(*S2* *S3*)
(LIST 283483574 F)
(FUNCALL #'%F7
(IDENTITY
(LABELS
((%F17 (F17-1 F17-2)
-13339009))
C)))))
0)
(THE INTEGER
(LABELS
((%F2
(F2-1 &OPTIONAL (F2-2 6)
(F2-3 G))
(APPLY #'%F7
(LIST (FLOOR A)))))
(CATCH 'CT5
(LABELS
((%F17 (F17-1 F17-2 F17-3)
1471849))
(IF (> -346 11717) E C)))))
(MULTIPLE-VALUE-BIND (V7)
(DOTIMES
(IV2 0
(PROGV () ()
(PROGV () ()
(COMPLEX (%F7 (%F7 A)) 0))))
(+
(MASK-FIELD (BYTE 23 15)
-495286)
-1939))
(DOTIMES
(IV3 1
(BLOCK B3
(CASE 418383471
((877 437 899 100 40 974
536)
(/ H 1))
((792 316 777 886 697 181
780 196 901)
(LABELS
((%F18
(F18-1 F18-2 F18-3
&OPTIONAL (F18-4 V7)
(F18-5
(LET ()
(- E 85195325)))
(F18-6 78))
A))
(1-
(-
(LET*
((*S2* -968007))
-123)
(IF (/= 4 -2093191)
(RETURN-FROM B3
1708897542)
7127752)))))
((65 203) -99557129)
((110 497 159 443 442) A)
((280)
(INTEGER-LENGTH
(LOGORC1
(LABELS
((%F9
(&OPTIONAL
(F9-1
(PROGV '(*S8*)
(LIST E)
(RETURN-FROM B3
125)))
(F9-2 358202427)
(F9-3 (%F7 G)))
G))
(FUNCALL #'%F9 A 0
V7))
C)))
(T H))))
(PROGN A)))
69 H))))
(T (* (IF (AND (IF (> H A) (= E E)
(EQUAL -1727 -62114))
T)
(COERCE (LET ()
(PROGN
(TAGBODY
(PROGN 3)
2
(LOGAND -37)
TAG7)
0))
'INTEGER)
E)
(FLET ((%F6 (&OPTIONAL
(F6-1
(MASK-FIELD (BYTE 6 11) 16305)))
E))
(FLET ((%F2 (F2-1 F2-2)
(IF (EQL G (%F6 -60123422))
(LDB (BYTE 3 3) H) -303)))
G)))))
(MIN -18
(RATIONAL
(DOTIMES (IV2 1
(BLOCK B6
(LABELS
((%F7 NIL
(PROGV '(*S5* *S1* *S3*)
(LIST
(LDB (BYTE 12 11)
(LABELS
((%F11 (F11-1)
(FLET
((%F12
(F12-1 F12-2 F12-3
&OPTIONAL (F12-4 A)
(F12-5 A))
-31014775))
(IMAGPART A))))
(APPLY #'%F11
(MIN -1 161
(LABELS ((%F7 NIL 0))
(NUMERATOR
(SETQ B 6))))
(LIST))))
(PROGN
(IF
(NOT
(AND
(IF
(OR (NOT T)
(<= -1493676186 B))
(TYPEP
(BLOCK B7
(*
(RATIONAL
(LABELS
((%F1
(F1-1
&OPTIONAL
(F1-2
(+ E 13177))
(F1-3
-615824331))
20348375))
1))
(COMPLEX
(LOGAND
(BLOCK B7
(FLET
((%F8 (F8-1)
-14518041))
(TRUNCATE
(IF
(EQL 1143
39377268)
-512017
97724900)))))
0)))
'(INTEGER
1325835974656
2054905489408))
(>
(IF (EQL -226 C)
(CONJUGATE 5826738)
35736059)
8683))
(NOT
(LDB-TEST (BYTE 7 26)
(MAX B
(LET*
((V6 162793748))
F))))))
(LOGAND H A -195442
85349
(FLET
((%F9 (F9-1 F9-2 F9-3)
(LOGAND 45286
(LDB (BYTE 12 3)
17473)
C C
(IF (/= 1258945 H)
-117 -29568))))
(IF (> F -8) G 584))
(DEPOSIT-FIELD E
(BYTE 2 27)
(FLET
((%F16 NIL
(PROGV () ()
(IF (< G D)
(LOGIOR
55119221)
G))))
(IF (< 260270562 B)
(INTEGER-LENGTH
(%F16))
(CATCH 'CT2
(LABELS
((%F15 (F15-1)
F))
16))))))
(SETQ C 97791069)))
(REALPART
(DOTIMES
(IV2 3
(RATIONAL
(BLOCK B4
(FLET
((%F18
(F18-1 F18-2
F18-3)
(DOTIMES
(IV2 0
(LET
((*S1* F18-2))
(LABELS
((%F12
(F12-1)
(DOTIMES
(IV3 2
(GCD *S1*
-924))
(LOGXOR
F18-3
(CATCH
'CT7
6013811)))))
(DOTIMES
(IV1 0
(LET ()
(* 0 E
404
(%F12
(ROUND
(COMPLEX
(LABELS
((%F11
NIL
(+
D
(*
(CEILING
2129))
(%F12
1974570)
(SIGNUM
F)
F18-1)))
(IF
T
-1546915
(PROGN
(TAGBODY
(PROGN
*S1*)
TAG4)
A)))
0)))
(CASE
52
((1)
(%F12
-505043))
((10)
(DEPOSIT-FIELD
-11
(BYTE
12
4)
F))
(T
F18-2)))))
(+ -114445
(UNWIND-PROTECT
(%F12
-329)
(PROGN
(DOTIMES
(IV4
0
1870706)
(PROGN
B)))))))))
(FLET
((%F3
(F3-1 F3-2)
(CEILING
(LOGXOR
F18-2
(LABELS
((%F6
(F6-1)
31329))
IV2)
G 3))))
(IF
(IF
(< G 835699)
(< E H) T)
(FLET
((%F7
(F7-1 F7-2
F7-3)
C))
(FUNCALL
#'%F3
(RETURN-FROM
B6
IV2)
(PROGN
(TAGBODY
(PROGN
C)
5
(FLET
((%F16
(F16-1)
(UNWIND-PROTECT
(CATCH
'CT6
IV2)
130
F16-1)))
-219570)
TAG3
(MAX
-380752
B)
0)
(%F7
(%F7 -3
E 1)
(%F3 H
G)
D))))
-1)))))
(REALPART
(*
(MAX
(LET* ((V10 A))
-6)
F -228882
(CONJUGATE
(LABELS
((%F12
(F12-1 F12-2
F12-3)
(IF
(OR
(AND T T)
(= -63931
F12-3))
(RETURN-FROM
%F7
G)
(FLOOR
(IF T
(DOTIMES
(IV3 3
(IF
(/= C
(%F18
5 C
-89219521))
(RETURN-FROM
%F12
(%F18
F12-3
7
G))
H))
(PROGN
D))
-73902)))))
(ABS
(FLET
((%F10
(F10-1
F10-2
F10-3)
(IF T
(MULTIPLE-VALUE-BIND
(*S4*)
-1224774
(ISQRT
(ABS
1012366)))
(%F18
17699
(%F12
-197
F10-1
13417)
(%F12
(%F12
28
1144136734
502120)
F10-2
-3017)))))
(LOGCOUNT
(+ -29696
-1))))))
(MULTIPLE-VALUE-CALL
#'%F18
(VALUES -14148
(LABELS
((%F12
(F12-1)
-8161))
E)
C)))
(PROGV '(*S1*)
(LIST
(NUMERATOR
(IF
(EQUAL 27
(%F18 C C A))
(IF
(IF
(>= 751437
-97)
(/= 2
(%F18
55500644
E 211))
(/=
-1072057
(%F18 B
490
(%F18
-13844 0
D))))
394661441
(MULTIPLE-VALUE-CALL
#'%F18
(VALUES -3
(LOGIOR B
(LOGORC1
366836
(CONJUGATE
(/
(DOTIMES
(IV2
3
(LET*
((V2
(CATCH
'CT6
D)))
E))
(LOGXOR
-6016
(GCD
G
-129)))
1)))
E
3153627)
(%F18
514619 E
11))))
(CATCH 'CT1
(ROUND
(MAX -26
(FLET
((%F9
(F9-1)
F))
F)
-1809835)
(MIN -48
(LABELS
((%F13
NIL
(THROW
'CT1
(ASH
-246
(MIN
45
(FUNCALL
#'%F18
605108550
A
F))))))
(SIGNUM
-1))))))))
(LOGNOR
(LOGORC2 1765
(LOGXOR D
(LABELS
((%F7
(&OPTIONAL
(F7-1
(LOGORC1
D
1150)))
E))
D)))
(FLET
((%F15
(F15-1
F15-2
&OPTIONAL
(F15-3
187)
(F15-4 H)
(F15-5 D))
-3889322))
D)))))))))
(FLET
((%F18 NIL
(DOTIMES
(IV1 2
(CATCH 'CT5
(DPB H
(BYTE 30 24) C)))
(LET ((*S7* A))
549765))))
(FLET
((%F15 NIL
(LET
((*S2*
(RESTART-CASE
(%F18))))
(%F18))))
D)))))
(LDB (BYTE 1 5)
(SIGNUM
(COERCE
(ABS
(THE INTEGER
(+ -2159 1383
(PROGV '(*S5* *S7*)
(LIST G -638593422)
-26243))))
'INTEGER))))))
(LOGCOUNT
(MASK-FIELD (BYTE 26 26)
(LABELS
((%F12 NIL
(DENOMINATOR
(LOGAND
(LOGAND
(LABELS
((%F3
(F3-1 F3-2
&OPTIONAL
(F3-3 G))
236))
H)
(MACROLET ()
(ASH
(MULTIPLE-VALUE-BIND
(V6) C
(IGNORE-ERRORS E))
(MIN 81 -13))))
(MOD
(DOTIMES (IV4 1 43)
(LET* ((V10 1))
(%F7)))
(MIN -77 C))
(CATCH 'CT1
(ROUND
(LABELS
((%F9 (F9-1) B))
(APPLY #'%F9
(ASH D
(MIN 88 0))
(LIST)))
(MAX 38
(PROGN
(1- (SETF B -2))))))))))
(CATCH 'CT8
(IF (< (%F12) B) A -765))))))))
(BLOCK B8
(* (MIN (PROG1 -4
(LABELS
((%F3
(F3-1 F3-2 &OPTIONAL
(F3-3 (CATCH 'CT8 -4602)))
(TRUNCATE
(GCD G G 27 -395127755)
(MIN -2
(CASE IV2
((-15)
(CATCH 'CT2
(SETF G 19)))
((-42 25 -236) G)
((-167 147 10 12)
-11415)
((-18 5) -5202993)
((-234 -221 44 -182 160
8)
C)
((-37 -248) A)
((-106 61 188 -144 8 95
227 -107 -78)
-26)
(T -121002))))))
-2)
-937758))
(LOCALLY
(FLET
((%F13
(F13-1 F13-2 &OPTIONAL
(F13-3 543950155)
(F13-4
(MASK-FIELD (BYTE 3 22)
(IF (OR T (NOT NIL))
(SETF F 999325)
(LABELS
((%F12 NIL
(GCD
(*
(FLET ((%F6 NIL -4))
(%F6))
-123 G IV2))))
498821244)))))
(CONDITIONS:HANDLER-CASE
(RATIONALIZE
(BLOCK B8
(LABELS
((%F5 (F5-1 F5-2 F5-3)
(FLET
((%F2 (F2-1 F2-2) 1823))
(* 6 -70 G -997667
-53940 10458320))))
(MAX (LOGORC1 E H)
(PROGV '(*S7* *S2* *S5*)
(LIST (NUMERATOR G) 205
(LET* ((V10 630674429))
(IDENTITY
(%F5 -3507 F13-4 A))))
-2)
F13-1)))))))
(%F13 -1 C (LOGANDC1 -108 189)))))))))))
:KIND :OPTIMIZED-FORM-ERROR)
=============================================================================
Take care,
"Paul F. Dietz" <address@hidden> writes:
> Camm Maguire wrote:
> > Greetings! OK I guess your machine doesn't speak gzip.
> > I've placed the uncompressed file at
> > http://people.debian.org/~camm/e.out
> > Thanks again!
>
> The long printout is the pruner successively simplifying
> the form.
>
> The final part of that is the reduced failing test
> case. The fields mean:
>
> :vars Names of variables bound in the lambda forms
> :var-types Their types
> :vals The values that were to be used as arguments to the
> lambda forms.
> :decls1
> :decls2 The OPTIMIZE decls for the optimized/unoptimized forms.
> :form The body of the lambda forms. This is what is printed
> by prune-results as it does its work.
>
> :optimized-form
> :unoptimized-form The two lambda forms built from those fields.
>
> In gcl, the unoptimized form is not compiled, but instead a form
> like (funcall (function ,unoptimized-lambda-form) ,@vals) is constructed
> and eval-ed.
>
> The test fails if the compile of optimized-form aborts, if either evaluation
> aborts, or if the return results are not the same.
>
> In this case, the compile aborted. I've reduced the form a bit
> more and pruned off unnecessary lambda parameters and type declarations:
>
> ;;; gcl (found by Camm)
> ;;; Error in COMPILER::CMP-ANON [or a callee]: The function NIL is undefined.
> (deftest misc.286
> (funcall
> (compile
> nil
> '(lambda (e)
> (declare (optimize (speed 1) (space 3) (safety 3) (debug 3)
> (compilation-speed 1)))
> (flet ((%f11 (f11-2) 0))
> (%f11 (unwind-protect
> e
> (tagbody
> (let* ((v4 (unwind-protect (go 0)))) 0)
> 0)
> (logand (handler-bind () 0)))))))
> 10)
> 0)
>
> BTW, once LOOP-RANDOM-INT-FORMS finishes reducing test cases, you can abort
> it and get at the test cases in the list $y. The function (f i) will compile
> and evaluate the optimized form of (elt $y i) on the apppropriate vals; (g i)
> will do the same on the unoptimized form (f, g, and $y are all in the CL-TEST
> package.)
>
> Paul
>
>
>
--
Camm Maguire address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
- [Gcl-devel] Interpretation of random tester output, Paul F. Dietz, 2004/03/02
- [Gcl-devel] Re: Interpretation of random tester output,
Camm Maguire <=
- Re: [Gcl-devel] Re: Interpretation of random tester output, Paul F. Dietz, 2004/03/02
- Re: [Gcl-devel] Re: Interpretation of random tester output, Camm Maguire, 2004/03/03
- Message not available
- Re: [Gcl-devel] Re: Interpretation of random tester output, Camm Maguire, 2004/03/05
- Re: [Gcl-devel] Re: Interpretation of random tester output, Paul F. Dietz, 2004/03/10
- Re: [Gcl-devel] Re: Interpretation of random tester output, Camm Maguire, 2004/03/10
- Re: [Gcl-devel] Re: Interpretation of random tester output, Camm Maguire, 2004/03/10
Re: [Gcl-devel] Interpretation of random tester output, Camm Maguire, 2004/03/10