[Webkit-unassigned] [Bug 151458] New: Consider adding value constraints, such as that a value is guaranteed non-negative, to B3

bugzilla-daemon at webkit.org bugzilla-daemon at webkit.org
Thu Nov 19 12:48:28 PST 2015


https://bugs.webkit.org/show_bug.cgi?id=151458

            Bug ID: 151458
           Summary: Consider adding value constraints, such as that a
                    value is guaranteed non-negative, to B3
    Classification: Unclassified
           Product: WebKit
           Version: WebKit Nightly Build
          Hardware: All
                OS: All
            Status: NEW
          Severity: Normal
          Priority: P2
         Component: JavaScriptCore
          Assignee: webkit-unassigned at lists.webkit.org
          Reporter: fpizlo at apple.com

Some options:

- Like LLVM, allow load instructions to specify a range of possible values that it could return.

- Have a LoadUnsigned.

- Have a variant of ZExt/SExt that guarantees that the sign bit is zero.

-- 
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.webkit.org/pipermail/webkit-unassigned/attachments/20151119/3c74e967/attachment.html>


More information about the webkit-unassigned mailing list