https://bugs.kde.org/show_bug.cgi?id=385409

--- Comment #47 from Julian Seward <jsew...@acm.org> ---
(In reply to Vadim Barkov from comment #46)
> Since the issue is solved,

I don't consider it to be solved.

You didn't answer my questions in comment 44:

* what your implementation strategy is

* about the relationship to the amd64 implementation.

I don't believe that what you have will generate correct definedness
results for strlen-like inputs with defined bytes up to a defined zero
and undefined bytes after that.  It might be correct, but since there is
no description of the implementation, there's no way to assess that.

It would also help if you had a set of test cases to demonstrate that

* the vfene sequence applied to string-end sequences of the form DDDD0UUUU
  generates a defined index value

* and that when applied to sequences of the form DDDDUUUU without a defined
  zero, it generates and undefined index value

-- 
You are receiving this mail because:
You are watching all bug changes.

Reply via email to