small bug in the branchless programming section?

[daherlucas]

in https://en.algorithmica.org/hpc/pipelining/branchless/ I think both uses of sar should actually be shr. Here is a quick program (written by claude) to test it: https://godbolt.org/z/TMcrvojnc