[webkit-reviews] review requested: [Bug 125519] Make the different flavors of integer arithmetic more explicit, and don't rely on (possibly stale) results of the backwards propagator to decide integer arithmetic semantis : [Attachment 220466] the patch

[bugzilla-daemon at webkit.org]

Filip Pizlo <fpizlo at apple.com> has asked  for review:
Bug 125519: Make the different flavors of integer arithmetic more explicit, and
don't rely on (possibly stale) results of the backwards propagator to decide
integer arithmetic semantis
https://bugs.webkit.org/show_bug.cgi?id=125519

Attachment 220466: the patch
https://bugs.webkit.org/attachment.cgi?id=220466&action=review