tree 0822d82c9602b1fe032dc76c94e1129f05a7923e
parent 28e479208180076b00f058113d956a9dd5cd7e99
author Søren Gjesse <sgjesse@google.com> 1716463598 +0200
committer Søren Gjesse <sgjesse@google.com> 1716464019 +0000

Fix shift rewriting for arithemetic right shift

Arithemitic right shift with more more than the bits in the value
does not always yield 0 but 0 or -1 depending on the upper bit
in the value.

Also add a more exhaustive test of successive shift operations.

Bug: b/342067836
Change-Id: I368a0c5de057503aa4e6b65e984a9c73e13ae62b