[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