Nicholas Clark <[EMAIL PROTECTED]> wrote:
> On Sat, Nov 27, 2004 at 10:34:17AM +0100, Leopold Toetsch wrote:

>> 1) Almost half of the non-PMC compare and branch opcodes according to:
>>
>>   lt a, b, L1  => ge b, a, L1

*g*

> I read this and thought of a subtle problem. So I tried some code, and I
> surprised myself. I don't think that your logic is correct:

Yes. Thanks. I mixed that up with "not (a < b)" which is a bit different.

> After experimenting, I think that it should be

>   lt a, b, L1  => gt b, a, L1

Yep. And that's in CVS already, just the other direction.

> If I'm right, then this doesn't say good things about the completeness of
> our regression tests.

A lot of tests were failing, when I had it wrong. That's fine.

> Nicholas Clark

leo

Reply via email to