NEW 151458
Consider adding value constraints, such as that a value is guaranteed non-negative, to B3 
https://bugs.webkit.org/show_bug.cgi?id=151458
Summary Consider adding value constraints, such as that a value is guaranteed non-neg...
Filip Pizlo
Reported 2015-11-19 12:48:28 PST
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.
Attachments
Add attachment proposed patch, testcase, etc.
Note You need to log in before you can comment on or make changes to this bug.