rajames/LithosAnanke
1
1
Fork 0
Code Issues 62 Pull Requests 1 Actions Packages Projects Releases Activity

std79 exerciser campaign: 27/27 legs clean, two real D. bugs found (FABRIC-3.md §XII.4)
Build / build-amd64-iso (push) Canceled after 0s
Details
Build / build-aarch64-iso (push) Canceled after 0s
Details
Build / build-riscv64-img (push) Canceled after 0s
Details

Browse Source 
Completed the FORTH-79 standard-dictionary cross-ISA exerciser campaign: all
9 identities (zuse, rajames/bob, 00-06) x all 3 architectures (amd64,
aarch64, riscv64), 27 legs total. No crashes, no heap corruption across the
full run -- real-world validation that the WIREBIND use-after-free fix
(commit 9142dda, FABRIC-3.md SXIII) holds under genuine multi-cycle load,
not just the synthetic repro used to verify it.

Cross-identity parity is perfect: 0 diffs across all 9 identities on each
architecture. Two real bugs found in double-precision (D.) output, reported
per this project's standing rule (report, don't fix without being asked):

- M* on a negative operand -> D. reports DOUBLE-OVERFLOW, universally
  across all three architectures (engine-level bug, not arch-specific).
- D+ on two negative doubles -> D. reports DOUBLE-OVERFLOW on aarch64
  only; amd64 and riscv64 both correctly print -2. cell_t width confirmed
  64-bit on all three (ruled out as the cause); exact mechanism still open.

Also fixed a test-harness timing issue (run_identities.sh): the retry
budget for USE-after-attach was too tight for boots with several live VMs
already accumulated, causing false "FAILED to USE" verdicts on identities
that actually succeeded a few seconds later. Widened the budget and
switched to smaller per-boot batches (2-3 identities) as the reliable
pattern for this shape of campaign.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01EXieurDfDSsDFdnSyusuWo
This commit is contained in:
Robert Allan James
2026-09-10 23:13:13 -04:00
co-authored by Claude Sonnet 5
parent 9142dda2d6
commit cc81edf00a
44 changed files with 85536 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
FABRIC-3.md
+58
View File
@@ -2141,6 +2141,64 @@ produced one interesting, unconfirmed data point before the first panic: `-123 4
against the other two architectures once the campaign completes; not yet root-caused or reported
as a bug on its own.
### XII.4 — Campaign completed: full 27-leg run (9 identities × 3 architectures), two real
FORTH-79 engine bugs found — reported, NOT fixed (2026-09-10, after §XIII's WIREBIND fix)
All 27 legs run: `zuse` (auto-attached, exercised directly on Hera's own console) plus `rajames`
(the `bob` thumbdrive's actual registered identity -- see the naming-mismatch note below) and
`00`–`06` (WIREBIND hotplug attach → `USE` → feed the 24-case exerciser → detach), on amd64,
aarch64, and riscv64. Run as several smaller boots per architecture rather than one 9-cycle boot,
after observing real (non-bug) cumulative slowdown as more live VMs accumulate in a single long
boot -- past roughly the 3rd-4th WIREBIND cycle in one boot, per-tick MSG-TICK pump cost grows
enough that a fixed script retry budget starts racing the kernel and produces false "FAILED to
USE" verdicts on cycles that actually succeeded a few seconds later (confirmed live: the identity
in question showed `USE: now using NN` in the serial log immediately after the script had already
given up and issued its own premature `device_del`). Splitting into 2-3-identity boots avoided
this entirely and is the reliable pattern for any future campaign of this shape. (Separately
confirmed: no heap corruption, no crash, across the full run -- real-world validation that
§XIII's fix holds under genuine multi-cycle WIREBIND load, not just the synthetic 3-cycle repro
used to verify it.)
**Cross-identity parity: perfect.** All 9 identities produce byte-identical T01-T24 output on
each architecture (0 diffs, all three architectures). Confirms the FORTH-79 ACL-lockdown
personality (`acl-std79.4th`) and the standard dictionary itself behave identically regardless of
which identity is running them -- expected, and a useful negative result on its own.
**Two real bugs found, both in double-precision (`D.`) output, neither fixed here per this
project's standing rule (report, don't fix without being asked):**
1. **`M*` on a negative operand → `D.` reports `DOUBLE-OVERFLOW`, on all three architectures
identically.** `T14: -123 456 M* SWAP D. CR` should print `-56088`; it prints `DOUBLE-OVERFLOW`
on amd64, aarch64, *and* riscv64 -- an engine-level bug (in `M*`'s double-cell result, or in
`D.`'s own overflow check, or both), not architecture-specific. Universal, 100% reproducible
across all 9 identities × 3 architectures.
2. **`D+` on two negative doubles → `D.` reports `DOUBLE-OVERFLOW`, aarch64 only.**
`T19: -5 S>D 3 S>D D+ SWAP D. CR` (computing -5 + 3 in double precision) correctly prints `-2`
on amd64 and riscv64, for all 9 identities -- but prints `DOUBLE-OVERFLOW` on aarch64, for all
9 identities, 100% consistently. A genuine cross-ISA divergence, not a flaky/intermittent
result.
Investigated (not fixed): read `double_word_d_plus()` (`double_words.c`) and
`format_word_d_dot()` (`format_words.c`). `D.`'s check is `(dhigh == 0) || (dhigh == -1 &&
dlow < 0)` -- correct FORTH-79 double-overflow semantics for a properly sign-extended result.
`D+`'s carry-detection casts through `unsigned long` for the low-cell addition, which would be
a real per-architecture bug *if* `unsigned long`'s width differed from `cell_t`'s on any of
these targets -- checked and ruled out: `cell_t` is `int64_t` on amd64 and aarch64 explicitly
(`vm.h`'s `#if defined(__amd64__) || ... || defined(__aarch64__) || ...`), and `signed
long`/`unsigned long` (the `#else` branch, since `__riscv` isn't in that `#if`) on riscv64 --
confirmed 64-bit on all three empirically via `T08: -1 1 RSHIFT` printing the identical
19-digit `9223372036854775807` on every architecture, which only a genuine 64-bit arithmetic
shift can produce. So this is not a cell-width mismatch; the actual mechanism producing a wrong
`dhigh` specifically on aarch64, for this specific input, is still open.
**Next step, if picked up:** trace `D+`'s carry computation with a targeted probe on aarch64
specifically for the `-5 S>D 3 S>D D+` sequence, comparing the pushed `result_high` against the
expected `-1` right before `SWAP D.` runs -- narrows whether the defect is in `D+` itself, in
`S>D`'s sign-extension, or somewhere in the stack-manipulation path between them. `M*`'s
universal failure (bug 1) is a separate, likely unrelated defect and would need its own trace
starting from `M*`'s own double-cell multiply, not `D+`'s.
## XIII. Heap corruption under repeated WIREBIND attach/detach cycling — root-caused and CLOSED
2026-09-10
capsules/BLOCK_MAP.md
+1 -1
View File
@@ -1,5 +1,5 @@
# Capsule Block Manifest — Auto-generated
<!-- Generated by mkcapsule --manifest 2026-09-11T00:25:07Z -->
<!-- Generated by mkcapsule --manifest 2026-09-11T03:08:21Z -->
<!-- DO NOT EDIT — re-run mkcapsule --manifest to refresh. -->
<!-- Hand-written justifications and immutability notes live -->
<!-- in MANIFEST.md alongside this auto-generated index. -->
disk/artemis.img
BIN
View File
Binary file not shown.
experiments/bare_metal/runs/doe-amd64-20260910-220305.csv
View File
experiments/bare_metal/runs/doe-amd64-20260910-222305.csv
View File
experiments/bare_metal/runs/doe-amd64-20260910-222730.csv
View File
experiments/std79-exerciser/README.md
+18
View File
@@ -0,0 +1,18 @@
# FORTH-79 Standard-Dictionary Cross-ISA Exerciser
`std79-exerciser.fth` is a 24-case, FORTH-79-standard-words-only program (no kernel-specific
extensions) covering `/MOD`, negate/abs boundary values, `RSHIFT`/`LSHIFT` on negatives,
`M*`/`M/MOD` mixed precision, `*/`/`*/MOD`, `S>D`/`D+`/`DNEGATE` double-cell ops, `MIN`/`MAX`/
`WITHIN`/`AND`/`OR`/`XOR`. It is not a capsule — feed it as raw text to a running REPL (serial
console, e.g. via `socat - UNIX-CONNECT:<serial_sock> < std79-exerciser.fth`), not through `EXEC`.
Written to test whether the same FORTH-79 word set behaves identically across every minted
identity (`zuse`, `rajames`/`bob`, `00`–`06`) and every supported architecture (amd64, aarch64,
riscv64) — see FABRIC-3.md §XII/§XII.4 for the full campaign writeup, including the two real
`D.`/double-precision bugs this found (one universal across all three architectures, one
aarch64-specific), and the WIREBIND heap-corruption bug (§XIII) found and fixed along the way
while getting the campaign's automation working reliably.
`results-20260910/` holds the raw captured output for all 27 (identity × architecture)
combinations from that campaign — `<arch>-<identity>.txt`. Cross-identity parity within each
architecture is perfect (0 diffs across all 9 identities, all three architectures).
experiments/std79-exerciser/results-20260910/aarch64-00.txt
+48
View File
@@ -0,0 +1,48 @@
[00] (zuse) ok> ." T01=" 7 3 /MOD SWAP . . CR
[00] T01=1 2
[00] (zuse) ok> ." T02=" -7 3 /MOD SWAP . . CR
[00] T02=-1 -2
[00] (zuse) ok> ." T03=" 7 -3 /MOD SWAP . . CR
[00] T03=1 -2
[00] (zuse) ok> ." T04=" -7 -3 /MOD SWAP . . CR
[00] T04=-1 2
[00] (zuse) ok> ." T05=" 2147483647 1 + . CR
[00] T05=2147483648
[00] (zuse) ok> ." T06=" -2147483648 NEGATE . CR
[00] T06=2147483648
[00] (zuse) ok> ." T07=" -2147483648 ABS . CR
[00] T07=2147483648
[00] (zuse) ok> ." T08=" -1 1 RSHIFT . CR
[00] T08=9223372036854775807
[00] (zuse) ok> ." T09=" -8 2 RSHIFT . CR
[00] T09=4611686018427387902
[00] (zuse) ok> ." T10=" 1 31 LSHIFT . CR
[00] T10=2147483648
[00] (zuse) ok> ." T11=" -1 0 < . CR
[00] T11=-1
[00] (zuse) ok> ." T12=" -1 0 U< . CR
[00] T12=0
[00] (zuse) ok> ." T13=" 123 456 M* SWAP D. CR
[00] T13=56088
[00] (zuse) ok> ." T14=" -123 456 M* SWAP D. CR
[00] T14=DOUBLE-OVERFLOW
[00] (zuse) ok> ." T15=" 100000 S>D SWAP 7 M/MOD . . CR
[00] T15=14285 5
[00] (zuse) ok> ." T16=" 7 11 3 */ . CR
[00] T16=25
[00] (zuse) ok> ." T17=" 7 11 3 */MOD SWAP . . CR
[00] T17=2 25
[00] (zuse) ok> ." T18=" -5 S>D SWAP D. CR
[00] T18=-5
[00] (zuse) ok> ." T19=" -5 S>D 3 S>D D+ SWAP D. CR
[00] T19=DOUBLE-OVERFLOW
[00] (zuse) ok> ." T20=" -5 S>D DNEGATE SWAP D. CR
[00] T20=5
[00] (zuse) ok> ." T21=" -5 3 MIN . -5 3 MAX . CR
[00] T21=-5 3
[00] (zuse) ok> ." T22=" 5 0 10 WITHIN . CR
[00] T22=-1
[00] (zuse) ok> ." T23=" -1 0 AND . -1 0 OR . 5 3 XOR . CR
[00] T23=0 -1 6
[00] (zuse) ok> ." T24=" -2147483648 2/ . CR
[00] T24=-1073741824
experiments/std79-exerciser/results-20260910/aarch64-01.txt
+48
View File
@@ -0,0 +1,48 @@
[01] (zuse) ok> ." T01=" 7 3 /MOD SWAP . . CR
[01] T01=1 2
[01] (zuse) ok> ." T02=" -7 3 /MOD SWAP . . CR
[01] T02=-1 -2
[01] (zuse) ok> ." T03=" 7 -3 /MOD SWAP . . CR
[01] T03=1 -2
[01] (zuse) ok> ." T04=" -7 -3 /MOD SWAP . . CR
[01] T04=-1 2
[01] (zuse) ok> ." T05=" 2147483647 1 + . CR
[01] T05=2147483648
[01] (zuse) ok> ." T06=" -2147483648 NEGATE . CR
[01] T06=2147483648
[01] (zuse) ok> ." T07=" -2147483648 ABS . CR
[01] T07=2147483648
[01] (zuse) ok> ." T08=" -1 1 RSHIFT . CR
[01] T08=9223372036854775807
[01] (zuse) ok> ." T09=" -8 2 RSHIFT . CR
[01] T09=4611686018427387902
[01] (zuse) ok> ." T10=" 1 31 LSHIFT . CR
[01] T10=2147483648
[01] (zuse) ok> ." T11=" -1 0 < . CR
[01] T11=-1
[01] (zuse) ok> ." T12=" -1 0 U< . CR
[01] T12=0
[01] (zuse) ok> ." T13=" 123 456 M* SWAP D. CR
[01] T13=56088
[01] (zuse) ok> ." T14=" -123 456 M* SWAP D. CR
[01] T14=DOUBLE-OVERFLOW
[01] (zuse) ok> ." T15=" 100000 S>D SWAP 7 M/MOD . . CR
[01] T15=14285 5
[01] (zuse) ok> ." T16=" 7 11 3 */ . CR
[01] T16=25
[01] (zuse) ok> ." T17=" 7 11 3 */MOD SWAP . . CR
[01] T17=2 25
[01] (zuse) ok> ." T18=" -5 S>D SWAP D. CR
[01] T18=-5
[01] (zuse) ok> ." T19=" -5 S>D 3 S>D D+ SWAP D. CR
[01] T19=DOUBLE-OVERFLOW
[01] (zuse) ok> ." T20=" -5 S>D DNEGATE SWAP D. CR
[01] T20=5
[01] (zuse) ok> ." T21=" -5 3 MIN . -5 3 MAX . CR
[01] T21=-5 3
[01] (zuse) ok> ." T22=" 5 0 10 WITHIN . CR
[01] T22=-1
[01] (zuse) ok> ." T23=" -1 0 AND . -1 0 OR . 5 3 XOR . CR
[01] T23=0 -1 6
[01] (zuse) ok> ." T24=" -2147483648 2/ . CR
[01] T24=-1073741824
experiments/std79-exerciser/results-20260910/aarch64-02.txt
+48
View File
@@ -0,0 +1,48 @@
[02] (zuse) ok> ." T01=" 7 3 /MOD SWAP . . CR
[02] T01=1 2
[02] (zuse) ok> ." T02=" -7 3 /MOD SWAP . . CR
[02] T02=-1 -2
[02] (zuse) ok> ." T03=" 7 -3 /MOD SWAP . . CR
[02] T03=1 -2
[02] (zuse) ok> ." T04=" -7 -3 /MOD SWAP . . CR
[02] T04=-1 2
[02] (zuse) ok> ." T05=" 2147483647 1 + . CR
[02] T05=2147483648
[02] (zuse) ok> ." T06=" -2147483648 NEGATE . CR
[02] T06=2147483648
[02] (zuse) ok> ." T07=" -2147483648 ABS . CR
[02] T07=2147483648
[02] (zuse) ok> ." T08=" -1 1 RSHIFT . CR
[02] T08=9223372036854775807
[02] (zuse) ok> ." T09=" -8 2 RSHIFT . CR
[02] T09=4611686018427387902
[02] (zuse) ok> ." T10=" 1 31 LSHIFT . CR
[02] T10=2147483648
[02] (zuse) ok> ." T11=" -1 0 < . CR
[02] T11=-1
[02] (zuse) ok> ." T12=" -1 0 U< . CR
[02] T12=0
[02] (zuse) ok> ." T13=" 123 456 M* SWAP D. CR
[02] T13=56088
[02] (zuse) ok> ." T14=" -123 456 M* SWAP D. CR
[02] T14=DOUBLE-OVERFLOW
[02] (zuse) ok> ." T15=" 100000 S>D SWAP 7 M/MOD . . CR
[02] T15=14285 5
[02] (zuse) ok> ." T16=" 7 11 3 */ . CR
[02] T16=25
[02] (zuse) ok> ." T17=" 7 11 3 */MOD SWAP . . CR
[02] T17=2 25
[02] (zuse) ok> ." T18=" -5 S>D SWAP D. CR
[02] T18=-5
[02] (zuse) ok> ." T19=" -5 S>D 3 S>D D+ SWAP D. CR
[02] T19=DOUBLE-OVERFLOW
[02] (zuse) ok> ." T20=" -5 S>D DNEGATE SWAP D. CR
[02] T20=5
[02] (zuse) ok> ." T21=" -5 3 MIN . -5 3 MAX . CR
[02] T21=-5 3
[02] (zuse) ok> ." T22=" 5 0 10 WITHIN . CR
[02] T22=-1
[02] (zuse) ok> ." T23=" -1 0 AND . -1 0 OR . 5 3 XOR . CR
[02] T23=0 -1 6
[02] (zuse) ok> ." T24=" -2147483648 2/ . CR
[02] T24=-1073741824
experiments/std79-exerciser/results-20260910/aarch64-03.txt
+48
View File
@@ -0,0 +1,48 @@
[03] (zuse) ok> ." T01=" 7 3 /MOD SWAP . . CR
[03] T01=1 2
[03] (zuse) ok> ." T02=" -7 3 /MOD SWAP . . CR
[03] T02=-1 -2
[03] (zuse) ok> ." T03=" 7 -3 /MOD SWAP . . CR
[03] T03=1 -2
[03] (zuse) ok> ." T04=" -7 -3 /MOD SWAP . . CR
[03] T04=-1 2
[03] (zuse) ok> ." T05=" 2147483647 1 + . CR
[03] T05=2147483648
[03] (zuse) ok> ." T06=" -2147483648 NEGATE . CR
[03] T06=2147483648
[03] (zuse) ok> ." T07=" -2147483648 ABS . CR
[03] T07=2147483648
[03] (zuse) ok> ." T08=" -1 1 RSHIFT . CR
[03] T08=9223372036854775807
[03] (zuse) ok> ." T09=" -8 2 RSHIFT . CR
[03] T09=4611686018427387902
[03] (zuse) ok> ." T10=" 1 31 LSHIFT . CR
[03] T10=2147483648
[03] (zuse) ok> ." T11=" -1 0 < . CR
[03] T11=-1
[03] (zuse) ok> ." T12=" -1 0 U< . CR
[03] T12=0
[03] (zuse) ok> ." T13=" 123 456 M* SWAP D. CR
[03] T13=56088
[03] (zuse) ok> ." T14=" -123 456 M* SWAP D. CR
[03] T14=DOUBLE-OVERFLOW
[03] (zuse) ok> ." T15=" 100000 S>D SWAP 7 M/MOD . . CR
[03] T15=14285 5
[03] (zuse) ok> ." T16=" 7 11 3 */ . CR
[03] T16=25
[03] (zuse) ok> ." T17=" 7 11 3 */MOD SWAP . . CR
[03] T17=2 25
[03] (zuse) ok> ." T18=" -5 S>D SWAP D. CR
[03] T18=-5
[03] (zuse) ok> ." T19=" -5 S>D 3 S>D D+ SWAP D. CR
[03] T19=DOUBLE-OVERFLOW
[03] (zuse) ok> ." T20=" -5 S>D DNEGATE SWAP D. CR
[03] T20=5
[03] (zuse) ok> ." T21=" -5 3 MIN . -5 3 MAX . CR
[03] T21=-5 3
[03] (zuse) ok> ." T22=" 5 0 10 WITHIN . CR
[03] T22=-1
[03] (zuse) ok> ." T23=" -1 0 AND . -1 0 OR . 5 3 XOR . CR
[03] T23=0 -1 6
[03] (zuse) ok> ." T24=" -2147483648 2/ . CR
[03] T24=-1073741824
experiments/std79-exerciser/results-20260910/aarch64-04.txt
+48
View File
@@ -0,0 +1,48 @@
[04] (zuse) ok> ." T01=" 7 3 /MOD SWAP . . CR
[04] T01=1 2
[04] (zuse) ok> ." T02=" -7 3 /MOD SWAP . . CR
[04] T02=-1 -2
[04] (zuse) ok> ." T03=" 7 -3 /MOD SWAP . . CR
[04] T03=1 -2
[04] (zuse) ok> ." T04=" -7 -3 /MOD SWAP . . CR
[04] T04=-1 2
[04] (zuse) ok> ." T05=" 2147483647 1 + . CR
[04] T05=2147483648
[04] (zuse) ok> ." T06=" -2147483648 NEGATE . CR
[04] T06=2147483648
[04] (zuse) ok> ." T07=" -2147483648 ABS . CR
[04] T07=2147483648
[04] (zuse) ok> ." T08=" -1 1 RSHIFT . CR
[04] T08=9223372036854775807
[04] (zuse) ok> ." T09=" -8 2 RSHIFT . CR
[04] T09=4611686018427387902
[04] (zuse) ok> ." T10=" 1 31 LSHIFT . CR
[04] T10=2147483648
[04] (zuse) ok> ." T11=" -1 0 < . CR
[04] T11=-1
[04] (zuse) ok> ." T12=" -1 0 U< . CR
[04] T12=0
[04] (zuse) ok> ." T13=" 123 456 M* SWAP D. CR
[04] T13=56088
[04] (zuse) ok> ." T14=" -123 456 M* SWAP D. CR
[04] T14=DOUBLE-OVERFLOW
[04] (zuse) ok> ." T15=" 100000 S>D SWAP 7 M/MOD . . CR
[04] T15=14285 5
[04] (zuse) ok> ." T16=" 7 11 3 */ . CR
[04] T16=25
[04] (zuse) ok> ." T17=" 7 11 3 */MOD SWAP . . CR
[04] T17=2 25
[04] (zuse) ok> ." T18=" -5 S>D SWAP D. CR
[04] T18=-5
[04] (zuse) ok> ." T19=" -5 S>D 3 S>D D+ SWAP D. CR
[04] T19=DOUBLE-OVERFLOW
[04] (zuse) ok> ." T20=" -5 S>D DNEGATE SWAP D. CR
[04] T20=5
[04] (zuse) ok> ." T21=" -5 3 MIN . -5 3 MAX . CR
[04] T21=-5 3
[04] (zuse) ok> ." T22=" 5 0 10 WITHIN . CR
[04] T22=-1
[04] (zuse) ok> ." T23=" -1 0 AND . -1 0 OR . 5 3 XOR . CR
[04] T23=0 -1 6
[04] (zuse) ok> ." T24=" -2147483648 2/ . CR
[04] T24=-1073741824
experiments/std79-exerciser/results-20260910/aarch64-05.txt
+48
View File
@@ -0,0 +1,48 @@
[05] (zuse) ok> ." T01=" 7 3 /MOD SWAP . . CR
[05] T01=1 2
[05] (zuse) ok> ." T02=" -7 3 /MOD SWAP . . CR
[05] T02=-1 -2
[05] (zuse) ok> ." T03=" 7 -3 /MOD SWAP . . CR
[05] T03=1 -2
[05] (zuse) ok> ." T04=" -7 -3 /MOD SWAP . . CR
[05] T04=-1 2
[05] (zuse) ok> ." T05=" 2147483647 1 + . CR
[05] T05=2147483648
[05] (zuse) ok> ." T06=" -2147483648 NEGATE . CR
[05] T06=2147483648
[05] (zuse) ok> ." T07=" -2147483648 ABS . CR
[05] T07=2147483648
[05] (zuse) ok> ." T08=" -1 1 RSHIFT . CR
[05] T08=9223372036854775807
[05] (zuse) ok> ." T09=" -8 2 RSHIFT . CR
[05] T09=4611686018427387902
[05] (zuse) ok> ." T10=" 1 31 LSHIFT . CR
[05] T10=2147483648
[05] (zuse) ok> ." T11=" -1 0 < . CR
[05] T11=-1
[05] (zuse) ok> ." T12=" -1 0 U< . CR
[05] T12=0
[05] (zuse) ok> ." T13=" 123 456 M* SWAP D. CR
[05] T13=56088
[05] (zuse) ok> ." T14=" -123 456 M* SWAP D. CR
[05] T14=DOUBLE-OVERFLOW
[05] (zuse) ok> ." T15=" 100000 S>D SWAP 7 M/MOD . . CR
[05] T15=14285 5
[05] (zuse) ok> ." T16=" 7 11 3 */ . CR
[05] T16=25
[05] (zuse) ok> ." T17=" 7 11 3 */MOD SWAP . . CR
[05] T17=2 25
[05] (zuse) ok> ." T18=" -5 S>D SWAP D. CR
[05] T18=-5
[05] (zuse) ok> ." T19=" -5 S>D 3 S>D D+ SWAP D. CR
[05] T19=DOUBLE-OVERFLOW
[05] (zuse) ok> ." T20=" -5 S>D DNEGATE SWAP D. CR
[05] T20=5
[05] (zuse) ok> ." T21=" -5 3 MIN . -5 3 MAX . CR
[05] T21=-5 3
[05] (zuse) ok> ." T22=" 5 0 10 WITHIN . CR
[05] T22=-1
[05] (zuse) ok> ." T23=" -1 0 AND . -1 0 OR . 5 3 XOR . CR
[05] T23=0 -1 6
[05] (zuse) ok> ." T24=" -2147483648 2/ . CR
[05] T24=-1073741824
experiments/std79-exerciser/results-20260910/aarch64-06.txt
+48
View File
@@ -0,0 +1,48 @@
[06] (zuse) ok> ." T01=" 7 3 /MOD SWAP . . CR
[06] T01=1 2
[06] (zuse) ok> ." T02=" -7 3 /MOD SWAP . . CR
[06] T02=-1 -2
[06] (zuse) ok> ." T03=" 7 -3 /MOD SWAP . . CR
[06] T03=1 -2
[06] (zuse) ok> ." T04=" -7 -3 /MOD SWAP . . CR
[06] T04=-1 2
[06] (zuse) ok> ." T05=" 2147483647 1 + . CR
[06] T05=2147483648
[06] (zuse) ok> ." T06=" -2147483648 NEGATE . CR
[06] T06=2147483648
[06] (zuse) ok> ." T07=" -2147483648 ABS . CR
[06] T07=2147483648
[06] (zuse) ok> ." T08=" -1 1 RSHIFT . CR
[06] T08=9223372036854775807
[06] (zuse) ok> ." T09=" -8 2 RSHIFT . CR
[06] T09=4611686018427387902
[06] (zuse) ok> ." T10=" 1 31 LSHIFT . CR
[06] T10=2147483648
[06] (zuse) ok> ." T11=" -1 0 < . CR
[06] T11=-1
[06] (zuse) ok> ." T12=" -1 0 U< . CR
[06] T12=0
[06] (zuse) ok> ." T13=" 123 456 M* SWAP D. CR
[06] T13=56088
[06] (zuse) ok> ." T14=" -123 456 M* SWAP D. CR
[06] T14=DOUBLE-OVERFLOW
[06] (zuse) ok> ." T15=" 100000 S>D SWAP 7 M/MOD . . CR
[06] T15=14285 5
[06] (zuse) ok> ." T16=" 7 11 3 */ . CR
[06] T16=25
[06] (zuse) ok> ." T17=" 7 11 3 */MOD SWAP . . CR
[06] T17=2 25
[06] (zuse) ok> ." T18=" -5 S>D SWAP D. CR
[06] T18=-5
[06] (zuse) ok> ." T19=" -5 S>D 3 S>D D+ SWAP D. CR
[06] T19=DOUBLE-OVERFLOW
[06] (zuse) ok> ." T20=" -5 S>D DNEGATE SWAP D. CR
[06] T20=5
[06] (zuse) ok> ." T21=" -5 3 MIN . -5 3 MAX . CR
[06] T21=-5 3
[06] (zuse) ok> ." T22=" 5 0 10 WITHIN . CR
[06] T22=-1
[06] (zuse) ok> ." T23=" -1 0 AND . -1 0 OR . 5 3 XOR . CR
[06] T23=0 -1 6
[06] (zuse) ok> ." T24=" -2147483648 2/ . CR
[06] T24=-1073741824
experiments/std79-exerciser/results-20260910/aarch64-rajames.txt
+48
View File
@@ -0,0 +1,48 @@
[rajames] (zuse) ok> ." T01=" 7 3 /MOD SWAP . . CR
[rajames] T01=1 2
[rajames] (zuse) ok> ." T02=" -7 3 /MOD SWAP . . CR
[rajames] T02=-1 -2
[rajames] (zuse) ok> ." T03=" 7 -3 /MOD SWAP . . CR
[rajames] T03=1 -2
[rajames] (zuse) ok> ." T04=" -7 -3 /MOD SWAP . . CR
[rajames] T04=-1 2
[rajames] (zuse) ok> ." T05=" 2147483647 1 + . CR
[rajames] T05=2147483648
[rajames] (zuse) ok> ." T06=" -2147483648 NEGATE . CR
[rajames] T06=2147483648
[rajames] (zuse) ok> ." T07=" -2147483648 ABS . CR
[rajames] T07=2147483648
[rajames] (zuse) ok> ." T08=" -1 1 RSHIFT . CR
[rajames] T08=9223372036854775807
[rajames] (zuse) ok> ." T09=" -8 2 RSHIFT . CR
[rajames] T09=4611686018427387902
[rajames] (zuse) ok> ." T10=" 1 31 LSHIFT . CR
[rajames] T10=2147483648
[rajames] (zuse) ok> ." T11=" -1 0 < . CR
[rajames] T11=-1
[rajames] (zuse) ok> ." T12=" -1 0 U< . CR
[rajames] T12=0
[rajames] (zuse) ok> ." T13=" 123 456 M* SWAP D. CR
[rajames] T13=56088
[rajames] (zuse) ok> ." T14=" -123 456 M* SWAP D. CR
[rajames] T14=DOUBLE-OVERFLOW
[rajames] (zuse) ok> ." T15=" 100000 S>D SWAP 7 M/MOD . . CR
[rajames] T15=14285 5
[rajames] (zuse) ok> ." T16=" 7 11 3 */ . CR
[rajames] T16=25
[rajames] (zuse) ok> ." T17=" 7 11 3 */MOD SWAP . . CR
[rajames] T17=2 25
[rajames] (zuse) ok> ." T18=" -5 S>D SWAP D. CR
[rajames] T18=-5
[rajames] (zuse) ok> ." T19=" -5 S>D 3 S>D D+ SWAP D. CR
[rajames] T19=DOUBLE-OVERFLOW
[rajames] (zuse) ok> ." T20=" -5 S>D DNEGATE SWAP D. CR
[rajames] T20=5
[rajames] (zuse) ok> ." T21=" -5 3 MIN . -5 3 MAX . CR
[rajames] T21=-5 3
[rajames] (zuse) ok> ." T22=" 5 0 10 WITHIN . CR
[rajames] T22=-1
[rajames] (zuse) ok> ." T23=" -1 0 AND . -1 0 OR . 5 3 XOR . CR
[rajames] T23=0 -1 6
[rajames] (zuse) ok> ." T24=" -2147483648 2/ . CR
[rajames] T24=-1073741824
experiments/std79-exerciser/results-20260910/aarch64-zuse.txt
+48
View File
@@ -0,0 +1,48 @@
[Hera] (zuse) ok> ." T01=" 7 3 /MOD SWAP . . CR
[Hera] T01=1 2
[Hera] (zuse) ok> ." T02=" -7 3 /MOD SWAP . . CR
[Hera] T02=-1 -2
[Hera] (zuse) ok> ." T03=" 7 -3 /MOD SWAP . . CR
[Hera] T03=1 -2
[Hera] (zuse) ok> ." T04=" -7 -3 /MOD SWAP . . CR
[Hera] T04=-1 2
[Hera] (zuse) ok> ." T05=" 2147483647 1 + . CR
[Hera] T05=2147483648
[Hera] (zuse) ok> ." T06=" -2147483648 NEGATE . CR
[Hera] T06=2147483648
[Hera] (zuse) ok> ." T07=" -2147483648 ABS . CR
[Hera] T07=2147483648
[Hera] (zuse) ok> ." T08=" -1 1 RSHIFT . CR
[Hera] T08=9223372036854775807
[Hera] (zuse) ok> ." T09=" -8 2 RSHIFT . CR
[Hera] T09=4611686018427387902
[Hera] (zuse) ok> ." T10=" 1 31 LSHIFT . CR
[Hera] T10=2147483648
[Hera] (zuse) ok> ." T11=" -1 0 < . CR
[Hera] T11=-1
[Hera] (zuse) ok> ." T12=" -1 0 U< . CR
[Hera] T12=0
[Hera] (zuse) ok> ." T13=" 123 456 M* SWAP D. CR
[Hera] T13=56088
[Hera] (zuse) ok> ." T14=" -123 456 M* SWAP D. CR
[Hera] T14=DOUBLE-OVERFLOW
[Hera] (zuse) ok> ." T15=" 100000 S>D SWAP 7 M/MOD . . CR
[Hera] T15=14285 5
[Hera] (zuse) ok> ." T16=" 7 11 3 */ . CR
[Hera] T16=25
[Hera] (zuse) ok> ." T17=" 7 11 3 */MOD SWAP . . CR
[Hera] T17=2 25
[Hera] (zuse) ok> ." T18=" -5 S>D SWAP D. CR
[Hera] T18=-5
[Hera] (zuse) ok> ." T19=" -5 S>D 3 S>D D+ SWAP D. CR
[Hera] T19=DOUBLE-OVERFLOW
[Hera] (zuse) ok> ." T20=" -5 S>D DNEGATE SWAP D. CR
[Hera] T20=5
[Hera] (zuse) ok> ." T21=" -5 3 MIN . -5 3 MAX . CR
[Hera] T21=-5 3
[Hera] (zuse) ok> ." T22=" 5 0 10 WITHIN . CR
[Hera] T22=-1
[Hera] (zuse) ok> ." T23=" -1 0 AND . -1 0 OR . 5 3 XOR . CR
[Hera] T23=0 -1 6
[Hera] (zuse) ok> ." T24=" -2147483648 2/ . CR
[Hera] T24=-1073741824
experiments/std79-exerciser/results-20260910/amd64-00.txt
+48
View File
@@ -0,0 +1,48 @@
[00] (zuse) ok> ." T01=" 7 3 /MOD SWAP . . CR
[00] T01=1 2
[00] (zuse) ok> ." T02=" -7 3 /MOD SWAP . . CR
[00] T02=-1 -2
[00] (zuse) ok> ." T03=" 7 -3 /MOD SWAP . . CR
[00] T03=1 -2
[00] (zuse) ok> ." T04=" -7 -3 /MOD SWAP . . CR
[00] T04=-1 2
[00] (zuse) ok> ." T05=" 2147483647 1 + . CR
[00] T05=2147483648
[00] (zuse) ok> ." T06=" -2147483648 NEGATE . CR
[00] T06=2147483648
[00] (zuse) ok> ." T07=" -2147483648 ABS . CR
[00] T07=2147483648
[00] (zuse) ok> ." T08=" -1 1 RSHIFT . CR
[00] T08=9223372036854775807
[00] (zuse) ok> ." T09=" -8 2 RSHIFT . CR
[00] T09=4611686018427387902
[00] (zuse) ok> ." T10=" 1 31 LSHIFT . CR
[00] T10=2147483648
[00] (zuse) ok> ." T11=" -1 0 < . CR
[00] T11=-1
[00] (zuse) ok> ." T12=" -1 0 U< . CR
[00] T12=0
[00] (zuse) ok> ." T13=" 123 456 M* SWAP D. CR
[00] T13=56088
[00] (zuse) ok> ." T14=" -123 456 M* SWAP D. CR
[00] T14=DOUBLE-OVERFLOW
[00] (zuse) ok> ." T15=" 100000 S>D SWAP 7 M/MOD . . CR
[00] T15=14285 5
[00] (zuse) ok> ." T16=" 7 11 3 */ . CR
[00] T16=25
[00] (zuse) ok> ." T17=" 7 11 3 */MOD SWAP . . CR
[00] T17=2 25
[00] (zuse) ok> ." T18=" -5 S>D SWAP D. CR
[00] T18=-5
[00] (zuse) ok> ." T19=" -5 S>D 3 S>D D+ SWAP D. CR
[00] T19=-2
[00] (zuse) ok> ." T20=" -5 S>D DNEGATE SWAP D. CR
[00] T20=5
[00] (zuse) ok> ." T21=" -5 3 MIN . -5 3 MAX . CR
[00] T21=-5 3
[00] (zuse) ok> ." T22=" 5 0 10 WITHIN . CR
[00] T22=-1
[00] (zuse) ok> ." T23=" -1 0 AND . -1 0 OR . 5 3 XOR . CR
[00] T23=0 -1 6
[00] (zuse) ok> ." T24=" -2147483648 2/ . CR
[00] T24=-1073741824
experiments/std79-exerciser/results-20260910/amd64-01.txt
+48
View File
@@ -0,0 +1,48 @@
[01] (zuse) ok> ." T01=" 7 3 /MOD SWAP . . CR
[01] T01=1 2
[01] (zuse) ok> ." T02=" -7 3 /MOD SWAP . . CR
[01] T02=-1 -2
[01] (zuse) ok> ." T03=" 7 -3 /MOD SWAP . . CR
[01] T03=1 -2
[01] (zuse) ok> ." T04=" -7 -3 /MOD SWAP . . CR
[01] T04=-1 2
[01] (zuse) ok> ." T05=" 2147483647 1 + . CR
[01] T05=2147483648
[01] (zuse) ok> ." T06=" -2147483648 NEGATE . CR
[01] T06=2147483648
[01] (zuse) ok> ." T07=" -2147483648 ABS . CR
[01] T07=2147483648
[01] (zuse) ok> ." T08=" -1 1 RSHIFT . CR
[01] T08=9223372036854775807
[01] (zuse) ok> ." T09=" -8 2 RSHIFT . CR
[01] T09=4611686018427387902
[01] (zuse) ok> ." T10=" 1 31 LSHIFT . CR
[01] T10=2147483648
[01] (zuse) ok> ." T11=" -1 0 < . CR
[01] T11=-1
[01] (zuse) ok> ." T12=" -1 0 U< . CR
[01] T12=0
[01] (zuse) ok> ." T13=" 123 456 M* SWAP D. CR
[01] T13=56088
[01] (zuse) ok> ." T14=" -123 456 M* SWAP D. CR
[01] T14=DOUBLE-OVERFLOW
[01] (zuse) ok> ." T15=" 100000 S>D SWAP 7 M/MOD . . CR
[01] T15=14285 5
[01] (zuse) ok> ." T16=" 7 11 3 */ . CR
[01] T16=25
[01] (zuse) ok> ." T17=" 7 11 3 */MOD SWAP . . CR
[01] T17=2 25
[01] (zuse) ok> ." T18=" -5 S>D SWAP D. CR
[01] T18=-5
[01] (zuse) ok> ." T19=" -5 S>D 3 S>D D+ SWAP D. CR
[01] T19=-2
[01] (zuse) ok> ." T20=" -5 S>D DNEGATE SWAP D. CR
[01] T20=5
[01] (zuse) ok> ." T21=" -5 3 MIN . -5 3 MAX . CR
[01] T21=-5 3
[01] (zuse) ok> ." T22=" 5 0 10 WITHIN . CR
[01] T22=-1
[01] (zuse) ok> ." T23=" -1 0 AND . -1 0 OR . 5 3 XOR . CR
[01] T23=0 -1 6
[01] (zuse) ok> ." T24=" -2147483648 2/ . CR
[01] T24=-1073741824
experiments/std79-exerciser/results-20260910/amd64-02.txt
+48
View File
@@ -0,0 +1,48 @@
[02] (zuse) ok> ." T01=" 7 3 /MOD SWAP . . CR
[02] T01=1 2
[02] (zuse) ok> ." T02=" -7 3 /MOD SWAP . . CR
[02] T02=-1 -2
[02] (zuse) ok> ." T03=" 7 -3 /MOD SWAP . . CR
[02] T03=1 -2
[02] (zuse) ok> ." T04=" -7 -3 /MOD SWAP . . CR
[02] T04=-1 2
[02] (zuse) ok> ." T05=" 2147483647 1 + . CR
[02] T05=2147483648
[02] (zuse) ok> ." T06=" -2147483648 NEGATE . CR
[02] T06=2147483648
[02] (zuse) ok> ." T07=" -2147483648 ABS . CR
[02] T07=2147483648
[02] (zuse) ok> ." T08=" -1 1 RSHIFT . CR
[02] T08=9223372036854775807
[02] (zuse) ok> ." T09=" -8 2 RSHIFT . CR
[02] T09=4611686018427387902
[02] (zuse) ok> ." T10=" 1 31 LSHIFT . CR
[02] T10=2147483648
[02] (zuse) ok> ." T11=" -1 0 < . CR
[02] T11=-1
[02] (zuse) ok> ." T12=" -1 0 U< . CR
[02] T12=0
[02] (zuse) ok> ." T13=" 123 456 M* SWAP D. CR
[02] T13=56088
[02] (zuse) ok> ." T14=" -123 456 M* SWAP D. CR
[02] T14=DOUBLE-OVERFLOW
[02] (zuse) ok> ." T15=" 100000 S>D SWAP 7 M/MOD . . CR
[02] T15=14285 5
[02] (zuse) ok> ." T16=" 7 11 3 */ . CR
[02] T16=25
[02] (zuse) ok> ." T17=" 7 11 3 */MOD SWAP . . CR
[02] T17=2 25
[02] (zuse) ok> ." T18=" -5 S>D SWAP D. CR
[02] T18=-5
[02] (zuse) ok> ." T19=" -5 S>D 3 S>D D+ SWAP D. CR
[02] T19=-2
[02] (zuse) ok> ." T20=" -5 S>D DNEGATE SWAP D. CR
[02] T20=5
[02] (zuse) ok> ." T21=" -5 3 MIN . -5 3 MAX . CR
[02] T21=-5 3
[02] (zuse) ok> ." T22=" 5 0 10 WITHIN . CR
[02] T22=-1
[02] (zuse) ok> ." T23=" -1 0 AND . -1 0 OR . 5 3 XOR . CR
[02] T23=0 -1 6
[02] (zuse) ok> ." T24=" -2147483648 2/ . CR
[02] T24=-1073741824
experiments/std79-exerciser/results-20260910/amd64-03.txt
+48
View File
@@ -0,0 +1,48 @@
[03] (zuse) ok> ." T01=" 7 3 /MOD SWAP . . CR
[03] T01=1 2
[03] (zuse) ok> ." T02=" -7 3 /MOD SWAP . . CR
[03] T02=-1 -2
[03] (zuse) ok> ." T03=" 7 -3 /MOD SWAP . . CR
[03] T03=1 -2
[03] (zuse) ok> ." T04=" -7 -3 /MOD SWAP . . CR
[03] T04=-1 2
[03] (zuse) ok> ." T05=" 2147483647 1 + . CR
[03] T05=2147483648
[03] (zuse) ok> ." T06=" -2147483648 NEGATE . CR
[03] T06=2147483648
[03] (zuse) ok> ." T07=" -2147483648 ABS . CR
[03] T07=2147483648
[03] (zuse) ok> ." T08=" -1 1 RSHIFT . CR
[03] T08=9223372036854775807
[03] (zuse) ok> ." T09=" -8 2 RSHIFT . CR
[03] T09=4611686018427387902
[03] (zuse) ok> ." T10=" 1 31 LSHIFT . CR
[03] T10=2147483648
[03] (zuse) ok> ." T11=" -1 0 < . CR
[03] T11=-1
[03] (zuse) ok> ." T12=" -1 0 U< . CR
[03] T12=0
[03] (zuse) ok> ." T13=" 123 456 M* SWAP D. CR
[03] T13=56088
[03] (zuse) ok> ." T14=" -123 456 M* SWAP D. CR
[03] T14=DOUBLE-OVERFLOW
[03] (zuse) ok> ." T15=" 100000 S>D SWAP 7 M/MOD . . CR
[03] T15=14285 5
[03] (zuse) ok> ." T16=" 7 11 3 */ . CR
[03] T16=25
[03] (zuse) ok> ." T17=" 7 11 3 */MOD SWAP . . CR
[03] T17=2 25
[03] (zuse) ok> ." T18=" -5 S>D SWAP D. CR
[03] T18=-5
[03] (zuse) ok> ." T19=" -5 S>D 3 S>D D+ SWAP D. CR
[03] T19=-2
[03] (zuse) ok> ." T20=" -5 S>D DNEGATE SWAP D. CR
[03] T20=5
[03] (zuse) ok> ." T21=" -5 3 MIN . -5 3 MAX . CR
[03] T21=-5 3
[03] (zuse) ok> ." T22=" 5 0 10 WITHIN . CR
[03] T22=-1
[03] (zuse) ok> ." T23=" -1 0 AND . -1 0 OR . 5 3 XOR . CR
[03] T23=0 -1 6
[03] (zuse) ok> ." T24=" -2147483648 2/ . CR
[03] T24=-1073741824
experiments/std79-exerciser/results-20260910/amd64-04.txt
+48
View File
@@ -0,0 +1,48 @@
[04] (zuse) ok> ." T01=" 7 3 /MOD SWAP . . CR
[04] T01=1 2
[04] (zuse) ok> ." T02=" -7 3 /MOD SWAP . . CR
[04] T02=-1 -2
[04] (zuse) ok> ." T03=" 7 -3 /MOD SWAP . . CR
[04] T03=1 -2
[04] (zuse) ok> ." T04=" -7 -3 /MOD SWAP . . CR
[04] T04=-1 2
[04] (zuse) ok> ." T05=" 2147483647 1 + . CR
[04] T05=2147483648
[04] (zuse) ok> ." T06=" -2147483648 NEGATE . CR
[04] T06=2147483648
[04] (zuse) ok> ." T07=" -2147483648 ABS . CR
[04] T07=2147483648
[04] (zuse) ok> ." T08=" -1 1 RSHIFT . CR
[04] T08=9223372036854775807
[04] (zuse) ok> ." T09=" -8 2 RSHIFT . CR
[04] T09=4611686018427387902
[04] (zuse) ok> ." T10=" 1 31 LSHIFT . CR
[04] T10=2147483648
[04] (zuse) ok> ." T11=" -1 0 < . CR
[04] T11=-1
[04] (zuse) ok> ." T12=" -1 0 U< . CR
[04] T12=0
[04] (zuse) ok> ." T13=" 123 456 M* SWAP D. CR
[04] T13=56088
[04] (zuse) ok> ." T14=" -123 456 M* SWAP D. CR
[04] T14=DOUBLE-OVERFLOW
[04] (zuse) ok> ." T15=" 100000 S>D SWAP 7 M/MOD . . CR
[04] T15=14285 5
[04] (zuse) ok> ." T16=" 7 11 3 */ . CR
[04] T16=25
[04] (zuse) ok> ." T17=" 7 11 3 */MOD SWAP . . CR
[04] T17=2 25
[04] (zuse) ok> ." T18=" -5 S>D SWAP D. CR
[04] T18=-5
[04] (zuse) ok> ." T19=" -5 S>D 3 S>D D+ SWAP D. CR
[04] T19=-2
[04] (zuse) ok> ." T20=" -5 S>D DNEGATE SWAP D. CR
[04] T20=5
[04] (zuse) ok> ." T21=" -5 3 MIN . -5 3 MAX . CR
[04] T21=-5 3
[04] (zuse) ok> ." T22=" 5 0 10 WITHIN . CR
[04] T22=-1
[04] (zuse) ok> ." T23=" -1 0 AND . -1 0 OR . 5 3 XOR . CR
[04] T23=0 -1 6
[04] (zuse) ok> ." T24=" -2147483648 2/ . CR
[04] T24=-1073741824
experiments/std79-exerciser/results-20260910/amd64-05.txt
+48
View File
@@ -0,0 +1,48 @@
[05] (zuse) ok> ." T01=" 7 3 /MOD SWAP . . CR
[05] T01=1 2
[05] (zuse) ok> ." T02=" -7 3 /MOD SWAP . . CR
[05] T02=-1 -2
[05] (zuse) ok> ." T03=" 7 -3 /MOD SWAP . . CR
[05] T03=1 -2
[05] (zuse) ok> ." T04=" -7 -3 /MOD SWAP . . CR
[05] T04=-1 2
[05] (zuse) ok> ." T05=" 2147483647 1 + . CR
[05] T05=2147483648
[05] (zuse) ok> ." T06=" -2147483648 NEGATE . CR
[05] T06=2147483648
[05] (zuse) ok> ." T07=" -2147483648 ABS . CR
[05] T07=2147483648
[05] (zuse) ok> ." T08=" -1 1 RSHIFT . CR
[05] T08=9223372036854775807
[05] (zuse) ok> ." T09=" -8 2 RSHIFT . CR
[05] T09=4611686018427387902
[05] (zuse) ok> ." T10=" 1 31 LSHIFT . CR
[05] T10=2147483648
[05] (zuse) ok> ." T11=" -1 0 < . CR
[05] T11=-1
[05] (zuse) ok> ." T12=" -1 0 U< . CR
[05] T12=0
[05] (zuse) ok> ." T13=" 123 456 M* SWAP D. CR
[05] T13=56088
[05] (zuse) ok> ." T14=" -123 456 M* SWAP D. CR
[05] T14=DOUBLE-OVERFLOW
[05] (zuse) ok> ." T15=" 100000 S>D SWAP 7 M/MOD . . CR
[05] T15=14285 5
[05] (zuse) ok> ." T16=" 7 11 3 */ . CR
[05] T16=25
[05] (zuse) ok> ." T17=" 7 11 3 */MOD SWAP . . CR
[05] T17=2 25
[05] (zuse) ok> ." T18=" -5 S>D SWAP D. CR
[05] T18=-5
[05] (zuse) ok> ." T19=" -5 S>D 3 S>D D+ SWAP D. CR
[05] T19=-2
[05] (zuse) ok> ." T20=" -5 S>D DNEGATE SWAP D. CR
[05] T20=5
[05] (zuse) ok> ." T21=" -5 3 MIN . -5 3 MAX . CR
[05] T21=-5 3
[05] (zuse) ok> ." T22=" 5 0 10 WITHIN . CR
[05] T22=-1
[05] (zuse) ok> ." T23=" -1 0 AND . -1 0 OR . 5 3 XOR . CR
[05] T23=0 -1 6
[05] (zuse) ok> ." T24=" -2147483648 2/ . CR
[05] T24=-1073741824
experiments/std79-exerciser/results-20260910/amd64-06.txt
+48
View File
@@ -0,0 +1,48 @@
[06] (zuse) ok> ." T01=" 7 3 /MOD SWAP . . CR
[06] T01=1 2
[06] (zuse) ok> ." T02=" -7 3 /MOD SWAP . . CR
[06] T02=-1 -2
[06] (zuse) ok> ." T03=" 7 -3 /MOD SWAP . . CR
[06] T03=1 -2
[06] (zuse) ok> ." T04=" -7 -3 /MOD SWAP . . CR
[06] T04=-1 2
[06] (zuse) ok> ." T05=" 2147483647 1 + . CR
[06] T05=2147483648
[06] (zuse) ok> ." T06=" -2147483648 NEGATE . CR
[06] T06=2147483648
[06] (zuse) ok> ." T07=" -2147483648 ABS . CR
[06] T07=2147483648
[06] (zuse) ok> ." T08=" -1 1 RSHIFT . CR
[06] T08=9223372036854775807
[06] (zuse) ok> ." T09=" -8 2 RSHIFT . CR
[06] T09=4611686018427387902
[06] (zuse) ok> ." T10=" 1 31 LSHIFT . CR
[06] T10=2147483648
[06] (zuse) ok> ." T11=" -1 0 < . CR
[06] T11=-1
[06] (zuse) ok> ." T12=" -1 0 U< . CR
[06] T12=0
[06] (zuse) ok> ." T13=" 123 456 M* SWAP D. CR
[06] T13=56088
[06] (zuse) ok> ." T14=" -123 456 M* SWAP D. CR
[06] T14=DOUBLE-OVERFLOW
[06] (zuse) ok> ." T15=" 100000 S>D SWAP 7 M/MOD . . CR
[06] T15=14285 5
[06] (zuse) ok> ." T16=" 7 11 3 */ . CR
[06] T16=25
[06] (zuse) ok> ." T17=" 7 11 3 */MOD SWAP . . CR
[06] T17=2 25
[06] (zuse) ok> ." T18=" -5 S>D SWAP D. CR
[06] T18=-5
[06] (zuse) ok> ." T19=" -5 S>D 3 S>D D+ SWAP D. CR
[06] T19=-2
[06] (zuse) ok> ." T20=" -5 S>D DNEGATE SWAP D. CR
[06] T20=5
[06] (zuse) ok> ." T21=" -5 3 MIN . -5 3 MAX . CR
[06] T21=-5 3
[06] (zuse) ok> ." T22=" 5 0 10 WITHIN . CR
[06] T22=-1
[06] (zuse) ok> ." T23=" -1 0 AND . -1 0 OR . 5 3 XOR . CR
[06] T23=0 -1 6
[06] (zuse) ok> ." T24=" -2147483648 2/ . CR
[06] T24=-1073741824
experiments/std79-exerciser/results-20260910/amd64-rajames.txt
+48
View File
@@ -0,0 +1,48 @@
[rajames] (zuse) ok> ." T01=" 7 3 /MOD SWAP . . CR
[rajames] T01=1 2
[rajames] (zuse) ok> ." T02=" -7 3 /MOD SWAP . . CR
[rajames] T02=-1 -2
[rajames] (zuse) ok> ." T03=" 7 -3 /MOD SWAP . . CR
[rajames] T03=1 -2
[rajames] (zuse) ok> ." T04=" -7 -3 /MOD SWAP . . CR
[rajames] T04=-1 2
[rajames] (zuse) ok> ." T05=" 2147483647 1 + . CR
[rajames] T05=2147483648
[rajames] (zuse) ok> ." T06=" -2147483648 NEGATE . CR
[rajames] T06=2147483648
[rajames] (zuse) ok> ." T07=" -2147483648 ABS . CR
[rajames] T07=2147483648
[rajames] (zuse) ok> ." T08=" -1 1 RSHIFT . CR
[rajames] T08=9223372036854775807
[rajames] (zuse) ok> ." T09=" -8 2 RSHIFT . CR
[rajames] T09=4611686018427387902
[rajames] (zuse) ok> ." T10=" 1 31 LSHIFT . CR
[rajames] T10=2147483648
[rajames] (zuse) ok> ." T11=" -1 0 < . CR
[rajames] T11=-1
[rajames] (zuse) ok> ." T12=" -1 0 U< . CR
[rajames] T12=0
[rajames] (zuse) ok> ." T13=" 123 456 M* SWAP D. CR
[rajames] T13=56088
[rajames] (zuse) ok> ." T14=" -123 456 M* SWAP D. CR
[rajames] T14=DOUBLE-OVERFLOW
[rajames] (zuse) ok> ." T15=" 100000 S>D SWAP 7 M/MOD . . CR
[rajames] T15=14285 5
[rajames] (zuse) ok> ." T16=" 7 11 3 */ . CR
[rajames] T16=25
[rajames] (zuse) ok> ." T17=" 7 11 3 */MOD SWAP . . CR
[rajames] T17=2 25
[rajames] (zuse) ok> ." T18=" -5 S>D SWAP D. CR
[rajames] T18=-5
[rajames] (zuse) ok> ." T19=" -5 S>D 3 S>D D+ SWAP D. CR
[rajames] T19=-2
[rajames] (zuse) ok> ." T20=" -5 S>D DNEGATE SWAP D. CR
[rajames] T20=5
[rajames] (zuse) ok> ." T21=" -5 3 MIN . -5 3 MAX . CR
[rajames] T21=-5 3
[rajames] (zuse) ok> ." T22=" 5 0 10 WITHIN . CR
[rajames] T22=-1
[rajames] (zuse) ok> ." T23=" -1 0 AND . -1 0 OR . 5 3 XOR . CR
[rajames] T23=0 -1 6
[rajames] (zuse) ok> ." T24=" -2147483648 2/ . CR
[rajames] T24=-1073741824
experiments/std79-exerciser/results-20260910/amd64-zuse.txt
+48
View File
@@ -0,0 +1,48 @@
[Hera] (zuse) ok> ." T01=" 7 3 /MOD SWAP . . CR
[Hera] T01=1 2
[Hera] (zuse) ok> ." T02=" -7 3 /MOD SWAP . . CR
[Hera] T02=-1 -2
[Hera] (zuse) ok> ." T03=" 7 -3 /MOD SWAP . . CR
[Hera] T03=1 -2
[Hera] (zuse) ok> ." T04=" -7 -3 /MOD SWAP . . CR
[Hera] T04=-1 2
[Hera] (zuse) ok> ." T05=" 2147483647 1 + . CR
[Hera] T05=2147483648
[Hera] (zuse) ok> ." T06=" -2147483648 NEGATE . CR
[Hera] T06=2147483648
[Hera] (zuse) ok> ." T07=" -2147483648 ABS . CR
[Hera] T07=2147483648
[Hera] (zuse) ok> ." T08=" -1 1 RSHIFT . CR
[Hera] T08=9223372036854775807
[Hera] (zuse) ok> ." T09=" -8 2 RSHIFT . CR
[Hera] T09=4611686018427387902
[Hera] (zuse) ok> ." T10=" 1 31 LSHIFT . CR
[Hera] T10=2147483648
[Hera] (zuse) ok> ." T11=" -1 0 < . CR
[Hera] T11=-1
[Hera] (zuse) ok> ." T12=" -1 0 U< . CR
[Hera] T12=0
[Hera] (zuse) ok> ." T13=" 123 456 M* SWAP D. CR
[Hera] T13=56088
[Hera] (zuse) ok> ." T14=" -123 456 M* SWAP D. CR
[Hera] T14=DOUBLE-OVERFLOW
[Hera] (zuse) ok> ." T15=" 100000 S>D SWAP 7 M/MOD . . CR
[Hera] T15=14285 5
[Hera] (zuse) ok> ." T16=" 7 11 3 */ . CR
[Hera] T16=25
[Hera] (zuse) ok> ." T17=" 7 11 3 */MOD SWAP . . CR
[Hera] T17=2 25
[Hera] (zuse) ok> ." T18=" -5 S>D SWAP D. CR
[Hera] T18=-5
[Hera] (zuse) ok> ." T19=" -5 S>D 3 S>D D+ SWAP D. CR
[Hera] T19=-2
[Hera] (zuse) ok> ." T20=" -5 S>D DNEGATE SWAP D. CR
[Hera] T20=5
[Hera] (zuse) ok> ." T21=" -5 3 MIN . -5 3 MAX . CR
[Hera] T21=-5 3
[Hera] (zuse) ok> ." T22=" 5 0 10 WITHIN . CR
[Hera] T22=-1
[Hera] (zuse) ok> ." T23=" -1 0 AND . -1 0 OR . 5 3 XOR . CR
[Hera] T23=0 -1 6
[Hera] (zuse) ok> ." T24=" -2147483648 2/ . CR
[Hera] T24=-1073741824
experiments/std79-exerciser/results-20260910/riscv64-00.txt
+48
View File
@@ -0,0 +1,48 @@
[00] (zuse) ok> ." T01=" 7 3 /MOD SWAP . . CR
[00] T01=1 2
[00] (zuse) ok> ." T02=" -7 3 /MOD SWAP . . CR
[00] T02=-1 -2
[00] (zuse) ok> ." T03=" 7 -3 /MOD SWAP . . CR
[00] T03=1 -2
[00] (zuse) ok> ." T04=" -7 -3 /MOD SWAP . . CR
[00] T04=-1 2
[00] (zuse) ok> ." T05=" 2147483647 1 + . CR
[00] T05=2147483648
[00] (zuse) ok> ." T06=" -2147483648 NEGATE . CR
[00] T06=2147483648
[00] (zuse) ok> ." T07=" -2147483648 ABS . CR
[00] T07=2147483648
[00] (zuse) ok> ." T08=" -1 1 RSHIFT . CR
[00] T08=9223372036854775807
[00] (zuse) ok> ." T09=" -8 2 RSHIFT . CR
[00] T09=4611686018427387902
[00] (zuse) ok> ." T10=" 1 31 LSHIFT . CR
[00] T10=2147483648
[00] (zuse) ok> ." T11=" -1 0 < . CR
[00] T11=-1
[00] (zuse) ok> ." T12=" -1 0 U< . CR
[00] T12=0
[00] (zuse) ok> ." T13=" 123 456 M* SWAP D. CR
[00] T13=56088
[00] (zuse) ok> ." T14=" -123 456 M* SWAP D. CR
[00] T14=DOUBLE-OVERFLOW
[00] (zuse) ok> ." T15=" 100000 S>D SWAP 7 M/MOD . . CR
[00] T15=14285 5
[00] (zuse) ok> ." T16=" 7 11 3 */ . CR
[00] T16=25
[00] (zuse) ok> ." T17=" 7 11 3 */MOD SWAP . . CR
[00] T17=2 25
[00] (zuse) ok> ." T18=" -5 S>D SWAP D. CR
[00] T18=-5
[00] (zuse) ok> ." T19=" -5 S>D 3 S>D D+ SWAP D. CR
[00] T19=-2
[00] (zuse) ok> ." T20=" -5 S>D DNEGATE SWAP D. CR
[00] T20=5
[00] (zuse) ok> ." T21=" -5 3 MIN . -5 3 MAX . CR
[00] T21=-5 3
[00] (zuse) ok> ." T22=" 5 0 10 WITHIN . CR
[00] T22=-1
[00] (zuse) ok> ." T23=" -1 0 AND . -1 0 OR . 5 3 XOR . CR
[00] T23=0 -1 6
[00] (zuse) ok> ." T24=" -2147483648 2/ . CR
[00] T24=-1073741824
experiments/std79-exerciser/results-20260910/riscv64-01.txt
+48
View File
@@ -0,0 +1,48 @@
[01] (zuse) ok> ." T01=" 7 3 /MOD SWAP . . CR
[01] T01=1 2
[01] (zuse) ok> ." T02=" -7 3 /MOD SWAP . . CR
[01] T02=-1 -2
[01] (zuse) ok> ." T03=" 7 -3 /MOD SWAP . . CR
[01] T03=1 -2
[01] (zuse) ok> ." T04=" -7 -3 /MOD SWAP . . CR
[01] T04=-1 2
[01] (zuse) ok> ." T05=" 2147483647 1 + . CR
[01] T05=2147483648
[01] (zuse) ok> ." T06=" -2147483648 NEGATE . CR
[01] T06=2147483648
[01] (zuse) ok> ." T07=" -2147483648 ABS . CR
[01] T07=2147483648
[01] (zuse) ok> ." T08=" -1 1 RSHIFT . CR
[01] T08=9223372036854775807
[01] (zuse) ok> ." T09=" -8 2 RSHIFT . CR
[01] T09=4611686018427387902
[01] (zuse) ok> ." T10=" 1 31 LSHIFT . CR
[01] T10=2147483648
[01] (zuse) ok> ." T11=" -1 0 < . CR
[01] T11=-1
[01] (zuse) ok> ." T12=" -1 0 U< . CR
[01] T12=0
[01] (zuse) ok> ." T13=" 123 456 M* SWAP D. CR
[01] T13=56088
[01] (zuse) ok> ." T14=" -123 456 M* SWAP D. CR
[01] T14=DOUBLE-OVERFLOW
[01] (zuse) ok> ." T15=" 100000 S>D SWAP 7 M/MOD . . CR
[01] T15=14285 5
[01] (zuse) ok> ." T16=" 7 11 3 */ . CR
[01] T16=25
[01] (zuse) ok> ." T17=" 7 11 3 */MOD SWAP . . CR
[01] T17=2 25
[01] (zuse) ok> ." T18=" -5 S>D SWAP D. CR
[01] T18=-5
[01] (zuse) ok> ." T19=" -5 S>D 3 S>D D+ SWAP D. CR
[01] T19=-2
[01] (zuse) ok> ." T20=" -5 S>D DNEGATE SWAP D. CR
[01] T20=5
[01] (zuse) ok> ." T21=" -5 3 MIN . -5 3 MAX . CR
[01] T21=-5 3
[01] (zuse) ok> ." T22=" 5 0 10 WITHIN . CR
[01] T22=-1
[01] (zuse) ok> ." T23=" -1 0 AND . -1 0 OR . 5 3 XOR . CR
[01] T23=0 -1 6
[01] (zuse) ok> ." T24=" -2147483648 2/ . CR
[01] T24=-1073741824
experiments/std79-exerciser/results-20260910/riscv64-02.txt
+48
View File
@@ -0,0 +1,48 @@
[02] (zuse) ok> ." T01=" 7 3 /MOD SWAP . . CR
[02] T01=1 2
[02] (zuse) ok> ." T02=" -7 3 /MOD SWAP . . CR
[02] T02=-1 -2
[02] (zuse) ok> ." T03=" 7 -3 /MOD SWAP . . CR
[02] T03=1 -2
[02] (zuse) ok> ." T04=" -7 -3 /MOD SWAP . . CR
[02] T04=-1 2
[02] (zuse) ok> ." T05=" 2147483647 1 + . CR
[02] T05=2147483648
[02] (zuse) ok> ." T06=" -2147483648 NEGATE . CR
[02] T06=2147483648
[02] (zuse) ok> ." T07=" -2147483648 ABS . CR
[02] T07=2147483648
[02] (zuse) ok> ." T08=" -1 1 RSHIFT . CR
[02] T08=9223372036854775807
[02] (zuse) ok> ." T09=" -8 2 RSHIFT . CR
[02] T09=4611686018427387902
[02] (zuse) ok> ." T10=" 1 31 LSHIFT . CR
[02] T10=2147483648
[02] (zuse) ok> ." T11=" -1 0 < . CR
[02] T11=-1
[02] (zuse) ok> ." T12=" -1 0 U< . CR
[02] T12=0
[02] (zuse) ok> ." T13=" 123 456 M* SWAP D. CR
[02] T13=56088
[02] (zuse) ok> ." T14=" -123 456 M* SWAP D. CR
[02] T14=DOUBLE-OVERFLOW
[02] (zuse) ok> ." T15=" 100000 S>D SWAP 7 M/MOD . . CR
[02] T15=14285 5
[02] (zuse) ok> ." T16=" 7 11 3 */ . CR
[02] T16=25
[02] (zuse) ok> ." T17=" 7 11 3 */MOD SWAP . . CR
[02] T17=2 25
[02] (zuse) ok> ." T18=" -5 S>D SWAP D. CR
[02] T18=-5
[02] (zuse) ok> ." T19=" -5 S>D 3 S>D D+ SWAP D. CR
[02] T19=-2
[02] (zuse) ok> ." T20=" -5 S>D DNEGATE SWAP D. CR
[02] T20=5
[02] (zuse) ok> ." T21=" -5 3 MIN . -5 3 MAX . CR
[02] T21=-5 3
[02] (zuse) ok> ." T22=" 5 0 10 WITHIN . CR
[02] T22=-1
[02] (zuse) ok> ." T23=" -1 0 AND . -1 0 OR . 5 3 XOR . CR
[02] T23=0 -1 6
[02] (zuse) ok> ." T24=" -2147483648 2/ . CR
[02] T24=-1073741824
experiments/std79-exerciser/results-20260910/riscv64-03.txt
+48
View File
@@ -0,0 +1,48 @@
[03] (zuse) ok> ." T01=" 7 3 /MOD SWAP . . CR
[03] T01=1 2
[03] (zuse) ok> ." T02=" -7 3 /MOD SWAP . . CR
[03] T02=-1 -2
[03] (zuse) ok> ." T03=" 7 -3 /MOD SWAP . . CR
[03] T03=1 -2
[03] (zuse) ok> ." T04=" -7 -3 /MOD SWAP . . CR
[03] T04=-1 2
[03] (zuse) ok> ." T05=" 2147483647 1 + . CR
[03] T05=2147483648
[03] (zuse) ok> ." T06=" -2147483648 NEGATE . CR
[03] T06=2147483648
[03] (zuse) ok> ." T07=" -2147483648 ABS . CR
[03] T07=2147483648
[03] (zuse) ok> ." T08=" -1 1 RSHIFT . CR
[03] T08=9223372036854775807
[03] (zuse) ok> ." T09=" -8 2 RSHIFT . CR
[03] T09=4611686018427387902
[03] (zuse) ok> ." T10=" 1 31 LSHIFT . CR
[03] T10=2147483648
[03] (zuse) ok> ." T11=" -1 0 < . CR
[03] T11=-1
[03] (zuse) ok> ." T12=" -1 0 U< . CR
[03] T12=0
[03] (zuse) ok> ." T13=" 123 456 M* SWAP D. CR
[03] T13=56088
[03] (zuse) ok> ." T14=" -123 456 M* SWAP D. CR
[03] T14=DOUBLE-OVERFLOW
[03] (zuse) ok> ." T15=" 100000 S>D SWAP 7 M/MOD . . CR
[03] T15=14285 5
[03] (zuse) ok> ." T16=" 7 11 3 */ . CR
[03] T16=25
[03] (zuse) ok> ." T17=" 7 11 3 */MOD SWAP . . CR
[03] T17=2 25
[03] (zuse) ok> ." T18=" -5 S>D SWAP D. CR
[03] T18=-5
[03] (zuse) ok> ." T19=" -5 S>D 3 S>D D+ SWAP D. CR
[03] T19=-2
[03] (zuse) ok> ." T20=" -5 S>D DNEGATE SWAP D. CR
[03] T20=5
[03] (zuse) ok> ." T21=" -5 3 MIN . -5 3 MAX . CR
[03] T21=-5 3
[03] (zuse) ok> ." T22=" 5 0 10 WITHIN . CR
[03] T22=-1
[03] (zuse) ok> ." T23=" -1 0 AND . -1 0 OR . 5 3 XOR . CR
[03] T23=0 -1 6
[03] (zuse) ok> ." T24=" -2147483648 2/ . CR
[03] T24=-1073741824
experiments/std79-exerciser/results-20260910/riscv64-04.txt
+48
View File
@@ -0,0 +1,48 @@
[04] (zuse) ok> ." T01=" 7 3 /MOD SWAP . . CR
[04] T01=1 2
[04] (zuse) ok> ." T02=" -7 3 /MOD SWAP . . CR
[04] T02=-1 -2
[04] (zuse) ok> ." T03=" 7 -3 /MOD SWAP . . CR
[04] T03=1 -2
[04] (zuse) ok> ." T04=" -7 -3 /MOD SWAP . . CR
[04] T04=-1 2
[04] (zuse) ok> ." T05=" 2147483647 1 + . CR
[04] T05=2147483648
[04] (zuse) ok> ." T06=" -2147483648 NEGATE . CR
[04] T06=2147483648
[04] (zuse) ok> ." T07=" -2147483648 ABS . CR
[04] T07=2147483648
[04] (zuse) ok> ." T08=" -1 1 RSHIFT . CR
[04] T08=9223372036854775807
[04] (zuse) ok> ." T09=" -8 2 RSHIFT . CR
[04] T09=4611686018427387902
[04] (zuse) ok> ." T10=" 1 31 LSHIFT . CR
[04] T10=2147483648
[04] (zuse) ok> ." T11=" -1 0 < . CR
[04] T11=-1
[04] (zuse) ok> ." T12=" -1 0 U< . CR
[04] T12=0
[04] (zuse) ok> ." T13=" 123 456 M* SWAP D. CR
[04] T13=56088
[04] (zuse) ok> ." T14=" -123 456 M* SWAP D. CR
[04] T14=DOUBLE-OVERFLOW
[04] (zuse) ok> ." T15=" 100000 S>D SWAP 7 M/MOD . . CR
[04] T15=14285 5
[04] (zuse) ok> ." T16=" 7 11 3 */ . CR
[04] T16=25
[04] (zuse) ok> ." T17=" 7 11 3 */MOD SWAP . . CR
[04] T17=2 25
[04] (zuse) ok> ." T18=" -5 S>D SWAP D. CR
[04] T18=-5
[04] (zuse) ok> ." T19=" -5 S>D 3 S>D D+ SWAP D. CR
[04] T19=-2
[04] (zuse) ok> ." T20=" -5 S>D DNEGATE SWAP D. CR
[04] T20=5
[04] (zuse) ok> ." T21=" -5 3 MIN . -5 3 MAX . CR
[04] T21=-5 3
[04] (zuse) ok> ." T22=" 5 0 10 WITHIN . CR
[04] T22=-1
[04] (zuse) ok> ." T23=" -1 0 AND . -1 0 OR . 5 3 XOR . CR
[04] T23=0 -1 6
[04] (zuse) ok> ." T24=" -2147483648 2/ . CR
[04] T24=-1073741824

Some files were not shown because too many files have changed in this diff Show More