|Re: [hatari-devel] FPU update|
[ Thread Index |
| More lists.tuxfamily.org/hatari-devel Archives
- To: hatari-devel@xxxxxxxxxxxxxxxxxxx
- Subject: Re: [hatari-devel] FPU update
- From: Douglas Little <doug694@xxxxxxxxxxxxxx>
- Date: Sun, 29 Jan 2017 17:23:32 +0000
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to; bh=6N/VsX0CsC98xOz5eqwjZW4jiAV0GOfDJtGyKmKlxO8=; b=KvOKl1WS/N5jn/YEOzbIr6C/Fv2zsWtXzUi09Pq5NC4LfsfFczOgc+e4/xYzPMLt6B 7IvAoKp77oc9+6ITvh+Zn1n9kUhCroni2yg65c0zUhXYhJolmHIXIVTZlXvdBLdOjUB+ R7EWeauAHOx11gvdONKsfqRtf+FvhNGNlA5wbOe8ZcyFxsjBauW/r3TZmyRbXgXJMVP9 Riny7cvmhDTI8ZSCDcljNxYpknch5RNIEG/YB2+CfB1seF8XaGzec9/m4YudN3XzDJEd 7uYjt1Cv9dFlfXrTXZyZY8RNVFmGMs1sweRQyddwhEV7+y3dd/P2oyFyAGpvuN+JAaEo 3dHA==
The reason these tests are funny is partly because conditions must be generate from operands first, then a conditional branch is made from those conditions. The branch target decides how the future operands are calculated, and so propagates any errors onwards. This was to make the test as sensitive as possible without much code.
However it makes the recent in/out tracking more complicated and not a good fit vs the original code.
The opcode reporting currently dumps the opcode sequence starting with the op which generates the conditions (ftst/fcmp) and operand tracking reports the input to those. The actual branch is a few ops later in the sequence.
I've been busy today to do much with it but will see if I can make it a bit simpler for diagnostics.