https://github.com/gpuweb/gpuweb/pull/772/files#diff-709b5c343d59ae10cbabe69f9df1eee9e2dbb6e9d848632fa94357083d6e0a34R1781 was there
But now it's gone. Now we say right shift always inserts zero bits.
I think this got lost in the rewriting of various tables.
https://github.com/gpuweb/gpuweb/pull/772/files#diff-709b5c343d59ae10cbabe69f9df1eee9e2dbb6e9d848632fa94357083d6e0a34R1781 was there
But now it's gone. Now we say right shift always inserts zero bits.
I think this got lost in the rewriting of various tables.