Bug#802699: gcc-5: No tail recursion optimization on s390
Package: gcc-5
Version: 5.2.1-22
Severity: normal
The following gcl routine (equal1) is not tail recursion optimized
(first recursive call, line 463 predicate.c) on s390 when compiled with
-G -O2, unlike on other Debian release platforms:
=============================================================================
preproced source to equal1
=============================================================================
bool
equal1(register object x, register object y) {
# 463 "predicate.c"
if ((!(x)->d.e || (((ufixnum)((*(object *)(x))))>=0x8000000000000000))) return (!(y)->d.e || (((ufixnum)((*(object *)(y))))>=0x8000000000000000))&&({register object _a=(x->c.c_car);register object _b=(y->c.c_car);_a==_b || (!((((ufixnum)(_a))>=0x8000000000000000)||_a==((object)&Cnil_body))&&!((((ufixnum)(_b))>=0x8000000000000000)||_b==((object)&Cnil_body))&&equal1(_a,_b));})&&({register object _a=(x->c.c_cdr);register object _b=(y->c.c_cdr);_a==_b || (!((((ufixnum)(_a))>=0x8000000000000000)||_a==((object)&Cnil_body))&&!((((ufixnum)(_b))>=0x8000000000000000)||_b==((object)&Cnil_body))&&equal1(_a,_b));});
if ((!(y)->d.e || (((ufixnum)((*(object *)(y))))>=0x8000000000000000))) return 0;
if (x->d.t!=y->d.t)
return 0;
switch(x->d.t) {
case t_string:
return(string_eq(x, y));
case t_bitvector:
{
fixnum i, ox, oy;
if (x->bv.bv_fillp != y->bv.bv_fillp)
return(0);
ox = ((({register object _z=(object)(x); ((((ufixnum)(_z))>=0x8000000000000000) ? t_fixnum : ((!(_z)->d.e || (((ufixnum)((*(object *)(_z))))>=0x8000000000000000)) ? (_z==((object)&Cnil_body) ? t_symbol : t_cons) : _z->d.t));})==t_bitvector ? x->bv.bv_offset : ({register object _z=(object)(x); ((((ufixnum)(_z))>=0x8000000000000000) ? t_fixnum : ((!(_z)->d.e || (((ufixnum)((*(object *)(_z))))>=0x8000000000000000)) ? (_z==((object)&Cnil_body) ? t_symbol : t_cons) : _z->d.t));})== t_array ? x->a.a_offset : (abort(),0)));
oy = ((({register object _z=(object)(y); ((((ufixnum)(_z))>=0x8000000000000000) ? t_fixnum : ((!(_z)->d.e || (((ufixnum)((*(object *)(_z))))>=0x8000000000000000)) ? (_z==((object)&Cnil_body) ? t_symbol : t_cons) : _z->d.t));})==t_bitvector ? y->bv.bv_offset : ({register object _z=(object)(y); ((((ufixnum)(_z))>=0x8000000000000000) ? t_fixnum : ((!(_z)->d.e || (((ufixnum)((*(object *)(_z))))>=0x8000000000000000)) ? (_z==((object)&Cnil_body) ? t_symbol : t_cons) : _z->d.t));})== t_array ? y->a.a_offset : (abort(),0)));
for (i = 0; i < x->bv.bv_fillp; i++)
if(((x->bv.bv_self[(i+ox)/8] & (0200>>(i+ox)%8)) ? 1 : 0)
!=((y->bv.bv_self[(i+oy)/8] & (0200>>(i+oy)%8)) ? 1 : 0))
return(0);
return(1);
}
case t_pathname:
if (({register object _a=(x->pn.pn_host);register object _b=(y->pn.pn_host);_a==_b || (!((((ufixnum)(_a))>=0x8000000000000000)||_a==((object)&Cnil_body))&&!((((ufixnum)(_b))>=0x8000000000000000)||_b==((object)&Cnil_body))&&equal1(_a,_b));}) &&
({register object _a=(x->pn.pn_device);register object _b=(y->pn.pn_device);_a==_b || (!((((ufixnum)(_a))>=0x8000000000000000)||_a==((object)&Cnil_body))&&!((((ufixnum)(_b))>=0x8000000000000000)||_b==((object)&Cnil_body))&&equal1(_a,_b));}) &&
({register object _a=(x->pn.pn_directory);register object _b=(y->pn.pn_directory);_a==_b || (!((((ufixnum)(_a))>=0x8000000000000000)||_a==((object)&Cnil_body))&&!((((ufixnum)(_b))>=0x8000000000000000)||_b==((object)&Cnil_body))&&equal1(_a,_b));}) &&
({register object _a=(x->pn.pn_name);register object _b=(y->pn.pn_name);_a==_b || (!((((ufixnum)(_a))>=0x8000000000000000)||_a==((object)&Cnil_body))&&!((((ufixnum)(_b))>=0x8000000000000000)||_b==((object)&Cnil_body))&&equal1(_a,_b));}) &&
({register object _a=(x->pn.pn_type);register object _b=(y->pn.pn_type);_a==_b || (!((((ufixnum)(_a))>=0x8000000000000000)||_a==((object)&Cnil_body))&&!((((ufixnum)(_b))>=0x8000000000000000)||_b==((object)&Cnil_body))&&equal1(_a,_b));}) &&
({register object _a=(x->pn.pn_version);register object _b=(y->pn.pn_version);_a==_b || (!((((ufixnum)(_a))>=0x8000000000000000)||_a==((object)&Cnil_body))&&!((((ufixnum)(_b))>=0x8000000000000000)||_b==((object)&Cnil_body))&&equal1(_a,_b));}))
return(1);
else
return(0);
case t_fixnum: return (({register object _q2=(x);register fixnum _q3; _q3=(((ufixnum)(_q2))>=0x8000000000000000) ? ((fixnum)(((fixnum)(_q2))-(0x8000000000000000 +(0x4000000000000000>>1)))) : (_q2)->FIX.FIXVAL;_q3;})==({register object _q2=(y);register fixnum _q3; _q3=(((ufixnum)(_q2))>=0x8000000000000000) ? ((fixnum)(((fixnum)(_q2))-(0x8000000000000000 +(0x4000000000000000>>1)))) : (_q2)->FIX.FIXVAL;_q3;})) ? 1 : 0; case t_bignum: return big_compare(x,y) ? 0 : 1; case t_ratio: return (({register object _a=(x->rat.rat_num);register object _b=(y->rat.rat_num);_a==_b || (!((((ufixnum)(_a))>=0x8000000000000000)||_a==((object)&Cnil_body))&&!((((ufixnum)(_b))>=0x8000000000000000)||_b==((object)&Cnil_body))&&eql1(_a,_b));}) && ({register object _a=(x->rat.rat_den);register object _b=(y->rat.rat_den);_a==_b || (!((((ufixnum)(_a))>=0x8000000000000000)||_a==((object)&Cnil_body))&&!((((ufixnum)(_b))>=0x8000000000000000)||_b==((object)&Cnil_body))&&eql1(_a,_b));})) ? 1 : 0; case t_shortfloat: return (x)->SF.SFVAL==(y)->SF.SFVAL ? 1 : 0; case t_longfloat: return (x)->LF.LFVAL==(y)->LF.LFVAL ? 1 : 0; case t_complex: return (({register object _a=(x->cmp.cmp_real);register object _b=(y->cmp.cmp_real);_a==_b || (!((((ufixnum)(_a))>=0x8000000000000000)||_a==((object)&Cnil_body))&&!((((ufixnum)(_b))>=0x8000000000000000)||_b==((object)&Cnil_body))&&eql1(_a,_b));}) && ({register object _a=(x->cmp.cmp_imag);register object _b=(y->cmp.cmp_imag);_a==_b || (!((((ufixnum)(_a))>=0x8000000000000000)||_a==((object)&Cnil_body))&&!((((ufixnum)(_b))>=0x8000000000000000)||_b==((object)&Cnil_body))&&eql1(_a,_b));})) ? 1 : 0; default: return 0;;
}
}
=============================================================================
gdb session showing failure, compiled with -g -O2
=============================================================================
camm@zelenka:~/gcl/gcl$ schroot -r -c sid_s390x-dchroot-6d5d7b4f-49d5-4301-9fa6-d203d48497ea
(sid_s390x-dchroot)camm@zelenka:~/gcl/gcl$ ulimit -a
core file size (blocks, -c) 0
data seg size (kbytes, -d) unlimited
scheduling priority (-e) 0
file size (blocks, -f) unlimited
pending signals (-i) 3915
max locked memory (kbytes, -l) 64
max memory size (kbytes, -m) unlimited
open files (-n) 65536
pipe size (512 bytes, -p) 8
POSIX message queues (bytes, -q) 819200
real-time priority (-r) 0
stack size (kbytes, -s) 8192
cpu time (seconds, -t) unlimited
max user processes (-u) 3915
virtual memory (kbytes, -v) unlimited
file locks (-x) unlimited
(sid_s390x-dchroot)camm@zelenka:~/gcl/gcl$ cd
(sid_s390x-dchroot)camm@zelenka:~$ cd acl2*
(sid_s390x-dchroot)camm@zelenka:~/acl2-7.1dfsg$ cd books/system/hons-check/
(sid_s390x-dchroot)camm@zelenka:~/acl2-7.1dfsg/books/system/hons-check$ gdb ../../../saved_acl2.c
GNU gdb (Debian 7.10-1) 7.10
Copyright (C) 2015 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law. Type "show copying"
and "show warranty" for details.
This GDB was configured as "s390x-linux-gnu".
Type "show configuration" for configuration details.
For bug reporting instructions, please see:
<http://www.gnu.org/software/gdb/bugs/>.
Find the GDB manual and other documentation resources online at:
<http://www.gnu.org/software/gdb/documentation/>.
For help, type "help".
Type "apropos word" to search for commands related to "word"...
Reading symbols from ../../../saved_acl2.c...done.
(gdb) b gcl_init_alloc
Breakpoint 1 at 0xff750: file alloc.c, line 1211.
(gdb) r
The program being debugged has been started already.
Start it from the beginning? (y or n) y
Starting program: /home/camm/acl2-7.1dfsg/saved_acl2.c
Breakpoint 1, gcl_init_alloc (cs_start=cs_start@entry=0x3fffffff8c8)
at alloc.c:1211
1211 gcl_init_alloc(void *cs_start) {
(gdb) n
1215 prelink_init();
(gdb)
1236 massert(!getrlimit(RLIMIT_DATA, &rl));
(gdb)
1237 if (rl.rlim_cur != RLIM_INFINITY && (rl.rlim_max == RLIM_INFINITY || rl.rlim_max > rl.rlim_cur)) {
(gdb)
1242 massert(!getrlimit(RLIMIT_STACK, &rl));
(gdb)
1243 if (rl.rlim_cur!=RLIM_INFINITY && (rl.rlim_max == RLIM_INFINITY || rl.rlim_max > rl.rlim_cur)) {
(gdb)
1245 massert(!setrlimit(RLIMIT_STACK,&rl));
(gdb)
1244 rl.rlim_cur = rl.rlim_max == RLIM_INFINITY ? rl.rlim_max : rl.rlim_max/64;
(gdb)
1245 massert(!setrlimit(RLIMIT_STACK,&rl));
(gdb) p rl
$5 = {rlim_cur = 18446744073709551615, rlim_max = 18446744073709551615}
(gdb) p/x rl
$6 = {rlim_cur = 0xffffffffffffffff, rlim_max = 0xffffffffffffffff}
(gdb) p setrlimit(3, &rl)
$7 = 0
(gdb) p/x rf
No symbol "rf" in current context.
(gdb)p/x rl
$8 = {rlim_cur = 0xffffffffffffffff, rlim_max = 0xffffffffffffffff}
(gdb) p getrlimit(3, &rl)
$9 = 0
(gdb) p/x rl
$10 = {rlim_cur = 0xffffffffffffffff, rlim_max = 0xffffffffffffffff}
(gdb) b error
Breakpoint 2 at 0x19178: error. (2 locations)
(gdb) c
Continuing.
GCL (GNU Common Lisp) 2.6.12 ANSI Oct 22 2015 14:23:50
Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
Binary License: GPL due to GPL'ed components: (XGCL READLINE UNEXEC)
Modifications of this banner must retain notice of a compatible license
Dedicated to the memory of W. Schelter
Use (help) to get some basic information on how to use GCL.
Temporary directory for compiler files set to /tmp/
ACL2 Version 7.1 built October 22, 2015 15:20:51
then October 22, 2015 15:37:32.
Copyright (C) 2015, Regents of the University of Texas
ACL2 comes with ABSOLUTELY NO WARRANTY. This is free software and you
are welcome to redistribute it under certain conditions. For details,
see the LICENSE file distributed with ACL2.
Initialized with (INITIALIZE-ACL2 'INCLUDE-BOOK *ACL2-PASS-2-FILES*).
Includes support for hash cons, memoization, and applicative hash
tables.
See the documentation topic note-7-1 for recent changes.
Note: We have modified the prompt in some underlying Lisps to further
distinguish it from the ACL2 prompt.
MODIFICATION NOTICE:
Modified to produce final certification files
ACL2 Version 7.1. Level 1. Cbd
"/home/camm/acl2-7.1dfsg/books/system/hons-check/".
System books directory "/home/camm/acl2-7.1dfsg/books/".
Type :help for help.
Type (good-bye) to quit completely out of ACL2.
ACL2 !>(acl2::value :q)
(acl2::in-package "ACL2")
#+acl2-hons (profile-fn 'prove)
#+acl2-hons (profile-fn 'certify-book-fn)
(acl2::lp)
(acl2::in-package "ACL2")
(set-ld-error-action (quote (:exit 1)) state)
(set-inhibit-output-lst (list (quote prove) (quote proof-tree) (quote warning) (quote observation) (quote event) (quote history)))
(acl2::assign acl2::get-internal-time-as-realtime acl2::t)
#-cmucl (acl2::gc-verbose t)
; instructions from .acl2 file cert.acl2:
; Hons Sanity Checking
; Copyright (C) 2010 Centaur Technology
;
; Contact:
; Centaur Technology Formal Verification Group
; 7600-C N. Capital of Texas Highway, Suite 300, Austin, TX 78731, USA.
; http://www.centtech.com/
;
; License: (An MIT/X11-style license)
;
; Permission is hereby granted, free of charge, to any person obtaining a
; copy of this software and associated documentation files (the "Software"),
; to deal in the Software without restriction, including without limitation
; the rights to use, copy, modify, merge, publish, distribute, sublicense,
; and/or sell copies of the Software, and to permit persons to whom the
; Software is furnished to do so, subject to the following conditions:
;
; The above copyright notice and this permission notice shall be included in
; all copies or substantial portions of the Software.
;
; THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
; IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
; FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
; AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
; LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
; FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
; DEALINGS IN THE SOFTWARE.
;
; Original author: Jared Davis <jared@centtech.com>
; cert-flags: ? t :ttags :all :skip-proofs-okp t
; Prevent reset-prehistory while loading .port files
(acl2::assign acl2::skip-reset-prehistory acl2::t)
; portculli for included books:
(acl2::ld "misc/assert.port" :dir :system :ld-missing-input-ok t)
(acl2::ld "std/lists/flatten.port" :dir :system :ld-missing-input-ok t)
(acl2::ld "std/util/bstar.port" :dir :system :ld-missing-input-ok t)
#!ACL2 (set-ld-error-action (quote :continue) state)
; certify-book command flags: ? t :ttags :all :skip-proofs-okp t
#!ACL2 (er-progn (time$ (certify-book "memoize-tests" ? t :ttags :all :skip-proofs-okp t ))
(value (prog2$ #+acl2-hons (memsum)
#-acl2-hons nil
(exit 43))))
Exiting the ACL2 read-eval-print loop. To re-enter, execute (LP).
ACL2>
#<"ACL2" package>
ACL2>
ACL2 Version 7.1. Level 1. Cbd
"/home/camm/acl2-7.1dfsg/books/system/hons-check/".
System books directory "/home/camm/acl2-7.1dfsg/books/".
Type :help for help.
Type (good-bye) to quit completely out of ACL2.
ACL2 !> "ACL2"
ACL2 !> (:EXIT 1)
ACL2 !> (PROVE PROOF-TREE
WARNING OBSERVATION EVENT HISTORY)
ACL2 !> T
ACL2 !>NIL
ACL2 !> T
ACL2 !>
ACL2 Version 7.1. Level 2. Cbd "/home/camm/acl2-7.1dfsg/books/misc/".
System books directory "/home/camm/acl2-7.1dfsg/books/".
Type :help for help.
Type (good-bye) to quit completely out of ACL2.
ACL2 !>> "ACL2"
ACL2 !>>
Loading /home/camm/acl2-7.1dfsg/books/std/portcullis.o
Unrelocated non-local symbol: __stack_chk_fail
ACL2 Warning [Compiled file] in ( INCLUDE-BOOK "std/portcullis" ...):
The following raw Lisp error occurred when loading file
/home/camm/acl2-7.1dfsg/books/std/portcullis.o:
Condition in LP [or a callee]: INTERNAL-SIMPLE-ERROR: The assertion
!emsg("Unrelocated non-local symbol: %s\n",st1+sym->st_name) on line
236 of sfaslelf.c in function relocate_symbols failed
ACL2 Warning [Compiled file] in ( INCLUDE-BOOK "std/portcullis" ...):
Unable to load compiled file for book
/home/camm/acl2-7.1dfsg/books/std/portcullis.lisp
because an error occurred in raw Lisp (see above). See :DOC include-
book. No load was in progress for any parent book.
Summary
Form: ( INCLUDE-BOOK "std/portcullis" ...)
Rules: NIL
Warnings: Compiled file
Time: 1.46 seconds (prove: 0.00, print: 0.00, other: 1.46)
"/home/camm/acl2-7.1dfsg/books/std/portcullis.lisp"
ACL2 !>>Bye.
:EOF
ACL2 !>
ACL2 Version 7.1. Level 2. Cbd "/home/camm/acl2-7.1dfsg/books/std/lists/".
System books directory "/home/camm/acl2-7.1dfsg/books/".
Type :help for help.
Type (good-bye) to quit completely out of ACL2.
ACL2 !>> "ACL2"
ACL2 !>>
Summary
Form: ( INCLUDE-BOOK "../portcullis" ...)
Rules: NIL
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
:REDUNDANT
ACL2 !>>
Loading /home/camm/acl2-7.1dfsg/books/cowles/portcullis.o
Unrelocated non-local symbol: __stack_chk_fail
ACL2 Warning [Compiled file] in ( INCLUDE-BOOK "cowles/portcullis"
...): The following raw Lisp error occurred when loading file
/home/camm/acl2-7.1dfsg/books/cowles/portcullis.o:
Condition in LP [or a callee]: INTERNAL-SIMPLE-ERROR: The assertion
!emsg("Unrelocated non-local symbol: %s\n",st1+sym->st_name) on line
236 of sfaslelf.c in function relocate_symbols failed
ACL2 Warning [Compiled file] in ( INCLUDE-BOOK "cowles/portcullis"
...): Unable to load compiled file for book
/home/camm/acl2-7.1dfsg/books/cowles/portcullis.lisp
because an error occurred in raw Lisp (see above). See :DOC include-
book. No load was in progress for any parent book.
Summary
Form: ( INCLUDE-BOOK "cowles/portcullis" ...)
Rules: NIL
Warnings: Compiled file
Time: 0.46 seconds (prove: 0.00, print: 0.00, other: 0.46)
"/home/camm/acl2-7.1dfsg/books/cowles/portcullis.lisp"
ACL2 !>>Bye.
:EOF
ACL2 !>
ACL2 Version 7.1. Level 2. Cbd "/home/camm/acl2-7.1dfsg/books/std/util/".
System books directory "/home/camm/acl2-7.1dfsg/books/".
Type :help for help.
Type (good-bye) to quit completely out of ACL2.
ACL2 !>> "ACL2"
ACL2 !>>
Summary
Form: ( INCLUDE-BOOK "../portcullis" ...)
Rules: NIL
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
:REDUNDANT
ACL2 !>>Bye.
:EOF
ACL2 !> :CONTINUE
ACL2 !>
Loading /home/camm/acl2-7.1dfsg/books/misc/assert.o
Unrelocated non-local symbol: __stack_chk_fail
ACL2 Warning [Compiled file] in ( INCLUDE-BOOK "misc/assert" ...):
The following raw Lisp error occurred when loading file
/home/camm/acl2-7.1dfsg/books/misc/assert.o:
Condition in EV-REC [or a callee]: INTERNAL-SIMPLE-ERROR: The assertion
!emsg("Unrelocated non-local symbol: %s\n",st1+sym->st_name) on line
236 of sfaslelf.c in function relocate_symbols failed
ACL2 Warning [Compiled file] in ( INCLUDE-BOOK "misc/assert" ...):
Unable to load compiled file for book
/home/camm/acl2-7.1dfsg/books/misc/assert.lisp
because an error occurred in raw Lisp (see above). See :DOC include-
book. No load was in progress for any parent book.
Summary
Form: ( INCLUDE-BOOK "misc/assert" ...)
Rules: NIL
Warnings: Compiled file
Time: 0.13 seconds (prove: 0.00, print: 0.00, other: 0.13)
"/home/camm/acl2-7.1dfsg/books/misc/assert.lisp"
Loading /home/camm/acl2-7.1dfsg/books/std/lists/flatten.o
Unrelocated non-local symbol: __stack_chk_fail
ACL2 Warning [Compiled file] in ( INCLUDE-BOOK "std/lists/flatten"
...): The following raw Lisp error occurred when loading file
/home/camm/acl2-7.1dfsg/books/std/lists/flatten.o:
Condition in EV-REC [or a callee]: INTERNAL-SIMPLE-ERROR: The assertion
!emsg("Unrelocated non-local symbol: %s\n",st1+sym->st_name) on line
236 of sfaslelf.c in function relocate_symbols failed
ACL2 Warning [Compiled file] in ( INCLUDE-BOOK "std/lists/flatten"
...): Unable to load compiled file for book
/home/camm/acl2-7.1dfsg/books/std/lists/flatten.lisp
because an error occurred in raw Lisp (see above). See :DOC include-
book. No load was in progress for any parent book.
Summary
Form: ( INCLUDE-BOOK "std/lists/flatten" ...)
Rules: NIL
Warnings: Compiled file
Time: 0.07 seconds (prove: 0.00, print: 0.00, other: 0.07)
"/home/camm/acl2-7.1dfsg/books/std/lists/flatten.lisp"
Loading /home/camm/acl2-7.1dfsg/books/std/util/bstar.o
Unrelocated non-local symbol: __stack_chk_fail
ACL2 Warning [Compiled file] in ( INCLUDE-BOOK "std/util/bstar" ...):
The following raw Lisp error occurred when loading file
/home/camm/acl2-7.1dfsg/books/std/util/bstar.o:
Condition in EV-REC [or a callee]: INTERNAL-SIMPLE-ERROR: The assertion
!emsg("Unrelocated non-local symbol: %s\n",st1+sym->st_name) on line
236 of sfaslelf.c in function relocate_symbols failed
ACL2 Warning [Compiled file] in ( INCLUDE-BOOK "std/util/bstar" ...):
Unable to load compiled file for book
/home/camm/acl2-7.1dfsg/books/std/util/bstar.lisp
because an error occurred in raw Lisp (see above). See :DOC include-
book. No load was in progress for any parent book.
Summary
Form: ( INCLUDE-BOOK "std/util/bstar" ...)
Rules: NIL
Warnings: Compiled file
Time: 0.04 seconds (prove: 0.00, print: 0.00, other: 0.04)
"/home/camm/acl2-7.1dfsg/books/std/util/bstar.lisp"
Summary
Form: ( DEFUN F1 ...)
Rules: NIL
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
F1
Summary
Form: ( DEFUN F1-LIST-TAILREC ...)
Rules: ((:FAKE-RUNE-FOR-TYPE-SET NIL)
(:TYPE-PRESCRIPTION REVERSE))
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
F1-LIST-TAILREC
Summary
Form: ( DEFUN F1-LIST ...)
Rules: ((:EXECUTABLE-COUNTERPART TRUE-LISTP)
(:TYPE-PRESCRIPTION F1-LIST-TAILREC))
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
F1-LIST
Summary
Form: ( DEFUN F2 ...)
Rules: ((:FAKE-RUNE-FOR-TYPE-SET NIL))
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
F2
Summary
Form: ( DEFUN F2-LIST-TAILREC ...)
Rules: ((:FAKE-RUNE-FOR-TYPE-SET NIL)
(:TYPE-PRESCRIPTION REVERSE))
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
F2-LIST-TAILREC
Summary
Form: ( DEFUN F2-LIST ...)
Rules: ((:EXECUTABLE-COUNTERPART TRUE-LISTP)
(:TYPE-PRESCRIPTION F2-LIST-TAILREC))
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
F2-LIST
Summary
Form: ( DEFUN F3 ...)
Rules: ((:FAKE-RUNE-FOR-TYPE-SET NIL))
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
F3
Summary
Form: ( DEFUN F3-LIST-TAILREC ...)
Rules: ((:FAKE-RUNE-FOR-TYPE-SET NIL)
(:TYPE-PRESCRIPTION REVERSE))
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
F3-LIST-TAILREC
Summary
Form: ( DEFUN F3-LIST ...)
Rules: ((:EXECUTABLE-COUNTERPART TRUE-LISTP)
(:TYPE-PRESCRIPTION F3-LIST-TAILREC))
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
F3-LIST
Summary
Form: ( DEFUN F4 ...)
Rules: ((:FAKE-RUNE-FOR-TYPE-SET NIL))
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
F4
Summary
Form: ( DEFUN F4-LIST-TAILREC ...)
Rules: ((:FAKE-RUNE-FOR-TYPE-SET NIL)
(:TYPE-PRESCRIPTION REVERSE))
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
F4-LIST-TAILREC
Summary
Form: ( DEFUN F4-LIST ...)
Rules: ((:EXECUTABLE-COUNTERPART TRUE-LISTP)
(:TYPE-PRESCRIPTION F4-LIST-TAILREC))
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
F4-LIST
Summary
Form: ( DEFUN F5 ...)
Rules: ((:FAKE-RUNE-FOR-TYPE-SET NIL))
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
F5
Summary
Form: ( DEFUN F5-LIST-TAILREC ...)
Rules: ((:FAKE-RUNE-FOR-TYPE-SET NIL)
(:TYPE-PRESCRIPTION REVERSE))
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
F5-LIST-TAILREC
Summary
Form: ( DEFUN F5-LIST ...)
Rules: ((:EXECUTABLE-COUNTERPART TRUE-LISTP)
(:TYPE-PRESCRIPTION F5-LIST-TAILREC))
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
F5-LIST
Summary
Form: ( DEFUN F6 ...)
Rules: ((:FAKE-RUNE-FOR-TYPE-SET NIL))
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
F6
Summary
Form: ( DEFUN F6-LIST-TAILREC ...)
Rules: ((:FAKE-RUNE-FOR-TYPE-SET NIL)
(:TYPE-PRESCRIPTION REVERSE))
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
F6-LIST-TAILREC
Summary
Form: ( DEFUN F6-LIST ...)
Rules: ((:EXECUTABLE-COUNTERPART TRUE-LISTP)
(:TYPE-PRESCRIPTION F6-LIST-TAILREC))
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
F6-LIST
Summary
Form: ( DEFCONST *STUFF* ...)
Rules: NIL
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
*STUFF*
Summary
Form: ( DEFUN NATS ...)
Rules: ((:FAKE-RUNE-FOR-TYPE-SET NIL))
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
NATS
Compiling /tmp/TMP@6921@.lisp.
End of Pass 1.
;; Note: Tail-recursive call of F6-LIST-TAILREC was replaced by iteration.
;; Note: Tail-recursive call of F5-LIST-TAILREC was replaced by iteration.
;; Note: Tail-recursive call of F4-LIST-TAILREC was replaced by iteration.
;; Note: Tail-recursive call of F3-LIST-TAILREC was replaced by iteration.
;; Note: Tail-recursive call of F2-LIST-TAILREC was replaced by iteration.
;; Note: Tail-recursive call of F1-LIST-TAILREC was replaced by iteration.
;; Note: Tail-recursive call of PATBIND-LOCAL-STOBJ-ARGLISTP was replaced by iteration.
;; Note: Tail-recursive call of PATBIND-LOCAL-STOBJS-HELPER was replaced by iteration.
;; Note: Tail-recursive call of B*-ASSOC-SYMBOL-NAME was replaced by iteration.
;; Note: Tail-recursive call of VAR-IGNORE-LIST-FOR-PATBIND-MV was replaced by iteration.
;; Note: Tail-recursive call of DEBUGGABLE-BINDER-LIST-P was replaced by iteration.
;; Note: Tail-recursive call of FAST-LIST-EQUIV was replaced by iteration.
;; Note: Tail-recursive call of OUTELEMENT-LIST-P was replaced by iteration.
;; Note: Tail-recursive call of ELEMENT-LIST-P was replaced by iteration.
;; Note: Tail-recursive call of RULETABLE-KEEP-TAGS was replaced by iteration.
;; Note: Tail-recursive call of RULETABLE-DELETE-TAGS was replaced by iteration.
;; Note: Tail-recursive call of XDOC::FORMULA-INFO-TO-DEFS1 was replaced by iteration.
;; Note: Tail-recursive call of XDOC::THROW-AWAY-KEYWORD-PARTS was replaced by iteration.
;; Note: Tail-recursive call of XDOC::EXTRACT-KEYWORD-FROM-ARGS was replaced by iteration.
;; Note: Tail-recursive call of NEW-FORMULA-INFO was replaced by iteration.
;; Note: Tail-recursive call of REVERSED-WORLD-SINCE-EVENT was replaced by iteration.
;; Note: Tail-recursive call of NEWLY-DEFINED-TOP-LEVEL-THMS-REC was replaced by iteration.
;; Note: Tail-recursive call of NEWLY-DEFINED-TOP-LEVEL-THMS-REC was replaced by iteration.
;; Note: Tail-recursive call of NEWLY-DEFINED-TOP-LEVEL-THMS-REC was replaced by iteration.
;; Note: Tail-recursive call of NEWLY-DEFINED-TOP-LEVEL-THMS-REC was replaced by iteration.
;; Note: Tail-recursive call of XDOC::FIND-TOPIC was replaced by iteration.
End of Pass 2.
OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
Finished compiling /tmp/TMP@6921@.lisp.
Loading /tmp/TMP@6921@.o
start address -T 0xc33cfb0 Finished loading /tmp/TMP@6921@.o
Compiling /tmp/TMP@6921@1.lisp.
End of Pass 1.
;; Note: Tail-recursive call of ACL2_*1*_ACL2::PATBIND-LOCAL-STOBJ-ARGLISTP was replaced by iteration.
;; Note: Tail-recursive call of ACL2_*1*_ACL2::PATBIND-LOCAL-STOBJS-HELPER was replaced by iteration.
;; Note: Tail-recursive call of ACL2_*1*_XDOC::FORMULA-INFO-TO-DEFS1 was replaced by iteration.
;; Note: Tail-recursive call of ACL2_*1*_ACL2::NEW-FORMULA-INFO was replaced by iteration.
;; Note: Tail-recursive call of ACL2_*1*_ACL2::REVERSED-WORLD-SINCE-EVENT was replaced by iteration.
;; Note: Tail-recursive call of ACL2_*1*_ACL2::NEWLY-DEFINED-TOP-LEVEL-THMS-REC was replaced by iteration.
;; Note: Tail-recursive call of ACL2_*1*_ACL2::NEWLY-DEFINED-TOP-LEVEL-THMS-REC was replaced by iteration.
;; Note: Tail-recursive call of ACL2_*1*_ACL2::NEWLY-DEFINED-TOP-LEVEL-THMS-REC was replaced by iteration.
;; Note: Tail-recursive call of ACL2_*1*_ACL2::NEWLY-DEFINED-TOP-LEVEL-THMS-REC was replaced by iteration.
;; Note: Tail-recursive call of ACL2_*1*_XDOC::FIND-TOPIC was replaced by iteration.
;; Note: Tail-recursive call of ACL2_*1*_XDOC::EXTRACT-KEYWORD-FROM-ARGS was replaced by iteration.
;; Note: Tail-recursive call of ACL2_*1*_ACL2::RULETABLE-DELETE-TAGS was replaced by iteration.
;; Note: Tail-recursive call of ACL2_*1*_ACL2::RULETABLE-KEEP-TAGS was replaced by iteration.
;; Note: Tail-recursive call of ACL2_*1*_ACL2::ELEMENT-LIST-P was replaced by iteration.
;; Note: Tail-recursive call of ACL2_*1*_ACL2::OUTELEMENT-LIST-P was replaced by iteration.
;; Note: Tail-recursive call of ACL2_*1*_ACL2::VAR-IGNORE-LIST-FOR-PATBIND-MV was replaced by iteration.
;; Note: Tail-recursive call of ACL2_*1*_ACL2::B*-ASSOC-SYMBOL-NAME was replaced by iteration.
;; Note: Tail-recursive call of ACL2_*1*_ACL2::F1-LIST-TAILREC was replaced by iteration.
;; Note: Tail-recursive call of ACL2_*1*_ACL2::F2-LIST-TAILREC was replaced by iteration.
;; Note: Tail-recursive call of ACL2_*1*_ACL2::F3-LIST-TAILREC was replaced by iteration.
;; Note: Tail-recursive call of ACL2_*1*_ACL2::F4-LIST-TAILREC was replaced by iteration.
;; Note: Tail-recursive call of ACL2_*1*_ACL2::F5-LIST-TAILREC was replaced by iteration.
;; Note: Tail-recursive call of ACL2_*1*_ACL2::F6-LIST-TAILREC was replaced by iteration.
End of Pass 2.
OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
Finished compiling /tmp/TMP@6921@1.lisp.
Loading /tmp/TMP@6921@1.o
start address -T 0xc34c6d0 Finished loading /tmp/TMP@6921@1.o
T
Summary
Form: ( DEFCONST *DATA* ...)
Rules: NIL
Time: 0.04 seconds (prove: 0.00, print: 0.00, other: 0.04)
*DATA*
Summary
Form: ( DEFCONST *F1-TEST* ...)
Rules: NIL
Time: 0.01 seconds (prove: 0.00, print: 0.00, other: 0.01)
*F1-TEST*
Summary
Form: ( DEFCONST *F2-TEST* ...)
Rules: NIL
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
*F2-TEST*
Summary
Form: ( DEFCONST *F3-TEST* ...)
Rules: NIL
Time: 0.01 seconds (prove: 0.00, print: 0.00, other: 0.01)
*F3-TEST*
Summary
Form: ( DEFCONST *F4-TEST* ...)
Rules: NIL
Time: 0.01 seconds (prove: 0.00, print: 0.00, other: 0.01)
*F4-TEST*
Summary
Form: ( DEFCONST *F5-TEST* ...)
Rules: NIL
Time: 0.01 seconds (prove: 0.00, print: 0.00, other: 0.01)
*F5-TEST*
Summary
Form: ( DEFCONST *F6-TEST* ...)
Rules: NIL
Time: 0.01 seconds (prove: 0.00, print: 0.00, other: 0.01)
*F6-TEST*
Compiling /tmp/gazonk_6921_0.lsp.
End of Pass 1.
End of Pass 2.
OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
Finished compiling /tmp/gazonk_6921_0.lsp.
Loading /tmp/gazonk_6921_0.o
start address -T 0xc369d10 Finished loading /tmp/gazonk_6921_0.o
Summary
Form: ( TABLE MEMOIZE-TABLE ...)
Rules: NIL
Time: 0.18 seconds (prove: 0.00, print: 0.00, other: 0.18)
MEMOIZE-TABLE
F1
Summary
Form: ( PROGN (TABLE MEMOIZE-TABLE ...) ...)
Rules: NIL
Time: 0.19 seconds (prove: 0.00, print: 0.00, other: 0.19)
F1
Compiling /tmp/gazonk_6921_0.lsp.
End of Pass 1.
End of Pass 2.
OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
Finished compiling /tmp/gazonk_6921_0.lsp.
Loading /tmp/gazonk_6921_0.o
start address -T 0xc36af90 Finished loading /tmp/gazonk_6921_0.o
Summary
Form: ( TABLE MEMOIZE-TABLE ...)
Rules: NIL
Time: 0.18 seconds (prove: 0.00, print: 0.00, other: 0.18)
MEMOIZE-TABLE
F2
Summary
Form: ( PROGN (TABLE MEMOIZE-TABLE ...) ...)
Rules: NIL
Time: 0.18 seconds (prove: 0.00, print: 0.00, other: 0.18)
F2
Compiling /tmp/gazonk_6921_0.lsp.
End of Pass 1.
End of Pass 2.
OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
Finished compiling /tmp/gazonk_6921_0.lsp.
Loading /tmp/gazonk_6921_0.o
start address -T 0xc36c240 Finished loading /tmp/gazonk_6921_0.o
Summary
Form: ( TABLE MEMOIZE-TABLE ...)
Rules: NIL
Time: 0.23 seconds (prove: 0.00, print: 0.00, other: 0.23)
MEMOIZE-TABLE
F3
Summary
Form: ( PROGN (TABLE MEMOIZE-TABLE ...) ...)
Rules: NIL
Time: 0.23 seconds (prove: 0.00, print: 0.00, other: 0.23)
F3
Compiling /tmp/gazonk_6921_0.lsp.
End of Pass 1.
End of Pass 2.
OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
Finished compiling /tmp/gazonk_6921_0.lsp.
Loading /tmp/gazonk_6921_0.o
start address -T 0xc36d7e0 Finished loading /tmp/gazonk_6921_0.o
Summary
Form: ( TABLE MEMOIZE-TABLE ...)
Rules: NIL
Time: 0.21 seconds (prove: 0.00, print: 0.00, other: 0.21)
MEMOIZE-TABLE
F4
Summary
Form: ( PROGN (TABLE MEMOIZE-TABLE ...) ...)
Rules: NIL
Time: 0.21 seconds (prove: 0.00, print: 0.00, other: 0.21)
F4
Compiling /tmp/gazonk_6921_0.lsp.
End of Pass 1.
End of Pass 2.
OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
Finished compiling /tmp/gazonk_6921_0.lsp.
Loading /tmp/gazonk_6921_0.o
start address -T 0xc36edd0 Finished loading /tmp/gazonk_6921_0.o
Summary
Form: ( TABLE MEMOIZE-TABLE ...)
Rules: NIL
Time: 0.22 seconds (prove: 0.00, print: 0.00, other: 0.22)
MEMOIZE-TABLE
F5
Summary
Form: ( PROGN (TABLE MEMOIZE-TABLE ...) ...)
Rules: NIL
Time: 0.22 seconds (prove: 0.00, print: 0.00, other: 0.22)
F5
Compiling /tmp/gazonk_6921_0.lsp.
End of Pass 1.
End of Pass 2.
OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
Finished compiling /tmp/gazonk_6921_0.lsp.
Loading /tmp/gazonk_6921_0.o
start address -T 0xc370650 Finished loading /tmp/gazonk_6921_0.o
Summary
Form: ( TABLE MEMOIZE-TABLE ...)
Rules: NIL
Time: 0.21 seconds (prove: 0.00, print: 0.00, other: 0.21)
MEMOIZE-TABLE
F6
Summary
Form: ( PROGN (TABLE MEMOIZE-TABLE ...) ...)
Rules: NIL
Time: 0.21 seconds (prove: 0.00, print: 0.00, other: 0.21)
F6
Summary
Form: ( MAKE-EVENT (LET ...) ...)
Rules: NIL
Time: 0.03 seconds (prove: 0.00, print: 0.00, other: 0.03)
:SUCCESS
Summary
Form: ( MAKE-EVENT (LET ...) ...)
Rules: NIL
Time: 0.03 seconds (prove: 0.00, print: 0.00, other: 0.03)
:SUCCESS
Summary
Form: ( MAKE-EVENT (LET ...) ...)
Rules: NIL
Time: 0.04 seconds (prove: 0.00, print: 0.00, other: 0.04)
:SUCCESS
Summary
Form: ( MAKE-EVENT (LET ...) ...)
Rules: NIL
Time: 0.04 seconds (prove: 0.00, print: 0.00, other: 0.04)
:SUCCESS
Summary
Form: ( MAKE-EVENT (LET ...) ...)
Rules: NIL
Time: 0.03 seconds (prove: 0.00, print: 0.00, other: 0.03)
:SUCCESS
Summary
Form: ( MAKE-EVENT (LET ...) ...)
Rules: NIL
Time: 0.04 seconds (prove: 0.00, print: 0.00, other: 0.04)
:SUCCESS
Sorted by *memoize-summary-order-list* = (TOTAL-TIME NUMBER-OF-CALLS).
(F2
Hits/calls 8.19S+4/ 8.20S+4 = 99.9%
Time of all outermost calls 0.02
Time per call 2.43E-7
Time per missed call 5.40E-4
From other functions 8.20S+4 calls took 2.00E-2; 100.0%
Memoize table count/size 3.70S+1/ 6.00S+1 = 61.6%)
(F4
Hits/calls 8.19S+4/ 8.19S+4 = 99.9%
Time of all outermost calls 0.02
Time per call 2.43E-7
Pons calls 8.19S+4; 25.0%
Time per missed call 4.87E-4
From other functions 8.19S+4 calls took 2.00E-2; 100.0%
Memoize table count/size 4.10S+1/ 6.00S+1 = 68.3%
(Pons table count/size 37/60 = 61.6%)
(Number of pons sub tables 0)
(Sum of pons sub table sizes 0)
(Number of ponses 41))
(F6
Hits/calls 8.19S+4/ 8.19S+4 = 99.9%
Time of all outermost calls 0.02
Time per call 2.43E-7
Pons calls 1.63S+5; 49.9%
Time per missed call 4.87E-4
From other functions 8.19S+4 calls took 2.00E-2; 100.0%
Memoize table count/size 4.10S+1/ 6.00S+1 = 68.3%
(Pons table count/size 78/135 = 57.7%)
(Number of pons sub tables 0)
(Sum of pons sub table sizes 0)
(Number of ponses 82))
(F1
Hits/calls 8.19S+4/ 8.20S+4 = 99.9%
Time of all outermost calls 1.00E-2
Time per call 1.21E-7
Time per missed call 2.70E-4
From other functions 8.20S+4 calls took 1.00E-2; 100.0%
Memoize table count/size 3.70S+1/ 6.00S+1 = 61.6%)
(F3
Hits/calls 8.19S+4/ 8.20S+4 = 99.9%
Time of all outermost calls 1.00E-2
Time per call 1.21E-7
Time per missed call 2.70E-4
From other functions 8.20S+4 calls took 1.00E-2; 100.0%
Memoize table count/size 3.70S+1/ 6.00S+1 = 61.6%)
(F5
Hits/calls 8.19S+4/ 8.19S+4 = 99.9%
Time of all outermost calls 1.00E-2
Time per call 1.21E-7
Pons calls 8.19S+4; 25.0%
Time per missed call 2.43E-4
From other functions 8.19S+4 calls took 1.00E-2; 100.0%
Memoize table count/size 4.10S+1/ 6.00S+1 = 68.3%
(Pons table count/size 37/60 = 61.6%)
(Number of pons sub tables 0)
(Sum of pons sub table sizes 0)
(Number of ponses 41))
NIL
F1
F2
F3
F4
F5
F6
Summary
Form: ( DEFUN F1-MEMOIZE-CONDITION ...)
Rules: NIL
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
F1-MEMOIZE-CONDITION
Summary
Form: ( VERIFY-GUARDS F1-MEMOIZE-CONDITION)
Rules: NIL
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
F1-MEMOIZE-CONDITION
Compiling /tmp/gazonk_6921_0.lsp.
End of Pass 1.
End of Pass 2.
OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
Finished compiling /tmp/gazonk_6921_0.lsp.
Loading /tmp/gazonk_6921_0.o
start address -T 0xc371c50 Finished loading /tmp/gazonk_6921_0.o
Summary
Form: ( TABLE MEMOIZE-TABLE ...)
Rules: NIL
Time: 0.20 seconds (prove: 0.00, print: 0.00, other: 0.20)
MEMOIZE-TABLE
F1
Summary
Form: ( PROGN (DEFUN F1-MEMOIZE-CONDITION ...) ...)
Rules: NIL
Time: 0.20 seconds (prove: 0.00, print: 0.00, other: 0.20)
Summary
Form: ( MAKE-EVENT (LET* ...))
Rules: NIL
Time: 0.20 seconds (prove: 0.00, print: 0.00, other: 0.20)
F1
Summary
Form: ( DEFUN F2-MEMOIZE-CONDITION ...)
Rules: NIL
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
F2-MEMOIZE-CONDITION
Summary
Form: ( VERIFY-GUARDS F2-MEMOIZE-CONDITION)
Rules: NIL
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
F2-MEMOIZE-CONDITION
Compiling /tmp/gazonk_6921_0.lsp.
End of Pass 1.
End of Pass 2.
OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
Finished compiling /tmp/gazonk_6921_0.lsp.
Loading /tmp/gazonk_6921_0.o
start address -T 0xc372fb0 Finished loading /tmp/gazonk_6921_0.o
Summary
Form: ( TABLE MEMOIZE-TABLE ...)
Rules: NIL
Time: 0.20 seconds (prove: 0.00, print: 0.00, other: 0.20)
MEMOIZE-TABLE
F2
Summary
Form: ( PROGN (DEFUN F2-MEMOIZE-CONDITION ...) ...)
Rules: NIL
Time: 0.20 seconds (prove: 0.00, print: 0.00, other: 0.20)
Summary
Form: ( MAKE-EVENT (LET* ...))
Rules: NIL
Time: 0.20 seconds (prove: 0.00, print: 0.00, other: 0.20)
F2
Summary
Form: ( DEFUN F3-MEMOIZE-CONDITION ...)
Rules: NIL
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
F3-MEMOIZE-CONDITION
Summary
Form: ( VERIFY-GUARDS F3-MEMOIZE-CONDITION)
Rules: NIL
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
F3-MEMOIZE-CONDITION
Compiling /tmp/gazonk_6921_0.lsp.
End of Pass 1.
End of Pass 2.
OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
Finished compiling /tmp/gazonk_6921_0.lsp.
Loading /tmp/gazonk_6921_0.o
start address -T 0xc374370 Finished loading /tmp/gazonk_6921_0.o
Summary
Form: ( TABLE MEMOIZE-TABLE ...)
Rules: NIL
Time: 0.23 seconds (prove: 0.00, print: 0.00, other: 0.23)
MEMOIZE-TABLE
F3
Summary
Form: ( PROGN (DEFUN F3-MEMOIZE-CONDITION ...) ...)
Rules: NIL
Time: 0.23 seconds (prove: 0.00, print: 0.00, other: 0.23)
Summary
Form: ( MAKE-EVENT (LET* ...))
Rules: NIL
Time: 0.23 seconds (prove: 0.00, print: 0.00, other: 0.23)
F3
Summary
Form: ( DEFUN F4-MEMOIZE-CONDITION ...)
Rules: NIL
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
F4-MEMOIZE-CONDITION
Summary
Form: ( VERIFY-GUARDS F4-MEMOIZE-CONDITION)
Rules: NIL
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
F4-MEMOIZE-CONDITION
Compiling /tmp/gazonk_6921_0.lsp.
End of Pass 1.
End of Pass 2.
OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
Finished compiling /tmp/gazonk_6921_0.lsp.
Loading /tmp/gazonk_6921_0.o
start address -T 0xc375aa0 Finished loading /tmp/gazonk_6921_0.o
Summary
Form: ( TABLE MEMOIZE-TABLE ...)
Rules: NIL
Time: 0.22 seconds (prove: 0.00, print: 0.00, other: 0.22)
MEMOIZE-TABLE
F4
Summary
Form: ( PROGN (DEFUN F4-MEMOIZE-CONDITION ...) ...)
Rules: NIL
Time: 0.22 seconds (prove: 0.00, print: 0.00, other: 0.22)
Summary
Form: ( MAKE-EVENT (LET* ...))
Rules: NIL
Time: 0.22 seconds (prove: 0.00, print: 0.00, other: 0.22)
F4
Summary
Form: ( DEFUN F5-MEMOIZE-CONDITION ...)
Rules: NIL
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
F5-MEMOIZE-CONDITION
Summary
Form: ( VERIFY-GUARDS F5-MEMOIZE-CONDITION)
Rules: NIL
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
F5-MEMOIZE-CONDITION
Compiling /tmp/gazonk_6921_0.lsp.
End of Pass 1.
End of Pass 2.
OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
Finished compiling /tmp/gazonk_6921_0.lsp.
Loading /tmp/gazonk_6921_0.o
start address -T 0xc377190 Finished loading /tmp/gazonk_6921_0.o
Summary
Form: ( TABLE MEMOIZE-TABLE ...)
Rules: NIL
Time: 0.26 seconds (prove: 0.00, print: 0.00, other: 0.26)
MEMOIZE-TABLE
F5
Summary
Form: ( PROGN (DEFUN F5-MEMOIZE-CONDITION ...) ...)
Rules: NIL
Time: 0.26 seconds (prove: 0.00, print: 0.00, other: 0.26)
Summary
Form: ( MAKE-EVENT (LET* ...))
Rules: NIL
Time: 0.26 seconds (prove: 0.00, print: 0.00, other: 0.26)
F5
Summary
Form: ( DEFUN F6-MEMOIZE-CONDITION ...)
Rules: NIL
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
F6-MEMOIZE-CONDITION
Summary
Form: ( VERIFY-GUARDS F6-MEMOIZE-CONDITION)
Rules: NIL
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
F6-MEMOIZE-CONDITION
Compiling /tmp/gazonk_6921_0.lsp.
End of Pass 1.
End of Pass 2.
OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
Finished compiling /tmp/gazonk_6921_0.lsp.
Loading /tmp/gazonk_6921_0.o
start address -T 0xc378b30 Finished loading /tmp/gazonk_6921_0.o
Summary
Form: ( TABLE MEMOIZE-TABLE ...)
Rules: NIL
Time: 0.22 seconds (prove: 0.00, print: 0.00, other: 0.22)
MEMOIZE-TABLE
F6
Summary
Form: ( PROGN (DEFUN F6-MEMOIZE-CONDITION ...) ...)
Rules: NIL
Time: 0.22 seconds (prove: 0.00, print: 0.00, other: 0.22)
Summary
Form: ( MAKE-EVENT (LET* ...))
Rules: NIL
Time: 0.22 seconds (prove: 0.00, print: 0.00, other: 0.22)
F6
Summary
Form: ( MAKE-EVENT (LET ...) ...)
Rules: NIL
Time: 0.03 seconds (prove: 0.00, print: 0.00, other: 0.03)
:SUCCESS
Summary
Form: ( MAKE-EVENT (LET ...) ...)
Rules: NIL
Time: 0.02 seconds (prove: 0.00, print: 0.00, other: 0.02)
:SUCCESS
Summary
Form: ( MAKE-EVENT (LET ...) ...)
Rules: NIL
Time: 0.04 seconds (prove: 0.00, print: 0.00, other: 0.04)
:SUCCESS
Summary
Form: ( MAKE-EVENT (LET ...) ...)
Rules: NIL
Time: 0.04 seconds (prove: 0.00, print: 0.00, other: 0.04)
:SUCCESS
Summary
Form: ( MAKE-EVENT (LET ...) ...)
Rules: NIL
Time: 0.03 seconds (prove: 0.00, print: 0.00, other: 0.03)
:SUCCESS
Summary
Form: ( MAKE-EVENT (LET ...) ...)
Rules: NIL
Time: 0.04 seconds (prove: 0.00, print: 0.00, other: 0.04)
:SUCCESS
Sorted by *memoize-summary-order-list* = (TOTAL-TIME NUMBER-OF-CALLS).
(F4
Hits/calls 7.99S+4/ 1.63S+5 = 48.7%
Time of all outermost calls 0.05
Time per call 3.04E-7
Pons calls 7.99S+4; 25.0%
Time per missed call 5.94E-7
From other functions 1.63S+5 calls took 5.00E-2; 100.0%
Memoize table count/size 4.00S+1/ 6.00S+1 = 66.6%
(Pons table count/size 36/60 = 60.0%)
(Number of pons sub tables 0)
(Sum of pons sub table sizes 0)
(Number of ponses 40))
(F3
Hits/calls 7.99S+4/ 1.64S+5 = 48.7%
Time of all outermost calls 0.03
Time per call 1.82E-7
Time per missed call 3.56E-7
From other functions 1.64S+5 calls took 3.00E-2; 100.0%
Memoize table count/size 3.60S+1/ 6.00S+1 = 60.0%)
(F5
Hits/calls 7.99S+4/ 1.63S+5 = 48.7%
Time of all outermost calls 0.03
Time per call 1.82E-7
Pons calls 7.99S+4; 25.0%
Time per missed call 3.56E-7
From other functions 1.63S+5 calls took 3.00E-2; 100.0%
Memoize table count/size 4.00S+1/ 6.00S+1 = 66.6%
(Pons table count/size 36/60 = 60.0%)
(Number of pons sub tables 0)
(Sum of pons sub table sizes 0)
(Number of ponses 40))
(F6
Hits/calls 7.99S+4/ 1.63S+5 = 48.7%
Time of all outermost calls 0.03
Time per call 1.82E-7
Pons calls 1.59S+5; 49.9%
Time per missed call 3.56E-7
From other functions 1.63S+5 calls took 3.00E-2; 100.0%
Memoize table count/size 4.00S+1/ 6.00S+1 = 66.6%
(Pons table count/size 76/135 = 56.2%)
(Number of pons sub tables 0)
(Sum of pons sub table sizes 0)
(Number of ponses 80))
(F2
Hits/calls 7.99S+4/ 1.64S+5 = 48.7%
Time of all outermost calls 0.02
Time per call 1.21E-7
Time per missed call 2.37E-7
From other functions 1.64S+5 calls took 2.00E-2; 100.0%
Memoize table count/size 3.60S+1/ 6.00S+1 = 60.0%)
(F1
Hits/calls 7.99S+4/ 1.64S+5 = 48.7%
Time of all outermost calls 1.00E-2
Time per call 6.09E-8
Time per missed call 1.18E-7
From other functions 1.64S+5 calls took 1.00E-2; 100.0%
Memoize table count/size 3.60S+1/ 6.00S+1 = 60.0%)
NIL
F1
F2
F3
F4
F5
F6
Summary
Form: ( DEFUN TEST-SIMULTANEOUSLY-ACONS ...)
Rules: ((:TYPE-PRESCRIPTION BINARY-PAND))
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
TEST-SIMULTANEOUSLY-ACONS
Summary
Form: ( MAKE-EVENT (LET ...) ...)
Rules: NIL
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
:SUCCESS
Summary
Form: ( DEFUN TEST-SIMULTANEOUSLY-ACONS-WITH-SPEC-MV-LET ...)
Rules: ((:DEFINITION HONS-ACONS)
(:EXECUTABLE-COUNTERPART ACL2-NUMBERP)
(:EXECUTABLE-COUNTERPART BINARY-+)
(:EXECUTABLE-COUNTERPART CAR)
(:EXECUTABLE-COUNTERPART CDR)
(:EXECUTABLE-COUNTERPART CONS)
(:EXECUTABLE-COUNTERPART CONSP)
(:EXECUTABLE-COUNTERPART EQUAL)
(:EXECUTABLE-COUNTERPART IF)
(:EXECUTABLE-COUNTERPART MV-NTH)
(:FAKE-RUNE-FOR-TYPE-SET NIL))
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
Prover steps counted: 133
TEST-SIMULTANEOUSLY-ACONS-WITH-SPEC-MV-LET
Summary
Form: ( MAKE-EVENT (LET ...) ...)
Rules: NIL
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
:SUCCESS
Summary
Form: ( DEFUN TEST-SIMULTANEOUSLY-HONS ...)
Rules: ((:TYPE-PRESCRIPTION BINARY-PAND))
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
TEST-SIMULTANEOUSLY-HONS
Summary
Form: ( MAKE-EVENT (LET ...) ...)
Rules: NIL
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
:SUCCESS
Summary
Form: ( DEFUN TEST-SIMULTANEOUSLY-HONS-WITH-SPEC-MV-LET ...)
Rules: ((:DEFINITION HONS)
(:EXECUTABLE-COUNTERPART ACL2-NUMBERP)
(:EXECUTABLE-COUNTERPART BINARY-+)
(:EXECUTABLE-COUNTERPART CAR)
(:EXECUTABLE-COUNTERPART CDR)
(:EXECUTABLE-COUNTERPART CONS)
(:EXECUTABLE-COUNTERPART CONSP)
(:EXECUTABLE-COUNTERPART EQUAL)
(:EXECUTABLE-COUNTERPART IF)
(:EXECUTABLE-COUNTERPART MV-NTH)
(:FAKE-RUNE-FOR-TYPE-SET NIL))
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
Prover steps counted: 95
TEST-SIMULTANEOUSLY-HONS-WITH-SPEC-MV-LET
Summary
Form: ( MAKE-EVENT (LET ...) ...)
Rules: NIL
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
:SUCCESS
Summary
Form: ( DEFUN MAKE-MEMOIZED-ALIST ...)
Rules: ((:FAKE-RUNE-FOR-TYPE-SET NIL)
(:TYPE-PRESCRIPTION MAKE-FAST-ALIST))
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
MAKE-MEMOIZED-ALIST
Summary
Form: ( TABLE MEMOIZE-TABLE ...)
Rules: NIL
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
MEMOIZE-TABLE
MAKE-MEMOIZED-ALIST
Summary
Form: ( PROGN (TABLE MEMOIZE-TABLE ...) ...)
Rules: NIL
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
MAKE-MEMOIZED-ALIST
Summary
Form: ( DEFUN DO-STUFF-TO-FAST-ALIST ...)
Rules: ((:COMPOUND-RECOGNIZER NATP-COMPOUND-RECOGNIZER)
(:COMPOUND-RECOGNIZER ZP-COMPOUND-RECOGNIZER)
(:FAKE-RUNE-FOR-TYPE-SET NIL)
(:TYPE-PRESCRIPTION HONS-ACONS))
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
DO-STUFF-TO-FAST-ALIST
Compiling /tmp/TMP@6921@.lisp.
End of Pass 1.
;; Note: Tail-recursive call of DO-STUFF-TO-FAST-ALIST was replaced by iteration.
End of Pass 2.
OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
Finished compiling /tmp/TMP@6921@.lisp.
Loading /tmp/TMP@6921@.o
start address -T 0xc37a230 Finished loading /tmp/TMP@6921@.o
Compiling /tmp/TMP@6921@1.lisp.
End of Pass 1.
;; Note: Tail-recursive call of ACL2_*1*_ACL2::DO-STUFF-TO-FAST-ALIST was replaced by iteration.
End of Pass 2.
OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
Finished compiling /tmp/TMP@6921@1.lisp.
Loading /tmp/TMP@6921@1.o
start address -T 0xc37b340 Finished loading /tmp/TMP@6921@1.o
T
Summary
Form: ( DEFCONST *SPEC* ...)
Rules: NIL
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
*SPEC*
Summary
Form: ( DEFUN CHECK-BOTH-WITH-PAND ...)
Rules: ((:EXECUTABLE-COUNTERPART MAKE-FAST-ALIST)
(:EXECUTABLE-COUNTERPART MAKE-MEMOIZED-ALIST)
(:TYPE-PRESCRIPTION BINARY-PAND))
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
CHECK-BOTH-WITH-PAND
Summary
Form: ( MAKE-EVENT (LET ...) ...)
Rules: NIL
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
:SUCCESS
Summary
Form: ( DEFUN ADD-SOME-HONSES ...)
Rules: ((:FAKE-RUNE-FOR-TYPE-SET NIL))
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
ADD-SOME-HONSES
Summary
Form: ( DEFUN THREAD1 ...)
Rules: ((:FAKE-RUNE-FOR-TYPE-SET NIL))
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
THREAD1
Summary
Form: ( DEFUN THREAD2 ...)
Rules: ((:FAKE-RUNE-FOR-TYPE-SET NIL))
Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
THREAD2
Compiling /tmp/TMP@6921@.lisp.
End of Pass 1.
;; Note: Tail-recursive call of ADD-SOME-HONSES was replaced by iteration.
End of Pass 2.
OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
Finished compiling /tmp/TMP@6921@.lisp.
Loading /tmp/TMP@6921@.o
start address -T 0xc37c910 Finished loading /tmp/TMP@6921@.o
Compiling /tmp/TMP@6921@1.lisp.
End of Pass 1.
End of Pass 2.
OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
Finished compiling /tmp/TMP@6921@1.lisp.
Loading /tmp/TMP@6921@1.o
start address -T 0xc37d860 Finished loading /tmp/TMP@6921@1.o
T
Summary
Form: ( DEFCONST *THREAD1-SPEC* ...)
Rules: NIL
Time: 0.19 seconds (prove: 0.00, print: 0.00, other: 0.19)
*THREAD1-SPEC*
[GC for 68983 CONS pages..(T=44).GC finished]
Summary
Form: ( DEFCONST *THREAD2-SPEC* ...)
Rules: NIL
Time: 0.66 seconds (prove: 0.00, print: 0.00, other: 0.66)
*THREAD2-SPEC*
Program received signal SIGSEGV, Segmentation fault.
equal1 (x=0x14864e60, y=0x13831840) at predicate.c:445
445 equal1(register object x, register object y) {
(gdb) bt
#0 equal1 (x=0x14864e60, y=0x13831840) at predicate.c:445
#1 0x00000000000e06c0 in equal1 (x=0x14864e50, y=0x13831830)
at predicate.c:463
#2 0x00000000000e06c0 in equal1 (x=0x14864e40, y=0x13831820)
at predicate.c:463
#3 0x00000000000e06c0 in equal1 (x=0x14864e30, y=0x13831810)
at predicate.c:463
#4 0x00000000000e06c0 in equal1 (x=0x14864e20, y=0x13831800)
at predicate.c:463
#5 0x00000000000e06c0 in equal1 (x=0x14864e10, y=0x138317f0)
at predicate.c:463
#6 0x00000000000e06c0 in equal1 (x=0x14864e00, y=0x138317e0)
at predicate.c:463
#7 0x00000000000e06c0 in equal1 (x=0x14864df0, y=0x138317d0)
at predicate.c:463
#8 0x00000000000e06c0 in equal1 (x=0x14864de0, y=0x138317c0)
at predicate.c:463
#9 0x00000000000e06c0 in equal1 (x=0x14864dd0, y=0x138317b0)
at predicate.c:463
#10 0x00000000000e06c0 in equal1 (x=0x14864dc0, y=0x138317a0)
at predicate.c:463
#11 0x00000000000e06c0 in equal1 (x=0x14864db0, y=0x13831790)
at predicate.c:463
---Type <return> to continue, or q <return> to quit---q
at predicate.c:Quit
(gdb) i reg all
pswm 0x705200180000000 505845723963588608
pswa 0xe05a0 918944
r0 0x1121c50 17964112
r1 0x14864e60 344346208
r2 0x14864e60 344346208
r3 0x13831840 327358528
r4 0x40ae50 4238928
r5 0x0 0
r6 0x2 2
r7 0x927830 9599024
r8 0x714910 7424272
r9 0x4463a60 71711328
r10 0x14864e50 344346192
r11 0x3ffffffc278 4398046495352
r12 0x13831830 327358512
r13 0x412c98 4271256
r14 0xe06c0 919232
r15 0x3fffe000f60 4398012960608
acr0 0x3ff 1023
acr1 0xfdac5710 4255930128
acr2 0x0 0
acr3 0x0 0
acr4 0x0 0
---Type <return> to continue, or q <return> to quit---
acr5 0x0 0
acr6 0x0 0
acr7 0x0 0
acr8 0x0 0
acr9 0x0 0
acr10 0x0 0
acr11 0x0 0
acr12 0x0 0
acr13 0x0 0
acr14 0x0 0
acr15 0x0 0
fpc 0x0 0
f0 0.0048216276392153493 (raw 0x3f73bfd7d061f988)
f1 20454 (raw 0x40d3f98000000000)
f2 0.95215910673141479 (raw 0x3fee781660000000)
f3 0 (raw 0x0000000000000000)
f4 0.69605225966521156 (raw 0x3fe6460f6372351d)
f5 191046 (raw 0x4107523000000000)
f6 0 (raw 0x0000000000000000)
f7 0 (raw 0x0000000000000000)
f8 0 (raw 0x0000000000000000)
f9 0 (raw 0x0000000000000000)
f10 0 (raw 0x0000000000000000)
---Type <return> to continue, or q <return> to quit---
f11 0 (raw 0x0000000000000000)
f12 0 (raw 0x0000000000000000)
f13 0 (raw 0x0000000000000000)
f14 0 (raw 0x0000000000000000)
f15 0 (raw 0x0000000000000000)
orig_r2 0x1 1
last_break 0x10183bc 0x10183bc
system_call 0x0 0
pc 0xe05a0 0xe05a0 <equal1>
cc 0x2 2
(gdb) frame 0
#0 equal1 (x=0x14864e60, y=0x13831840) at predicate.c:445
445 equal1(register object x, register object y) {
(gdb) disassemble
Dump of assembler code for function equal1:
=> 0x00000000000e05a0 <+0>: stmg %r9,%r15,72(%r15)
0x00000000000e05a6 <+6>: larl %r13,0x412c98
0x00000000000e05ac <+12>: aghi %r15,-160
0x00000000000e05b0 <+16>: lg %r1,0(%r2)
0x00000000000e05b6 <+22>: tmll %r1,1
0x00000000000e05ba <+26>: lgr %r10,%r2
0x00000000000e05be <+30>: lgr %r12,%r3
0x00000000000e05c2 <+34>: je 0xe0622 <equal1+130>
0x00000000000e05c6 <+38>: ltgr %r1,%r1
0x00000000000e05ca <+42>: jl 0xe0622 <equal1+130>
0x00000000000e05ce <+46>: lg %r2,0(%r3)
0x00000000000e05d4 <+52>: tmll %r2,1
0x00000000000e05d8 <+56>: je 0xe06c6 <equal1+294>
0x00000000000e05dc <+60>: ltgr %r2,%r2
0x00000000000e05e0 <+64>: jl 0xe06c6 <equal1+294>
0x00000000000e05e4 <+68>: lgr %r3,%r1
0x00000000000e05e8 <+72>: xgr %r3,%r2
0x00000000000e05ec <+76>: tmll %r3,7936
0x00000000000e05f0 <+80>: jne 0xe06c6 <equal1+294>
0x00000000000e05f4 <+84>: srlg %r1,%r1,8
0x00000000000e05fa <+90>: n %r1,36(%r13)
0x00000000000e05fe <+94>: ahi %r1,-1
---Type <return> to continue, or q <return> to quit---
0x00000000000e0602 <+98>: cl %r1,32(%r13)
0x00000000000e0606 <+102>: jh 0xe06c6 <equal1+294>
0x00000000000e060a <+106>: llgfr %r1,%r1
0x00000000000e060e <+110>: sllg %r1,%r1,3
0x00000000000e0614 <+116>: larl %r3,0x412c50
0x00000000000e061a <+122>: lg %r1,0(%r1,%r3)
0x00000000000e0620 <+128>: br %r1
0x00000000000e0622 <+130>: tm 7(%r12),1
0x00000000000e0626 <+134>: jne 0xe06dc <equal1+316>
0x00000000000e062a <+138>: lg %r1,8(%r10)
0x00000000000e0630 <+144>: lg %r2,8(%r12)
0x00000000000e0636 <+150>: cgr %r1,%r2
0x00000000000e063a <+154>: je 0xe0676 <equal1+214>
0x00000000000e063e <+158>: ltgr %r1,%r1
0x00000000000e0642 <+162>: jl 0xe06c6 <equal1+294>
0x00000000000e0646 <+166>: cg %r1,24(%r13)
0x00000000000e064c <+172>: je 0xe06c6 <equal1+294>
0x00000000000e0650 <+176>: ltgr %r2,%r2
0x00000000000e0654 <+180>: jl 0xe06c6 <equal1+294>
0x00000000000e0658 <+184>: cg %r2,24(%r13)
0x00000000000e065e <+190>: je 0xe06c6 <equal1+294>
0x00000000000e0662 <+194>: lgr %r3,%r2
0x00000000000e0666 <+198>: lgr %r2,%r1
---Type <return> to continue, or q <return> to quit---
0x00000000000e066a <+202>: brasl %r14,0xe05a0 <equal1>
0x00000000000e0670 <+208>: ltr %r2,%r2
0x00000000000e0672 <+210>: je 0xe06c6 <equal1+294>
0x00000000000e0676 <+214>: lg %r1,0(%r10)
0x00000000000e067c <+220>: lg %r2,0(%r12)
0x00000000000e0682 <+226>: cgr %r1,%r2
0x00000000000e0686 <+230>: je 0xe08c6 <equal1+806>
0x00000000000e068a <+234>: ltgr %r1,%r1
0x00000000000e068e <+238>: jl 0xe06c6 <equal1+294>
0x00000000000e0692 <+242>: cg %r1,24(%r13)
0x00000000000e0698 <+248>: je 0xe06c6 <equal1+294>
0x00000000000e069c <+252>: ltgr %r2,%r2
0x00000000000e06a0 <+256>: jl 0xe06c6 <equal1+294>
0x00000000000e06a4 <+260>: cg %r2,24(%r13)
0x00000000000e06aa <+266>: je 0xe06c6 <equal1+294>
0x00000000000e06ae <+270>: lg %r3,0(%r12)
0x00000000000e06b4 <+276>: lg %r2,0(%r10)
0x00000000000e06ba <+282>: brasl %r14,0xe05a0 <equal1>
0x00000000000e06c0 <+288>: ltr %r2,%r2
0x00000000000e06c2 <+290>: jne 0xe08c6 <equal1+806>
0x00000000000e06c6 <+294>: lhi %r2,0
0x00000000000e06ca <+298>: lg %r4,272(%r15)
0x00000000000e06d0 <+304>: lgfr %r2,%r2
---Type <return> to continue, or q <return> to quit---
0x00000000000e06d4 <+308>: lmg %r9,%r15,232(%r15)
0x00000000000e06da <+314>: br %r4
0x00000000000e06dc <+316>: lg %r1,0(%r12)
0x00000000000e06e2 <+322>: cghi %r1,0
0x00000000000e06e6 <+326>: jhe 0xe06c6 <equal1+294>
0x00000000000e06ea <+330>: j 0xe062a <equal1+138>
0x00000000000e06ee <+334>: lg %r1,8(%r10)
0x00000000000e06f4 <+340>: lg %r2,8(%r12)
0x00000000000e06fa <+346>: cgr %r1,%r2
0x00000000000e06fe <+350>: je 0xe073a <equal1+410>
0x00000000000e0702 <+354>: ltgr %r1,%r1
0x00000000000e0706 <+358>: jl 0xe06c6 <equal1+294>
0x00000000000e070a <+362>: cg %r1,24(%r13)
0x00000000000e0710 <+368>: je 0xe06c6 <equal1+294>
0x00000000000e0714 <+372>: ltgr %r2,%r2
0x00000000000e0718 <+376>: jl 0xe06c6 <equal1+294>
0x00000000000e071c <+380>: cg %r2,24(%r13)
0x00000000000e0722 <+386>: je 0xe06c6 <equal1+294>
0x00000000000e0726 <+390>: lgr %r3,%r2
0x00000000000e072a <+394>: lgr %r2,%r1
0x00000000000e072e <+398>: brasl %r14,0xe05a0 <equal1>
0x00000000000e0734 <+404>: ltr %r2,%r2
0x00000000000e0736 <+406>: je 0xe06c6 <equal1+294>
---Type <return> to continue, or q <return> to quit---
0x00000000000e073a <+410>: lg %r1,16(%r10)
0x00000000000e0740 <+416>: lg %r2,16(%r12)
0x00000000000e0746 <+422>: cgr %r1,%r2
0x00000000000e074a <+426>: je 0xe078a <equal1+490>
0x00000000000e074e <+430>: ltgr %r1,%r1
0x00000000000e0752 <+434>: jl 0xe06c6 <equal1+294>
0x00000000000e0756 <+438>: cg %r1,24(%r13)
0x00000000000e075c <+444>: je 0xe06c6 <equal1+294>
0x00000000000e0760 <+448>: ltgr %r2,%r2
0x00000000000e0764 <+452>: jl 0xe06c6 <equal1+294>
0x00000000000e0768 <+456>: cg %r2,24(%r13)
0x00000000000e076e <+462>: je 0xe06c6 <equal1+294>
0x00000000000e0772 <+466>: lg %r3,16(%r12)
0x00000000000e0778 <+472>: lg %r2,16(%r10)
0x00000000000e077e <+478>: brasl %r14,0xe05a0 <equal1>
0x00000000000e0784 <+484>: ltr %r2,%r2
0x00000000000e0786 <+486>: je 0xe06c6 <equal1+294>
0x00000000000e078a <+490>: lg %r1,24(%r10)
0x00000000000e0790 <+496>: lg %r2,24(%r12)
0x00000000000e0796 <+502>: cgr %r1,%r2
0x00000000000e079a <+506>: je 0xe07da <equal1+570>
0x00000000000e079e <+510>: ltgr %r1,%r1
0x00000000000e07a2 <+514>: jl 0xe06c6 <equal1+294>
---Type <return> to continue, or q <return> to quit---
0x00000000000e07a6 <+518>: cg %r1,24(%r13)
0x00000000000e07ac <+524>: je 0xe06c6 <equal1+294>
0x00000000000e07b0 <+528>: ltgr %r2,%r2
0x00000000000e07b4 <+532>: jl 0xe06c6 <equal1+294>
0x00000000000e07b8 <+536>: cg %r2,24(%r13)
0x00000000000e07be <+542>: je 0xe06c6 <equal1+294>
0x00000000000e07c2 <+546>: lg %r3,24(%r12)
0x00000000000e07c8 <+552>: lg %r2,24(%r10)
0x00000000000e07ce <+558>: brasl %r14,0xe05a0 <equal1>
0x00000000000e07d4 <+564>: ltr %r2,%r2
0x00000000000e07d6 <+566>: je 0xe06c6 <equal1+294>
0x00000000000e07da <+570>: lg %r1,32(%r10)
0x00000000000e07e0 <+576>: lg %r2,32(%r12)
0x00000000000e07e6 <+582>: cgr %r1,%r2
0x00000000000e07ea <+586>: je 0xe0826 <equal1+646>
0x00000000000e07ee <+590>: ltgr %r1,%r1
0x00000000000e07f2 <+594>: jl 0xe06c6 <equal1+294>
0x00000000000e07f6 <+598>: cg %r1,24(%r13)
0x00000000000e07fc <+604>: je 0xe06c6 <equal1+294>
0x00000000000e0800 <+608>: ltgr %r2,%r2
0x00000000000e0804 <+612>: jl 0xe06c6 <equal1+294>
0x00000000000e0808 <+616>: cg %r2,24(%r13)
0x00000000000e080e <+622>: je 0xe06c6 <equal1+294>
---Type <return> to continue, or q <return> to quit---
0x00000000000e0812 <+626>: lgr %r3,%r2
0x00000000000e0816 <+630>: lgr %r2,%r1
0x00000000000e081a <+634>: brasl %r14,0xe05a0 <equal1>
0x00000000000e0820 <+640>: ltr %r2,%r2
0x00000000000e0822 <+642>: je 0xe06c6 <equal1+294>
0x00000000000e0826 <+646>: lg %r2,40(%r10)
0x00000000000e082c <+652>: lg %r1,40(%r12)
0x00000000000e0832 <+658>: cgr %r2,%r1
0x00000000000e0836 <+662>: je 0xe0876 <equal1+726>
0x00000000000e083a <+666>: ltgr %r2,%r2
0x00000000000e083e <+670>: jl 0xe06c6 <equal1+294>
0x00000000000e0842 <+674>: cg %r2,24(%r13)
0x00000000000e0848 <+680>: je 0xe06c6 <equal1+294>
0x00000000000e084c <+684>: ltgr %r1,%r1
0x00000000000e0850 <+688>: jl 0xe06c6 <equal1+294>
0x00000000000e0854 <+692>: cg %r1,24(%r13)
0x00000000000e085a <+698>: je 0xe06c6 <equal1+294>
0x00000000000e085e <+702>: lg %r3,40(%r12)
0x00000000000e0864 <+708>: lg %r2,40(%r10)
0x00000000000e086a <+714>: brasl %r14,0xe05a0 <equal1>
0x00000000000e0870 <+720>: ltr %r2,%r2
0x00000000000e0872 <+722>: je 0xe06c6 <equal1+294>
0x00000000000e0876 <+726>: lg %r2,48(%r10)
---Type <return> to continue, or q <return> to quit---
0x00000000000e087c <+732>: lg %r1,48(%r12)
0x00000000000e0882 <+738>: cgr %r2,%r1
0x00000000000e0886 <+742>: je 0xe08c6 <equal1+806>
0x00000000000e088a <+746>: ltgr %r2,%r2
0x00000000000e088e <+750>: jl 0xe06c6 <equal1+294>
0x00000000000e0892 <+754>: cg %r2,24(%r13)
0x00000000000e0898 <+760>: je 0xe06c6 <equal1+294>
0x00000000000e089c <+764>: ltgr %r1,%r1
0x00000000000e08a0 <+768>: jl 0xe06c6 <equal1+294>
0x00000000000e08a4 <+772>: cg %r1,24(%r13)
0x00000000000e08aa <+778>: je 0xe06c6 <equal1+294>
0x00000000000e08ae <+782>: lg %r3,48(%r12)
0x00000000000e08b4 <+788>: lg %r2,48(%r10)
0x00000000000e08ba <+794>: brasl %r14,0xe05a0 <equal1>
0x00000000000e08c0 <+800>: ltr %r2,%r2
0x00000000000e08c2 <+802>: je 0xe06c6 <equal1+294>
0x00000000000e08c6 <+806>: lhi %r2,1
0x00000000000e08ca <+810>: j 0xe06ca <equal1+298>
0x00000000000e08ce <+814>: lgr %r3,%r12
0x00000000000e08d2 <+818>: lgr %r2,%r10
0x00000000000e08d6 <+822>: lmg %r9,%r15,232(%r15)
0x00000000000e08dc <+828>: jg 0xa0398 <string_eq>
0x00000000000e08e2 <+834>: lg %r1,8(%r10)
---Type <return> to continue, or q <return> to quit---
0x00000000000e08e8 <+840>: lg %r2,8(%r12)
0x00000000000e08ee <+846>: cgr %r1,%r2
0x00000000000e08f2 <+850>: je 0xe092e <equal1+910>
0x00000000000e08f6 <+854>: ltgr %r1,%r1
0x00000000000e08fa <+858>: jl 0xe06c6 <equal1+294>
0x00000000000e08fe <+862>: cg %r1,24(%r13)
0x00000000000e0904 <+868>: je 0xe06c6 <equal1+294>
0x00000000000e0908 <+872>: ltgr %r2,%r2
0x00000000000e090c <+876>: jl 0xe06c6 <equal1+294>
0x00000000000e0910 <+880>: cg %r2,24(%r13)
0x00000000000e0916 <+886>: je 0xe06c6 <equal1+294>
0x00000000000e091a <+890>: lgr %r3,%r2
0x00000000000e091e <+894>: lgr %r2,%r1
0x00000000000e0922 <+898>: brasl %r14,0xe0220 <eql1>
0x00000000000e0928 <+904>: ltr %r2,%r2
0x00000000000e092a <+906>: je 0xe06c6 <equal1+294>
0x00000000000e092e <+910>: lg %r1,16(%r10)
0x00000000000e0934 <+916>: lg %r2,16(%r12)
0x00000000000e093a <+922>: cgr %r1,%r2
0x00000000000e093e <+926>: je 0xe08c6 <equal1+806>
0x00000000000e0942 <+930>: ltgr %r1,%r1
0x00000000000e0946 <+934>: jl 0xe06c6 <equal1+294>
0x00000000000e094a <+938>: cg %r1,24(%r13)
---Type <return> to continue, or q <return> to quit---
0x00000000000e0950 <+944>: je 0xe06c6 <equal1+294>
0x00000000000e0954 <+948>: ltgr %r2,%r2
0x00000000000e0958 <+952>: jl 0xe06c6 <equal1+294>
0x00000000000e095c <+956>: cg %r2,24(%r13)
0x00000000000e0962 <+962>: je 0xe06c6 <equal1+294>
0x00000000000e0966 <+966>: lg %r3,16(%r12)
0x00000000000e096c <+972>: lg %r2,16(%r10)
0x00000000000e0972 <+978>: brasl %r14,0xe0220 <eql1>
0x00000000000e0978 <+984>: ltr %r2,%r2
0x00000000000e097a <+986>: je 0xe06c6 <equal1+294>
0x00000000000e097e <+990>: lhi %r2,1
0x00000000000e0982 <+994>: j 0xe06ca <equal1+298>
0x00000000000e0986 <+998>: ld %f0,8(%r10)
0x00000000000e098a <+1002>: cdb %f0,8(%r12)
0x00000000000e0990 <+1008>: lhi %r2,1
0x00000000000e0994 <+1012>: je 0xe06ca <equal1+298>
0x00000000000e0998 <+1016>: j 0xe06c6 <equal1+294>
0x00000000000e099c <+1020>: le %f0,8(%r10)
0x00000000000e09a0 <+1024>: ceb %f0,8(%r12)
0x00000000000e09a6 <+1030>: lhi %r2,1
0x00000000000e09aa <+1034>: je 0xe06ca <equal1+298>
0x00000000000e09ae <+1038>: j 0xe06c6 <equal1+294>
0x00000000000e09b2 <+1042>: lg %r1,16(%r10)
---Type <return> to continue, or q <return> to quit---
0x00000000000e09b8 <+1048>: lg %r2,16(%r12)
0x00000000000e09be <+1054>: cgr %r1,%r2
0x00000000000e09c2 <+1058>: je 0xe09fe <equal1+1118>
0x00000000000e09c6 <+1062>: ltgr %r1,%r1
0x00000000000e09ca <+1066>: jl 0xe06c6 <equal1+294>
0x00000000000e09ce <+1070>: cg %r1,24(%r13)
0x00000000000e09d4 <+1076>: je 0xe06c6 <equal1+294>
0x00000000000e09d8 <+1080>: ltgr %r2,%r2
0x00000000000e09dc <+1084>: jl 0xe06c6 <equal1+294>
0x00000000000e09e0 <+1088>: cg %r2,24(%r13)
0x00000000000e09e6 <+1094>: je 0xe06c6 <equal1+294>
0x00000000000e09ea <+1098>: lgr %r3,%r2
0x00000000000e09ee <+1102>: lgr %r2,%r1
0x00000000000e09f2 <+1106>: brasl %r14,0xe0220 <eql1>
0x00000000000e09f8 <+1112>: ltr %r2,%r2
0x00000000000e09fa <+1114>: je 0xe06c6 <equal1+294>
0x00000000000e09fe <+1118>: lg %r1,8(%r10)
0x00000000000e0a04 <+1124>: lg %r2,8(%r12)
0x00000000000e0a0a <+1130>: cgr %r1,%r2
0x00000000000e0a0e <+1134>: je 0xe08c6 <equal1+806>
0x00000000000e0a12 <+1138>: ltgr %r1,%r1
0x00000000000e0a16 <+1142>: jl 0xe06c6 <equal1+294>
0x00000000000e0a1a <+1146>: cg %r1,24(%r13)
---Type <return> to continue, or q <return> to quit---
0x00000000000e0a20 <+1152>: je 0xe06c6 <equal1+294>
0x00000000000e0a24 <+1156>: ltgr %r2,%r2
0x00000000000e0a28 <+1160>: jl 0xe06c6 <equal1+294>
0x00000000000e0a2c <+1164>: cg %r2,24(%r13)
0x00000000000e0a32 <+1170>: je 0xe06c6 <equal1+294>
0x00000000000e0a36 <+1174>: lg %r3,8(%r12)
0x00000000000e0a3c <+1180>: lg %r2,8(%r10)
0x00000000000e0a42 <+1186>: brasl %r14,0xe0220 <eql1>
0x00000000000e0a48 <+1192>: ltr %r2,%r2
0x00000000000e0a4a <+1194>: je 0xe06c6 <equal1+294>
0x00000000000e0a4e <+1198>: lhi %r2,1
0x00000000000e0a52 <+1202>: j 0xe06ca <equal1+298>
0x00000000000e0a56 <+1206>: lgr %r3,%r12
0x00000000000e0a5a <+1210>: lgr %r2,%r10
0x00000000000e0a5e <+1214>: brasl %r14,0xd2d48 <big_compare>
0x00000000000e0a64 <+1220>: lpr %r2,%r2
0x00000000000e0a66 <+1222>: ahi %r2,-1
0x00000000000e0a6a <+1226>: srl %r2,31
0x00000000000e0a6e <+1230>: j 0xe06ca <equal1+298>
0x00000000000e0a72 <+1234>: ltgr %r10,%r10
0x00000000000e0a76 <+1238>: jl 0xe0ad6 <equal1+1334>
0x00000000000e0a7a <+1242>: lg %r1,8(%r10)
0x00000000000e0a80 <+1248>: ltgr %r12,%r12
---Type <return> to continue, or q <return> to quit---
0x00000000000e0a84 <+1252>: jl 0xe0aca <equal1+1322>
0x00000000000e0a88 <+1256>: lg %r2,8(%r12)
0x00000000000e0a8e <+1262>: xgr %r2,%r1
0x00000000000e0a92 <+1266>: lpgr %r2,%r2
0x00000000000e0a96 <+1270>: aghi %r2,-1
0x00000000000e0a9a <+1274>: srlg %r2,%r2,63
0x00000000000e0aa0 <+1280>: j 0xe06ca <equal1+298>
0x00000000000e0aa4 <+1284>: l %r3,36(%r10)
0x00000000000e0aa8 <+1288>: c %r3,36(%r12)
0x00000000000e0aac <+1292>: jne 0xe06c6 <equal1+294>
0x00000000000e0ab0 <+1296>: ltgr %r10,%r10
0x00000000000e0ab4 <+1300>: jl 0xe0ac4 <equal1+1316>
0x00000000000e0ab8 <+1304>: ltgr %r12,%r12
0x00000000000e0abc <+1308>: lh %r5,42(%r10)
0x00000000000e0ac0 <+1312>: jhe 0xe0ae4 <equal1+1348>
0x00000000000e0ac4 <+1316>: brasl %r14,0xefd0 <abort@plt>
0x00000000000e0aca <+1322>: llihh %r2,24576
0x00000000000e0ace <+1326>: la %r2,0(%r2,%r12)
0x00000000000e0ad2 <+1330>: j 0xe0a8e <equal1+1262>
0x00000000000e0ad6 <+1334>: lgr %r1,%r10
0x00000000000e0ada <+1338>: ag %r1,16(%r13)
0x00000000000e0ae0 <+1344>: j 0xe0a80 <equal1+1248>
0x00000000000e0ae4 <+1348>: srlg %r1,%r2,8
---Type <return> to continue, or q <return> to quit---
0x00000000000e0aea <+1354>: n %r1,36(%r13)
0x00000000000e0aee <+1358>: chi %r1,9
0x00000000000e0af2 <+1362>: jne 0xe0bfc <equal1+1628>
0x00000000000e0af6 <+1366>: lgh %r4,42(%r12)
0x00000000000e0afc <+1372>: ltr %r3,%r3
0x00000000000e0afe <+1374>: jle 0xe08c6 <equal1+806>
0x00000000000e0b02 <+1378>: sllg %r11,%r5,48
0x00000000000e0b08 <+1384>: lgr %r5,%r4
0x00000000000e0b0c <+1388>: srag %r11,%r11,48
0x00000000000e0b12 <+1394>: agfr %r5,%r3
0x00000000000e0b16 <+1398>: sgr %r11,%r4
0x00000000000e0b1a <+1402>: sgr %r5,%r4
0x00000000000e0b1e <+1406>: lg %r9,24(%r10)
0x00000000000e0b24 <+1412>: lg %r12,24(%r12)
0x00000000000e0b2a <+1418>: lhi %r0,128
0x00000000000e0b2e <+1422>: lgr %r1,%r11
0x00000000000e0b32 <+1426>: agr %r1,%r4
0x00000000000e0b36 <+1430>: ltgr %r1,%r1
0x00000000000e0b3a <+1434>: lgr %r2,%r1
0x00000000000e0b3e <+1438>: jl 0xe0bc8 <equal1+1576>
0x00000000000e0b42 <+1442>: srag %r2,%r2,3
0x00000000000e0b48 <+1448>: ng %r1,8(%r13)
0x00000000000e0b4e <+1454>: llgc %r3,0(%r2,%r9)
---Type <return> to continue, or q <return> to quit---
0x00000000000e0b54 <+1460>: sll %r3,24
0x00000000000e0b58 <+1464>: sra %r3,24
0x00000000000e0b5c <+1468>: ltgr %r1,%r1
0x00000000000e0b60 <+1472>: jl 0xe0bea <equal1+1610>
0x00000000000e0b64 <+1476>: lr %r2,%r0
0x00000000000e0b66 <+1478>: sra %r2,0(%r1)
0x00000000000e0b6a <+1482>: nr %r3,%r2
0x00000000000e0b6c <+1484>: lnr %r3,%r3
0x00000000000e0b6e <+1486>: ltgr %r4,%r4
0x00000000000e0b72 <+1490>: srl %r3,31
0x00000000000e0b76 <+1494>: lgr %r1,%r4
0x00000000000e0b7a <+1498>: jl 0xe0be2 <equal1+1602>
0x00000000000e0b7e <+1502>: srag %r1,%r1,3
0x00000000000e0b84 <+1508>: lgr %r2,%r4
0x00000000000e0b88 <+1512>: ng %r2,8(%r13)
0x00000000000e0b8e <+1518>: llgc %r1,0(%r1,%r12)
0x00000000000e0b94 <+1524>: sll %r1,24
0x00000000000e0b98 <+1528>: sra %r1,24
0x00000000000e0b9c <+1532>: ltgr %r2,%r2
0x00000000000e0ba0 <+1536>: jl 0xe0bd0 <equal1+1584>
0x00000000000e0ba4 <+1540>: lr %r10,%r0
0x00000000000e0ba6 <+1542>: sra %r10,0(%r2)
0x00000000000e0baa <+1546>: nr %r1,%r10
---Type <return> to continue, or q <return> to quit---
0x00000000000e0bac <+1548>: lnr %r1,%r1
0x00000000000e0bae <+1550>: srl %r1,31
0x00000000000e0bb2 <+1554>: cr %r3,%r1
0x00000000000e0bb4 <+1556>: jne 0xe06c6 <equal1+294>
0x00000000000e0bb8 <+1560>: aghi %r4,1
0x00000000000e0bbc <+1564>: brctg %r5,0xe0b2e <equal1+1422>
0x00000000000e0bc0 <+1568>: lhi %r2,1
0x00000000000e0bc4 <+1572>: j 0xe06ca <equal1+298>
0x00000000000e0bc8 <+1576>: aghi %r2,7
0x00000000000e0bcc <+1580>: j 0xe0b42 <equal1+1442>
0x00000000000e0bd0 <+1584>: aghi %r2,-1
0x00000000000e0bd4 <+1588>: og %r2,0(%r13)
0x00000000000e0bda <+1594>: aghi %r2,1
0x00000000000e0bde <+1598>: j 0xe0ba4 <equal1+1540>
0x00000000000e0be2 <+1602>: aghi %r1,7
0x00000000000e0be6 <+1606>: j 0xe0b7e <equal1+1502>
0x00000000000e0bea <+1610>: aghi %r1,-1
0x00000000000e0bee <+1614>: og %r1,0(%r13)
0x00000000000e0bf4 <+1620>: aghi %r1,1
0x00000000000e0bf8 <+1624>: j 0xe0b64 <equal1+1476>
0x00000000000e0bfc <+1628>: chi %r1,11
0x00000000000e0c00 <+1632>: jne 0xe0ac4 <equal1+1316>
0x00000000000e0c04 <+1636>: lgh %r4,50(%r12)
---Type <return> to continue, or q <return> to quit---
0x00000000000e0c0a <+1642>: j 0xe0afc <equal1+1372>
End of assembler dump.
(gdb)
(gdb) i reg r15
r15 0x3fffe000f60 4398012960608
(gdb) p/d 1<<25
$11 = 33554432
(gdb) p/x 0x3ffffffffff-0x3fffe000f60
$12 = 0x1fff09f
(gdb) p/d 0x3ffffffffff-0x3fffe000f60
$13 = 33550495
(gdb) c
Continuing.
Breakpoint 2, error (s=s@entry=0x402d84 "Segmentation violation.")
at main.c:564
564 if (catch_fatal>0 && interrupt_enable )
(gdb) p &s
Address requested for identifier "s" which is in register $r2
(gdb) bt 20
#0 error (s=s@entry=0x402d84 "Segmentation violation.") at main.c:564
#1 0x00000000000193e6 in segmentation_catcher (i=<optimized out>)
at main.c:762
#2 <signal handler called>
#3 equal1 (x=0x14864e60, y=0x13831840) at predicate.c:445
#4 0x00000000000e06c0 in equal1 (x=0x14864e50, y=0x13831830)
at predicate.c:463
#5 0x00000000000e06c0 in equal1 (x=0x14864e40, y=0x13831820)
at predicate.c:463
#6 0x00000000000e06c0 in equal1 (x=0x14864e30, y=0x13831810)
at predicate.c:463
#7 0x00000000000e06c0 in equal1 (x=0x14864e20, y=0x13831800)
at predicate.c:463
#8 0x00000000000e06c0 in equal1 (x=0x14864e10, y=0x138317f0)
at predicate.c:463
#9 0x00000000000e06c0 in equal1 (x=0x14864e00, y=0x138317e0)
at predicate.c:463
#10 0x00000000000e06c0 in equal1 (x=0x14864df0, y=0x138317d0)
at predicate.c:463
#11 0x00000000000e06c0 in equal1 (x=0x14864de0, y=0x138317c0)
at predicate.c:463
#12 0x00000000000e06c0 in equal1 (x=0x14864dd0, y=0x138317b0)
at predicate.c:463
---Type <return> to continue, or q <return> to quit---q
Quit
(gdb) q
A debugging session is active.
Inferior 1 [process 6921] will be killed.
Quit anyway? (y or n) y
=============================================================================
-- System Information:
Debian Release: stretch/sid
APT prefers unstable
APT policy: (500, 'unstable')
Architecture: s390x
Kernel: Linux 3.16.0-4-s390x (SMP w/2 CPU cores)
Locale: LANG=C, LC_CTYPE=C (charmap=ANSI_X3.4-1968)
Shell: /bin/sh linked to /bin/dash
Init: unable to detect
Versions of packages gcc-5 depends on:
ii binutils 2.25.1-7
ii cpp-5 5.2.1-22
ii gcc-5-base 5.2.1-22
ii libc6 2.19-22
ii libcc1-0 5.2.1-22
ii libgcc-5-dev 5.2.1-22
ii libgcc1 1:5.2.1-22
ii libgmp10 2:6.0.0+dfsg-7
ii libisl13 0.14-2
ii libmpc3 1.0.3-1
ii libmpfr4 3.1.3-1
ii libstdc++6 5.2.1-22
ii zlib1g 1:1.2.8.dfsg-2+b1
Versions of packages gcc-5 recommends:
ii libc6-dev 2.19-22
Versions of packages gcc-5 suggests:
pn gcc-5-doc <none>
pn gcc-5-locales <none>
pn gcc-5-multilib <none>
pn libasan2-dbg <none>
pn libatomic1-dbg <none>
pn libcilkrts5-dbg <none>
pn libgcc1-dbg <none>
pn libgomp1-dbg <none>
pn libitm1-dbg <none>
pn liblsan0-dbg <none>
pn libmpx0-dbg <none>
pn libquadmath-dbg <none>
pn libtsan0-dbg <none>
pn libubsan0-dbg <none>
-- no debconf information
--
Camm Maguire camm@maguirefamily.org
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
Reply to: