9fans - fans of the OS Plan 9 from Bell Labs
 help / color / mirror / Atom feed
From: tlaronde@polynum.com
To: Fans of the OS Plan 9 from Bell Labs <9fans@9fans.net>
Subject: [9fans] Rounding off by one
Date: Mon, 19 Apr 2010 17:43:17 +0200	[thread overview]
Message-ID: <20100419154317.GA726@polynum.com> (raw)

While verifying that I have the same result under Plan9 than under some
Unix (NetBSD), it happens that METAFONT compiles 110 of the 125 fontes,
but hence fails on some (and it should not) with something that smells
like a round off by one error on negative integer division. There is no
problem with TeX, but TeX doesn't do the same things.

Does this ring the bells to someone? It's i386 and the very same node
used for NetBSD verification (no problem on NetBSD: everything runs and
passes the test; but it was not the primary target).

Of course, it's under APE but there is no POSIX thing around: it's C89
and it even doesn't use math.h routines.

On NetBSD, the binaries are not linked against libm (whatever flavour).
Are there something "float" going under the cover?

Apparently, the APE wrapper pulls some optimization. Should I try to
look in this area?

There are conditionnals too (pre-processor: INIT, STAT etc.). Is there
problems under APE with -DINIT declarations?

There is also a suicide: divide by zero in a portion of the code doing
scaled integer arithmetic, but I think all this is linked.

If nobody has a clue, I will try to dive in the guts of METAFONT to
debug. But if I could spare some hours...

--
        Thierry Laronde <tlaronde +AT+ polynum +dot+ com>
                      http://www.kergis.com/
Key fingerprint = 0FF7 E906 FBAF FE95 FD89  250D 52B1 AE95 6006 F40C



             reply	other threads:[~2010-04-19 15:43 UTC|newest]

Thread overview: 8+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-04-19 15:43 tlaronde [this message]
2010-04-19 16:11 ` Martin Neubauer
2010-04-19 18:15   ` tlaronde
2010-04-19 18:26     ` tlaronde
2010-04-19 18:55 ` Federico G. Benavento
2010-04-19 19:03   ` erik quanstrom
2010-04-19 19:14     ` Federico G. Benavento
2010-04-19 19:28     ` tlaronde

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20100419154317.GA726@polynum.com \
    --to=tlaronde@polynum.com \
    --cc=9fans@9fans.net \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).